ci(asvs): wire --prove-absences to something, and report what it scanned - #304

Open

wshallwshall wants to merge 10 commits into

mainfrom

Commits on Aug 9, 2026

brief: the work order for this stream, and the paths it owns exclusively
wshallwshall
committed
3df6935
ci(asvs): wire --prove-absences into a scheduled job, and make it report what it scanned
wshallwshall
committed
abd851f
backlog: BACKLOG #1203 -- the owner decision the prove-absences wiring leaves open
wshallwshall
committed
050e609
chore: drop BRIEF.md, a session work order rather than a repo artifact
wshallwshall
committed
73f5e13
docs(ci): name the new advisory ASVS job, and say up front that it is red
wshallwshall
committed
82a8944
fix(asvs): let the summary parser survive the one change worth making to that line
wshallwshall
committed
ae3b37a
fix(asvs): refuse a mutation that reddens the observable for the wrong reason
wshallwshall
committed
0baa440
fix(asvs): inventory the new crypto call site, and stop moving the prose ratchet
wshallwshall
committed
3fa2960
ci(asvs): the scheduled prove pass belongs in the vault, so drop the cron here
wshallwshall
committed
ff2f001
Merge branch 'main' into asvs-assurance
wshallwshall
authored
62dff8a