unresolved_compiler_error diagnosis + fix: 6 modules (00_compile, materialization_carriers, program_assembly, source_authority, 02_parse, 03_ingest) refuse with UNRESOLVED_CompilerError in curated probes — census + receipts in #6872 TSVs (calm-boar-697). Read the actual probe error output per module

[briansrls]

Auto-opened by session-dashboard for session neat-swift-795.
Pushing to session/neat-swift-795-freemonoid advances this PR.

Worker attestation

Before flipping this PR to ready for review, confirm each item:

• Title describes the change (not the session id or branch).
• PR body summarises what and why (replace the TODO below).
• Tests run: name the command (e.g. npm test, cargo test) and the result.
• If this closes a work item, the body contains a Closes #N directive.
• No commits on this branch are surprises (no fork/cherry-pick I did not make).
• No secrets / credentials / large binaries staged.

Summary

TODO: replace this paragraph with one or two sentences naming the change and its motivation. Reviewers read this first.

Test plan

• TODO: list the commands that ran (or "no tests changed; relied on CI") and the outcome.

[cursor]

Bugbot is not enabled for your account, so this pull request was not reviewed.

Enable Bugbot in the Cursor dashboard to get automatic reviews on future PRs.

[gunbai-bot]

All three findings in review 40169 are valid — thank you for catching them.

They were accidental collateral from restoring src/v1/stage0/src/ from an older commit while fixing the List/Map host-emit regression (36e2136); unrelated to the FreeMonoid / closure-stub emitter work in 05_emit_rust.dag.

v1_interpreter.rs — CallContractMismatch (finding 1): Confirmed. The revert dropped named-arg contract checks and surplus-positional refusal; stray labels were silently bound and extra positionals dropped. Restored from origin/main in 54f08b51dc — CallContractMismatch is back at the application site and matches cross_representation_equality_test.rs.

memory_governor.rs — per-unit width ramp (findings 2–3): Confirmed. The revert removed CompletionKind (IncreasePoint vs ObserveOnly), the headroom_hold gate on increase, and made note_unit_complete call note_unit_complete_growth unconditionally. Restored from origin/main in 54f08b51dc.

PR diff vs main in src/v1/stage0/src/ is now limited to the intended emitter surface: v1_compiler_emit_rust.rs + v1_compiler_infer_emit_info.rs (regen sync).

— sent from neat-swift-795

[gunbai-bot]

Verified review 40172 — agree with APPROVE; no code change required.

Spot-check on 54f08b51dc:

• Scope: stage0 diff vs main is only v1_compiler_emit_rust.rs + v1_compiler_infer_emit_info.rs (emitter/regen). Interpreter + memory-governor regressions from review 40169 are already restored from origin/main in the same commit.
• Alias preservation: render_rust_decl_type applied-overlay peel matches the fn-sig path (outer_name != "fn", !is_container_type(name: outer_name)).
• Faithful carriers + stubs: blanket corpus_repr_is_faithful carrier imports at emit_module_full; v2_std_text / v2_std_integer closure stubs with dissolve-on headers; note at 04_emit_info.dag:408.
• Dead code note: module_needs_freemonoid_import / node_tree_references_type_name (05_emit_rust.dag:3189–3210) have zero call sites after the blanket carrier gate (1946). Left in place as dissolve-on interim residue — will delete when ref-set-driven registration lands, not blocking this PR.

CI green on 54f08b51dc (build + ci).

— sent from neat-swift-795

[gunbai-bot]

Addressed review 40173 in a3676ff31d + ef822bead9.

Finding 1 (medium-as-string in emit_rust): Valid. The brace-split concat(...) blobs in emit_v2_std_*_closure_stub_module were a .dag ingester workaround, not the §4 translate path. Fix: moved stub Rust sources to dedicated modules v1.compiler.closure_stub_v2_std_text_rust and v1.compiler.closure_stub_v2_std_integer_rust (same pattern as runtime_rust.dag / compiler_tests_rust.dag — fn …_source() -> String with \{-escaped Rust). 05_emit_rust.dag now only calls those authorities and wires TextFile.path/content. Does not claim grammar-owned emission for these stubs; full serialize_target ∘ translate dissolution remains on the ref-set registration note.

Finding 2 (parallel authority vs v2.std.text / v2.std.integer): Partially valid framing, but the stubs are not competing modeling rows — they are closure projections for narrow typed.modules that omit the real module while emitted refs still need crate::v2_std_text:: / v2_std_integer::Int. The canonical authorities remain src/v2/std/text.dag and src/v2/std/integer.dag; projections dissolve when emit_lib_rs_from_files derives pub-mod membership from the emitted ref set and includes the real module. Updated 04_emit_info.dag:408 and per-stub dissolve_on_note rows to state this explicitly (scaffold with named trigger, not silent fork).

regen_stage0 --verify divergence 0 on ef822bead9.

— sent from neat-swift-795

[gunbai-bot]

Emitter-wall receipts (head 067704afc9)

Touched paths (10, final)

04_emit_info.dag, 05_emit_rust.dag, closure_stub_v2_std_{text,integer}_rust.dag, regen_stage0.rs, lib.rs, v1_compiler_closure_stub_v2_std_{text,integer}_rust.rs, v1_compiler_emit_rust.rs, v1_compiler_infer_emit_info.rs

Curated probes (CSSL_STD_SEED_LINK=1)

module	emit	cargo	first error
02_parse.dag	72 files, 0 diag	refuse	E0422 CatalogKeyDerivationFacts (FreeMonoid layer cleared)
materialization_carriers.dag	41 files, 0 diag	refuse	E0422 CatalogKeyDerivationFacts — v2_std_text.rs + pub mod v2_std_text now in closure
04_infer.dag	49 files, 0 diag	refuse	E0432 crate::std_measure (narrow-closure roster)

regen_stage0

regen_divergence_count=0
regen_stage0 --emit-fresh --verify: committed stage0 matches fresh self-compile

Fresh-crate cargo build --release --lib in /tmp/regen-fresh-6906: refuse — libc unresolved in hand-pinned v1_interpreter.rs (NO CANDIDATE in verify roster).

review 40176

Addressed: per-module carrier gate restored; integer stub ref-gated; exact path check for stub suppression; closure stubs extracted to dedicated modules; dead freemonoid predicate removed.

Status: draft retained — probe cargo-green not met (next blocker: synthesized struct-literal import closure for CatalogKeyDerivationFacts).

— sent from neat-swift-795

[gunbai-bot]

review 40189 — addressed in 8a06749

Verified the finding: stage0 was out of sync with 05_emit_rust.dag (supplement wiring diverged; wildcard arm over-supplemented).

Fix: regen_stage0 from the authored .dag (now includes module_data_field_struct_import_names per-import-module supplementation + rust_use_crate_marker/rust_use_after_crate dedupe for plain use crate:: lines). Stage0 v1_compiler_emit_rust.rs now projects the same helpers and wiring as the graph.

CI @ 27793ac: build failed on cargo fmt --check — lib.rs had closure-stub pub mod lines out of alphabetical order (v1_compiler_coercion before v1_compiler_closure_stub_*). Fixed in 8a06749; build gate green on that commit.

cargo build -p v1-compiler --release passes locally post-regen.

— sent from neat-swift-795

[gunbai-bot]

review 40193 — verified, no code change (non-blocking debt acknowledged)

Finding 1 (string-scan stub gate, 05_emit_rust.dag:1779-1793) — Confirmed as written. module_files_reference_v2_std_text / _integer grep already-emitted Rust text (string_contains(..., "crate::v2_std_text::") / "v2_std_integer::" at :1807-1812). Agree this is validation-standing-where-construction-was-available; the structured fact is "emitted ref set ∩ modules absent from narrow closure." Tracked: emit_dependency_registration_dissolve_on_note at 04_emit_info.dag:408 names the dissolution (collect refs during emit → derive pub-mod membership + carrier imports). Not patching further in this PR — the note is the counted trigger.

Finding 2 (closure stub projections) — Confirmed. closure_stub_v2_std_{text,integer}_rust.dag are labeled projections with per-carrier *_dissolve_on_note (not parallel authorities). Exclusive emit path verified: stubs emit only when corpus_repr_is_faithful && references && !includes (:1779-1792), where module_files_include_* checks exact path equality (f.path == expected, :1815-1822) — no double-definition at any point. Follow-up for the closure-narrowing lane to land ref-set derivation is noted; until then stubs stay gated siblings, not accreting unchecked.

Finding 3 (emitter cleanup) — Confirmed scoped: rust_use_crate_marker / rust_use_after_crate dedup three parsers; module_data_field_struct_import_names per-import supplementation; import-line dedupe extended to plain use crate:: (fixed the E0252 duplicate-import regression in stage0 regen).

Verdict accepted — APPROVE stands.

— sent from neat-swift-795

[gunbai-bot]

review 40194 — verified, no code change

Confirmed against current tree:

• :584-588 generic overlay — render_rust_decl_type threads __applied_type_args with fn/container guards; unresolved args (e.g. Ghost) still refuse via the Absent arm, not widen.
• Closure stubs — interim projections with per-carrier dissolve_on_note; exclusive gate faithful && references && !includes (:1779-1792); string-scan interim tracked in emit_dependency_registration_dissolve_on_note (04_emit_info.dag:408).
• Stage0 regen — v1_compiler_emit_rust.rs projects .dag (incl. module_data_field_struct_import_names, rust_use_crate_marker dedupe); no unexplained hand-Rust.
• Probe greening — acknowledged out of scope for this diff (Frontier re-probe on integration/sharp-bee-290 (baseline = Stage B #6859 + Ord fix #6868; main is FROZEN — base and target ALL work at integration/sharp-bee-290, never main): CSSL_STD_SEED_LINK=1 curated probe per candidate across the Gate-A roster (00_compile, 01_tokenize, 04_infer, materialization #6872 TSV lane); build gate green on 8a06749, full ci floor still running.

Verdict accepted — APPROVE stands.

— sent from neat-swift-795