You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Implements the canonical Cell LTX scaling track from crates/crab-cell-runtime/docs/canonical-ltx-scaling.md, with plans 004–017 kept self-contained and evidence-driven.
Included
Architecture guard for crab-http-server -> crab-cell-runtime -> crab-ltx, including a pure coordination-kernel gate.
Deterministic adversarial coordination simulation, replay corpus, broken-variant checks, and pinned TLC fast/negative/broad model checks.
Resident local routing before catalog/control reads and bounded sparse hydration on the existing SQL worker path.
Actor-owned idle eviction, hysteretic pressure shedding, paced movement budgets, persisted Queue/Workflow inventory protection, and one runtime/SQL/hydration/primitive ledger.
Signed placement observations and deterministic weighted planning clamped by live runtime reservations.
OS-process movement probes for one authority winner, exact-root preservation, owner fencing/recovery, lost-release reconciliation, receiver rollback, and membership-loss ordering.
Plan 016/017 hard removal of the standalone Replica, ReplicaHead, standalone paged/VFS, and CompactionSchedule surfaces. Cell-scoped mechanics remain; old prefixes are never reinterpreted.
Blob/Cron absolute-time windows anchored to mutation-issued time, plus Queue/Workflow durable recovery controls.
Verification
crab-cell-runtime: full locked suite passes (214 library tests, actor/integration suites, with only explicitly ignored provider cases).
crab-ltx: locked no-default and replica feature suites pass, including the canonical Cell root inventory qualification.
Process-support actor suite passes once without retry masking; the membership-loss simulator regression passes.
make -C crab architecture-check passes, including the standalone-LTX hard-cut guard.
Matrix receipt CLI smoke passes in a fresh process; Clippy, formatting, docs validation, and git diff --check pass.
The implementation does not fabricate release evidence. Protected provider/Kubernetes three-Pod fault receipts, matched Crab/Celld latency measurements, fleet-convergence/pressure receipts, and release-scale matrix rows still require their configured provider environments and exact tagged image. Local RustFS and multi-GiB runs are recorded as iteration evidence, not as substitutes for those protected gates.
Follow-up pushed in d6684352d23 / cf8642a37fb / bda23353d24: active-Cell file descriptors are now part of the shared RAII ledger and eviction cost, surfaced via runtime stats and Prometheus gauges, with lifecycle/metrics assertions and a four-way concurrent reservation proof. Focused and full local gates remain green; external provider, multi-GiB, multi-process/Kubernetes, and standalone-contract decision gates remain intentionally open.
CI follow-up 6850d4c94c6 fixes actionlint failures by moving runner.temp Cargo target paths from job-level env (invalid context) to step-level env. Local actionlint now passes; the workflow will re-run the model and contract gates.
Follow-up f1d4f546727: coordination simulation movement release and release invariants now use the same ready_to_deactivate adapter-observation gate as production. Coordination simulator corpus (10 tests), docs validation, formatting, and diff checks pass.
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Summary
Implements the canonical Cell LTX scaling track from
crates/crab-cell-runtime/docs/canonical-ltx-scaling.md, with plans 004–017 kept self-contained and evidence-driven.Included
crab-http-server -> crab-cell-runtime -> crab-ltx, including a pure coordination-kernel gate.Replica,ReplicaHead, standalone paged/VFS, andCompactionSchedulesurfaces. Cell-scoped mechanics remain; old prefixes are never reinterpreted.Verification
crab-cell-runtime: full locked suite passes (214 library tests, actor/integration suites, with only explicitly ignored provider cases).crab-ltx: locked no-default andreplicafeature suites pass, including the canonical Cell root inventory qualification.make -C crab architecture-checkpasses, including the standalone-LTX hard-cut guard.git diff --checkpass.Remaining protected gates
The implementation does not fabricate release evidence. Protected provider/Kubernetes three-Pod fault receipts, matched Crab/Celld latency measurements, fleet-convergence/pressure receipts, and release-scale matrix rows still require their configured provider environments and exact tagged image. Local RustFS and multi-GiB runs are recorded as iteration evidence, not as substitutes for those protected gates.