Repository navigation
fix(p4): recognize complete root families without facade reparsing - #260
Merged
Merged
Conversation
6 tasks
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.
Formulaが短いNumber prefixで確定した後、Java両engineとRustの公開parser/evaluatorが別のresult-familyを再parseしていました。Formulaのprologueを一度だけ認識し、各familyのexpression・method・EOFまでを順序付き選択にまとめます。4経路のalternate-root loopと、成功後の明示result-family再parseを撤去しました。
公開ASTのrootと明示型は、確定したASTから投影します。元のCP span・文書・callback/scope rollbackを保持し、明示subtree APIと同じrootの詳細診断再試行は既存契約のままです。nested ExpressionのPEG選択順は変えません。両generatorは同じ固定commit f54d6b9から再生成し、公開Classic AST schemaはbaselineとbyte一致しています。
型投影の原文確認にはoperation-local Unicode cursorをJava/Rust両方へ追加しました。先頭からの繰り返し走査を避け、逆向き・重複・EOFの範囲も独立に検証します。全sourceの新しい索引配列や一般span APIの変更はありません。
検証:
既存Classic大入力4行(2入力)のmapper資源拒否は隠さず、unlaxer-parser#680とtinyexpression#259で別に修正します。string型変数の連結を含む文書1件が両engineで新しく正常受理されることは移行文書に明記しました。
CIで検出した2点も同じ変更範囲で修正しました。派生文法の固定ハッシュを更新し、
&&/||の1文字目が合法な単独演算子として消費された場合も、Java LSPとRust/WasmのCatalog診断を既存のTE023に揃えます。分類は失敗位置に接する2文字だけを調べ、公開parserのCP位置・期待値・表示位置を保持します。追加検証:
PR #258は統合済みです。新HEADの全CI成功後に統合します。revert時は手書き文法とその固定再生成物・投影コードをこのPR単位で戻せます。
Closes #256