Decide which proposed vouchers are already in the book - #294

Merged

lamemustafa merged 100 commits into

claude/voucher-presence

Sep 15, 2026

Commits on Sep 10, 2026

Bind source entities to masters deterministically in the shared crate

lamemustafa
and
claude
committed
b98569f
Retain observed master names verbatim, and characterize the rules at scale

lamemustafa
and
claude
committed
407b782
Merge remote-tracking branch 'origin/master' into claude/recursing-mirzakhani-94af40
lamemustafa
committed
5e3ed29
Fix the review findings, and the candidate quality live data exposed

lamemustafa
and
claude
committed
81bc763
Scope fallback assignment to the report it came from

lamemustafa
and
claude
committed
eea460e
Address the four findings the fixes themselves generated

lamemustafa
and
claude
committed
5dba3fe
Keep period labels out of code identifiers, and drop a quadratic scan

lamemustafa
and
claude
committed
acef951
Seed identifier-bearing ledgers, and fix what they immediately exposed

lamemustafa
and
claude
committed
aa9f4fb
Recognize period labels by shape, and bound the report at its source

lamemustafa
and
claude
committed
b87c8a3
Make the comparison key an explicit contract point

lamemustafa
and
claude
committed
03280f2
Name the channel a parked identity must travel in

lamemustafa
and
claude
committed
eaf3dd7
Say in the producer's contract that an empty candidate list is three facts

lamemustafa
and
claude
committed
46a157d
Follow Tally's own rule for master sameness, and type the candidate listing

lamemustafa
and
claude
committed
a6d95ad
Close the six findings the contract change generated

lamemustafa
and
claude
committed
168e094
Stop a weaker rule reinstating a withheld family, and make Listed serializable

lamemustafa
and
claude
committed
c7cccbc
Test periods on the raw token, and let conflicting identifiers outrank a name

lamemustafa
and
claude
committed
044a7d5
Treat a non-ASCII name as a name, and a mask as identifying nothing

lamemustafa
and
claude
committed
bc80222

Commits on Sep 11, 2026

Keep provenance per identifier rather than flattening it

lamemustafa
and
claude
committed
1406ada
Reject mask punctuation before extracting a numeric identifier

lamemustafa
and
claude
committed
3421266
Decide which proposed vouchers are already in the book

lamemustafa
and
claude
committed
3fbbc41
Bound the completeness claim to what the window read actually proves

lamemustafa
and
claude
committed
b766619
Correct the idempotency premise this contract was argued from

lamemustafa
and
claude
committed
f5554f9
Record that an empty candidate list is a recurring cross-surface trap

lamemustafa
and
claude
committed
8c2d884
Name what a caller may do about a difference, because the obvious move

lamemustafa
and
claude
committed
d1b63c5
Hold this contract's own candidate list to the rule it asked of its producer

lamemustafa
and
claude
committed
d78ac8d
Name the destructive default where a consumer actually looks

lamemustafa
and
claude
committed
925a00f
Fix nine review findings, four of which could drop an invoice silently

lamemustafa
and
claude
committed
f5e233f
Fix three more findings, one of them a claim my own new test made falsely

lamemustafa
and
claude
committed
a447209
Resolve both identities before either settles, and never settle on unread

lamemustafa
and
claude
committed
9ae3b0a
Consume the typed candidate listing, and delete what it made redundant

lamemustafa
and
claude
committed
c6542c9
Delete what nothing reads, and let the schema be the only copy of a bound

lamemustafa
and
claude
committed
c2d9ebe
Fix five more findings, and correct four ADR claims a peer lane disproved

lamemustafa
and
claude
committed
0307e57
Reseal after rebasing onto the current binding head

lamemustafa
and
claude
committed
1ade8ce
Cap the candidate list before cloning it, not after

lamemustafa
and
claude
committed
28625fd
Repair what five restructurings did to this file's own explanations

lamemustafa
and
claude
committed
f892581
Withhold absence when the source offered nothing decisive

lamemustafa
and
claude
committed
171f9a2
Say which absences the withholding rule does not cover

lamemustafa
and
claude
committed
19981cf
Price the two writer-key failures separately, because only one disqualifies

lamemustafa
and
claude
committed
63c065b
Assert this contract's pins, because the gate structurally cannot

lamemustafa
and
claude
committed
a739946
Stop a collision from hiding what the proposal resembled, and bound the key

lamemustafa
and
claude
committed
ef5d102
Rank candidates once, and stop identity settles hiding what they reached

t
and
claude
committed
b1e1f2b
Take the resemblance union once, and pin the contract's own statement

t
and
claude
committed
d12ab07
Keep the shortening marker from costing a character of content

t
and
claude
committed
5d92e42
Refuse a short catalogue, a late party parse, and an unpinned schema leaf

t
and
claude
committed
47491dd
Replay the engagement against a live book, and stop observations costing it

t
and
claude
committed
e19d9a5
Make the live replay keep the promises its own header makes

t
and
claude
committed
726ab63

Commits on Sep 12, 2026

Declare numbering for the rows the replay actually proposes

t
and
claude
committed
0264f72
Compare a voucher number on what was measured, not on a borrowed key

t
and
claude
committed
b8ea717
Record what the widened re-read cost and why it does not close the gap

t
and
claude
committed
9cc3b0a
fix: fail closed voucher presence qualification
t
committed
f28ad1e
Merge remote-tracking branch 'origin/master' into tapish-codex/rectify-pr294-20260912
t
committed
04fc05a
fix: make voucher presence observations deterministic
t
committed
0978559
docs: disclose unqualified presence windows
t
committed
89da340
chore: reseal voucher presence coverage
t
committed
91bb788
Merge remote-tracking branch 'origin/master' into tapish-codex/rectify-pr294-20260912
t
committed
c56123c
rectify voucher presence identity and bounds
t
committed
6d5fba1
Integrate accepted test isolation baseline and refresh presence pins
t
committed
20df11d
Merge current master into voucher presence rectification
t
committed
9d96920
Fix voucher presence contract assertions
t
committed
bc6c20c
Reject incomplete voucher presence input
t
committed
d648b97
fix: bound published schema pattern admission
t
committed
7a561b0
Harden voucher presence evidence boundaries
t
committed
0ab7632
Cover complete presence catalogs in rule tests
t
committed
ff8ed1b
Keep exact observed ledger coverage
t
committed
43dbbfc
Document exact presence catalog coverage
t
committed
7f68807
fix(presence): refuse conflicting identity and bound comparisons
t
committed
d444c90
style: format presence repair files
t
committed
634ff17
chore: reseal compatibility surface
t
committed
0e55c62
fix(presence): bound indexed resemblance work
t
committed
e21576b
chore: reseal compatibility surface after work bound
t
committed
9ef08d1
Refuse contradictory observed remote identities
t
committed
db36f57
fix(presence): bound weighted party resolution
t
committed
bb6f263
chore: reseal presence compatibility surface
t
committed
f846273
docs: complete presence candidate rule contract
t
committed
ca673ee
fix(presence): bound raw book observations
t
committed
e61354c
fix(presence): share raw observation admission
t
committed
91e9e98
chore(compatibility): reseal presence boundary
t
committed
cd38b8e
test(presence): cover aggregate raw observation boundaries
t
committed
9f987ce
Verify the adjacent raw-byte admission boundary
t
committed
1226900
Integrate current catalogue master and reseal presence surface
t
committed
734ae12
Reseal the retained presence surface with its matching tool
t
committed
5b967f1
test(presence): retain exact candidate count semantics
t
committed
ead47bf
Bound raw voucher proposal admission
t
committed
4f5d393
Require admitted proposal batches
t
committed
935c506
test: qualify exact raw admission boundaries
t
committed
6ce6e0c
fix: retain remote evidence precedence
t
committed
592ec06
test: expose voucher type presence differences
t
committed
47f7863
refactor: share presence resemblance reporting
t
committed
96f3b14
chore: reseal presence compatibility surface
t
committed
ef0c780
test: cover unread remote resemblance reasons
t
committed
49fb656
fix: bind presence request schemas to compatibility evidence
t
committed
17bfe97

Commits on Sep 15, 2026

Degrade a partial window to possibly_present instead of refusing it (#397)

authored
7154923
Merge master into claude/voucher-presence and reseal the pin set

t
and
claude
committed
95b5f49
Update the live replay to the post-#397 presence contract

t
and
claude
committed
30aa04b
Bind the party-difference test to a spelling that still binds

t
and
claude
committed
1a62ea9
Let the live presence replay scope its read to one voucher type

t
and
claude
committed
78e2237
Restore the party-difference test's subject, and reseal

lamemustafa
and
claude
committed
64b8666
Read an absent party as absent, not as a party named ""

lamemustafa
and
claude
committed
f70c2b3
Merge remote-tracking branch 'origin/master' into sync/294
lamemustafa
committed
5c30ae6
Reseal after merging master

lamemustafa
and
claude
committed
d06596a