{
  "status": "exact illustration, not empirical validation",
  "assumptions": [
    "Only two static candidate objects: (1,0) and (0,1)",
    "Known engineered view schedule: sum at even epochs, difference at odd epochs",
    "No noise; propagation delay is known and recorded separately",
    "Unknown wiring, when allowed, is one fixed left/right swap",
    "Calibration assumes a known reference and unchanged wiring",
    "Inference uses record values and source epochs, never the hidden true state"
  ],
  "cases": {
    "single_sum_view": {
      "observations": [
        {
          "source_epoch": 0,
          "received_epoch": 0,
          "value": 1,
          "reference": null
        }
      ],
      "surviving_worlds": [
        {
          "state": [
            1,
            0
          ],
          "swapped": false
        },
        {
          "state": [
            0,
            1
          ],
          "swapped": false
        }
      ],
      "surviving_object_count": 2
    },
    "same_archived_record_replayed": {
      "observations": [
        {
          "source_epoch": 0,
          "received_epoch": 0,
          "value": 1,
          "reference": null
        },
        {
          "source_epoch": 0,
          "received_epoch": 0,
          "value": 1,
          "reference": null
        },
        {
          "source_epoch": 0,
          "received_epoch": 0,
          "value": 1,
          "reference": null
        },
        {
          "source_epoch": 0,
          "received_epoch": 0,
          "value": 1,
          "reference": null
        },
        {
          "source_epoch": 0,
          "received_epoch": 0,
          "value": 1,
          "reference": null
        }
      ],
      "surviving_worlds": [
        {
          "state": [
            1,
            0
          ],
          "swapped": false
        },
        {
          "state": [
            0,
            1
          ],
          "swapped": false
        }
      ],
      "surviving_object_count": 2
    },
    "fresh_sum_view_at_epoch_2": {
      "observations": [
        {
          "source_epoch": 0,
          "received_epoch": 0,
          "value": 1,
          "reference": null
        },
        {
          "source_epoch": 2,
          "received_epoch": 2,
          "value": 1,
          "reference": null
        }
      ],
      "surviving_worlds": [
        {
          "state": [
            1,
            0
          ],
          "swapped": false
        },
        {
          "state": [
            0,
            1
          ],
          "swapped": false
        }
      ],
      "surviving_object_count": 2
    },
    "wait_for_difference_view_at_epoch_1": {
      "observations": [
        {
          "source_epoch": 0,
          "received_epoch": 0,
          "value": 1,
          "reference": null
        },
        {
          "source_epoch": 1,
          "received_epoch": 1,
          "value": 1,
          "reference": null
        }
      ],
      "surviving_worlds": [
        {
          "state": [
            1,
            0
          ],
          "swapped": false
        }
      ],
      "surviving_object_count": 1
    },
    "both_views_unknown_wiring": {
      "observations": [
        {
          "source_epoch": 0,
          "received_epoch": 0,
          "value": 1,
          "reference": null
        },
        {
          "source_epoch": 1,
          "received_epoch": 1,
          "value": 1,
          "reference": null
        }
      ],
      "surviving_worlds": [
        {
          "state": [
            1,
            0
          ],
          "swapped": false
        },
        {
          "state": [
            0,
            1
          ],
          "swapped": true
        }
      ],
      "surviving_object_count": 2
    },
    "both_views_plus_known_reference": {
      "observations": [
        {
          "source_epoch": 0,
          "received_epoch": 0,
          "value": 1,
          "reference": null
        },
        {
          "source_epoch": 1,
          "received_epoch": 1,
          "value": 1,
          "reference": null
        },
        {
          "source_epoch": 1,
          "received_epoch": 1,
          "value": 1,
          "reference": [
            1,
            0
          ]
        }
      ],
      "surviving_worlds": [
        {
          "state": [
            1,
            0
          ],
          "swapped": false
        }
      ],
      "surviving_object_count": 1
    },
    "delay_10_received_by_9": {
      "observations": [],
      "surviving_worlds": [
        {
          "state": [
            1,
            0
          ],
          "swapped": false
        },
        {
          "state": [
            0,
            1
          ],
          "swapped": false
        }
      ],
      "surviving_object_count": 2
    },
    "delay_10_received_by_10": {
      "observations": [
        {
          "source_epoch": 0,
          "received_epoch": 10,
          "value": 1,
          "reference": null
        }
      ],
      "surviving_worlds": [
        {
          "state": [
            1,
            0
          ],
          "swapped": false
        },
        {
          "state": [
            0,
            1
          ],
          "swapped": false
        }
      ],
      "surviving_object_count": 2
    },
    "delay_10_received_by_11": {
      "observations": [
        {
          "source_epoch": 0,
          "received_epoch": 10,
          "value": 1,
          "reference": null
        },
        {
          "source_epoch": 1,
          "received_epoch": 11,
          "value": 1,
          "reference": null
        }
      ],
      "surviving_worlds": [
        {
          "state": [
            1,
            0
          ],
          "swapped": false
        }
      ],
      "surviving_object_count": 1
    }
  }
}