docs(language-status): add assembly coverage doc - #1957
Merged
Conversation
Documents the generic x86-64/ARMv8 assembly LANGUAGE_DEFINITIONS entry (distinct from the already-documented agc_assembly sibling) following the language-status skill: 42/52 rule keys wired, 231 dedicated test cases, closed hardening work (#856/#936, #940, #574/#745, #1955), two open unresolved bugs found along the way (#1949, #1954), and real-world gitgalaxy-raw-output evidence (HelloSilicon, asm, bootOS, cosmopolitan). Sections 1-8 only -- section 9 (measured tri-comparison accuracy) is being produced by a separate investigation and will be appended later. Co-Authored-By: Claude Sonnet 5 <noreply@anthropic.com>
Appends the measured tri-comparison section left open for the parallel tri-comparison-ledger-sweep investigation: GitGalaxy vs. ctags (assembly has no tree-sitter grammar). Unlike agc_assembly's fairly clean split, this language's shapes mix real wins and real gaps in both directions -- a dot-prefix naming-convention artifact, a genuine ctags gap on numeric local labels, the same #1949 detector.py bug confirmed live here, a correct-by- design .L-prefix exclusion, and a genuine GitGalaxy precision gap from func_start's intentionally permissive design (the mirror image of agc_assembly's own win). ctags legitimately earned its first chart badge as a result. Also documents the separately-filed #1954 (prism.py Form-Feed line-drift bug) found during the same investigation. Co-Authored-By: Claude Sonnet 5 <noreply@anthropic.com>
Contributor
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/language_status/assembly.md, documenting the generic x86-64/ARMv8LANGUAGE_DEFINITIONS["assembly"]entry via thelanguage-statusskill -- distinct from the already-documentedagc_assemblysibling (Apollo Guidance Computer source).assembly's row**written**and links it indocs/language_status/README.md's index table (numbers already matched what was in the table).What the doc found
None), 148 extraction-gauntlet tests + 83 strict-signature tests = 231 total.func_startis deliberately permissive here (anyidentifier:label, excluding.L/.LC/digit-leading/section-marker labels) -- a real, load-bearing design difference fromagc_assembly's opcode-coupledfunc_start.class_startis wired (NASMstruc/MASMSTRUCT/.struct), unlikeagc_assemblywhich has no class concept at all.known_limitation-named tests exist for this language.argsbug + adding legacy 8/16-bit register support), Strict parsing tests:assemblystructural signatures #574/PR Fix #574: Strict parsing tests for assembly structural signatures #745 (strict tests, epic Epic: Strict & exact regex test coverage for all structural signatures, per language #518 -- found 3 real bugs including leftover copy-pasted Lua signatures on 4 hybrid keys), and PR fix(assembly): real per-function args count, validate tri-comparison ledger #1955 (real per-functionargscounting via distinct-register counting, plus tri-comparison ledger validation -- ctags earned its first chart badge on assembly's Func Precision panel, 92.6% vs. GitGalaxy's 85%, an honest unforced result)._slice_by_labelstruncation/discard bug, confirmed live in assembly via a real// @returndoc-comment false-positive incosmopolitan/ape.S) and prism.py: _strip_single_line_comments's str.splitlines() inserts phantom newlines on Form Feed/Vertical Tab (20 line_exclusive languages) #1954 (prism.py'sstr.splitlines()Form-Feed line-drift bug, also found viacosmopolitan/ape.S).gitgalaxy-raw-outputrepos chosen for a size/dialect spread --HelloSilicon(small, ARMv8 tutorial),asm(small, x86 tutorial),bootOS(small, 16-bit real-mode bootloader),cosmopolitan(198K LOC, genuinely adversarial multi-dialect framework -- the actual source of both open issues above).Per the task scope, section 9 (measured tri-comparison accuracy) is intentionally omitted -- a separate investigation is producing it and will append it to this file.
Documentation only, no parsing-logic change -- no
crucible_check.py/audit_check.pyrun.🤖 Generated with Claude Code