Chethan D V

Frequencies of Life

Open, tested code for the rhythms of life, where every claim says how it is known.

The project is a set of small, open repositories. The foundations prove their mathematics; the layers above add referenced data, models and applications, and reuse the code below them instead of rewriting it. Every claim in a repository's claims.yaml carries one of five proof levels.

Next, the project turns these rhythms into music and visuals: an album, short science-music videos, calm music with no health claims and a browser music lab. Every note and every visual event will be traceable to its data.

Proof levels

P Proved
Machine-checked proof in Lean 4 with Mathlib: no sorry, standard axioms only.
V Verified
Verified numerics: interval arithmetic or an exhaustive check.
T Tested
Property tests plus shared golden vectors, identical in every language.
R Referenced
An empirical fact with its DOI, species and method; never called proved.
M Model assumption
Stated explicitly as an assumption; never presented as fact.

How the repositories depend on each other

How the Frequencies of Life repositories depend on each other 30 repositories in 5 layers. Each arrow points from a repository to one that depends on it. The lists below give the same information as text. Meta · Shared infrastructureLayer 0 · FoundationsLayer 1 · Data, models and creative librariesLayer 2 · Music, visuals and interactive experiencesLayer 3 · Research contributions Shared CI and settings: active .githubactive Repository template: active repo-templateactive Hub site: active chethandvg.github.ioactive Evidence kernel: released evidence-kernelreleased Design system: planned design-systemplanned Rhythm units: released rhythm-unitsreleased Pitch math: released pitch-mathreleased Dynamics core: released dynamics-corereleased Signal core: released signal-corereleased Synthesis theory: released synthesis-theoryreleased Audio safety math: released audio-safety-mathreleased Biological rhythms dataset: released biological-rhythms-datasetreleased Egg activation models: released egg-activation-modelsreleased Sonification core: planned sonification-coreplanned Biological harmony: planned biological-harmonyplanned Visuals core: planned visuals-coreplanned Web Audio kit: planned web-audio-kitplanned Psychoacoustics: planned psychoacousticsplanned Frequency therapy evidence: planned frequency-therapy-evidenceplanned Onset truth dataset: planned onset-truth-datasetplanned Genesis: fertilization sonification: planned fertilization-sonificationplanned First days album: planned first-days-albumplanned Calm music generators: planned functional-music-generatorsplanned Frequencies of Life music lab: planned frequencies-of-lifeplanned Rhythm sequencer (CLAP): planned rhythm-sequencer-clapplanned Live-coding packs: planned live-coding-packsplanned Frequency and the Beginning of Life report: planned frequency-beginning-of-life-reportplanned Sonification manifest: planned sonification-manifestplanned Activation listening study: planned activation-listening-studyplanned Egg rhythm predictor: planned egg-rhythm-predictorplanned
Solid boxes link to a repository page; dashed boxes and lines are planned. Arrows run from a dependency to the repository that uses it.

Repositories by layer

Meta: Shared infrastructure

  • .github active

    Reusable GitHub Actions workflows, the site setting and this registry.

    Apache-2.0

  • repo-template active

    Starting point for every repo: licences, citation metadata, claims ledger and CI.

    Apache-2.0

  • chethandvg.github.io active

    The project site: articles, repo pages and the cross-repo claim graph.

    Apache-2.0 · CC-BY-NC-4.0

  • evidence-kernel released

    Claims ledger schema, proof levels, citation and retraction checks, and golden-vector test runners.

    Apache-2.0

  • design-system planned

    Design tokens, web components and motion rules shared by every interface, accessible by default.

    Apache-2.0

Layer 0: Foundations: proved mathematics and signal processing

  • rhythm-units released

    Period, frequency and bpm conversions, with Lean proofs of the time-scaling theorem.

    Apache-2.0

  • pitch-math released

    Equal temperament, cents and octave folding, with a Lean proof that octave folding is unique.

    Apache-2.0

  • dynamics-core released

    Leaky integrators and periodic-pulse steady states, with proofs.

    Apache-2.0

  • signal-core released

    Oscillators, filters, noise and WAV I/O in Rust, compiled to WebAssembly and Python.

    Apache-2.0

  • synthesis-theory released

    Beats, FM sidebands, modal ratios and Karplus-Strong, proved or numerically verified.

    Apache-2.0

  • audio-safety-math released

    Decibel arithmetic, dose rules and loudness metering.

    Apache-2.0

Layer 1: Data, models and creative libraries

  • biological-rhythms-dataset released

    Versioned frequencies of life, from sperm beat to embryonic heart rate, each with a DOI.

    PolyForm-Noncommercial-1.0.0 · CC-BY-NC-4.0

  • egg-activation-models released

    Calcium, zinc and CaMKII models of egg activation with replication tests.

    PolyForm-Noncommercial-1.0.0

  • sonification-core planned

    Mapping grammar, audification and sonification manifests.

    Apache-2.0

  • biological-harmony planned

    Chords, scales and rhythms built from ratios, with Lean proofs of their interval properties.

    Apache-2.0

  • visuals-core planned

    Data-driven generative visuals fed with event times, with frame export for 16:9 and 9:16 video.

    Apache-2.0

  • web-audio-kit planned

    AudioWorklet nodes for the WebAssembly instruments, Web MIDI output, and adapters for Tone.js and p5.js.

    Apache-2.0

  • psychoacoustics planned

    Missing fundamental, binaural constraints and equal-loudness compensation.

    PolyForm-Noncommercial-1.0.0

  • frequency-therapy-evidence planned

    Graded evidence for sound and frequency therapies, as queryable data.

    PolyForm-Noncommercial-1.0.0 · CC-BY-NC-4.0

  • onset-truth-dataset planned

    Test audio with exact answer keys: every onset and pitch is known from its manifest, for benchmarking detectors.

    Apache-2.0 · CC-BY-4.0

Layer 2: Music, visuals and interactive experiences

  • fertilization-sonification planned

    Genesis, a four-movement piece driven by measured human values and playable in the browser; track 1 of the album.

    PolyForm-Noncommercial-1.0.0 · CC-BY-4.0

  • first-days-album planned

    An album released track by track; each track ships its audio, video and sonification manifest.

    PolyForm-Noncommercial-1.0.0 · CC-BY-4.0

  • functional-music-generators planned

    Calm, focus and sleep music with matching visuals, and no health claims.

    PolyForm-Noncommercial-1.0.0 · CC-BY-4.0

  • frequencies-of-life planned

    A browser music lab for playing and composing with life's rhythms, with classroom, accessibility and parents-to-be modes.

    PolyForm-Noncommercial-1.0.0

  • rhythm-sequencer-clap planned

    A CLAP plugin that sequences biological rhythms inside a DAW.

    Apache-2.0

  • live-coding-packs planned

    Ready-made patterns of life's rhythms for Sonic Pi, Strudel and TidalCycles.

    Apache-2.0

  • frequency-beginning-of-life-report planned

    The evidence-graded report, rebuilt from upstream releases.

    PolyForm-Noncommercial-1.0.0 · CC-BY-NC-4.0

Layer 3: Research contributions

  • sonification-manifest planned

    A proposed open standard for publishing a sonification with its mapping and provenance.

    Apache-2.0 · CC-BY-4.0

  • activation-listening-study planned

    Can people hear abnormal egg-activation patterns better than they see them? Needs a university collaborator.

    PolyForm-Noncommercial-1.0.0

  • egg-rhythm-predictor planned

    Postponed until a clinical partner joins: do activation rhythms predict embryo quality?

    PolyForm-Noncommercial-1.0.0

Posts

No posts yet. The first one is on its way.

All posts · RSS feed