core/evals/constraint_oracle
Shay 710743c38f
feat(verified): P1-C — split bound_slots_digest into separate obligation
Adds bound_slots_digest as a distinct VerificationProof obligation before any serving wiring. Keeps the VERIFIED lane off-serving while separating derivation, stated-slot binding, and back-substitution.
2026-06-08 17:17:31 -07:00
..
__init__.py
__main__.py
r2_gold.jsonl
runner.py
signature.py
verified_producer.py feat(verified): P1-C — split bound_slots_digest into separate obligation 2026-06-08 17:17:31 -07:00