{"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":"1518587","name":"Performance"},"operator":{"type":"operator","id":"P24573","name":"Kentucky May Coal Co.,Inc."},"controller":{"type":"controller","id":"C16016","name":"Progress Energy Inc"},"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":"1518587","name":"Performance"},"validFrom":"2000-11-30","validTo":null,"current":true,"derived":false,"source":{"datasetId":"msha-controller-operator-history","observedAt":"2026-10-13T11:19:05.459773+00:00","recordKey":"1518587|C14045|2000-11-30|"}},{"type":"controller_controls_mine","subject":{"type":"controller","id":"C16016","name":"Progress Energy Inc"},"object":{"type":"mine","id":"1518587","name":"Performance"},"validFrom":"2000-11-30","validTo":null,"current":true,"derived":false,"source":{"datasetId":"msha-controller-operator-history","observedAt":"2026-10-13T11:19:05.459773+00:00","recordKey":"1518587|C16016|2000-11-30|"}},{"type":"operator_operates_mine","subject":{"type":"operator","id":"P23395","name":"Kentucky May Mining"},"object":{"type":"mine","id":"1518587","name":"Performance"},"validFrom":"2002-11-18","validTo":"2003-09-15","current":false,"derived":false,"source":{"datasetId":"msha-controller-operator-history","observedAt":"2026-10-13T11:19:05.459773+00:00","recordKey":"1518587|P23395|2002-11-18|2003-09-15"}},{"type":"controller_controls_operator","subject":{"type":"controller","id":"C14045","name":"Florida Progress Corporation"},"object":{"type":"operator","id":"P23395","name":"Kentucky May Mining"},"validFrom":"2002-11-18","validTo":"2003-09-15","current":false,"derived":true,"evidenceMineId":"1518587","intervalAnomaly":false,"source":{"datasetId":"msha-controller-operator-history","observedAt":"2026-10-13T11:19:05.459773+00:00","recordKey":"1518587|P23395|2002-11-18|C14045|2000-11-30|91873"}},{"type":"operator_operates_mine","subject":{"type":"operator","id":"P24571","name":"Kentucky May Mining"},"object":{"type":"mine","id":"1518587","name":"Performance"},"validFrom":"2003-09-16","validTo":"2003-11-12","current":false,"derived":false,"source":{"datasetId":"msha-controller-operator-history","observedAt":"2026-10-13T11:19:05.459773+00:00","recordKey":"1518587|P24571|2003-09-16|2003-11-12"}},{"type":"controller_controls_operator","subject":{"type":"controller","id":"C16016","name":"Progress Energy Inc"},"object":{"type":"operator","id":"P24571","name":"Kentucky May Mining"},"validFrom":"2003-09-16","validTo":"2003-11-12","current":false,"derived":true,"evidenceMineId":"1518587","intervalAnomaly":false,"source":{"datasetId":"msha-controller-operator-history","observedAt":"2026-10-13T11:19:05.459773+00:00","recordKey":"1518587|P24571|2003-09-16|C16016|2000-11-30|98033"}},{"type":"operator_operates_mine","subject":{"type":"operator","id":"P24573","name":"Kentucky May Coal Co.,Inc."},"object":{"type":"mine","id":"1518587","name":"Performance"},"validFrom":"2003-11-13","validTo":null,"current":true,"derived":false,"source":{"datasetId":"msha-controller-operator-history","observedAt":"2026-10-13T11:19:05.459773+00:00","recordKey":"1518587|P24573|2003-11-13|"}},{"type":"controller_controls_operator","subject":{"type":"controller","id":"C16016","name":"Progress Energy Inc"},"object":{"type":"operator","id":"P24573","name":"Kentucky May Coal Co.,Inc."},"validFrom":"2003-11-13","validTo":null,"current":true,"derived":true,"evidenceMineId":"1518587","intervalAnomaly":false,"source":{"datasetId":"msha-controller-operator-history","observedAt":"2026-10-13T11:19:05.459773+00:00","recordKey":"1518587|P24573|2003-11-13|C16016|2000-11-30|98034"}}],"coverage":{"historyRecords":3,"edgeCount":8,"intervalAnomalies":0,"sourceDatasetId":"msha-controller-operator-history"}},"meta":{"mineId":"1518587","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"}}