{
  "schema_version": "1.0.0",
  "rubric_version": "1.0",
  "license": "CC BY 4.0 (https://creativecommons.org/licenses/by/4.0/)",
  "record": {
    "id": "K-0003",
    "slug": "positive-and-negative-claims",
    "title": "Positive and negative claims",
    "aliases": [
      "negative claim",
      "positive claim",
      "mixed claim"
    ],
    "status": "draft",
    "last_reviewed": "2026-09-23",
    "review_interval_days": 90,
    "steward": null,
    "provenance": {
      "drafted_by": "ai",
      "reviewed_by": []
    },
    "risk_flags": [],
    "flags": [],
    "one_liner": "A positive claim asserts that something is present or happened; a negative claim, that an activity or resource is absent; a mixed claim, both.",
    "sources": [
      {
        "source": "S-0004",
        "supports": "demonstrating the existence of an object or process is often straightforward compared with demonstrating its non-existence",
        "locator": "p. 31"
      },
      {
        "source": "S-0002",
        "supports": "split between verifying that declared uses are accurate (Subgoal 1) and verifying no undeclared uses or clusters (Subgoal 2)",
        "locator": "§3.2, Figure 4"
      },
      {
        "source": "S-0018",
        "supports": "memory wiping with incompressible noise to leave no residual capacity for hidden workloads",
        "locator": "system architecture (memory wiping)"
      },
      {
        "source": "S-0005",
        "supports": "bandwidth limits target the gap between inference tokens and training gradients between pods; covert data centres may be difficult to detect",
        "locator": "Interconnect bandwidth limits; Verifying the location of AI compute"
      },
      {
        "source": "S-0029",
        "supports": "random chip sampling detects at least one chip from a violating run with a chosen probability",
        "locator": "§3.2, Equation 1"
      }
    ],
    "related": [
      "K-0016",
      "K-0020",
      "C-0005",
      "C-0004"
    ],
    "type": "concept",
    "url": "https://trustbutveri.fyi/concepts/positive-and-negative-claims/",
    "source_file": "content/concepts/positive-and-negative-claims.md",
    "flags_all": [
      "ai-drafted"
    ],
    "body_markdown": "A positive claim asserts that something is present or happened, and a negative claim asserts that an activity or resource is absent [[S-0004]]; a mixed claim bundles both.\n\nExamples are [[C-0005|the declared model being the one served]] (positive), [[C-0010|there being no undeclared compute]] (negative) and [[C-0004|compute running inference and not training]] (mixed). The Oxford Martin report observes that demonstrating the existence of an object or process is often straightforward compared with demonstrating its non-existence [[S-0004]]. RAND's framework mirrors the split: one subgoal verifies that declared uses of compute are accurate, and another verifies that there are no undeclared uses and no undeclared clusters [[S-0002]]. Proposed designs support negative claims indirectly:\n- **Leaving no spare capacity.** Filling or wiping memory removes residual capacity for hidden workloads, as in [[M-0015|memory wiping and proofs of secure erasure]] [[S-0018]].\n- **Limiting communication.** Capping the bandwidth between pods at what inference tokens need, below what training gradients need, is meant to keep pods from joining a larger training run, as in [[M-0014|bandwidth limits]] [[S-0005]].\n- **Sampling.** Randomly inspecting accelerators makes it likely that at least one accelerator used in a violating run is found [[S-0029]].\n\nAll three act on declared hardware; Scher and Thiergart judge that detecting data centres that were never declared may be difficult [[S-0005]].",
    "body_text": "A positive claim asserts that something is present or happened, and a negative claim asserts that an activity or resource is absent [S-0004]; a mixed claim bundles both. Examples are the declared model being the one served (positive), there being no undeclared compute (negative) and compute running inference and not training (mixed). The Oxford Martin report observes that demonstrating the existence of an object or process is often straightforward compared with demonstrating its non-existence [S-0004]. RAND's framework mirrors the split: one subgoal verifies that declared uses of compute are accurate, and another verifies that there are no undeclared uses and no undeclared clusters [S-0002]. Proposed designs support negative claims indirectly: - Leaving no spare capacity. Filling or wiping memory removes residual capacity for hidden workloads, as in memory wiping and proofs of secure erasure [S-0018]. - Limiting communication. Capping the bandwidth between pods at what inference tokens need, below what training gradients need, is meant to keep pods from joining a larger training run, as in bandwidth limits [S-0005]. - Sampling. Randomly inspecting accelerators makes it likely that at least one accelerator used in a violating run is found [S-0029]. All three act on declared hardware; Scher and Thiergart judge that detecting data centres that were never declared may be difficult [S-0005].",
    "referenced_by": [
      {
        "id": "M-0020",
        "title": "Remote detection of data centres",
        "url": "https://trustbutveri.fyi/mechanisms/remote-detection-of-data-centres/"
      },
      {
        "id": "C-0001",
        "title": "Compute stock is at most a declared amount",
        "url": "https://trustbutveri.fyi/claims/compute-stock-is-bounded/"
      },
      {
        "id": "C-0003",
        "title": "Declared hardware is idle or shut down",
        "url": "https://trustbutveri.fyi/claims/declared-hardware-is-idle/"
      },
      {
        "id": "C-0010",
        "title": "There is no undeclared relevant compute",
        "url": "https://trustbutveri.fyi/claims/no-undeclared-compute/"
      },
      {
        "id": "K-0001",
        "title": "Prover",
        "url": "https://trustbutveri.fyi/concepts/prover/"
      },
      {
        "id": "K-0020",
        "title": "Sampling and assurance",
        "url": "https://trustbutveri.fyi/concepts/sampling-and-assurance/"
      },
      {
        "id": "K-0016",
        "title": "Undeclared compute",
        "url": "https://trustbutveri.fyi/concepts/undeclared-compute/"
      }
    ]
  }
}