Repository navigation

E0308 repartition on current main: re-derive raw rows -> canonical sites -> mechanism roots against the existing 15-root vocabulary, fail closed on new residue - #8936

Closed

briansrls wants to merge 14 commits into

mainfrom

probe-repair

Closed

E0308 repartition on current main: re-derive raw rows -> canonical sites -> mechanism roots against the existing 15-root vocabulary, fail closed on new residue#8936
briansrls wants to merge 14 commits into
mainfrom
probe-repair

Commits on Aug 22, 2026
- A generic record literal admits the wrong field type silently at six seams: locate the fail-open, and record two repairs that do NOT close it
  
  Brian Searls
  and
  claude
  committed
  5def9d7
- Correct the mechanism: substitution is innocent, the class is any type declared WITH PARAMETERS, and the paired nonzero makes every zero a reading
  
  Brian Searls
  and
  claude
  committed
  b4c59fe
- The class is two rows, and the corpus reds the closed one: report it rather than narrow the wall (#8901)
  Brian Searls
  committed
  84c65c3
- The 8 and the 4 have different dispositions: the census rows encode the old answer (#8901)
  Brian Searls
  committed
  6552623
- LexMatchThunk is not generic, so it is none of the three rows: a fourth mechanism, bounded by three baseline arms (#8901)
  Brian Searls
  committed
  e636aca
- Withdrawn: the generic carrier is the algebra, not the thunk -- one-variable pair puts the tokenize row in row (b) (#8901)
  Brian Searls
  committed
  871e2ea
- Merge main (19f0be86dd) to re-anchor measurements
  Brian Searls
  committed
  ca11d6f
- WIP: (a) fork dissolution — field_declared_type_node, authority + mirror
  Brian Searls
  committed
  6df8af2
- (a) mirror half restored: field_declared_type_node in v1_compiler_infer.rs
  Brian Searls
  committed
  57990af
- Drop stray backup file
  Brian Searls
  committed
  4040170
- (a) fork dissolution + measured (c) exposure; placeholder-carrier hypothesis refuted by execution
  Brian Searls
  committed
  caf490b
- (c) an UNESTABLISHED return type must not become a lambda's body expectation
  Brian Searls
  committed
  2b7a17a
- Merge main (abf7194e2b) — absorb after hold lift
  Brian Searls
  committed
  f5be77a
- Install the emitted mirror for v1_compiler_infer.rs (regen candidate, not hand-tuned)
  Brian Searls
  committed
  ffddac8

Commits

Commits on Aug 22, 2026