systemic-tau-formal: Machine-verifiable Systemic Tau (τₛ) and RECD

systemic-tau-formal v0.1.11 is an open monorepo for machine-checkable formalization and reproducible reference code of the Systemic Tau (τₛ) paradigm and the Discrete Extramental Clock (RECD).

What is new in v0.1.11 — Module CT residual pack (0 sorry / 0 research axiom)

• RECD / CT core: CT-3 monotonicity, CT-4A/B ordinal entropy, CT-3 quantitative variation, mesh immersion + σ_RECD, CT-1 stable bi-Lipschitz, CT-2 InfOften anti-sync non-mono, BV/TV immersion, OP-CT-8 orientation non-equivalence.
• Projection π + Kendall: combinatorial kendallTau (not opaque); systemicTauWindow, projectPath; estimator noise envelope.
• CT-1 residual: noise-robust mono; accum gap |T̂−T|≤N·δ^{-k}·η; discrete shift/increment semigroup intertwining.
• OP-CT-5 ContLim: H1–H4 scaffold; const-mass ContLim; uniform envelope + equicontinuous modulus; projected ContLim.
• ContLim + noise (new): RECD_ContLim_Noise — stable/degraded band under NoiseBounded; equi-Lip immersion with modulus δ^{-k}(M+η); small-η mono of estimated immersion; ContLimNoisePackage.
• OP-CT-8 monoidal residual: Nat monoid homs; oriented monoid bridge obstruction; path tensor classical closure.
• Research registry: Schnakenberg/CT-4C, ordinal LDP, nested RECD as honest Prop interfaces (not axioms).

Still research-scale (not claimed discharged)

• Full C([0,∞)) for random projected processes / Skorokhod
• Kendall consistency in probability; continuum Markov P_t intertwining
• Schnakenberg/CT-4C full; ordinal LDP rate function; nested multi-scale ContLim
• Mathlib CategoryTheory monoidal functors on Top

Companion: PyPI systemictau. Prior corpus DOI: 10.5281/zenodo.20576241.

Epistemic honesty: operational thresholds 0.50 / 0.41 remain protocol pins; no continuum thermodynamic axiom is added to Lean.