Skip to content
Merged
Changes from all commits
Commits
Show all changes
35 commits
Select commit Hold shift + click to select a range
de7277f
Add a cost test for the bounded drawing arenas' edits and checkpoints
luisleo526 Nov 6, 2026
307eac1
Share a bounded drawing arena's slots between copies and write in place
luisleo526 Nov 6, 2026
2f91a3a
Merge main into the bounded drawing arena change
luisleo526 Nov 6, 2026
a9b73e0
Say what the bounded drawing change does not do, and refresh manifest…
luisleo526 Nov 6, 2026
2beb60d
Name the copied directory and order entries exactly
luisleo526 Nov 6, 2026
f740132
Merge main into the bounded drawing arena change
luisleo526 Nov 6, 2026
6ea32cd
Test signed short trade sizes
luisleo526 Nov 6, 2026
adf5044
Preserve direction in trade size accessors
luisleo526 Nov 6, 2026
eddfb2b
Docs: name signed-size corrections for the doc-reverts guard
luisleo526 Nov 6, 2026
7294ab6
Keep signed accessor source lines stable for doc anchors
luisleo526 Nov 6, 2026
83c5019
tests: re-anchor the private fixture evidence row after a registratio…
luisleo526 Nov 6, 2026
51aa35d
ci: reduce sanitizer debug info footprint
luisleo526 Nov 6, 2026
be68cab
Merge branch 'main' into sanitizer-debug-info-corrected
luisleo526 Nov 6, 2026
834333f
Refresh twin parity pins for signed size assertions
luisleo526 Nov 6, 2026
bfd45f6
Include ABI layout coverage in PR smoke
luisleo526 Nov 7, 2026
3988fb9
Keep documentation length checks in sync with smoke coverage
luisleo526 Nov 7, 2026
589a831
Add live drawing capacity to the runtime limit vocabulary
luisleo526 Nov 7, 2026
ac4ccd8
Merge main with the hosted release policy update
luisleo526 Nov 7, 2026
fa606b7
Merge main with the hosted release policy update
luisleo526 Nov 7, 2026
fcfc07c
ci: promote the engine baseline on parity alone
luisleo526 Nov 7, 2026
4f31c10
Merge main before the x86 smoke check
luisleo526 Nov 7, 2026
b0eb21b
Merge main before publishing the live drawing limit vocabulary
luisleo526 Nov 7, 2026
a46b586
Align promotion preflight with parity-only admission
luisleo526 Nov 7, 2026
349418e
Accept grouped parity-only promotion predicates
luisleo526 Nov 7, 2026
d6772ea
Repair runtime failure catalog documentation references
luisleo526 Nov 7, 2026
c85460b
Merge main into runtime limit vocabulary
luisleo526 Nov 7, 2026
cecedc0
Merge main into the bounded drawing arena change
luisleo526 Nov 7, 2026
99b0bfe
Merge main documentation update into runtime limit vocabulary
luisleo526 Nov 7, 2026
376c4f3
Merge pull request 764 head 834333f0 (Preserve direction in trade siz…
luisleo526 Nov 7, 2026
fbe3932
Merge pull request 765 head be68cabc (ci: reduce sanitizer debug info…
luisleo526 Nov 7, 2026
3012626
Merge pull request 773 head 4f31c10c (Include ABI layout probe in PR …
luisleo526 Nov 7, 2026
378ce2f
Merge pull request 772 head 349418e5 (ci: promote the engine baseline…
luisleo526 Nov 7, 2026
b4c316b
Merge pull request 759 head cecedc0e (Write bounded drawing arenas in…
luisleo526 Nov 7, 2026
71dddc8
docs: clarify baseline promotion status requirement
luisleo526 Nov 7, 2026
3f920c5
Merge main for baseline promotion documentation
luisleo526 Nov 7, 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
4 changes: 2 additions & 2 deletions docs/ci.md
Original file line number Diff line number Diff line change
Expand Up @@ -1349,8 +1349,8 @@ tooling) runs `main`'s own copy on a `push` to `main` and runs no PR code.
It resolves the pushed SHA through the commit's associated PRs, requiring
exactly one merged PR whose `merge_commit_sha` is that SHA and whose base is
`main`; no match or ambiguity exits green with a notice. Manual dispatch
retains its five merge inputs. It requires both statuses to be successful on
the resolved PR head and a merge commit on `main` that carries
retains its five merge inputs. It requires `pineforge/parity` success on
the resolved PR head (`pineforge/verify` is advisory) and a merge commit on `main` that carries
exactly that head's tree (PRs are squash-merged, so the head itself never lands
on the base branch). It hands the campaign tool the merge commit, the PR head and that
tree, and the tool promotes the pair the merge gate's parity verdict measured
Expand Down
Loading