{"id":"stock-exchange-no-input-validation","text":"The matching engine performs no validation on order fields (quantity, price, side); callers are trusted to provide valid inputs.","truth_value":"OUT","source":"entries/2026/06/05/stock-exchange-solution.md","source_url":"","source_hash":"","justifications":[],"dependents":["callers-trusted-at-internal-boundaries","stock-exchange-matching-produces-valid-trades"],"metadata":{"_retracted":true},"created_at":"","updated_at":"2026-06-17T14:30:28+00:00","reviewed_at":"","verified_at":"","retracted_at":"2026-06-17T14:30:28+00:00","explanation":{"steps":[{"node":"stock-exchange-no-input-validation","truth_value":"OUT","reason":"retracted premise"}]}}