E-903: document enforcement workflow and troubleshooting

E-902: validate webhook pilot enforcement evidence

E-901: wire verify enforcement into CI

E-803: persist manifest verification stage records

E-802: enforce verification coverage thresholds

E-801: enforce clause traceability mappings

E-702: add semgrep enforcement runner

E-701: execute OPA policies through repository runner

add pyright dependency to development environment

E-603: execute generated invariant assertions

E-602: execute generated pytest-bdd bindings

E-601: add verify command and stage result model

add AGENTS.md: document purpose, environment setup, coding instructions, and workflows for the intentc compiler

add enforcement framework: implement enforcement backlog, progress log, and task status; update prompts and scripts

add loop prompt for executing next pending IntentC task