← Policy gallery

no_guard_violation

agentic-governance auditability pure_temporal agentic-aigovernancefix-ai-wgtelemetryrag-redtier-2-4

No runtime guard (alignment/confidence/policy-boundary) violation may occur in the trajectory.

Formula

G(¬guard_violation)

Why it matters

Szpruch trajectory conformance: a logged guard violation (e.g. Lmax guard, policy-boundary breach) is a Red halt requiring human resolution.

Examples

passes trajectory with no guard_violation

fails a logged policy-boundary guard violation

Use it

ponens policies add no_guard_violation --into ./trace.json
ponens trace check ./trace.json