Source coverage

Read side by side

Inventory: 25 October 2026. Reconciled: 30 October 2026. Author: Komorebi P.

This page maps all 74 named entries in the release inventory to their canonical source components or existing repositories. It records where the work can be inspected. Several entries share a combined edition, so the row count is not a count of independent discoveries.

Source coverage does not establish mathematical completion, solve an open conjecture, demonstrate novelty, qualify a software release, or claim a new Lean replay. Each component retains its own hypotheses, evidence, limitations and formalization boundary. Public libraries are presented as beta or work in progress. Recorded qualifications apply only to their stated scope. See the completion, Lean coverage and confidence catalogue for the separate assessment of each component.

The machine-readable source-coverage manifest gives exact component IDs, original archive filenames and full SHA-256 identities where available. These identify source versions. Repository import receipts establish publication of the selected files.

The publication verification record records the complete SHA-256 check of 139,002 source files and the unchanged scientific sources through the subsequent catalogue reconciliation. These are file-identity checks. The completion catalogue records scientific status separately.

Coverage summary

Known source-availability limits

Physics Curvature v0.4: the research records include the reader PDF, progress ledger, verification report and original verification JSON. The source inventory and targeted filename search on 27 October 2026 did not locate the reproducible code/data package, stored arrays, figure source or editable manuscript source. The records retain their stated finite scope and do not repair the inherited coupled origin cutoff failure.

K-COS source version: the available monograph source is K_COS_Monograph_Final_Package.zip, with a separate end-to-end continuation. The later official 1.0 source payload referenced by K_COS_Official_Release_Report.md was not recovered. The available sources retain their actual identities and are not relabeled as that later release.

No other named entry in this 74-entry inventory remains unaccounted for. This is a bounded inventory statement, not a claim that every historical branch has complete editable sources.

Project crosswalk

Core papers I–VI

Core papers VII–XII

Foundations and twin volumes

Collected book and special functions

Machine theory, models and circuits

Software and release infrastructure

Physics and methodology

Arithmetic and conjecture programs

Additional foundations

Other branches and coverage reconciliation

Reading the source identities

Original archive hashes identify preserved source containers. The published tree exposes ordinary source files and scoped evidence. Repeated archive containers and dependency caches are not additional mathematical results. Unique historical sources remain in supporting-source directories with their own provenance. Inventory archive filenames and the actual canonical archive identities are recorded separately when a later version supersedes the original inventory reference.

PR-LASM includes a documented, authorized MIT publication-metadata update while retaining the original metadata and unchanged scientific files. Third-party task-data and source licenses retain their own terms.

The paired Realization Calculus edition retains its Space 1.15 and Boundaries 1.0 editorial scope. Current Space 1.16 is linked separately. Its current reader README points to the collection license and canonical sources, with its original README preserved in provenance. The current Machine-Native Reasoning source supersedes the older Core25 inventory entry. Hilbert 12 continuations remain research branches with the arithmetic equality explicitly open.