Closing Algebra: Proof Dependency Index Companion Artifacts

This paper presents the machine-readable proof dependency index accompanying Closing Algebra v18. It describes the canonical dependency graph, a deterministic checker, a machine-generated audit, a cyclic negative test, documentation, and a cryptographic manifest binding the companion publication. The graph records strict prior logical dependencies among the named results of the four closure documents. The checker validates graph consistency, rejects cycles, computes dependency statistics, transitive reduction, support cones, profile equivalence classes, import signatures, and the paper-level quotient, reproducing the published audit deterministically. The companion artifacts provide a reproducible dependency index for the published proof presentation. They certify structural properties of the declared dependency graph rather than the mathematical correctness of the underlying proofs. The complete machine-readable companion artifacts (dependency graph, checker, audit, test fixtures, manifests, and supporting documentation) are archived separately in the corresponding Zenodo record.