{"data":{"schemaVersion":"realm.temporal-relationships.v1","temporalSemantics":{"validTime":{"granularity":"date","bounds":"inclusive","nullStart":"start date not published in the upstream history row","nullEnd":"open-ended in the upstream history row; not independent proof of present control"},"transactionTime":{"observedAt":"2026-10-17T05:35:58.500035+00:00","meaning":"time the checksum-addressed MDRS artifacts were observed by the PostgreSQL ingestion"},"derivation":{"controllerControlsOperator":"intersection of controller and operator valid-time intervals evidenced through this mine","currentIdentity":"current controller and operator are asserted only by the MDRS Mines snapshot"}},"current":{"mine":{"type":"mine","id":"2001352","name":"Havelka Quarry"},"operator":{"type":"operator","id":"0158013","name":"Havelka Construction, LLC."},"controller":{"type":"controller","id":"0141981","name":"Kevin M  Havelka; Jeremy A  Havelka"},"source":{"datasetId":"msha-mines","observedAt":"2026-10-17T05:35:58.500035+00:00"}},"edges":[{"type":"operator_operates_mine","subject":{"type":"operator","id":"L33594","name":"Havelka Construction"},"object":{"type":"mine","id":"2001352","name":"Havelka Quarry"},"validFrom":"1950-01-01","validTo":"2017-04-20","current":false,"derived":false,"source":{"datasetId":"msha-controller-operator-history","observedAt":"2026-10-17T05:35:58.500035+00:00","recordKey":"2001352|L33594|1950-01-01|2017-04-20"}},{"type":"controller_controls_mine","subject":{"type":"controller","id":"M33594","name":"Gerald  Havelka"},"object":{"type":"mine","id":"2001352","name":"Havelka Quarry"},"validFrom":"1950-01-01","validTo":null,"current":true,"derived":false,"source":{"datasetId":"msha-controller-operator-history","observedAt":"2026-10-17T05:35:58.500035+00:00","recordKey":"2001352|M33594|1950-01-01|"}},{"type":"controller_controls_operator","subject":{"type":"controller","id":"M33594","name":"Gerald  Havelka"},"object":{"type":"operator","id":"L33594","name":"Havelka Construction"},"validFrom":"1950-01-01","validTo":"2017-04-20","current":false,"derived":true,"evidenceMineId":"2001352","intervalAnomaly":false,"source":{"datasetId":"msha-controller-operator-history","observedAt":"2026-10-17T05:35:58.500035+00:00","recordKey":"2001352|L33594|1950-01-01|M33594|1950-01-01|162237"}},{"type":"operator_operates_mine","subject":{"type":"operator","id":"0158013","name":"Havelka Construction LLC"},"object":{"type":"mine","id":"2001352","name":"Havelka Quarry"},"validFrom":"2017-04-21","validTo":null,"current":true,"derived":false,"source":{"datasetId":"msha-controller-operator-history","observedAt":"2026-10-17T05:35:58.500035+00:00","recordKey":"2001352|0158013|2017-04-21|"}},{"type":"controller_controls_mine","subject":{"type":"controller","id":"0141981","name":"Kevin M  Havelka et al"},"object":{"type":"mine","id":"2001352","name":"Havelka Quarry"},"validFrom":"2017-04-21","validTo":null,"current":true,"derived":false,"source":{"datasetId":"msha-controller-operator-history","observedAt":"2026-10-17T05:35:58.500035+00:00","recordKey":"2001352|0141981|2017-04-21|"}},{"type":"controller_controls_operator","subject":{"type":"controller","id":"0141981","name":"Kevin M  Havelka et al"},"object":{"type":"operator","id":"0158013","name":"Havelka Construction LLC"},"validFrom":"2017-04-21","validTo":null,"current":true,"derived":true,"evidenceMineId":"2001352","intervalAnomaly":false,"source":{"datasetId":"msha-controller-operator-history","observedAt":"2026-10-17T05:35:58.500035+00:00","recordKey":"2001352|0158013|2017-04-21|0141981|2017-04-21|28711"}},{"type":"controller_controls_operator","subject":{"type":"controller","id":"0141981","name":"Jeremy A  Havelka et al"},"object":{"type":"operator","id":"0158013","name":"Havelka Construction LLC"},"validFrom":"2017-04-21","validTo":null,"current":true,"derived":true,"evidenceMineId":"2001352","intervalAnomaly":false,"source":{"datasetId":"msha-controller-operator-history","observedAt":"2026-10-17T05:35:58.500035+00:00","recordKey":"2001352|0158013|2017-04-21|0141981|2017-04-21|28712"}}],"coverage":{"historyRecords":3,"edgeCount":7,"intervalAnomalies":0,"sourceDatasetId":"msha-controller-operator-history"}},"meta":{"mineId":"2001352","dataSource":"postgres","snapshotId":"2026-10-17T05:35:58.500035+00:00","completedAt":"2026-10-17T06:17:15.228Z","sourceCount":20,"totalRows":15450873,"relationshipSemantics":"valid time; null validTo means current or open-ended in the source"}}