{
  "content": {
    "icon": "bi-tag",
    "id": "the-vocabulary-predicate-type",
    "intro": "Each predicate type is listed with its definition and the test surfaces that use it.",
    "subsections": [
      {
        "blocks": [
          {
            "entries": [
              {
                "description": "A claim that a property holds in every state the surface reaches.",
                "term": "Definition",
                "wide": true
              },
              {
                "description": "[functional-correctness](/records/reasoning/test-surface-functional-correctness), [concurrency-correctness](/records/reasoning/test-surface-concurrency-correctness), [consistency-correctness](/records/reasoning/test-surface-consistency-correctness), [data-correctness](/records/reasoning/test-surface-data-correctness), [numerical-correctness](/records/reasoning/test-surface-numerical-correctness), [observability-correctness](/records/reasoning/test-surface-observability-correctness)",
                "term": "Test surfaces"
              }
            ],
            "kind": "glossary"
          }
        ],
        "id": "vocabulary-predicate-type-invariant",
        "title": "invariant"
      },
      {
        "blocks": [
          {
            "entries": [
              {
                "description": "A claim that two representations produce the same result.",
                "term": "Definition",
                "wide": true
              },
              {
                "description": "[semantic-correctness](/records/reasoning/test-surface-semantic-correctness), [interaction-correctness](/records/reasoning/test-surface-interaction-correctness), [determinism-correctness](/records/reasoning/test-surface-determinism-correctness)",
                "term": "Test surfaces"
              }
            ],
            "kind": "glossary"
          }
        ],
        "id": "vocabulary-predicate-type-equivalence",
        "title": "equivalence"
      },
      {
        "blocks": [
          {
            "entries": [
              {
                "description": "A claim that a measured value stays within a limit.",
                "term": "Definition",
                "wide": true
              },
              {
                "description": "[temporal-correctness](/records/reasoning/test-surface-temporal-correctness), [memory-correctness](/records/reasoning/test-surface-memory-correctness), [performance-correctness](/records/reasoning/test-surface-performance-correctness), [availability-correctness](/records/reasoning/test-surface-availability-correctness)",
                "term": "Test surfaces"
              }
            ],
            "kind": "glossary"
          }
        ],
        "id": "vocabulary-predicate-type-bound",
        "title": "bound"
      },
      {
        "blocks": [
          {
            "entries": [
              {
                "description": "A claim that one event happens before another.",
                "term": "Definition",
                "wide": true
              },
              {
                "description": "[state-correctness](/records/reasoning/test-surface-state-correctness), [protocol-correctness](/records/reasoning/test-surface-protocol-correctness)",
                "term": "Test surfaces"
              }
            ],
            "kind": "glossary"
          }
        ],
        "id": "vocabulary-predicate-type-temporal-order",
        "title": "temporal-order"
      },
      {
        "blocks": [
          {
            "entries": [
              {
                "description": "A claim that a value has its declared shape.",
                "term": "Definition",
                "wide": true
              },
              {
                "description": "[interface-correctness](/records/reasoning/test-surface-interface-correctness), [configuration-correctness](/records/reasoning/test-surface-configuration-correctness)",
                "term": "Test surfaces"
              }
            ],
            "kind": "glossary"
          }
        ],
        "id": "vocabulary-predicate-type-schema",
        "title": "schema"
      },
      {
        "blocks": [
          {
            "entries": [
              {
                "description": "A claim that something does not occur, over a declared population.",
                "term": "Definition",
                "wide": true
              },
              {
                "description": "[resource-correctness](/records/reasoning/test-surface-resource-correctness), [reliability-correctness](/records/reasoning/test-surface-reliability-correctness), [security-correctness](/records/reasoning/test-surface-security-correctness)",
                "term": "Test surfaces"
              }
            ],
            "kind": "glossary"
          }
        ],
        "id": "vocabulary-predicate-type-absence",
        "title": "absence"
      }
    ],
    "title": "Predicate types"
  },
  "graph": {
    "narrative": true,
    "requires": [],
    "teaches": [],
    "traces": []
  },
  "href": "https://banes-lab.com/ontology/schema#the-vocabulary-predicate-type",
  "number": "243",
  "page": "ontology",
  "ref": "chapter:/ontology/schema#the-vocabulary-predicate-type",
  "relations": [
    {
      "links": [
        {
          "href": "https://banes-lab.com/ontology/reasoning#reasoning-test-surface-functional-correctness",
          "json": "https://banes-lab.com/json/records/reasoning/test-surface-functional-correctness",
          "label": "Functional Correctness",
          "markdown": "https://banes-lab.com/records/reasoning/test-surface-functional-correctness.md",
          "ref": "reasoning:test-surface-functional-correctness"
        },
        {
          "href": "https://banes-lab.com/ontology/reasoning#reasoning-test-surface-concurrency-correctness",
          "json": "https://banes-lab.com/json/records/reasoning/test-surface-concurrency-correctness",
          "label": "Concurrency Correctness",
          "markdown": "https://banes-lab.com/records/reasoning/test-surface-concurrency-correctness.md",
          "ref": "reasoning:test-surface-concurrency-correctness"
        },
        {
          "href": "https://banes-lab.com/ontology/reasoning#reasoning-test-surface-consistency-correctness",
          "json": "https://banes-lab.com/json/records/reasoning/test-surface-consistency-correctness",
          "label": "Consistency Correctness",
          "markdown": "https://banes-lab.com/records/reasoning/test-surface-consistency-correctness.md",
          "ref": "reasoning:test-surface-consistency-correctness"
        },
        {
          "href": "https://banes-lab.com/ontology/reasoning#reasoning-test-surface-data-correctness",
          "json": "https://banes-lab.com/json/records/reasoning/test-surface-data-correctness",
          "label": "Data Correctness",
          "markdown": "https://banes-lab.com/records/reasoning/test-surface-data-correctness.md",
          "ref": "reasoning:test-surface-data-correctness"
        },
        {
          "href": "https://banes-lab.com/ontology/reasoning#reasoning-test-surface-numerical-correctness",
          "json": "https://banes-lab.com/json/records/reasoning/test-surface-numerical-correctness",
          "label": "Numerical Correctness",
          "markdown": "https://banes-lab.com/records/reasoning/test-surface-numerical-correctness.md",
          "ref": "reasoning:test-surface-numerical-correctness"
        },
        {
          "href": "https://banes-lab.com/ontology/reasoning#reasoning-test-surface-observability-correctness",
          "json": "https://banes-lab.com/json/records/reasoning/test-surface-observability-correctness",
          "label": "Observability Correctness",
          "markdown": "https://banes-lab.com/records/reasoning/test-surface-observability-correctness.md",
          "ref": "reasoning:test-surface-observability-correctness"
        },
        {
          "href": "https://banes-lab.com/ontology/reasoning#reasoning-test-surface-semantic-correctness",
          "json": "https://banes-lab.com/json/records/reasoning/test-surface-semantic-correctness",
          "label": "Semantic Correctness",
          "markdown": "https://banes-lab.com/records/reasoning/test-surface-semantic-correctness.md",
          "ref": "reasoning:test-surface-semantic-correctness"
        },
        {
          "href": "https://banes-lab.com/ontology/reasoning#reasoning-test-surface-interaction-correctness",
          "json": "https://banes-lab.com/json/records/reasoning/test-surface-interaction-correctness",
          "label": "Interaction Correctness",
          "markdown": "https://banes-lab.com/records/reasoning/test-surface-interaction-correctness.md",
          "ref": "reasoning:test-surface-interaction-correctness"
        },
        {
          "href": "https://banes-lab.com/ontology/reasoning#reasoning-test-surface-determinism-correctness",
          "json": "https://banes-lab.com/json/records/reasoning/test-surface-determinism-correctness",
          "label": "Determinism Correctness",
          "markdown": "https://banes-lab.com/records/reasoning/test-surface-determinism-correctness.md",
          "ref": "reasoning:test-surface-determinism-correctness"
        },
        {
          "href": "https://banes-lab.com/ontology/reasoning#reasoning-test-surface-temporal-correctness",
          "json": "https://banes-lab.com/json/records/reasoning/test-surface-temporal-correctness",
          "label": "Temporal Correctness",
          "markdown": "https://banes-lab.com/records/reasoning/test-surface-temporal-correctness.md",
          "ref": "reasoning:test-surface-temporal-correctness"
        },
        {
          "href": "https://banes-lab.com/ontology/reasoning#reasoning-test-surface-memory-correctness",
          "json": "https://banes-lab.com/json/records/reasoning/test-surface-memory-correctness",
          "label": "Memory Correctness",
          "markdown": "https://banes-lab.com/records/reasoning/test-surface-memory-correctness.md",
          "ref": "reasoning:test-surface-memory-correctness"
        },
        {
          "href": "https://banes-lab.com/ontology/reasoning#reasoning-test-surface-performance-correctness",
          "json": "https://banes-lab.com/json/records/reasoning/test-surface-performance-correctness",
          "label": "Performance Correctness",
          "markdown": "https://banes-lab.com/records/reasoning/test-surface-performance-correctness.md",
          "ref": "reasoning:test-surface-performance-correctness"
        },
        {
          "href": "https://banes-lab.com/ontology/reasoning#reasoning-test-surface-availability-correctness",
          "json": "https://banes-lab.com/json/records/reasoning/test-surface-availability-correctness",
          "label": "Availability Correctness",
          "markdown": "https://banes-lab.com/records/reasoning/test-surface-availability-correctness.md",
          "ref": "reasoning:test-surface-availability-correctness"
        },
        {
          "href": "https://banes-lab.com/ontology/reasoning#reasoning-test-surface-state-correctness",
          "json": "https://banes-lab.com/json/records/reasoning/test-surface-state-correctness",
          "label": "State Correctness",
          "markdown": "https://banes-lab.com/records/reasoning/test-surface-state-correctness.md",
          "ref": "reasoning:test-surface-state-correctness"
        },
        {
          "href": "https://banes-lab.com/ontology/reasoning#reasoning-test-surface-protocol-correctness",
          "json": "https://banes-lab.com/json/records/reasoning/test-surface-protocol-correctness",
          "label": "Protocol Correctness",
          "markdown": "https://banes-lab.com/records/reasoning/test-surface-protocol-correctness.md",
          "ref": "reasoning:test-surface-protocol-correctness"
        },
        {
          "href": "https://banes-lab.com/ontology/reasoning#reasoning-test-surface-interface-correctness",
          "json": "https://banes-lab.com/json/records/reasoning/test-surface-interface-correctness",
          "label": "Interface Correctness",
          "markdown": "https://banes-lab.com/records/reasoning/test-surface-interface-correctness.md",
          "ref": "reasoning:test-surface-interface-correctness"
        },
        {
          "href": "https://banes-lab.com/ontology/reasoning#reasoning-test-surface-configuration-correctness",
          "json": "https://banes-lab.com/json/records/reasoning/test-surface-configuration-correctness",
          "label": "Configuration Correctness",
          "markdown": "https://banes-lab.com/records/reasoning/test-surface-configuration-correctness.md",
          "ref": "reasoning:test-surface-configuration-correctness"
        },
        {
          "href": "https://banes-lab.com/ontology/reasoning#reasoning-test-surface-resource-correctness",
          "json": "https://banes-lab.com/json/records/reasoning/test-surface-resource-correctness",
          "label": "Resource Correctness",
          "markdown": "https://banes-lab.com/records/reasoning/test-surface-resource-correctness.md",
          "ref": "reasoning:test-surface-resource-correctness"
        },
        {
          "href": "https://banes-lab.com/ontology/reasoning#reasoning-test-surface-reliability-correctness",
          "json": "https://banes-lab.com/json/records/reasoning/test-surface-reliability-correctness",
          "label": "Reliability Correctness",
          "markdown": "https://banes-lab.com/records/reasoning/test-surface-reliability-correctness.md",
          "ref": "reasoning:test-surface-reliability-correctness"
        },
        {
          "href": "https://banes-lab.com/ontology/reasoning#reasoning-test-surface-security-correctness",
          "json": "https://banes-lab.com/json/records/reasoning/test-surface-security-correctness",
          "label": "Security Correctness",
          "markdown": "https://banes-lab.com/records/reasoning/test-surface-security-correctness.md",
          "ref": "reasoning:test-surface-security-correctness"
        }
      ],
      "relation": "links-to"
    }
  ],
  "route": null,
  "section": "the-vocabulary-predicate-type",
  "summary": "Each predicate type is listed with its definition and the test surfaces that use it.",
  "tab": "schema",
  "title": "Predicate types",
  "siblings": {
    "next": {
      "href": "https://banes-lab.com/ontology/schema#the-vocabulary-evidence-source",
      "json": "https://banes-lab.com/json/ontology/schema/the-vocabulary-evidence-source",
      "label": "Evidence sources",
      "markdown": "https://banes-lab.com/ontology/schema/the-vocabulary-evidence-source.md",
      "ref": "chapter:/ontology/schema#the-vocabulary-evidence-source"
    },
    "previous": {
      "href": "https://banes-lab.com/ontology/schema#the-vocabulary-verdict",
      "json": "https://banes-lab.com/json/ontology/schema/the-vocabulary-verdict",
      "label": "Verdicts",
      "markdown": "https://banes-lab.com/ontology/schema/the-vocabulary-verdict.md",
      "ref": "chapter:/ontology/schema#the-vocabulary-verdict"
    }
  },
  "up": {
    "href": "https://banes-lab.com/ontology/schema",
    "json": "https://banes-lab.com/json/api/pages/ontology/schema",
    "label": "Ontology · Schema",
    "markdown": "https://banes-lab.com/api/pages/ontology/schema.md",
    "ref": "api:/ontology/schema"
  }
}