feat: add ValidTopLevel predicate for top-level JSON parse validation
Nessuno ha ancora preso questa issue.
Valutazione
- Difficoltà
- 4/5
- Tempo stimato
- 3-5 giorni
- Idoneità per principianti
- 42/100
- Tipo di issue
- Funzionalità
- Chiarezza
- Abbastanza chiara
- Stato di attività
- Ferma
- Ambito
- compilers
Direzione di ricerca
Inizia individuando le definizioni di ValidJson, ValidJsonArray, ValidJsonObject, parse e parseRaw. Definisci cosa deve caratterizzare ValidTopLevel per il consumo completo dei token, quindi stabilisci il teorema iff richiesto che mostra quando parse o parseRaw restituisce .ok.
Scritto dal modello di indicizzazione a partire dal testo della issue.
Descrizione
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
- Lingua principale
- Lean
- Stelle
- 2
- Fork
- 1
- Metriche di merge delle PR
- Nessuna PR unita negli ultimi 30g
Guida per i contributori
Nessuna guida per i contributori indicizzata per questo repository
Come iniziare
- Leggi tutta la issue e poi la guida ai contributi del progetto.
- Commenta sulla issue per dire che te ne occupi tu — evita che due persone facciano lo stesso lavoro.
- Fai un fork del repository e lavora su un branch.
- Apri una pull request che faccia riferimento al numero della issue.
Altre issue di lambdaclass/lambda_compiler_kit
-
Difficoltà 1/5 Meno di un'ora Idoneità per principianti 72/100
-
Difficoltà 1/5 Meno di un'ora Idoneità per principianti 68/100
-
Difficoltà 2/5 1-3 ore Idoneità per principianti 68/100
-
enhancement
Difficoltà 4/5 3-5 giorni Idoneità per principianti 48/100
-
Difficoltà 2/5 1-3 ore Idoneità per principianti 50/100
Tutte le issue di lambdaclass/lambda_compiler_kit
Issue simili
-
Difficoltà 2/5 1-3 ore Idoneità per principianti 75/100
objectionary/eo#8923 ·
-
Difficoltà 2/5 1-3 ore Idoneità per principianti 75/100
-
Coarray integration tests carry no LABELS, so run_tests.py silently skips them under every backend Apertacoarray
Difficoltà 2/5 1-3 ore Idoneità per principianti 70/100
-
Difficoltà 2/5 1-3 ore Idoneità per principianti 75/100
-
internal.h中，漏掉了1个定义。 Aperta
Difficoltà 1/5 Meno di un'ora Idoneità per principianti 95/100