docs(spec): leg 4 — taint(), the query sweep's policy layer - #383

Merged

rahlk merged 6 commits into

release/2.0from

docs/issue-382-leg-4-taint

Sep 11, 2026

Commits on Sep 9, 2026

docs(spec): leg 4 — taint() as a refutation instrument
rahlk
committed
d29d21f
docs(spec): name the field for what it certifies — exhausted, not refuted
rahlk
committed
629c1de
docs(spec): correct §2 — Python's value traversals are scoped by id, not unscoped
rahlk
committed
7dba5f6
docs(plan): leg 4 — the shared path skeleton, then taint()
rahlk
committed
cc5de97
docs: #195 is fixed upstream, and correct the byte-identical claim
rahlk
committed
d182920
docs(plan): correct 4a Task 2's brace assertion, and pin which backend scopes what
rahlk
committed
4e10050