Numeric Recomputed Deterministically (C2)

error

numeric_recomputed_deterministically

agentic-governance reasoning pure_temporal agentic-aigovernancefix-ai-wgcapabilityrag-redtier-2-4

Capability C2 (Deterministic Numeric Computation): numeric results must be recomputed by a deterministic (non-LLM) calculator, not asserted by the model.

Formula

G(Compute → deterministic_recompute)

Why it matters

Szpruch C2 failure mode: silent numeric error with LLM plausibility masking the arithmetic error. Ratios and thresholds must be recomputed deterministically.

Examples

passes Compute with deterministic_recompute of the ratio

fails a P&L figure asserted by the model without deterministic recomputation

Use it

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