Repository navigation

PROBE, DO NOT MERGE: does the PointwisePower profile row red anything? - #9103

Closed

gunbai-bot[bot] wants to merge 17 commits into

mainfrom

probe/pointwise-power-profile-measurement

Closed

PROBE, DO NOT MERGE: does the PointwisePower profile row red anything?#9103
gunbai-bot[bot] wants to merge 17 commits into
mainfrom
probe/pointwise-power-profile-measurement

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
- Merge main after #9055: the alias retarget supersedes the note that named it
  gunbc-ci-auto-heal
  committed
  15fd7bc
- Install the ten regenerated stage0 mirrors the algebra split drifted
  gunbc-ci-auto-heal
  committed
  a76d907
- Regen round two on this branch: compiler_tests.rs and std_types.rs
  gunbc-ci-auto-heal
  committed
  aa14a6b
- The profile map keyed only the ALIAS spellings, so a carrier receiver had no method surface
  gunbc-ci-auto-heal
  committed
  78f3ba5
- PROBE ONLY, NOT FOR MERGE: add the PointwisePower profile row to measure whether it reds anything
  gunbc-ci-auto-heal
  committed
  c3be565
- 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 probe/pointwise-power-profile-measurement
  gunbc-ci-auto-heal
  committed
  3b2f83c
- PROBE: regen the mirror, without which this branch measured nothing
  gunbc-ci-auto-heal
  committed
  f59a07b

Commits

Commits on Aug 23, 2026

Commits on Aug 24, 2026