Marius Ciepluch 0d2b4cf15d docs(spec) access-control-prover: abstract-interpretation amendment -- evidence algebra, stable symbols, label-blind acquisition, admission discipline

2026-10-29 13:31:40 +01:00

..

breadth-map.md

docs(spec) access-control-prover: abstract-interpretation amendment -- evidence algebra, stable symbols, label-blind acquisition, admission discipline

2026-10-29 13:31:40 +01:00

code-standards.md

docs(spec,steering): lift access-control-prover to capability level; engine/target split, pattern discipline, complexity caps, breadth map

2026-10-29 12:27:44 +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

docs(roadmap): gate 5 decision -- fix trace resolution first, injection spec deferred

2026-10-28 20:12:37 +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

terminology.md

docs(steering): terminology rule -- name the behavior, not the virtue

2026-10-29 11:57:51 +01:00