CertificationAttempt

1# CertificationAttempt.intent , Temporal + lifecycle semantics (Gap 2).
2# A formal state machine + temporal guarantees. IntentLang checks the DECLARED model is
3# well-formed (reachable, no dead ends, terminals correct); OpenThunder verifies the
4# implemented reality against this same model. See docs/intent-graph.md.
5
6mission CertificationAttempt
7
8title "Take and score a certification attempt"
9
10lifecycle CertificationAttempt
11
12  state NotStarted
13  state InProgress
14  state Submitted
15  state Scored
16  state Expired
17
18  transition Start
19    from NotStarted
20    to InProgress
21
22  transition Submit
23    from InProgress
24    to Submitted
25
26  transition Score
27    from Submitted
28    to Scored
29    within 30 seconds
30
31  transition Expire
32    from InProgress
33    to Expired
34
35  terminal Scored, Expired
36
37always
38  Attempt.score is between 0 and 100
39
40eventually
41  Submitted becomes Scored
42  within 30 seconds
43
44never
45  Scored before Submitted
46
47until
48  Payment is confirmed
49  restrict Attempt from Start