Repository navigation
Toolkit: exact pricing, legality oracle and free-endpoint retime for P104-family words (no kappa) - #5568
Merged
Mister-Meeseeks merged 2 commits intoOct 25, 2026
Conversation
…-endpoint retime; no kappa) One command, tk, for P104-family words: exact pricing, legality oracle with localisation, exact-lattice and event-level retime, word diff, invoice marginals, rank-r owned-pivot pricing and the delivery-program counter. The regression suite reproduces PR5551/5553/5561 (kappa and real-stack crossings) and the retime 5551 -> 5561. No kappa claim. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
…t (*.out is gitignored) Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
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
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
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
Toolkit: exact pricing, legality oracle and free-endpoint retime for P104-family words (no kappa). This package claims no kappa and no new word. It packages the tooling behind the recent P104 retime line (PR5551, PR5553, PR5561) as one command,
tk, with a regression suite that reproduces their published numbers.Package:
research/p104-designer-toolkit/(task cardscalar-to-moment, recorded asscope_status: changed; the package ships verification and retime tooling rather than pursuing scalar A2 contractions).What it contains
tk price: exact invoice and Decimal-50 root, crossing interval, side constraints and budgets;--realruns the unmodified PR5545 verifier stack with only census/claim literals patched. Reproduces PR5545 .0030411718, PR5551 .0030415312, PR5553 .0030428243, PR5561 .0030814243 (starts-only .0030768800) and the published real-stack crossing intervals.tk check: legality oracle listing all violations with rule string, event, register role and frame; three illegal mutants are localised in the suite.tk retime/tk evretime: exact-lattice retime with named freedoms and the event-level retime with free ADD placement (CP-SAT, optional).retime 5551 --free starts,finalsreproduces PR5561;evretime 5561gives .003081500768 (+7.6e-8).tk diff,tk sens,tk pricer,tk hops: word diff (5551 -> 5561: scalar program identical, 170 stops deleted), invoice marginals, rank-r owned-pivot pricing generalising PR5392 (reproduces its RESULT; rank-8 synthetic +7.2248e-5 / +1.4449e-4), and the delivery-program counter (916 / 2797).tk gen(hub-partition generator) is workspace-only and not replayed here.infra/,pricer/,words/(byte-identical to the PRs, hashes inSOURCES.json) andinputs/pr5545-source-closure.tar.gz(used unmodified) make the package self-contained apart from readingresearch/native-transpose-owned(PR5392) in place. Nothing is written into the checkout.Conditional on
No claim is made. The retime commands assume the verifier's free helper start/final frames, which is not a maintainer-approved contract; the toolkit reports the gain but cannot decide admissibility. Generic CI has no ortools, so the retime is verified there from its shipped output (diff, exact price and legality);
tests/regress.py --solverre-derives it where ortools exists.Verification
python3 scripts/research_package.py --package research/p104-designer-toolkit --check-onlytests/regress.py --quick --pricer --real 5553andtests/regress.py --real 5551,5561: exact kappa of all five words, localised mutants, the 5551 -> 5561 diff, sens table, PR5392 pricer results, and the real-stack crossings of PR5551, PR5553 and PR5561.Credits
PR5544/5545 (aliromman) and PR5551 (thu-nmrc) for the P104 word line and verifier stack; PR5553 for the hand-off word; PR5392 (aliromman) for
native-transpose-owned; PR5472 (GamingPuzzled) for the hand-off precedent. All predecessor credit retained.Prepared by DreamingOfClouds with Claude Opus 5.5 (Anthropic), via Claude Code.
🤖 Generated with Claude Code