8000 docs(spec): streaming transactions design (#550) by adityamukho · Pull Request #683 · project-minigraf/minigraf · GitHub
[go: up one dir, main page]

Skip to content

docs(spec): streaming transactions design (#550) - #683

Merged
adityamukho merged 3 commits into
v3from
docs/550-streaming-transactions-spec
Oct 21, 2026
Merged

adityamukho merged 3 commits into
v3from
docs/550-streaming-transactions-spec

Conversation

@adityamukho
Copy link
Copy Markdown
Collaborator

Design for #550 (streaming engine 8/9, part of #473): refines §8 of the #473 spec against v3 at df7282f.

  • Parser that reads one fact at a time; errors reported in today's phase order (one checking pass, a second pass for large statements)
  • Large transactions: per-chunk DICT Encoder, copy-on-write working trees, commit as a checkpoint
  • Crash-recovery fix: header-only WAL guard plus open-time dirty rule; without them a crash in a large transaction on a single-valid-slot file (any new file) is refused with STG-033
  • Page-cache generation bound during a large transaction; page accounting for statement bases; btree::cow_update
  • Reads inside a WriteTransaction through a snapshot with a staged part
  • Three-PR delivery; §10 lists every change from the enhancement: streaming, pull-based operator pipeline with bounded memory behind the cursor API (follow-up to #432) #473 spec

Reviewed with Codex against the code; valid findings applied.

Part of #473 and #550 (no closing keyword).

🤖 Generated with Claude Code

https://claude.ai/code/session_019kY61Y11gcRD91Y6b7jbGT

adityamukho and others added 3 commits October 21, 2026 19:23
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_019kY61Y11gcRD91Y6b7jbGT
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_019kY61Y11gcRD91Y6b7jbGT
@codecov
codecov Bot commented Oct 21, 2026
Copy link
Copy Markdown

Codecov Report

✅ All modified and coverable lines are covered by tests.

📢 Thoughts on this report? Let us know!

@adityamukho
adityamukho merged commit d24fb58 into v3 Oct 21, 2026
24 of 25 checks passed
@adityamukho
adityamukho deleted the docs/550-streaming-transactions-spec branch October 21, 2026 15:27
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

0