fix: make pattern guarantees true in code (second review, findings 1,3-6) - #12

Merged

arst merged 12 commits into

mainfrom

fix/guarantee-precision

Aug 25, 2026

Commits on Aug 25, 2026

docs: record the second review as the remediation spec

arst
and
claude
committed
37eedb1
fix(idempotency): move deduplication to the side-effect owner

arst
and
claude
committed
8bc5d76
fix(confidence): score one canonical candidate and label the result a heuristic

arst
and
claude
committed
50a66a8
fix(confidence): make the AF equivalence probe actually fail closed

arst
and
claude
committed
2f6c78c
fix(redteam): deterministic leak checks, indeterminate verdicts, real output filter

arst
and
claude
committed
61feca1
fix(redteam): tag the pair-adjacency heuristic with ponytail convention

arst
and
claude
committed
91a6f21
fix(bounded-execution): cap provider output, charge unreported usage, split iterations

arst
and
claude
committed
e98d82b
fix(bounded-execution): make Iterations vary across multiple agent invocations

arst
and
claude
committed
9dfe4d2
fix(planning): priced flights, deterministic selection, plan validation, approved idempotent booking

arst
and
claude
committed
745f35a
fix(planning): enforce argument provenance, match repo approval idiom, broaden failure catch

arst
and
claude
committed
7cee9f6
fix(planning): close decoy-argument-key bypass with per-parameter provenance contracts

arst
and
claude
committed
2a784b2
fix: close remaining precision gaps from second review (C1, I2-I7, T1-T3)

arst
and
claude
committed
cd163ab