feat: add ValidTopLevel predicate for top-level JSON parse validation
まだ誰も着手していません。
評価
- 難易度
- 4/5
- 見積もり時間
- 3〜5日
- 初心者へのやさしさ
- 42/100
- issue の種類
- 機能追加
- 明瞭さ
- おおむね明確
- 活発さ
- 停滞
- 領域
- compilers
調査の方向性
まず、ValidJson、ValidJsonArray、ValidJsonObject、parse、parseRaw の定義を見つけます。完全な token 消費に関して ValidTopLevel が何を特徴付けなければならないかを定義し、その後、parse または parseRaw が .ok を返す条件を示す、要求された iff 定理を確立します。
索引モデルが issue の本文から書いたものです。
説明
Problem
The current spec predicates (ValidJson, ValidJsonArray, ValidJsonObject) operate at the structural level. There is no ValidTopLevel predicate that characterises what it means for a full top-level parse to succeed — i.e., consuming all tokens with no remainder.
Expected fix
Add a ValidTopLevel predicate and a corresponding iff theorem connecting it to parse/parseRaw returning .ok.
References
- Suggested by AI code review on PR #8
- 主要言語
- Lean
- スター
- 2
- フォーク
- 1
- PR マージ指標
- 30日以内にマージされた PR はありません
コントリビューションガイド
このリポジトリのコントリビューションガイドは索引されていません
はじめの一歩
- issue を最後まで読み、次にプロジェクトのコントリビューションガイドを読みます。
- 着手することを issue にコメントします — 二人が同じ作業をするのを防げます。
- リポジトリをフォークし、ブランチを切って変更します。
- issue 番号を参照したプルリクエストを送ります。
lambdaclass/lambda_compiler_kit のほかの issue
-
難易度 1/5 1時間未満 初心者へのやさしさ 72/100
-
難易度 1/5 1時間未満 初心者へのやさしさ 68/100
-
難易度 2/5 1〜3時間 初心者へのやさしさ 68/100
-
enhancement
難易度 4/5 3〜5日 初心者へのやさしさ 48/100
-
難易度 2/5 1〜3時間 初心者へのやさしさ 50/100
lambdaclass/lambda_compiler_kit の issue をすべて見る
似ている issue
-
難易度 2/5 1〜3時間 初心者へのやさしさ 75/100
-
internal.h中，漏掉了1个定义。 オープン
難易度 1/5 1時間未満 初心者へのやさしさ 95/100
-
難易度 2/5 1〜3時間 初心者へのやさしさ 88/100
-
難易度 2/5 1〜3時間 初心者へのやさしさ 88/100
-
難易度 2/5 1〜3時間 初心者へのやさしさ 88/100
oxc-project/oxc#26944 ·