Trajectory Within Bound (Lmax)

error

trajectory_within_bound

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

The execution trajectory length must stay within the certified maximum (Lmax). Bound shown as 50; set per deployment.

Formula

count(action) ≤ 50

Why it matters

Szpruch maximum-trajectory-length guard. Exceeding Lmax indicates a runaway or looping workflow and is a Red halt; the bound is part of the certified DCE.

Examples

passes a 12-step trajectory under an Lmax of 50

fails a trajectory that exceeds the certified Lmax

Use it

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