Controls batch 15a: replace an unadopted candidate plan (#1310), prepare across a withdrawn one (#1344), capacities for a superseding candidate (#1398) by tamashi095 · Pull Request #1700 · misofm/engine

Batch 15 docs: check the source/latency chain specs against main (#1285, #1293, #1316, #1317, #1318, #1319, #1320, #1323, #1396)

tamashi095

and

claude

committed

e2f6cfb

Batch 15 docs: record root's rulings R1-R9, check #1310, #1344, #1398 and #1324, and draft TBD34 (browser plan latency)

tamashi095

and

claude

committed

c43b658

Batch 15 docs: record root's rulings Q1-Q4 (15a = #1344, #1398, #1310) and re-brief #1386 under decision 17 C1

tamashi095

and

claude

committed

bed928e

Batch 15 docs: #1386 re-brief takes root's review (a document up to the boot bound through the boot staging; control_smoothing on replace)

tamashi095

and

claude

committed

f48f9d7

Batch 15 docs: #1386 root approves both document exports; gate 8 adds the non-isolated page

tamashi095

and

claude

committed

755744f

Placeholders TBD35 (retire the browser master boot word) and TBD36 (read the master meter on the C ABI), #1683 successors

tamashi095

and

claude

committed

a17256e

Number the batch 15 docs placeholders: TBD34 to TBD36 are #1688 to #1690

tamashi095

and

claude

committed

773ed1a

Merge codex/controls-batch-15docs into codex/controls-batch-15a

tamashi095

and

claude

committed

d68d2b8

Size the C ABI's plan capacities and resource admission for a superseding candidate (#1398)

tamashi095

and

claude

committed

9bd529c

Merge origin/main (c5b5c88b2) into codex/controls-batch-15aw

tamashi095

and

claude

committed

4b322b4

Tighten the four-lane builtin_bank_bytes ceiling from the AArch64 measurement (12,969 -> ceiling 14,272)

tamashi095

and

claude

committed

4b29f1f

Merge origin/main (c5b5c88b2) into codex/controls-batch-15a

tamashi095

and

claude

committed

f74f399

#1398: drop AdmissionPeak::WithReprepare (root ruling: no production caller); #1403 adds it with its first caller

tamashi095

and

claude

committed

f56c2b5

Prepare a successor across a withdrawn candidate plan (#1344)

tamashi095

and

claude

committed

bb47b49

Merge origin/main (c5b5c88b2) into codex/controls-batch-15ak

tamashi095

and

claude

committed

20a49f1

Merge codex/controls-batch-15ak into codex/controls-batch-15aw (for #1310)

tamashi095

and

claude

committed

81bdc5a

Placeholder TBD38: diagnose Simd4 on AVX2 refusing the nine-track console fixture

tamashi095

and

claude

committed

e8f72ed

Navigation Menu

Repository navigation

Controls batch 15a: replace an unadopted candidate plan (#1310), prepare across a withdrawn one (#1344), capacities for a superseding candidate (#1398) - #1700

Controls batch 15a: replace an unadopted candidate plan (#1310), prepare across a withdrawn one (#1344), capacities for a superseding candidate (#1398)#1700
tamashi095 merged 30 commits into
mainfrom
codex/controls-batch-15a

Commits on Oct 15, 2026

Batch 15 docs: check the source/latency chain specs against main (#1285, #1293, #1316, #1317, #1318, #1319, #1320, #1323, #1396)

Batch 15 docs: record root's rulings R1-R9, check #1310, #1344, #1398 and #1324, and draft TBD34 (browser plan latency)

Batch 15 docs: record root's rulings Q1-Q4 (15a = #1344, #1398, #1310) and re-brief #1386 under decision 17 C1

Batch 15 docs: #1386 re-brief takes root's review (a document up to the boot bound through the boot staging; control_smoothing on replace)

Batch 15 docs: #1386 root approves both document exports; gate 8 adds the non-isolated page

Placeholders TBD35 (retire the browser master boot word) and TBD36 (read the master meter on the C ABI), #1683 successors

Number the batch 15 docs placeholders: TBD34 to TBD36 are #1688 to #1690

Merge codex/controls-batch-15docs into codex/controls-batch-15a

Size the C ABI's plan capacities and resource admission for a superseding candidate (#1398)

Merge origin/main (c5b5c88b2) into codex/controls-batch-15aw

Tighten the four-lane builtin_bank_bytes ceiling from the AArch64 measurement (12,969 -> ceiling 14,272)

Merge origin/main (c5b5c88b2) into codex/controls-batch-15a

#1398: drop AdmissionPeak::WithReprepare (root ruling: no production caller); #1403 adds it with its first caller

Prepare a successor across a withdrawn candidate plan (#1344)

Merge origin/main (c5b5c88b2) into codex/controls-batch-15ak

Merge codex/controls-batch-15ak into codex/controls-batch-15aw (for #1310)

Placeholder TBD38: diagnose Simd4 on AVX2 refusing the nine-track console fixture

Commits on Oct 16, 2026

Placeholders TBD39 (read the browser's armed observation taps from the core) and TBD40 (charge the monitor overlays and edit ramps in the retained rows)

Supersede an unadopted candidate plan by compare-and-swap (#1310)

Merge codex/controls-batch-15aw (with 15ak) into codex/controls-batch-15a

Batch 15a review fold: specs and rulings

#1386: root decides EditPath::Unchanged (5) for an identical document

Batch 15a review fold, part A: #1310, #1398

Batch 15a review fold, part B: #1344

Label the batch 15 root rulings B15-Q3, B15-Q4, B15-R4 and B15-R5 in #1310 and its code comments

Batch 15a fold 2: retired-provider wedge, parked plans charged, reverted-source guard (#1310, #1344)

Batch 15a fold 2: the guard's parity row hears the acked chunk on both hosts after the plan latency (#1310)

Batch 15a fold 3: refuse every supersession that would drop a fed fresh ring; private doc links (#1310, #1344)

Batch 15a fold 3 verification minors: the header's supersession paragraph scopes 'no accepted chunk is dropped' to rings the replacement created, drops a repeated sentence, and rewraps to 100 colum…

Number the batch 15a successors #1694-#1699 and add the #1699 spec (count the frames a caller's own source removal discards)