{
  "title": "Audited Residue Calculus (ARC 1.0)",
  "subtitle": "Formal Specification of the Canonical Audited Generator",
  "author": "Noah Robideau",
  "version": "1.0",
  "document_status": "Formal mathematical specification",
  "generator": "CAG[Γ] = G[Γ]",
  "foundation": "Univalent / homotopy-coherent dependent type theory",
  "export_date": "2026-06-28",
  "site_build_date": "2026-06-30",
  "abstract": "Audited Residue Calculus (ARC) is a formal system for residue-preserving reasoning, scoped answers, certified erasure, and obstruction-null completion. ARC treats a problem as a structured presentation, computes unresolved content as a residue, and permits conclusions only when every generated residue has a certified fate.",
  "keywords": [
    "Audited Residue Calculus",
    "ARC 1.0",
    "residue calculus",
    "formal specification",
    "Canonical Audited Generator",
    "CAG",
    "homotopy type theory",
    "dependent type theory",
    "residue-preserving reasoning",
    "scoped answers",
    "failure registry",
    "anti-collapse"
  ],
  "canonical_citation": "Robideau, Noah. Audited Residue Calculus (ARC 1.0): Formal Specification of the Canonical Audited Generator. 2026.",
  "files": {
    "html": "index.html",
    "pdf": "downloads/arc-1.0-audited-residue-calculus-noah-robideau.pdf",
    "docx": "downloads/arc-1.0-audited-residue-calculus-noah-robideau.docx",
    "markdown": "machine/arc-1.0.md",
    "plain_text": "machine/arc-1.0.txt",
    "llms": "llms.txt",
    "llms_full": "llms-full.txt",
    "license": "LICENSE.md",
    "ascii_text": "machine/arc-1.0-ascii.txt"
  },
  "license": "Creative Commons Attribution 4.0 International (CC BY 4.0)",
  "url": "https://noahsarc.info/",
  "files_absolute": {
    "html": "https://noahsarc.info/",
    "pdf": "https://noahsarc.info/downloads/arc-1.0-audited-residue-calculus-noah-robideau.pdf",
    "docx": "https://noahsarc.info/downloads/arc-1.0-audited-residue-calculus-noah-robideau.docx",
    "markdown": "https://noahsarc.info/machine/arc-1.0.md",
    "plain_text": "https://noahsarc.info/machine/arc-1.0.txt",
    "llms": "https://noahsarc.info/llms.txt",
    "llms_full": "https://noahsarc.info/llms-full.txt",
    "license": "https://noahsarc.info/LICENSE.md",
    "ascii_text": "https://noahsarc.info/machine/arc-1.0-ascii.txt"
  },
  "author_email": "noahmrobideau@gmail.com",
  "contact_email": "noahmrobideau@gmail.com",
  "contact": {
    "name": "Noah Robideau",
    "email": "noahmrobideau@gmail.com",
    "mailto": "mailto:noahmrobideau@gmail.com"
  },
  "license_url": "https://creativecommons.org/licenses/by/4.0/",
  "license_spdx": "CC-BY-4.0",
  "rights": "© 2026 Noah Robideau. Licensed under CC-BY-4.0.",
  "attribution": "Noah Robideau, Audited Residue Calculus (ARC 1.0): Formal Specification of the Canonical Audited Generator, 2026, https://noahsarc.info/, licensed under CC-BY-4.0.",
  "notation_fallback": {
    "terminal_object": "1",
    "initial_or_empty_object": "0",
    "arrows": "-> and <-",
    "residue": "Res(C -> B <- S) := C x_B S",
    "exact_form_J": "J_tau(E) := (E -> 1_tau <- 1_tau)",
    "exact_form_Delta": "Delta_tau(E) := (E --id--> E <--id-- E)",
    "legal_transition": "Leg_1(alpha,beta) := sum_f sum_rho Obl(f,rho) x Trans(rho) x AntiCollapse(f)"
  }
}