← all scenariosDETERMINISTIC EXECUTION GOLDEN

Independent Branch Expiry

Safety T1 and Fraud T1 expire atomically and recover in parallel because neither is an ancestor.

IndependentExpiry@1@17 nodes13 edges5 ticks
AUTHORED / COMPILED CONTEXT

Semantic graph

startautomatedjoinjoinapprovedterminal
TEST
T1reviewT1reviewT2reviewT2review
0
TICK 1

Start workflow

Input: start

WAITING
ACTIVE / CURRENTstart
start#1 WAITINGjoinjoinapprovedterminal
TEST
T1reviewT1reviewT2reviewT2review

Edge evaluation

Evaluated

  • No evaluated-edge detail recorded.

Traversed

  • No edge traversed in this tick.

Review requests

ActivationTaskIdempotency key
No review request created in this tick.

Join state

join · ALL0/2 arrivals · waiting
Activation history · 1
SeqNodeAct.StatusResult / task
1start#1WAITING
1
TICK 2

Complete start

Input: complete_latest

WAITING
ACTIVE / CURRENTfraud_t1safety_t1
start#1 COMPLETEjoinjoinapprovedterminal
TEST
T1#1 WAITINGT1#1 WAITINGT2reviewT2review

Edge evaluation

Evaluated

  • e1start safety_t1authored_completion
  • e3start fraud_t1authored_completion

Traversed

  • e1start safety_t1authored_completion
  • e3start fraud_t1authored_completion

Review requests

ActivationTaskIdempotency key
fraud_t1 #1review:scenario:independent_branch_expiry/fraud_t1/1scenario:independent_branch_expiry/fraud_t1/1
safety_t1 #1review:scenario:independent_branch_expiry/safety_t1/1scenario:independent_branch_expiry/safety_t1/1

Join state

join · ALL0/2 arrivals · waiting
Activation history · 3
SeqNodeAct.StatusResult / task
1start#1COMPLETEstart-result
3safety_t1#1WAITINGreview:scenario:independent_branch_expiry/safety_t1/1
5fraud_t1#1WAITINGreview:scenario:independent_branch_expiry/fraud_t1/1
2
TICK 3

Complete safety_t1

Input: complete_latest

WAITING
ACTIVE / CURRENTfraud_t1safety_t2
start#1 COMPLETEjoinjoinapprovedterminal
TEST
T1#1 COMPLETET1#1 WAITINGT2#1 WAITINGT2review

Edge evaluation

Evaluated

  • e2safety_t1 safety_t2authored_completion

Traversed

  • e2safety_t1 safety_t2authored_completion

Review requests

ActivationTaskIdempotency key
safety_t2 #1review:scenario:independent_branch_expiry/safety_t2/1scenario:independent_branch_expiry/safety_t2/1

Join state

join · ALL0/2 arrivals · waiting
Activation history · 4
SeqNodeAct.StatusResult / task
1start#1COMPLETEstart-result
3safety_t1#1COMPLETEsafety-result
5fraud_t1#1WAITINGreview:scenario:independent_branch_expiry/fraud_t1/1
7safety_t2#1WAITINGreview:scenario:independent_branch_expiry/safety_t2/1
3
TICK 4

Complete fraud_t1

Input: complete_latest

WAITING
ACTIVE / CURRENTfraud_t2safety_t2
start#1 COMPLETEjoinjoinapprovedterminal
TEST
T1#1 COMPLETET1#1 COMPLETET2#1 WAITINGT2#1 WAITING

Edge evaluation

Evaluated

  • e4fraud_t1 fraud_t2authored_completion

Traversed

  • e4fraud_t1 fraud_t2authored_completion

Review requests

ActivationTaskIdempotency key
fraud_t2 #1review:scenario:independent_branch_expiry/fraud_t2/1scenario:independent_branch_expiry/fraud_t2/1

Join state

join · ALL0/2 arrivals · waiting
Activation history · 5
SeqNodeAct.StatusResult / task
1start#1COMPLETEstart-result
3safety_t1#1COMPLETEsafety-result
5fraud_t1#1COMPLETEfraud-result
7safety_t2#1WAITINGreview:scenario:independent_branch_expiry/safety_t2/1
9fraud_t2#1WAITINGreview:scenario:independent_branch_expiry/fraud_t2/1
4
TICK 5

Expire safety_t1, fraud_t1

Input: expire

WAITING
ACTIVE / CURRENTfraud_t1fraud_t2safety_t1safety_t2
start#1 COMPLETEjoinjoinapprovedterminal
TEST
T1#2 WAITINGT1#2 WAITINGT2#1 WAITINGT2#1 WAITING

Edge evaluation

Evaluated

  • e10safety_t2 safety_t1result_expired
  • e11approved fraud_t1result_expired
  • e12fraud_t2 fraud_t1result_expired
  • e13join fraud_t1result_expired
  • e8approved safety_t1result_expired
  • e9join safety_t1result_expired

Traversed

  • e12fraud_t2 fraud_t1result_expired
  • e10safety_t2 safety_t1result_expired

Review requests

ActivationTaskIdempotency key
fraud_t1 #2review:scenario:independent_branch_expiry/fraud_t1/2scenario:independent_branch_expiry/fraud_t1/2
safety_t1 #2review:scenario:independent_branch_expiry/safety_t1/2scenario:independent_branch_expiry/safety_t1/2

Join state

join · ALL0/2 arrivals · waiting
Activation history · 7
SeqNodeAct.StatusResult / task
1start#1COMPLETEstart-result
3safety_t1#1INVALIDsafety-result
5fraud_t1#1INVALIDfraud-result
7safety_t2#1WAITINGreview:scenario:independent_branch_expiry/safety_t2/1
9fraud_t2#1WAITINGreview:scenario:independent_branch_expiry/fraud_t2/1
11fraud_t1#2WAITINGreview:scenario:independent_branch_expiry/fraud_t1/2
13safety_t1#2WAITINGreview:scenario:independent_branch_expiry/safety_t1/2