LOGIC OR NOT P078 — MONITOR STATE state_schema_version: v0.2 product_id: P078 status: CONFIGURED_NOT_ACTIVE state_revision: INITIAL STATE BINDINGS state_binding_reference: REQUIRED_AT_INSTALL owner_supplier_dossier_binding: UNSET owner_procurement_state_binding: UNSET owner_state_revision: UNKNOWN DEFINITION VERSIONS supplier_set_version: UNKNOWN_UNTIL_INITIALIZED source_registry_version: UNKNOWN_UNTIL_INITIALIZED monitored_dimensions_version: UNKNOWN_UNTIL_INITIALIZED BASELINE LINEAGE baseline_current_version: UNKNOWN_UNTIL_INITIALIZED baseline_current_ref: UNKNOWN_UNTIL_INITIALIZED baseline_history_refs: [] baseline_candidate_version: NONE baseline_candidate_ref: NONE baseline_adoption_status: NOT_APPLICABLE_UNTIL_CANDIDATE LAST OBSERVATION last_run_id: NONE last_checked_at: NEVER last_successful_check_at: NEVER last_run_status: NEVER_RUN last_source_coverage_state: UNKNOWN last_supplier_identity_state: UNKNOWN last_comparability_state: UNKNOWN last_delta_classes: [] last_evidence_lifecycle_changes: [] last_material_delta: NONE_RECORDED last_change_fingerprint: NONE last_notified_fingerprint: NONE last_notification_at: NEVER last_source_failure: NONE last_human_review_status: NONE last_writeback_status: NONE run_ledger_refs: [] OPEN STATE open_conflicts: [] open_disputes: [] open_expiry_or_validity_items: [] open_unknowns: [] next_expected_run: UNKNOWN_UNTIL_SCHEDULED STATE SEMANTICS UNKNOWN is not healthy, approved or no-change. Source/evidence expiry or withdrawal preserves lineage and is not silently rewritten as a new fact. A failed or non-comparable run does not advance baseline_current. Runtime state does not equal procurement approval or supplier-system truth. State writes require expected state_revision and expected owner_state_revision when owner state changes; stale revision is WRITE_CONFLICT.