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
{{ message }}
Repository navigation
(OPT) Reduce paid no-saving sequencing-minimum probes without moving the work frontier #858
The Main 44f52ebee749b2877ba001c5398acbf803a277a1 sequencing-minimum optimization is being integrated with the branch's lexical first-output work frontier. The funded port preserves the original work/materialization/capacity-payment order and pays a complete additional scalar receiving envelope before querying the remaining suffix iterator or forming helper arguments.
Static review identified a real no-saving shape: P=9 prefixes and S=2 suffixes have original C=16 and proved D=16. The added probe therefore pays its receiving fee without removing a backing allocation. Selected-admission fallback also pays before declining the new optimization. This is source-level evidence from an unqualified implementation, not a measured current-head regression, application result, or agent-token result.
Optimize the no-saving/common cases while retaining the useful P+S-1 minimum:
Measure the actual allocation ledger, physical allocations, work, eventual capacity/future growth and complete Drop for qualifying, C=D, selected, unpaid, stopped-first and tiny cases against the complete immediate predecessor.
Investigate a smaller prepaid query, reuse of already paid scalar state, or a fused lexical admission. Account for every newly introduced argument, reference, Option, boolean, error and return carrier before formation. Do not claim an unpaid header gate or refund earlier costs.
Preserve the original first work failure and sticky selected status; test zero/exact/one-short/expired-owner and real allocator-floor refusal with all Diagnostic fields intact.
Keep the independent Main44 and immediate branch receivers and their complete source guards. No bound, builder cap, reservation, fixture or backend check may be weakened.
Report unfavorable observations alongside savings. Compiler builder bytes are not RSS, agent tokens, or billed cost; any application/agent claim requires the matched live benchmark.
Discovery: astra-main44f-minimum-discovery-20261016.md in this task's external evidence directory; implementation owner src/cleanup_plan/replay/path_array/sequence_minimum.rs (integration pending). This is a separate later optimization from the existing #856 prefix receiving correction.
Completed the sequencing-minimum receiving correction. All 14 exact owners passed, including complete predecessor/source custody, actual paid/physical/Drop, selected/unpaid, overflow, no-saving and sticky controls. Unfavorable observations are retained; a pass is not a universal saving claim.
Verified source: 851f1293ce4ce0d35107637b9d4f78cb85e6293f. Published through wavect/v0-10-0 / PR840 at 0e43312f5; the final commit adds evidence only. Exact selector/results and limits, full issue map. Four scoped owning builds and production-only Clippy passed. No full suites/gates or new live agent benchmark ran.
The broader selected92 batch was 89 pass / 3 fail, not all green. The three separate cfg(test) source-custody failures are fully preserved in the report and are being repaired in an isolated lane; they do not relax the completed issue-specific owners above. No application-fit, agent-token, billed-cost or PR-mergeability claim is made. Closing this bounded ticket as completed on the requested branch.
Activity
wsdt commentedon Oct 17, 2026
Completed the sequencing-minimum receiving correction. All 14 exact owners passed, including complete predecessor/source custody, actual paid/physical/Drop, selected/unpaid, overflow, no-saving and sticky controls. Unfavorable observations are retained; a pass is not a universal saving claim.
Verified source:
851f1293ce4ce0d35107637b9d4f78cb85e6293f. Published throughwavect/v0-10-0/ PR840 at 0e43312f5; the final commit adds evidence only. Exact selector/results and limits, full issue map. Four scoped owning builds and production-only Clippy passed. No full suites/gates or new live agent benchmark ran.The broader selected92 batch was 89 pass / 3 fail, not all green. The three separate cfg(test) source-custody failures are fully preserved in the report and are being repaired in an isolated lane; they do not relax the completed issue-specific owners above. No application-fit, agent-token, billed-cost or PR-mergeability claim is made. Closing this bounded ticket as completed on the requested branch.