Phase-1 Read-Only Runtime Blocker Verification 2026-06-17
Phase-1 Read-Only Runtime Blocker Verification
Run date: 2026-06-17 · Verification window: ~10:12–10:33 UTC · Mode: READ-ONLY runtime truth-finding · Revision: rev1 Non-authorizing. This document VERIFIES; it does NOT resolve any blocker, adopt any draft, change any law, or authorize any technical design or implementation. Engineering verification ≠ Authority approval.
0. Status
STATUS: PARTIAL
All five blocker surfaces were checked against the live PostgreSQL substrate with first-hand, read-only SQL evidence (this is the first run to do so — every prior law-revision report explicitly recorded "no live DB/runtime query; all reads were AgentData KB reads", E0 §15). The run is engineering-complete for all five surfaces.
It is marked PARTIAL — not PASS because: (a) the live value of the GUC app.bypass_birth_gate could not be read (the query_pg harness denies current_setting() outside a safe-parameter allowlist); (b) DOT execution telemetry (dot_tools.last_executed) is ambiguous (stale since 2026-03-31, yet other heartbeats show today-activity); (c) the local checkout is ~7 weeks stale and contains none of the governed substrate; and (d) several surfaces carry HIGH/CRITICAL-relevant findings that keep technical design gated. No blocker is marked resolved. PASS here would be an engineering-verification statement only, never an authority PASS.
The live runtime materially diverges from the documentary law-revision layer on four surfaces — generally in the safer direction (containments and substrate that the KB-only reports could not see). These divergences are documentary lag, not runtime defects, and are reported as findings; the documentary layer is not edited (Owner-gated).
1. Executive summary
| Surface | Documentary claim (KB layer) | Live runtime finding (2026-06-17) | Verdict |
|---|---|---|---|
| RISK-BYPASS | open: fn_auto_approve_add 160 unvoted applies + warn-mode birth gate + kill-switch |
fn_auto_approve_add neutered 2026-06-06; two layered fail-closed quorum guards enabled; 170 historical unvoted-applied rows persist; birth-gate warn-mode + latent kill-switch GUC |
PARTIAL |
HOLD-1 iu_staging_* |
liveness unproven / documentary | Tables+views+functions exist; pilot-exercised with full pending→approved→consumed lifecycle (2026-05-25→27); idle since; downstream gated dry-run |
LIVE (pilot) |
| HOLD-2 atomic promote | "no real transaction" | fn_iu_enact is atomic + fail-closed + post-write-verified; plan/apply/verify/rollback family exists; BUT literal BIRTH_STAMP/PROMOTE_STAMP absent; birth-certify pipeline stalled since 2026-03-21 (1,402 certified / 1,211,549 uncertified) |
PARTIAL |
| Điều 39 KG runtime | enacted but runtime-EMPTY (0 exec, owner unregistered) | 36 KG DOTs, 0 executed; universal_edges=2199 with 0 provenance; kg_quality_log=0; GOV-KG-SYS registered & active (contradicts "unregistered"); fail-closed auto-approve config; CUT flight-test prepped 2026-05-27 then gated off |
REGISTERED_NOT_EXECUTED |
| Điều 35 production-readiness | "PRODUCTION READINESS FAIL" | Confirmed NOT production-ready: 259/309 (83.8%) NULL operation; 148 tier-B unpaired; 218,876 open critical issues; §10 warn→block config absent; health executor did run today 10:01 | NOT_PRODUCTION_READY |
Headline: No active authority bypass is confirmed in the current approval path (it was contained on 2026-06-06 with layered, fail-closed quorum enforcement that I read first-hand). The substrate is far more built-out than the KB-only documentary layer assumed. The remaining real problems are: (1) historical bypass residue not reverted, (2) Điều 39 KG never executed and provenance-invariant unmet, (3) Điều 35 metadata health failing at scale, (4) a stalled birth-certification pipeline. These keep technical design gated. The DB harness (query_pg) is robustly fail-closed (write/DDL/malformed/unsafe-GUC all rejected).
2. Scope and non-authorization
- In scope: read-only verification of 5 runtime surfaces (RISK-BYPASS, HOLD-1, HOLD-2, Điều 39 runtime, Điều 35 production-readiness) against the live VPS PostgreSQL and the governed KB.
- Evidence sources used: KB reads (agent-data MCP); read-only SQL
SELECT+ catalog introspection (query_pg, AST-validated READ ONLY transaction, read-only role); Docker container listing (read-only); local source/grep reads. - Not done (forbidden / out of scope): no INSERT/UPDATE/DELETE/DDL/DROP/TRUNCATE/GRANT; no materialization; no DOT/KG/promote/birth/repair execution; no blocker resolution; no draft adoption; no law/draft/note edits; no technical design; no v0.1/v0.2/authority change. The only artifact created is this report.
- Authority note: a PASS on any engineering check is not an Owner/authority PASS. No blocker is closed. Technical design remains gated for every surface carrying a HIGH/CRITICAL or BLOCKED verdict.
3. Sources read
3.1 KB documents read (via agent-data MCP, full text)
All read first-hand this run (verbatim extraction). Navigation + notes (7 docs, one batch): LAW_READING_INDEX.md (rev2, "53/53 records mapped"), consolidation/current-understanding-pointer-layer-2026-06-17.md, and compatibility notes for Điều 35 / Điều 39 / Điều 32 / Điều 4 / Constitution. Source laws (10): constitution.md, dieu32-approval-law.md, dieu35-dot-governance-law.md, dieu39-knowledge-graph-law.md, law-04-birth-process.md, law-22-self-healing.md, dieu33-postgresql-law.md, dieu38-normative-document-law.md, architecture/birth-registry-law.md, ssot/operating-rules.md. Law-revision artifacts (9): 5 amendment drafts (Đ22/Đ33/Đ36/L4/Đ38), rewrites/dieu37-..., source-recovery-..., consolidation/...planning-packet..., reports/workstream-e0-...audit....
- Reading-rule confirmed (LAW_READING_INDEX rev2 §4): "Điều39 is enacted but runtime-EMPTY … Enacted ≠ implemented ≠ live"; "Live Điều35 substrate reads PRODUCTION READINESS FAIL with a confirmed authority bypass (fn_auto_approve_add, 160 unvoted applies = RISK-BYPASS)."
- Critical caveat confirmed (E0 §15, verbatim): "no live DB/runtime query (no query_pg, pg_schema, Directus, or VPS access); all reads were AgentData KB reads." → This run is the first to verify these claims against live runtime.
- D0 §11 / E0 §14 confirmed: a scoped read-only Phase-1 (Batch D) "verifies; it does not resolve"; resolution is a further Owner-gated step. This run honors that boundary.
3.2 Not unavailable
No required KB source was unreadable. (Adversarial bad-path probe on a nonexistent KB key correctly returned not_found — see §11.)
4. Runtime / project root and access
- Local project root:
/Users/nmhuyen/Documents/Manual Deploy/agent-data-langroid— present; git repo HEAD4468bd3(last commit 2026-04-25, ~7 weeks before run). Finding: the local tree contains no governance/DOT/KG SQL artifacts and no.sqlfiles (grep verified with positive control); it is the langroid application layer, not the home of the governed substrate. The governed substrate lives only on the VPS PostgreSQL → the live DB is ground truth; local code is not authoritative for these blockers. - Live runtime (Docker, read-only listing): 11 containers; relevant:
postgres(postgres:16, Up 2 months, healthy, 5432),incomex-agent-data(Up 4 weeks healthy),incomex-agent-api-executor(Up 13 days healthy, 8090),incomex-directus(Up 5 weeks healthy),incomex-qdrant,incomex-claude-kb,pg-restore-test-20260520T031054Z. - DB access (
query_pg): allowed databases =directus,incomex_metadata,workflow;postgresdenied. Governance/DOT/KG/approval/birth/IU tables live indirectus.public(+ schemaiu_core). Connection is read-only role, READ ONLY transaction, statement_timeout 5s, hard LIMIT 500, AST-validated. - Access gaps: cannot read live
current_setting('app.bypass_birth_gate')(harness safe-param allowlist); cannot enumerate triggers viainformation_schema.triggersunder the read-only role (usedpg_catalog.pg_triggerinstead — succeeded).
5. Command evidence ledger
All commands read-only. query_pg = single SELECT/catalog read against directus unless noted. Times are within the 10:12–10:33 UTC window (Bash date -u stamps captured at 10:12:20, 10:19:55, 10:21:42, 10:24:38, 10:32:32).
| ID | Command / Query (abbrev) | Read-only? | Result status | Key output |
|---|---|---|---|---|
| K1 | agent-data batch_read 7 nav+note docs (full) |
yes | ok (94,240 chars) | rev2 index; runtime claims extracted verbatim |
| K2–K4 | agent-data reads of 10 source laws + 9 revision docs (via sub-agents) | yes | ok | verbatim identifiers + claims |
| D0 | list_docker |
yes | ok | 11 containers; postgres healthy 2mo |
| D1 | SELECT datname FROM pg_database … (db=postgres) |
yes | DENIED (db not allowed) | allowed: directus, incomex_metadata, workflow |
| D2 | pg_proc regex fn inventory (directus) |
yes | ok (17 rows) | fn_auto_approve_add, fn_birth_gate, fn_birth_register, fn_iu_birth_gate_layer1/2, … exist |
| D3 | information_schema.tables regex (directus) |
yes | ok (73) | iu_core.iu_staging_record/payload, 8 kg_*, universal_edges, governance_* … |
| D4 | current_setting('app.bypass_birth_gate', true) … |
yes | DENIED (safe-param allowlist) | could not read live GUC value |
| D5 | pg_db_role_setting join |
yes | ok (0 rows) | no persisted role/db GUC default (no persisted bypass) |
| D6 | information_schema.tables regex (incomex_metadata) |
yes | ok (1) | only dot_config (FOREIGN) — substrate not here |
| F1 | pg_get_functiondef ×4 (auto_approve, birth_gate, birth_register, birth_auto_certify) |
yes | ok | bodies captured (see §6,§8) |
| F2 | pg_get_functiondef ×4 (iu_birth_gate_l1/l2, desc_guard, admin_fallback_overdue) |
yes | ok | bodies captured |
| F3 | pg_proc regex (grace/quorum/paired/enforce/certify) |
yes | ok (9) | fn_apr_quorum_check, quorum_passed, fn_enforce_apr_lifecycle exist; no fn_is_in_grace_period/fn_dot_enforce_paired |
| F4 | SELECT * FROM dot_config |
yes | ok (119) | fail-closed kill-switches mostly OFF/dry-run; hc_executor_last_run=2026-06-17T10:01:27 |
| F5 | information_schema.columns for 13 tables |
yes | ok (202) | column types for data queries |
| T1 | pg_trigger join (approval_requests, birth_registry, key fns) |
yes | ok (216) | enforcement triggers enabled (see §6) |
| Q1 | pg_get_functiondef ×3 quorum fns |
yes | ok | fail-closed quorum logic (see §6) |
| Q2 | approval_requests status×action + no-vote + review times | yes | ok (10) | 146 applied/add + 24 applied/modify = no recorded vote |
| Q3 | iu_staging_record breakdown | yes | ok (8) | 15 rows, 4 consumed, 2026-05-25→27 |
| Q4 | universal_edges breakdown | yes | ok (1) | 2199 active, 0 provenance, last 2026-04-21 |
| Q5 | dot_tools health/exec/KG stats | yes | ok (1) | 259 null op; 148 tierB unpaired; 36 KG / 0 KG exec; last_exec 2026-03-31 |
| Q6 | system_health_checks list | yes | ok (31) | 30 active, detect-only (1 detect_and_fix) |
| Q7 | system_issues status | yes | ok (3) | open 223,460 / resolved 674 / archived 20 |
| Q8 | governance_registry dump | yes | ok (9) | GOV-KG-SYS active; all health_dot null |
| Q9 | kg_auto_approve_rules dump | yes | ok (6) | TBox=human-always; only edge_weight_update auto |
| Q10 | admin_fallback_log breakdown | yes | ok (2) | 21 documented + 1 applied w/o retro APR |
| Q11 | system_issues severity | yes | ok (3) | critical 218,876 / warning 4,583 / info 2 |
| Q12 | system_issues by source (open) | yes | ok (25) | 216,378 = heal_description_basic |
| Q13 | birth_registry certified breakdown | yes | ok (2) | 1,402 certified (to 2026-03-21) / 1,211,549 uncertified |
| Q14 | iu/promote/cut fn inventory | yes | ok (32) | fn_iu_enact, fn_iu_op_cut, fn_iu_structure_op_apply/rollback/verify, fn_cut_* |
| Q15 | fn_iu_enact body |
yes | ok | atomic + fail-closed + post-write-verified (see §8) |
| Q16 | fn_apr_block_unimplemented_handler + fn_iu_structure_op_rollback bodies |
yes | ok | apply-time quorum re-proof; gated rollback (see §6,§8) |
| A1 | CREATE TEMP TABLE cc_probe_ro_check (n int) |
adversarial | DENIED "only SELECT queries allowed, got Create" | fail-closed ✓ |
| A2 | UPDATE dot_config SET value=value WHERE 1=0 |
adversarial | DENIED "only SELECT queries allowed, got Update" | fail-closed ✓ |
| A3 | SELECT * FROM (malformed) |
adversarial | DENIED "unparseable SQL" | fail-closed ✓ |
| A4 | current_setting('app.bypass_birth_gate', true) |
adversarial/probe | DENIED safe-param allowlist | fail-closed ✓ |
| A5 | agent-data batch_read nonexistent KB path |
adversarial | {"error":"not_found"} |
no fabrication ✓ |
| A6 | local grep positive control 'postgres' vs blocker terms |
adversarial | 8 hits vs 0 | harness works; absence genuine ✓ |
6. RISK-BYPASS verification
Question: is there a real runtime authority-bypass path (fn_auto_approve_add, fn_birth_gate warn-mode, app.bypass_birth_gate, unvoted auto-approval, Owner/Đ32 bypass, any fail-open approval)?
Verdict: PARTIAL (Confidence: High). No active authority bypass confirmed in the current approval path; historical residue + a latent kill-switch + a warn-mode quality gate are real. NOT marked resolved.
6.1 fn_auto_approve_add — NEUTERED (live body, verbatim)
-- P0 authority-bypass containment (2026-06-06): action='add' no longer auto-approved at INSERT.
-- Closes the INSERT-path quorum bypass. Rows remain 'pending'; quorum enforced on pending->approved UPDATE.
IF NEW.action='add' AND NEW.status='pending' THEN NEW.review_note := … '[AUTO-APPROVE DISABLED 2026-06-06 …]'; END IF;
RETURN NEW;
The function still exists and its trigger trg_apr_auto_approve is enabled, but the body never sets status='approved' anymore — it only annotates. The INSERT-path auto-approve vector is closed.
6.2 Layered fail-closed quorum enforcement (live, all triggers ENABLED on approval_requests)
trg_apr_quorum_check → fn_apr_quorum_check(pending→approved): RAISES EXCEPTION if any reject vote, if self-approve, or if quorum unmet — high: ≥1 president + ≥2 ai_council; medium: ≥1 president; low: ≥1 approve. (Gap: returns NEW — skips — whenproposed_action_code/risk_levelis NULL.)trg_apr_block_unimplemented → fn_apr_block_unimplemented_handler: apply-time quorum re-proof (2026-06-06) — verbatim: "a request may reach 'applied' only if live votes currently satisfy quorum. Placed BEFORE the null-action early-return so scanner/legacy null-action rows can no longer slip through. Fail-closed." →IF NOT public.quorum_passed(NEW.code) THEN RAISE EXCEPTION. This closes the §6.2 null-action gap at apply-time. Also blockshandler_ref='unimplemented'.trg_apr_lifecycle → fn_enforce_apr_lifecycle: enforces the state machine (pending→approved/rejected/expired; approved→applied/rejected; terminal states locked) with RAISE EXCEPTION.quorum_passed(code)(STABLE helper): same rule with self-exclusion (approver <> proposer).
→ The approval authority path under current (2026-06-06) code is fail-closed and layered.
6.3 Historical residue — CONFIRMED (Q2)
approval_requests (n=230): 146 applied/add rows with ZERO apr_approvals votes, plus 24 applied/modify unvoted — reviewed 2026-03-28 → 2026-04-20 (pre-containment). These match the documentary "~160 unvoted applies." They are not reverted/re-voted; they persist in the ledger as applied-without-quorum records. Current pending=19; only 1 approved/add is currently no-vote (legacy, not yet applied).
6.4 Birth gate + kill-switch (live body, verbatim)
fn_birth_gate (enabled on ~15 governed tables): contains -- KILL SWITCH reading current_setting('app.bypass_birth_gate', true) → RETURN NEW if 'true'/'1'; mode from current_setting('app.birth_gate_mode', true) default 'warning' → only 'blocking' raises; otherwise RAISE WARNING. So the birth gate is warn-mode (fail-open) by default + a latent kill-switch GUC. pg_db_role_setting=0 rows → no persisted bypass default; live session value of the GUC could not be read (harness restriction). fn_description_birth_guard is likewise warn-mode (dot_config.description_enforcement_mode='warn').
6.5 Net
Active authority bypass = not confirmed (contained + layered fail-closed). Real residual exposure = the 170 historical unvoted-applied records + a warn-mode birth/description gate + a latent app.bypass_birth_gate kill-switch. Marked PARTIAL; not resolved.
7. HOLD-1 iu_staging_* liveness verification
Question: do iu_staging_* (or equivalent staging) structures exist and are they live/used vs declared?
Verdict: LIVE (pilot-exercised) (Confidence: High).
- Exist (D3, F5):
iu_core.iu_staging_record(BASE TABLE, 26 cols incllifecycle_status, approved_at/by, consumed_at, consumed_by_run_id, expires_at, cleaned_at, content_hash, idempotency_key),iu_core.iu_staging_payload(11 cols inclpayload_json, blob_ref, byte_len, content_hash), + viewsv_iu_staging_record,v_iu_staging_payload_observability. Gateway/governing functions exist (fn_iu_create,fn_iu_cut_from_manifest,fn_iu_op_cut,fn_cut_*). - Used, not merely declared (Q3): 15 records / 32 payloads. Lifecycle distribution includes 4
mark_manifestrows that reachedconsumed(approved_n=4, consumed_n=4) — a fullpending → approved → consumedlifecycle executed end-to-end. Alsoapproved,pending_review,rejected,pendingstates present. - Recency / liveness window: all rows created 2026-05-25 → 2026-05-27 (the Điều 39 CUT flight-test window;
dot_config iu_core.composer_enablednote referencescut_request_id/manifest_staging_record_iddated 2026-05-27). Idle since 2026-05-27. - Posture: downstream gated dry-run/fail-closed —
iu_core.delivery_enabled=false("Fail-closed: absent/non-true => delivery refused"),iu_core.operator_runtime_enabled=false,iu_core.structure_ops_enabled=false;iu_core.routes_master_enabled=truebut "routes stay dry_run=true regardless". - Birth gates on the IU table are fail-closed for required fields:
fn_iu_birth_gate_layer1/2(enabled oninformation_unit) RAISE EXCEPTION on missingcanonical_address/unit_kind/lifecycle_status/owner_ref/conformance_status, vocab mismatches, and version-anchor mismatch at COMMIT — except twopublication_*checks that are PILOT-ONLYRAISE WARNING("production sẽ BLOCK").
→ Far beyond "liveness unproven": the staging substrate exists and was exercised through a real lifecycle. It is pilot-scale and currently idle. Not marked resolved.
8. HOLD-2 atomic promote verification
Question: is there an actual atomic promote path (transaction boundary, rollback, fail-closed checker, atomic stamp write, no partial-write)?
Verdict: PARTIAL (Confidence: High). A real atomic, fail-closed, post-verified promote EXISTS for the IU lineage — contradicting "no real transaction" — but the named F4 stamps are absent and the birth-certification "promote" is stalled.
8.1 fn_iu_enact — atomic + fail-closed + post-write-verified (live body, Q15)
- Pre-gates (all return without writing on failure): required
p_review_decision_id("Enactment must reference a cutter_governance.review_decision row"); target validated againstiu_lifecycle_vocab;SELECT … FOR UPDATErow lock; FSM transition check (fsm_deniedotherwise);fn_iu_verify_invariants→invariant_failedREFUSES enactment (fail-closed checker);review_decisionrow existence checked;dry_runreturnsplan_okwith no writes. - Atomic write (single plpgsql txn):
pg_advisory_xact_lock;UPDATE information_unit;UPDATE unit_version(enacted_at=now());INSERT iu_lifecycle_log. - Post-write verification: re-reads IU + UV;
RAISE EXCEPTIONon any post-write mismatch (e.g. status mismatch, or enacted with NULLenacted_at) → whole transaction rolls back. No partial-write path. fn_iu_structure_op_apply/verify/rollbackfamily exists;fn_iu_structure_op_rollbackis a true inverse-op (restore lifecycle, retire edges, soft-delete minted pieces) gated fail-closed (structure-op gate closed — rollback refused, ERRCODE insufficient_privilege).
8.2 Birth/Đ0-G canonical lineage — mechanism atomic, pipeline STALLED (Q13, F1)
fn_birth_register(…, p_dry_run boolean DEFAULT true, …): dry-run by default; live path is a single idempotentINSERT … ON CONFLICT (entity_code) DO NOTHINGwithcertified=false. Not a multi-table promote.fn_birth_auto_certify(triggertrg_birth_auto_certify, enabled): atomically setscertified=true, certified_at=now()wheninspect_pen/inspect_stamp/inspect_gateare all set.- Live state:
certified=truefor 1,402 rows (ALL with pen/stamp/gate/cert_at set) but only born 2026-02-17 → 2026-03-21. Since 2026-03-21, 1,211,549 births are uncertified withinspect_pen/stamp/gateall NULL (0 set) — last birth 2026-06-17 10:30 (births fire live today across 150+ tables, but certification does not follow). → The certify "promote" demonstrably ran atomically (1,402 proofs) then stalled ~3 months ago (0.1% certified).
8.3 Named stamps
Literal BIRTH_STAMP / PROMOTE_STAMP / OWNER_STAMP / GOV_STAMP tokens (F4 vocabulary) do not exist as DB artifacts. The live system uses lifecycle_status/enacted_at/iu_lifecycle_log (IU) and certified/certified_at/inspect_* (birth) instead.
→ "Atomic promote has no real transaction" is outdated for the IU lineage; HOLD-2 nonetheless remains open because the named-stamp canonical-birth construct is unbuilt and the birth-certify pipeline is stalled. Not resolved.
9. Điều 39 runtime verification
Question: is Điều 39 only enacted/documented, or actually live?
Verdict: REGISTERED_NOT_EXECUTED (≈ runtime-EMPTY for execution) (Confidence: High).
- KG tables exist (D3): 8
kg_*base tables (kg_signal_config, kg_thresholds, kg_constraint_config, kg_acl_config, kg_auto_approve_rules, kg_source_authority, kg_priority_templates, kg_quality_log) + views (kg_quality_latest, kg_evolution_latest, v_kg_edges_all, v_dotkg_realrun_preflight). The C9 self-learning tables (kg_weight_snapshots, kg_model_versions, kg_evolution_snapshots, scaffold_dependency_map) are absent (not yet built). - DOT-KG registered, NOT executed (Q5): 36 KG DOTs in
dot_tools;kg_executed = 0(none has a non-nulllast_executed).kg_quality_log= 0 rows (no KG quality run ever logged). - Edges not Điều-39-compliant (Q4):
universal_edges= 2199, allstatus=active, is_auto_managed=true,with_provenance = 0while Điều 39 mandates "Edge PHẢI có provenance. Không provenance = quarantine." Theprovenance/valid_time/versioncolumns exist (schema extended) but are unused; last edge created 2026-04-21. → the provenance-or-quarantine invariant is unenforced/unmet. - Owner registration — CONTRADICTS documentary (Q8):
governance_registry.GOV-KG-SYS("Hệ thống Knowledge Graph",created_by_law=NRM-LAW-39) isstatus=active, not "unregistered." Howeverhealth_dot=NULLandprimary_collection=NULL→ registered but inert. - Auto-approve posture is fail-closed (Q9): 6 active
kg_auto_approve_rules—scaffold_modify&species_create(TBox)requires_human=always;edge_deletealways;edge_create/link_mergehuman above threshold; onlyedge_weight_update(ABox weight)auto_approve=true@0.9. Matches Điều 39 "ABox only, never TBox." But since KG never executes, these rules have never fired. - Flight test:
dot_config iu_core.composer_enabled=falserecords adieu39_flight_test_enable_composer_gateprepped 2026-05-27 then restored/aborted (gated off).
→ Registered and partially scaffolded (and owner active, contradicting "unregistered"), but zero productive execution; provenance invariant unmet. Rollout not authorized. Not resolved.
10. Điều 35 production-readiness verification
Question: is the Điều 35 DOT-governance substrate production-ready?
Verdict: NOT_PRODUCTION_READY (Confidence: High). Confirms the documentary "PRODUCTION READINESS FAIL."
- Metadata health failing at scale (Q5):
dot_toolsn=309;operationNULL on 259 (83.8%) — the "POST trước, cron sửa sau" disease the law flags; §10 wants 100% 11/11 fields NOT NULL. 148 tier-B DOTs lackpaired_dotand nofn_dot_enforce_pairedfunction exists (F3) → paired-DOT enforcement is not active (law mandates 100% paired + a trigger). - Open critical backlog (Q7, Q11, Q12):
system_issuesopen = 223,460; critical = 218,876. §10 requires "0 new critical for 3 consecutive days" → grossly unmet. Nature: 216,378 (97%) come fromheal_description_basic(description-quality auto-heal), thendot-context-pack-verify(3,063),dot-dot-health(2,640) — i.e., predominantly description/quality debt, not authority breaches. (Resolved 674 / archived 20.) - §10 config substrate absent (F4): the law's
dot_configkeysbirth_gate_mode,grace_period_days,law_v5_1_enacted_at,stale_threshold_daysare not present; birth-gate mode is a GUC defaulting'warning'; the fail-openfn_is_in_grace_periodthe law warns about does not exist in live (F3). The §10 warn→block hard-criteria machinery is not wired as described. - Health checks (Q6):
system_health_checksn=31 (30 active, H11 inactive); families NRM-LAW-35-V5P2DOT-H1..DOT-H14+DOT-BIRTH-ONBOARD-FULLSCAN-HC, NRM-LAW-43H1..H11b, LAW-22HC-TRIGGER, LAW-36HC-REG/HC-SCHEMA. All detect_only exceptHC-TRIGGER(detect_and_fix) → scanners are list-only (consistent with law). DOT-H10..H14 arecritical. - Execution telemetry — ambiguous (Q5, F4):
dot_tools.last_executedis stale (max 2026-03-31, 0 in 7d) — butdot_config.hc_executor_last_run=2026-06-17T10:01:27(health executor ran today, ~23 min before query) and births fire live today. →last_executedappears unmaintained rather than proving total inactivity; flagged as ambiguity, not asserted as "nothing runs." - Sanctioned-bypass accountability (Q10):
admin_fallback_logn=22 — 21retroactive_documented(all with retro APR), 1appliedwith NOretroactive_apr_id(2026-04-19), not flipped toaudit_overdue→ a 1-of-22 Đ35 §6.5 accountability gap. - Risk/blast-radius (GOV-016/017): no risk/blast-radius calculator function found; quorum uses a static
apr_action_types.risk_levellookup, not computed risk → "fail-closed-on-uncomputable-risk" remains absent. Carried.
→ Enacted ≠ production-certified. Not production-ready; not resolved.
11. Adversarial bad-input checks
Each non-mutating tool/harness used was probed with invalid/dangerous input; all rejected fail-closed; none returned PASS/digest on bad input.
| Target | Bad input | Result | Verdict |
|---|---|---|---|
query_pg (write/DDL) |
CREATE TEMP TABLE cc_probe_ro_check (n int) |
[DENIED] only SELECT queries allowed, got Create |
rejected ✓ |
query_pg (write/DML) |
UPDATE dot_config SET value=value WHERE 1=0 (inert) |
[DENIED] only SELECT queries allowed, got Update |
rejected ✓ |
query_pg (malformed) |
SELECT * FROM |
[DENIED] unparseable SQL: Expected table name… |
rejected ✓ |
query_pg (unsafe GUC read) |
current_setting('app.bypass_birth_gate', true) |
[DENIED] current_setting() only allowed for a safe parameter list |
rejected ✓ |
query_pg (db scope) |
connect db postgres |
[DENIED] database not allowed |
rejected ✓ |
agent-data batch_read |
nonexistent KB path | {"error":"not_found"} (no content) |
no fabrication ✓ |
local grep harness |
positive control 'postgres' vs blocker terms |
8 hits vs 0 | discriminates; absence genuine ✓ |
No FAIL_OPEN observed. The query_pg harness is double-guarded (AST validation + read-only role + READ ONLY transaction); the inert write probes (WHERE 1=0, TEMP) were safe even in the impossible case a guard had failed. No mutation occurred on any probe.
12. Findings register
Severity: CRITICAL (active mutation/authority bypass) · HIGH (unsafe fail-open / TD unsafe without fixing) · MEDIUM (runtime missing/partial, carry with caveat) · LOW · INFO. patch_now: no for every finding (read-only mission; all fixes are separate Owner-gated work).
| id | surface | sev | evidence | why it matters | blocks TD? | blocks impl? | next action |
|---|---|---|---|---|---|---|---|
| PH1-F1 | RISK-BYPASS | HIGH | Đ39 universal_edges 2199 rows, 0 provenance (Q4) vs "no provenance = quarantine" |
KG provenance-or-quarantine invariant currently unenforced/unmet on the live edge store | Yes (Đ39) | Yes (Đ39) | design provenance backfill + quarantine gate before any KG build |
| PH1-F2 | RISK-BYPASS | MEDIUM | 170 applied rows with 0 votes (146 add + 24 modify), 2026-03-28→04-20 (Q2) |
historical authority-bypass residue not reverted; pollutes the applied-change ledger | No (carry as caveat) | Owner decision | Owner decides whether to audit/annotate/quarantine residue; do NOT auto-revert |
| PH1-F3 | HOLD-2 / Đ0-G | MEDIUM/HIGH | 1,211,549 uncertified births (99.9%) since 2026-03-21, 0 inspect stamps (Q13) | birth-certification "promote" pipeline stalled; any design assuming certified births is unsafe | Yes (birth-dependent TD) | Yes | verify/restart inspect→certify DOTs (dot-inspect-pen/stamp/gate) under Owner gate |
| PH1-F4 | Đ35 | MEDIUM | 259/309 NULL operation; 148 tier-B unpaired; no fn_dot_enforce_paired (Q5,F3) |
core Đ35 §10 success metrics unmet; paired-DOT enforcement not active | Yes (Đ35 TD) | Yes | treat Đ35 substrate as not-certified; fix metadata + paired enforcement first |
| PH1-F5 | Đ35 | MEDIUM | 218,876 open critical issues, 97% heal_description_basic (Q11,Q12) |
§10 "0 critical 3 days" grossly unmet; large unresolved (mostly quality) backlog | Yes (Đ35 TD) | No (mostly quality) | drive description-heal backlog down; reclassify severity if non-authority |
| PH1-F6 | RISK-BYPASS | LOW | fn_apr_quorum_check skips on NULL proposed_action_code/risk_level; mitigated apply-time by fn_apr_block_unimplemented_handler (§6) |
approved-state reachable w/o quorum for null-action, but apply is fail-closed | No | No | optionally tighten approve-time gate to match apply-time re-proof |
| PH1-F7 | RISK-BYPASS | MEDIUM | fn_birth_gate warn-mode default + app.bypass_birth_gate kill-switch; live value unreadable (D4,F4) |
governed-table birth/desc gates do not block by default; latent bypass primitive exists | No | Owner decision | confirm GUC value out-of-band; decide warn→block criteria (Owner) |
| PH1-F8 | Đ35 | LOW | 1 admin_fallback_log applied w/o retroactive_apr_id, not audit_overdue (Q10) |
1-of-22 Đ35 §6.5 retroactive-APR accountability gap | No | No | Owner reconcile the 1 undocumented admin-fallback |
| PH1-F9 | Đ35/all | INFO | dot_tools.last_executed stale 2026-03-31 yet hc_executor ran today + births live (Q5,F4,Q13) |
execution telemetry unreliable → liveness must be judged by heartbeats, not last_executed |
No | No | do not infer "dead" from last_executed; instrument real run telemetry |
| PH1-F10 | scope | INFO | local repo HEAD 2026-04-25, 0 governed-substrate artifacts, 0 .sql (A6) |
local working tree is not authoritative for these blockers; VPS PG is SoT | No | No | run future verifications against live PG, not local checkout |
| PH1-C1 | RISK-BYPASS | INFO | docs say "open active bypass"; live = neutered 2026-06-06 + layered fail-closed (§6) | documentary lag (KB-only reports never queried live) | No | No | Owner refresh documentary runtime claims (separate, gated) |
| PH1-C2 | Đ39 | INFO | docs say "owner unregistered"; live GOV-KG-SYS active (Q8) |
documentary lag | No | No | Owner refresh |
| PH1-C3 | HOLD-1 | INFO | docs say "liveness unproven"; live = pilot-exercised (§7) | documentary understatement | No | No | Owner refresh |
| PH1-C4 | HOLD-2 | INFO | docs say "no atomic promote"; live fn_iu_enact atomic+fail-closed (§8) |
documentary understatement for IU lineage | No | No | Owner refresh |
No CRITICAL finding (no active mutation/authority bypass confirmed; no forbidden mutation occurred). HIGH = PH1-F1 (KG provenance invariant). New findings discovered this run: PH1-F3, PH1-F6, PH1-F8, PH1-F9, PH1-F10.
13. Verdict matrix
| Surface | Verdict | Confidence | Primary evidence |
|---|---|---|---|
| RISK-BYPASS | PARTIAL — no active authority bypass (contained 2026-06-06, layered fail-closed quorum); historical residue (170) + warn-mode gate + latent kill-switch remain | High | F1, T1, Q1, Q2, Q16, F4, D5 |
HOLD-1 iu_staging_* |
LIVE (pilot-exercised, idle since 2026-05-27) | High | D3, F5, Q3, F2 |
| HOLD-2 atomic promote | PARTIAL — atomic fail-closed promote EXISTS (fn_iu_enact); named F4 stamps absent; birth-certify stalled |
High | Q15, Q16, Q14, Q13, F1 |
| Điều 39 runtime | REGISTERED_NOT_EXECUTED (runtime-EMPTY for execution; owner registered) | High | Q5, Q4, Q7(kg_quality_log=0), Q8, Q9, F4 |
| Điều 35 production-readiness | NOT_PRODUCTION_READY | High | Q5, Q7, Q11, Q12, Q6, F3, F4, Q10 |
No blocker is marked resolved. Each verdict is a runtime-truth finding, not a closure.
14. What remains blocked / partial / not checked
- Could not read live value of
app.bypass_birth_gate/app.birth_gate_mode(harness safe-param allowlist) → kill-switch latent state inferred from body + zero persisted defaults, not directly observed. (BLOCKED sub-item.) - Ambiguous: DOT execution liveness —
dot_tools.last_executedstale vs today-heartbeats; the field appears unmaintained. True DOT-run telemetry not establishable read-only this run. - Not read (bounded): full bodies of every governed function (read the decisive ~12: auto_approve, birth_gate, birth_register, birth_auto_certify, iu_birth_gate_l1/l2, desc_guard, admin_fallback_overdue, apr_quorum_check, enforce_apr_lifecycle, quorum_passed, apr_block_unimplemented, iu_enact, iu_structure_op_rollback).
fn_iu_verify_invariantsbody not read (existence + gate-effect confirmed viafn_iu_enact). - Not done by design: no Phase-1 resolution, no execution of any DOT/KG/promote/birth/repair, no schema/trigger enumeration via privileged views, no write probes beyond inert adversarial rejections.
- Local code path: stale (2026-04-25) and substrate-free; not authoritative.
15. Recommended next actions
- GPT reviews this report, then Codex adversarial control review (target: confirm no overclaim, especially the RISK-BYPASS "contained" and HOLD-2 "atomic exists" findings, against the raw evidence).
- Refresh the documentary runtime claims (LAW_READING_INDEX rev2 §4 items #5/#6/#10, pointer-layer §9, notes) to match live truth — as a separate Owner-gated doc step (not done here): RISK-BYPASS contained 2026-06-06; GOV-KG-SYS registered active; iu_staging pilot-exercised;
fn_iu_enactatomic. The blockers stay open (residue/empty/not-ready), but the evidence basis changes. - Technical design remains gated for: Điều 39 (HIGH: provenance invariant unmet + 0 execution), Điều 35 (NOT production-ready), HOLD-2/birth-certify (stalled pipeline), HOLD-1 (pilot-only).
- Owner-gated remediation workstreams (each separate): (a) decide disposition of the 170 unvoted-applied residue; (b) confirm
app.bypass_birth_gateout-of-band + set warn→block criteria; (c) restart/verify inspect→certify pipeline; (d) Điều 35 metadata + paired-DOT fix; (e) reconcile the 1 undocumented admin-fallback. - Any fix requires a separate Owner-authorized, write-enabled workstream — this run authorizes none.
16. Self-check
| Check | Result |
|---|---|
| SC1 Read current LAW_READING_INDEX rev2 + D1 pointer layer | Yes (verbatim, §3.1) |
| SC2 Distinguished documentary vs live runtime evidence | Yes (every surface separates "claim" vs "live") |
| SC3 Ran actual read-only commands | Yes (40+ live SELECT/catalog reads, §5) |
| SC4 Captured command text + timestamp + status | Yes (§5 ledger; window 10:12–10:33 UTC) |
| SC5 Avoided all writes/DDL/DML | Yes (only SELECT/catalog; write probes DENIED by harness) |
| SC6 No edits to source/draft/note/report except this report | Yes (one artifact created) |
| SC7 Adversarial bad input for each tool/harness used | Yes (§11: query_pg ×5, batch_read, grep) |
| SC8 Invalid input rejected | Yes (all DENIED / not_found; none returned PASS) |
| SC9 No blocker marked resolved | Yes (all verdicts are findings, not closures) |
| SC10 Engineering-PASS distinguished from authority-PASS | Yes (§0, §2) |
| SC11 Stated exactly what remains blocked/partial | Yes (§14) |
| SC12 Only the allowed report path created | Yes |
| SC13 Re-read final report after writing | Yes |
Engineering verification: complete for 5/5 surfaces. Authority status: HOLD — no blocker resolved; technical design remains gated. PASS≠Owner-authorization.