← all scenariosDETERMINISTIC EXECUTION GOLDEN

Simultaneous Ancestor Expiry

T1 and T3 expire atomically; authored ancestry selects only the earlier T1 recovery.

AncestorExpiry@1@15 nodes10 edges5 ticks
AUTHORED / COMPILED CONTEXT

Semantic graph

approvedterminal
TEST
T1review→T2review→T3review→T4review
0
TICK 1

Start workflow

Input: start

WAITING
ACTIVE / CURRENTt1
approvedterminal
TEST
T1#1 WAITING→T2review→T3review→T4review

Edge evaluation

Evaluated

  • No evaluated-edge detail recorded.

Traversed

  • No edge traversed in this tick.

Review requests

ActivationTaskIdempotency key
t1 #1review:scenario:simultaneous_ancestor_expiry/t1/1scenario:simultaneous_ancestor_expiry/t1/1

Join state

No persisted join state.

Activation history · 1
SeqNodeAct.StatusResult / task
1t1#1WAITINGreview:scenario:simultaneous_ancestor_expiry/t1/1
1
TICK 2

Complete t1

Input: complete_latest

WAITING
ACTIVE / CURRENTt2
approvedterminal
TEST
T1#1 COMPLETE→T2#1 WAITING→T3review→T4review

Edge evaluation

Evaluated

  • e1t1 → t2authored_completion

Traversed

  • e1t1 → t2authored_completion

Review requests

ActivationTaskIdempotency key
t2 #1review:scenario:simultaneous_ancestor_expiry/t2/1scenario:simultaneous_ancestor_expiry/t2/1

Join state

No persisted join state.

Activation history · 2
SeqNodeAct.StatusResult / task
1t1#1COMPLETEresult-t1
3t2#1WAITINGreview:scenario:simultaneous_ancestor_expiry/t2/1
2
TICK 3

Complete t2

Input: complete_latest

WAITING
ACTIVE / CURRENTt3
approvedterminal
TEST
T1#1 COMPLETE→T2#1 COMPLETE→T3#1 WAITING→T4review

Edge evaluation

Evaluated

  • e2t2 → t3authored_completion

Traversed

  • e2t2 → t3authored_completion

Review requests

ActivationTaskIdempotency key
t3 #1review:scenario:simultaneous_ancestor_expiry/t3/1scenario:simultaneous_ancestor_expiry/t3/1

Join state

No persisted join state.

Activation history · 3
SeqNodeAct.StatusResult / task
1t1#1COMPLETEresult-t1
3t2#1COMPLETEresult-t2
5t3#1WAITINGreview:scenario:simultaneous_ancestor_expiry/t3/1
3
TICK 4

Complete t3

Input: complete_latest

WAITING
ACTIVE / CURRENTt4
approvedterminal
TEST
T1#1 COMPLETE→T2#1 COMPLETE→T3#1 COMPLETE→T4#1 WAITING

Edge evaluation

Evaluated

  • e3t3 → t4authored_completion

Traversed

  • e3t3 → t4authored_completion

Review requests

ActivationTaskIdempotency key
t4 #1review:scenario:simultaneous_ancestor_expiry/t4/1scenario:simultaneous_ancestor_expiry/t4/1

Join state

No persisted join state.

Activation history · 4
SeqNodeAct.StatusResult / task
1t1#1COMPLETEresult-t1
3t2#1COMPLETEresult-t2
5t3#1COMPLETEresult-t3
7t4#1WAITINGreview:scenario:simultaneous_ancestor_expiry/t4/1
4
TICK 5

Expire t1, t3

Input: expire

WAITING
ACTIVE / CURRENTt1t4
approvedterminal
TEST
T1#2 WAITING→T2#1 COMPLETE→T3#1 INVALID→T4#1 WAITING

Edge evaluation

Evaluated

  • e10t4 → t3result_expired
  • e5approved → t1result_expired
  • e6t2 → t1result_expired
  • e7t3 → t1result_expired
  • e8t4 → t1result_expired
  • e9approved → t3result_expired

Traversed

  • e8t4 → t1result_expired

Review requests

ActivationTaskIdempotency key
t1 #2review:scenario:simultaneous_ancestor_expiry/t1/2scenario:simultaneous_ancestor_expiry/t1/2

Join state

No persisted join state.

Activation history · 5
SeqNodeAct.StatusResult / task
1t1#1INVALIDresult-t1
3t2#1COMPLETEresult-t2
5t3#1INVALIDresult-t3
7t4#1WAITINGreview:scenario:simultaneous_ancestor_expiry/t4/1
9t1#2WAITINGreview:scenario:simultaneous_ancestor_expiry/t1/2