Repository navigation

Resolver: local coproduct arms stay local when the pool gains a same-spelled product - #10737

Merged

briansrls merged 22 commits into

mainfrom

warm-wren-99-if-join-pool-binding

Sep 8, 2026

Merged

Resolver: local coproduct arms stay local when the pool gains a same-spelled product#10737
briansrls merged 22 commits into
mainfrom
warm-wren-99-if-join-pool-binding

Commits on Sep 7, 2026
- A local coproduct arm must not re-bind when an unrelated pool type claims the same spelling.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  5efe62a
- State the fixture consumer as local-only diligence, not merge-path evidence.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  2a081d8
- Record that the isolated product and unit-arm fixtures do not close the class.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  a6878ef
- Drop the cargo-test consumer so the four-file fixture has one executing route.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  eb6f274
- Regenerate docs/design-failure-modes.md from the edited failure-mode row.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  11a8719
- Record that an isolated unit-arm analogue is not the production Observed specimen.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  60e2cad
- Cite the reproduce commands instead of a transcribed error count.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  8c59d21
- Enroll the inverted floor witness with the product-channel repair.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  2abad0b
- Install the emitted stage0 mirror for the str_bindings-only lookup.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  e922b91
- Drop the conjunction witness that recompiled both fixture arms.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  fbc8bd9
- Merge origin/main to pick up the keyed declaration-index floor repair.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  80bf029
- Regenerate design-failure-modes.md from the merged ledger authorities.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  1502afe
- Repoint the fixture headers and keep imported products on-chain for widening.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  b26dcc0
- Merge remote-tracking branch 'origin/main' into warm-wren-99-if-join-pool-binding
  gunbc-ci-auto-heal
  committed
  6c8aa41
- Merge origin/main: keep both failure-mode receipts and leave the ledger projection at the merge-base for heal.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  4b8fe66
- Regenerate design-failure-modes.md from the merged ledger authorities.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  b215837
- Merge origin/main: keep the inverted if-join witness after #10740 enrolled the red arm.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  01689bd
- Regenerate ledger projections from the merged authorities.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  41e00b0
- Past-tense the failure-mode receipts that still described a red collided witness.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  3f4df43
- Name the on-chain binding walk once in infer_env.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  dfe0eb8
Commits on Sep 8, 2026
- Merge origin/main; leave the failure-mode projection at the merge-base pending regen.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  db160b2
- Regenerate ledger projections from the merged authorities.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  33ad97c

Commits

Commits on Sep 7, 2026

Commits on Sep 8, 2026