Repository navigation

Re-author the Map literal population: the open half onto PartialFunction, the finite half onto the construction route - #9076

Merged

briansrls merged 27 commits into

mainfrom

session/silent-gull-867-map-reauthor

Aug 24, 2026

Merged

Re-author the Map literal population: the open half onto PartialFunction, the finite half onto the construction route#9076
briansrls merged 27 commits into
mainfrom
session/silent-gull-867-map-reauthor

Commits on Aug 23, 2026
- Decompose the Set carrier: the predicate half names PointwisePower, and the fork's open half is declared
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  23f8c1b
- Addendum: full read of the Map delegate population refutes the sampled if-chain classification
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  ad41d9a
- Correct the addendum: the Map lane is a decomposition, not the symmetric retype
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  a2b1027
- Put the grammar fixture's PointwisePower reference where the import derivation can see it
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  f73f998
- Split PartialFunction, name the finite power set, and point both aliases at the finite carriers
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  94ca909
Commits on Aug 24, 2026
- Actually move TotalMap and TotalPolicy: delete the source declarations
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  e036757
- Merge remote-tracking branch 'origin/main' into session/silent-gull-867
  gunbc-ci-auto-heal
  committed
  b0b122d
- Merge branch 'session/silent-gull-867' into session/silent-gull-867-map-carrier-split
  gunbc-ci-auto-heal
  committed
  c77f275
- Complete canonical_container_names, and delete the caller-side patch it forced
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  c5e72e9
- Re-author the 90 open-delegate Map literals onto PartialFunction
  gunbc-ci-auto-heal
  committed
  7eb5895
- Merge remote-tracking branch 'origin/main' into session/silent-gull-867-map-reauthor
  gunbc-ci-auto-heal
  committed
  b1f672d
- Close the Map literal population: 25 finite fact maps, 8 empties, 21 remaining opens
  gunbc-ci-auto-heal
  committed
  feb47e8
- Merge main after #9055: the alias retarget supersedes the note that named it
  gunbc-ci-auto-heal
  committed
  4447768
- Merge main after #9055: the alias retarget supersedes the note that named it
  gunbc-ci-auto-heal
  committed
  15fd7bc
- Merge remote-tracking branch 'origin/session/silent-gull-867-map-carrier-split' into session/silent-gull-867-map-reauthor
  gunbc-ci-auto-heal
  committed
  6f3cb5b
- Install the ten regenerated stage0 mirrors the carrier split drifted
  gunbc-ci-auto-heal
  committed
  05d149d
- Install the ten regenerated stage0 mirrors the algebra split drifted
  gunbc-ci-auto-heal
  committed
  a76d907
- Merge remote-tracking branch 'origin/session/silent-gull-867-map-carrier-split' into session/silent-gull-867-map-reauthor
  gunbc-ci-auto-heal
  committed
  d7b7775
- Regen round two: the mirrors the first round's own output moved
  gunbc-ci-auto-heal
  committed
  072b964
- Regen round two on this branch: compiler_tests.rs and std_types.rs
  gunbc-ci-auto-heal
  committed
  aa14a6b
- Merge remote-tracking branch 'origin/session/silent-gull-867-map-carrier-split' into session/silent-gull-867-map-reauthor
  gunbc-ci-auto-heal
  committed
  6656890
- The profile map keyed only the ALIAS spellings, so a carrier receiver had no method surface
  gunbc-ci-auto-heal
  committed
  78f3ba5
- Merge remote-tracking branch 'origin/session/silent-gull-867-map-carrier-split' into session/silent-gull-867-map-reauthor
  gunbc-ci-auto-heal
  committed
  8b8f73e
- Regen the mirror, because the profile rows could not reach the compiler without it
  gunbc-ci-auto-heal
  committed
  ee404f9
- Merge remote-tracking branch 'origin/session/silent-gull-867-map-carrier-split' into session/silent-gull-867-map-reauthor
  gunbc-ci-auto-heal
  committed
  86c0051
- PartialFunction resolves as a container, or its lookup cannot substitute its own return type
  gunbc-ci-auto-heal
  committed
  39229b5
- Merge remote-tracking branch 'origin/session/silent-gull-867-map-carrier-split' into session/silent-gull-867-map-reauthor
  gunbc-ci-auto-heal
  committed
  2e682fc

Commits

Commits on Aug 23, 2026

Commits on Aug 24, 2026