{"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":"0801034","name":"Florida Power Development LLC"},"operator":{"type":"operator","id":"0142773","name":"IHI Power Services Corporation"},"controller":{"type":"controller","id":"0122361","name":"IHI Corporation"},"source":{"datasetId":"msha-mines","observedAt":"2026-10-13T11:19:05.459773+00:00"}},"edges":[{"type":"operator_operates_mine","subject":{"type":"operator","id":"L17841","name":"Central Power & Lime Inc"},"object":{"type":"mine","id":"0801034","name":"Florida Power Development LLC"},"validFrom":"1985-09-01","validTo":"2008-12-29","current":false,"derived":false,"source":{"datasetId":"msha-controller-operator-history","observedAt":"2026-10-13T11:19:05.459773+00:00","recordKey":"0801034|L17841|1985-09-01|2008-12-29"}},{"type":"controller_controls_mine","subject":{"type":"controller","id":"M00838","name":"F Browne Gregg Trust"},"object":{"type":"mine","id":"0801034","name":"Florida Power Development LLC"},"validFrom":"1985-09-01","validTo":"2003-07-16","current":false,"derived":false,"source":{"datasetId":"msha-controller-operator-history","observedAt":"2026-10-13T11:19:05.459773+00:00","recordKey":"0801034|M00838|1985-09-01|2003-07-16"}},{"type":"controller_controls_operator","subject":{"type":"controller","id":"M00838","name":"F Browne Gregg Trust"},"object":{"type":"operator","id":"L17841","name":"Central Power & Lime Inc"},"validFrom":"1985-09-01","validTo":"2003-07-16","current":false,"derived":true,"evidenceMineId":"0801034","intervalAnomaly":false,"source":{"datasetId":"msha-controller-operator-history","observedAt":"2026-10-13T11:19:05.459773+00:00","recordKey":"0801034|L17841|1985-09-01|M00838|1985-09-01|115227"}},{"type":"controller_controls_mine","subject":{"type":"controller","id":"0043225","name":"Delta Power"},"object":{"type":"mine","id":"0801034","name":"Florida Power Development LLC"},"validFrom":"2003-07-17","validTo":null,"current":true,"derived":false,"source":{"datasetId":"msha-controller-operator-history","observedAt":"2026-10-13T11:19:05.459773+00:00","recordKey":"0801034|0043225|2003-07-17|"}},{"type":"controller_controls_operator","subject":{"type":"controller","id":"0043225","name":"Delta Power"},"object":{"type":"operator","id":"L17841","name":"Central Power & Lime Inc"},"validFrom":"2003-07-17","validTo":"2008-12-29","current":false,"derived":true,"evidenceMineId":"0801034","intervalAnomaly":false,"source":{"datasetId":"msha-controller-operator-history","observedAt":"2026-10-13T11:19:05.459773+00:00","recordKey":"0801034|L17841|1985-09-01|0043225|2003-07-17|4517"}},{"type":"operator_operates_mine","subject":{"type":"operator","id":"0115225","name":"DPS Florida, LLC"},"object":{"type":"mine","id":"0801034","name":"Florida Power Development LLC"},"validFrom":"2008-12-30","validTo":"2015-02-28","current":false,"derived":false,"source":{"datasetId":"msha-controller-operator-history","observedAt":"2026-10-13T11:19:05.459773+00:00","recordKey":"0801034|0115225|2008-12-30|2015-02-28"}},{"type":"controller_controls_mine","subject":{"type":"controller","id":"0043225","name":"Delta Power"},"object":{"type":"mine","id":"0801034","name":"Florida Power Development LLC"},"validFrom":"2008-12-30","validTo":null,"current":true,"derived":false,"source":{"datasetId":"msha-controller-operator-history","observedAt":"2026-10-13T11:19:05.459773+00:00","recordKey":"0801034|0043225|2008-12-30|"}},{"type":"controller_controls_operator","subject":{"type":"controller","id":"0043225","name":"Delta Power"},"object":{"type":"operator","id":"0115225","name":"DPS Florida, LLC"},"validFrom":"2008-12-30","validTo":"2015-02-28","current":false,"derived":true,"evidenceMineId":"0801034","intervalAnomaly":false,"source":{"datasetId":"msha-controller-operator-history","observedAt":"2026-10-13T11:19:05.459773+00:00","recordKey":"0801034|0115225|2008-12-30|0043225|2008-12-30|4518"}},{"type":"operator_operates_mine","subject":{"type":"operator","id":"0142773","name":"IHI Power Services Corporation"},"object":{"type":"mine","id":"0801034","name":"Florida Power Development LLC"},"validFrom":"2015-03-01","validTo":null,"current":true,"derived":false,"source":{"datasetId":"msha-controller-operator-history","observedAt":"2026-10-13T11:19:05.459773+00:00","recordKey":"0801034|0142773|2015-03-01|"}},{"type":"controller_controls_mine","subject":{"type":"controller","id":"0122361","name":"IHI Corporation"},"object":{"type":"mine","id":"0801034","name":"Florida Power Development LLC"},"validFrom":"2015-03-01","validTo":null,"current":true,"derived":false,"source":{"datasetId":"msha-controller-operator-history","observedAt":"2026-10-13T11:19:05.459773+00:00","recordKey":"0801034|0122361|2015-03-01|"}},{"type":"controller_controls_operator","subject":{"type":"controller","id":"0122361","name":"IHI Corporation"},"object":{"type":"operator","id":"0142773","name":"IHI Power Services Corporation"},"validFrom":"2015-03-01","validTo":null,"current":true,"derived":true,"evidenceMineId":"0801034","intervalAnomaly":false,"source":{"datasetId":"msha-controller-operator-history","observedAt":"2026-10-13T11:19:05.459773+00:00","recordKey":"0801034|0142773|2015-03-01|0122361|2015-03-01|23803"}}],"coverage":{"historyRecords":4,"edgeCount":11,"intervalAnomalies":0,"sourceDatasetId":"msha-controller-operator-history"}},"meta":{"mineId":"0801034","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"}}