Source lineage
On this page · Permalink · Source line 2
The four primary literature entries are provided in the accompanying reference fragment. Ramanujan's work supplies the arithmetic lineage. Vaidyanathan's papers establish the signal-processing setting of Ramanujan spaces and filter banks. The internal Komorebi lineage is Stratified Universality for Resolved Representations, v1.16.0, Proposition 21.11, printed page 189, with Boundary 21.12 on the distinction between character orders and coefficient-residue lanes.
The local authoritative source set for the finite example consists of Worked_Example.md, the original reproducibility verifier, the earlier four-module checked source and proof-boundary document, and the later five-module checked source with its verification records. Their exact filenames, source hashes, and evidence classification are listed in the release provenance and the Lean guide. The traditional paper supplies self-contained mathematical proofs, while those companion records make the implementation and formal scope inspectable.