# Audited Residue Calculus (ARC 1.0)

> Formal Specification of the Canonical Audited Generator by Noah Robideau. ARC is a formal system for residue-preserving reasoning, scoped answers, certified erasure, and obstruction-null completion.

This site publishes ARC 1.0 as a human-readable page, downloadable PDF/DOCX, and machine-readable Markdown/plain-text files. Use the Markdown or Unicode plain-text versions for direct ingestion; use the ASCII text fallback if mathematical symbols render incorrectly; use the HTML page for canonical public reading.

## License

Licensed under [Creative Commons Attribution 4.0 International (CC BY 4.0)](https://creativecommons.org/licenses/by/4.0/). Suggested 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.

## Contact

Author email: [noahmrobideau@gmail.com](mailto:noahmrobideau@gmail.com).

## Primary document

- [Audited Residue Calculus (ARC 1.0) HTML](https://noahsarc.info/): Full public web version.
- [ARC 1.0 Markdown](https://noahsarc.info/machine/arc-1.0.md): Machine-readable Markdown conversion.
- [ARC 1.0 plain text](https://noahsarc.info/machine/arc-1.0.txt): Machine-readable Unicode plain-text conversion.
- [ARC 1.0 ASCII text](https://noahsarc.info/machine/arc-1.0-ascii.txt): Symbol-safe ASCII fallback for tools that drop mathematical Unicode.
- [ARC 1.0 PDF](https://noahsarc.info/downloads/arc-1.0-audited-residue-calculus-noah-robideau.pdf): Printable/downloadable PDF.
- [ARC 1.0 DOCX](https://noahsarc.info/downloads/arc-1.0-audited-residue-calculus-noah-robideau.docx): Source word-processor document.

## Metadata

- [metadata.json](https://noahsarc.info/machine/metadata.json): Structured project metadata.
- [search-index.json](https://noahsarc.info/machine/search-index.json): Section-level text index for site search or external tooling.
- [CITATION.cff](https://noahsarc.info/CITATION.cff): Citation metadata.

## Key terms

Audited Residue Calculus; ARC 1.0; Canonical Audited Generator; CAG[Γ]; G[Γ]; residue-preserving reasoning; cospan; pullback residue; scoped answer; legal promotion; anti-collapse; failure registry; admissibility compiler; homotopy-coherent dependent type theory.

## Preferred citation

Robideau, Noah. *Audited Residue Calculus (ARC 1.0): Formal Specification of the Canonical Audited Generator*. 2026.