{
  "code": null,
  "collection": "algorithms-domain",
  "href": "https://banes-lab.com/ontology/algorithms#algorithms-domain-codebase-verification",
  "id": "codebase-verification",
  "kind": "domain",
  "layer": null,
  "name": "Codebase verification",
  "ref": "algorithms-domain:codebase-verification",
  "relations": [
    {
      "links": [
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-verification-loop",
          "json": "https://banes-lab.com/json/records/algorithms/verification-loop",
          "label": "Verification Loop",
          "markdown": "https://banes-lab.com/records/algorithms/verification-loop.md",
          "ref": "algorithms:verification-loop"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-context-initialization",
          "json": "https://banes-lab.com/json/records/algorithms/context-initialization",
          "label": "Context Initialization",
          "markdown": "https://banes-lab.com/records/algorithms/context-initialization.md",
          "ref": "algorithms:context-initialization"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-verification-execution",
          "json": "https://banes-lab.com/json/records/algorithms/verification-execution",
          "label": "Verification Execution",
          "markdown": "https://banes-lab.com/records/algorithms/verification-execution.md",
          "ref": "algorithms:verification-execution"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-early-success-exit",
          "json": "https://banes-lab.com/json/records/algorithms/early-success-exit",
          "label": "Early Success Exit",
          "markdown": "https://banes-lab.com/records/algorithms/early-success-exit.md",
          "ref": "algorithms:early-success-exit"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-violation-classification",
          "json": "https://banes-lab.com/json/records/algorithms/violation-classification",
          "label": "Violation Classification",
          "markdown": "https://banes-lab.com/records/algorithms/violation-classification.md",
          "ref": "algorithms:violation-classification"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-severity-ordered-remediation",
          "json": "https://banes-lab.com/json/records/algorithms/severity-ordered-remediation",
          "label": "Severity-Ordered Remediation",
          "markdown": "https://banes-lab.com/records/algorithms/severity-ordered-remediation.md",
          "ref": "algorithms:severity-ordered-remediation"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-iteration-bound",
          "json": "https://banes-lab.com/json/records/algorithms/iteration-bound",
          "label": "Iteration Bound",
          "markdown": "https://banes-lab.com/records/algorithms/iteration-bound.md",
          "ref": "algorithms:iteration-bound"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-file-scoped-fix",
          "json": "https://banes-lab.com/json/records/algorithms/file-scoped-fix",
          "label": "File-Scoped Fix",
          "markdown": "https://banes-lab.com/records/algorithms/file-scoped-fix.md",
          "ref": "algorithms:file-scoped-fix"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-file-limit-remediation",
          "json": "https://banes-lab.com/json/records/algorithms/file-limit-remediation",
          "label": "File Limit Remediation",
          "markdown": "https://banes-lab.com/records/algorithms/file-limit-remediation.md",
          "ref": "algorithms:file-limit-remediation"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-import-boundary-remediation",
          "json": "https://banes-lab.com/json/records/algorithms/import-boundary-remediation",
          "label": "Import Boundary Remediation",
          "markdown": "https://banes-lab.com/records/algorithms/import-boundary-remediation.md",
          "ref": "algorithms:import-boundary-remediation"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-naming-convention-remediation",
          "json": "https://banes-lab.com/json/records/algorithms/naming-convention-remediation",
          "label": "Naming Convention Remediation",
          "markdown": "https://banes-lab.com/records/algorithms/naming-convention-remediation.md",
          "ref": "algorithms:naming-convention-remediation"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-base-class-compliance-remediation",
          "json": "https://banes-lab.com/json/records/algorithms/base-class-compliance-remediation",
          "label": "Base-Class Compliance Remediation",
          "markdown": "https://banes-lab.com/records/algorithms/base-class-compliance-remediation.md",
          "ref": "algorithms:base-class-compliance-remediation"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-css-token-remediation",
          "json": "https://banes-lab.com/json/records/algorithms/css-token-remediation",
          "label": "CSS Token Remediation",
          "markdown": "https://banes-lab.com/records/algorithms/css-token-remediation.md",
          "ref": "algorithms:css-token-remediation"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-dom-factory-remediation",
          "json": "https://banes-lab.com/json/records/algorithms/dom-factory-remediation",
          "label": "DOM Factory Remediation",
          "markdown": "https://banes-lab.com/records/algorithms/dom-factory-remediation.md",
          "ref": "algorithms:dom-factory-remediation"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-console-usage-remediation",
          "json": "https://banes-lab.com/json/records/algorithms/console-usage-remediation",
          "label": "Console Usage Remediation",
          "markdown": "https://banes-lab.com/records/algorithms/console-usage-remediation.md",
          "ref": "algorithms:console-usage-remediation"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-lifecycle-symmetry-remediation",
          "json": "https://banes-lab.com/json/records/algorithms/lifecycle-symmetry-remediation",
          "label": "Lifecycle Symmetry Remediation",
          "markdown": "https://banes-lab.com/records/algorithms/lifecycle-symmetry-remediation.md",
          "ref": "algorithms:lifecycle-symmetry-remediation"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-stylelint-post-fix",
          "json": "https://banes-lab.com/json/records/algorithms/stylelint-post-fix",
          "label": "Stylelint Post-Fix",
          "markdown": "https://banes-lab.com/records/algorithms/stylelint-post-fix.md",
          "ref": "algorithms:stylelint-post-fix"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-reverification-gate",
          "json": "https://banes-lab.com/json/records/algorithms/reverification-gate",
          "label": "Reverification Gate",
          "markdown": "https://banes-lab.com/records/algorithms/reverification-gate.md",
          "ref": "algorithms:reverification-gate"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-partial-success-reporting",
          "json": "https://banes-lab.com/json/records/algorithms/partial-success-reporting",
          "label": "Partial Success Reporting",
          "markdown": "https://banes-lab.com/records/algorithms/partial-success-reporting.md",
          "ref": "algorithms:partial-success-reporting"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-completion-report",
          "json": "https://banes-lab.com/json/records/algorithms/completion-report",
          "label": "Completion Report",
          "markdown": "https://banes-lab.com/records/algorithms/completion-report.md",
          "ref": "algorithms:completion-report"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-codebase-verification-kernel",
          "json": "https://banes-lab.com/json/records/algorithms/codebase-verification-kernel",
          "label": "Codebase Verification Kernel",
          "markdown": "https://banes-lab.com/records/algorithms/codebase-verification-kernel.md",
          "ref": "algorithms:codebase-verification-kernel"
        },
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-compliance-verification-concern",
          "json": "https://banes-lab.com/json/records/algorithms/compliance-verification-concern",
          "label": "<Compliance Verification Concern>",
          "markdown": "https://banes-lab.com/records/algorithms/compliance-verification-concern.md",
          "ref": "algorithms:compliance-verification-concern"
        }
      ],
      "relation": "contracts"
    },
    {
      "links": [
        {
          "href": "https://banes-lab.com/ontology/algorithms#algorithms-domain-codebase-verification",
          "json": "https://banes-lab.com/json/ontology/algorithms/algorithms-domain-codebase-verification",
          "label": "Codebase verification",
          "markdown": "https://banes-lab.com/ontology/algorithms/algorithms-domain-codebase-verification.md",
          "ref": "chapter:/ontology/algorithms#algorithms-domain-codebase-verification"
        }
      ],
      "relation": "linked-from"
    }
  ],
  "summary": "The Codebase verification domain holds 22 algorithm contracts.",
  "siblings": {
    "next": {
      "href": "https://banes-lab.com/ontology/algorithms#algorithms-domain-context-verification",
      "json": "https://banes-lab.com/json/records/algorithms-domain/context-verification",
      "label": "Context verification",
      "markdown": "https://banes-lab.com/records/algorithms-domain/context-verification.md",
      "ref": "algorithms-domain:context-verification"
    },
    "previous": {
      "href": "https://banes-lab.com/ontology/algorithms#algorithms-domain-checklist-creation",
      "json": "https://banes-lab.com/json/records/algorithms-domain/checklist-creation",
      "label": "Checklist creation",
      "markdown": "https://banes-lab.com/records/algorithms-domain/checklist-creation.md",
      "ref": "algorithms-domain:checklist-creation"
    }
  },
  "up": {
    "href": null,
    "json": "https://banes-lab.com/json/api/records/algorithms-domain",
    "label": "Algorithm domains",
    "markdown": "https://banes-lab.com/api/records/algorithms-domain.md",
    "ref": "api:records/algorithms-domain"
  }
}