{
  "handle": "AdversarialProof",
  "mechanism": "Cognitively-enriched {{negative_proof}} that invokes {{red_team}} logic to exhaustively search for prohibited data. The adversarial mindset ensures blind spots are probed. Treats failure-to-find-despite-adversarial-effort as high-confidence proof of absence.",
  "gloss": "Adversarial proof of absence",
  "failure_modes": [
    "Sympathetic Attacker: RedTeam shares assumptions with defenders, missing the same blind spots.",
    "Computational expense of adversarial exhaustive search."
  ],
  "invariants": [
    "Adversarial intent maintained throughout search",
    "Search space fully covered with hostile probing"
  ],
  "preconditions": [
    "Closed world assumption",
    "{{hypothesis}} H to disprove"
  ],
  "postconditions": [
    "H proved false with adversarial confidence"
  ],
  "_meta": {
    "tier": 2,
    "ring": 2,
    "supersedes": [
      "sema:AdversarialProof#mh:SHA-256:2a0f68fabd8276b169195d0f4d502049e0690343fbb6d7dd1e3d6b6f487581e9",
      "sema:AdversarialProof#mh:SHA-256:80dd24874000f0095c6bbfb987d088a14db80022a5ea1950679f9ae8118cb731",
      "sema:AdversarialProof#mh:SHA-256:5a48a377246a3e731f3a7a0a7c6f477fec6822ffdd5fedc23837b7e38ebbd9bd",
      "sema:AdversarialProof#mh:SHA-256:dce72db8bf7158256418e2a4cfd10b51553df52c158e06738b18c9eeb48d7d59"
    ],
    "path": [
      "Society",
      "Protocols"
    ]
  },
  "sema_id": "sema:AdversarialProof#mh:SHA-256:36b42360b5690b7744c1ab52317a9186bc1d770f313598663a5067f1c42f3c73",
  "sema_ref": "AdversarialProof#36b4",
  "sema_stub": "36b4",
  "dependencies": {
    "composes_with": {
      "negative_proof": "sema:NegativeProof#mh:SHA-256:1184ac0ee80295c5617be9d08bc656197f7d6f5d38dfee4baee466555bf517b2",
      "red_team": "sema:RedTeam#mh:SHA-256:0a32204c14f4995c267183fa35a1fb5178624b6aacfa145b61b4c5f2d194fc19"
    },
    "references": {
      "hypothesis": "sema:Hypothesis#mh:SHA-256:09894332330937ab8ffd172087883db3adeddf6b7d4ca2befe31832416dedc14"
    }
  },
  "sema_layer": "Society",
  "sema_category": "Protocols",
  "used_by": {}
}