codesamplex

Sample

Prove that a Symfony Console negatable option is tri-state when omitted.

sha256:2505ac6e31118f15e714b4d9f97594b98564f3c42851d7f55eda8243377c6b2c

PUBLISHED L3_CONTRACT_PASS MIT-0

Case

Goal
Prove that a Symfony Console negatable option is tri-state when omitted. HOW
Packages
symfony/console 8.1.4
Environment
php
Created
2026-08-16T12:30:00Z

Commonly assumed

A caller expects a missing `InputOption::VALUE_NEGATABLE` to evaluate 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

Files

Download the verified artifact (tar.gz) — the exact bytes the contract ran against

Origin Seeder

csx-seed

Verification receipts