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

Merged

mchwang merged 44 commits into

mainfrom

docs/f1-runner-lifecycle-contract

Sep 26, 2026

Commits on Sep 25, 2026

Add F1 runner lifecycle and state-holder contract

mchwang
and
claude
committed
7ad6738
Record approved F1 lifecycle decisions

mchwang
and
claude
committed
e82e8ca
Merge main (D4) into F1 contract branch
mchwang
committed
45b74bf
Update F1 contract baseline for merged D4

mchwang
and
claude
committed
50ccdad
Fix sentence break in F1 baseline note

mchwang
and
claude
committed
883f219
Address F1 contract review findings

mchwang
and
claude
committed
838a1df
Address F1 contract review round 2

mchwang
and
claude
committed
1a7647a
Define slot release for attempts that end before launch

mchwang
and
claude
committed
ffef6ea
Address F1 contract review round 3 follow-ups

mchwang
and
claude
committed
1402c71
Address F1 contract review round 5

mchwang
and
claude
committed
3b2bc37
Address F1 contract review round 6

mchwang
and
claude
committed
11a1a41
Address F1 contract review round 7

mchwang
and
claude
committed
5abca29
Scope D leftover recovery to one database

mchwang
and
claude
committed
3fb2c65
Address F1 contract review round 9

mchwang
and
claude
committed
26cd86b
Address F1 contract review round 10

mchwang
and
claude
committed
801f8f4
Store every user action once for exact idempotent replay

mchwang
and
claude
committed
8f3820d
Address F1 contract review round 12

mchwang
and
claude
committed
f36d610
Address F1 contract review round 13

mchwang
and
claude
committed
7de33c2
Address F1 contract review round 14

mchwang
and
claude
committed
17cef3b
Address F1 contract review round 15

mchwang
and
claude
committed
0a760ae
Address F1 contract review round 16

mchwang
and
claude
committed
ae44417
Address F1 contract review round 17

mchwang
and
claude
committed
505e5d1
Address F1 contract review round 18

mchwang
and
claude
committed
95fae39
Address F1 contract review round 19

mchwang
and
claude
committed
523d363
Address F1 contract review round 20

mchwang
and
claude
committed
ad7e909
Split task-storage ownership from D's container ownership

mchwang
and
claude
committed
65d02bf
Make task-storage release order consistent

mchwang
and
claude
committed
7924df7
Address F1 contract review round 23

mchwang
and
claude
committed
3fdd128
Address F1 contract review round 24

mchwang
and
claude
committed
16b2d83

Commits on Sep 26, 2026

Address F1 contract review round 25

mchwang
and
claude
committed
621dfb8
Address F1 contract review round 26

mchwang
and
claude
committed
a17d980
Address F1 contract review round 27

mchwang
and
claude
committed
a31ae05
Address F1 contract review round 28

mchwang
and
claude
committed
b2e515b
Address F1 contract review round 29

mchwang
and
claude
committed
5f4d81a
Address F1 contract review round 30

mchwang
and
claude
committed
c230853
Merge main (D5) into F1 contract branch
mchwang
committed
d181440
Update F1 contract baseline for merged D5; link D prerequisites (#51)

mchwang
and
claude
committed
6eb29e5
Allow running-to-failed when D stopped before shutdown

mchwang
and
claude
committed
e44d04a
Address F1 contract review round 32

mchwang
and
claude
committed
46067fa
Address F1 contract review round 33

mchwang
and
claude
committed
05f4c26
Fix step reference after startup reorder

mchwang
and
claude
committed
d273b30
Export partial output only for stopped writable attempts

mchwang
and
claude
committed
d92177e
Freeze task status while an attempt is active; completion requires running

mchwang
and
claude
committed
748b85a
Keep task storage until the terminal write on pre-launch paths

mchwang
and
claude
committed
2ee6fb6