Repository navigation

Identity-bearing required-lens registration, and a closed registration/observation join at the compile door - #11004

Merged

briansrls merged 27 commits into

mainfrom

session/calm-crane-722

Sep 12, 2026

Merged

Identity-bearing required-lens registration, and a closed registration/observation join at the compile door#11004
briansrls merged 27 commits into
mainfrom
session/calm-crane-722

Commits on Sep 11, 2026
- wip: identity-bearing required-lens registration
  Brian Searls
  committed
  1683498
- Merge remote-tracking branch 'origin/main' into session/calm-crane-722
  Brian Searls
  committed
  4e9e7fa
- Identity-bearing required-lens registration, and a closed registration/observation join at the compile door
  
  Brian Searls
  and
  claude
  committed
  8825767
- Re-scope the permanently-green door control to what it actually discriminates (test-only)
  
  Brian Searls
  and
  claude
  committed
  f6a16f9
- Carry the renamed witness in the frozen path-deferral roster
  
  Brian Searls
  and
  claude
  committed
  e8f49dc
- Cut the citations over with the symbols, and carry the de-enrollment prohibition forward (review 63457)
  
  Brian Searls
  and
  claude
  committed
  0230f76
- Strip the 4a draft out of the registration PR
  
  Brian Searls
  and
  claude
  committed
  afdec35
- The last two live citations of the deleted roster (review 63473)
  
  Brian Searls
  and
  claude
  committed
  ced80f4
- Merge remote-tracking branch 'origin/main' into session/calm-crane-722
  Brian Searls
  committed
  001b919
- Cut the seed oracle over with the authority: it is the compared value, not documentation (review 63517)
  
  Brian Searls
  and
  claude
  committed
  cd7388c
- Merge branch 'main' into session/calm-crane-722
  briansrls
  authored
  f181db8
- Cut over the citations #10942 landed after my sweep (declarations FAIL, CITED-DECLARATION-ABSENT)
  
  Brian Searls
  and
  claude
  committed
  1aea7b7
- The sixth refusal arm gets its RED, and the census witness's citation cuts over (review 63812)
  
  Brian Searls
  and
  claude
  committed
  c6bd401
- The last live citation of the deleted roster symbol cuts over (review 63827)
  
  Brian Searls
  and
  claude
  committed
  c12c66c
- The coverage receipt states its frontier and its trigger, and an unused import goes
  
  Brian Searls
  and
  claude
  committed
  906da37
- The accumulator-gate front end is paid once instead of once per claim
  
  Brian Searls
  and
  claude
  committed
  540c92c
- Withdraw the share: it netted the cost exactly as intended and the served value did not survive
  
  Brian Searls
  and
  claude
  committed
  6b153bf
- Cut the probe sources to the smallest form that still discriminates
  
  Brian Searls
  and
  claude
  committed
  87a3632
- The grain note stops claiming a cost shape the fold does not have
  
  Brian Searls
  and
  claude
  committed
  8c80a9a
- Completeness becomes an identity join, and the refuted snippet cut reverts
  
  Brian Searls
  and
  claude
  committed
  3365559
Commits on Sep 12, 2026
- Merge remote-tracking branch 'origin/main' into session/calm-crane-722
  Brian Searls
  committed
  5a06e05
- Merge remote-tracking branch 'origin/main' into session/calm-crane-722
  Brian Searls
  committed
  dba3940
- Coverage closes over a name, and the annotation now says so
  
  Brian Searls
  and
  claude
  committed
  d0a6c49
- The door-grain coverage claim shrinks to what can fire there
  
  Brian Searls
  and
  claude
  committed
  a5bd809
- File the class both of this file's inflated claims belong to
  
  Brian Searls
  and
  claude
  committed
  c1fd4c8
- The deferred cost defect gets a carrier and a capability trigger
  
  Brian Searls
  and
  claude
  committed
  5607400
- An enforced lens whose red control had never run, and the red does not hold
  
  Brian Searls
  and
  claude
  committed
  e707b1e

Commits

Commits on Sep 11, 2026

Commits on Sep 12, 2026