UC-21 · Group E — Optional
Replay the limit decision
Re-run the UC-15 checks against what the system knew at the time, and the verdicts come back identical — the ledger is bitemporal.
Showing
The UC-15 control-rule expressions re-run at the original knowledge_date, returning identical verdicts from the bitemporal ledger.
Proves
A limit decision is audit evidence, not a transient check: the per-transaction-type domain is bitemporal through the Calculation Engine's native as-of and knowledge-date context model.
How
A live GET /observation/transactions/realized with as_of and knowledge_date filters replays exactly the domain the original evaluation saw, and the rule expressions evaluate to the same verdicts.
Claim 6L3LEVEL_3_GRANTED_OPERATIONACTOR: LIVELIVE
“A limit decision is audit evidence, not a transient check.”