Skip to content

fix(scale): reconcile measured lifecycle accounting and admission - #1079

Merged
DecisionNerd merged 3 commits into
mainfrom
cursor/951-linearity-proof-5258
Sep 5, 2026
Merged

DecisionNerd merged 3 commits into
mainfrom
cursor/951-linearity-proof-5258

Conversation

@DecisionNerd

@DecisionNerd DecisionNerd commented Sep 2, 2026

Copy link
Copy Markdown
Contributor

Publication evidence previously omitted manifest installation and path-copy reads, while lifecycle admission assumed fixed CAS synchronization counts. This change carries measured payload, manifest and authentication components through the ordinary facade and reconciles their exact totals across both controlled 1×/2×/4× lifecycle axes.

Closes #1116
Refs #951

The implementation records actual file and directory barriers, preserves synchronized cache-window eviction, and accounts for a concurrent losing publisher's temporary work without counting reused objects as newly retained bytes. Retained shape allocation includes the runtime catalog. Checked arithmetic and protocol-derived Patricia bounds reject omitted, misclassified, duplicated, overflowed or excessive work; source/imported storage inventories remain authoritative.

Historical fixture readability is separate from authenticated certification. The parity gate checks the preserved lifecycle and complete phase mapping; certification still requires an externally anchored provider result. Regressions reject malformed/incomplete history and failed unmapped drills without fabricating provider evidence.

Validation on OVHC-AGENCY's ext4 filesystem:

  • cargo test --locked -p graphforge-storage --lib -- --test-threads=4: 953 passed, two unchanged existing ignores; private mount namespace supplies ext4 /tmp for durable tests.
  • cargo test --locked -p graphforge-api --lib -- --test-threads=4: all 681 passed, including exact payload/manifest/path-read reconciliation with unchanged growth ceilings.
  • cargo test --locked -p graphforge-api --test scale_g500_ladder -- --test-threads=1 --nocapture: all 29 passed, including both 1×/2×/4× axes, publication, reopen, export, clean import, recovery and the million-edge sink.
  • PYTHONPATH=benchmarks/harness uv run pytest -q scripts/ci/test-validate-g500-certification.py benchmarks/tests/test_scale_parity.py: 258 passed, plus 14 adversarial subtests.
  • make -C benchmarks smoke-python: 389 passed.
  • make -C benchmarks smoke-rust: all Rust benchmark tests, Clippy, formatting and the public-facade dependency boundary passed.
  • Fresh CLI and all benchmark binaries built from this tree; benchmarks/scripts/test-tiny-lifecycle-certification.py passed all ten real phases, including source/imported count and query receipts, matching result hashes and retained/peak storage checks.
  • Workspace Clippy, formatting, make pre-push-fast and make gate-registry-check: passed on the final tree.

#951 remains open for S20 and conditional S22 host outcomes using #900's ladder. This PR supplies deterministic implementation and admission proof and does not claim host-scale qualification.

Exact-head CI: Test Suite 33954226141 passed at de630749b9b19e99bbdbd38f10bc732727a51105; CI Gate was SUCCESS, merge state CLEAN, and no review threads were unresolved. Squash-merged as 417b6466c027730c0bcbcabb56ac87194585b4fd; #1116 closure verified.

@coderabbitai

coderabbitai Bot commented Sep 2, 2026

Copy link
Copy Markdown

Important

Review skipped

Auto reviews are disabled on this repository. Please check the settings in the CodeRabbit UI or the .coderabbit.yaml file in this repository. To trigger a single review, invoke the @coderabbitai review command.

⚙️ Run configuration

Configuration used: Path: .coderabbit.yaml

Review profile: CHILL

Plan: Team

Run ID: bb17b643-d646-4921-a9ab-de491330ef2d

You can disable this status message by setting the reviews.review_status to false in the CodeRabbit configuration file.

Use the checkbox below for a quick retry:

  • 🔍 Trigger review

Warning

Billing warning: we have not been able to collect payment for this subscription for more than 72 hours. Please update the payment method or pay any pending invoices in Billing to avoid service interruption.


Thanks for using CodeRabbit! It's free for OSS, and your support helps us grow. If you like it, consider giving us a shout-out.

❤️ Share

Comment @coderabbitai help to get the list of available commands.

@github-actions github-actions Bot added the core Core source code changes label Sep 2, 2026
@blacksmith-sh

This comment has been minimized.

@blacksmith-sh

This comment has been minimized.

@blacksmith-sh

This comment has been minimized.

@blacksmith-sh

This comment has been minimized.

@github-actions github-actions Bot added documentation Improvements or additions to documentation tooling Developer tooling and automation labels Sep 2, 2026
@blacksmith-sh

This comment has been minimized.

@blacksmith-sh

This comment has been minimized.

@blacksmith-sh

This comment has been minimized.

@github-actions github-actions Bot added the executor Changes to query executor label Sep 2, 2026
@blacksmith-sh

This comment has been minimized.

@DecisionNerd
DecisionNerd force-pushed the cursor/951-linearity-proof-5258 branch from 75999e9 to f71e8bd Compare September 5, 2026 07:41
@DecisionNerd DecisionNerd changed the title test(scale): prove full-lifecycle affine growth fix(scale): reconcile measured lifecycle accounting and admission Sep 5, 2026
@DecisionNerd
DecisionNerd marked this pull request as ready for review September 5, 2026 07:42
@DecisionNerd
DecisionNerd merged commit 417b646 into main Sep 5, 2026
23 checks passed
@DecisionNerd
DecisionNerd deleted the cursor/951-linearity-proof-5258 branch September 5, 2026 08:16
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

core Core source code changes documentation Improvements or additions to documentation executor Changes to query executor tooling Developer tooling and automation

Projects

None yet

Development

Successfully merging this pull request may close these issues.

fix(scale): reconcile deterministic lifecycle accounting and proof

2 participants