---
slug: "NegativeProof"
name: "NegativeProof"
type: "Primitives"
layer: "Infrastructure"
ref: "NegativeProof#1184"
sema_id: "sema:NegativeProof#mh:SHA-256:1184ac0ee80295c5617be9d08bc656197f7d6f5d38dfee4baee466555bf517b2"
tags: ["Infrastructure","Primitives"]
updated: 2026-11-11
mindscape: "bootstrap"
index_url: https://mindscape.world/scapes/bootstrap.json
url: https://mindscape.world/bootstrap/NegativeProof/
related: ["Agent","Hypothesis","Value","AdversarialProof","PromiseGraph"]
---

# NegativeProof

Proving non-membership in a committed state snapshot

Layer: Infrastructure · Category: Primitives

## Mechanism

Proving non-membership in a committed state set. An [Agent](https://mindscape.world/scapes/bootstrap/Agent.md) cryptographically commits to its full state (e.g., via Merkle tree), then uses a Zero-Knowledge Range Proof to demonstrate that a specific [Value](https://mindscape.world/scapes/bootstrap/Value.md) or datum is NOT present in that committed set, without revealing what the set contains. Operates via exhaustive search over the committed domain, treating verified failure-to-find as proof of absence within that snapshot. The guarantee is bounded: it proves non-membership in the committed tree, not global non-possession—the agent could hold uncommitted state elsewhere.

## Invariants

- Proves non-membership in the committed set only, never global non-possession.
- The search covers the whole committed domain.
- Names the commitment it proves against, and when that commitment was made.

## Preconditions

- Closed world assumption (over the committed state, not globally)
- [Hypothesis](https://mindscape.world/scapes/bootstrap/Hypothesis.md) H
- State commitment is fresh and complete

## Postconditions

- H proved false within committed state

## Failure modes

- Incomplete commitment: state is held outside the committed tree, so the proof is valid and practically meaningless.
- Stale commitment: the state changed between commitment and verification.
- Cost: proving absence over a large domain is expensive, and the expense scales with the domain rather than with the [Value](https://mindscape.world/scapes/bootstrap/Value.md) being checked.

## Builds on

- [Agent](https://mindscape.world/scapes/bootstrap/Agent.md) (Mind; References)
- [Hypothesis](https://mindscape.world/scapes/bootstrap/Hypothesis.md) (Infrastructure; References)
- [Value](https://mindscape.world/scapes/bootstrap/Value.md) (Infrastructure; References)

## Used by

- [AdversarialProof](https://mindscape.world/scapes/bootstrap/AdversarialProof.md) (Society; Composes with)
- [PromiseGraph](https://mindscape.world/scapes/bootstrap/PromiseGraph.md) (Society; References)

## Identity

- Sema ID: `sema:NegativeProof#mh:SHA-256:1184ac0ee80295c5617be9d08bc656197f7d6f5d38dfee4baee466555bf517b2`
- Ref: `NegativeProof#1184`
- Supersedes:
  - `sema:NegativeProof#mh:SHA-256:5225bbc358d41d3ef16f0466a4e33160d9c7d020132726c74c576eef5d399d4e`
  - `sema:NegativeProof#mh:SHA-256:eedf70351b15a007c1350da5dd934d3340873451c9e670a553a45cdc2a45c019`
  - `sema:NegativeProof#mh:SHA-256:57af3122aaf64cc4e983e0d4068ce89be598c71a51e29fb0ef596b93d79d9244`

## Links

- [Pattern page](https://mindscape.world/bootstrap/NegativeProof/)
- [View in the interactive graph](https://mindscape.world/bootstrap/#NegativeProof)
- [JSON](https://mindscape.world/scapes/bootstrap/NegativeProof.json)
- [Index of all patterns](https://mindscape.world/scapes/bootstrap.json)