LOGIC OR NOT P077 — MONITOR STATE state_schema_version: v0.2 product_id: P077 status: CONFIGURED_NOT_ACTIVE state_revision: INITIAL STATE BINDINGS state_binding_reference: REQUIRED_AT_INSTALL owner_regulatory_state_binding: UNSET owner_state_revision: UNKNOWN SCOPE / SOURCE DEFINITIONS jurisdiction: UNKNOWN_UNTIL_INITIALIZED regulated_topic: UNKNOWN_UNTIL_INITIALIZED entity_activity_scope_version: UNKNOWN_UNTIL_INITIALIZED official_source_registry_version: UNKNOWN_UNTIL_INITIALIZED REGULATORY BASELINE LINEAGE regulatory_baseline_current_version: UNKNOWN_UNTIL_INITIALIZED regulatory_baseline_current_ref: UNKNOWN_UNTIL_INITIALIZED regulatory_baseline_history_refs: [] regulatory_baseline_candidate_version: NONE regulatory_baseline_candidate_ref: NONE baseline_adoption_status: NOT_APPLICABLE_UNTIL_CANDIDATE LAST INSTRUMENT 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_instrument_ids_observed: [] last_instrument_versions_observed: [] last_publication_state: UNKNOWN last_effectivity_state: UNKNOWN last_applicability_state: UNKNOWN last_consolidation_state: UNKNOWN last_delta_classes: [] 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_applicability_unknowns: [] open_consolidation_pending: [] open_review_items: [] open_unknowns: [] next_expected_run: UNKNOWN_UNTIL_SCHEDULED STATE SEMANTICS Publication, effectivity, applicability and consolidation are distinct. APPLICABILITY_UNKNOWN is not not-applicable. CONSOLIDATION_PENDING is not no-change and preserves the authoritative publication reference. A failed official-source run does not advance regulatory_baseline_current. State writes require expected state_revision and expected owner_state_revision when owner state changes; stale revision is WRITE_CONFLICT.