feat(autobahn): multi-epoch window for CommitQC/AppQC flow (CON-358) - #3736

Draft

wen-coding wants to merge 92 commits into

mainfrom

wen/autobahn_epoch_trio

Commits on Jul 30, 2026

feat(autobahn): multi-epoch Prev|Current window for CommitQC/AppQC (CON-358)

wen-coding
and
cursoragent
committed
e9ec936
fix(autobahn): clarify restart seed when execution leads tip into N+1 (CON-358)

wen-coding
and
cursoragent
committed
c12aa05
docs(autobahn): note >1-epoch tip lead hard-fails on restart (CON-358)

wen-coding
and
cursoragent
committed
9dfa24c
refactor(autobahn): rename waitForAppQCEpoch to waitPruneLeash (CON-358)

wen-coding
and
cursoragent
committed
e6bfb4c
fix(autobahn): count LaneVotes with live duo after epoch advance (CON-358)

wen-coding
and
cursoragent
committed
66604d6
fix(autobahn): migrate leftover tests from DataWAL to BlockDB (CON-358)

wen-coding
and
cursoragent
committed
b11b749
refactor(autobahn): seed restart epochs from half-open CommitQC RoadRange (CON-358)

wen-coding
and
cursoragent
committed
b1ac945
fix(autobahn): seed epoch 1 on empty BlockDB restart (CON-358)

wen-coding
and
cursoragent
committed
b648fb7
fix(autobahn): resolve AppProposal epoch by road in giga test (CON-358)

wen-coding
and
cursoragent
committed
1d8bfd6
refactor(autobahn): require non-nil Current via NewEpochDuo (CON-358)

wen-coding
and
cursoragent
committed
55a41d4
fix(autobahn): enforce contiguous Prev|Current in NewEpochDuo (CON-358)

wen-coding
and
cursoragent
committed
24057ae
docs(autobahn): trim EpochDuo comments to contracts and invariants (CON-358)

wen-coding
and
cursoragent
committed
cab435e
fix(autobahn): wait tip order before PushQC EpochForRoad (CON-358)

wen-coding
and
cursoragent
committed
5db53ed
fix(autobahn): no-op PushQC before-window on already-applied QC (CON-358)

wen-coding
and
cursoragent
committed
7badc00
docs(autobahn): explain epoch-0 seal prune-leash exemption (CON-358)

wen-coding
and
cursoragent
committed
864cc31
refactor(autobahn): seed restart epochs from CommitQC span only (CON-358)

wen-coding
and
cursoragent
committed
4279909
fix(autobahn): always placeholder-seed windowLast+2 on restart (CON-358)

wen-coding
and
cursoragent
committed
89898b9
fix(autobahn): hard-fail DuoAt when non-genesis Prev is missing (CON-358)

wen-coding
and
cursoragent
committed
a17db0a
refactor(autobahn): remove unused EnsureExecTipcut (CON-358)

wen-coding
and
cursoragent
committed
6b42802
refactor(autobahn): DuoAt in newInner and RoadRange.IsLastRoad (CON-358)

wen-coding
and
cursoragent
committed
e441048
fix(autobahn): admit-duo verify snapshot and WaitForDuo gap wake (CON-358)

wen-coding
and
cursoragent
committed
d335b4c
docs(autobahn): clarify Current-only lane vote credits (CON-358)

wen-coding
and
cursoragent
committed
5b23ec0
perf(autobahn): avoid QC re-fetch on execute for AdvanceIfNeeded (CON-358)

wen-coding
and
cursoragent
committed
990ef87
fix(autobahn): pass real view EpochDuo into persisted validate (CON-358)

wen-coding
and
cursoragent
committed
b24cd86
refactor(autobahn): make blockVotes.reweight void (CON-358)

wen-coding
and
cursoragent
committed
912edba
refactor(autobahn): drop unused Epoch return from fullCommitQC (CON-358)

wen-coding
and
cursoragent
committed
c4209e1
refactor(autobahn): drop highestEpoch; SetupInitialDuo returns error (CON-358)

wen-coding
and
cursoragent
committed
5f27858
fix(autobahn): restart tip check uses avail ≥ data (CON-358)

wen-coding
and
cursoragent
committed
cfaed53
test(autobahn): make GenRegistry duo-only and rewrite epoch fixtures relative to M (CON-358)

wen-coding
and
cursoragent
committed
4d97d68
refactor(autobahn): use Option for optional nextDuo; drop internal header nil-check (CON-358)

wen-coding
and
cursoragent
committed
5d49986
refactor(autobahn): drop unused latest; fold thin twin tests (CON-358)

wen-coding
and
cursoragent
committed
0ec0724
refactor(autobahn): trim EpochDuo docs and inline thin helpers (CON-358)

wen-coding
and
cursoragent
committed
bf0ef23
refactor(autobahn): drop unreachable EpochForRoad after-window path (CON-358)

wen-coding
and
cursoragent
committed
489b3f0
fix(autobahn): bind AppQC to epoch and reject Prev Current-era globals (CON-358)

wen-coding
and
cursoragent
committed
ee9b912
fix(autobahn): tipcut AppQC matches main; harden admit and tip checks (CON-358)

wen-coding
and
cursoragent
committed
0b66271
fix(autobahn): drop avail≥data restart tip hard-fail (CON-358)

wen-coding
and
cursoragent
committed
0695c33
fix(autobahn): allow tipcut AppQC Current-1 lag; require road < view (CON-358)

wen-coding
and
cursoragent
committed
38f9cb5
fix(autobahn): TestCommitQC AppQC uses prior tipcut road (CON-358)

wen-coding
and
cursoragent
committed
858cc94
fix(autobahn): prune-leash epoch 0 seal; harden tip restart paths (CON-358)

wen-coding
and
cursoragent
committed
93ebd40
fix(blocksim): stamp tipcut AppQC with prior road (CON-358)

wen-coding
and
cursoragent
committed
1ad962f
fix(autobahn): align future-AppQC fallback with sibling guards (CON-358)

wen-coding
and
cursoragent
committed
3e07f64
docs(autobahn): clarify QC admit-then-verify; Debug stale drops (CON-358)

wen-coding
and
cursoragent
committed
59dd31a
Filter tipcut AppQC to the propose epoch duo window.

wen-coding
and
cursoragent
committed
e9a8667
Enforce EpochDuo Prev iff Current>0 and tighten AppQC epoch checks.

wen-coding
and
cursoragent
committed
9dfd7d8
Drop redundant road≥view AppQC clear in buildProposal.

wen-coding
and
cursoragent
committed
3f63fcc
Inline avail seal leashes; drop duplicate WaitForDuo.

wen-coding
and
cursoragent
committed
b6901f4
Align PushAppVote with admit-then-verify parking.

wen-coding
and
cursoragent
committed
814e954
Keep one LaneQC per blockVotes; drop zero-weight on reweight.

wen-coding
and
cursoragent
committed
9f26556
Park PushVote until Current accepts the signer.

wen-coding
and
cursoragent
committed
50b19f0
Address pompon0 avail API/structure nits.

wen-coding
and
cursoragent
committed
eb0e700
Avoid uint64 wrap in AppQC Current-1 epoch checks.

wen-coding
and
cursoragent
committed
a1ecb40
Fix seidroid blockers and AppQC lint.

wen-coding
and
cursoragent
committed
e55cc61
Remove FirstBlock/FirstTimestamp from Epoch.

wen-coding
and
cursoragent
committed
112ef30
Fix NewEpoch call sites in sei-db after Epoch floor removal.

wen-coding
and
cursoragent
committed
aebafda
Wait for in-window AppQC before tipcut propose; reject stale fallback.

wen-coding
and
cursoragent
committed
e291028
Park PushVote until Current accepts the signer.

wen-coding
and
cursoragent
committed
c1c6afe
Index competing headers in byHash after LaneQC for reconstruction.

wen-coding
and
cursoragent
committed
ffa0484
Deduplicate AppQC window, seal, and road-wait helpers.

wen-coding
and
cursoragent
committed
e4786d1
Narrow tipcut AppQC wait API; keep in-window comments.

wen-coding
and
cursoragent
committed
97b80e5
Share waitRoadOrDropStale for Push* admit soft-drops.

wen-coding
and
cursoragent
committed
b3512c9
Move road admit classification onto EpochDuo.

wen-coding
and
cursoragent
committed
bf0b1d3
Name Current vs Duo admit paths; seal AppQC on Current only.

wen-coding
and
cursoragent
committed
13b615d
Share insertCommitQCAtTip for tipcut seal+insert under lock.

wen-coding
and
cursoragent
committed
bf3c445
Address review nits on EpochDuo admit logging and App window checks.

wen-coding
and
cursoragent
committed
8c9299d
Restore per-hash LaneQC without caching qc on the vote set.

wen-coding
and
cursoragent
committed
3508272
Restore nextBlockToPersist comment explaining persist cursor semantics.

wen-coding
and
cursoragent
committed
d4ab639
Restore trimmed main comments on errors, admit capacity, and PushBlock.

wen-coding
and
cursoragent
committed
ad560e6
Rename waitCurrentRoad/waitDuoRoad to waitForEpoch/waitForEpochDuo.

wen-coding
and
cursoragent
committed
0febb30
Move avail epoch seal out of Push into a Run advance loop.

wen-coding
and
cursoragent
committed
a9922d9
Align tipcut AppQC with interlocking: optional attach, seal leashes on admit.

wen-coding
and
cursoragent
committed
0e9caf9
Fix flaky data client-server test isolation

wen-coding
and
cursoragent
committed
30f14d1
Drop lane votes invalidated by epoch advance

wen-coding
and
cursoragent
committed
6bec193
Clarify AppQC filtering comments

wen-coding
and
cursoragent
committed
bdb2fd3
Harden epoch restart and persistence snapshots

wen-coding
and
cursoragent
committed
18f657f
Tighten Autobahn test and error diagnostics

wen-coding
and
cursoragent
committed
8f3cf44
Adapt epoch recovery to unified BlockDB iterator

wen-coding
and
cursoragent
committed
0c5dcb1
Harden AppProposal and availability epoch handling

wen-coding
and
cursoragent
committed
2f75f9c
Split availability state by responsibility

wen-coding
and
cursoragent
committed
9a770b3
Make optional AppProposal verification panic-safe

wen-coding
and
cursoragent
committed
bbe37e1
Adapt recovery tests to epoch-aware registry

wen-coding
and
cursoragent
committed
1c3af75
Clarify availability state ownership

wen-coding
and
cursoragent
committed
3194e5c
Simplify single-field progress wrappers

wen-coding
and
cursoragent
committed
a13b120

Commits on Jul 31, 2026

Merge branch 'main' into wen/autobahn_epoch_trio
wen-coding
authored
7600dca
Restore rpc import after main merge

wen-coding
and
cursoragent
committed
7213d04

Commits on Aug 1, 2026

refactor(avail): Current tip + AppTip; seal leashes on epoch advance

wen-coding
and
cursoragent
committed
f2da3d3
docs(consensus): seal AppQC leash is on runAdvanceEpoch

wen-coding
and
cursoragent
committed
a692ce1
refactor(avail): rename CommitQC to WaitForCommitQC

wen-coding
and
cursoragent
committed
0d2ad9d

Commits on Aug 2, 2026

refactor(avail): rename Epoch to WaitForCurrentEpoch

wen-coding
and
cursoragent
committed
4ea12e1
refactor(avail): pushAppTip delegates watermark updates to owners

wen-coding
and
cursoragent
committed
e95f771
refactor(avail): advanceEpoch delegates lane seed/reweight to lanes

wen-coding
and
cursoragent
committed
1a2bb33
refactor(avail): fold produceLocalBlock into ProduceLocalBlock

wen-coding
and
cursoragent
committed
3acf09e
refactor(consensus): trust avail CommitQC admit, skip re-verify

wen-coding
and
cursoragent
committed
2eb077a