ci(asvs): port the --prove-absences wiring onto current main, and make docs/CI.md honest about the vault mirror (supersedes #304) - #350

Merged

wshallwshall merged 9 commits into

mainfrom

claude/asvs-304-prove-absences-port

Aug 12, 2026

Commits on Aug 12, 2026

ci(asvs): port the --prove-absences wiring onto current main (PR #304, semantic re-read)
wshallwshall
committed
af1b1d9
merge: origin/main into the #304 prove-absences port -- 11 commits, zero file overlap
wshallwshall
committed
1121539
test(asvs): make the prover's two SILENT failure modes reddable, and stop a comment anchor rotting
wshallwshall
committed
98ac1a9
merge: origin/main into the #304 port -- pick up #1229 and the coord mail TTL
wshallwshall
committed
ea4762d
merge: origin/main into the #304 port -- #1223's HTTP Digest username redaction
wshallwshall
committed
5ba0195
docs(ci): stop asserting a vault mirror of prove_report.py that no mechanism delivers
wshallwshall
committed
bb825e9
merge: origin/main into the #304 port -- #1232/#1233 filed
wshallwshall
committed
7afa62b
merge: origin/main into the #304 port -- #1096 CI caps and #1226's row reorder
wshallwshall
committed
2f9aabd
Merge branch 'main' into claude/asvs-304-prove-absences-port
wshallwshall
authored
dbc317c