A Machine-Checkable Operational Standard for Systemic Tau τₛ and the Discrete Extramental Clock (RECD)

We present systemic-tau-formal v0.1.8 as documented in this English preprint (document version 0.1.8-r3): an open monorepository that states the operational core of the Systemic Tau (τₛ) paradigm and the Discrete Extramental Clock (RECD) in a form accepted by a formal verifier. The Lean 4 + Mathlib package encodes regime bands, the gate function g(τₛ), partition and monotonicity lemmas, and a laboratory construction package that links the operational criterion to period-doubling cascade ideas and Feigenbaum's constant δ. The artifact is accompanied by a Python reference core, golden rational bridges, continuous integration, and a citable Zenodo software deposit. What is offered is not a closed narrative of dynamical universality, but a verifiable operational standard: an explicit decision rule, a machine checker that accepts it, and an open door to public scrutiny. Laboratory maps and scale identifications are presented as named, cited constructions, not as field theorems. Software pin: systemic-tau-formal v0.1.8 — DOI 10.5281/zenodo.21522882 (concept 10.5281/zenodo.21516059). Source: github.com/johelpadilla/systemic-tau-formal · path papers/preprint-standard-formal/.