A curated record
Two layers: atomic actions — faithful, ungameable ground truth, never rewritten — and a curated narrative the agent scrubs from the raw session. Trustworthy and worth reading.
The old code-review model is out. Agents generate too much code, too quickly, for diff-by-diff review to keep pace.
ponens makes each agent session reviewable at a higher level — a curated, verifiable reasoning trace of what was built and why, graded and governed by Computable Governance. So your quality bar and your governance keep pace with the code.
Two layers: atomic actions — faithful, ungameable ground truth, never rewritten — and a curated narrative the agent scrubs from the raw session. Trustworthy and worth reading.
Separates what was established (proved, tested, verified) from what was merely asserted — and points at where formal methods and other tools belong.
Policies are machine-checkable rules over the trace — conformance checking (temporal logic over finite traces, à la process mining) brought to AI agents. A real gate, run offline.
Emit a trace, grade it, read it in the viewer — zoom from intent-named steps down to atomic actions — and post it on the pull request, where reviewers already are.
ponens agent # the whole workflow, in one command
ponens emit -o trace.json # capture the session as a trace
ponens trace meta set trace.json m3 --title "…" # curate the narrative
ponens trace grade trace.json # the quality rubric
ponens trace check trace.json # Computable Governance — best-practice policies
ponens trace view trace.json # read the reasoning, zoomable