{
  "handle": "Bisect",
  "mechanism": "Binary Partition: Define the possibility space. Find a question that splits space roughly in half. Ask it. Discard eliminated half. Repeat on remaining half. O(log n) questions to isolate answer. Requires ordered or divisible domain. Often underpins the execution of {{recursive_root_cause}}.",
  "gloss": "Logarithmic search via binary splitting",
  "failure_modes": [
    "False Negative: Discarding the half that actually contained the answer because the splitting question was flawed."
  ],
  "invariants": [
    "Each question eliminates ≥40% of remaining space."
  ],
  "_meta": {
    "tier": 2,
    "ring": 2,
    "supersedes": [
      "sema:Bisect#mh:SHA-256:88b3085fd8a158f3fa253cbc18eb121c6ea858a1b0fd8045fd4452ae00a81901",
      "sema:Bisect#mh:SHA-256:419f063fbfe7ac5ecab0b0097fb72b2884685ad6c6fda01a7920be71b69cc8f8"
    ],
    "path": [
      "Mind",
      "Reasoning"
    ]
  },
  "sema_id": "sema:Bisect#mh:SHA-256:88a2cebffb3f547904dcaceac95dd302480fe8d45db8b6788eb3e4f04958a8ca",
  "sema_ref": "Bisect#88a2",
  "sema_stub": "88a2",
  "dependencies": {
    "references": {
      "recursive_root_cause": "sema:RecursiveRootCause#mh:SHA-256:f132a6796ffbbddea29f4fe56ff3f81442c99390999348154b6f4ee146be4ae6"
    }
  },
  "sema_layer": "Mind",
  "sema_category": "Reasoning",
  "used_by": {
    "references": {
      "FailurePreservingReduction": "sema:FailurePreservingReduction#mh:SHA-256:51d4b787f4351dc74899a24a880f2cae1509c591fc77bad1f8cffbdeb3302e76"
    }
  }
}
