docs(tally): four findings left open when #306 was merged too early - #314

Merged

lamemustafa merged 52 commits into

fix/306-followups

Sep 15, 2026

Commits on Sep 12, 2026

docs(tally): four findings left open when #306 was merged too early

t
and
claude
committed
2ac63cc
docs(tally): directional case fold, NFC withdrawal reaches every site

t
and
claude
committed
22990f8
docs(tally): scope the name fold to its baseline, keep the one proven dedupe

t
and
claude
committed
e8d2bad
docs(tally): one name-matching rule per step, and let it be the gated one

t
and
claude
committed
0f3710d
docs(tally): narrow the 9.8 exception to the case 9.8 actually measured

t
and
claude
committed
3ba9a43
docs(tally): withdraw a licence claim I inferred rather than measured

t
and
claude
committed
96fce0f
docs(tally): exact-only is the right rule for binding and the wrong one for creating

t
and
claude
committed
32f5613
docs(tally): a detector must be wider than a binder, not the same rule reversed

t
and
claude
committed
3f7e432
docs(tally): the guard ran after the write it was meant to prevent

t
and
claude
committed
29a00c0
Rectify master-create prerequisites and identity policy scope
t
committed
8405c0c
Keep unknown-outcome recovery read-only across active guidance
t
committed
df3e8da
docs(tally): keep unknown outcomes out of dispatchable state
t
committed
0fd62ba
docs(tally): require intent fields before binding existing masters
t
committed
a1d155e
docs(tally): align scoped qualification and held recovery across plans
t
committed
4efd8db
docs: keep slash matching directional
t
committed
3e23b3d
docs: limit Silver slash comparison direction
t
committed
a26d985
docs(tally): four findings left open when #306 was merged too early

t
and
claude
committed
6e017d2
docs(tally): directional case fold, NFC withdrawal reaches every site

t
and
claude
committed
bc36768
docs(tally): scope the name fold to its baseline, keep the one proven dedupe

t
and
claude
committed
9f228ee
docs(tally): one name-matching rule per step, and let it be the gated one

t
and
claude
committed
e49fc5e
docs(tally): narrow the 9.8 exception to the case 9.8 actually measured

t
and
claude
committed
3067545
docs(tally): withdraw a licence claim I inferred rather than measured

t
and
claude
committed
36342e1
docs(tally): exact-only is the right rule for binding and the wrong one for creating

t
and
claude
committed
67ea110
docs(tally): a detector must be wider than a binder, not the same rule reversed

t
and
claude
committed
1e1cbc1
docs(tally): the guard ran after the write it was meant to prevent

t
and
claude
committed
f6e12a9
docs(tally): a measured row is directional, and its reverse is not measured

t
and
claude
committed
2c6bcf9
chore(tally): reseal the surface after rebasing onto #310

t
and
claude
committed
cf58441
docs(tally): a fold belongs at lookup, never in the key — and the race is detected, not prevented

t
and
claude
committed
c0ea05b
Merge commit 'b4c029d6f525badcca466ea9ee4a54e52e22677e' into tapish-codex/rectify-pr314-20260912
t
committed
98ec2c6
Merge commit 'cf58441b99f85f50693162ae2f014a7903510f4e' into tapish-codex/rectify-pr314-20260912
t
committed
d2fb266
chore(tally): reseal merged 314 surface
t
committed
f023e92
docs(tally): four findings left open when #306 was merged too early

t
and
claude
committed
2a8236c
docs(tally): directional case fold, NFC withdrawal reaches every site

t
and
claude
committed
0e7add7
docs(tally): scope the name fold to its baseline, keep the one proven dedupe

t
and
claude
committed
e470315
docs(tally): one name-matching rule per step, and let it be the gated one

t
and
claude
committed
dd8c4e6
docs(tally): narrow the 9.8 exception to the case 9.8 actually measured

t
and
claude
committed
791ee1b
docs(tally): withdraw a licence claim I inferred rather than measured

t
and
claude
committed
3127c77
docs(tally): exact-only is the right rule for binding and the wrong one for creating

t
and
claude
committed
9287a32
docs(tally): a detector must be wider than a binder, not the same rule reversed

t
and
claude
committed
9a37785
docs(tally): the guard ran after the write it was meant to prevent

t
and
claude
committed
c67632f
docs(tally): a measured row is directional, and its reverse is not measured

t
and
claude
committed
f71e661
docs(tally): a fold belongs at lookup, never in the key — and the race is detected, not prevented

t
and
claude
committed
d867914
chore(tally): reseal after rebasing onto master

t
and
claude
committed
e6541f3
Merge commit 'c0ea05b91d034ceed64e4d5da5fe929442d61d23' into tapish-codex/rectify-pr314-20260912
t
committed
396e3b7
docs(tally): do not prescribe a recovery that does not exist

t
and
claude
committed
ed632dc
Merge branch 'tapish-codex/preserve314-e654-20260912' into tapish-codex/rectify-pr314-20260912
t
committed
52526b8
Merge commit 'aa859e91714714a7461826b87ddbfd217e5b2475' into tapish-codex/rectify-pr314-20260912
t
committed
c5f4a48
Reconcile measured provenance and unavailable create pre-images
t
committed
9e528d2
Scope encoding observation to the provenance actually retained
t
committed
ea3819b
docs(tally): a pre-read is a check, not a mutation-time guarantee

t
and
claude
committed
1e80961
Reconcile policy location and withdraw stale replay acceptance
t
committed
af4727e

Commits on Sep 15, 2026

Merge master into fix/306-followups and reconcile the fold narrative

t
and
claude
committed
97375e2