Skip to content

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

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
tamashi095 merged 30 commits into from
Oct 16, 2026
Merged

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

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
30 commits
Select commit Hold shift + click to select a range
e2f6cfb
Batch 15 docs: check the source/latency chain specs against main (#12…
tamashi095 Oct 15, 2026
c43b658
Batch 15 docs: record root's rulings R1-R9, check #1310, #1344, #1398…
tamashi095 Oct 15, 2026
bed928e
Batch 15 docs: record root's rulings Q1-Q4 (15a = #1344, #1398, #1310…
tamashi095 Oct 15, 2026
f48f9d7
Batch 15 docs: #1386 re-brief takes root's review (a document up to t…
tamashi095 Oct 15, 2026
755744f
Batch 15 docs: #1386 root approves both document exports; gate 8 adds…
tamashi095 Oct 15, 2026
a17256e
Placeholders TBD35 (retire the browser master boot word) and TBD36 (r…
tamashi095 Oct 15, 2026
773ed1a
Number the batch 15 docs placeholders: TBD34 to TBD36 are #1688 to #1690
tamashi095 Oct 15, 2026
d68d2b8
Merge codex/controls-batch-15docs into codex/controls-batch-15a
tamashi095 Oct 15, 2026
9bd529c
Size the C ABI's plan capacities and resource admission for a superse…
tamashi095 Oct 15, 2026
4b322b4
Merge origin/main (c5b5c88b2) into codex/controls-batch-15aw
tamashi095 Oct 15, 2026
4b29f1f
Tighten the four-lane builtin_bank_bytes ceiling from the AArch64 mea…
tamashi095 Oct 15, 2026
f74f399
Merge origin/main (c5b5c88b2) into codex/controls-batch-15a
tamashi095 Oct 15, 2026
f56c2b5
#1398: drop AdmissionPeak::WithReprepare (root ruling: no production …
tamashi095 Oct 15, 2026
bb47b49
Prepare a successor across a withdrawn candidate plan (#1344)
tamashi095 Oct 15, 2026
20a49f1
Merge origin/main (c5b5c88b2) into codex/controls-batch-15ak
tamashi095 Oct 15, 2026
81bdc5a
Merge codex/controls-batch-15ak into codex/controls-batch-15aw (for #…
tamashi095 Oct 15, 2026
e8f72ed
Placeholder TBD38: diagnose Simd4 on AVX2 refusing the nine-track con…
tamashi095 Oct 15, 2026
c78053c
Placeholders TBD39 (read the browser's armed observation taps from th…
tamashi095 Oct 16, 2026
376cabd
Supersede an unadopted candidate plan by compare-and-swap (#1310)
tamashi095 Oct 16, 2026
804fe69
Merge codex/controls-batch-15aw (with 15ak) into codex/controls-batch…
tamashi095 Oct 16, 2026
446196a
Batch 15a review fold: specs and rulings
tamashi095 Oct 16, 2026
034f3e5
#1386: root decides EditPath::Unchanged (5) for an identical document
tamashi095 Oct 16, 2026
c35a675
Batch 15a review fold, part A: #1310, #1398
tamashi095 Oct 16, 2026
e2be5dd
Batch 15a review fold, part B: #1344
tamashi095 Oct 16, 2026
c2f1f00
Label the batch 15 root rulings B15-Q3, B15-Q4, B15-R4 and B15-R5 in …
tamashi095 Oct 16, 2026
9f0513d
Batch 15a fold 2: retired-provider wedge, parked plans charged, rever…
tamashi095 Oct 16, 2026
20b417e
Batch 15a fold 2: the guard's parity row hears the acked chunk on bot…
tamashi095 Oct 16, 2026
5fb2d33
Batch 15a fold 3: refuse every supersession that would drop a fed fre…
tamashi095 Oct 16, 2026
5ea0698
Batch 15a fold 3 verification minors: the header's supersession parag…
tamashi095 Oct 16, 2026
9f5a7f3
Number the batch 15a successors #1694-#1699 and add the #1699 spec (c…
tamashi095 Oct 16, 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
86 changes: 0 additions & 86 deletions .github/ISSUE_SPECS/1106-spectrum-hop-probe-waits-on-the-clock.md
View file
Open in desktop

This file was deleted.

Loading
Loading