Skip to content

S2: retain specialised queries and match batch error reporting - #15

Merged
kiranandcode merged 3 commits into
mainfrom
s2/resident-error-reporting
Sep 11, 2026
Merged

S2: retain specialised queries and match batch error reporting#15
kiranandcode merged 3 commits into
mainfrom
s2/resident-error-reporting

Retain specialised solver queries and preserve first-round provenance

768b809
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
smoke-test (no-std)
succeeded Sep 9, 2026 in 5m 41s