Marius CiepluchandClaude Fable 5.1 2f628b921b feat(prover): delivery C: the ordered trace with argument provenance for every examined pair ...

Codex delivery under spec access-control-prover, requirement 9. `semantic/obligations/trace.py` serialises each
(entry, operation) pair the prover examined, discharged or unguarded: the entry with its boundary, access and
parameters; each hop in order with its call line, the guards before the call and the values forwarded; the
operation with the provenance of each argument traced through the function's binds; the guards after it; the
verdict. One canonical text form and one JSON form, no language, framework, repository, size or count fields.
The prover result, the arm record and each unguarded finding carry the traces. On the ec2-plugin fix: 32
traces, 4 unguarded. Gate: 3534 tests pass; the reserved-repository guard passes on the tracked export.

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

2026-10-14 18:22:45 +02:00

..

archive

ci: green again -- format and lint the whole tree; push the scan and runner images to GHCR on tags

2026-10-02 20:09:28 +02:00

ax

search-with-proof: no-model demo replay (executor + verifier on a stored demo)

2026-10-06 14:50:14 +02:00

dev

ci: green again -- format and lint the whole tree; push the scan and runner images to GHCR on tags

2026-10-02 20:09:28 +02:00

experiments

learn: exp-005 graph slice -- inconclusive (within-pair AUC 0.762 -> 0.746, CI [-0.063, 0.032]); unsure rate 0.29 -> 0.24; fill \$1.59

2026-10-03 16:58:37 +02:00

fixtures

feat(ruleset): PHP quick-mode rules from the engine's vocabulary, measured on the development corpus

2026-09-30 15:05:47 +02:00

independent

refactor(p1): one source-facts module owns function ranges, callers, declaration tables and language aliases

2026-10-13 12:00:37 +02:00

learn

refactor(p1): one source-facts module owns function ranges, callers, declaration tables and language aliases

2026-10-13 12:00:37 +02:00

manifests

feat(ruleset): PHP quick-mode rules from the engine's vocabulary, measured on the development corpus

2026-09-30 15:05:47 +02:00

measurements

fix(hunt): build output gets no candidate rows, a minified line is not scanned once per function, the screen checkpoints every change

2026-10-14 13:24:45 +02:00

pairs

fix(p1,p0): restore the pre-P1 range contract for two callers; docs link and maintainer paths

2026-10-13 16:15:32 +02:00

push

chore(p0): drop never-enabled hunter tools, test-only functions and receiver delivery

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

ranking

feat(pre-push-safety-net): preserve uncertainty in benchmark scoring

2026-09-12 19:04:20 +02:00

repos

feat(pre-push-safety-net): pin labeled evaluation inputs

2026-09-12 18:45:54 +02:00

search

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

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

unseen

fix(bench): an unparsable file in one ordinary commit no longer ends a repository's history walk

2026-10-14 08:42:25 +02:00

valid

feat(prover): delivery C: the ordered trace with argument provenance for every examined pair

2026-10-14 18:22:45 +02:00