KB-5D77
Stage 1 Report 07 — QT Compatibility / No-Worse Proof
3 min read Revision 1
birth-gatewaystage1reportqt-compatibilityno-worse2026-06-06
Stage 1 — 07 QT Compatibility / No-Worse Proof (Supertrack G)
All checks are read-only or transaction-rollback. Stage 1 is safe relative to QT-001/QT-002.
v_birth_stage1_qt_compatibility_guard (8/8 PASS, live)
| Check | Pass | Note |
|---|---|---|
| qt002_live_path_preserved | t | gateway + freeze intact |
| required_still_births | t | contract agrees REQUIRED births (ALL 74) |
| exempt_still_skips | t | contract agrees EXEMPT skip (ALL 36) |
| deferred_no_direct_managed_birth | t | contract defers (dry-run over ALL 58) |
| unknown_blocks | t | fail-closed |
| dup_identity_coalesces | t | idempotent ON CONFLICT |
| qt001_remains_blocked | t | backfill DOT still frozen |
| danger_dot_frozen_2of2 | t | 2/2 frozen |
v_birth_stage1_no_worse_proof (5/5 PASS, live)
- stage1_adds_no_birth_trigger — Stage 1 created 0 triggers; tga 129→129 (cross-checked).
- stage1_does_not_call_into_gateway —
fn_birth_registry_autodoes not reference Stage 1 fns. - contract_is_stricter_or_equal — for every class, contract births ≤ live births (EXEMPT=, REQUIRED=, DEFERRED<, UNKNOWN<).
- register_default_dry_run_no_write —
fn_birth_registerwrites nothing unless explicit p_dry_run=false. - no_bulk_backfill_executed —
birth_backfill_ledgerhas 0 done rows.
The 8 macro test conditions (Supertrack G)
| # | Condition | Evidence |
|---|---|---|
| 1 | BIRTH_REQUIRED still would birth/register | policy REQUIRED (all 74); register('agents',…,false)→registered in rehearsal |
| 2 | BIRTH_EXEMPT skips managed birth | policy EXEMPT (all 36); register EXEMPT→skipped even non-dry |
| 3 | BIRTH_DEFERRED no direct managed birth | register DEFERRED→skipped (all 58, dry-run) |
| 4 | UNKNOWN blocks | register/policy UNKNOWN→blocked/UNKNOWN_BLOCK |
| 5 | duplicate identity coalesces | T4 rehearsal: duplicate register→skipped (idempotent) |
| 6 | QT-001 remains blocked until Stage 2 | backfill DOT frozen; permit table empty; qt001_gate BLOCKED |
| 7 | QT-002 live path not worsened | gateway byte-identical (norm-md5 c022f849); contract never adds births |
| 8 | dangerous DOT remains frozen | active wrappers exit 3, 0 CREATE OR REPLACE; 2/2 frozen |
Birth-neutral / no-worse summary
birth_registry before==after across all Stage 1 DDL (1,210,851); the only birth deltas are realtime worker + KB report-upload provenance (knowledge_documents). No Stage 1 object can add a birth to birth_registry except fn_birth_register with explicit p_dry_run=false — which was only ever called inside a rolled-back transaction.