fix: six defects in the engine, and the v15 campaign that measures them - #65

Open

GuilhermeBn198 wants to merge 14 commits into

fix/slice-target-stub

Commits on Aug 24, 2026

fix(assume): the XCSP family spells it "assume", and spelling was the bug

GuilhermeBn198
and
claude
committed
ce26f01
fix(slice): give the criterion function back its body before linking

GuilhermeBn198
and
claude
committed
57a0d12
fix(verdict): do not report FAILED for a violation nothing can reproduce

GuilhermeBn198
and
claude
committed
621db93
test: chain the v12 regression sweep and the v13 guard measurement

GuilhermeBn198
and
claude
committed
8472427
fix(budget): always reach a verdict, and always flush it

GuilhermeBn198
and
claude
committed
a377611
test: point the chained measurement at v14

GuilhermeBn198
and
claude
committed
43f245a
fix(slice): bound the slicer too

GuilhermeBn198
and
claude
committed
336dc06
test: run v14 at the competition budget, with CASTLE and Juliet beside it

GuilhermeBn198
and
claude
committed
b81780f
test: build the v14 paper run -- 4939 tasks at the competition budget

GuilhermeBn198
and
claude
committed
241adb2
test: 72h deadline, and six shards for the half that needs them

GuilhermeBn198
and
claude
committed
bf77658

Commits on Aug 25, 2026

fix(klee): --max-time takes integer seconds, and a fraction kills the run

GuilhermeBn198
and
claude
committed
e9129dd
test: relaunch the paper run on v15, gated behind its own validation

GuilhermeBn198
and
claude
committed
fae19a0

Commits on Aug 27, 2026

docs(v15): the paper run's report, and stop versioning campaign results

GuilhermeBn198
and
claude
committed
3c24375
chore: campaign results out of the repository

GuilhermeBn198
and
claude
committed
475454b