Repository navigation

Delete the fixture mint: an admitted wrapper was an unrestricted constructor, so #10934's rung-4 claim was inflated - #10972

Merged

briansrls merged 25 commits into

mainfrom

session/lively-ibex-812

Sep 11, 2026

Merged

Delete the fixture mint: an admitted wrapper was an unrestricted constructor, so #10934's rung-4 claim was inflated#10972
briansrls merged 25 commits into
mainfrom
session/lively-ibex-812

Commits on Sep 10, 2026
- fabric-M0: origin-readback confirmation becomes a construction, not a stamp
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  0d5f8e4
- Route the real-bytes half as an instrument: a changed witness is planned regardless of the exclusion frontier
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  d38a17e
- Merge remote-tracking branch 'origin/main' into session/lively-ibex-812
  gunbc-ci-auto-heal
  committed
  df47e1d
- Delete the fixture mint: an admitted wrapper was an unrestricted constructor, so the rung-4 claim was inflated
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  37abeda
- Merge remote-tracking branch 'origin/main' into session/lively-ibex-812
  gunbc-ci-auto-heal
  committed
  9e992d8
- Retract the merged rung-4 claim explicitly, and file the class the escape belongs to
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  1f517d5
- Repair main: the publication witness still imports the ReadSource variants #10934 deleted
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  fb2c1ac
- Merge branch 'fix/fabric-m0-publication-witness-origin-reading' into session/lively-ibex-812
  gunbc-ci-auto-heal
  committed
  d3a7113
- The live-tree stamp had to change with the body
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  28aed6e
- Merge branch 'fix/fabric-m0-publication-witness-origin-reading' into session/lively-ibex-812
  gunbc-ci-auto-heal
  committed
  f968b46
- Key the regression control on a measured subject, make the differential real, and stop three stamps from lying
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  a05f601
- Delete the unconsumed digest_a_unused_marker residue, and name the diag entries' consumer
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  7cf9f57
- Merge remote-tracking branch 'origin/main' into session/lively-ibex-812
  gunbc-ci-auto-heal
  committed
  542e069
- Make the differential genuinely one-axis, and compare it as a multiset
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  95cc0ac
Commits on Sep 11, 2026
- Home the keyed comparator in the census module; my copy was a fork and it was the weaker one
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  5205eca
- Import the comparator name I moved: the whole-pool resolver hid a binding change the namespace wave caught
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  f89516a
- Merge remote-tracking branch 'origin/main' into session/lively-ibex-812
  gunbc-ci-auto-heal
  committed
  db62449
- Merge commit 'ec1571e892a54a947db12067e2648c242db870ed' into session/lively-ibex-812
  gunbc-ci-auto-heal
  committed
  da3e66b
- Give the homed comparator a fresh spelling, so the move is a deletion and an addition rather than a silent rebind
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  339f507
- Name the consumers instead of claiming there are none, and drop a citation to a deleted variant
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  ad451a8
- Stop repeating the rotting absence claim one layer up, and apply the rule to the other three
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  e111492
- Restore main's consumption paragraph this branch had silently resurrected over, and withdraw a refuted justification
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  87ccd10
- Drop the live open-world negative I had just added to the authority module
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  0699ef7
- Replace publish_work's live frontier negative with named consumers, a capability, and a dated complement
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  e31c5d9
- Scope the conflict negative: there WAS a conflict at the squash, and none at the later integrations
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  88a5888

Commits

Commits on Sep 10, 2026

Commits on Sep 11, 2026