# Open Residuals

| ID | Status | Description | Reopening / closure evidence |
|---|---|---|---|
| R-001 | open | No standalone ICG repository is accessible. ICG source currently resides under `ICG/` in Standing Algebra; no separate repo identity can be asserted. | User supplies canonical repository URL/access; audit repository and revisions. |
| R-002 | open | No standalone Unified Compatibility Kernel repository or independently identified complete UCK corpus is available. The 24-document user-supplied source batch is preserved, but its canonical UCK membership and completeness are not independently established. | User supplies a canonical UCK repository or identifies additional/authoritative UCK materials; audit provenance and version. |
| R-003 | closed | The 24 documents supplied in the 2026-11-04 attachment batch are preserved as original DOCX files and readable text extractions, each with provenance and hashes. This closes ingestion of that batch, not completeness of any broader corpus. | Closed by `corpus/source-documents/`, `corpus/README.md`, and `manifests/CORPUS_MANIFEST.yaml`. |
| R-004 | open | NDGK workspace audit exact HEAD and live CI status could not be directly confirmed; merge-base only was observed. It is not treated as authoritative UCK state. | Read-only access provides exact HEAD and workflow receipts. |
| R-005 | open | I2OS repository has internal author inconsistency (README citation vs paper title page/bib) and no validation/CI receipt in the audit. It is excluded from product authority. | Repository maintainers reconcile attribution and publish validated evidence. |
| R-006 | open | Comprehensive manuscript theorem-ID-to-formalization mapping for Σᴿ/ICG was not found. | Create and review a crosswalk against authoritative source documents. |
| R-007 | open | ICG README reports selected formalization and source gaps; successful aggregate build does not close these. | Per-source theorem inventory and verified formalization mapping. |
| R-008 | open | Root branch contains pre-existing uncommitted `Collapse_Demonstrations/collapse.lean` change. | User resolves or authorizes separate handling; preserve meanwhile. |
| R-009 | closed | Corrective Continuity Integrity run passed on commit `bd3f0703ad3f9a65de9e50a920d08e693c0fb956`; see receipt `continuity-workflow-bd3f0703`. | Closed by GitHub Actions run 41891627641. |
| R-010 | closed | Checkpoint `UCK-2026-11-04-001` regenerated with corrective commit `bd3f0703ad3f9a65de9e50a920d08e693c0fb956` and hosted receipt `continuity-workflow-bd3f0703`. | Closed by the regenerated checkpoint and release-mode validation. |
| R-011 | open | Current scripts validate artifact integrity and references, not mathematical semantics, source transcription, product efficacy, or scholarly validity. | Add domain-appropriate independent reviews and source crosswalks. |
| R-012 | open | Copilot customization files are repository artifacts; not all Copilot clients may support every agent/skill/prompt surface. No live Copilot configuration test was performed. | Test in each target Copilot host/version and record receipts. |
| R-013 | closed | `.git` metadata is excluded and NUL-free valid UTF-8 files are normalized across line endings; binary files remain byte-exact. | Closed by portable hash tests and GitHub Actions run 41891627641. |
| R-014 | open | The 24-document corpus update has passed local tests, link checks, hash verification, and release validation, but no hosted Continuity Integrity run has validated this candidate yet. | Push the corpus update and record a passing hosted Continuity Integrity receipt. |