{
  "code": null,
  "collection": "layer",
  "href": "https://banes-lab.com/ontology/schema#layer-correctness-core",
  "id": "correctness-core",
  "kind": "layer",
  "layer": null,
  "name": "Correctness Core",
  "ref": "layer:correctness-core",
  "relations": [
    {
      "links": [
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-correctness-core",
          "json": "https://banes-lab.com/json/records/algorithms/correctness-core",
          "label": "Correctness Core",
          "markdown": "https://banes-lab.com/records/algorithms/correctness-core.md",
          "ref": "algorithms:correctness-core"
        }
      ],
      "relation": "contract"
    },
    {
      "links": [
        {
          "href": "https://banes-lab.com/ontology/schema#vocabulary-layer-edge-kind-cross-cuts",
          "json": "https://banes-lab.com/json/records/vocabulary/layer-edge-kind-cross-cuts",
          "label": "cross-cuts",
          "markdown": "https://banes-lab.com/records/vocabulary/layer-edge-kind-cross-cuts.md",
          "ref": "vocabulary:layer-edge-kind-cross-cuts"
        }
      ],
      "relation": "edge-kind"
    },
    {
      "links": [
        {
          "href": "https://banes-lab.com/ontology#architecture-category-error-handling-resilience",
          "json": "https://banes-lab.com/json/records/architecture-category/error-handling-resilience",
          "label": "Error Handling / Resilience",
          "markdown": "https://banes-lab.com/records/architecture-category/error-handling-resilience.md",
          "ref": "architecture-category:error-handling-resilience"
        },
        {
          "href": "https://banes-lab.com/ontology#architecture-category-model-architecture",
          "json": "https://banes-lab.com/json/records/architecture-category/model-architecture",
          "label": "Model Architecture",
          "markdown": "https://banes-lab.com/records/architecture-category/model-architecture.md",
          "ref": "architecture-category:model-architecture"
        },
        {
          "href": "https://banes-lab.com/ontology#architecture-category-self-healing-recovery-deployment-safety",
          "json": "https://banes-lab.com/json/records/architecture-category/self-healing-recovery-deployment-safety",
          "label": "Self-Healing / Recovery / Deployment Safety",
          "markdown": "https://banes-lab.com/records/architecture-category/self-healing-recovery-deployment-safety.md",
          "ref": "architecture-category:self-healing-recovery-deployment-safety"
        },
        {
          "href": "https://banes-lab.com/ontology/lexicon#lexicon-category-quality-attributes",
          "json": "https://banes-lab.com/json/records/lexicon-category/quality-attributes",
          "label": "Quality Attributes",
          "markdown": "https://banes-lab.com/records/lexicon-category/quality-attributes.md",
          "ref": "lexicon-category:quality-attributes"
        }
      ],
      "relation": "layer-of"
    },
    {
      "links": [
        {
          "href": "https://banes-lab.com/software-architecture/principles#the-canon-is-grouped-twice",
          "json": "https://banes-lab.com/json/software-architecture/principles/the-canon-is-grouped-twice",
          "label": "The canon is grouped twice",
          "markdown": "https://banes-lab.com/software-architecture/principles/the-canon-is-grouped-twice.md",
          "ref": "chapter:/software-architecture/principles#the-canon-is-grouped-twice"
        },
        {
          "href": "https://banes-lab.com/software-architecture/scale#systems-built-around-a-model",
          "json": "https://banes-lab.com/json/software-architecture/scale/systems-built-around-a-model",
          "label": "Systems built around a model",
          "markdown": "https://banes-lab.com/software-architecture/scale/systems-built-around-a-model.md",
          "ref": "chapter:/software-architecture/scale#systems-built-around-a-model"
        },
        {
          "href": "https://banes-lab.com/ontology#architecture-category-error-handling-resilience",
          "json": "https://banes-lab.com/json/ontology/principles/architecture-category-error-handling-resilience",
          "label": "Error Handling / Resilience",
          "markdown": "https://banes-lab.com/ontology/principles/architecture-category-error-handling-resilience.md",
          "ref": "chapter:/ontology#architecture-category-error-handling-resilience"
        },
        {
          "href": "https://banes-lab.com/ontology#architecture-category-model-architecture",
          "json": "https://banes-lab.com/json/ontology/principles/architecture-category-model-architecture",
          "label": "Model Architecture",
          "markdown": "https://banes-lab.com/ontology/principles/architecture-category-model-architecture.md",
          "ref": "chapter:/ontology#architecture-category-model-architecture"
        },
        {
          "href": "https://banes-lab.com/ontology#architecture-category-self-healing-recovery-deployment-safety",
          "json": "https://banes-lab.com/json/ontology/principles/architecture-category-self-healing-recovery-deployment-safety",
          "label": "Self-Healing / Recovery / Deployment Safety",
          "markdown": "https://banes-lab.com/ontology/principles/architecture-category-self-healing-recovery-deployment-safety.md",
          "ref": "chapter:/ontology#architecture-category-self-healing-recovery-deployment-safety"
        },
        {
          "href": "https://banes-lab.com/ontology/lexicon#lexicon-category-error-handling-resilience",
          "json": "https://banes-lab.com/json/ontology/lexicon/lexicon-category-error-handling-resilience",
          "label": "Error Handling / Resilience",
          "markdown": "https://banes-lab.com/ontology/lexicon/lexicon-category-error-handling-resilience.md",
          "ref": "chapter:/ontology/lexicon#lexicon-category-error-handling-resilience"
        },
        {
          "href": "https://banes-lab.com/ontology/lexicon#lexicon-category-model-architecture",
          "json": "https://banes-lab.com/json/ontology/lexicon/lexicon-category-model-architecture",
          "label": "Model Architecture",
          "markdown": "https://banes-lab.com/ontology/lexicon/lexicon-category-model-architecture.md",
          "ref": "chapter:/ontology/lexicon#lexicon-category-model-architecture"
        },
        {
          "href": "https://banes-lab.com/ontology/lexicon#lexicon-category-quality-attributes",
          "json": "https://banes-lab.com/json/ontology/lexicon/lexicon-category-quality-attributes",
          "label": "Quality Attributes",
          "markdown": "https://banes-lab.com/ontology/lexicon/lexicon-category-quality-attributes.md",
          "ref": "chapter:/ontology/lexicon#lexicon-category-quality-attributes"
        },
        {
          "href": "https://banes-lab.com/ontology/lexicon#lexicon-category-self-healing-recovery-deployment-safety",
          "json": "https://banes-lab.com/json/ontology/lexicon/lexicon-category-self-healing-recovery-deployment-safety",
          "label": "Self-Healing / Recovery / Deployment Safety",
          "markdown": "https://banes-lab.com/ontology/lexicon/lexicon-category-self-healing-recovery-deployment-safety.md",
          "ref": "chapter:/ontology/lexicon#lexicon-category-self-healing-recovery-deployment-safety"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-domain-architectural-clusters",
          "json": "https://banes-lab.com/json/ontology/algorithms/algorithms-domain-architectural-clusters",
          "label": "Architectural Clusters",
          "markdown": "https://banes-lab.com/ontology/algorithms/algorithms-domain-architectural-clusters.md",
          "ref": "chapter:/ontology/algorithms#algorithms-domain-architectural-clusters"
        },
        {
          "href": "https://banes-lab.com/ontology/schema#the-vocabulary-layer-edge-kind",
          "json": "https://banes-lab.com/json/ontology/schema/the-vocabulary-layer-edge-kind",
          "label": "Layer edge kinds",
          "markdown": "https://banes-lab.com/ontology/schema/the-vocabulary-layer-edge-kind.md",
          "ref": "chapter:/ontology/schema#the-vocabulary-layer-edge-kind"
        },
        {
          "href": "https://banes-lab.com/ontology/schema#the-layer-topology",
          "json": "https://banes-lab.com/json/ontology/schema/the-layer-topology",
          "label": "The layer topology",
          "markdown": "https://banes-lab.com/ontology/schema/the-layer-topology.md",
          "ref": "chapter:/ontology/schema#the-layer-topology"
        },
        {
          "href": "https://banes-lab.com/ontology/schema#the-membership",
          "json": "https://banes-lab.com/json/ontology/schema/the-membership",
          "label": "The membership",
          "markdown": "https://banes-lab.com/ontology/schema/the-membership.md",
          "ref": "chapter:/ontology/schema#the-membership"
        },
        {
          "href": "https://banes-lab.com/ontology/schema#the-resolutions",
          "json": "https://banes-lab.com/json/ontology/schema/the-resolutions",
          "label": "The resolutions",
          "markdown": "https://banes-lab.com/ontology/schema/the-resolutions.md",
          "ref": "chapter:/ontology/schema#the-resolutions"
        }
      ],
      "relation": "linked-from"
    }
  ],
  "summary": "The rules ensuring behavioral correctness and validity — no silent failures, no hidden invalidity, feedback acted on, results observed.",
  "siblings": {
    "next": {
      "href": "https://banes-lab.com/ontology/schema#layer-declarative-core",
      "json": "https://banes-lab.com/json/records/layer/declarative-core",
      "label": "Declarative Core",
      "markdown": "https://banes-lab.com/records/layer/declarative-core.md",
      "ref": "layer:declarative-core"
    },
    "previous": {
      "href": "https://banes-lab.com/ontology/schema#layer-contracts-core",
      "json": "https://banes-lab.com/json/records/layer/contracts-core",
      "label": "Contracts Core",
      "markdown": "https://banes-lab.com/records/layer/contracts-core.md",
      "ref": "layer:contracts-core"
    }
  },
  "up": {
    "href": null,
    "json": "https://banes-lab.com/json/api/records/layer",
    "label": "Layers",
    "markdown": "https://banes-lab.com/api/records/layer.md",
    "ref": "api:records/layer"
  }
}