Repository navigation

XL-0 residual: nested shared-field refutation lives in the guard, not an unreachable prelude - #9803

Merged

briansrls merged 207 commits into

mainfrom

session/bold-carp-449

Aug 31, 2026

Merged

XL-0 residual: nested shared-field refutation lives in the guard, not an unreachable prelude#9803
briansrls merged 207 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 on Aug 30, 2026
- Merge remote-tracking branch 'origin/main' into session/bold-carp-449
  gunbc-ci-auto-heal
  committed
  d223621
- Merge remote-tracking branch 'origin/main' into session/bold-carp-449
  gunbc-ci-auto-heal
  committed
  4d5c549
- WIP XL-0B commit 1: thread DeclarationRef into the checkpoint-spelling callers; exact binding first; delete the redundant expression-position alias arm
  gunbc-ci-auto-heal
  committed
  a5af51e
- Enroll the two emission batteries under the required-gate seed prefix (test.claim.self_host_*)
  gunbc-ci-auto-heal
  committed
  dbee0eb
- XL-0B commit 1: exact spelling at the fn-signature and declaration-type leaves; alias-rhs site reads scope.type_env
  gunbc-ci-auto-heal
  committed
  678e736
- alias-rhs leaf site reads scope.type_env
  gunbc-ci-auto-heal
  committed
  a1c9dde
- Regenerate the stage0 mirror at the XL-0B commit-1 tree: byte fixed point at round 3
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  c91d79d
- Merge remote-tracking branch 'origin/main' into session/bold-carp-449
  gunbc-ci-auto-heal
  committed
  93f3b72
- XL-0B commit 2 (source): declared callees imported over builtin capture; dead RebuildEmittedFail variant; Accepted diagnostics bound and threaded; WallNow carries its fields; evaluator binding-miss…
  gunbc-ci-auto-heal
  committed
  8781269
- Merge remote-tracking branch 'origin/session/bold-carp-449' into session/calm-pike-248
  gunbc-ci-auto-heal
  committed
  94c2725
- Merge remote-tracking branch 'origin/session/bold-carp-449' into session/loyal-raven-297
  gunbc-ci-auto-heal
  committed
  59178a3
- XL-0E: equality admission wall in v1 acceptance (records/coproducts with function members refuse ==) + explicit identities for InterpretationAlgebra and RuntimeValue comparisons
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  bb5d866
- Regenerate the stage0 mirror for commit 2 (mechanical residue): byte fixed point at round 2
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  e97322e
- A1: relocate the import-admission helpers to their consumer layer; C: one storage representation for Map at every position
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  4da6059
- XL-0N: generic LiteralElaboration/OperatorRealization authority — typed literal-to-Zero/Succ homomorphism at every boundary, operator realization by exact operand structure, structural Peano Nat op…
  gunbc-ci-auto-heal
  committed
  db40481
- XL-0N: the Peano-Nat inhabitance witness asserts the ruled admission through its homomorphism; its expected-red row is retired by its trigger
  gunbc-ci-auto-heal
  committed
  0812548
- Merge remote-tracking branch 'origin/session/bold-carp-449' into session/loyal-raven-297
  gunbc-ci-auto-heal
  committed
  d4b4cf7
- Close the five unrealized host seams in the emitted v2 compiler closure: one model-backed decode, and reflection segregated from what the compiler must emit
  Brian Searls
  committed
  aafb5ee
- C corrected: InferredTree.facts stays the open PartialFunction; PartialFunction realizes as its algebra struct everywhere (HashMap rows deleted); frontier row dissolved; two TargetChanged admissions
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  aa373f9
- Merge remote-tracking branch 'origin/session/bold-carp-449' into session/crisp-gull-541
  Brian Searls
  committed
  6b0eda8
- XL-0N: operand realization hops alias/refinement declarations to their target (NonEmptyStr, Char, VersionIdentity compare/add as their host targets)
  gunbc-ci-auto-heal
  committed
  657010b
- Move the two reflection bridge arms onto one v2.std.node_reflection family in the hand-maintained dispatch macro
  Brian Searls
  committed
  d5df02a
- XL-0E: parenthesize bare-variant comparisons in if-conditions (Variant-brace parses as record literal); flatten wall helpers to top-level fns
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  ee2d5dd
- Regenerate the stage0 mirror for A1 + C (aa373f9): byte fixed point at round 3
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  c6d9b22
- Merge remote-tracking branch 'origin/session/bold-carp-449' into session/crisp-gull-541
  Brian Searls
  committed
  a34d135
- XL-0N: Bool row -- KernelBoolLiteral into v2.std.logic.Bool via BooleanUnfold (True/False); interpreter evaluates an elaborated literal as its kernel value; falsifier pair (row found/removed in the…
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  2656610
- XL-0E regen: stage0 mirror at byte fixed point with the equality admission wall active; census repairs (native-realization leaves admit via decl_file_realizes_natively, presence exemption reads the…
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  a8cf622
- Merge remote-tracking branch 'origin/main' into session/calm-pike-248
  gunbc-ci-auto-heal
  committed
  c93191d
- Merge remote-tracking branch 'origin/main' into session/crisp-gull-541
  Brian Searls
  committed
  6e0e75d
- XL-0N: operand realization hops alias items by is_type_alias_item/resolved_type (the derive lane's own test) -- the structural condition on the declaration node never held, so NonEmptyStr/Char/Vers…
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  5e73c01
- Merge remote-tracking branch 'origin/main' into session/loyal-raven-297
  gunbc-ci-auto-heal
  committed
  eb0ea3c
- Commit 3 of the #9664 closure: six emitter mechanisms, the null keyword by path, and map_insert back to its .dag body under the gate's ruling
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  3bf25c2
- Merge remote-tracking branch 'origin/main' into session/bold-carp-449
  gunbc-ci-auto-heal
  committed
  780b394
- Hoist commit-3 rationale annotations to module-item grain (§4c refuses in-body // blocks; 17 regen refusals on 780b394)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  3989a1d
- XL-0N: operand realization reads the RESOLVED structure -- a NoConnective childless leaf whose structural name is a kernel type is a host operand (the resolver collapses NonEmptyStr/Char/VersionIde…
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  a9acc59
- XL-0N: shape-facts suffix spells Int counts with to_string (the seed runtime has no Int-as-String cast; the cast panicked the emitter under regen)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  bcb283c
- XL-0N: operand realization hops a where-refinement wrapper to its base (is_where_refinement_type, the type renderer's own route) -- measured under regen: NonEmptyStr/Char/VersionIdentity operands r…
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  6ba83b3
- Merge remote-tracking branch 'origin/main' into session/crisp-gull-541
  Brian Searls
  committed
  a6ae8b9
- XL-0N: operator realization matches over BinOp are total (14 closed variants enumerated) -- no non-fold residue rows for the new module
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  f38fdc9
- Merge remote-tracking branch 'origin/main' into session/loyal-raven-297
  gunbc-ci-auto-heal
  committed
  65ac88a
- Commit 3 correction after the first regen: withdraw the Violates field-carrier arm (the literal resolves to the Witness declaration, spelling Witness::<Holds> at 87 sites), 'static on generics only…
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  9187f3b
- Merge remote-tracking branch 'origin/main' into session/bold-carp-449
  gunbc-ci-auto-heal
  committed
  b115892
- Regenerate the stage0 mirror: the reflection bridge family, the UriScheme roster, and the two projections main and the stack both moved
  Brian Searls
  committed
  000a76a
- XL-0N: retire the regen-diagnosis shape-facts suffix -- the where-refinement hop is confirmed at byte fixed point (6ba83b3 regen, round 2 equal)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  c453dd2
- Merge remote-tracking branch 'origin/main' into session/loyal-raven-297
  gunbc-ci-auto-heal
  committed
  070a203
- Rehome the layer scan out of the lens registry, declare the two reference-derived reflection imports, and adjudicate the 56 relocation bindings
  Brian Searls
  committed
  1003519
- XL-0N: regenerated stage0 mirrors at byte fixed point (070a203 source, BuildBuddy regen round 3 first_generation_equal=true; partition crates rendered=14 written=0)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  b621add
- XL-0N: register std.literal_elaboration and std.operator_realization in the std-core partition and gunbc.structural_realization_bindings in the v1-infer binding unit (v2.workflow.rust_crate_partiti…
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  29fa01c
- Merge remote-tracking branch 'origin/session/bold-carp-449' into session/loyal-raven-297
  gunbc-ci-auto-heal
  committed
  ffdd98d
- XL-0N: type_reference_declaration_ref resolves an in-place (recursive) type reference through its env binding before matching the declaration span -- v2.std.nat.Nat is recursive and answered Absent…
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  e51aff9
- Regenerate the stage0 mirror at b115892: byte fixed point at round 3 (installed 9d44564232ba8648, gunbc eaf00f8d92931968)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  3af83d9
- Merge remote-tracking branch 'origin/session/bold-carp-449' into session/crisp-gull-541
  Brian Searls
  committed
  b61d05d
- Bootstrap the two conflicted projections from the converged side so a compiler can be built to regenerate them
  Brian Searls
  committed
  0cb639d
- w_fn_field_record_header_keeps_the_bound_a_field_type_demands: a local fn-field type instead of the host_run closure (30 s CPU per floor fill, false through the shared-artifact path on 3af83d9); sa…
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  db7debd
- Merge commit 'db7debd65f' into session/crisp-gull-541
  Brian Searls
  committed
  d6f32c6
- std.cache_interface: the three .first() producers are Optional at the declaration (cache_facts_for_id, cache_reach_candidate_probe, cache_layer_plan_primary/fallback); every consumer matches -- a l…
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  ca31a9c
- Merge branch 'session/crisp-gull-541' of https://github.com/gunb-ai/gunbc into session/bold-carp-449
  gunbc-ci-auto-heal
  committed
  6e06bcd
- Merge branch 'session/crisp-gull-541' of https://github.com/gunb-ai/gunbc into session/bold-carp-449
  gunbc-ci-auto-heal
  committed
  9344dd0
- Merge remote-tracking branch 'origin/main' into session/bold-carp-449
  gunbc-ci-auto-heal
  committed
  2a8c67c
- XL-0N: regenerated stage0 mirrors at byte fixed point on e51aff9 (BuildBuddy regen round 3 first_generation_equal=true; includes the merged #9710 commit-3 null-keyword-by-path drift and the new-mod…
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  155764c
- Model rustc phases and derive the self-host phase board
  Brian Searls
  committed
  3e7e85d
- Merge remote-tracking branch 'origin/main' into session/loyal-raven-297
  gunbc-ci-auto-heal
  committed
  bd5850c
- XL-0E: close the RuntimeValue equality leak — same-identity peel chase dispatches into declaration structure instead of re-entering the visited check
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  6920c9d
- XL-0E: wildcard-free runtime_value_equality dispatch (nfr roster) and drop body comment (DESIGN 4c)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  6d29168
- Root compile-phase board in the self-host frontier
  Brian Searls
  committed
  a5fd602
- Merge remote-tracking branch 'origin/main' into session/nimble-gull-159
  Brian Searls
  committed
  2f2537f
- Delete provisional emission-board authority after root cut
  Brian Searls
  committed
  b4adee9
- Merge origin/main (6221198b: XL-0B emitter commits + A1-R Map bindings); .dag conflicts take main, generated mirrors take ours pending regen reconciliation
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  e2456c2
- Strengthen compile-phase receipts as a linked subject ledger
  Brian Searls
  committed
  254fbee
- XL-0N: type_reference_declaration_ref falls back to the module-visible name binding when the reference carries no ident-keyed binding (the emitter's scope env) -- the found declaration is still spa…
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  c7b8056
- Merge remote-tracking branch 'origin/main' into session/bold-carp-449
  gunbc-ci-auto-heal
  committed
  89853ea
- The host optional's variant spellings, one authority: six inline Some/None sites read rust_optional_variant_spelling, which qualifies None by path (a bare None PATTERN in std.cache_interface bound …
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  d20440d
- Persist the first compile-phase diagnostic population
  Brian Searls
  committed
  d78093f
- Fix frontier identity folding and literal diagnostics
  Brian Searls
  committed
  6f5da3d
- XL-0E: regen merged tree to byte fixed point (round m2 first_generation_equal=true); re-judge the RuntimeValue witness row on the #9724 finite-Map model — the live subject now asserts admission as …
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  6d20315
- Observe parse and cargo-check phases in one instrument run
  Brian Searls
  committed
  9312e26
- Tighten compile-phase receipt epochs and identity semantics
  Brian Searls
  committed
  0ac7bb5
- Merge remote-tracking branch 'origin/main' into session/nimble-gull-159
  Brian Searls
  committed
  0517f87
- Bind frontier receipts to complete instrument observations
  Brian Searls
  committed
  6cea006
- Merge remote-tracking branch 'origin/main' into session/calm-pike-248
  gunbc-ci-auto-heal
  committed
  2a4647c
- Make compile-phase receipt populations structurally derivable
  Brian Searls
  committed
  c54e65f
- Regenerate the stage0 mirror at d20440d: byte fixed point at round 3 (installed 1b8ca70c9dbf62bc, gunbc deabfe3085a2d289)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  5d1ef0b
- Require dispositions for every newly exposed phase identity
  Brian Searls
  committed
  f72a7fa
- Merge commit 'd20440d81bdd8cd6446c12e041a4a18dc574b077' into session/nimble-gull-159
  Brian Searls
  committed
  975d043
- Merge branch 'session/calm-pike-248' of https://github.com/gunb-ai/gunbc into session/bold-carp-449
  gunbc-ci-auto-heal
  committed
  3dad302
- Bootstrap the XL-0E merge: the four driver-refused mirrors take XL-0E's converged bytes (the ours side lacked EqualityOnFunctionMember/EqualityMemberUnjudgeable that its non-conflicting mirrors ref…
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  03f1631
- Persist and project the compile-phase frontier genesis
  Brian Searls
  committed
  0e0a25b
- Merge commit '5d1ef0b1426d75be1aa0d39c41fb4f7e6ecee6bd' into session/nimble-gull-159
  Brian Searls
  committed
  94d1e3d
- XL-0E floor fixes: emit_host consumes the typed accepted_runtime_value_outcome_equality verdict (name main's #9727 imported no longer existed); empty-list literal comparison exempt as the emptiness…
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  20db0b2
- Merge remote-tracking branch 'origin/main' into session/calm-pike-248
  gunbc-ci-auto-heal
  committed
  6c1b3f0
- Regenerate the stage0 mirror at 03f1631 (XL-0E integrated): byte fixed point at round 3 (installed 2be25adfee989956, gunbc 37b1266cb05babf4)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  f92c572
- Materialize each emission measurement exactly once
  Brian Searls
  committed
  1497795
- Rc-field arm grouping picks a representative by plain-binding subset, not outer-pattern bytes: two arms of one record that differ only on a plain binding lower to one nested match instead of two gu…
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  24f97d4
- Merge remote-tracking branch 'origin/main' into session/loyal-raven-297
  gunbc-ci-auto-heal
  committed
  e10a8a1
- A record-literal field value is emitted under the field's declared type, not the fn return: EmitGraphInfo.expected_type at expression grain; the Violates type argument reads it (E0308 x5, Witness a…
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  8c668b2
- A type argument inside a record field's type expression reads its declaring module from the env binding: std.nat.Nat at Measure<Time, S, Nat> rendered Rc<Nat> in the struct and i64 in every signatu…
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  e31f0d4
- Three source-shape residues the v1 floor accepted: sort_by over a type-variable element dropped its key fn (E0599 x1); a bare _ parameter admitted a named argument it can never select, so the emitt…
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  3cabcd5
- Merge commit '3cabcd53c98af836d23ffaae52beac3b68b936e0' into session/nimble-gull-159
  Brian Searls
  committed
  8cf2dfc
- Merge remote-tracking branch 'origin/main' into session/nimble-gull-159
  Brian Searls
  committed
  5343087
- Fix compile-phase ledger projection parsing
  Brian Searls
  committed
  1cbd71d
- XL-0N: regen mirrors at e10a8a1 (main cba8580 merged, fixed point round 2); expand a nested record literal's resolved type before naming its ctor (Nat::Nat -> Nat::Succ)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  370f5fa
- Model complete stderr capture for emission census
  Brian Searls
  committed
  f349c21
- Keep capture cost annotation at module-item grain
  Brian Searls
  committed
  f5d7c15
- XL-0N: regen mirror for the nested record-literal expansion (fixed point round 2 on 370f5fa)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  4a5f9e5
- Regenerate the stage0 mirror at 24f97d4 (cycle xl0b10): byte fixed point at round 2 (installed ccf043994821fa5e, gunbc d0730de12dfdf017)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  e0d5564
- XL-0N: regenerate the stage0 crate partition artifact (main_wet on 370f5fa): std_literal_elaboration, std_operator_realization, gunbc_structural_realization_bindings enter their partition crates
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  991d232
- Accept field-bearing bounded stderr policy
  Brian Searls
  committed
  5006ddc
- An arrow type in type-argument position renders as the callable carrier: Map<Symbol, fn(String) -> String> at a record field rendered HashMap<Symbol, String> (E0277 x2)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  813d2b7
- Append observed compile-phase frontier genesis
  Brian Searls
  committed
  93817d5
- XL-0N: partition crates rendered from the regenerated artifact (regen17 fixed point on 991d232); an operand whose declaration cannot be read is a typed refusal carrying its shape, host-by-construct…
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  f7b0e1f
- XL-0E floor green: resolve ambiguous bare type names by declaration identity in the equality walk (Peano Nat over-refusal); chase resolved reference chains; model AlgebraSupportAxis and derive exte…
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  1c0d92b
- Regenerate the stage0 mirror at e0d5564 (cycle xl0b11): byte fixed point at round 2 (installed 639bb8dd8505cc1b)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  de12ef7
- XL-0N: an operand without a readable declaration decides by operator class -- equality and connectives are the host token by construction, ordering and arithmetic refuse with the shape facts (regen…
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  022d265
- Bare-leaf type argument consults the native-alias row before the shared wrap (4c did not take: the checkpoint query answers none for a childless leaf); the sort comparator names the fn-scope generi…
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  35f859e
- XL-0E hotfix: emit_host consumes accepted_runtime_value_outcome_equality (typed RuntimeValueEquality verdict); accepted_runtime_value_outcome_eq no longer exists
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  ea53316
- XL-0E: revert execution-test RuntimeValue comparison rewrites to main — '==' on RuntimeValue admits under the #9724 finite-Map model, so the rewrites (whose Unavailable arm collapsed to false, an a…
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  20e1901
- XL-0N: the binary operator's operand declaration is read once at inference and carried on the typed tree (ExprBinOp.operand: OperandDeclaration); emission consumes it -- the emitter-scope by-name r…
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  279ab70
- Regenerate the stage0 mirror at ea533166f (cycle xl0b12): byte fixed point (installed 96fba794c44c6bc5)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  bc5f9ba
- XL-0N: regen mirrors for the typed-tree operand declaration (fixed point round 2 on 279ab70; 12/12 emitted-path, 26/26 interpreter rows)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  f829c75
- Merge remote-tracking branch 'origin/main' into session/nimble-gull-159
  Brian Searls
  committed
  ff63e08
- Merge commit 'bc5f9bac40f' into session/nimble-gull-159
  Brian Searls
  committed
  bcfd2b2
- Merge remote-tracking branch 'origin/main' into session/loyal-raven-297
  gunbc-ci-auto-heal
  committed
  a2d542d
- Avoid unjudged list equality in floor observer
  Brian Searls
  committed
  81df346
- XL-0E hotfix: empty-list literal comparison ('x == []' / '!= []') is the emptiness idiom beside '== none' — exempt before any equality-admission walk (surfaced live at markdown.dag:459 and commit_w…
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  b4ffdae
- Merge remote-tracking branch 'origin/main' into session/loyal-raven-297
  gunbc-ci-auto-heal
  committed
  c3c2324
- An arrow is never a text carrier (4e did not take: fn(String) -> String answered is_host_text_carrier_type ahead of every Arrow arm); a native alias at a variant record field stays bare; FreeMonoid…
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  a625f69
- Escape rustc placeholder braces in frontier receipt
  Brian Searls
  committed
  ad8d5a1
- Defer empty-list equality to its central admission
  Brian Searls
  committed
  5a76d04
- XL-0N: regen mirrors on the main-merged head (bootstrapped from f829c75; fixed point round 2 on c3c2324; 12/12 emitted-path, 26/26 interpreter rows)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  0a69d26
- Regenerate the stage0 mirror at a625f6999 (cycle xl0b13): byte fixed point (installed 0c66cc008c7edd69)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  6fd0fe9
- Merge remote-tracking branch 'origin/main' into session/bold-carp-449
  gunbc-ci-auto-heal
  committed
  defea9b
- Merge origin/main (10eefc2185: FLOOR-CHANGED-COST-0 + prose bankruptcy slices); mirrors take ours pending regen
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  6f891c6
- XL-0N: roster the one namespace transition this lane makes -- type_reference_declaration_ref relocated to v1.compiler.infer_env (TargetChanged), dissolving when this PR merges
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  a2fe43d
- 4h: the two 4g mechanisms that did not take, fixed at the layer the bytes are built -- the leaf renderer consults the native-alias row before the target-generic shared wrap; a collection's arrow-ty…
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  da45421
- Regenerate the stage0 mirror at defea9b5a (cycle xl0b14): byte fixed point (installed 25521e08b3605816)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  e44a72f
- Hoist 4h's two in-body annotation blocks to module grain: 8 comment lines inside render_rust_type_without_applied_binding refused the v2 self-compile (DESIGN 4c: only module-item grain is modeled)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  81e3502
- XL-0E: regen merged FLOOR-CHANGED-COST-0 tree to byte fixed point (round q2); local required floor FloorClean — bootstrap_footprint changed witness passes via ChangedCostDebtVerdictOnly (540ms obse…
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  19392cb
- Merge remote-tracking branch 'origin/main' into session/loyal-raven-297
  gunbc-ci-auto-heal
  committed
  3ce8889
- Merge XL-0N READY a2fe43d (#9719, structural Peano Nat) — floor-green at that sha per the READY rule
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  53394a4
- Mirror tree made self-consistent: the XL-0N merge auto-took their side of non-conflicted stage0 mirrors (ExprElaboratedLiteral consumers) while conflicted mirrors took ours (enum without the varian…
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  333b768
- Merge commit 'e44a72f95' into session/nimble-gull-159
  Brian Searls
  committed
  e39b5b3
- XL-0N (review 57660): the connective arm states what it does not check -- a declared stall with its row-family trigger; the unavailable-identity prose no longer describes the deleted widen
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  b6ec60b
- Restore XL-0N's hand-maintained v1_interpreter.rs (ExprElaboratedLiteral arms): the stage0 reset in 333b768 was scoped as if the whole dir were regen-owned, but v1_interpreter.rs is hand-Rust — reg…
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  5a0ccca
- Merge origin/main 826824d (#9757 regen affected-set bound, #9766, floor_cost_debt) — clean auto-merge; std_measure.rs (regen-population mirror) kept ours for tree coherence, regen re-adjudicates; h…
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  ad20b35
- Rebase the stage0 tree on XL-0N's converged side: the ours-reset was uninvertible (hand-maintained v1_interpreter.rs consumes ExprElaboratedLiteral, which only N's regen-owned enum declares — a bui…
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  f3973ef
- Merge remote-tracking branch 'origin/main' into session/loyal-raven-297
  gunbc-ci-auto-heal
  committed
  0954959
- XL-0N (review 57660 follow-through): the arithmetic refusal is for a NAMED declaration that would not resolve -- an unnamed synthesized type node (a field access, a generic match-arm binder) is hos…
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  28c3ac8
- Restore cli_run/compile_clean.rs from the pre-merge tree: the main host-infra checkout was dir-grained and swept in a file main never changed, dropping XL-0E's hand-added EqualityOnFunctionMember/E…
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  952a231
- XL-0N: host the connective stall in gunbc.guarantee_rung_drop -- the bindings roster is inside the v2 self-compile closure and importing the ladder module from there refused the regen gate with fiv…
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  c8651c8
- XL-0N: regen mirrors for the narrowed operand arm and the relocated stall (fixed point round 2; 12/12 emitted-path, 27/27 interpreter rows)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  2177446
- Regenerate the stage0 mirror at 952a23131 (cycle xl0b19): byte fixed point (installed 4ca2f809ecd063ec)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  47a5ae2
- Merge origin/main 30b16c7 (#9690 machine intake). Sole conflict: namespace_wave_admission.rs roster — union of prose, roster keeps XL-0N's live row (dissolve trigger = #9719 merging, not yet fired)…
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  8c43ee0
- Merge XL-0E READY 19392cb4 (#9723: equality admission wall complete — emit_host fix, empty-list exemption, Nat ambiguity resolution, AlgebraSupportAxis; floor-green run 33333354215, byte-converged …
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  af21a3c
- Regenerate the stage0 mirror at af21a3c7c (cycle xl0b20): byte fixed point (installed f60f0d9f77db9fed)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  1743f54
- Merge XL-0N superseding READY 2177446 (#9719, run 33337774440 green): review-57660 follow-through (connective stall hosted in gunbc.guarantee_rung_drop), UnnamedSynthesizedType operand arm (host by…
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  2b90986
- Reconcile coded and codeless phase diagnostics
  Brian Searls
  committed
  f0bed60
- Merge XL-0-PH instrument head f0bed60 (coded+codeless error counting in measure_entry_emission; Complete/BoundedTail stderr capture in the interpreter shell dispatch; compile-phase frontier witness…
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  0997419
- Regenerate the stage0 mirror at 2b9098609 (cycle xl0b21): byte fixed point (installed 46f745cfa531624d)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  abfe374
Commits on Aug 31, 2026
- Name closed-phase regressions before phase rollback
  
  Brian Searls
  authored and
  gunbc-ci-auto-heal
  committed
  490c74c
- Merge origin/main 2194675 (#9772/#9746/#9780 model additions — clean auto-merge, no stage0 delta). Also frees a fresh review slot: review 57704 on 490c74c failed on a reviewer-workspace ref lock (m…
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  2126dad
- std.cache_interface: restore the Optional return carriers at their declarations (the producer repair for the 3 E0308 Option-widening rows)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  e076f77
- WitnessStderrCapturePolicy.BoundedTail carries ByteSize, not a bare Int (review 57714): the byte quantity rides std.measure's owned unit — declaration, the one authoring site (extdeps.gunbc default…
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  e531c8d
- Merge origin/main 22ab698 (XL-R-3 change-denominated compile.emit #9776, XL-R-4A rebuild scope #9765, DESIGN placement plan #9769). Conflicts: 5 regen-owned stage0 mirrors taken ours from the ef328…
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  2656c1e
- Stage0 reset to main's whole tree (the side whose hand seed changed): XL-R-3/4A added mirror modules (gunbc_stage0_partition_package_graph, compile_sources_selected) that main's hand required_regen…
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  ee6e8bd
- review 57725 (REQUEST_CHANGES), all three findings fixed at their producers:
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  2f35faf
- Regenerate the stage0 mirror at ee6e8bd73 (cycle xl0b25): byte fixed point (installed dcb7f5f30796b470)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  00b773e
- Regenerate the stage0 mirror at 00b773ec7 (cycle xl0b26): byte fixed point (installed c2966c3750ae1556)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  98ea0b4
- review 57746 (REQUEST_CHANGES): the And/Or fail-open arm is closed by landing the stall's own named trigger — StructuralConnectiveBinding
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  433bb3b
- Re-cut merge: origin/main a6d6c68 (ROOT-1 4f55668 + R-4B #9777). Stage0 taken whole from main (R-4B adds executable-assembly/partition mirrors its hand required_regen_host.rs consumes; per-file pic…
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  84ed1e7
- Repair the mangled refusal-message arm (433bb3b) and match the phase standing sum directly (review 57752)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  47fa4c4
- Regenerate the stage0 mirror at 47fa4c432 (cycle xl0b30): byte fixed point (installed 79abc37f7f80ae68)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  aad93b2
- Merge remote-tracking branch 'origin/main' into session/bold-carp-449
  gunbc-ci-auto-heal
  committed
  3d6e7ee
- Nested shared-field refutation lives in the guard, not an unreachable prelude
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  390dd97
- Regenerate the stage0 mirror at 390dd9732 (cycle xl0b32): byte fixed point (installed 2c812cfc4bf5b944)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  7097416
- Merge remote-tracking branch 'origin/main' into session/bold-carp-449
  gunbc-ci-auto-heal
  committed
  9a3347d

Commits

Commits on Aug 29, 2026

Commits on Aug 30, 2026