{"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-13T11:19:05.459773+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":"1517430","name":"Surface Mine #1"},"operator":{"type":"operator","id":"P20682","name":"Kentucky May Coal Company Inc"},"controller":{"type":"controller","id":"C14045","name":"Florida Progress Corporation"},"source":{"datasetId":"msha-mines","observedAt":"2026-10-13T11:19:05.459773+00:00"}},"edges":[{"type":"controller_controls_mine","subject":{"type":"controller","id":"C14045","name":"Florida Progress Corporation"},"object":{"type":"mine","id":"1517430","name":"Surface Mine #1"},"validFrom":"1989-10-01","validTo":null,"current":true,"derived":false,"source":{"datasetId":"msha-controller-operator-history","observedAt":"2026-10-13T11:19:05.459773+00:00","recordKey":"1517430|C14045|1989-10-01|"}},{"type":"operator_operates_mine","subject":{"type":"operator","id":"P20682","name":"Kentucky May Coal Company Inc"},"object":{"type":"mine","id":"1517430","name":"Surface Mine #1"},"validFrom":"1993-07-01","validTo":null,"current":true,"derived":false,"source":{"datasetId":"msha-controller-operator-history","observedAt":"2026-10-13T11:19:05.459773+00:00","recordKey":"1517430|P20682|1993-07-01|"}},{"type":"controller_controls_operator","subject":{"type":"controller","id":"C14045","name":"Florida Progress Corporation"},"object":{"type":"operator","id":"P20682","name":"Kentucky May Coal Company Inc"},"validFrom":"1993-07-01","validTo":null,"current":true,"derived":true,"evidenceMineId":"1517430","intervalAnomaly":false,"source":{"datasetId":"msha-controller-operator-history","observedAt":"2026-10-13T11:19:05.459773+00:00","recordKey":"1517430|P20682|1993-07-01|C14045|1989-10-01|91834"}}],"coverage":{"historyRecords":1,"edgeCount":3,"intervalAnomalies":0,"sourceDatasetId":"msha-controller-operator-history"}},"meta":{"mineId":"1517430","dataSource":"postgres","snapshotId":"2026-10-13T11:19:05.459773+00:00","completedAt":"2026-10-13T11:26:59.401Z","sourceCount":20,"totalRows":17906804,"relationshipSemantics":"valid time; null validTo means current or open-ended in the source"}}