{
  "verification_scope": "Independent Python model, not the native binary or production HTTP API",
  "synthetic_vectors_passed": 12,
  "changed_pairs_checked": 4096,
  "hexagram_states_checked": 64,
  "coin_combinations_checked": 8,
  "yarrow_state_splits_checked": 116,
  "yarrow_probability": {
    "6": "1/16",
    "7": "5/16",
    "8": "7/16",
    "9": "3/16"
  },
  "coin_probability": {
    "6": "1/8",
    "7": "3/8",
    "8": "3/8",
    "9": "1/8"
  },
  "xor_masks_8bit_checked": 256,
  "rejection_spans_8bit_checked": 63,
  "native_test": {
    "status": "compile_failed",
    "compiler": "virc 2026.2.20",
    "test": "tests/test_cast_csprng.vri",
    "errors": [
      "E2001",
      "E3007"
    ],
    "native_pass_claimed": false
  },
  "production_fault_injection": "not run for this publication"
}