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/.