Repository navigation

CALLABLE-LOOKUP-UNIQUE: collect every admissible callable candidate before deciding, and stop erasing the ambiguity arm - #8952

Merged

briansrls merged 28 commits into

mainfrom

session/tidy-pike-614

Aug 25, 2026

Merged

CALLABLE-LOOKUP-UNIQUE: collect every admissible callable candidate before deciding, and stop erasing the ambiguity arm#8952
briansrls merged 28 commits into
mainfrom
session/tidy-pike-614

Commits on Aug 22, 2026
- Callable lookup collects every admissible candidate before deciding, and the ambiguity arm stops being erased
  
  Brian Searls
  and
  claude
  committed
  a2ffd1b
Commits on Aug 23, 2026
- Merge remote-tracking branch 'origin/main' into session/tidy-pike-614
  Brian Searls
  committed
  a47447b
- Delete the `emit_map_has` registry row: a certified callable with no runtime at any tier
  
  Brian Searls
  and
  claude
  committed
  424e3ec
- Move the emit_map_has deletion note to module scope: an in-body annotation is refused
  
  Brian Searls
  and
  claude
  committed
  0d180da
- Hoist two more in-body annotations to module scope
  
  Brian Searls
  and
  claude
  committed
  613b443
- Correct the emit_map_has receipt: 20 call sites, not 21
  
  Brian Searls
  and
  claude
  committed
  8f08fd0
- Level 1a: a name the author brought into scope is not a collision with the builtin
  
  Brian Searls
  and
  claude
  committed
  e96bdd9
- Install the stage0 mirrors, and route the eleventh consumer of the erasing projection
  
  Brian Searls
  and
  claude
  committed
  7cabf70
- Reapply the eleventh-consumer fix that the mirror copy had reverted
  
  Brian Searls
  and
  claude
  committed
  8882390
- Fix the RED fixture, and stop a broken fixture from masquerading as a quiet wall
  
  Brian Searls
  and
  claude
  committed
  486e739
- The wall could not fire for its own specimen: drop the algebra-template exclusion
  
  Brian Searls
  and
  claude
  committed
  d17b168
- Install the lookup mirror: the wall now fires on its own specimen
  
  Brian Searls
  and
  claude
  committed
  fe23f00
- Narrow 1a to the listed-import arm: an is_all import names a module, not a declaration
  
  Brian Searls
  and
  claude
  committed
  f0fd05d
- Repair the 29 production collisions the wall exposes, by naming the authority
  
  Brian Searls
  and
  claude
  committed
  6aaf3ae
- Merge main: PrimitiveIdentity join (#8964)
  Brian Searls
  committed
  3e13454
- Wire suppression through the merged PrimitiveIdentity join, and stop the prose outrunning the mechanism
  
  Brian Searls
  and
  claude
  committed
  3b90b37
- Delete tmp_census_report.dag: undeclared scaffold, and a parallel authority for the probe corpus
  
  Brian Searls
  and
  claude
  committed
  7dd9850
- Rebuild the boundary control on a homonym the census can actually reach
  
  Brian Searls
  and
  claude
  committed
  bb7506e
- Revert four seed import repairs superseded by the primitive-identity join
  
  Brian Searls
  and
  claude
  committed
  b6b547c
- Witness: no symbol reaches the primitive surface through the interpreter roster alone
  
  Brian Searls
  and
  claude
  committed
  3070778
- Drop the interpreter-only-symbol guard: its precondition is false
  
  Brian Searls
  and
  claude
  committed
  f5f7c19
- Record the Undisposed->suppress arm's justification beside the arm
  
  Brian Searls
  and
  claude
  committed
  096d8b8
Commits on Aug 24, 2026
- Merge remote-tracking branch 'origin/main' into session/tidy-pike-614
  Brian Searls
  committed
  a3c5340
- Repair main's broken cargo check: the hand-written probe missed SymbolIndex's new field
  
  Brian Searls
  and
  claude
  committed
  bbbaf2e
- Emitter: a call in a data initializer is a cross-ref, so it stops going to the JSON serializer
  
  Brian Searls
  and
  claude
  committed
  a8fe7a0
- Hoist the not-runnable-is-not-zero annotation to module-item grain
  
  Brian Searls
  and
  claude
  committed
  5a1d245
- Merge remote-tracking branch 'origin/main' into session/tidy-pike-614
  Brian Searls
  committed
  b2b0694
Commits on Aug 25, 2026
- Merge remote-tracking branch 'origin/main' into session/tidy-pike-614
  Brian Searls
  committed
  8fced74

Commits

Commits on Aug 22, 2026

Commits on Aug 23, 2026

Commits on Aug 24, 2026

Commits on Aug 25, 2026