Marius CiepluchandClaude Fable 5.1 03d925fffa spec/steering: the decision strategy corrected: software features do not decide safety; the trace does, the pool measures and never trains ...

Maintainer's finding of 2026-10-14 recorded in hunter-learning-loop (a dated section that overrides the shape
annotations as the model's input), its design (amendment pointing to the prover's trace) and the steering
overview's current state.

Co-Authored-By: Claude Fable 5.1 <[email protected]>

2026-10-14 19:40:12 +02: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

docs: rename benchmark metrics to standard security terms

2026-10-12 18:24:13 +02: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