# ARC-020 Lab 1
Use the synthetic cases to build Plan-to-Entitlement Contract v1. Run `python run_checks.py` to see typed states. The learner files contain no hidden oracle or answer key. Do not mutate live billing or authorization systems.