Marius Ciepluch c5341d79a2 measure(prover): gate 1 on the 23-repo training pool: recall 65.2% (Wilson 44.9-81.2), 15.0 FA/100, 0 instrument failures; 4/5 on the hunt overlap incl. trigger.dev

2026-10-28 18:59:01 +01:00

..

kube-ax.md

search-with-proof: split compressed verifier archives, isolated pip installs, verifier module paths

2026-10-06 11:15:09 +02:00

operator-notifications.md

steering: operator Discord notifications for OpenUltraSAST process status

2026-10-09 11:58:10 +02:00

overview.md

spec/steering: the decision strategy corrected: software features do not decide safety; the trace does, the pool measures and never trains

2026-10-14 19:40:12 +02:00

roadmap.md

measure(prover): gate 1 on the 23-repo training pool: recall 65.2% (Wilson 44.9-81.2), 15.0 FA/100, 0 instrument failures; 4/5 on the hunt overlap incl. trigger.dev

2026-10-28 18:59:01 +01:00

safety-net.md

spec+docs(search-with-proof): record first cluster demonstration + fixed-side negative [skip ci]

2026-10-07 13:25:52 +02:00

storage-streaming.md

docs(g0): record the 2026-10-11 state and readiness plan; bucket-first + image provenance

2026-10-11 08:17:06 +02:00