lambdaclass / lambdaclass/lambda_compiler_kit
feat: add ValidTopLevel predicate for top-level JSON parse validation
Dieses Issue hat noch niemand übernommen.
- Vorherrschende Sprache
- Lean
- Sterne
- 2
- Forks
- 1
- PR-Merge-Kennzahlen
- Keine gemergten PRs in 30 T.
Beschreibung
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
Beitragsleitfaden
Für dieses Repository ist kein Beitragsleitfaden indexiert
Erste Schritte
- Lies das ganze Issue und danach den Beitragsleitfaden des Projekts.
- Schreib ins Issue, dass du es übernimmst — das erspart doppelte Arbeit.
- Forke das Repository und arbeite in einem Branch.
- Öffne einen Pull Request, der die Issue-Nummer nennt.
Rechercherichtung
Beginne damit, die Definitionen von ValidJson, ValidJsonArray, ValidJsonObject, parse und parseRaw zu lokalisieren. Definiere, was ValidTopLevel für den vollständigen Verbrauch von Tokens charakterisieren muss, und stelle dann den angeforderten iff-Satz auf, der zeigt, wann parse oder parseRaw .ok zurückgibt.
Vom Indexierungsmodell aus dem Issue-Text verfasst.
Bewertung
- Bereich
- compilers
- Issue-Typ
- Feature
- Schwierigkeit
- 4/5
- Geschätzter Aufwand
- 3-5 Tage
- Aktivitätsstatus
- Veraltet
- Klarheit
- Größtenteils klar
- Anfängerfreundlichkeit
- 42/100