{
  "disclosure": "Precomputed interactive replay generated by countback.service.analyze; no live Sibyl calls in this page.",
  "batch": {
    "schema_version": 1,
    "model_version": "binary-transfer-v1",
    "case_id": "synthetic-judge-example",
    "sku": "demonstration-unit",
    "unit": "unit",
    "bins": [
      "A",
      "B",
      "C"
    ],
    "opening": {
      "A": 10,
      "B": 10,
      "C": 10
    },
    "book": {
      "A": 10,
      "B": 10,
      "C": 10
    },
    "opening_source": "Disclosed synthetic opening; not a physical trial",
    "source_revision": "example-v1",
    "sources": [
      "Synthetic example; no independent count archive"
    ],
    "transfers": [
      {
        "id": "M1",
        "source": "B",
        "destination": "A",
        "quantity": 1
      },
      {
        "id": "M2",
        "source": "C",
        "destination": "A",
        "quantity": 1
      },
      {
        "id": "M3",
        "source": "A",
        "destination": "B",
        "quantity": 1
      }
    ],
    "scope": {
      "trusted_opening": true,
      "complete_movements": true,
      "binary_full_once": true,
      "no_unrelated_movements": true,
      "ordered_windows": true,
      "external_records_complete": true,
      "attested_by": "Synthetic demonstration premises"
    },
    "external_counts": [],
    "external_confirmations": []
  },
  "without": {
    "status": "NEEDS_COUNT",
    "vectors": [
      [
        9,
        11,
        10
      ],
      [
        10,
        10,
        10
      ],
      [
        10,
        11,
        9
      ],
      [
        11,
        9,
        10
      ],
      [
        11,
        10,
        9
      ],
      [
        12,
        9,
        9
      ]
    ],
    "history_count": 8,
    "proposal": null,
    "recommendation": {
      "bin": "A",
      "budget": 2,
      "worst": 2,
      "total": 10,
      "outcomes": [
        {
          "quantity": 9,
          "vectors": 1
        },
        {
          "quantity": 10,
          "vectors": 2
        },
        {
          "quantity": 11,
          "vectors": 2
        },
        {
          "quantity": 12,
          "vectors": 1
        }
      ]
    },
    "reasons": [],
    "branches": {
      "9": {
        "status": "RESOLVED_CONDITIONAL",
        "vectors": [
          [
            9,
            11,
            10
          ]
        ],
        "history_count": 1,
        "proposal": {
          "quantities": {
            "A": 9,
            "B": 11,
            "C": 10
          },
          "book_delta": {
            "A": -1,
            "B": 1,
            "C": 0
          },
          "execution_ambiguous": false,
          "basis": {
            "A": "Directly counted under current freeze",
            "B": "Inferred from recorded evidence and declared model",
            "C": "Inferred from recorded evidence and declared model"
          },
          "condition": "Conditional on trusted opening, complete ordered binary transfers, exact counts and uninterrupted freeze. Supervisor review required."
        },
        "recommendation": null,
        "reasons": [],
        "branches": {}
      },
      "10": {
        "status": "NEEDS_COUNT",
        "vectors": [
          [
            10,
            10,
            10
          ],
          [
            10,
            11,
            9
          ]
        ],
        "history_count": 3,
        "proposal": null,
        "recommendation": {
          "bin": "B",
          "budget": 1,
          "worst": 1,
          "total": 2,
          "outcomes": [
            {
              "quantity": 10,
              "vectors": 1
            },
            {
              "quantity": 11,
              "vectors": 1
            }
          ]
        },
        "reasons": [],
        "branches": {
          "10": {
            "status": "RESOLVED_CONDITIONAL",
            "vectors": [
              [
                10,
                10,
                10
              ]
            ],
            "history_count": 2,
            "proposal": {
              "quantities": {
                "A": 10,
                "B": 10,
                "C": 10
              },
              "book_delta": {
                "A": 0,
                "B": 0,
                "C": 0
              },
              "execution_ambiguous": true,
              "basis": {
                "A": "Directly counted under current freeze",
                "B": "Directly counted under current freeze",
                "C": "Inferred from recorded evidence and declared model"
              },
              "condition": "Conditional on trusted opening, complete ordered binary transfers, exact counts and uninterrupted freeze. Supervisor review required."
            },
            "recommendation": null,
            "reasons": [],
            "branches": {}
          },
          "11": {
            "status": "RESOLVED_CONDITIONAL",
            "vectors": [
              [
                10,
                11,
                9
              ]
            ],
            "history_count": 1,
            "proposal": {
              "quantities": {
                "A": 10,
                "B": 11,
                "C": 9
              },
              "book_delta": {
                "A": 0,
                "B": 1,
                "C": -1
              },
              "execution_ambiguous": false,
              "basis": {
                "A": "Directly counted under current freeze",
                "B": "Directly counted under current freeze",
                "C": "Inferred from recorded evidence and declared model"
              },
              "condition": "Conditional on trusted opening, complete ordered binary transfers, exact counts and uninterrupted freeze. Supervisor review required."
            },
            "recommendation": null,
            "reasons": [],
            "branches": {}
          }
        }
      },
      "11": {
        "status": "NEEDS_COUNT",
        "vectors": [
          [
            11,
            9,
            10
          ],
          [
            11,
            10,
            9
          ]
        ],
        "history_count": 3,
        "proposal": null,
        "recommendation": {
          "bin": "B",
          "budget": 1,
          "worst": 1,
          "total": 2,
          "outcomes": [
            {
              "quantity": 9,
              "vectors": 1
            },
            {
              "quantity": 10,
              "vectors": 1
            }
          ]
        },
        "reasons": [],
        "branches": {
          "9": {
            "status": "RESOLVED_CONDITIONAL",
            "vectors": [
              [
                11,
                9,
                10
              ]
            ],
            "history_count": 1,
            "proposal": {
              "quantities": {
                "A": 11,
                "B": 9,
                "C": 10
              },
              "book_delta": {
                "A": 1,
                "B": -1,
                "C": 0
              },
              "execution_ambiguous": false,
              "basis": {
                "A": "Directly counted under current freeze",
                "B": "Directly counted under current freeze",
                "C": "Inferred from recorded evidence and declared model"
              },
              "condition": "Conditional on trusted opening, complete ordered binary transfers, exact counts and uninterrupted freeze. Supervisor review required."
            },
            "recommendation": null,
            "reasons": [],
            "branches": {}
          },
          "10": {
            "status": "RESOLVED_CONDITIONAL",
            "vectors": [
              [
                11,
                10,
                9
              ]
            ],
            "history_count": 2,
            "proposal": {
              "quantities": {
                "A": 11,
                "B": 10,
                "C": 9
              },
              "book_delta": {
                "A": 1,
                "B": 0,
                "C": -1
              },
              "execution_ambiguous": true,
              "basis": {
                "A": "Directly counted under current freeze",
                "B": "Directly counted under current freeze",
                "C": "Inferred from recorded evidence and declared model"
              },
              "condition": "Conditional on trusted opening, complete ordered binary transfers, exact counts and uninterrupted freeze. Supervisor review required."
            },
            "recommendation": null,
            "reasons": [],
            "branches": {}
          }
        }
      },
      "12": {
        "status": "RESOLVED_CONDITIONAL",
        "vectors": [
          [
            12,
            9,
            9
          ]
        ],
        "history_count": 1,
        "proposal": {
          "quantities": {
            "A": 12,
            "B": 9,
            "C": 9
          },
          "book_delta": {
            "A": 2,
            "B": -1,
            "C": -1
          },
          "execution_ambiguous": false,
          "basis": {
            "A": "Directly counted under current freeze",
            "B": "Inferred from recorded evidence and declared model",
            "C": "Inferred from recorded evidence and declared model"
          },
          "condition": "Conditional on trusted opening, complete ordered binary transfers, exact counts and uninterrupted freeze. Supervisor review required."
        },
        "recommendation": null,
        "reasons": [],
        "branches": {}
      }
    }
  },
  "scenarios": [
    {
      "id": "signature",
      "label": "Earlier count changes the next action",
      "quantity": 11,
      "default_truth": [
        11,
        9,
        10
      ],
      "with": {
        "status": "NEEDS_COUNT",
        "vectors": [
          [
            10,
            10,
            10
          ],
          [
            10,
            11,
            9
          ],
          [
            11,
            9,
            10
          ],
          [
            11,
            10,
            9
          ]
        ],
        "history_count": 4,
        "proposal": null,
        "recommendation": {
          "bin": "B",
          "budget": 2,
          "worst": 2,
          "total": 6,
          "outcomes": [
            {
              "quantity": 9,
              "vectors": 1
            },
            {
              "quantity": 10,
              "vectors": 2
            },
            {
              "quantity": 11,
              "vectors": 1
            }
          ]
        },
        "reasons": [],
        "branches": {
          "9": {
            "status": "RESOLVED_CONDITIONAL",
            "vectors": [
              [
                11,
                9,
                10
              ]
            ],
            "history_count": 1,
            "proposal": {
              "quantities": {
                "A": 11,
                "B": 9,
                "C": 10
              },
              "book_delta": {
                "A": 1,
                "B": -1,
                "C": 0
              },
              "execution_ambiguous": false,
              "basis": {
                "A": "Inferred from recorded evidence and declared model",
                "B": "Directly counted under current freeze",
                "C": "Inferred from recorded evidence and declared model"
              },
              "condition": "Conditional on trusted opening, complete ordered binary transfers, exact counts and uninterrupted freeze. Supervisor review required."
            },
            "recommendation": null,
            "reasons": [],
            "branches": {}
          },
          "10": {
            "status": "NEEDS_COUNT",
            "vectors": [
              [
                10,
                10,
                10
              ],
              [
                11,
                10,
                9
              ]
            ],
            "history_count": 2,
            "proposal": null,
            "recommendation": {
              "bin": "A",
              "budget": 1,
              "worst": 1,
              "total": 2,
              "outcomes": [
                {
                  "quantity": 10,
                  "vectors": 1
                },
                {
                  "quantity": 11,
                  "vectors": 1
                }
              ]
            },
            "reasons": [],
            "branches": {
              "10": {
                "status": "RESOLVED_CONDITIONAL",
                "vectors": [
                  [
                    10,
                    10,
                    10
                  ]
                ],
                "history_count": 1,
                "proposal": {
                  "quantities": {
                    "A": 10,
                    "B": 10,
                    "C": 10
                  },
                  "book_delta": {
                    "A": 0,
                    "B": 0,
                    "C": 0
                  },
                  "execution_ambiguous": false,
                  "basis": {
                    "A": "Directly counted under current freeze",
                    "B": "Directly counted under current freeze",
                    "C": "Inferred from recorded evidence and declared model"
                  },
                  "condition": "Conditional on trusted opening, complete ordered binary transfers, exact counts and uninterrupted freeze. Supervisor review required."
                },
                "recommendation": null,
                "reasons": [],
                "branches": {}
              },
              "11": {
                "status": "RESOLVED_CONDITIONAL",
                "vectors": [
                  [
                    11,
                    10,
                    9
                  ]
                ],
                "history_count": 1,
                "proposal": {
                  "quantities": {
                    "A": 11,
                    "B": 10,
                    "C": 9
                  },
                  "book_delta": {
                    "A": 1,
                    "B": 0,
                    "C": -1
                  },
                  "execution_ambiguous": false,
                  "basis": {
                    "A": "Directly counted under current freeze",
                    "B": "Directly counted under current freeze",
                    "C": "Inferred from recorded evidence and declared model"
                  },
                  "condition": "Conditional on trusted opening, complete ordered binary transfers, exact counts and uninterrupted freeze. Supervisor review required."
                },
                "recommendation": null,
                "reasons": [],
                "branches": {}
              }
            }
          },
          "11": {
            "status": "RESOLVED_CONDITIONAL",
            "vectors": [
              [
                10,
                11,
                9
              ]
            ],
            "history_count": 1,
            "proposal": {
              "quantities": {
                "A": 10,
                "B": 11,
                "C": 9
              },
              "book_delta": {
                "A": 0,
                "B": 1,
                "C": -1
              },
              "execution_ambiguous": false,
              "basis": {
                "A": "Inferred from recorded evidence and declared model",
                "B": "Directly counted under current freeze",
                "C": "Inferred from recorded evidence and declared model"
              },
              "condition": "Conditional on trusted opening, complete ordered binary transfers, exact counts and uninterrupted freeze. Supervisor review required."
            },
            "recommendation": null,
            "reasons": [],
            "branches": {}
          }
        }
      }
    },
    {
      "id": "alternate",
      "label": "Different earlier observation",
      "quantity": 12,
      "default_truth": [
        11,
        10,
        9
      ],
      "with": {
        "status": "NEEDS_COUNT",
        "vectors": [
          [
            11,
            10,
            9
          ],
          [
            12,
            9,
            9
          ]
        ],
        "history_count": 2,
        "proposal": null,
        "recommendation": {
          "bin": "A",
          "budget": 1,
          "worst": 1,
          "total": 2,
          "outcomes": [
            {
              "quantity": 11,
              "vectors": 1
            },
            {
              "quantity": 12,
              "vectors": 1
            }
          ]
        },
        "reasons": [],
        "branches": {
          "11": {
            "status": "RESOLVED_CONDITIONAL",
            "vectors": [
              [
                11,
                10,
                9
              ]
            ],
            "history_count": 1,
            "proposal": {
              "quantities": {
                "A": 11,
                "B": 10,
                "C": 9
              },
              "book_delta": {
                "A": 1,
                "B": 0,
                "C": -1
              },
              "execution_ambiguous": false,
              "basis": {
                "A": "Directly counted under current freeze",
                "B": "Inferred from recorded evidence and declared model",
                "C": "Inferred from recorded evidence and declared model"
              },
              "condition": "Conditional on trusted opening, complete ordered binary transfers, exact counts and uninterrupted freeze. Supervisor review required."
            },
            "recommendation": null,
            "reasons": [],
            "branches": {}
          },
          "12": {
            "status": "RESOLVED_CONDITIONAL",
            "vectors": [
              [
                12,
                9,
                9
              ]
            ],
            "history_count": 1,
            "proposal": {
              "quantities": {
                "A": 12,
                "B": 9,
                "C": 9
              },
              "book_delta": {
                "A": 2,
                "B": -1,
                "C": -1
              },
              "execution_ambiguous": false,
              "basis": {
                "A": "Directly counted under current freeze",
                "B": "Inferred from recorded evidence and declared model",
                "C": "Inferred from recorded evidence and declared model"
              },
              "condition": "Conditional on trusted opening, complete ordered binary transfers, exact counts and uninterrupted freeze. Supervisor review required."
            },
            "recommendation": null,
            "reasons": [],
            "branches": {}
          }
        }
      }
    },
    {
      "id": "no-benefit",
      "label": "No useful history: opening count repeated",
      "quantity": 10,
      "boundary": 0,
      "default_truth": [
        11,
        9,
        10
      ],
      "with": {
        "status": "NEEDS_COUNT",
        "vectors": [
          [
            9,
            11,
            10
          ],
          [
            10,
            10,
            10
          ],
          [
            10,
            11,
            9
          ],
          [
            11,
            9,
            10
          ],
          [
            11,
            10,
            9
          ],
          [
            12,
            9,
            9
          ]
        ],
        "history_count": 8,
        "proposal": null,
        "recommendation": {
          "bin": "A",
          "budget": 2,
          "worst": 2,
          "total": 10,
          "outcomes": [
            {
              "quantity": 9,
              "vectors": 1
            },
            {
              "quantity": 10,
              "vectors": 2
            },
            {
              "quantity": 11,
              "vectors": 2
            },
            {
              "quantity": 12,
              "vectors": 1
            }
          ]
        },
        "reasons": [],
        "branches": {
          "9": {
            "status": "RESOLVED_CONDITIONAL",
            "vectors": [
              [
                9,
                11,
                10
              ]
            ],
            "history_count": 1,
            "proposal": {
              "quantities": {
                "A": 9,
                "B": 11,
                "C": 10
              },
              "book_delta": {
                "A": -1,
                "B": 1,
                "C": 0
              },
              "execution_ambiguous": false,
              "basis": {
                "A": "Directly counted under current freeze",
                "B": "Inferred from recorded evidence and declared model",
                "C": "Inferred from recorded evidence and declared model"
              },
              "condition": "Conditional on trusted opening, complete ordered binary transfers, exact counts and uninterrupted freeze. Supervisor review required."
            },
            "recommendation": null,
            "reasons": [],
            "branches": {}
          },
          "10": {
            "status": "NEEDS_COUNT",
            "vectors": [
              [
                10,
                10,
                10
              ],
              [
                10,
                11,
                9
              ]
            ],
            "history_count": 3,
            "proposal": null,
            "recommendation": {
              "bin": "B",
              "budget": 1,
              "worst": 1,
              "total": 2,
              "outcomes": [
                {
                  "quantity": 10,
                  "vectors": 1
                },
                {
                  "quantity": 11,
                  "vectors": 1
                }
              ]
            },
            "reasons": [],
            "branches": {
              "10": {
                "status": "RESOLVED_CONDITIONAL",
                "vectors": [
                  [
                    10,
                    10,
                    10
                  ]
                ],
                "history_count": 2,
                "proposal": {
                  "quantities": {
                    "A": 10,
                    "B": 10,
                    "C": 10
                  },
                  "book_delta": {
                    "A": 0,
                    "B": 0,
                    "C": 0
                  },
                  "execution_ambiguous": true,
                  "basis": {
                    "A": "Directly counted under current freeze",
                    "B": "Directly counted under current freeze",
                    "C": "Inferred from recorded evidence and declared model"
                  },
                  "condition": "Conditional on trusted opening, complete ordered binary transfers, exact counts and uninterrupted freeze. Supervisor review required."
                },
                "recommendation": null,
                "reasons": [],
                "branches": {}
              },
              "11": {
                "status": "RESOLVED_CONDITIONAL",
                "vectors": [
                  [
                    10,
                    11,
                    9
                  ]
                ],
                "history_count": 1,
                "proposal": {
                  "quantities": {
                    "A": 10,
                    "B": 11,
                    "C": 9
                  },
                  "book_delta": {
                    "A": 0,
                    "B": 1,
                    "C": -1
                  },
                  "execution_ambiguous": false,
                  "basis": {
                    "A": "Directly counted under current freeze",
                    "B": "Directly counted under current freeze",
                    "C": "Inferred from recorded evidence and declared model"
                  },
                  "condition": "Conditional on trusted opening, complete ordered binary transfers, exact counts and uninterrupted freeze. Supervisor review required."
                },
                "recommendation": null,
                "reasons": [],
                "branches": {}
              }
            }
          },
          "11": {
            "status": "NEEDS_COUNT",
            "vectors": [
              [
                11,
                9,
                10
              ],
              [
                11,
                10,
                9
              ]
            ],
            "history_count": 3,
            "proposal": null,
            "recommendation": {
              "bin": "B",
              "budget": 1,
              "worst": 1,
              "total": 2,
              "outcomes": [
                {
                  "quantity": 9,
                  "vectors": 1
                },
                {
                  "quantity": 10,
                  "vectors": 1
                }
              ]
            },
            "reasons": [],
            "branches": {
              "9": {
                "status": "RESOLVED_CONDITIONAL",
                "vectors": [
                  [
                    11,
                    9,
                    10
                  ]
                ],
                "history_count": 1,
                "proposal": {
                  "quantities": {
                    "A": 11,
                    "B": 9,
                    "C": 10
                  },
                  "book_delta": {
                    "A": 1,
                    "B": -1,
                    "C": 0
                  },
                  "execution_ambiguous": false,
                  "basis": {
                    "A": "Directly counted under current freeze",
                    "B": "Directly counted under current freeze",
                    "C": "Inferred from recorded evidence and declared model"
                  },
                  "condition": "Conditional on trusted opening, complete ordered binary transfers, exact counts and uninterrupted freeze. Supervisor review required."
                },
                "recommendation": null,
                "reasons": [],
                "branches": {}
              },
              "10": {
                "status": "RESOLVED_CONDITIONAL",
                "vectors": [
                  [
                    11,
                    10,
                    9
                  ]
                ],
                "history_count": 2,
                "proposal": {
                  "quantities": {
                    "A": 11,
                    "B": 10,
                    "C": 9
                  },
                  "book_delta": {
                    "A": 1,
                    "B": 0,
                    "C": -1
                  },
                  "execution_ambiguous": true,
                  "basis": {
                    "A": "Directly counted under current freeze",
                    "B": "Directly counted under current freeze",
                    "C": "Inferred from recorded evidence and declared model"
                  },
                  "condition": "Conditional on trusted opening, complete ordered binary transfers, exact counts and uninterrupted freeze. Supervisor review required."
                },
                "recommendation": null,
                "reasons": [],
                "branches": {}
              }
            }
          },
          "12": {
            "status": "RESOLVED_CONDITIONAL",
            "vectors": [
              [
                12,
                9,
                9
              ]
            ],
            "history_count": 1,
            "proposal": {
              "quantities": {
                "A": 12,
                "B": 9,
                "C": 9
              },
              "book_delta": {
                "A": 2,
                "B": -1,
                "C": -1
              },
              "execution_ambiguous": false,
              "basis": {
                "A": "Directly counted under current freeze",
                "B": "Inferred from recorded evidence and declared model",
                "C": "Inferred from recorded evidence and declared model"
              },
              "condition": "Conditional on trusted opening, complete ordered binary transfers, exact counts and uninterrupted freeze. Supervisor review required."
            },
            "recommendation": null,
            "reasons": [],
            "branches": {}
          }
        }
      }
    },
    {
      "id": "contradiction",
      "label": "Contradictory evidence: refuse to infer",
      "quantity": 99,
      "default_truth": [
        11,
        9,
        10
      ],
      "with": {
        "status": "MODEL_CONTRADICTION",
        "vectors": [],
        "history_count": 0,
        "proposal": null,
        "recommendation": null,
        "reasons": [
          "Recorded evidence contradicts the declared transfer model. Retain evidence and recount."
        ],
        "branches": {}
      }
    }
  ]
}