== [1/3] visible checks (criterion 2 — typed validation) ==
test_no_discount_below_ten (test_visible.DiscountHappyPath.test_no_discount_below_ten) ... ok
test_ten_percent_at_ten (test_visible.DiscountHappyPath.test_ten_percent_at_ten) ... ok
test_twenty_percent_at_hundred (test_visible.DiscountHappyPath.test_twenty_percent_at_hundred) ... ok
test_bool_quantity_rejected (test_visible.ParseRequestRejection.test_bool_quantity_rejected) ... ok
test_missing_key_rejected (test_visible.ParseRequestRejection.test_missing_key_rejected) ... ok
test_negative_price_rejected (test_visible.ParseRequestRejection.test_negative_price_rejected) ... ok
test_negative_quantity_rejected (test_visible.ParseRequestRejection.test_negative_quantity_rejected) ... ok
test_non_int_quantity_rejected (test_visible.ParseRequestRejection.test_non_int_quantity_rejected) ... ok
test_non_mapping_rejected (test_visible.ParseRequestRejection.test_non_mapping_rejected) ... ok
test_non_numeric_price_rejected (test_visible.ParseRequestRejection.test_non_numeric_price_rejected) ... ok
test_valid_request_parses (test_visible.ParseRequestRejection.test_valid_request_parses) ... ok

----------------------------------------------------------------------
Ran 11 tests in 0.004s

OK
verify-fast: PASS (criterion 2 — parse_request rejects malformed input)
== [2/3] held-out gate (real scripts/holdout_gate.py) ==
{
  "verdict": "Succeeded",
  "reason": "visible and holdout gates both green",
  "passed_visible": true,
  "passed_holdout": true,
  "false_completion": false,
  "visible": [
    {
      "id": "visible-unit",
      "passed": true,
      "returncode": 0
    },
    {
      "id": "coverage-80",
      "passed": true,
      "returncode": 0
    }
  ],
  "holdout": [
    {
      "id": "holdout-probes",
      "passed": true,
      "returncode": 0
    }
  ]
}
captured verdict -> examples/coverage-repair/.loop/artifacts/holdout-verdict.json
== [3/3] cross-check: committed terminal_state vs gate verdict ==
OK: terminal_state false_completion:false is BACKED by an independent holdout_gate verdict of Succeeded
run-example: PASS
