{"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":"1517518","name":"No 3"},"operator":{"type":"operator","id":"P23167","name":"Letcher County Coal Inc"},"controller":{"type":"controller","id":"C15273","name":"Henry  Lyon"},"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":"1517518","name":"No 3"},"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":"1517518|C14045|1989-10-01|"}},{"type":"controller_controls_mine","subject":{"type":"controller","id":"C14683","name":"Danny  Blankenship"},"object":{"type":"mine","id":"1517518","name":"No 3"},"validFrom":"1992-08-11","validTo":null,"current":true,"derived":false,"source":{"datasetId":"msha-controller-operator-history","observedAt":"2026-10-13T11:19:05.459773+00:00","recordKey":"1517518|C14683|1992-08-11|"}},{"type":"operator_operates_mine","subject":{"type":"operator","id":"P20682","name":"Kentucky May Coal Company Inc"},"object":{"type":"mine","id":"1517518","name":"No 3"},"validFrom":"1994-03-01","validTo":"1994-07-31","current":false,"derived":false,"source":{"datasetId":"msha-controller-operator-history","observedAt":"2026-10-13T11:19:05.459773+00:00","recordKey":"1517518|P20682|1994-03-01|1994-07-31"}},{"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":"1994-03-01","validTo":"1994-07-31","current":false,"derived":true,"evidenceMineId":"1517518","intervalAnomaly":false,"source":{"datasetId":"msha-controller-operator-history","observedAt":"2026-10-13T11:19:05.459773+00:00","recordKey":"1517518|P20682|1994-03-01|C14045|1989-10-01|91838"}},{"type":"operator_operates_mine","subject":{"type":"operator","id":"P22033","name":"Dynasty Coal Inc"},"object":{"type":"mine","id":"1517518","name":"No 3"},"validFrom":"1994-08-01","validTo":"1995-07-10","current":false,"derived":false,"source":{"datasetId":"msha-controller-operator-history","observedAt":"2026-10-13T11:19:05.459773+00:00","recordKey":"1517518|P22033|1994-08-01|1995-07-10"}},{"type":"controller_controls_operator","subject":{"type":"controller","id":"C14683","name":"Danny  Blankenship"},"object":{"type":"operator","id":"P22033","name":"Dynasty Coal Inc"},"validFrom":"1994-08-01","validTo":"1995-07-10","current":false,"derived":true,"evidenceMineId":"1517518","intervalAnomaly":false,"source":{"datasetId":"msha-controller-operator-history","observedAt":"2026-10-13T11:19:05.459773+00:00","recordKey":"1517518|P22033|1994-08-01|C14683|1992-08-11|93568"}},{"type":"operator_operates_mine","subject":{"type":"operator","id":"P23167","name":"Letcher County Coal Inc"},"object":{"type":"mine","id":"1517518","name":"No 3"},"validFrom":"1995-07-11","validTo":null,"current":true,"derived":false,"source":{"datasetId":"msha-controller-operator-history","observedAt":"2026-10-13T11:19:05.459773+00:00","recordKey":"1517518|P23167|1995-07-11|"}},{"type":"controller_controls_mine","subject":{"type":"controller","id":"C15273","name":"Henry  Lyon"},"object":{"type":"mine","id":"1517518","name":"No 3"},"validFrom":"1995-07-11","validTo":null,"current":true,"derived":false,"source":{"datasetId":"msha-controller-operator-history","observedAt":"2026-10-13T11:19:05.459773+00:00","recordKey":"1517518|C15273|1995-07-11|"}},{"type":"controller_controls_operator","subject":{"type":"controller","id":"C15273","name":"Henry  Lyon"},"object":{"type":"operator","id":"P23167","name":"Letcher County Coal Inc"},"validFrom":"1995-07-11","validTo":null,"current":true,"derived":true,"evidenceMineId":"1517518","intervalAnomaly":false,"source":{"datasetId":"msha-controller-operator-history","observedAt":"2026-10-13T11:19:05.459773+00:00","recordKey":"1517518|P23167|1995-07-11|C15273|1995-07-11|95131"}}],"coverage":{"historyRecords":3,"edgeCount":9,"intervalAnomalies":0,"sourceDatasetId":"msha-controller-operator-history"}},"meta":{"mineId":"1517518","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"}}