{
  "_type": "https://in-toto.io/Statement/v1",
  "predicate": {
    "artifact": {
      "media_type": "application/json",
      "name": "conformance/capability_v1/fixtures/capability-contract.json",
      "object_schema": "mathgraph.capability-contract.v1",
      "sha256": "24e639b9181af313100504e0aa525536197d868810e6ffdb5093fd13501577a8",
      "size_bytes": 3533
    },
    "assumptions": [
      "The carrier is exactly the ordered 3-bit Boolean cube.",
      "Policies are total deterministic Boolean functions of the declared observations.",
      "Source-distinct reuse means two different target functions in the same owned source; it is not external adoption."
    ],
    "claim": {
      "id": "urn:mathgraph:claim:finite-representation-refinement:v1",
      "kind": "bounded-finite-representation-refinement",
      "scope": "Exactly the eight ordered 3-bit states; deterministic Boolean policies on observational cells; the fixed five named refinements and all 256 Boolean one-bit refinements; discovery bit0 AND parity and reuse bit0 OR parity."
    },
    "evidence": [
      {
        "id": "urn:mathgraph:source:finite-developmental-boolean-audit",
        "locator": "experiments/developmental_capability_growth_v1/audit_all_boolean_refinements.py",
        "media_type": "text/x-python",
        "sha256": "e4354d8c5ad2c07c5494907f0909f522f33a9c861f8f79586da395bc7535a0f3",
        "size_bytes": 4486
      }
    ],
    "extensions": [],
    "schema_version": "mathgraph.external-binding.v1",
    "signature": "UNSIGNED"
  },
  "predicateType": "https://mathgraph.org/attestation/external-binding/v1",
  "subject": [
    {
      "digest": {
        "sha256": "24e639b9181af313100504e0aa525536197d868810e6ffdb5093fd13501577a8"
      },
      "name": "conformance/capability_v1/fixtures/capability-contract.json"
    }
  ]
}