{
  "status": "pass",
  "scope": "all nonempty action-fiber patterns on observed alphabets through size three",
  "fiber_patterns": 399,
  "no_call_patterns": 39,
  "synchronized_patterns": 25,
  "unbounded_patterns": 335,
  "zero_diameter_word_checks": 52084,
  "linear_witness_checks": 2680,
  "witness_symbols": 14400,
  "maximum_requested_separation": 8,
  "does_not_verify": [
    "source-language restrictions on compatible lifts",
    "stack-symbol disagreement at equal height",
    "context-dependent hidden-coordinate maps",
    "causal-selection decidability in the unbounded tier"
  ]
}