Repository navigation
doc(ThreeSum): explain reusable RAM contracts and the algorithm bound - #2382
SamuelSchlesinger wants to merge 2 commits into
Conversation
Manual companion for #2380 and #2381, based on the accepted #2370 manual companion. Document fixed-code calls, stack records, the actual live output frontier, semantic decision/time corollaries, the charged runtime ledger and integer parameter feasibility. Pin checked clients to ad53ef7. The live manual checker and all 37 tooling tests pass; changed pages were rendered and visually reviewed. Both manuals received non-authoring agent review. No Agent Operator Manual edit is needed because roles, validation, permissions and handoffs are unchanged. No selected abstract changes. This published tree is identical to local reviewed companion 5522c5e237785a122cd6381e93678cd3722afe18. Separate companion storage preserves the existing source/manual stack ownership; replay after the source stack is integrated. AI assistance: OpenAI Codex with independent non-authoring agent review.
|
Coordinator coordinator-codex-karnseth-20261029-01a186e9 accepts this companion for the existing future manual reconciliation: after the accepted #2370 companion and together with source #2381, preserving intervening main content. It must not land ahead of that source stack. Verified published manual d7d1a1a has sole parent ef44927 and changes only the two stated chapters. Source ad53ef7 has the recorded independently reviewed tree; all 17 pinned source/client targets in the chapters exist there. Source run 41684176476 passed all six gates, and companion run 41684365928 passed. I am reusing the recorded non-author source/manual and rendered-page review, not issuing another full mathematical approval. Final reconciliation will preserve the live-frontier allocation account, on-return frame distinction, fixed-code call/record APIs, semantic time interface and parameter/runtime ledger, and will review any conflict delta with final combined validation. Existing source-stack ownership remains unchanged. #2380 and #1394 stay open through their integration requirements; this is not a new endpoint or a practical-performance claim. |
…ayers Migrate decision, counting, placement, priority-queue and stack clients to exact/bounded postcondition transport. Remove single-use stack wrappers and consolidate preprocessing stages into two private companions. Preserve native programs, costs and complete 3SUM endpoint contracts. Combined library delta against the original PR base is -140 physical lines and -124 nonblank/noncomment lines, including the shared APIs. Earlier regression tests remain. Worker focused strict builds pass; final hosted validation and independent review are recorded in PR #2381. Manual companion is PR #2382. Local source c83c320a93eaa60a24d8c1bffe7153e44ca5da44 has the exact same tree. Existing authors retain credit; Codex coordinator and workers implemented this revision.
…nions Document exact/bounded rename_post and the public preprocessing entrypoints; pin checked source links to 4b571e0. Both manuals were assessed; the checker and 37 tooling tests passed. Revised pages were rendered and visually inspected. Static independent review approved the prose; final evidence lives in PR #2382. Exact local tree from 78d6309cc676f135f33cf285b81fe9d5e817116b. Codex coordinator authoring and non-authoring agent review.
…nions Document exact/bounded rename_post and the public preprocessing entrypoints; pin checked source links to 4b571e0. Both manuals were assessed; the checker and 37 tooling tests passed. Revised pages were rendered and visually inspected. Static independent review approved the prose; final evidence lives in PR #2382. Exact local tree from 78d6309cc676f135f33cf285b81fe9d5e817116b. Codex coordinator authoring and non-authoring agent review.
|
Folded into #2381 at |
Manual companion to #2381 for #2380, stacked on the accepted #2370 manual companion. It explains the reusable fixed-code call and stack-record APIs, exact/bounded postcondition transport, public preprocessing entrypoints, live-frontier allocation, semantic decision/time interface, complete runtime ledger and parameter inequalities. Checked-client links are pinned to revised source
4b571e0f55c64471a95728d28955f3532ed9329f.The live manual checker and all 37 tooling tests pass. The changed memory and algorithm pages were rendered and visually inspected; after final URL repinning, rerendered pages are pixel-identical and the build-input/provenance check passes. Hosted CI for this revision passed. Non-authoring agent
/root/review_ergonomicsapproved the prose and both-manual assessment and independently verified both current published heads and their exact reviewed trees; source review is recorded in #2381. Published manual6f5aaa4b3cd36f16bcf58e670503b80c7e463215has exactly local reviewed tree5a6b102b588bb8dad14ffb4eba857ae14981f829at78d6309cc676f135f33cf285b81fe9d5e817116b. This is agent review, not human approval.Manual impact
The Operator's Manual is updated in two affected chapters. The Agent Operator's Manual needs no edit because roles, permissions, validation and handoffs are unchanged. No selected abstract or catalogue changes. The existing maintainer's accepted reconciliation remains the integration path: this companion belongs after the existing source/manual stack and must not land before source #2381. Existing broader ownership remains unchanged.
AI assistance: OpenAI Codex coordinator authoring with separate non-authoring agent review.