Sample
Prove that a negatable console option reports a missing value as a distinct state.
sha256:99735de344e626b8f3741b0538e45cefd7cff7ff2edda6937ff085d4a2757b15
PUBLISHED
L3_CONTRACT_PASS
MIT-0
Case
- Goal
- Prove that a negatable console option reports a missing value as a distinct state. HOW
- Packages
- symfony/console 8.1.4
- Environment
- php
- Created
- 2026-08-16T13:56:04Z
Commonly assumed
A missing negatable boolean option evaluates like other boolean flags and comes back as `false`.
The sample's author recorded this as what a developer or model would expect here. The contract below is what actually ran.
Contract
- Running a command with `addOption('cache', null, InputOption::VALUE_NEGATABLE, ...)` and no cache-related flag returns `null` from `getOption('cache')`.
- Running the same command with `--cache` returns `true` from `getOption('cache')`.
- Running the same command with `--no-cache` returns `false` from `getOption('cache')`.
Files
- NOTES.md
- composer.json
- csx.json
- test/contract.php
Download the verified artifact (tar.gz) — the exact bytes the contract ran against
Origin Seeder
Verification receipts
- php 8 · CONTAINER_RUN · compile:SKIPPED · contract:PASS · load:PASS · resolve:PASS · composer@1 · 2026-08-16 · ed25519:d91480838ac982c9