land: batched landing (one proof per batch, prefix bisect, per-PR merges in order) by thejackshelton · Pull Request #145 · compiled-run/dragoncss

regen: a snapshot never reads the outputs of a step still running beside it

thejackshelton

committed

6d49850

land: batched landing - one proof per batch of positions, prefix bisect on failure, per-PR merges in order

thejackshelton

committed

1735bc1

land: release the machine during admission; a stacked child builds only on its parent's position

thejackshelton

committed

a6ad40b

land: prove master before blaming position 1 and after a partial publish; non-test proof errors stop the driver; clean other trees' ignored outputs before a proof

thejackshelton

committed

8428aee

Land: merge regen-snapshot-race (#143)

thejackshelton

committed

977c489

Land: regenerate after merging regen-snapshot-race (#143)

thejackshelton

committed

251c2eb

Merge origin/master (#141 solo rerun) into land-batch; the proof step reruns failing files alone; skip the master proof for a tree this run proved

thejackshelton

committed

5d4276d

Merge pull request #143 from compiled-run/regen-snapshot-race

thejackshelton

authored

35e3f17

Land: merge land-batch (#145)

thejackshelton

committed

4578cef

Land: regenerate after merging land-batch (#145)

thejackshelton

committed

1dcea57

Navigation Menu

Repository navigation

land: batched landing (one proof per batch, prefix bisect, per-PR merges in order) - #145

land: batched landing (one proof per batch, prefix bisect, per-PR merges in order)#145
thejackshelton merged 10 commits into
masterfrom
land-batch

Commits on Oct 5, 2026

regen: a snapshot never reads the outputs of a step still running beside it

land: batched landing - one proof per batch of positions, prefix bisect on failure, per-PR merges in order

land: release the machine during admission; a stacked child builds only on its parent's position

land: prove master before blaming position 1 and after a partial publish; non-test proof errors stop the driver; clean other trees' ignored outputs before a proof

Land: merge regen-snapshot-race (#143)

Land: regenerate after merging regen-snapshot-race (#143)

Merge origin/master (#141 solo rerun) into land-batch; the proof step reruns failing files alone; skip the master proof for a tree this run proved

Merge pull request #143 from compiled-run/regen-snapshot-race

Land: merge land-batch (#145)

Land: regenerate after merging land-batch (#145)