Skip to content

F1: runner lifecycle and state-holder contract (for review) #49

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
mchwang merged 44 commits into from
Sep 26, 2026
+565 −0
Merged

F1: runner lifecycle and state-holder contract (for review) #49

Changes from all commits
Commits
Show all changes
44 commits
Select commit Hold shift + click to select a range
7ad6738
Add F1 runner lifecycle and state-holder contract
mchwang Sep 25, 2026
e82e8ca
Record approved F1 lifecycle decisions
mchwang Sep 25, 2026
45b74bf
Merge main (D4) into F1 contract branch
mchwang Sep 25, 2026
50ccdad
Update F1 contract baseline for merged D4
mchwang Sep 25, 2026
883f219
Fix sentence break in F1 baseline note
mchwang Sep 25, 2026
838a1df
Address F1 contract review findings
mchwang Sep 25, 2026
1a7647a
Address F1 contract review round 2
mchwang Sep 25, 2026
ffef6ea
Define slot release for attempts that end before launch
mchwang Sep 25, 2026
1402c71
Address F1 contract review round 3 follow-ups
mchwang Sep 25, 2026
3b2bc37
Address F1 contract review round 5
mchwang Sep 25, 2026
11a1a41
Address F1 contract review round 6
mchwang Sep 25, 2026
5abca29
Address F1 contract review round 7
mchwang Sep 25, 2026
3fb2c65
Scope D leftover recovery to one database
mchwang Sep 25, 2026
26cd86b
Address F1 contract review round 9
mchwang Sep 25, 2026
801f8f4
Address F1 contract review round 10
mchwang Sep 25, 2026
8f3820d
Store every user action once for exact idempotent replay
mchwang Sep 25, 2026
f36d610
Address F1 contract review round 12
mchwang Sep 25, 2026
7de33c2
Address F1 contract review round 13
mchwang Sep 25, 2026
17cef3b
Address F1 contract review round 14
mchwang Sep 25, 2026
0a760ae
Address F1 contract review round 15
mchwang Sep 25, 2026
ae44417
Address F1 contract review round 16
mchwang Sep 25, 2026
505e5d1
Address F1 contract review round 17
mchwang Sep 25, 2026
95fae39
Address F1 contract review round 18
mchwang Sep 25, 2026
523d363
Address F1 contract review round 19
mchwang Sep 25, 2026
ad7e909
Address F1 contract review round 20
mchwang Sep 25, 2026
65d02bf
Split task-storage ownership from D's container ownership
mchwang Sep 25, 2026
7924df7
Make task-storage release order consistent
mchwang Sep 25, 2026
3fdd128
Address F1 contract review round 23
mchwang Sep 25, 2026
16b2d83
Address F1 contract review round 24
mchwang Sep 25, 2026
621dfb8
Address F1 contract review round 25
mchwang Sep 26, 2026
a17d980
Address F1 contract review round 26
mchwang Sep 26, 2026
a31ae05
Address F1 contract review round 27
mchwang Sep 26, 2026
b2e515b
Address F1 contract review round 28
mchwang Sep 26, 2026
5f4d81a
Address F1 contract review round 29
mchwang Sep 26, 2026
c230853
Address F1 contract review round 30
mchwang Sep 26, 2026
d181440
Merge main (D5) into F1 contract branch
mchwang Sep 26, 2026
6eb29e5
Update F1 contract baseline for merged D5; link D prerequisites (#51)
mchwang Sep 26, 2026
e44d04a
Allow running-to-failed when D stopped before shutdown
mchwang Sep 26, 2026
46067fa
Address F1 contract review round 32
mchwang Sep 26, 2026
05f4c26
Address F1 contract review round 33
mchwang Sep 26, 2026
d273b30
Fix step reference after startup reorder
mchwang Sep 26, 2026
d92177e
Export partial output only for stopped writable attempts
mchwang Sep 26, 2026
748b85a
Freeze task status while an attempt is active; completion requires ru…
mchwang Sep 26, 2026
2ee6fb6
Keep task storage until the terminal write on pre-launch paths
mchwang Sep 26, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Loading
Loading