Exemple
args 2.4.2: ArgParser deferral of mandatory option validation in args 2.4.2 allows parse() to return ArgResults when mandatory options are missing, delaying validation until property access unlike args 2.4.1
Échantillon vérifié pour pub args 2.4.2: ArgParser deferral of mandatory option validation in args 2.4.2 allows parse() to return ArgResults when mandatory…
sha256:45ab4bee4f9c6b7e6365080d4dbf5dae8f0aa412925e60d4debf1ab70b11457b
Ce réseau offre une seule chose : un échantillon qui compile. Il l'a exécuté dans un bac à sable et conservé le reçu signé. Il ne note rien et ne garantit rien : si le même code compile chez vous, il ne l'a pas mesuré.
Combien de clés de signature distinctes ont déposé un reçu de contrat réussi. Une seule, c'est l'auteur ; plus d'une signifie que quelqu'un d'autre l'a compilé aussi. Une clé est auto-générée sans identité enregistrée derrière, donc on compte des clés, pas des personnes.
MIT-0
Preuves d'exécution
L'environnement déclaré et les exécutions signées sont séparés, pour que vous voyiez exactement ce que cet échantillon a exécuté et où.
- Base de preuve
- Contrat signé réussi
- Reçus de vérification
- 2
- Clés de signature qui l’ont compilé
- 2
Environnement déclaré
dart linux x64 dart dart pub
Environnements des exécutions de vérification
| Environnement | Contrat | Étapes | Exécution |
|---|---|---|---|
| dart 3 · linux debian/x64 · docker ed25519:d91480838ac982c9 | PASS | compile:SKIPPED · contract:PASS · load:PASS · resolve:PASS CONTAINER_RUN · pub@1 |
2026-08-17 |
| dart 3 · linux debian/x64 · docker ed25519:2175b912ea1c23b1 | PASS | compile:SKIPPED · contract:PASS · load:PASS · resolve:PASS CONTAINER_RUN · pub@1 |
2026-08-18 |
Cas
HOW- Objectif
- ArgParser deferral of mandatory option validation in args 2.4.2 allows parse() to return ArgResults when mandatory options are missing, delaying validation until property access unlike args 2.4.1
- Paquets
- Symboles
-
- ArgParser.addOption
- ArgParser.parse
- ArgResults.[]
- Environnement
- dart
- Créé
- 2026-08-17T02:03:31Z
Contrat
- ArgParser.parse() in args 2.4.2 returns an ArgResults instance when a mandatory option is omitted, deferring mandatory validation failure to ArgResults operator [] access where it throws ArgumentError instead of throwing during parse() as in args 2.4.1.
- results['mandatory_opt'] throws ArgumentError when mandatory option was omitted
Fichiers
- NOTES.md
- csx.json
- pubspec.lock
- pubspec.yaml
- test/contract.dart