Skip to content

feat: Phase E E2 example external review packet -- toy data factory with 63 tests, CI-checkable, ERP-TOY-0001 validates all rules - #898

Merged
cschanhniem merged 1 commit into
mainfrom
feat/e2-example-external-review-packet
Jul 10, 2026
Merged

cschanhniem merged 1 commit into
mainfrom
feat/e2-example-external-review-packet

Conversation

@cschanhniem

Copy link
Copy Markdown
Collaborator

Implements E2 from NEXT_100_PR_MAP: example external review packet using toy/mock data.

What

  • example_external_review_packet.py: builds ERP-TOY-0001 with 3 toy candidates (TOY-0001, TOY-0002, TOY-0003)
  • build_example_packet() factory: all TOY- prefix candidates, dry_lab_only_attestation=True, proof_ladder_level=1
  • validate_example_packet_passes(): CI-checkable gate that raises ValueError if example regresses
  • build_toy_candidate_entry(): enforces TOY- prefix, rejects non-toy IDs
  • 63 tests across TestToyConstants, TestToyCandidates, TestBuildToyCandidate, TestBuildExampleHelpers, TestBuildExamplePacket, TestValidateExamplePacket
  • BASELINE: 7528 → 7591

Why

Partners receiving external review packets need a worked example to understand the format. The example packet is CI-enforced: if validation rules change in a way that breaks the example, the test suite catches it immediately.

Disconfirming pass

  • No real candidate data; all TOY- prefix
  • dry_lab_only_attestation enforced in example
  • proof_ladder_level=1 (below dry-lab cap of 2)
  • No safety/calibration policy changed

…ith 63 tests, CI-checkable, ERP-TOY-0001 validates all rules (#898)
@cschanhniem
cschanhniem merged commit 027fa1f into main Jul 10, 2026
1 check failed
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