{
  "all_ok": true,
  "executed": true,
  "explicit_non_claim": "A flag is a PAIRING that cannot hold -- an artifact recording a scope the published command's defaults cannot produce. It is not a proof that the artifact's numbers are wrong; an artifact made by a deliberate non-default invocation is exactly what this flags, because the published command is what a stranger types.",
  "flags": [
    {
      "artifact": "artifacts/backends/impossibility.json",
      "default": 400,
      "field": "/derived_tag_requirements_semantic/n_solver_calls",
      "field_value": 23696,
      "option": "--semantic-sample",
      "producer": "xdomain/mcp/impossibility.py",
      "published_commands": [
        "python3 xdomain/mcp/impossibility.py",
        "python3 xdomain/mcp/impossibility.py --semantic-sample 0"
      ],
      "resolved_by_published_command": true,
      "why": "n_solver_calls=23696 exceeds what --semantic-sample=400 can produce, so the default invocation did not write this value."
    },
    {
      "artifact": "artifacts/backends/impossibility.json",
      "default": 400,
      "field": "/route_a_structural[0]/n_assignments_checked",
      "field_value": 9216,
      "option": "--semantic-sample",
      "producer": "xdomain/mcp/impossibility.py",
      "published_commands": [
        "python3 xdomain/mcp/impossibility.py",
        "python3 xdomain/mcp/impossibility.py --semantic-sample 0"
      ],
      "resolved_by_published_command": true,
      "why": "n_assignments_checked=9216 exceeds what --semantic-sample=400 can produce, so the default invocation did not write this value."
    },
    {
      "artifact": "artifacts/backends/impossibility.json",
      "default": 400,
      "field": "/route_b_semantic[0]/full_factorial",
      "field_value": true,
      "option": "--semantic-sample",
      "producer": "xdomain/mcp/impossibility.py",
      "published_commands": [
        "python3 xdomain/mcp/impossibility.py",
        "python3 xdomain/mcp/impossibility.py --semantic-sample 0"
      ],
      "resolved_by_published_command": true,
      "why": "full_factorial is recorded true while the published command's --semantic-sample default is 400: a finite sample cannot be an exhaustive one."
    }
  ],
  "honest_scope": "AST only: no producer is imported or run, so a producer that computes its defaults at runtime is invisible here. Count fields are compared against the single matching option default, not against the true size of the space, which the scanner cannot know.",
  "n_flags": 3,
  "n_producer_artifact_pairs": 1,
  "n_unresolved": 0,
  "schema": "scope-defaults-scan-v1",
  "skipped": false
}