Repository navigation

XL-0A: the emitted v2 compiler closure reaches rustc type checking (2779 typeck errors remain, one identity class dominant) - #9665

Merged

gunbai-bot[bot] merged 32 commits into

mainfrom

session/bold-carp-449

Aug 30, 2026

Merged

XL-0A: the emitted v2 compiler closure reaches rustc type checking (2779 typeck errors remain, one identity class dominant)#9665
gunbai-bot[bot] merged 32 commits into
mainfrom
session/bold-carp-449

Commits on Aug 29, 2026
- Emitted v2 compiler crate: a declaration's identity is its last segment, and a primitive with no realization refuses instead of inventing one
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  5f12d04
- Class B: the algebra method fallback asserted a v1_rt bridge it had not checked
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  15c25ad
- Only ModeledProjection carries projected_from: a HostRealizedSeam body is a self-call, so falling back to it would emit a nonterminating function
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  3d41ffb
- M1: realize the two symbol bridges, which were host seams nothing declared to be host seams
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  a393835
- Regenerate the stage0 mirror for the emitter repairs (fixed point at round 2)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  f17c17b
- test.claim fixtures: one discriminating RED per closed emission class, with boundary controls
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  c5de5aa
- Fix the class-B boundary control: count has a method template, so it never reaches the seam under repair
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  f8ea19f
- Unbreak the fixture parse: a trailing semicolon on the note declaration
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  73a1aa4
- The self-call seam wall: an unrealized host seam refuses instead of emitting compiling recursion
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  c92b670
- The seam wall must resolve realization through the roster's primitive, not the declaration name
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  7a0577c
- The seam wall's realized arm must not suppress the declaration: suppression created 10 dangling imports
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  50b10e4
- The seam refusal is a generated body, not a crate-wide compile_error!: rustc's denominator is larger than the demand denominator
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  ebf8dca
- Two obligations the required floor found, both real consequences of this change
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  bd7dac6
- Class-C fixture was broken, not the repair: the witness pool is smaller than the corpus
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  d0de2a4
- is_empty: a conversion is not a repair -- give it the Rust realization it never had
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  51fb911
- A receiver's own callable field outranks every name-keyed table: class B survived one layer up
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  a715f1c
- Two more wave admissions: the declaring module rebinds too
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  54a1bbe
- Merge remote-tracking branch 'origin/main' into session/bold-carp-449
  gunbc-ci-auto-heal
  committed
  d805243
- The callable-field tier was consuming the algebra profile's identity domain, not the receiver's: 202 refusals on the first compile of the converged seed
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  952ffa6
- Regenerate the stage0 mirror at the merge-equivalent tree: byte fixed point at round 3, six paths, each explained by an authority change
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  443f3de
- WIP tail classes
  gunbc-ci-auto-heal
  committed
  aeded61
- WIP: if-equals-variant parses as a record literal; name the predicate
  gunbc-ci-auto-heal
  committed
  4b57ad1
- WIP: annotations at module-item grain
  gunbc-ci-auto-heal
  committed
  dc04b9d
- Regen round 1 (BuildBuddy invocation ebbdffc5, compiler gunbc=9830014a4e965ddb built from the committed mirror): v1_compiler_emit_rust.rs regenerated; candidate patch sha 05ce734c52890571
  gunbc-ci-auto-heal
  committed
  7f43491
- Regen round 2 (BuildBuddy, compiler gunbc=75d74698aebcdb6e built from installed ce959e40604ffdd5): std_algebra.rs, std_nat.rs -- arrow returns now render through the Rust renderer (Rc<Vec<K>> for L…
  gunbc-ci-auto-heal
  committed
  e9900e2
- Arrow positions deviate from the generic renderer only for the two defect shapes: the unconditioned route emitted 2790 refusals where 15 stood; fix the arrow probe's variant spelling
  gunbc-ci-auto-heal
  committed
  675d7ce
- B: the init turbofish declines a declaration's own formals by the lambda's admission; F: a qualified type reference earns its use-line from the qualifier under export proof; both earlier cuts were …
  gunbc-ci-auto-heal
  committed
  0773184
- Regenerate the stage0 mirror at the 0773184 freeze: byte fixed point at round 3, three paths, each explained by an authority change
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  a5120f1
- One renderer for every arrow position; a type position never takes the variant arm; the qualified route synthesizes use-lines only for types the emitted source names
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  b0e4ad3
- Merge remote-tracking branch 'origin/main' into session/bold-carp-449
  gunbc-ci-auto-heal
  committed
  49482b0
- Regenerate the stage0 mirror at the 49482b0 freeze: byte fixed point at round 3, three paths, each explained by an authority change
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  c2dadc8
- Witness fixture only: the qualified-type positive control moves to a provider the harness pool can carry
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  466811e

Commits

Commits on Aug 29, 2026