Outputs Policy-Constrained (C3)
erroroutputs_policy_constrained
Capability C3 (Policy-Constrained Drafting): drafted outputs must comply with approved templates and policy rules.
Formula
G(Draft → template_compliant) Why it matters
Szpruch C3 failure mode: approval-gate reasoning-around or prohibited language in output. Drafting must produce outputs compliant with approved templates, not free-form generation.
Examples
passes Draft that is template_compliant
fails a draft that reasons around an approval gate or emits prohibited language
Use it
ponens policies add outputs_policy_constrained --into ./trace.json
ponens trace check ./trace.json