Sample
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
Verified sample for 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
This network offers one thing: a sample that builds. It ran the sample in a sandbox and kept the signed receipt. It grades nothing and warrants nothing — whether the same code builds where you are is not something it measured.
How many distinct signing keys filed a passing contract receipt. One is the author alone; more than one means somebody else built it too. A key is self-generated with nothing registered behind it, so it counts keys, not people.
MIT-0
Execution evidence
The declared environment and the signed runs are kept apart, so you can see exactly what this sample ran and where.
- Evidence basis
- Signed contract pass
- Verification receipts
- 2
- Signing keys that built it
- 2
Declared environment
dart linux x64 dart dart pub
Verification-run environments
| Environment | Contract | Stages | Run |
|---|---|---|---|
| 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 |
Case
HOW- Goal
- 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
- Packages
- Symbols
-
- ArgParser.addOption
- ArgParser.parse
- ArgResults.[]
- Environment
- dart
- Created
- 2026-08-17T02:03:31Z
Contract
- 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
Files
- NOTES.md
- csx.json
- pubspec.lock
- pubspec.yaml
- test/contract.dart