Kral e3f5dcd668 G0181 failure analysis (int8 in SALV), W7B results

2026-10-03 19:16:56 +02:00

..

faulty

Fix coverage with several contract classes; table annotation and file path checks; clean task dir on write

2026-10-03 08:44:35 +02:00

hidden

Fix coverage with several contract classes; table annotation and file path checks; clean task dir on write

2026-10-03 08:44:35 +02:00

reference

Fix coverage with several contract classes; table annotation and file path checks; clean task dir on write

2026-10-03 08:44:35 +02:00

empirical.json

G0181 failure analysis (int8 in SALV), W7B results

2026-10-03 19:16:56 +02:00

generation.json

Fix coverage with several contract classes; table annotation and file path checks; clean task dir on write

2026-10-03 08:44:35 +02:00

mutation.json

Fix coverage with several contract classes; table annotation and file path checks; clean task dir on write

2026-10-03 08:44:35 +02:00

review.json

ADT fallback: Accept headers for FUNC; G0189 accepted; regen2 results

2026-10-03 16:31:03 +02:00

spec.md

Fix coverage with several contract classes; table annotation and file path checks; clean task dir on write

2026-10-03 08:44:35 +02:00

task.json

Step F first pass: 81/92 accepted; budget floor 60 calls; rejected slots moved for regeneration

2026-10-03 12:10:52 +02:00