feat(insert-sync): cross-arm buffer-id routing behind a flag, with a coverage gate - #1305

Open

Adamkh329 wants to merge 35 commits into

hw-native-sys:mainfrom

Adamkh329:crossarm-detection-gate

Commits on Aug 6, 2026

feat(insert-sync): add three absolute synchronization gates

Adamkh329
and
claude
committed
906f354
fix(insert-sync): decode every legal buffer-token pipe spelling in G1
Adamkh329
committed
633d97c
test(insert-sync): cover both buffer-token pipe spellings in G1
Adamkh329
committed
aabe641
fix(insert-sync): require an event pair to be equally guarded in G2
Adamkh329
committed
c566b1d
test(insert-sync): cover event-pair guard placement in G2
Adamkh329
committed
5593193
fix(insert-sync): excuse a same-pipe PIPE_S dependency in G1
Adamkh329
committed
1ffec3f
fix(insert-sync): credit a coverage edge only where the sync is always reached
Adamkh329
committed
8e5462e
test(insert-sync): cover sync reachability in G1
Adamkh329
committed
97dc595
test(insert-sync): mark the section of the gate fixtures' sync ops
Adamkh329
committed
77fc28f
feat(insert-sync): add two differential synchronization gates

Adamkh329
and
claude
committed
57e3c7b
feat(insert-sync): allocate event ids, buffer ids and barriers from one model
Adamkh329
committed
3983d6e
test(insert-sync): cover the unified allocator's paths and their negatives
Adamkh329
committed
93dc003
docs(insert-sync): describe the unified sync allocator
Adamkh329
committed
e80750a
fix(insert-sync): close five write-only or unused members in the allocator
Adamkh329
committed
8405b4a
docs(insert-sync): separate what is proven from what is measured
Adamkh329
committed
16c0410
fix(insert-sync): assert the barrier-unbounded invariant where the spill relies on it
Adamkh329
committed
8c3011d
docs(insert-sync): correct what SyncOpRecord::mechanism is
Adamkh329
committed
5ff666b
fix(insert-sync): read the leak scan's open interval by field, not pair element
Adamkh329
committed
24fd079
test(insert-sync): record the new self-ordered field in the allocator pins
Adamkh329
committed
139530f
docs(insert-sync): correct false claims in the unified allocator comments

Adamkh329
and
claude
committed
b121265
docs(insert-sync): compress the unified allocator comment blocks

Adamkh329
and
claude
committed
9582e55
docs(insert-sync): correct seven claims contradicted by the code

Adamkh329
and
claude
committed
1ba8a51
docs(insert-sync): put the G1-self section banner on the G1-self section

Adamkh329
and
claude
committed
f8515c3

Commits on Aug 7, 2026

fix(insert-sync): bracket every routed hazard, and refuse the ones a token cannot express

Adamkh329
and
claude
committed
6307327

Commits on Aug 10, 2026

feat(insert-sync): record on each hazard whether its endpoints share an address

Adamkh329
and
claude
committed
d33e584
feat(ptoas): add --check-addr-reuse-war to list the orderings an address share forces

Adamkh329
and
claude
committed
5e31dbe

Commits on Aug 11, 2026

fix(ptoas): reject pto.tassign under --enable-unified-sync

Adamkh329
and
claude
committed
2c12592
fix(insert-sync): emit the unrealised-hazard diagnostic instead of asserting first

Adamkh329
and
claude
committed
a41229e
fix(insert-sync): give persisted coverage profiles a stable digest and a version

Adamkh329
and
claude
committed
f4ce8ff
fix(insert-sync): fail the pass on the buffer-id conditions it only reported

Adamkh329
and
claude
committed
9e06a9d
fix(insert-sync): refuse a routing plan containing a split hazard

Adamkh329
and
claude
committed
150ac57
docs(insert-sync): correct the record on BaseMemInfo::hasKnownPhysicalAddresses

Adamkh329
and
claude
committed
becb096

Commits on Aug 12, 2026

test(insert-sync): pin that both ends of a routed hazard hold the same token id

Adamkh329
and
claude
committed
de48e6d
chore: ignore every out-of-tree build directory, not just build/

Adamkh329
and
claude
committed
3610b6f

Commits on Aug 18, 2026

feat(insert-sync): cross-arm buffer-id routing behind a flag, with a coverage gate

Adamkh329
and
claude
committed
9192ea0