Code · data · citation 📦

Code, data & resources

Zenodo deposit (V4)

Paper, simulation code, Lean files, figures, and raw CSVs.

zenodo.org/records/20230642

Atratores

Long-time simulation code, raw output CSVs, analysis notebooks, figure generators.

github.com/grossi-ops/Atratores

AXLE

Lean 4 / Mathlib4 formal verification, including TribonacciMeasure.lean and the sorry roadmap.

github.com/TOTOGT/AXLE

DM3-lab

Companion software for the Principia Orthogona / GCM series.

github.com/TOTOGT/DM3-lab

Companion criticality paper

Spectral gap controls the criticality threshold: λc(n) ≈ 0.958 Δₙ + 0.107.

doi.org/10.5281/zenodo.20077205

Series root

Principia Orthogona / GCM series.

doi.org/10.5281/zenodo.19117399

How to cite 📦

Nogueira Grossi, P. (2026). Differential Nonlinear Robustness of Critical States in Fibonacci and Tribonacci Substitution Chains (Version 4). Zenodo. https://doi.org/10.5281/zenodo.20230642

To cite all versions, use the concept DOI 10.5281/zenodo.20026942 — it always resolves to the latest version.