KB-7F40

Read-Only B4 Certify-Consumer Recheck (2026-06-18)

5 min read Revision 1
laws-newR2-B2B4certify-consumerread-only-evidencefresh-readonlydesign-onlynon-authorizing2026-06-18

Read-Only B4 Certify-Consumer Recheck

Date: 2026-06-18 · Workstream: LEGO-PILOT-SLICE-0-R2-B2-READONLY-EVIDENCE-OWNER-PATH-MACRO-2026-06-18 (Deliverable 6 of 30) · Editorial revision: rev1 Class: read-only compatibility evidence (B4 consumer) · READ-ONLY · NON-ENACTING · NON-AUTHORIZING · NOT technical design · NO certify run · NO write performed.

Metadata convention. Editorial revision (rev1) only. AgentData storage revision/content_length authoritative at read time; not pinned here.

B4-recheck lock. This packet records the fresh read-only re-confirmation that the B4 certify consumer is the "healthy-but-starved" reader (GATE-2 read-only half). It runs no certify, couples B2 to no B4 internals, changes no contract.


0. Status and non-authorization

STATUS: PASS — engineering / read-only. B4-1…B4-4 re-confirmed read-only this run. Engineering PASS ≠ authority PASS. Default disposition: HOLD. No certify execution; no DB write/DDL/DML; no contract change; no TD; no blocker resolved; v0.1 not overwritten; v0.2 not authority.

Evidence basis — FRESH_READONLY_EVIDENCE (FQ-8, FQ-9, FQ-14, FQ-2/3) + INHERITED_KB_EVIDENCE (Đ4 note: certified≠canonical). Reading discipline: main process, no reader-agents.


1. Purpose

Re-confirm, read-only, that B4 (trg_birth_auto_certify → fn_birth_auto_certify) is enabled, fires only on all-three-inspect_*, and only reads the stud (GATE-2 / PO-5 read-only half). §4 records the fresh readback.

The one rule: B4 is the consumer; B2 never calls B4 and never depends on B4 internals — they meet only at the B3 stud. Confirming B4 read-only retires the read-only half of GATE-2; it does not run certify or build B2.


2. Sources / evidence read

Deliverable 1 (FQ ledger); Mega Gate B3/B4 Compatibility Readiness (B4-1…B4-4); R2a (B4 healthy-but-starved); Đ4 note (certified=true is TEMP-stage completeness, not canonical). Read directly, main process.


3. Accepted baseline (carried)

B4 = trg_birth_auto_certify → fn_birth_auto_certify (ENABLED), flips certified=true, certified_at atomically per row once all three inspect_* present; only reads inspect_*; never produces them (AC-3). Healthy but starved (no producer feeds it).


4. Read-only evidence observed (FRESH, 2026-06-18)

# Check Result FQ
B4-1 trigger present + enabled trg_birth_auto_certify, tgenabled='O' (enabled), on birth_registry FQ-8
B4-2 only reads inspect_* fn_birth_auto_certify is the ONLY function naming inspect_pen/stamp/gate (a pg_proc.prosrc search) — it is the sole consumer; nothing else references the stud FQ-9
B4-2b function present fn_birth_auto_certify present in pg_proc FQ-14
B4-3 reads production only (carried) B4 reads production birth_registry; staging candidates must be separated (Deliverable 19) INHERITED
B4-4 certified≠canonical (carried, Đ4 note) certified=true is TEMP-stage completeness, not canonical; canonical needs a fail-closed promote checker + Owner gate INHERITED

Starvation re-confirmed (FRESH): 1,402 certified — all from the 2026-03-21 bootstrap (Deliverable 8); 1,211,635 uncertified with 0 stamps → B4 never fires for the post-cutover backlog because no producer writes the stud.


5. Classification — B4 read-only verified

Obligation New status
B4-1 trigger enabled, all-three-gated PARTIAL_READONLY_VERIFIED → met (read-only) (FQ-8; all-three semantics carried from Đ0-G)
B4-2 reads only, sole consumer met (read-only) (FQ-9)
B4-3 reads production only carried (staging separation owed, Deliverable 19)
B4-4 certified≠canonical carried (Đ4 note)

B4 verdict: the read-only half of GATE-2 (B4) is read-only verified (FRESH). The "healthy-but-starved" decoupling is current truth. No certify run; no B4 change; B2 still never depends on B4 internals.


6. Owner-gated future work

Future work Gate required Forbidden now?
Exercise B4 (set inspect_*, expect certify) Điều 32 + built/governed producer + staging fixture Yes
Any B4 change Điều 32 + coordinated B2+B4 design Yes

7. What remains unresolved

  • B4 is starved; the producer (B2) is MISSING (Deliverable 21).
  • The downstream-certify interaction (completing all three triggers B4) is the S8 open part (Deliverable 18); HOLD-2 OPEN.
  • Blockers — all OPEN.

8. Ready for GPT/Codex review

Yes — as a read-only B4 consumer recheck.

Core rule: trg_birth_auto_certify is enabled and fn_birth_auto_certify is the sole function naming the stud (reads only) — the healthy-but-starved consumer is FRESH-confirmed; no certify run, GATE-2 not Owner-closed.

Default disposition: HOLD. Engineering PASS ≠ authority PASS. All blockers remain OPEN.

Back to Knowledge Hub knowledge/dev/laws-new/newlaws/consolidation/readonly-b4-certify-consumer-recheck-2026-06-18.md