Establish a repository-wide standard for solution extraction - #1119

Merged

isPANN merged 12 commits into

1075-growth-domainfrom

codex/issue-1118-extraction-standard

Aug 6, 2026

Commits on Aug 6, 2026

document solution extraction contract
isPANN
committed
c606663
enforce exact solution extraction
isPANN
committed
9e48193
reject missing circuit factor variables
isPANN
committed
3779f49
close extraction validation gaps
isPANN
committed
53ae187
condense extraction guidance
isPANN
committed
568db90
test CLI structural extraction errors
isPANN
committed
7247280
teach exact solution extraction workflow
isPANN
committed
f74aecb
remove stale rule workflow guidance
isPANN
committed
7333843
drop legacy fixture checks
isPANN
committed
3c1fcd7
clarify extraction validation scope
isPANN
committed
8b15eaf
reject malformed SAT dominating-set witnesses
isPANN
committed
2b9630c
require shared target validation
isPANN
committed
69d35ea