Repository navigation
feat(renamer): shadow token Descriptor 槽接线——描述符类型位展开（#108 A 批 A1/A3） - #109
Merged
Merged
Conversation
§3 位置三分之描述符行从 fail-loud 占位转正式文法： - resolveShadowDescriptor：单遍词法走查 + 轻量描述符文法校验—— ( ) [ 基类型直通，L…; 段内容按 parseShadowRef 分形：ClassRef 查表 展开真实内部名（四分类同源上抛），Raw 恒等直通（类型位零漂移不核 表，verifyRaw 不适用），EscapedLiteral 剥 $ 按字面输出，MemberRef/ Malformed/泛型签名标记（< >）/文法垃圾一律 MalformedHandle fail-loud， 不静默替换产生垃圾输出 - resolveShadowSlot 分派接线；AmbiguousMember 处方文案同步（三段成员 句柄仍是后续） - A3 悬垂排查收口：全仓表查询面消费形态审计（findBy*/entriesOfClass 按值、classEntry 空判、无临时取址），历史 UB 形状已在 findClassByHandle 按值交付修复，本批钉扎面完整 - 新增 10 例：恒等零漂移/类型位展开/数组与多参数/经收口分派/缺表硬报/ unknown-handle 上抛/类型位拒成员引用/泛型签名 fail-loud/文法垃圾矩阵/ 字面转义；NonNamePositions 钉扎测试改钉新契约 套件 1884 用例 1881 绿 + 3 既有 POSIX 跳过。
指令操作数（助记符后）单一入口 resolveShadowJasmBody：尾随描述符切分
（) 结尾取末个 " (" 组、否则末空格后字段描述符、无空格纯类操作数）；
引用部分派序先整体后拆分——整体 ClassRef/MemberRef 直达展开，Malformed
且带 ${ 前缀按首个 } 拆 owner handle + .name 复合（表查询错误原样直传，
unknown-handle 不被复合语境吞成 malformed），其余 Raw 零漂移直通；嵌套
MemberRef 核验 owner 自洽，异 owner fail-loud；描述符部经 Descriptor 槽
展开。Name/Descriptor/JasmBody 三槽收口齐备。
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.
#108 A 批推进
A1：Descriptor 槽
§3 位置三分之描述符行从 fail-loud 占位转正式文法。
resolveShadowDescriptor：单遍词法走查 + 轻量描述符文法校验——( ) [/基类型直通；L…;段内容按 parseShadowRef 分形：ClassRef 查表展开真实内部名（四分类同源上抛），Raw 恒等直通（类型位零漂移不核表），EscapedLiteral 剥 $ 按字面输出，MemberRef/泛型签名标记/文法垃圾一律 MalformedHandle fail-loud，不静默替换产生垃圾输出。A3：悬垂/寿命排查收口
全仓表查询面消费形态审计：findByShadowName/findByRawName/entriesOfClass 按值交付、classEntry 仅空判、无临时 vector 取址——历史 UB 形状（findClassByHandle 返回临时 vector 内部指针）已在按值交付修复，本批审计确认无残留，钉扎面完整。
验证
新增 10 例（恒等零漂移/类型位展开/数组与多参数/收口分派/缺表硬报/unknown-handle 上抛/类型位拒成员引用/泛型签名 fail-loud/文法垃圾矩阵/字面转义）+ NonNamePositions 钉扎改钉新契约。全量 1884 用例 1881 绿 + 3 既有 POSIX 跳过。
后续（同批）
mjt 工具面 desc 参数接 Descriptor 槽位；A2 JasmBody 槽接线。