Repository navigation
docs/arxiv: finalize t27b-backend-shootout artifact (Refs #13202) - #13577
Merged
Merged
Conversation
…loses #13453) Fresh binary from lane/golden-spec-derived (all 8 optimization PRs): hot loop offsets 0x64..0x8c = 11 words. ifconv fired (csel at 0x80/0x84) but saves 1 word not 2; adds cur_tick + b.hs trap unchanged (check_elide rule a is for main IV only). countdown fired (sub+cbnz at 0x88/0x8c), saves 1 word as expected. GCC -O2: 10 words. Gap = 1. Updates golden_spec.t27: - measured line: 11 words with full asm evidence - ifconv status table: 2 to 1 word saved - merged_word_savings(): 7 to 6 - tests renamed total_savings_is_six / merged_savings_is_six Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>
…c conflict) Conflict in specs/tri/t27b/golden_spec.t27 lines 97-108: master had stale derivation "pending fresh binary"; HEAD has the actual 11-word measurement. Kept HEAD (direct evidence). Also corrected "7 of 8" to "6 of 8" in CONCLUSION. Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>
#13453) Fresh binary (2026-11-10) confirms 21-word naive hot loop on bench_audit. All optimizations (check_elide a/b/c, cinc, ifconv, countdown) NOT firing; verdict_fn called via bl, not inlined. Corrects prior 11-word projection. merged_word_savings: 6 → 0; tests renamed total/merged_savings_is_zero. Follow-up needed: optimization regression analysis on bench_audit. Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>
Documents: 21-word measurement, 0 optimizations firing, PR #13498 approval blocker, follow-up regression analysis needed. Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>
Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>
Co-authored-by: Dmitrii Vasilev <gHashTag@users.noreply.github.com>
…ane/golden-spec-derived
Contributor
Bugbot couldn't run - usage limit reachedBugbot is counted against Cursor usage for this user or team, and this run hit a usage or spend limit. A user or team admin can review and increase usage limits in the Cursor dashboard. (requestId: 7cdd12f1-3971-4d43-bdaa-54f91fcb6688) |
Contributor
Contributor
Bugbot couldn't run - usage limit reachedBugbot is counted against Cursor usage for this user or team, and this run hit a usage or spend limit. A user or team admin can review and increase usage limits in the Cursor dashboard. (requestId: 30068123-93ed-45a6-8567-3b010a3af350) |
Contributor
PR DashboardGenerated at: 2026-11-10 14:32:15 UTC
Summary
Seal Status
|
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
docs/arxiv-submission/t27b-backend-shootout/.main.pdf(74.4 KiB), date 2026-11-07, no LaTeX errors, no missing references.CLAIMS.mdrows C6 (external IR input) / C7 (language front ends) / C8 (separate backend time) are not implemented / not measured; C9 emit fixtures not built;gen-pythonis declaration-only; t27b is not a multi-language shared backend today and cross-language lowering is not claimed.docs/reports/t27b-bench-2026-10.md, with raw data indocs/reports/t27b-bench-2026-10.jsonand a "How to reproduce" section in the report. No heavy benchmarks were re-run.Artifact
main.tex/main.pdf/CLAIMS.md/LIMITATIONS.md/README.md/abstract.txtRefs #13202
Note
Low Risk
Documentation and submission artifacts only; no compiler, runtime, or CI behavior changes.
Overview
Finalizes the GOLDEN SPEC arXiv package under
docs/arxiv-submission/t27b-backend-shootout/for issue #13202: LaTeX source, a tectonic-builtmain.pdf(dated 2026-11-07), plain-text abstract, and companionCLAIMS.md,LIMITATIONS.md, andREADME.md.The ledger explicitly withdraws or scopes earlier claims (e.g. C1–C3) and marks C6–C9 as planned, not implemented (no external IR reader, no separate language front ends, no emit fixtures), so the paper text matches what was actually measured. Reproducibility is wired to committed bench artifacts—each table claim points at sections A–E of
docs/reports/t27b-bench-2026-10.mdandt27b-bench-2026-10.json; no new benchmark runs.Reviewed by Cursor Bugbot for commit 98aaa5b. Bugbot is set up for automated code reviews on this repo. Configure here.