Repository navigation
streaming engine 9/9: remove the old executor, measure, docs (#473) #551
Description
Part 9 of 9 of #473. Design: docs/superpowers/specs/2026-10-11-streaming-engine-design.md (branch docs/473-streaming-engine-spec), §9, §10, §11.
- Delete the old executor/matcher path and the oracle hook
- perf: benchmark queries at 100K–10M facts and publish a performance envelope #394 envelope at 100K/1M/10M on an idle machine; perf: compute net-assert on v8 index keys before resolving facts (O(live) point queries) #379 point queries not regressed
- Python binding round trip with batches of 1,000 recorded in the envelope
- Remaining enhancement: streaming, pull-based operator pipeline with bounded memory behind the cursor API (follow-up to #432) #473 acceptance tests; cursor and binding suites unchanged
- Docs: CLAUDE.md, ROADMAP.md, README.md, TEST_COVERAGE.md, CHANGELOG.md, docs site
content/architecture.md
PRs for this part target v3 and must not use a closing keyword for #473.
Activity
ci: temporary binary-size allowance while engine and executor coexist (…
adityamukho commentedon Oct 20, 2026
When the executor's query path is removed here, restore the release binary-size gate on v3 to 1,200 KiB (
.github/workflows/binary-size.ymlSIZE_LIMIT_BYTES1259520 → 1228800, and the PHILOSOPHY.md §4 note). It was raised to 1,230 KiB temporarily in #645 (#547 PR 2: ~1,205 KiB with the engineAggregateand the executor both shipping).adityamukho commentedon Oct 20, 2026
The v3 binary-size gate is now 1,260 KiB (#670, #548 PR 2: rule queries on the engine, about +34 KiB locally). When this issue removes the executor's query path, restore
SIZE_LIMIT_BYTESto 1228800 (1,200 KiB) and drop the PHILOSOPHY.md §4 note.adityamukho commentedon Oct 21, 2026
Restore step for this issue: #680 makes the
v3binary-size gate report-only (SIZE_GATE: reportin.github/workflows/binary-size.yml) because #549 PR 1 left the binary at 1,259 of 1,260 KiB. When the executor's query path is removed here, setSIZE_GATE: failandSIZE_LIMIT_BYTES: 1228800(1,200 KiB), and updatePHILOSOPHY.md§4.Merge pull request #680 from project-minigraf/ci/v3-size-gate-report-…
Merge pull request #714 from project-minigraf/docs/551-executor-remov…
refactor(engine): the planner says why it refuses a query (#551)
feat(storage): TxBound, the versions a read keeps by transaction (#551)
feat(engine): :as-of timestamps run on the engine (#551)
feat(engine): nested or/or-join in branches run on the engine (#551)
feat(engine): every or branch runs on the engine; predicates resolved…
feat(engine): clause lists with no pattern first start from the empty…
feat(engine): not bodies plan as clause lists (#551)
feat(engine): head constants and constants no cell equals (#551)
feat(engine): planner errors keep the executor's codes (#551)
feat(engine): no fallback; the executor's query path is the oracle (#551
test(engine): :as-of timestamps after a checkpoint (#551)
test(storage): no untaken branches in the DICT transaction test (#551)
Merge pull request #715 from project-minigraf/feat/551-engine-everywhere
Merge pull request #716 from project-minigraf/feat/551-delete-executor
ci(crash-kill): pass test-hooks where Cargo.toml defines it (#551) (#717
Merge pull request #727 from project-minigraf/feat/551-measure-docs
adityamukho commentedon Oct 24, 2026
Done on
v3in three PRs: #715 (every query on the engine), #716 (the executor's query path and the oracle deleted,test-oracle→test-hooks), and #727 (measurement, acceptance and docs, merged as 949813c). Docs site: minigraf-docs#61. Still to do: the bindings'v3pins move to the merge, and the v2-vs-v3 audit of the playground and docs queries.Merge pull request #773 from project-minigraf/docs/531-keyword-audit