AI Outcomes Logged

error

ai_outcomes_logged

ai-supervision auditability pure_temporal ai-governancesupervisoryioscorecordkeepingrag-redtier-2-4

Every AI decision or output is recorded, with the model version that produced it, throughout the AI system lifecycle.

Formula

G((Decision ∨ Output) → logged ∧ model_version_recorded)

Why it matters

IOSCO Table 6.1/6.3: documentation and logs maintained across the lifecycle (design → retirement), including model versioning, to support auditability of AI-generated outcomes.

Examples

passes Output with logged and model_version_recorded

fails an AI Output with no record of the model version used

Use it

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