Happy Path
Three reviews complete in authored order and reach approval.
Source: generated/traces/happy_path.jsonDeterministic visual and narrative traces for stateful review behavior.
Three reviews complete in authored order and reach approval.
Source: generated/traces/happy_path.jsonSafety T1 and Fraud T1 expire atomically and recover in parallel because neither is an ancestor.
Source: generated/traces/independent_branch_expiry.jsonTwo branches activate together and persist separate arrivals at an ALL join.
Source: generated/traces/parallel_join.jsonT1 expires at T3, traversing a generated recovery edge into T1 activation 2.
Source: generated/traces/retention_rollback.jsonA fresh existing T1 result satisfies the explicit T1 activation without a new task.
Source: generated/traces/reuse.jsonT1 and T3 expire atomically; authored ancestry selects only the earlier T1 recovery.
Source: generated/traces/simultaneous_ancestor_expiry.jsonThe automated check rejects and short-circuits before T1.
Source: generated/traces/terminal_reject.json