{
  "content": {
    "icon": "bi-tag",
    "id": "the-vocabulary-evidence-source",
    "intro": "Each evidence source is listed with its definition and the test surfaces that draw on it.",
    "subsections": [
      {
        "blocks": [
          {
            "entries": [
              {
                "description": "Evidence from running a test, which covers only the cases the test exercises.",
                "term": "Definition",
                "wide": true
              },
              {
                "description": "[semantic-correctness](/records/reasoning/test-surface-semantic-correctness), [functional-correctness](/records/reasoning/test-surface-functional-correctness), [state-correctness](/records/reasoning/test-surface-state-correctness), [interface-correctness](/records/reasoning/test-surface-interface-correctness), [interaction-correctness](/records/reasoning/test-surface-interaction-correctness), [consistency-correctness](/records/reasoning/test-surface-consistency-correctness), [data-correctness](/records/reasoning/test-surface-data-correctness), [determinism-correctness](/records/reasoning/test-surface-determinism-correctness), [protocol-correctness](/records/reasoning/test-surface-protocol-correctness)",
                "term": "Test surfaces"
              }
            ],
            "kind": "glossary"
          }
        ],
        "id": "vocabulary-evidence-source-test-result",
        "title": "test-result"
      },
      {
        "blocks": [
          {
            "entries": [
              {
                "description": "Evidence from reading the code without running it.",
                "term": "Definition",
                "wide": true
              },
              {
                "description": "[numerical-correctness](/records/reasoning/test-surface-numerical-correctness), [security-correctness](/records/reasoning/test-surface-security-correctness), [configuration-correctness](/records/reasoning/test-surface-configuration-correctness)",
                "term": "Test surfaces"
              }
            ],
            "kind": "glossary"
          }
        ],
        "id": "vocabulary-evidence-source-analysis-report",
        "title": "analysis-report"
      },
      {
        "blocks": [
          {
            "entries": [
              {
                "description": "Evidence seen while the system runs, which locates a failure but cannot show that none exists.",
                "term": "Definition",
                "wide": true
              },
              {
                "description": "[concurrency-correctness](/records/reasoning/test-surface-concurrency-correctness), [resource-correctness](/records/reasoning/test-surface-resource-correctness), [reliability-correctness](/records/reasoning/test-surface-reliability-correctness), [availability-correctness](/records/reasoning/test-surface-availability-correctness), [observability-correctness](/records/reasoning/test-surface-observability-correctness)",
                "term": "Test surfaces"
              }
            ],
            "kind": "glossary"
          }
        ],
        "id": "vocabulary-evidence-source-runtime-observation",
        "title": "runtime-observation"
      },
      {
        "blocks": [
          {
            "entries": [
              {
                "description": "Evidence recorded as a value, such as a latency or a count.",
                "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)",
                "term": "Test surfaces"
              }
            ],
            "kind": "glossary"
          }
        ],
        "id": "vocabulary-evidence-source-measurement",
        "title": "measurement"
      }
    ],
    "title": "Evidence sources"
  },
  "graph": {
    "narrative": true,
    "requires": [],
    "teaches": [],
    "traces": []
  },
  "href": "https://banes-lab.com/ontology/schema#the-vocabulary-evidence-source",
  "number": "244",
  "page": "ontology",
  "ref": "chapter:/ontology/schema#the-vocabulary-evidence-source",
  "relations": [
    {
      "links": [
        {
          "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-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-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-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-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-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-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-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-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-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"
        },
        {
          "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-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-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-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-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-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"
        }
      ],
      "relation": "links-to"
    }
  ],
  "route": null,
  "section": "the-vocabulary-evidence-source",
  "summary": "Each evidence source is listed with its definition and the test surfaces that draw on it.",
  "tab": "schema",
  "title": "Evidence sources",
  "siblings": {
    "next": {
      "href": "https://banes-lab.com/ontology/schema#the-vocabulary-resolution-mechanism",
      "json": "https://banes-lab.com/json/ontology/schema/the-vocabulary-resolution-mechanism",
      "label": "Resolution mechanisms",
      "markdown": "https://banes-lab.com/ontology/schema/the-vocabulary-resolution-mechanism.md",
      "ref": "chapter:/ontology/schema#the-vocabulary-resolution-mechanism"
    },
    "previous": {
      "href": "https://banes-lab.com/ontology/schema#the-vocabulary-predicate-type",
      "json": "https://banes-lab.com/json/ontology/schema/the-vocabulary-predicate-type",
      "label": "Predicate types",
      "markdown": "https://banes-lab.com/ontology/schema/the-vocabulary-predicate-type.md",
      "ref": "chapter:/ontology/schema#the-vocabulary-predicate-type"
    }
  },
  "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"
  }
}