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

..

design.md

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

requirements.md

spec(access-control-prover): a guard whose passing branch alone holds the operation discharges it (effect branches)

2026-10-14 18:28:10 +02:00

research.md

spec(access-control-prover): the checker gains an opt-in premise and the unguarded_path label

2026-10-14 15:54:29 +02:00

spec.json

spec: access-control prover (requirements, gap analysis, design, tasks)

2026-10-14 15:51:25 +02:00

tasks.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