{"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":"1517019","name":"Stoker Tipple"},"operator":{"type":"operator","id":"P20095","name":"Diamond 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":"1517019","name":"Stoker Tipple"},"validFrom":"1989-02-10","validTo":null,"current":true,"derived":false,"source":{"datasetId":"msha-controller-operator-history","observedAt":"2026-10-13T11:19:05.459773+00:00","recordKey":"1517019|C14045|1989-02-10|"}},{"type":"operator_operates_mine","subject":{"type":"operator","id":"P20095","name":"Diamond May Coal Company Inc"},"object":{"type":"mine","id":"1517019","name":"Stoker Tipple"},"validFrom":"1990-11-01","validTo":null,"current":true,"derived":false,"source":{"datasetId":"msha-controller-operator-history","observedAt":"2026-10-13T11:19:05.459773+00:00","recordKey":"1517019|P20095|1990-11-01|"}},{"type":"controller_controls_operator","subject":{"type":"controller","id":"C14045","name":"Florida Progress Corporation"},"object":{"type":"operator","id":"P20095","name":"Diamond May Coal Company Inc"},"validFrom":"1990-11-01","validTo":null,"current":true,"derived":true,"evidenceMineId":"1517019","intervalAnomaly":false,"source":{"datasetId":"msha-controller-operator-history","observedAt":"2026-10-13T11:19:05.459773+00:00","recordKey":"1517019|P20095|1990-11-01|C14045|1989-02-10|91805"}}],"coverage":{"historyRecords":1,"edgeCount":3,"intervalAnomalies":0,"sourceDatasetId":"msha-controller-operator-history"}},"meta":{"mineId":"1517019","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"}}