Skip to content

perf: bound derived bootstrap work - #662

Merged
kevinswiber merged 8 commits into
mainfrom
feat/plan-0159-bounded-bootstrap
Aug 1, 2026
Merged

perf: bound derived bootstrap work#662
kevinswiber merged 8 commits into
mainfrom
feat/plan-0159-bounded-bootstrap

Conversation

@kevinswiber

Copy link
Copy Markdown
Member

Summary

  • build derived-access bootstrap from one validated event population and one independent strict oracle
  • publish phase-aware progress, cancellation-safe staging, and deterministic D0/L7 evidence receipts
  • preserve stable authority continuation without blocking readers behind an active publisher
  • make decoded-event ownership evidence load-bearing and qualify RSS availability by platform

Validation

  • just check (3,187 passed, 5 skipped)
  • focused bootstrap lifecycle, cancellation, ownership, and receipt suites
  • disposable D0 and L7 bootstrap smoke evidence
  • Windows D0 receipt and lifecycle suites
  • no-default-feature build and package archives
  • benchmark help, formatting, lint, and git diff --check

Follow-up

Streaming population and a deterministic post-batch crash falsifier remain explicit successor work.

Reuse one validated population across the cursor and derived projections, then release it before the independent strict replay. Persist phase-aware resource progress, preserve cancellation between bounded batches, and carry stable authority successors forward before the next bounded check.
Treat the generation descriptor stamp as its immutable publication anchor while validating the already-proven live cursor stamp. This lets bounded NTFS checks persist harmless successor cursors without quarantining a current generation on reopen.
Exercise cancellation between projection batches with an injected small test batch. Production retains the 512-row batch while cargo test avoids turning the lifecycle state-machine suite into a concurrent load test.
Use a proven stable NTFS successor for the current response when publication holds the writer lock, and defer only its persistence. Changed or indeterminate authority still fails closed, while the next idle read carries the cursor forward.
Exercise the production lifecycle on disposable D0 and L7 roots while recording progress, carrier work, retained ownership, and observed RSS without changing the frozen qualification smoke schemas.
Track decoded populations with additive RAII ownership so overlapping histories are observable, and make platform-dependent RSS availability explicit in the bootstrap receipt and documentation.
@kevinswiber
kevinswiber merged commit 9433dff into main Aug 1, 2026
20 checks passed
@kevinswiber
kevinswiber deleted the feat/plan-0159-bounded-bootstrap branch August 1, 2026 03:39
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant