feat(core): select from explicit WCAG feasibility (#296-B) - #320

Merged

lemone112 merged 43 commits into

mainfrom

agent/issue-296b-selection

Jul 15, 2026

Commits on Jul 14, 2026

test(core): specify explicit selection contract
lemone112
committed
f4a1487
feat(core): seal explicit feasibility selection
lemone112
committed
e46288f
test(core): bind selection recheck to exact packed cell
lemone112
committed
c20bed0
test(core): ratchet selection runtime work
lemone112
committed
3524db1
build(core): advance native evidence protocol to v3
lemone112
committed
bfa1a7b
refactor(build): remove dead evidence default
lemone112
committed
5781d4a
build(core): admit native feasibility evidence v3
lemone112
committed
805fed0
build(wasm): record issue 296-b canonical candidate
lemone112
committed
5a4c936
build(wasm): admit issue 296-b canonical evidence
lemone112
committed
b777b1d
test(core): require exhaustive selection outcome
lemone112
committed
2ec438d
fix(core): expose exhaustive selection outcome
lemone112
committed
8ba6b6f
test(core): bound selection receipt byte work
lemone112
committed
076daea
fix(core): stream relation identity once per receipt
lemone112
committed
dd44b47
build(core): advance native admission protocol to v4
lemone112
committed
5e5fdb3
build(core): admit native feasibility evidence v4
lemone112
committed
72434a5
test(release): reject ephemeral evidence snapshots
lemone112
committed
b6c38b4
refactor(evidence): collapse draft native admission to v3
lemone112
committed
01718a2
fix(evidence): make feasibility admission squash-durable
lemone112
committed
3d9e426
test(selection): expose receipt ordinal vacuum
lemone112
committed
eece8a4
test(selection): bind global receipt ordinals
lemone112
committed
e8a9825
build(evidence): rebind selection receipt coverage
lemone112
committed
5a21cfa

Commits on Jul 15, 2026

test(evidence): expose durable lock drift contradiction
lemone112
committed
b9df921
fix(evidence): delegate durable lock compatibility
lemone112
committed
4c62ebd
docs(evidence): define durable lock ownership
lemone112
committed
9a0bbc0
build(evidence): admit durable lock handoff
lemone112
committed
d3d8de1
refactor(core): share selection identity grammar
lemone112
committed
6c8f66b
build(evidence): record selection review candidate
lemone112
committed
7906107
build(evidence): admit reviewed selection artifacts
lemone112
committed
08c3078
docs: bound wasm evidence applicability
lemone112
committed
bc17e27
fix(evidence): close selection review vacuums
lemone112
committed
cffc775
build(evidence): record strict-json review candidate
lemone112
committed
ea2d7a0
build(evidence): admit strict-json review artifacts
lemone112
committed
4b1cc68
fix(release): keep evidence verification source-clean
lemone112
committed
f279735
fix(evidence): remove ephemeral commit provenance
lemone112
committed
b30d2e1
refactor(evidence): make native provenance one exact cone
lemone112
committed
cfa5944
build(evidence): bind admission to exact dependency cone
lemone112
committed
746492d
docs(naming): ratchet script inventory
lemone112
committed
e6efd2c
fix(evidence): record native admission in closed build shell
lemone112
committed
70cc91b
test(evidence): separate shape from admission mutations
lemone112
committed
d196cf6
fix(evidence): bind recorder to compiled benchmark
lemone112
committed
268d8cb
build(evidence): bind closed native admission receipt
lemone112
committed
140b641
ci(evidence): recapture whole-call candidate
lemone112
committed
11ef5fa
fix(evidence): recapture bound Linux observations
lemone112
committed
b50a110