Skip to content

ci: enforce installed srdcheck result conformance - #14

Merged
chaoz23 merged 6 commits into
mainfrom
agent/srdcheck-conformance
Aug 3, 2026
Merged

chaoz23 merged 6 commits into
mainfrom
agent/srdcheck-conformance

Conversation

@chaoz23

@chaoz23 chaoz23 commented Aug 2, 2026 •

Copy link
Copy Markdown
Owner

Summary

Extends the hosted installed-wheel portfolio gate to srdcheck's
table.evaluation/1.0 projection.

This is intentionally stacked on #13 (agent/crossrepo-conformance). It pins
srdcheck#60 at exact commit
236188326fc7a1210f1d3aff3a1fc7c3ccd7bec8, builds both candidate wheels,
cold-installs them outside either checkout, and runs the public CLI boundary.

Conformance cases

  • successfully adjudicated legal query → checked_clean
  • failed saving throw remains a complete adjudication, not an illegal finding
  • illegal Mage Hand attack → findings with exact rule evidence
  • missing condition/query facts → incomplete
  • unsupported SRD content → unsupported
  • malformed query fields → invalid
  • repeated identical query/result is byte-for-byte deterministic

Every envelope is validated with the installed table-kit JSON Schema and
semantic validator. The script proves both modules are imported from the cold
environment, and every result remains self_attested.

Validation

  • six-case cold-wheel gate passes locally
  • 340 Python tests + 73 subtests pass
  • 18 Node tests pass
  • generated contract declarations, script compilation, and whitespace checks
    pass

Dependencies / sequencing

@chaoz23
chaoz23 force-pushed the agent/srdcheck-conformance branch from 851891b to 427ab98 Compare August 3, 2026 14:46
@chaoz23
chaoz23 changed the base branch from agent/crossrepo-conformance to main August 3, 2026 14:47
@chaoz23
chaoz23 marked this pull request as ready for review August 3, 2026 14:49
@chaoz23
chaoz23 merged commit a7b0bc6 into main Aug 3, 2026
5 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant