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

..

access-control-prover

feat(prover): delivery D: control flow decides dominance; the trace carries each guard's relation, effect and the operation's control context

2026-10-14 19:01:07 +02:00

ai-service-plane

docs: plain-English pass over the active specs

2026-10-12 18:16:41 +02:00

authorization-obligations

docs: plain-English pass over the active specs

2026-10-12 18:16:41 +02:00

contributor-scan

docs: plain-English pass over the active specs

2026-10-12 18:16:41 +02:00

corpus-seeded-mechanisms

docs: plain-English pass over the active specs

2026-10-12 18:16:41 +02:00

engine-change-scoped-analysis

docs: plain-English pass over the active specs

2026-10-12 18:16:41 +02:00

finding-feedback-loop

docs: plain-English pass over the active specs

2026-10-12 18:16:41 +02:00

flow-aware-ranking

docs: plain-English pass over the active specs

2026-10-12 18:16:41 +02:00

hunter-learning-loop

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

ir-consolidation

docs: plain-English pass over the active specs

2026-10-12 18:16:41 +02:00

learned-decision-engine

docs: plain-English pass over the active specs

2026-10-12 18:16:41 +02:00

mcp-shift-left-agent

docs: plain-English pass over the active specs

2026-10-12 18:16:41 +02:00

model-grounded-detection

docs: plain-English pass over the active specs

2026-10-12 18:16:41 +02:00

pair-corpus-honesty

docs: plain-English pass over the active specs

2026-10-12 18:16:41 +02:00

plane-on-kubernetes

docs: plain-English pass over the active specs

2026-10-12 18:16:41 +02:00

pre-push-safety-net

docs: plain-English pass over the active specs

2026-10-12 18:16:41 +02:00

proof-arm-opencode

docs: plain-English pass over the active specs

2026-10-12 18:16:41 +02:00

propose-adjudicate-prove

docs: plain-English pass over the active specs

2026-10-12 18:16:41 +02:00

reachability-flow-model

docs: plain-English pass over the active specs

2026-10-12 18:16:41 +02:00

search-with-proof

docs: plain-English pass over the active specs

2026-10-12 18:16:41 +02:00

tree-sitter-overlay-extra

docs: plain-English pass over the active specs

2026-10-12 18:16:41 +02:00

valid-detection-benchmark

feat(benchmark): hunter arm runner and combiner (group 6)

2026-10-12 20:29:03 +02:00

zero-with-a-reason

docs: plain-English pass over the active specs

2026-10-12 18:16:41 +02:00