04 — No-Blind-Spot Watch

Verdict: CLEAN — GUARD 7/7 PASS, NO UNKNOWN/PARTIAL CONVERTED TO ZERO

A. v_rp_no_blind_spot_as_zero_guard — 7/7 PASS

rule	pass	meaning
unknown_source_not_zero	true	No UNKNOWN-scope source carries observed_count=0 (must be NULL/UNKNOWN, never 0)
partial_source_badged	true	Every PARTIAL source carries a PARTIAL UI badge
stale_source_warned	true	Every STALE/STALE_PARTIAL source shows a STALE/PARTIAL warning
host_only_not_disappeared	true	Host-only trigger classes remain present (>=4 classes)
db_only_trigger_label_persists	true	DB-only trigger universe label persists
missing_adapter_raises	true	No instrumented source is MISSING_ADAPTER
rp_visible_triggers_honest_zero	true	Triggers honestly report RP-visible=0 (AX-TRIGGER unregistered) — zero is TRUE here, not hidden

All seven guard rules hold. The critical "null-never-zero" invariant (ui_route_package_source UNKNOWN), the PARTIAL badges (kb_sop, host_trigger_classes, process_observations), and the honest RP-visible=0 for triggers are all intact.

B. Honest labelling corroboration (from area 03)

• kb_sop_docs is reported PARTIAL with a legitimately older timestamp (06-04 10:15) — NOT silently zeroed.
• Host triggers remain present as classes (host_only_not_disappeared = true); the host crontab / systemd_timers sources ran OK on 06-05.
• AX-TRIGGER remains unregistered → RP-visible triggers = honest zero (rule passes), not a hidden blind spot.

C. Interpretation

T1's actuation work has not eroded source honesty. No PARTIAL or UNKNOWN source has been collapsed into a 0 to make coverage look complete. The guard that would catch such a regression (v_rp_no_blind_spot_as_zero_guard) is fully green. This is the area most at risk during an "actuation" push (the temptation to make a queue look empty), and it is clean.

D. What T1 must re-confirm at final

If T1's actuation or provenance wiring touches any source-coverage view, re-run v_rp_no_blind_spot_as_zero_guard and confirm it stays 7/7 — in particular that no newly-actuated/cleared queue causes a previously-UNKNOWN or PARTIAL source to be rendered as 0.