{ "schema": "KLT-StatesEventsPilot-v1", "checkpoint": "SE1", "scenarios": [ { "id": "heating", "title": "Изменение условий", "evidence_class": "MECHANICS_FIXTURE", "packet": { "before": { "schema": "KLT-StateSpec-v1", "state_id": "FIXTURE-A", "material_id": "FIXTURE-MATERIAL", "structure_key": "fixture-structure-a", "phase": "fixture-phase-a", "domain": "fixture-only", "method_class": "FIXTURE", "property_name": "band_gap", "property": { "value": "2", "unit": "eV", "uncertainty": "0.1" }, "temperature": { "value": "300", "unit": "K", "uncertainty": "1" }, "pressure": { "value": "100", "unit": "kPa", "uncertainty": "1" }, "time": { "clock_id": "fixture-process-1", "kind": "PROCESS_RELATIVE", "quantity": { "value": "0", "unit": "s", "uncertainty": "0" } }, "source": { "kind": "MECHANICS_FIXTURE", "source_id": "FIXTURE", "snapshot_id": "SE1", "record_id": "synthetic", "source_hash": "8a00caca5754f51f76e5da90c4a2e9b91152a0dea28d3d129e57f0dd96b6eb4d" } }, "after": { "schema": "KLT-StateSpec-v1", "state_id": "FIXTURE-B", "material_id": "FIXTURE-MATERIAL", "structure_key": "fixture-structure-a", "phase": "fixture-phase-a", "domain": "fixture-only", "method_class": "FIXTURE", "property_name": "band_gap", "property": { "value": "2", "unit": "eV", "uncertainty": "0.1" }, "temperature": { "value": "350", "unit": "K", "uncertainty": "1" }, "pressure": { "value": "100", "unit": "kPa", "uncertainty": "1" }, "time": { "clock_id": "fixture-process-1", "kind": "PROCESS_RELATIVE", "quantity": { "value": "10", "unit": "s", "uncertainty": "0" } }, "source": { "kind": "MECHANICS_FIXTURE", "source_id": "FIXTURE", "snapshot_id": "SE1", "record_id": "synthetic", "source_hash": "8a00caca5754f51f76e5da90c4a2e9b91152a0dea28d3d129e57f0dd96b6eb4d" } }, "event": { "schema": "KLT-EventSpec-v1", "event_id": "FIXTURE-heating", "kind": "CONDITION_CHANGE", "before_hash": "041220f1589baa5f46a937b3732d39e4473b5a68a822a56838a7e648104e7f07", "after_hash": "26f2029a86137a14551da3ca923822ccffc1370c63fc0a49e1a09a42cd345b17", "protocol_reference": "MECHANICS_FIXTURE: not a physical protocol" } }, "report": { "schema": "KLT-EventCheck-v1", "event_hash": "11026968f7ff7d2ce644733d32d5c6f9b101f2b8235771c00dbc5e78e6acc42a", "endpoints": [ { "schema": "KLT-StateCheck-v1", "state_hash": "041220f1589baa5f46a937b3732d39e4473b5a68a822a56838a7e648104e7f07", "normalized": { "property": { "value": "0.0000000000000000003204353268", "uncertainty": "0.00000000000000000001602176634", "unit": "J" }, "temperature": { "value": "300", "uncertainty": "1", "unit": "K" }, "pressure": { "value": "100000", "uncertainty": "1000", "unit": "Pa" }, "time": { "value": "0", "uncertainty": "0", "unit": "s" } }, "blockers": [], "contract_status": "STATE_CONTRACT_PASS", "provenance": "REFERENCE_ONLY_NOT_AUTHENTICATED", "status_firewall": { "science": "ABSTAIN", "DHC_chem": "OPEN-NOT-CONFIRMED", "EXT-RUN": "NOT_RUN", "truth_layer_promotion": 0, "T6-RA5": "NOT_ISSUED", "axiom_promotion": "DISABLED" }, "report_hash": "e527b89185d7af368921ca0f083e125df28d0d9c211e3b2c00d610fe2b8776b4" }, { "schema": "KLT-StateCheck-v1", "state_hash": "26f2029a86137a14551da3ca923822ccffc1370c63fc0a49e1a09a42cd345b17", "normalized": { "property": { "value": "0.0000000000000000003204353268", "uncertainty": "0.00000000000000000001602176634", "unit": "J" }, "temperature": { "value": "350", "uncertainty": "1", "unit": "K" }, "pressure": { "value": "100000", "uncertainty": "1000", "unit": "Pa" }, "time": { "value": "10", "uncertainty": "0", "unit": "s" } }, "blockers": [], "contract_status": "STATE_CONTRACT_PASS", "provenance": "REFERENCE_ONLY_NOT_AUTHENTICATED", "status_firewall": { "science": "ABSTAIN", "DHC_chem": "OPEN-NOT-CONFIRMED", "EXT-RUN": "NOT_RUN", "truth_layer_promotion": 0, "T6-RA5": "NOT_ISSUED", "axiom_promotion": "DISABLED" }, "report_hash": "57ea16d3fcf56c9c8f258dfd47d989c1616ca1b9f31671bedbb578940e429863" } ], "checks": { "states_complete": true, "same_material": true, "same_scope": true, "same_process_clock": true, "strict_time_order": true, "kind_consistent": true, "protocol_declared": true }, "blockers": [], "contract_status": "DESCRIBED_TRANSITION", "temporal_semantics": "DISJOINT_DECLARED_TIME_BOUNDS_NOT_PROBABILISTIC_COVERAGE", "physical_reachability": "NOT_ESTABLISHED", "prediction": "NOT_RUN", "status_firewall": { "science": "ABSTAIN", "DHC_chem": "OPEN-NOT-CONFIRMED", "EXT-RUN": "NOT_RUN", "truth_layer_promotion": 0, "T6-RA5": "NOT_ISSUED", "axiom_promotion": "DISABLED" }, "report_hash": "f1caea6563fdf1cfaba0754095f249b57c6b7c2e46a7b9efd59d4a63dbe3df21" } }, { "id": "equivalent_units", "title": "Смена единиц без изменения температуры", "evidence_class": "MECHANICS_FIXTURE", "packet": { "before": { "schema": "KLT-StateSpec-v1", "state_id": "FIXTURE-A", "material_id": "FIXTURE-MATERIAL", "structure_key": "fixture-structure-a", "phase": "fixture-phase-a", "domain": "fixture-only", "method_class": "FIXTURE", "property_name": "band_gap", "property": { "value": "2", "unit": "eV", "uncertainty": "0.1" }, "temperature": { "value": "300", "unit": "K", "uncertainty": "1" }, "pressure": { "value": "100", "unit": "kPa", "uncertainty": "1" }, "time": { "clock_id": "fixture-process-1", "kind": "PROCESS_RELATIVE", "quantity": { "value": "0", "unit": "s", "uncertainty": "0" } }, "source": { "kind": "MECHANICS_FIXTURE", "source_id": "FIXTURE", "snapshot_id": "SE1", "record_id": "synthetic", "source_hash": "8a00caca5754f51f76e5da90c4a2e9b91152a0dea28d3d129e57f0dd96b6eb4d" } }, "after": { "schema": "KLT-StateSpec-v1", "state_id": "FIXTURE-B", "material_id": "FIXTURE-MATERIAL", "structure_key": "fixture-structure-a", "phase": "fixture-phase-a", "domain": "fixture-only", "method_class": "FIXTURE", "property_name": "band_gap", "property": { "value": "2", "unit": "eV", "uncertainty": "0.1" }, "temperature": { "value": "26.85", "unit": "degC", "uncertainty": "1" }, "pressure": { "value": "100", "unit": "kPa", "uncertainty": "1" }, "time": { "clock_id": "fixture-process-1", "kind": "PROCESS_RELATIVE", "quantity": { "value": "10", "unit": "s", "uncertainty": "0" } }, "source": { "kind": "MECHANICS_FIXTURE", "source_id": "FIXTURE", "snapshot_id": "SE1", "record_id": "synthetic", "source_hash": "8a00caca5754f51f76e5da90c4a2e9b91152a0dea28d3d129e57f0dd96b6eb4d" } }, "event": { "schema": "KLT-EventSpec-v1", "event_id": "FIXTURE-equivalent_units", "kind": "CONDITION_CHANGE", "before_hash": "041220f1589baa5f46a937b3732d39e4473b5a68a822a56838a7e648104e7f07", "after_hash": "bf76a47659f553d84dcaafd0c2ab7e3e1f73edd630bc8eb50add0fcd3f940d82", "protocol_reference": "MECHANICS_FIXTURE: not a physical protocol" } }, "report": { "schema": "KLT-EventCheck-v1", "event_hash": "c1fa7c2d636ca59e527dc93a080a78d5edd24270a89c7c3fc0c3befc01118da5", "endpoints": [ { "schema": "KLT-StateCheck-v1", "state_hash": "041220f1589baa5f46a937b3732d39e4473b5a68a822a56838a7e648104e7f07", "normalized": { "property": { "value": "0.0000000000000000003204353268", "uncertainty": "0.00000000000000000001602176634", "unit": "J" }, "temperature": { "value": "300", "uncertainty": "1", "unit": "K" }, "pressure": { "value": "100000", "uncertainty": "1000", "unit": "Pa" }, "time": { "value": "0", "uncertainty": "0", "unit": "s" } }, "blockers": [], "contract_status": "STATE_CONTRACT_PASS", "provenance": "REFERENCE_ONLY_NOT_AUTHENTICATED", "status_firewall": { "science": "ABSTAIN", "DHC_chem": "OPEN-NOT-CONFIRMED", "EXT-RUN": "NOT_RUN", "truth_layer_promotion": 0, "T6-RA5": "NOT_ISSUED", "axiom_promotion": "DISABLED" }, "report_hash": "e527b89185d7af368921ca0f083e125df28d0d9c211e3b2c00d610fe2b8776b4" }, { "schema": "KLT-StateCheck-v1", "state_hash": "bf76a47659f553d84dcaafd0c2ab7e3e1f73edd630bc8eb50add0fcd3f940d82", "normalized": { "property": { "value": "0.0000000000000000003204353268", "uncertainty": "0.00000000000000000001602176634", "unit": "J" }, "temperature": { "value": "300", "uncertainty": "1", "unit": "K" }, "pressure": { "value": "100000", "uncertainty": "1000", "unit": "Pa" }, "time": { "value": "10", "uncertainty": "0", "unit": "s" } }, "blockers": [], "contract_status": "STATE_CONTRACT_PASS", "provenance": "REFERENCE_ONLY_NOT_AUTHENTICATED", "status_firewall": { "science": "ABSTAIN", "DHC_chem": "OPEN-NOT-CONFIRMED", "EXT-RUN": "NOT_RUN", "truth_layer_promotion": 0, "T6-RA5": "NOT_ISSUED", "axiom_promotion": "DISABLED" }, "report_hash": "22280d24d77bf58b6dbee5695a27b768ecd067f7a3f5fbc03e2b3dd166bd011b" } ], "checks": { "states_complete": true, "same_material": true, "same_scope": true, "same_process_clock": true, "strict_time_order": true, "kind_consistent": false, "protocol_declared": true }, "blockers": [ "KIND_CONSISTENT_FAILED" ], "contract_status": "ABSTAIN", "temporal_semantics": "DISJOINT_DECLARED_TIME_BOUNDS_NOT_PROBABILISTIC_COVERAGE", "physical_reachability": "NOT_ESTABLISHED", "prediction": "NOT_RUN", "status_firewall": { "science": "ABSTAIN", "DHC_chem": "OPEN-NOT-CONFIRMED", "EXT-RUN": "NOT_RUN", "truth_layer_promotion": 0, "T6-RA5": "NOT_ISSUED", "axiom_promotion": "DISABLED" }, "report_hash": "b40a233e220c5593c5b604c0e64bda00699d8c82dd25e3c359db01b1185fbca1" } }, { "id": "missing_temperature", "title": "Неизвестная температура", "evidence_class": "MECHANICS_FIXTURE", "packet": { "before": { "schema": "KLT-StateSpec-v1", "state_id": "FIXTURE-A", "material_id": "FIXTURE-MATERIAL", "structure_key": "fixture-structure-a", "phase": "fixture-phase-a", "domain": "fixture-only", "method_class": "FIXTURE", "property_name": "band_gap", "property": { "value": "2", "unit": "eV", "uncertainty": "0.1" }, "temperature": { "value": "300", "unit": "K", "uncertainty": "1" }, "pressure": { "value": "100", "unit": "kPa", "uncertainty": "1" }, "time": { "clock_id": "fixture-process-1", "kind": "PROCESS_RELATIVE", "quantity": { "value": "0", "unit": "s", "uncertainty": "0" } }, "source": { "kind": "MECHANICS_FIXTURE", "source_id": "FIXTURE", "snapshot_id": "SE1", "record_id": "synthetic", "source_hash": "8a00caca5754f51f76e5da90c4a2e9b91152a0dea28d3d129e57f0dd96b6eb4d" } }, "after": { "schema": "KLT-StateSpec-v1", "state_id": "FIXTURE-B", "material_id": "FIXTURE-MATERIAL", "structure_key": "fixture-structure-a", "phase": "fixture-phase-a", "domain": "fixture-only", "method_class": "FIXTURE", "property_name": "band_gap", "property": { "value": "2", "unit": "eV", "uncertainty": "0.1" }, "temperature": { "value": null, "unit": "K", "uncertainty": null }, "pressure": { "value": "100", "unit": "kPa", "uncertainty": "1" }, "time": { "clock_id": "fixture-process-1", "kind": "PROCESS_RELATIVE", "quantity": { "value": "10", "unit": "s", "uncertainty": "0" } }, "source": { "kind": "MECHANICS_FIXTURE", "source_id": "FIXTURE", "snapshot_id": "SE1", "record_id": "synthetic", "source_hash": "8a00caca5754f51f76e5da90c4a2e9b91152a0dea28d3d129e57f0dd96b6eb4d" } }, "event": { "schema": "KLT-EventSpec-v1", "event_id": "FIXTURE-missing_temperature", "kind": "CONDITION_CHANGE", "before_hash": "041220f1589baa5f46a937b3732d39e4473b5a68a822a56838a7e648104e7f07", "after_hash": "86a3ebef13ff25be4767ab19970a4ee0911e9abae362fb9707e55baafb6173f3", "protocol_reference": "MECHANICS_FIXTURE: not a physical protocol" } }, "report": { "schema": "KLT-EventCheck-v1", "event_hash": "a580cde87e68e5709b8d10a3d3b07a31c87ddb4492861c87e17fa57200f8a070", "endpoints": [ { "schema": "KLT-StateCheck-v1", "state_hash": "041220f1589baa5f46a937b3732d39e4473b5a68a822a56838a7e648104e7f07", "normalized": { "property": { "value": "0.0000000000000000003204353268", "uncertainty": "0.00000000000000000001602176634", "unit": "J" }, "temperature": { "value": "300", "uncertainty": "1", "unit": "K" }, "pressure": { "value": "100000", "uncertainty": "1000", "unit": "Pa" }, "time": { "value": "0", "uncertainty": "0", "unit": "s" } }, "blockers": [], "contract_status": "STATE_CONTRACT_PASS", "provenance": "REFERENCE_ONLY_NOT_AUTHENTICATED", "status_firewall": { "science": "ABSTAIN", "DHC_chem": "OPEN-NOT-CONFIRMED", "EXT-RUN": "NOT_RUN", "truth_layer_promotion": 0, "T6-RA5": "NOT_ISSUED", "axiom_promotion": "DISABLED" }, "report_hash": "e527b89185d7af368921ca0f083e125df28d0d9c211e3b2c00d610fe2b8776b4" }, { "schema": "KLT-StateCheck-v1", "state_hash": "86a3ebef13ff25be4767ab19970a4ee0911e9abae362fb9707e55baafb6173f3", "normalized": { "property": { "value": "0.0000000000000000003204353268", "uncertainty": "0.00000000000000000001602176634", "unit": "J" }, "temperature": { "value": null, "uncertainty": null, "unit": "K" }, "pressure": { "value": "100000", "uncertainty": "1000", "unit": "Pa" }, "time": { "value": "10", "uncertainty": "0", "unit": "s" } }, "blockers": [ "TEMPERATURE_VALUE_MISSING", "TEMPERATURE_UNCERTAINTY_MISSING" ], "contract_status": "ABSTAIN", "provenance": "REFERENCE_ONLY_NOT_AUTHENTICATED", "status_firewall": { "science": "ABSTAIN", "DHC_chem": "OPEN-NOT-CONFIRMED", "EXT-RUN": "NOT_RUN", "truth_layer_promotion": 0, "T6-RA5": "NOT_ISSUED", "axiom_promotion": "DISABLED" }, "report_hash": "95c1116d18cb56645153330174b732018b2dd281bf686b0f96efe42cf0d3ddec" } ], "checks": { "states_complete": false, "same_material": true, "same_scope": true, "same_process_clock": true, "strict_time_order": true, "kind_consistent": false, "protocol_declared": true }, "blockers": [ "STATES_COMPLETE_FAILED", "KIND_CONSISTENT_FAILED" ], "contract_status": "ABSTAIN", "temporal_semantics": "DISJOINT_DECLARED_TIME_BOUNDS_NOT_PROBABILISTIC_COVERAGE", "physical_reachability": "NOT_ESTABLISHED", "prediction": "NOT_RUN", "status_firewall": { "science": "ABSTAIN", "DHC_chem": "OPEN-NOT-CONFIRMED", "EXT-RUN": "NOT_RUN", "truth_layer_promotion": 0, "T6-RA5": "NOT_ISSUED", "axiom_promotion": "DISABLED" }, "report_hash": "880fb70516ebf332e57587c54b29f6936602ef1ff3aeb0cc0b7a394112338d83" } }, { "id": "overlapping_time", "title": "Перекрывающиеся границы времени", "evidence_class": "MECHANICS_FIXTURE", "packet": { "before": { "schema": "KLT-StateSpec-v1", "state_id": "FIXTURE-A", "material_id": "FIXTURE-MATERIAL", "structure_key": "fixture-structure-a", "phase": "fixture-phase-a", "domain": "fixture-only", "method_class": "FIXTURE", "property_name": "band_gap", "property": { "value": "2", "unit": "eV", "uncertainty": "0.1" }, "temperature": { "value": "300", "unit": "K", "uncertainty": "1" }, "pressure": { "value": "100", "unit": "kPa", "uncertainty": "1" }, "time": { "clock_id": "fixture-process-1", "kind": "PROCESS_RELATIVE", "quantity": { "value": "0", "unit": "s", "uncertainty": "0" } }, "source": { "kind": "MECHANICS_FIXTURE", "source_id": "FIXTURE", "snapshot_id": "SE1", "record_id": "synthetic", "source_hash": "8a00caca5754f51f76e5da90c4a2e9b91152a0dea28d3d129e57f0dd96b6eb4d" } }, "after": { "schema": "KLT-StateSpec-v1", "state_id": "FIXTURE-B", "material_id": "FIXTURE-MATERIAL", "structure_key": "fixture-structure-a", "phase": "fixture-phase-a", "domain": "fixture-only", "method_class": "FIXTURE", "property_name": "band_gap", "property": { "value": "2", "unit": "eV", "uncertainty": "0.1" }, "temperature": { "value": "350", "unit": "K", "uncertainty": "1" }, "pressure": { "value": "100", "unit": "kPa", "uncertainty": "1" }, "time": { "clock_id": "fixture-process-1", "kind": "PROCESS_RELATIVE", "quantity": { "value": "1", "unit": "s", "uncertainty": "2" } }, "source": { "kind": "MECHANICS_FIXTURE", "source_id": "FIXTURE", "snapshot_id": "SE1", "record_id": "synthetic", "source_hash": "8a00caca5754f51f76e5da90c4a2e9b91152a0dea28d3d129e57f0dd96b6eb4d" } }, "event": { "schema": "KLT-EventSpec-v1", "event_id": "FIXTURE-overlapping_time", "kind": "CONDITION_CHANGE", "before_hash": "041220f1589baa5f46a937b3732d39e4473b5a68a822a56838a7e648104e7f07", "after_hash": "624ff3d623ee6f1d367a0e16ffbaf560bb949ddaeaa1de0bd954dcc63173bbcd", "protocol_reference": "MECHANICS_FIXTURE: not a physical protocol" } }, "report": { "schema": "KLT-EventCheck-v1", "event_hash": "034430fecbfe95a02637ec9f44086734ccf9f7ba408147852660ee77edd8b230", "endpoints": [ { "schema": "KLT-StateCheck-v1", "state_hash": "041220f1589baa5f46a937b3732d39e4473b5a68a822a56838a7e648104e7f07", "normalized": { "property": { "value": "0.0000000000000000003204353268", "uncertainty": "0.00000000000000000001602176634", "unit": "J" }, "temperature": { "value": "300", "uncertainty": "1", "unit": "K" }, "pressure": { "value": "100000", "uncertainty": "1000", "unit": "Pa" }, "time": { "value": "0", "uncertainty": "0", "unit": "s" } }, "blockers": [], "contract_status": "STATE_CONTRACT_PASS", "provenance": "REFERENCE_ONLY_NOT_AUTHENTICATED", "status_firewall": { "science": "ABSTAIN", "DHC_chem": "OPEN-NOT-CONFIRMED", "EXT-RUN": "NOT_RUN", "truth_layer_promotion": 0, "T6-RA5": "NOT_ISSUED", "axiom_promotion": "DISABLED" }, "report_hash": "e527b89185d7af368921ca0f083e125df28d0d9c211e3b2c00d610fe2b8776b4" }, { "schema": "KLT-StateCheck-v1", "state_hash": "624ff3d623ee6f1d367a0e16ffbaf560bb949ddaeaa1de0bd954dcc63173bbcd", "normalized": { "property": { "value": "0.0000000000000000003204353268", "uncertainty": "0.00000000000000000001602176634", "unit": "J" }, "temperature": { "value": "350", "uncertainty": "1", "unit": "K" }, "pressure": { "value": "100000", "uncertainty": "1000", "unit": "Pa" }, "time": { "value": "1", "uncertainty": "2", "unit": "s" } }, "blockers": [], "contract_status": "STATE_CONTRACT_PASS", "provenance": "REFERENCE_ONLY_NOT_AUTHENTICATED", "status_firewall": { "science": "ABSTAIN", "DHC_chem": "OPEN-NOT-CONFIRMED", "EXT-RUN": "NOT_RUN", "truth_layer_promotion": 0, "T6-RA5": "NOT_ISSUED", "axiom_promotion": "DISABLED" }, "report_hash": "929f53388b0ba6d3326eb65a078d733aa864c0ef6d63e2ccb40b320e85cea1b2" } ], "checks": { "states_complete": true, "same_material": true, "same_scope": true, "same_process_clock": true, "strict_time_order": false, "kind_consistent": true, "protocol_declared": true }, "blockers": [ "STRICT_TIME_ORDER_FAILED" ], "contract_status": "ABSTAIN", "temporal_semantics": "DISJOINT_DECLARED_TIME_BOUNDS_NOT_PROBABILISTIC_COVERAGE", "physical_reachability": "NOT_ESTABLISHED", "prediction": "NOT_RUN", "status_firewall": { "science": "ABSTAIN", "DHC_chem": "OPEN-NOT-CONFIRMED", "EXT-RUN": "NOT_RUN", "truth_layer_promotion": 0, "T6-RA5": "NOT_ISSUED", "axiom_promotion": "DISABLED" }, "report_hash": "0e910a6f527972e38e005317ea026bc30118020e3730199900a2d097448bd4c0" } }, { "id": "method_mismatch", "title": "Несовместимые методы", "evidence_class": "MECHANICS_FIXTURE", "packet": { "before": { "schema": "KLT-StateSpec-v1", "state_id": "FIXTURE-A", "material_id": "FIXTURE-MATERIAL", "structure_key": "fixture-structure-a", "phase": "fixture-phase-a", "domain": "fixture-only", "method_class": "FIXTURE", "property_name": "band_gap", "property": { "value": "2", "unit": "eV", "uncertainty": "0.1" }, "temperature": { "value": "300", "unit": "K", "uncertainty": "1" }, "pressure": { "value": "100", "unit": "kPa", "uncertainty": "1" }, "time": { "clock_id": "fixture-process-1", "kind": "PROCESS_RELATIVE", "quantity": { "value": "0", "unit": "s", "uncertainty": "0" } }, "source": { "kind": "MECHANICS_FIXTURE", "source_id": "FIXTURE", "snapshot_id": "SE1", "record_id": "synthetic", "source_hash": "8a00caca5754f51f76e5da90c4a2e9b91152a0dea28d3d129e57f0dd96b6eb4d" } }, "after": { "schema": "KLT-StateSpec-v1", "state_id": "FIXTURE-B", "material_id": "FIXTURE-MATERIAL", "structure_key": "fixture-structure-a", "phase": "fixture-phase-a", "domain": "fixture-only", "method_class": "OTHER_FIXTURE_METHOD", "property_name": "band_gap", "property": { "value": "2", "unit": "eV", "uncertainty": "0.1" }, "temperature": { "value": "350", "unit": "K", "uncertainty": "1" }, "pressure": { "value": "100", "unit": "kPa", "uncertainty": "1" }, "time": { "clock_id": "fixture-process-1", "kind": "PROCESS_RELATIVE", "quantity": { "value": "10", "unit": "s", "uncertainty": "0" } }, "source": { "kind": "MECHANICS_FIXTURE", "source_id": "FIXTURE", "snapshot_id": "SE1", "record_id": "synthetic", "source_hash": "8a00caca5754f51f76e5da90c4a2e9b91152a0dea28d3d129e57f0dd96b6eb4d" } }, "event": { "schema": "KLT-EventSpec-v1", "event_id": "FIXTURE-method_mismatch", "kind": "CONDITION_CHANGE", "before_hash": "041220f1589baa5f46a937b3732d39e4473b5a68a822a56838a7e648104e7f07", "after_hash": "0eef9a223ae4266618e46375f9eb10e3acff6e0630cfa04d40b19c08661182dd", "protocol_reference": "MECHANICS_FIXTURE: not a physical protocol" } }, "report": { "schema": "KLT-EventCheck-v1", "event_hash": "57319fb78c0e4fda4f18cfa55fa3642436577109a6c4e359b77b02129512a656", "endpoints": [ { "schema": "KLT-StateCheck-v1", "state_hash": "041220f1589baa5f46a937b3732d39e4473b5a68a822a56838a7e648104e7f07", "normalized": { "property": { "value": "0.0000000000000000003204353268", "uncertainty": "0.00000000000000000001602176634", "unit": "J" }, "temperature": { "value": "300", "uncertainty": "1", "unit": "K" }, "pressure": { "value": "100000", "uncertainty": "1000", "unit": "Pa" }, "time": { "value": "0", "uncertainty": "0", "unit": "s" } }, "blockers": [], "contract_status": "STATE_CONTRACT_PASS", "provenance": "REFERENCE_ONLY_NOT_AUTHENTICATED", "status_firewall": { "science": "ABSTAIN", "DHC_chem": "OPEN-NOT-CONFIRMED", "EXT-RUN": "NOT_RUN", "truth_layer_promotion": 0, "T6-RA5": "NOT_ISSUED", "axiom_promotion": "DISABLED" }, "report_hash": "e527b89185d7af368921ca0f083e125df28d0d9c211e3b2c00d610fe2b8776b4" }, { "schema": "KLT-StateCheck-v1", "state_hash": "0eef9a223ae4266618e46375f9eb10e3acff6e0630cfa04d40b19c08661182dd", "normalized": { "property": { "value": "0.0000000000000000003204353268", "uncertainty": "0.00000000000000000001602176634", "unit": "J" }, "temperature": { "value": "350", "uncertainty": "1", "unit": "K" }, "pressure": { "value": "100000", "uncertainty": "1000", "unit": "Pa" }, "time": { "value": "10", "uncertainty": "0", "unit": "s" } }, "blockers": [], "contract_status": "STATE_CONTRACT_PASS", "provenance": "REFERENCE_ONLY_NOT_AUTHENTICATED", "status_firewall": { "science": "ABSTAIN", "DHC_chem": "OPEN-NOT-CONFIRMED", "EXT-RUN": "NOT_RUN", "truth_layer_promotion": 0, "T6-RA5": "NOT_ISSUED", "axiom_promotion": "DISABLED" }, "report_hash": "edae896e454b19a43aaefbc2da7eb927c3a9010ea2d7ff84ba803cc4df469b63" } ], "checks": { "states_complete": true, "same_material": true, "same_scope": false, "same_process_clock": true, "strict_time_order": true, "kind_consistent": true, "protocol_declared": true }, "blockers": [ "SAME_SCOPE_FAILED" ], "contract_status": "ABSTAIN", "temporal_semantics": "DISJOINT_DECLARED_TIME_BOUNDS_NOT_PROBABILISTIC_COVERAGE", "physical_reachability": "NOT_ESTABLISHED", "prediction": "NOT_RUN", "status_firewall": { "science": "ABSTAIN", "DHC_chem": "OPEN-NOT-CONFIRMED", "EXT-RUN": "NOT_RUN", "truth_layer_promotion": 0, "T6-RA5": "NOT_ISSUED", "axiom_promotion": "DISABLED" }, "report_hash": "dbf610d9cbccd291ff6f494387dbe9f546fba8669c3dae2e081d695e826dd4af" } }, { "id": "phase_change", "title": "Описание смены фазы", "evidence_class": "MECHANICS_FIXTURE", "packet": { "before": { "schema": "KLT-StateSpec-v1", "state_id": "FIXTURE-A", "material_id": "FIXTURE-MATERIAL", "structure_key": "fixture-structure-a", "phase": "fixture-phase-a", "domain": "fixture-only", "method_class": "FIXTURE", "property_name": "band_gap", "property": { "value": "2", "unit": "eV", "uncertainty": "0.1" }, "temperature": { "value": "300", "unit": "K", "uncertainty": "1" }, "pressure": { "value": "100", "unit": "kPa", "uncertainty": "1" }, "time": { "clock_id": "fixture-process-1", "kind": "PROCESS_RELATIVE", "quantity": { "value": "0", "unit": "s", "uncertainty": "0" } }, "source": { "kind": "MECHANICS_FIXTURE", "source_id": "FIXTURE", "snapshot_id": "SE1", "record_id": "synthetic", "source_hash": "8a00caca5754f51f76e5da90c4a2e9b91152a0dea28d3d129e57f0dd96b6eb4d" } }, "after": { "schema": "KLT-StateSpec-v1", "state_id": "FIXTURE-B", "material_id": "FIXTURE-MATERIAL", "structure_key": "fixture-structure-b", "phase": "fixture-phase-b", "domain": "fixture-only", "method_class": "FIXTURE", "property_name": "band_gap", "property": { "value": "2", "unit": "eV", "uncertainty": "0.1" }, "temperature": { "value": "350", "unit": "K", "uncertainty": "1" }, "pressure": { "value": "100", "unit": "kPa", "uncertainty": "1" }, "time": { "clock_id": "fixture-process-1", "kind": "PROCESS_RELATIVE", "quantity": { "value": "10", "unit": "s", "uncertainty": "0" } }, "source": { "kind": "MECHANICS_FIXTURE", "source_id": "FIXTURE", "snapshot_id": "SE1", "record_id": "synthetic", "source_hash": "8a00caca5754f51f76e5da90c4a2e9b91152a0dea28d3d129e57f0dd96b6eb4d" } }, "event": { "schema": "KLT-EventSpec-v1", "event_id": "FIXTURE-phase_change", "kind": "PHASE_CHANGE", "before_hash": "041220f1589baa5f46a937b3732d39e4473b5a68a822a56838a7e648104e7f07", "after_hash": "9bb2aa816d4459b55f8ceef4e1112c941ba8b42647b0d901f373bdaf3ad431ab", "protocol_reference": "MECHANICS_FIXTURE: not a physical protocol" } }, "report": { "schema": "KLT-EventCheck-v1", "event_hash": "bf60eaffed4cadea303b6224220403e742d573825ce2862b57f3f9f009db3af1", "endpoints": [ { "schema": "KLT-StateCheck-v1", "state_hash": "041220f1589baa5f46a937b3732d39e4473b5a68a822a56838a7e648104e7f07", "normalized": { "property": { "value": "0.0000000000000000003204353268", "uncertainty": "0.00000000000000000001602176634", "unit": "J" }, "temperature": { "value": "300", "uncertainty": "1", "unit": "K" }, "pressure": { "value": "100000", "uncertainty": "1000", "unit": "Pa" }, "time": { "value": "0", "uncertainty": "0", "unit": "s" } }, "blockers": [], "contract_status": "STATE_CONTRACT_PASS", "provenance": "REFERENCE_ONLY_NOT_AUTHENTICATED", "status_firewall": { "science": "ABSTAIN", "DHC_chem": "OPEN-NOT-CONFIRMED", "EXT-RUN": "NOT_RUN", "truth_layer_promotion": 0, "T6-RA5": "NOT_ISSUED", "axiom_promotion": "DISABLED" }, "report_hash": "e527b89185d7af368921ca0f083e125df28d0d9c211e3b2c00d610fe2b8776b4" }, { "schema": "KLT-StateCheck-v1", "state_hash": "9bb2aa816d4459b55f8ceef4e1112c941ba8b42647b0d901f373bdaf3ad431ab", "normalized": { "property": { "value": "0.0000000000000000003204353268", "uncertainty": "0.00000000000000000001602176634", "unit": "J" }, "temperature": { "value": "350", "uncertainty": "1", "unit": "K" }, "pressure": { "value": "100000", "uncertainty": "1000", "unit": "Pa" }, "time": { "value": "10", "uncertainty": "0", "unit": "s" } }, "blockers": [], "contract_status": "STATE_CONTRACT_PASS", "provenance": "REFERENCE_ONLY_NOT_AUTHENTICATED", "status_firewall": { "science": "ABSTAIN", "DHC_chem": "OPEN-NOT-CONFIRMED", "EXT-RUN": "NOT_RUN", "truth_layer_promotion": 0, "T6-RA5": "NOT_ISSUED", "axiom_promotion": "DISABLED" }, "report_hash": "015618bcbff4e9d2d92dee4daf54dabea3a7b6d08060839b2a66655d5a86ca49" } ], "checks": { "states_complete": true, "same_material": true, "same_scope": true, "same_process_clock": true, "strict_time_order": true, "kind_consistent": true, "protocol_declared": true }, "blockers": [], "contract_status": "DESCRIBED_TRANSITION", "temporal_semantics": "DISJOINT_DECLARED_TIME_BOUNDS_NOT_PROBABILISTIC_COVERAGE", "physical_reachability": "NOT_ESTABLISHED", "prediction": "NOT_RUN", "status_firewall": { "science": "ABSTAIN", "DHC_chem": "OPEN-NOT-CONFIRMED", "EXT-RUN": "NOT_RUN", "truth_layer_promotion": 0, "T6-RA5": "NOT_ISSUED", "axiom_promotion": "DISABLED" }, "report_hash": "6946447f6362c9c97d2d532be9fd1599a8427c6ba11608c43e74c5bb481f4d1d" } }, { "id": "property_change", "title": "Изменение свойства при тех же условиях", "evidence_class": "MECHANICS_FIXTURE", "packet": { "before": { "schema": "KLT-StateSpec-v1", "state_id": "FIXTURE-A", "material_id": "FIXTURE-MATERIAL", "structure_key": "fixture-structure-a", "phase": "fixture-phase-a", "domain": "fixture-only", "method_class": "FIXTURE", "property_name": "band_gap", "property": { "value": "2", "unit": "eV", "uncertainty": "0.1" }, "temperature": { "value": "300", "unit": "K", "uncertainty": "1" }, "pressure": { "value": "100", "unit": "kPa", "uncertainty": "1" }, "time": { "clock_id": "fixture-process-1", "kind": "PROCESS_RELATIVE", "quantity": { "value": "0", "unit": "s", "uncertainty": "0" } }, "source": { "kind": "MECHANICS_FIXTURE", "source_id": "FIXTURE", "snapshot_id": "SE1", "record_id": "synthetic", "source_hash": "8a00caca5754f51f76e5da90c4a2e9b91152a0dea28d3d129e57f0dd96b6eb4d" } }, "after": { "schema": "KLT-StateSpec-v1", "state_id": "FIXTURE-B", "material_id": "FIXTURE-MATERIAL", "structure_key": "fixture-structure-a", "phase": "fixture-phase-a", "domain": "fixture-only", "method_class": "FIXTURE", "property_name": "band_gap", "property": { "value": "2.2", "unit": "eV", "uncertainty": "0.1" }, "temperature": { "value": "300", "unit": "K", "uncertainty": "1" }, "pressure": { "value": "100", "unit": "kPa", "uncertainty": "1" }, "time": { "clock_id": "fixture-process-1", "kind": "PROCESS_RELATIVE", "quantity": { "value": "10", "unit": "s", "uncertainty": "0" } }, "source": { "kind": "MECHANICS_FIXTURE", "source_id": "FIXTURE", "snapshot_id": "SE1", "record_id": "synthetic", "source_hash": "8a00caca5754f51f76e5da90c4a2e9b91152a0dea28d3d129e57f0dd96b6eb4d" } }, "event": { "schema": "KLT-EventSpec-v1", "event_id": "FIXTURE-property_change", "kind": "PROPERTY_CHANGE", "before_hash": "041220f1589baa5f46a937b3732d39e4473b5a68a822a56838a7e648104e7f07", "after_hash": "fa80c3a9f01b6eecde1d6021a5980f02f4b62f2086b15beeb2b9aabb3e460472", "protocol_reference": "MECHANICS_FIXTURE: not a physical protocol" } }, "report": { "schema": "KLT-EventCheck-v1", "event_hash": "f8ff804b8d69fc4ae40b037e2ea00c666aa72ab16f47b53ed96202b10e109564", "endpoints": [ { "schema": "KLT-StateCheck-v1", "state_hash": "041220f1589baa5f46a937b3732d39e4473b5a68a822a56838a7e648104e7f07", "normalized": { "property": { "value": "0.0000000000000000003204353268", "uncertainty": "0.00000000000000000001602176634", "unit": "J" }, "temperature": { "value": "300", "uncertainty": "1", "unit": "K" }, "pressure": { "value": "100000", "uncertainty": "1000", "unit": "Pa" }, "time": { "value": "0", "uncertainty": "0", "unit": "s" } }, "blockers": [], "contract_status": "STATE_CONTRACT_PASS", "provenance": "REFERENCE_ONLY_NOT_AUTHENTICATED", "status_firewall": { "science": "ABSTAIN", "DHC_chem": "OPEN-NOT-CONFIRMED", "EXT-RUN": "NOT_RUN", "truth_layer_promotion": 0, "T6-RA5": "NOT_ISSUED", "axiom_promotion": "DISABLED" }, "report_hash": "e527b89185d7af368921ca0f083e125df28d0d9c211e3b2c00d610fe2b8776b4" }, { "schema": "KLT-StateCheck-v1", "state_hash": "fa80c3a9f01b6eecde1d6021a5980f02f4b62f2086b15beeb2b9aabb3e460472", "normalized": { "property": { "value": "0.00000000000000000035247885948", "uncertainty": "0.00000000000000000001602176634", "unit": "J" }, "temperature": { "value": "300", "uncertainty": "1", "unit": "K" }, "pressure": { "value": "100000", "uncertainty": "1000", "unit": "Pa" }, "time": { "value": "10", "uncertainty": "0", "unit": "s" } }, "blockers": [], "contract_status": "STATE_CONTRACT_PASS", "provenance": "REFERENCE_ONLY_NOT_AUTHENTICATED", "status_firewall": { "science": "ABSTAIN", "DHC_chem": "OPEN-NOT-CONFIRMED", "EXT-RUN": "NOT_RUN", "truth_layer_promotion": 0, "T6-RA5": "NOT_ISSUED", "axiom_promotion": "DISABLED" }, "report_hash": "4ea736eac2e04ae7537cfaf2b9866610373ccd160898939ea920b4b3e1b879d7" } ], "checks": { "states_complete": true, "same_material": true, "same_scope": true, "same_process_clock": true, "strict_time_order": true, "kind_consistent": true, "protocol_declared": true }, "blockers": [], "contract_status": "DESCRIBED_TRANSITION", "temporal_semantics": "DISJOINT_DECLARED_TIME_BOUNDS_NOT_PROBABILISTIC_COVERAGE", "physical_reachability": "NOT_ESTABLISHED", "prediction": "NOT_RUN", "status_firewall": { "science": "ABSTAIN", "DHC_chem": "OPEN-NOT-CONFIRMED", "EXT-RUN": "NOT_RUN", "truth_layer_promotion": 0, "T6-RA5": "NOT_ISSUED", "axiom_promotion": "DISABLED" }, "report_hash": "41fb1f4298bb4f7b3cdfc436c2f0b13d797a2120a3dcc586d9f2d3f9b1e6a66d" } } ], "corpus": { "schema": "KLT-StateCorpusAudit-v1", "database_file_hash": "df6748d032e51744b8f694b1e9905596f5dcee1356f2f96dc09786855f1c6e20", "database_semantic_hash": "9fb74907de0e69fdbcc79e25a531faa5b17a14efd23eac1594ebd3bbd2855b32", "total_observations": 211, "supported_observations": 113, "unsupported_property_observations": 98, "complete_process_states": 0, "events_inferred": 0, "missing_counts": { "PRESSURE_UNCERTAINTY_MISSING": 113, "PRESSURE_VALUE_MISSING": 113, "PROCESS_CLOCK_MISSING": 113, "PROPERTY_UNCERTAINTY_MISSING": 113, "TEMPERATURE_UNCERTAINTY_MISSING": 113, "TEMPERATURE_VALUE_MISSING": 113, "TIME_UNCERTAINTY_MISSING": 113, "TIME_VALUE_MISSING": 113 }, "source_mutations": 0, "publication": "COUNTS_ONLY_NO_PROPERTY_ROWS", "adapter_scope": "PINNED_EXPORT_CONTEXT_ONLY_NOT_PRIMARY_CALCULATION_OUTPUTS", "status_firewall": { "science": "ABSTAIN", "DHC_chem": "OPEN-NOT-CONFIRMED", "EXT-RUN": "NOT_RUN", "truth_layer_promotion": 0, "T6-RA5": "NOT_ISSUED", "axiom_promotion": "DISABLED" }, "report_hash": "9520a03c4a6061db82bf085e9566b42f93f4897eb32aa60a32ea272dc89d9f98" }, "arbd_relation": "METHOD_SCOPE_PROPOSAL_NOT_CHEMICAL_IDENTITY", "arbd_report_hash": "e24e1773f9c929237d6736c0d0d0df01eaab17ad71c4d6203d1c772e93a4814e", "status_firewall": { "science": "ABSTAIN", "DHC_chem": "OPEN-NOT-CONFIRMED", "EXT-RUN": "NOT_RUN", "truth_layer_promotion": 0, "T6-RA5": "NOT_ISSUED", "axiom_promotion": "DISABLED" }, "report_hash": "4821c083f905984c3ea22b60264fa5bf7f256728961b7146df489eeef7f144e7" }