Repository navigation

XL-1 deliverable 1: derived effect demand — and no host effect observed on the compiler's compile path (a lower bound, not a zero) - #9669

Merged

gunbai-bot[bot] merged 25 commits into

mainfrom

session/deep-badger-41

Aug 31, 2026

Merged

XL-1 deliverable 1: derived effect demand — and no host effect observed on the compiler's compile path (a lower bound, not a zero)#9669
gunbai-bot[bot] merged 25 commits into
mainfrom
session/deep-badger-41

Commits on Aug 29, 2026
- XL-1 deliverable 1: derive the effect demand before implementing any transport, and find that the compiler's compile path demands no host effect at all
  
  Brian Searls
  and
  claude
  committed
  33677ac
- Fix a module identity this slice derived from a file path, and make the corrected spelling unable to return silently
  
  Brian Searls
  and
  claude
  committed
  0ed773f
- The seam denominator settles at 14 by identity, and the roster stops authoring the fact it derives
  
  Brian Searls
  and
  claude
  committed
  d6282df
- Merge remote-tracking branch 'origin/main' into session/deep-badger-41
  Brian Searls
  committed
  aec7cf3
- Demote promotion to a local evidence gate that names its failed conjunct and carries its revision
  
  Brian Searls
  and
  claude
  committed
  ac957fa
- XL-1: floor scheduler standing joined to the seam-reaching candidate population, at claim identity grain, for XL-5's cutover disposition
  
  Brian Searls
  and
  claude
  committed
  0eae757
- Remove the transcribed floor-standing join; the producer replaces it
  
  Brian Searls
  and
  claude
  committed
  31c8461
- The floor-standing join becomes a producer: discovered claims × seam-reaching closure × the floor's own standing
  
  Brian Searls
  and
  claude
  committed
  f1cad20
- Fix the duplicate seam_is_unrealized that reddened every seam receipt, and two emit-route shapes in the floor join
  
  Brian Searls
  and
  claude
  committed
  e5954ec
- The join row carries its DeclarationRef; the dotted identity is derived, so two lanes join on one key
  
  Brian Searls
  and
  claude
  committed
  eae9d3b
- Receipts and both admission arms carry source_tree: FloorDiscoveryTreeId as the join key; the gate refuses on tree mismatch, and two commits over one tree admit
  
  Brian Searls
  and
  claude
  committed
  ca009f5
- Restore seam_is_unrealized: the three-arm rewrite never landed (its replace target had the arms reordered and matched nothing), and the deletion that followed removed the only definition
  
  Brian Searls
  and
  claude
  committed
  6e4cb72
- module is a keyword: a Present binder named module parses as a field of Present; rename the binder
  
  Brian Searls
  and
  claude
  committed
  d6746cf
- Merge remote-tracking branch 'origin/main' into session/deep-badger-41
  Brian Searls
  committed
  da46d5e
- Merge remote-tracking branch 'origin/main' into session/deep-badger-41
  Brian Searls
  committed
  c96d0f2
Commits on Aug 30, 2026
- Merge remote-tracking branch 'origin/main' into session/deep-badger-41
  Brian Searls
  committed
  0afd3b5
- Cover the two floor dispositions main added: DeclinedOutsideGateClosure and DeclinedDiscoveryExcluded get a name, a counter and a place in the partition, so the exhaustiveness checker admits the jo…
  
  Brian Searls
  and
  claude
  committed
  648cbc0
- Merge remote-tracking branch 'origin/main' into session/deep-badger-41
  Brian Searls
  committed
  a663a9e
- Cover PlannedAsChangedWitness: the changed-witness selection gets its own name and counter in the floor-standing join rather than folding into planned
  
  Brian Searls
  and
  claude
  committed
  5c2430e
- Build the dependency adjacency once per join, not once per entry: dependency_closure lifts its walk into dependency_closure_over_adjacency and calls it, and the floor-standing join threads one adja…
  
  Brian Searls
  and
  claude
  committed
  3ca686b
- Move the 55 prose-as-data rows into leading // annotation blocks (DESIGN 4c, review 57607): every data <name>_note: String in effect_demand, effect_demand_floor_join and their two test modules beco…
  
  Brian Searls
  and
  claude
  committed
  6d85a6e
Commits on Aug 31, 2026
- Merge remote-tracking branch 'origin/main' into session/deep-badger-41
  Brian Searls
  committed
  664df3f
- Fold every coproduct-to-Bool predicate into its consumer, and say lower bound where the annotation said zero (review 57899)
  
  Brian Searls
  and
  claude
  committed
  7041d54
- Move the local-gate annotation to module-item grain: the floor's parse phase refuses an annotation inside a declaration body
  
  Brian Searls
  and
  claude
  committed
  a0dba68
- Merge remote-tracking branch 'origin/main' into session/deep-badger-41
  Brian Searls
  committed
  ac100a9

Commits

Commits on Aug 29, 2026

Commits on Aug 30, 2026

Commits on Aug 31, 2026