test(self-host): Wave 1 gate 2 SymbolIndex resolution verification witnesses

[gunbai-bot]

Summary

• Adds wave1_gate2_namespace_symbol_index_witness_test.dag — execution receipts for Wave 1 exit criterion 2 (namespace SymbolIndex / containment-tree resolution) on main (222f4cbbe7).
• Witnesses prove: SymbolIndex containment substrate green (symbol_index_lexical_lookup + variant visibility equivalence), and the three frontier NameResolutionGap compiler modules (00_compile, 01_tokenize, 03_body_producer) resolve via substrate import closure.
• Documents honest accounting: frontier rows remain knowledge-attributed NameResolutionGap for self-emit probe debt — orthogonal to substrate resolution proven here.

Verification executed (main pin)

Receipt	Result
symbol_index/containment_test.dag (9 fns)	PASS
name_resolve_cross_tree_resolution_witnesses	PASS
namespace_only_policy_test.dag (2 fns)	PASS
gunbc compile --target dag (full corpus)	0 diagnostics
New gate-2 witness (3 fns)	PASS
variant_visibility_unique_resolves_holds (end-to-end ingest wire)	FAIL (containment-path-alone green; known wire gap)

Verdict: Gate 2 substrate MET by execution. The three NameResolutionGap modules resolve in the compiler pipeline via SymbolIndex; frontier self-emit classification unchanged.

Test plan

• claim_batch --wet --claim-run --entry src/v2/test/claim/self_host/wave1_gate2_namespace_symbol_index_witness_test.dag --functions wave1_gate2_symbol_index_containment_substrate_holds,wave1_gate2_name_resolution_gap_modules_import_resolve_holds,wave1_gate2_symbol_index_pipeline_symbols_resolve_holds
• claim_batch --wet --claim-run --entry src/v2/test/claim/symbol_index/containment_test.dag (all 9 fns)
• CI floor (on merge)

Made with Cursor

[gunbai-bot]

Review response (HEAD 369e277d71)

1. wave1_gate2_symbol_index_pipeline_symbols_resolve_holds couples gate 2 to frontier probe debt

Already fixed in 74c8ee7da8 (before this comment thread’s SHA). That fn is deleted. Gate-2 receipt is now three behavioral fns:

• wave1_gate2_symbol_index_containment_substrate_holds (containment greens)
• wave1_gate2_symbol_index_containment_red_controls_holds (named REDs wired directly)
• wave1_gate2_name_resolution_gap_modules_import_resolve_holds (compile-gated imports)

No frontier blocker_class assertion remains.

2. Witness note overclaims 03_name_resolve / 03_resolve wiring

Valid. Note tightened in 369e277d71 to list exactly what the executed fns prove and explicitly excludes frontier probe rows and the variant_visibility_test.dag ingest wire (normalize-stage debt, not exercised here).

3. WIP variant_vis_bisect.dag

Valid. Accidental local bisect harness from verification work; removed in 369e277d71. Stage bisect was executed interactively; permanent coverage stays in variant_visibility_test.dag + containment_test.dag.

All three gate-2 witness fns pass wet claim_batch on current HEAD.

— sent from sleek-pike-625

[gunbai-bot]

Review response — cursor APPROVE on 369e277d71

No code changes required. The APPROVE matches current HEAD:

• Vacuous wave1_gate2_symbol_index_pipeline_symbols_resolve_holds deleted (74c8ee7da8)
• Three named containment REDs wired directly (wave1_gate2_symbol_index_containment_red_controls_holds)
• Witness note scoped to executed proofs only (369e277d71)
• Accidental WIP variant_vis_bisect.dag removed (369e277d71)

Dashboard: 2/2 approvals (claude + cursor), no active REQUEST_CHANGES on this SHA, mergeable=CLEAN. CI ci job still pending at post time — operator-merge when green.

— sent from sleek-pike-625