8000 docs(perf): verify committed net-assert is superseded (#532) by adityamukho · Pull Request #775 · project-minigraf/minigraf · GitHub
[go: up one dir, main page]

Skip to content

docs(perf): verify committed net-assert is superseded (#532) - #775

Merged
adityamukho merged 1 commit into
v3from
docs/532-net-assert-audit
Oct 28, 2026
Merged

adityamukho merged 1 commit into
v3from
docs/532-net-assert-audit

Conversation

@adityamukho
Copy link
Copy Markdown
Collaborator

#532 identified a second net_asserted_facts pass over committed facts that the index reader had already resolved. #551 removed that query path, including rule queries. This PR records a pinned source audit and fresh bench-machine envelope/profiles verifying that the remaining production fact-level net-assert handles pending/staged records. No engine change is needed.

The report includes raw results, independent row checks, reproducible drivers, environment/load observations, and the distinction between empty pending calls and committed-row hashing. It documents the discarded recursive capture, its zero-loss retry, and incomplete outer call chains. Source analysis is the primary proof; these measurements do not claim a controlled 10% speedup.

Validation:

  • All 23 envelope shapes at 100K/1M/10M: 69 records, no errors or caps, at least five timed runs each.
  • Six independent checks match the two otherwise-unchecked row counts at all scales.
  • Four retained inline-aware profiles: zero lost samples and thousands of identifiable query samples each.
  • Artifact/table/hash/link/privacy checks, Rust snippet formatting, and shell/Python syntax checks pass.
  • Claude reviewed the specification, execution plan, source/checker, and final diff/evidence.

Refs #532. The evidence supports closing it as superseded by #551 after this PR lands.

@codecov
codecov Bot commented Oct 28, 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 2abf53d into v3 Oct 28, 2026
19 checks passed
@adityamukho
adityamukho deleted the docs/532-net-assert-audit branch October 28, 2026 00:36
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