Appendix — Full Specification
Stochology Protocol: Enriched Methodological Architecture for Judgment and Decision-Making under Uncertainty
This document establishes the consolidated, mathematically formalized specification of the Stochology Protocol for data architecture, stochastic modeling, causal inference, and structured inter-agent communication. It unifies operational decision-making with explicit algorithmic gates for performative prediction, decision theory under severe uncertainty, strong information contraction, tail design effects in unequal clusters, and formal production drift adaptation.
1. Deep Structural Diagnosis: Bridge Mechanics, Severe Uncertainty, and the Five Transversal Lenses
Before fitting any parameter, selecting predictive architectures, or estimating probability distributions, every technical claim, scientific hypothesis, or operational model must auditably answer three structural questions:
- In which ontological layer can the system fail (World $L_1$, Model $L_2$, or Agent $L_3$)?
- Which class of uncertainty threatens inference validity (Aleatory, Parametric/Structural Epistemic, or Knightian)?
- Which severe test — endowed with genuine empirical or logical refutation power — supports the confidence placed in the claim?
1.1. Dynamics of the Three Ontological Layers ($L_1 \to L_2 \to L_3 \to L_1$)
| Layer | Code | Ontological Definition | Typical Outbound Bridge Error | Formal Bridge Audit |
|---|---|---|---|---|
| World | $L_1$ | Physical, biological, or socioeconomic reality generating the data, never observed in its entirety. | Bridge $L_1 \to L_2$ (Invisible Filter): Selection, censoring, or survivorship bias. | Meng’s Identity ($\rho_{R,Y} \neq 0$), Rubin’s missingness taxonomy (MCAR, MAR, MNAR), Manski’s non-parametric bounds (including stratified bounds), and David Lee’s (2009) sharp monotone-selection trimming bounds. |
| Model | $L_2$ | Formal, reduced, computationally simulable mathematical representation of the process. | Bridge $L_2 \to L_3$ (Misreading): Treating $\mathbb{E}[X]$ as a sufficient summary of a nonlinear payoff/loss $f(X)$. | Quantification of Jensen’s Gap $\Delta_J = \mathbb{E}[f(X)] - f(\mathbb{E}[X])$ and evaluation via strictly proper scoring rules (exact $O(n\log n)$ leave-one-out empirical $\mathrm{CRPS}$, Brier, and Logarithmic Score). |
| Agent | $L_3$ | Human decision-maker, institutional committee, or algorithmic controller acting under constraints. | Bridge $L_3 \to L_1$ (Performativity): Decisions based on the model deform the very distribution $\mathcal{D}(\theta)$ being measured. | Induced distribution map $\mathcal{D}(\theta)$, empirical Wasserstein-1 distance $W_1$, separation between Performative Stability ($\theta_{\mathrm{PS}}$, RRM fixed point) and Performative Optimality ($\theta_{\mathrm{PO}}$, reached via Performative Gradient Descent PerfGD), and RRM contraction $\frac{\varepsilon\beta}{\gamma} < 1$. |
On Bridge $L_3 \to L_1$, when a model parameterized by $\theta \in \Theta$ supports consequential decisions, deploying $\theta$ causally alters the environment and induces $Z = (X, Y) \sim \mathcal{D}(\theta)$. Performance is governed by Performative Risk $\mathrm{PR}(\theta)$ and Decoupled Performative Risk $\mathrm{DPR}(\theta, \phi)$ (Perdomo, Zrnic, Mendler-Dünner & Hardt):
$$\mathrm{PR}(\theta) \triangleq \mathbb{E}_{Z \sim \mathcal{D}(\theta)}[\ell(Z; \theta)], \qquad \mathrm{DPR}(\theta, \phi) \triangleq \mathbb{E}_{Z \sim \mathcal{D}(\theta)}[\ell(Z; \phi)]$$
- Performative Stability ($\theta_{\mathrm{PS}}$): $\theta_{\mathrm{PS}} = \arg\min_{\phi \in \Theta} \mathrm{DPR}(\theta_{\mathrm{PS}}, \phi)$ — fixed point of Repeated Risk Minimization ($\mathrm{RRM}$).
- Performative Optimality ($\theta_{\mathrm{PO}}$): $\theta_{\mathrm{PO}} = \arg\min_{\theta \in \Theta} \mathrm{PR}(\theta)$ — Stackelberg equilibrium anticipating the strategic reaction of the population, attained via Performative Gradient Descent (
PerfGD, Izzo, Ying & Zou 2021) along the total performative gradient $\nabla_\theta \mathrm{PR}(\theta) = \nabla_1 \mathrm{DPR}(\theta,\theta) + \nabla_2 \mathrm{DPR}(\theta,\theta)$ (PerformativeSystem::perfgd_trajectory). - Canonical Linear Benchmark: Under $Y(\theta) = \mu + \varepsilon \theta + \xi$ and loss $\ell(z; \phi) = \frac{\gamma}{2}(y - \phi)^2 - \alpha \phi$, passive learning yields $\theta_{\mathrm{SL}} = \mu + \frac{\alpha}{\gamma}$, retraining converges to $\theta_{\mathrm{PS}} = \frac{\mu + \alpha / \gamma}{1 - \varepsilon}$ (reducing to $\frac{\mu}{1 - \varepsilon}$ when $\alpha = 0$), whereas the true Stackelberg optimum minimizing $\mathrm{PR}(\theta) = \frac{\gamma}{2}[(1 - \varepsilon)\theta - \mu]^2 + \frac{\gamma}{2}\sigma^2 - \alpha\theta$ is $\theta_{\mathrm{PO}} = \frac{\mu}{1 - \varepsilon} + \frac{\alpha}{\gamma(1 - \varepsilon)^2}$. Under Wasserstein-1 sensitivity $W_1(\mathcal{D}(\theta), \mathcal{D}(\theta’)) \le \varepsilon \lVert\theta - \theta’\rVert_2$, $\gamma$-strong convexity, and $\beta$-smoothness, $\mathrm{RRM}$ contracts linearly if and only if $\frac{\varepsilon \beta}{\gamma} < 1$.
1.2. Uncertainty Typing: Kennedy-O’Hagan Discrepancy and Info-Gap + Sniedovich Safeguard
- Aleatory Uncertainty (
aleatory, $L_1$): Irreducible variability; demands safety margins and exposure control. - Parametric Epistemic Uncertainty (
epistemic_parameter, $L_2$): Reducible ignorance about finite parameters $\theta$; uses Laplace’s rule of succession $\hat{p} = \frac{s+1}{n+2}$ in small samples. - Structural Epistemic Uncertainty (
epistemic_specification, $L_2$): Formulated via Kennedy-O’Hagan Structural Discrepancy: $$y(x) = \eta(x, \theta) + \delta(x) + \varepsilon, \qquad \delta(x) \sim \mathcal{GP}(m(x), k(x, x’))$$ with anchoring constraints to prevent parameter pseudo-convergence and extrapolation overconfidence, solved via exact Cholesky decomposition $K_y = LL^\top$ and calibrated via Empirical Bayes Type-II maximum marginal likelihood $\log p(y \mid X, \ell, \sigma_\delta)$ (KennedyOHaganDiscrepancy::calibrate_empirical_bayes). - Knightian Uncertainty (
knightian, $L_3$): Formulated via Info-Gap Decision Theory (Ben-Haim) coupled with Sniedovich’s Global Maximin Safeguard (Wald): $$\hat{\alpha}(q, r_c) = \max\left\lbrace\alpha \ge 0 : \min_{u \in \mathcal{U}(\alpha, \tilde{u})} R(q, u) \ge r_c\right\rbrace, \qquad \hat{\beta}(q, r_w) = \min\left\lbrace\alpha \ge 0 : \max_{u \in \mathcal{U}(\alpha, \tilde{u})} R(q, u) \ge r_w\right\rbrace$$ Enforces the zero-ing property ($\hat{\alpha}(q, R(q, \tilde{u})) = 0$) and requires a global Wald Maximin floor outside $\mathcal{U}(\hat{\alpha}, \tilde{u})$ to prevent catastrophic collapse in “No-Man’s Land”.
1.3. Mathematical Formalism of the Five Transversal Lenses, Almost-Perfect Machine, and Authentic Model Form
- Lens 1 — Information (
stochology_lenses::information):- Data Processing Inequality ($I(W; Z) \le I(W; Y) \le I(W; X)$ across a 3-step Markov chain $W \to X \to Y \to Z$ via
DpiMarkovChain), exact Blahut-Arimoto channel capacity $C(W) = \max_{p(x)} I(X; Y)$ (blahut_arimoto_capacity), empirical transition matrix estimation with Laplace smoothing (estimate_empirical_channel), and Strong Data Processing Inequality (SDPI) contraction hierarchy: $$\eta_{\chi^2}(W) = \rho_m^2(X; Y) \le \eta_{\mathrm{KL}}(W) \le \eta_{\mathrm{TV}}(W)$$ - Fano’s Error Floor: $H(P_e) + P_e \ln(|\mathcal{W}| - 1) \ge H(W) - I(W; Z)$.
- Meng’s Fundamental Identity: $\bar{Y}_n - \bar{Y}_N = \rho_{R,Y} \times \sqrt{\frac{N-n}{n}} \times \sigma_Y$.
- Data Processing Inequality ($I(W; Z) \le I(W; Y) \le I(W; X)$ across a 3-step Markov chain $W \to X \to Y \to Z$ via
- Lens 2 — Time (
stochology_lenses::time):- Itô Variance Drain: $g_{\text{time}} = \mu - \frac{1}{2}\sigma^2 < \mu = g_{\text{ensemble}}$.
- Optimal Asymmetric Kelly Fraction $f^{\ast} = \frac{p}{a} - \frac{1 - p}{b}$ and continuous-return Empirical Kelly Optimal Leverage $f^{\ast}_{\mathrm{emp}} = \arg\max_f \frac{1}{T}\sum_{t=1}^T \ln(1 + f R_t)$ via damped Newton-Raphson (
empirical_kelly_optimal_fraction), quantifying skewness/kurtosis over-betting penalty relative to the Gaussian Merton ratio $f_{\mathrm{Merton}} = \hat{\mu}/\hat{\sigma}^2$. - Heavy-Tailed Mixing Time under Log-Sobolev Inequality ($\alpha_{\mathrm{LSI}} = -\frac{1}{2}\ln \eta_{\mathrm{KL}}$) and tail mass $H_R$.
- Lens 3 — Scale and Tail (
stochology_lenses::tail):- Hill Estimator $\hat{\alpha}_{k,n} = \left(\frac{1}{k}\sum_{i=1}^k \ln \frac{X_{(n-i+1)}}{X_{(n-k)}}\right)^{-1}$, moment regimes ($\alpha \le 1$, $1 < \alpha \le 2$, $\alpha > 2$), Dekkers-Einmahl-de Haan (1989) Moment Tail Index $\hat{\xi}_{\mathrm{DEdH}} = M_{k,n}^{(1)} + 1 - \frac{1}{2}\bigl(1 - (M_{k,n}^{(1)})^2 / M_{k,n}^{(2)}\bigr)^{-1} \in \mathbb{R}$ (
dedh_moment_tail_index), Pickands-Balkema-de Haan Peaks-Over-Threshold GPD via Hosking-Wallis probability-weighted moments (gpd_pot_fit), and Expected Shortfall ($\mathrm{ES}_{0.99} / \mathrm{CVaR}_{0.99}$) (expected_shortfall_99).
- Hill Estimator $\hat{\alpha}_{k,n} = \left(\frac{1}{k}\sum_{i=1}^k \ln \frac{X_{(n-i+1)}}{X_{(n-k)}}\right)^{-1}$, moment regimes ($\alpha \le 1$, $1 < \alpha \le 2$, $\alpha > 2$), Dekkers-Einmahl-de Haan (1989) Moment Tail Index $\hat{\xi}_{\mathrm{DEdH}} = M_{k,n}^{(1)} + 1 - \frac{1}{2}\bigl(1 - (M_{k,n}^{(1)})^2 / M_{k,n}^{(2)}\bigr)^{-1} \in \mathbb{R}$ (
- Lens 4 — Structure and Invariance (
stochology_lenses::invariance):- Pearl’s Causal Ladder (
1-See,2-Act,3-Imagine), Invariant Causal Prediction ($\hat{S}^{\ast} = \bigcap_{S:\text{invariant}} S$), environment OLS invariance penalty (env_ols_invariance_penalties), Chow (1960) Structural Break $F$-Statistic across environments (chow_invariance_f_stat), nonlinear ICP and NILE/IRM risk-gradient penalty over the 3-atom orthonormal Hermite basis $\Phi(z) = \bigl[z, \frac{z^2-1}{\sqrt{2}}, \frac{z^3-3z}{\sqrt{6}}\bigr]$ (run_nonlinear_icp_nile), 2nd-order worst-case loss, Rosenbaum’s $\Lambda^{\ast}$, and Cinelli & Hazlett (2020) Omitted-Variable Bias Robustness Value ($RV_q$) (cinelli_hazlett_robustness_value).
- Pearl’s Causal Ladder (
- Lens 5 — Decision and Calibration (
stochology_lenses::decision):- Cost-Loss Boundary $p > p^{\ast} \triangleq \frac{C}{\eta L}$, Expected Value of Perfect Information ($\mathrm{EVPI}$), Richardson (2000) Relative Economic Value $V(p^{\ast}) = \frac{E_{\text{climate}} - E_{\text{forecast}}}{E_{\text{climate}} - E_{\text{perfect}}}$ (
CostLossRule::relative_economic_value), and Logarithmic (Ignorance) Score with Cromwell floor (logarithmic_score). - Exact Isotonic CORP-Murphy Decomposition via Pool-Adjacent-Violators (PAV): $$\mathrm{BS} = \mathrm{REL}_{\mathrm{CORP}} - \mathrm{RES}_{\mathrm{CORP}} + \mathrm{UNC}_0$$
- Exact Fair-Coin Calibration vs. Decision Benchmark (
ExactCoinCalibrationBenchmark, $p_0 = 0.50$), proving that decision agreement at a fixed threshold $p^{\ast}_A$ does not imply calibrated probabilities when the threshold shifts to $p^{\ast}_B$.
- Cost-Loss Boundary $p > p^{\ast} \triangleq \frac{C}{\eta L}$, Expected Value of Perfect Information ($\mathrm{EVPI}$), Richardson (2000) Relative Economic Value $V(p^{\ast}) = \frac{E_{\text{climate}} - E_{\text{forecast}}}{E_{\text{climate}} - E_{\text{perfect}}}$ (
- Almost-Perfect Machine and First-Class Authentic Model Form (
stochology_lenses::machine):- $(\varepsilon, \delta)$-Almost-Perfect Machine $M = (T, \Phi, \theta)$ (
AlmostPerfectMachine): Audits (P1) universal Barron density ($\sup_x |M(x) - f(x)| \le \varepsilon$ and $L_2^2 \le C_f^2 / W$), (P2) informational $\delta$-sufficiency ($\Delta_{\mathrm{DPI}} = I(W; X) - I(W; T(X)) \le \delta$ and valid SDPI hierarchy), (P3) Fano/minimax rate optimality ($0.25 \le \mathrm{MSE} / (\sigma^2 W / n) \le 2.5$ and $P_e^{\min} > 0$), (P4) Telgarsky depth-$D$ compositional efficiency ($2^D$ affine linear regions with $2^D / (2D) \ge 4.0$), and (P5) atomic completeness (Gram effective dimension $d_{\mathrm{eff}} = \frac{(\mathrm{tr} G)^2}{\lVert G\rVert_F^2} \ge 0.80 W$ and off-diagonal coherence $< 0.15$). - First-Class Authentic Model Form (
AuthenticModelForm, $\delta(x) + \hat{S}^{\ast}$): Pairs the surviving invariant causal core $\hat{S}^{\ast}$ with an anchored Kennedy-O’Hagan GP discrepancy $\delta(x) \sim \mathcal{GP}(0, k_{\text{anchored}})$, explicitly named discarded spurious atoms (DiscardedAtomRecord), simultaneous closure of the 6 exact numerical identities (IdentityClosureAudit: Jensen, CORP-Murphy, Meng, SHA-256 pre-registration, Wald Maximin, and Findings accounting), and the 5-part operational authenticity criterion $A(\text{model})$ (AuthenticityCriterionA), enforced by GateG8and--defect machine.
- $(\varepsilon, \delta)$-Almost-Perfect Machine $M = (T, \Phi, \theta)$ (
- Relational Ontology and Complex Systems (
stochology_lenses::relational):- Formalizes the 6-axis transdisciplinary synthesis (
RelationalComplexSystemsSynthesis): (Axis 1 & 4) relational vacuity (Śūnyatā / RQM / OSR, $I_{\text{isolated}} \to 0$ vs. $I_{\text{relational}} > 0$) and Homo clausus vs. Homines aperti figuration audit (RelationalFigurationAudit); (Axis 2) Prigogine Brusselator RK4 open-system dissipative entropy balance $dS = d_i S + d_e S \le 0$ with Schnakenberg (1976) microscopic entropy production $\frac{d_i S}{dt} = \sum_\rho (J_\rho^+ - J_\rho^-)\ln(J_\rho^+/J_\rho^-) > 0$ and Maturana-Varela autopoietic organizational closure (DissipativeAutopoieticAudit); (Axis 3) heteropathic emergence (More Is Different) and Thomas Schelling’s (1971) 2D dynamic segregation phase transition (SchellingSegregationModel,SchellingPhaseTransitionAudit); (Axis 5) Andrew Watson & James Lovelock’s (1983) Daisyworld planetary cybernetic homeostasis integrated via 4th-order Runge-Kutta (DaisyworldSystem,DaisyworldHomeostasisAudit); and (Axis 6) the 6-layer Ontological Stack (Morin, Mirowski, Arthur, Beinhocker), audited in Lab 3 (labs --lenses) and GateG8. - Audited numeric thresholds (
seed = 2026): Axis 1&4 — $I_{\text{rel}} > 0.30$ nats vs. $I_{\text{iso}} < 0.005$ nats, Moulton-Campbell $\mathrm{DEFF} = 5.81\times$, Stackelberg $\theta_{\mathrm{PO}} > \theta_{\mathrm{PS}}$; Axis 2 — Brusselator RK4 + Schnakenberg dissipative entropy balance $d_i S = +4.47,\ d_e S = -5.02 \Rightarrow dS = -0.55 \le 0$, material turnover $>99.9%$, autopoietic fidelity $>99.9%$; Axis 3 — Schelling phase transition $\tau = 0.125 \to$ integrated ($<60%$) vs. $\tau = 0.375 \to$ segregation cascade ($\ge 78%$), emergent gap $\Delta_{\text{emerg}} > 0.38$; Axis 5 — Daisyworld RK4 homeostasis $\approx 22.5 ^\circ\mathrm{C}$ ($\mathrm{MAE} = 1.52 ^\circ\mathrm{C} < 3.0 ^\circ\mathrm{C}$ with biosphere vs. $9.57 ^\circ\mathrm{C}$ dead planet), $dT_e/dL = -11.93 \le 0$ in coexistence, extinction at $L = 1.60$; Axis 6 —all_six_axes_verified == true. - 6-layer Ontological Stack (substancialist vs. relational): (1) physics/metaphysics — atomism + svabhāva vs. Śūnyatā/RQM/OSR; (2) thermodynamics/time — closed static equilibrium vs. block-universe/Uji + dissipative-autopoietic; (3) biology/ecology — unilateral adaptation vs. Lewontin co-evolution + Daisyworld homeostasis; (4) psychology — Homo clausus vs. bundle-theory/Anattā/Homines aperti; (5) sociology/emergence — methodological individualism vs. More is Different + duality of structure; (6) political economy/epistemology — neoclassical equilibrium vs. complexity economics + complex thought.
- Formalizes the 6-axis transdisciplinary synthesis (
- Physical, Analog, and Wave-Interference Computing (
stochology_lenses::analog):- Formalizes the 5-axis physical-computational synthesis (
AnalogWaveComputingSynthesis, plus empirical real-data wave/RRAM auditEmpiricalWaveAnalogAudit):- Axis 1 (von Neumann Bottleneck & Recursive Model Collapse —
VonNeumannModelCollapseAudit): Quantifies Mark Horowitz’s (ISSCC 2014, 45nm CMOS) energy hierarchy ($0.1\text{ pJ}$ Int32 add, $0.9\text{ pJ}$ FP32 add, $3.7\text{ pJ}$ FP32 mul, $5.0\text{ pJ}$ 8KB SRAM read vs. $640.0\text{ pJ}$ off-chip DRAM read $\implies 711.1\times$ DRAM-to-FP32-add asymmetry and $6400\times$ vs. Int32 add), IEA global data-center electricity demand trajectory ($269.1 \to 485.1 \to 945.0 \to 1200.0\text{ TWh}$ across 2020–2035), and $G=8$ generations of recursive synthetic training (“AI contaminating AI” under Epoch AI’s ~300T human token ceiling), proving that unanchored synthetic recursion collapses tail variance ($\sigma_G^2 / \sigma_0^2 < 0.01,\ D_{\mathrm{KL}}(P_0 \parallel P_G) > 0.60\text{ nats}$) whereas neurosymbolic symmetry/moment constraints + anchored physical observations preserve $\sigma_G^2 / \sigma_0^2 = 0.95$ ($D_{\mathrm{KL}} < 0.02\text{ nats}$). - Axis 2 (Native Differential Equation Isomorphism & Liquid ODEs —
NativeOdeIsomorphismAudit): Integrates the mechanical Mass-Spring-Damper ODE ($m\ddot{x} + c\dot{x} + kx = F(t)$) and the isomorphic Analog RLC Circuit ODE ($L\ddot{q} + R\dot{q} + \frac{1}{C}q = V(t)$ with $L=m, R=c, 1/C=k$) via 4th-order Runge-Kutta (RK4), verifying machine-precision isomorphism ($\max_t |x_{\text{mech}}(t) - q_{\text{RLC}}(t)| = 0.0 < 10^{-14}$), RK4 accuracy vs. exact analytical underdamped solution ($< 10^{-7}$ vs. coarse digital Euler error $> 0.05$), and adaptive relaxation in Liquid Time-Constant (LTC) / Neural ODE cells ($\tau_{\text{eff}}(u) = \frac{\tau}{1 + \tau f(u)}$). - Axis 3 (AIMC Crossbar, The “Analog Wall” Threshold Cliff vs. Noise-Aware Training, and Peking University 24-Bit
HP-INV—AimcAnalogWallHpInvAudit): Simulates Analog In-Memory Computing (AIMC) crossbar arrays executing $I_j = \sum_{i=1}^N V_i G_{ij}$ in $\mathcal{O}(1)$ physical time via Ohm’s and Kirchhoff’s laws, PCM power-law resistance drift $G(t) = G_0(t/t_0)^{-\nu}$ with Analog Error-Correcting Codes (A-ECC recovery $\ge 95%$), Prohibition 2NonlinearSummaryover stochastic crossbar loss ($\Delta_J > 0.15$), Ferran Alia’s “Analog Wall” threshold cliff across $\sigma \in [0.0, 0.8]$ (standard digital accuracy collapsing to $35.0%$ at $\sigma = 0.60$ vs. Noise-Aware Training (NAT) preserving $63.5%$), and Sun Zhong et al.’s (Peking University, Nature Electronics Oct 2025)HP-INVsolver combining closed-loop 3-bit $\mathrm{TaO}x$ RRAM Low-Precision Inversion (LP-INV, $C{\mathrm{LP}} = \tilde{A}{\text{3bit}}^{-1}$) with bit-sliced 24-bitHP-MVMiterative refinement ($r^{(k)} = b - A x^{(k)}, \Delta x^{(k)} = C{\mathrm{LP}} r^{(k)}$) to solve a $16\times 16$ Massive MIMO matrix equation to $< 10^{-7}$ relative error ($8.70 \times 10^{-12}$ in $7 \le 10$ iterations, 24-bit / FP32 equivalence at $100\times$ energy efficiency). - Axis 4 (Wave-Interference Learning: Gibram Raul’s Phase-Amplitude Encoding,
SIREN, and Stanford Wave-Physics Analog RNN —WaveInterferenceLearningAudit): Formalizes Gibram Raul’s wave-superposition paradigm (encoding signals via phase $\phi$, amplitude $A$, and frequency $\omega$ instead of pixel-by-pixel grids) alongside Vincent Sitzmann et al.‘s (NeurIPS 2020)SIREN($\phi_i(x_i) = \sin(\omega_0 W_i x_i + b_i)$), achieving $40\times$ compression over dense pixel grids and machine-precision 2nd-order Helmholtz PDE Laplacian fidelity ($\mathrm{MSE}{\mathrm{SIREN}}(\nabla^2 u) = 1.3 \times 10^{-27}$ vs. piecewise-linear ReLU failure $\mathrm{MSE}{\mathrm{ReLU}}(\nabla^2 u) = 2580.3$ where $\mathrm{ReLU}’’(x) = 0$ a.e.); and simulates Tyler Hughes, Ian Williamson, Momchil Minkov & Shanhui Fan’s (Stanford, Science Advances 2019) Wave-Physics Analog RNN ($\partial_t^2 u + \gamma \partial_t u = c^2(x, u)\partial_x^2 u + f(x, t)$ with recurrent state $h_t = [u(x,t), u(x,t-\Delta t)]$ and optical/acoustic Kerr nonlinearity $c(x,u) = c_0(x)/\sqrt{1 + \chi u^2}$), routing wave energy by constructive interference to passive detector probes ($99.9%$ probe selectivity). - Axis 5 (The 20-Watt Brain Sensory Funnel via DPI & Post-Digital Ecosystem —
SensoryDpiOrganoidHybridAudit): Audits biological sensory compression ($1.6\times 10^9\text{ bit/s}$ retinal cones $X \to 1.0\times 10^7\text{ bit/s}$ retinal ganglion cells $Y \to 10\text{ bit/s}$ conscious motor-decision stream $Z$) via Lens 1DpiMarkovChain($I(W; Z) \le I(W; Y) \le I(W; X)$ across a $1.6\times 10^8 : 1$ bandwidth reduction while retaining $56.4%$ of survival-critical mutual information at $20\text{ W}$), and contrasts commercial organoid wetware (Cortical Labs CL1 / FinalSpark, requiring $850\text{–}1000\text{ W}$ rack life-support overhead and $\le 200\text{ days}$ longevity) against hybrid analog-digital and diffractive photonic coprocessors (PKU 40nm RRAM $7\text{ W}$, EnChargeEN100$24.2\text{ TOPS/W}$ at $8.25\text{ W}$, Mythic $120\text{ TOPS/W}$, TsinghuaTaichi$160\text{ TOPS/W}$ &ACCEL$74\text{,}800\text{ TOPS/W}$), enforced in GateG8and--defect analog_wall.
- Axis 1 (von Neumann Bottleneck & Recursive Model Collapse —
- Formalizes the 5-axis physical-computational synthesis (
- Critical Theory of Stochastic Rationality, Algorithmic Governmentality, and Material Collapse/Overcoming (
stochology_lenses::critical):- Formalizes the 4-axis synthesis (
CriticalStochasticRationalitySynthesis, plus multi-dataset empirical couplerEmpiricalCriticalRationalityAudit):- Axis 1 (Adorno & Horkheimer’s Liquidation of the Non-Identical & Eternalization of the Historical Present —
AdornoNonIdenticalReificationAudit): Quantifies how positivist forced-identity Gaussian reduction ($\pm 2\sigma$ outlier amputation) liquidates singular heavy-tailed events ($\Delta_{\text{Nichtidentische}} = +34.8$, erasing $75.7%$ of $\mathrm{ES}{0.99}$ in canonical simulation and $69.3%$ on realdanish_fire.csv) and how passive historical projection reifies the status quo ($\mathrm{PR}(\theta{\mathrm{PS}}) - \mathrm{PR}(\theta_{\mathrm{PO}}) = +0.059$), whereas the Stochology Protocol preserves the non-identical via Prohibition 2 (NonlinearSummary), Lens 3 ($\mathrm{ES}_{0.99}$), and Anchored Kennedy-O’Hagan Structural Discrepancy ($\delta(x) \sim \mathcal{GP}$). - Axis 2 (Marcuse’s Operational Language Closure, Rouvroy & Berns’s Algorithmic Preemption, and “Stochastic Parrots” —
MarcuseRouvroyStochasticParrotAudit): Demonstrates that an ungrounded autoregressive next-token predictor ($P(w_t \mid w_{1:t-1})$) achieves deceptive surface fluency on passive stationary correlations ($\mathrm{MSE}{e_0} = 0.012$) while suffering catastrophic counterfactual breakdown under causal/normative interventions ($\mathrm{MSE}{\mathrm{do}(X)} = 19.13$ vs. $0.012$ for the causal-grounded agent anchored to $\hat{S}^* = [0]$ with NILE invariance penalty ratio $34\text{,}311.3\times$ in simulation and $96.8\times$ onatlantic_storms.csv), and proves that preemptive correlational profiling under unequal historical base rates forces an algebraic Chouldechova FPR disparity ($\mathrm{FPR}_A / \mathrm{FPR}_B = 4.76\times$ canonical, $5.13\times$ ontoronto_arrests.csv), blocked byAuthenticModelForm($\delta(x) + \hat{S}^*$ + named discarded atoms). - Axis 3 (Material, Informational & Thermodynamic Collapse Triad —
MaterialCollapseTriadAudit): Audits (A) Informational Autophagy (Epoch AI’s $300\text{ trillion}$ effective human token stock exhausted in 2026–2032, raw upper bound $3\text{,}100\text{T}$, and recursive synthetic “AI contaminating AI” modal collapse $\sigma_G^2 / \sigma_0^2 = 0.001$, entropy loss $\Delta H = 1.20\text{ nats}$, $D_{\mathrm{KL}} = 1.20\text{ nats}$); (B) Binary Digital Abstraction & Thermodynamic Strangling ($\Delta I_{\text{bin}} = 2.079\text{ nats}$ continuous-to-binary amputation, $711.11\times$ DRAM-to-FP32 energy asymmetry, $700\text{ W} / 1\text{,}100\text{ W}$ H100 vs. $20\text{ W}$ brain, and IEA’s $945\text{ TWh}$ data-center trajectory by 2030); and (C) Ferran Alia’s (July 2026) Stochastic “Analog Wall” Threshold Cliff ($[98%, 83%, 64%, 39%, 25%]$ across $\sigma \in {0.1, 0.2, 0.4, 0.6, 0.8}$ and $32$-layer deep LLM noise compounding $\sigma_{\text{eff}} = 0.849$). - Axis 4 (Dialectical Overcoming: Neurosymbolic Logic, Noise Coexistence & Continuous Wave Physics —
DialecticalOvercomingSynthesisAudit): Proves that coupling Neurosymbolic Rule Satisfaction ($25% \to 100%$ logical constraint satisfaction, preserving $\sigma_G^2 / \sigma_0^2 = 0.95$), Noise Coexistence (NAT$63.5%$ at $\sigma = 0.60$,A-ECC$97.5%$, and Peking University’s $40\text{ nm}$ RRAM 24-bitHP-INVerror $8.70 \times 10^{-12} < 10^{-7}$ at $7\text{ W}$), and Continuous Wave-Interference Physics (Gibram Raul’s phase-amplitude model,SIREN$40\times$ compression and Helmholtz Laplacian $\mathrm{MSE} = 1.3\times 10^{-27}$ vs. ReLU $2\text{,}580.3$, Stanford Wave-RNN $99.9%$ selectivity, and Tsinghua photonicACCEL$74\text{,}800\text{ TOPS/W}$) overcomes both positivist tautology and the thermodynamic wall, enforced in GateG8and--defect instrumental_reason.
- Axis 1 (Adorno & Horkheimer’s Liquidation of the Non-Identical & Eternalization of the Historical Present —
- Formalizes the 4-axis synthesis (
- Stochary-Conjectural Synthesis, the Four Ontological Axioms of the Stock, Sequential Decision Meta-Classes, Active Inference, Wasserstein DRO / $\beta$-CVaR, Viable System Model (VSM), and the Telic-Scopic Audit Protocol (
PATE) (stochology_lenses::stocks):- Formalizes the 4-axis synthesis uniting the Stochastic-Conjectural lineage ($\sigma\tau\omicron\chi\alpha\sigma\mu\acute{o}\varsigma$ / technai stochastikai / Bernoulli Ars Conjectandi 1713) and the Stochary-Accumulative lineage (stocks, buffers, and strategic asset stock accumulation) (
StocharyConjecturalCyberneticSynthesis,StocharyStressTestNotebook, and 5-dataset real couplerEmpiricalStocharyCyberneticAudit):- Axis 1 (150-Node Topology [Acyclic Tree $\to$ Recursive Cybernetic Graph] & the Four Ontological Axioms of the Stock —
TopologyAndFourStockAxiomsAudit): Audits the exact 150-node acyclic conceptual tree ($1\text{ Root} + 11\text{ L1} + 32\text{ L2} + 106\text{ L3}$, $H_{L1} = 3.4242\text{ bits}, J_{L1} = 0.9898$, $H_{L2} = 4.9142\text{ bits}, J_{L2} = 0.9828$) vs. the rebalanced Recursive Cybernetic Graph ($0$ orphan single-leaf branches, $6$ active cybernetic feedback loops), and proves the Four Ontological Axioms of the Stock: (1) Low-Pass Filter & Anti-Bullwhip ($S(t) = S_0 + \int_0^t [\mathrm{In}(\tau) - \mathrm{Out}(\tau)],d\tau$, variance ratio $< 0.30$ vs. unbuffered Lee-Padmanabhan-Whang Bullwhip amplification $> 2.0\times$); (2) Survival Time Purchase & Peters (2019) Non-Ergodicity ($+50% / -40%$ coin toss: $\mathbb{E}[\Delta X/X] = +5.00%$ vs. $g_{\text{tempo}} = \sqrt{0.90} - 1 \approx -5.132%$, 100-step unbuffered ruin $100 \times 0.90^{50} \approx 0.52$ vs. Kelly-buffered positive ergodic growth $+0.62%$); (3) Convexity Reserve & Asymmetric Optionality (Taleb & Douady 2013 discrete tail vega $\Omega > +5.0$ vs. concave Just-in-Time $<-10.0$); and (4) Statefulness & Irreversibility ($dS_t = \mu(S_t, X^\pi(S_t)),dt + \sigma(S_t),dW_t$, lag-1 autocorrelation $> 0.80$). - Axis 2 (Epistemic & Conjectural Engine: Powell’s 4 Policy Meta-Classes, Friston’s Active Inference $G(\pi)$, and Pearl’s
do-Calculus—PowellFristonCausalEngineAudit): Benchmarks Warren Powell’s 4 universal policy meta-classes (PFA,CFA,VFA,Det-DLA/Stoch-DLA+ hybrids) across 5 storage regimes, verifies Karl Friston’s Variational Free Energy ($F$) reduction and Expected Free Energy $G(\pi, \tau) = \text{NegNovelty} + D_{\mathrm{KL}}[Q(o_\tau\mid \pi)\parallel P(o_\tau)] - I[o_\tau; s_\tau \mid \pi]$ phase transition from Epistemic Exploration under high ambiguity to Pragmatic Exploitation under resolved state uncertainty, and executes Judea Pearl’sdo-CalculusFront-Door causal identification ($\hat{\tau}_{\mathrm{FD}} \approx +2.80$ vs. confounded Rung-1 OLS $+1.23$), Counterfactual Mediation ($\mathrm{CDE}/\mathrm{NDE}$), and Transportability ($\Pi \to \Pi^*$). - Axis 3 (Strategic Stock Plant, Supply-Chain Physics & Resilience: Dierickx & Cool, Scarf $K$-Convexity, Simchi-Levi $\mathrm{TTS}/\mathrm{TTR}/\mathrm{REI}$, Rockafellar-Uryasev $\beta$-CVaR, Esfahani-Kuhn WDRO, and
SupplyChainPhysicsAudit—StrategicStockPlantResilienceAudit): Audits Dierickx & Cool’s (1989) 5 laws of non-tradeable asset stock accumulation (time compression diseconomy ratio $1.74\times$, interconnected mass efficiency vs. erosion), Herbert Scarf’s (1960) $K$-convexity optimality of $(S_n, s_n)$ policies ($0.0$ grid violation), David Simchi-Levi’s (2014/2015) $\mathrm{TTS}/\mathrm{TTR} \ge 1.15$ and $\mathrm{REI}$ reduction ($> 80%$) via Pepsi/Nokia/Toyota flexibility levers, Rockafellar & Uryasev’s (2000) convex $\beta$-CVaR optimization, Esfahani & Kuhn’s (2018) Wasserstein DRO ($\mathrm{WDRO}$) neutralizing the Optimizer’s Curse out-of-sample disappointment, Angelopoulos & Bates’s (2023) Split-Conformal safety stock coverage ($\ge 0.90$), and classical/modern Supply-Chain Physics (SupplyChainPhysicsAudit) (Kingman’s VUT utilization cliff $1.84\text{ h}$ vs. $26.5\text{ h}$ & Little’s Law, Sterman’s Supply-Line $SL_t$ oscillation damping $0.02$ & Lee-Padmanabhan-Whang Bullwhip floor $5.0\times$, Clark-Scarf echelon stock & Graves-Willems GSM strategic decoupling point optimization $-55.1%$, Eppen’s Square-Root Law & tail-correlation surge $3.71\times$, Allon-Van Mieghem’s Tailored Base-Surge dual sourcing $-8.4%$, and Ivanov’s Ripple Effect / Viable Supply Chain $96.0%$). - Axis 4 (Cybernetic VSM Governance, Kahneman Judgment Noise Audit, PATE Matrix & 5-Step Notebook —
CyberneticVsmAndPateGovernanceAudit): Formalizes Ashby’s Law of Requisite Variety ($V_O \ge V_D - V_R$), Conant & Ashby’s (1970) Good Regulator Theorem ($R^2 \ge 0.95$), Stafford Beer’s Viable System Model (VSMS1–S5, Triple Capacity VectorPerformance = Productivity * Latency, independent audit channelS3*, and Algedonic Channel enforcing “not measured, not executed” for autonomous AI agents), Kahneman, Sibony & Sunstein’s (2021) Human Judgment Noise hygiene, the 4-Quadrant Telic-Scopic Audit Protocol (PATE) separating internal Telos ($\mathrm{REL}{\mathrm{CORP}} - \mathrm{RES}{\mathrm{CORP}}$, noise hygiene, $\mathrm{TTS} \ge \mathrm{TTR}$) from exogenous Skopos ($\mathrm{UNC}_0$), and the executable 5-Step Stochary Stress-Test Notebook (StocharyStressTestNotebook), enforced in GateG8and--defect stochary_cybernetics.
- Axis 1 (150-Node Topology [Acyclic Tree $\to$ Recursive Cybernetic Graph] & the Four Ontological Axioms of the Stock —
- Formalizes the 4-axis synthesis uniting the Stochastic-Conjectural lineage ($\sigma\tau\omicron\chi\alpha\sigma\mu\acute{o}\varsigma$ / technai stochastikai / Bernoulli Ars Conjectandi 1713) and the Stochary-Accumulative lineage (stocks, buffers, and strategic asset stock accumulation) (
2. Structured Communication Contract, Prohibitions, and Boundary Invariants
2.1. The Four Prohibitions
- Prohibition 1: Ban on unstructured free prose between modules/agents; all claims transit via
EpistemologicalCard(cards/*.yaml). - Prohibition 2: Ban on the lone mean under nonlinearity or heavy tails; mandatory reporting of $f(\mathbb{E}[X]), \mathbb{E}[f(X)], \Delta_J, \text{median}, q_{05}, q_{95}, \mathrm{CRPS}$.
- Prohibition 3: Ban on confusing predictive fit with causal/performative validity; mandatory audit of $\theta_{\mathrm{PS}}$ vs. $\theta_{\mathrm{PO}}$ and $\frac{\varepsilon\beta}{\gamma} < 1$.
- Prohibition 4: Ban on dogmatic extremes ($0%$ or $100%$, Cromwell’s Rule $p \in [\varepsilon_{\text{floor}}, 1 - \varepsilon_{\text{floor}}]$) and omitted attempts ($K \ge 1$, e-process $E_t$, and CORP-Murphy decomposition).
2.2. The Five Boundary Invariants ($\Phi_1$ to $\Phi_5$)
- $\Phi_1$ (Simulability): Fixed seed (
seed = 2026,SplitMix64with uniform, normal, exponential, Marsaglia-Tsang Gamma, Beta, Student-$t$, and Poisson samplers, Welford-Terriberry 4th-orderOnlineMoments, and block bootstrapblock_bootstrap_ci) and executable generative null model. - $\Phi_2$ (Independent Unit & Exceedance Design Effect): Moulton-Campbell unequal-cluster correction $\tilde{m} = \bar{m}(1 + \mathrm{CV}^2(m_j))$, threshold exceedance ICC $\rho_I(p)$, $n_{\mathrm{eff}}(p) = \frac{n}{1 + (\tilde{m} - 1)\rho_I(p)}$, and multi-quantile exceedance profiles (
ExceedanceDesignEffect::profile_across_quantiles). - $\Phi_3$ (Severe Test & Missingness): Rubin classification (
MCAR,MAR,MNAR), SHA-256 and RFC 2104HMAC-SHA256pre-registration seal, and Pearl’s Ladder rung. - $\Phi_4$ (Scope, Fairness & Exit): Chouldechova’s binary algebraic impossibility identity $\mathrm{FPR}_g = \frac{p_g}{1-p_g}\frac{1-\mathrm{PPV}_g}{\mathrm{PPV}_g}(1-\mathrm{FNR}_g)$, Kleinberg-Mullainathan-Raghavan (KMR 2017) continuous score impossibility gap $\mathrm{Var}_g(S) = p_g(1 - p_g)(m_{g,+} - m_{g,-})$ (
ChouldechovaAudit::kmr_continuous_impossibility_gap), scope statement, and numeric exit clause. - $\Phi_5$ (Question Resolution): Ban on answering daily/shift operational decisions with coarse annual/monthly aggregates.
2.3. Epistemological Card Schema (EpistemologicalCard)
Every claim is serialized in YAML (cards/*.yaml) and validated by EpistemologicalCard::audit(), carrying top-level scalars (id, layer, uncertainty) and five structured sections:
decision_maker_question:who_decides,altered_action, andquestion(ending in'?').epistemological_header:generating_process,nonlinearity($f(\mathbb{E}[X]), \mathbb{E}[f(X)], \Delta_J, \text{median}, q_{05}, q_{95}, \mathrm{CRPS}$),unit_and_margin(independent_unit,nominal_sample_size_n,weighted_cluster_mean_m_tilde,threshold_exceedance_icc,effective_sample_size_n_eff,unit_margin_of_error),noise_physics(stochastic_regime,absorbing_states,bridge_L3_L1_performativity), andcausal_ladder(pearl_rung,identification_strategy,untestable_assumption).uncertainty_budget_and_authorship:variance_budget(inputs,parameters,covariance,structural_discrepancy_gp),dominant_event(description,probability_p,base_rate_floor_epsilon,cost_share),info_gap_robustness(critical_requirement_rc,robustness_horizon_alpha_hat,opportuneness_horizon_beta_hat,global_maximin_safeguard), andfield_authorship(null_model,decision_rule,adversarial_reviewer).data_and_audit_contract:dataset_path,dataset_sha256(64-char SHA-256 verified againstdata/SHA256SUMS),missingness_mechanism,seed_and_environment,null_model,preregistration_hash(64-char SHA-256 over pre-analysis design payload),attempt_counter_K,e_process_multiplicity,murphy_corp_decomposition(total_score_brier_or_crps,miscalibration_REL_MCB,resolution_RES_DSC,base_uncertainty_UNC0), andfindings(registered,used,unused).decision_rule_and_scope:event_probability_p,base_rate_floor_epsilon,protection_cost_C,event_loss_L,mitigation_efficacy_eta,critical_threshold_p_star,declared_act,scope_statement,who_pays_for_error(Chouldechova audit), andexit_clause.
3. Eliminatory Funnel and 8-Step SIGA Operational Roadmap
3.1. The 4 Eliminatory Filters (stochology_siga::funnel)
Evaluated in strict sequence with immediate short-circuiting on failure:
- Filter 1 (Economic & Resolution): Requires $\mathrm{EVPI} > C_{\text{total}} \ge 0$, non-degenerate $p^\ast = \frac{C}{\eta L} \in (0, 1)$, and $\Phi_5$ temporal resolution alignment ($R_{\text{data}} \ge R_{\text{decision}}$).
- Filter 2 (Cluster Independence & Causal Structure): Requires Moulton-Campbell tail-exceedance effective sample size $n_{\mathrm{eff}}(p) \ge n_{\min}$, mapped Markov Blanket, and zero conditioning on a Berkson collider.
- Filter 3 (Simulation-Based Calibration & Elicitation): Requires Simulation-Based Calibration (SBC) rank uniformity ($\chi^2 \le \chi^2_{\text{crit}}$), SHELF quartile consistency ($L_{\text{phys}} < q_{25} < q_{50} < q_{75} < U_{\text{phys}}$), and parametric $\mathrm{Beta}(\hat{\alpha}, \hat{\beta})$ prior calibration via Lanczos log-Gamma and Lentz continued-fraction regularized incomplete Beta (
fit_shelf_beta_prior). - Filter 4 (Pre-Registration, Cross-Authorship & Exit): Requires valid 64-character lowercase SHA-256 pre-registration hash, distinct modeler and verifier IDs, and an explicit numeric exit clause.
3.2. The 8-Step SIGA Roadmap, Evidence Processes, and Natural Frequencies (stochology_siga::roadmap)
- 8-Step SIGA Execution: Executes Survey the Layer & Bridge (Steps 1–2), Interrogate the Decision-Maker (Steps 3–4), Generate the Null & Noise Physics (Steps 5–6), and Act with Threshold, Memory & Exit (Steps 7–8).
- Anytime-Valid Evidence Process (e-process): Computes $E_t = \prod_{i=1}^t L_i$ as well as non-parametric predictable GRAPA Kelly betting martingales $E_t = \prod_{i=1}^t \bigl(1 + \lambda_i(X_i - \mu_0)\bigr)$ (
EvidenceProcess::from_grapa_betting, Grünwald, de Heide & Koolen 2024; Waudby-Smith & Ramdas 2024) with optional Ville’s inequality threshold $E_t / K \ge 1 / \alpha$. - Gigerenzer Natural Frequencies: Translates prevalence, sensitivity, and false-positive rate into integer natural trees ($N = 1000$ or $10000$) to eliminate base-rate neglect.
4. Bitemporal Production Governance, Vault, and Drift Adaptation
4.1. Bitemporal Clock, Synthetic Canary, and Single-Opening Vault (stochology_governance::{clock, vault})
- Bitemporal Asymmetry ($t_{\text{disp}} \ge t_{\text{ev}}$): Filters feature records strictly by system availability timestamp $t_{\text{disp}} \le \tau$ rather than event timestamp $t_{\text{ev}}$, and injects a high-cardinality synthetic canary column ($I(\text{Canary}; Y) = 0$) whose non-zero importance triggers an immediate look-ahead intrusion alarm.
- Single-Opening Temporal Vault (
TemporalVault): Enforces a cryptographic SHA-256 pre-registration seal (re-verified at opening time withVaultError::SealTamperedon payload mutation) and an immutable single-opening lock (opened_count: 0 -> 1). Any non-positive confirmation outcome automatically downgrades the study toExploratoryHypothesisGenerating, and any second opening attempt is blocked.
4.2. Murphy-CORP Circuit Breaker, Covariate Drift (ExTRA-WCP-T), Online ACI, and Label Shift (stochology_governance::drift)
- Murphy-CORP Circuit Breaker: Separates pure Covariate/Target Shift ($\Delta\mathrm{REL}_{\mathrm{CORP}} > \tau_{\mathrm{REL}}, \Delta\mathrm{RES}_{\mathrm{CORP}} \approx 0$) from Concept Drift ($\Delta\mathrm{RES}_{\mathrm{CORP}} < -\tau_{\mathrm{RES}}$), halting automated predictions under concept breakdown.
- Covariate Drift Adaptation (
ExTRA-WCP-T) & Online Adaptive Conformal Inference (AdaptiveConformalInference): Fits exponential tilt density ratios $\hat{w}(x) = \exp(\hat{\theta}^\top \phi(x) - \hat{\psi})$ for weighted conformal intervals with Lei & Candès coverage lower bound $1 - \alpha - d_{\mathrm{TV}}(P_X, Q_X)$, and adapts threshold quantiles online under non-exchangeable time series via Gibbs & Candès (2021) $\alpha_{t+1} = \alpha_t + \gamma(\alpha - \mathrm{err}_t)$. - Label Shift Adaptation (4 Canonical Estimators): Simultaneously estimates target class priors $q_Y$ via BBSE ($q = C^{-1}\mu$), MLLS/SLD (EM fixed point), DFM (characteristic-function kernel matching with condition number $\kappa(M)$), and OTTER (Sinkhorn-Knopp optimal transport scaling with golden-section sub-grid refinement).
5. Module 7 & Lab 7 (labs --real-data): Transversal Real-Data Synthesis Across All 13 Empirical Datasets and 3 Canonical Cards
Module 7 (cargo run --release --bin labs -- --real-data) consolidates end-to-end empirical verification across all 13 real datasets (data/*.csv) and 3 canonical Epistemological Cards (cards/*.yaml):
Real Dataset (data/*.csv) | Empirical Domain & Sample ($n$) | Audited Bridge / Lens / Invariant | Applied Equation / Mechanism | Audited Empirical Benchmark (labs --real-data) |
|---|---|---|---|---|
nsw_experimental.csv vs. cps_observational.csv | LaLonde job training program: Experimental (NSW, $n=445$) vs. Observational (CPS, $n=15\text{,}992$) | Bridge $L_1 \to L_2$ & Invariant $\Phi_3$ (MengAudit, ManskiBounds — Lab 1, Lab 4, Lab 7) | Meng’s Identity $\bar{Y}_n - \bar{Y}_N = \rho_{R,Y} \sqrt{\frac{N-n}{n}} \sigma_Y$, Manski MNAR bounds, & Lee (2009) trimming bounds | Selection correlation $\rho_{R,Y} = +0.1334$ reduces $n = 15\text{,}992$ to $n_{\mathrm{eff}} = 2842.70$; Manski bounds $[5463.2,\ 13835.3]$; Lee bounds $[838.7,\ 2007.2]$ |
bank_calls.csv ($\to$ card_02) | North American retail bank call-center 5-min arrival windows ($n = 27\text{,}716$, $164$ days) | Bridge $L_2 \to L_3$ (Prohibition 2) & Invariants $\Phi_2, \Phi_5$ (NonlinearSummary, ExceedanceDesignEffect — Lab 1, Lab 4, Lab 5, Lab 7) | Jensen’s Gap $\Delta_J = \mathbb{E}[f(X)] - f(\mathbb{E}[X])$, $\mathrm{CRPS}$, and Moulton-Campbell $n_{\mathrm{eff}}(p) = \frac{n}{1 + (\tilde{m}-1)\rho_I(p)}$ | $\Delta_J = +9.03 \times 10^6$, $\mathrm{OOS_CRPS} = 9.06 \times 10^7$; at $p=0.90$, $\mathrm{DEFF} = 28.26 \implies n_{\mathrm{eff}}(0.90) = 980.7$; card_02 act protect ($p = 0.09911 > p^{\ast} = 0.08000$) |
djia_1885_2023.csv | Daily historical closes of the Dow Jones Industrial Average ($37\text{,}930$ trading days, 1885–2023) | Lens 2 — Time & Bridge $L_3 \to L_1$ (TimeKellyDiagnostic, PerformativeSystem — Lab 1, Lab 3, Lab 7) | Itô variance drain $g_{\text{time}} = \mu - \frac{1}{2}\sigma^2$, asymmetric & empirical Kelly $f^{\ast}_{\mathrm{emp}}$, and Stackelberg $\theta_{\mathrm{PO}}$ via PerfGD | $g_{\text{time}} = 0.0468 < g_{\text{ensemble}} = 0.0612$ (drain $= 0.0145$); $f^{\ast}_{\mathrm{emp}} = 2.08 < f_{\mathrm{Merton}} = 2.12$; $\theta_{\mathrm{PS}} = 1.8750$ vs. $\theta_{\mathrm{PO}} = 2.0313$ ($r_{\mathrm{RRM}} = 0.24 < 1$) |
danish_fire.csv & vic_elec.csv | Copenhagen Re fire claims ($n = 2167$) & Victoria half-hourly electricity demand ($n = 52\text{,}608$) | Lens 3 — Scale and Tail & Analog/Wave Computing (HillTailDiagnostic, dedh_moment_tail_index, gpd_pot_fit, EmpiricalWaveAnalogAudit — Lab 3, Lab 7, Gate G8) | Hill estimator $\hat{\alpha}_{k,n}$, DEdH moment index $\hat{\xi}_{\mathrm{DEdH}}$, GPD POT, $\mathrm{ES}_{0.99}$, SIREN phase-amplitude wave compression, & PKU 24-bit HP-INV | danish_fire.csv: $\hat{\alpha}_{\mathrm{Hill}} = 1.6009 \pm 0.1601$, $\hat{\xi}_{\mathrm{DEdH}} = 0.538$, $\hat{\xi}_{\mathrm{POT}} = 0.483$, $q_{99} = 26.04\text{M}$, $\mathrm{ES}_{0.99} = 58.59\text{M}$; vic_elec.csv: $q_{99} = 6981.5\text{ MW}$, wave compression $14\times$ ($R^2 = 0.88$, HP-INV err $= 4.39 \times 10^{-16}$) |
atlantic_storms.csv ($\to$ card_01) & toronto_arrests.csv | NOAA Atlantic storm tracks ($n = 20\text{,}778$) & Toronto police arrest records ($n = 5226$) | Lenses 4 & 5 (run_nonlinear_icp_nile, AuthenticModelForm, CorpPavDecomposition) & Invariant $\Phi_4$ (ChouldechovaAudit — Lab 3, Lab 4, Lab 5, Lab 7, Gate G8) | Nonlinear NILE/IRM over Hermite basis $\Phi$, Chow $F$, Cinelli-Hazlett $RV_q$, PAV $\mathrm{BS} = \mathrm{REL}_{\mathrm{CORP}} - \mathrm{RES}_{\mathrm{CORP}} + \mathrm{UNC}_0$, & Chouldechova/KMR | atlantic_storms.csv: $\hat{S}^{\ast} = [0]$ (ratio $= 0.0103$, $A = \text{true}$), card_01 85-kt $\mathrm{BS} = 0.03210$, Richardson $V(p^{\ast}) = 0.719$; toronto_arrests.csv: $\mathrm{FPR}_A / \mathrm{FPR}_B = 5.13\times$, KMR gap $= 0.0960$ |
nyc_flights_2013.csv ($\to$ card_03), nyc_flights_2023.csv, nyc_flights_2013_h1.csv, nyc_flights_2023_h1.csv, houston_flights_2011.csv | NYC flight operations (2013 vs. 2023 + H1 out-of-time reserves) & Houston out-of-domain flights (2011) | Governance, Temporal Vault & Drift (fit_covariate_drift_extra_wcp, AdaptiveConformalInference, TemporalVault, estimate_label_shift_four_methods — Lab 5, Lab 6, Lab 7) | Exponential tilt ExTRA-WCP-T, Lei & Candès bound $1 - \alpha - d_{\mathrm{TV}}(P_X, Q_X)$, Gibbs-Candès online ACI, SHA-256 vault, and 4 Label Shift estimators | card_03 ($n=138\text{,}375, n_{\mathrm{eff}}=1364$); Lei & Candès bounds: NYC $13 \to 23 \ge 0.802$, H1 OOT $13 \to 23 \ge 0.828$, NYC $\to$ Houston OOD $\ge 0.693$; Online ACI cov $= 0.891$; H1 Vault OpenedApproved ($\mathrm{BS} = 0.1783$) |
6. Architectural Mapping to Rust Crates
| Protocol Section | Concept / Equation | Rust Module & Symbol | Verification Command |
|---|---|---|---|
| §1.1 Bridge $L_1 \to L_2$ | Meng’s Identity ($\rho_{R,Y}$), Manski Stratified Bounds, Lee (2009) Trimming Bounds, and Empirical $W_1$ | stochology_core::layers::{MengAudit, ManskiBounds, empirical_wasserstein_1} | cargo run --release --bin labs -- --layers |
| §1.1 Bridge $L_2 \to L_3$ | Jensen’s Gap $\Delta_J$ and exact $O(n\log n)$ leave-one-out empirical $\mathrm{CRPS}$ | stochology_core::layers::{NonlinearSummary, exact_loo_empirical_crps} | cargo run --release --bin labs -- --layers |
| §1.1 Bridge $L_3 \to L_1$ | Performative Prediction ($\theta_{\mathrm{SL}}, \theta_{\mathrm{PS}}, \theta_{\mathrm{PO}}$), PerfGD, and RRM contraction | stochology_core::layers::PerformativeSystem | cargo run --release --bin labs -- --layers & gates -- --defect performativity |
| §1.2 Structural & Knightian | Cholesky Empirical Bayes Kennedy-O’Hagan GP $\delta(x)$ and Info-Gap + Sniedovich Safeguard | stochology_core::uncertainty::{KennedyOHaganDiscrepancy, InfoGapOption} | cargo run --release --bin labs -- --uncertainty & gates -- --defect sniedovich |
| §1.3 Lenses 1–5 | Blahut-Arimoto/SDPI/DPI/Fano, Itô/Kelly/Empirical Kelly/Mixing, Hill/DEdH/GPD-POT/$\mathrm{ES}_{0.99}$, Pearl/ICP/Chow-$F$/NILE/$\Lambda^\ast $/Cinelli-Hazlett-$RV_q$, Cost-Loss/EVPI/Richardson-$V(p^{\ast})$/LogScore/CORP-PAV | stochology_lenses::{information, time, tail, invariance, decision} | cargo run --release --bin labs -- --lenses |
| §1.3 Almost-Perfect Machine, Authentic Form, Relational, Analog/Wave, Critical Theory & Stochary Cybernetics | $M = (T, \Phi, \theta)$ (P1–P5), $\delta(x) + \hat{S}^\ast $, 6 identities, Brusselator RK4 + Schnakenberg $d_i S$, Schelling, Daisyworld RK4, AIMC Crossbar + NAT, PKU 24-bit HP-INV, SIREN Helmholtz PDE, Stanford Wave-RNN, 20W Brain Sensory DPI, Critical Stochastic Rationality, and Stochary-Conjectural Cybernetics (4 Stock Axioms, Powell/Friston/Pearl, Scarf/WDRO/CVaR, VSM/PATE) | stochology_lenses::{machine, relational, analog, critical, stocks} | cargo run --release --bin gates (G8), gates -- --defect machine, gates -- --defect analog_wall, gates -- --defect instrumental_reason & gates -- --defect stochary_cybernetics |
| §2.1–2.3 Contract | $\Phi_1$–$\Phi_5$, SplitMix64 (Gamma/Beta/$t$/Poisson), OnlineMoments, hmac_sha256_hex, Moulton-Campbell, Exceedance ICC Profile, Chouldechova/KMR, and EpistemologicalCard | stochology_core::{rng, sha256, invariants, card} & cards/*.yaml | cargo run --release --bin labs -- --invariants & cargo run --release --bin gates |
| §3.1–3.2 Funnel & SIGA | 4 Eliminatory Filters, Lentz Incomplete Beta & SHELF $\mathrm{Beta}(\hat{\alpha}, \hat{\beta})$ Fit, 8-Step SIGA Roadmap, GRAPA e-processes, and Natural Frequencies | stochology_siga::{funnel, roadmap} | cargo run --release --bin labs -- --siga |
| §4.1–4.2 Governance & Drift | Bitemporal Clock ($t_{\text{disp}}$), Canary, Single-Opening Vault (SealTampered), Murphy-CORP Breaker, ExTRA-WCP-T, Gibbs-Candès AdaptiveConformalInference, and Label Shift (BBSE, MLLS/SLD, DFM, OTTER) | stochology_governance::{clock, vault, drift} | cargo run --release --bin labs -- --governance & gates -- --defect clock |
| §5 Module 7 / Lab 7 | Transversal Real-Data Synthesis across all 13 data/*.csv datasets and 3 cards/*.yaml | stochology_cli::{load_*, evaluate_empirical_card_severe_test, verify_card_against_empirical_data} & labs --real-data | cargo run --release --bin labs -- --real-data |