L0 · LINDGREN 2025
PREMISEg_mu_nu = eta_mu_nu + kappa A_mu A_nu
Lindgren-DKC-ehdokasreitti, jossa on kaksi normalisoitua muistiydintä, rajattu Hill-vaste ja eksplisiittisesti avoin silta geometriasta havaittaviin suureisiin.
Julkaisuportti: ei release-authorized
Tämä reitti on ehdokasreitti, jota ei ole julkaisuvaltuutettu. Kriittisistä pisteistä V1–V10 on läpi 0/10 ja evidenssiprotokollan auditointi ei ole läpi. F1–F9 ovat lukittuja ehdokasennusteita, eivät valtuutetun release-artefaktin tuloksia. Sivusto buildataan tämän tilan näkyessä; portti sulkeutuu vasta arviointinipun myötä.
Sääntö: all(V1..V10 == PASS) AND protocolAudit.passed
g_mu_nu = eta_mu_nu + kappa A_mu A_nu
delta_g = kappa (A_bio⊗a_ext + a_ext⊗A_bio + a_ext⊗a_ext)
D_u sqrt(-det g) = kappa (A·u) / sqrt(1 + kappa A^2)
q = |A_bar| := sqrt(kappa)s [dimensionless spatial projection]
chi_geo(q) = q / sqrt(1 + q^2); directional derivative evaluates chi_geo(|A_bar|) after the L2 reduction
O_r = integral K_r^(mu nu) delta_g_mu_nu dV
Algebrallinen χ_geo(q)-muoto säilyttää L1-statuksensa. Positiivisen q=|Ā|-koordinaatin valinta Lorentz→Euklidisen spatiaalisen/skalaari-projektion kautta on L2-reduktio. Mitattu suure tai proxy z tarvitsee sen sijaan eksplisiittisen dimensiottoman normalisoinnin q=N(z); N:n valinta ja kalibrointi ovat avoin L0→L2-askel. Muut komponentit säilyttävät oman provenienssinsa.
T4 fast: k_B(s) = s^(n_B-1) exp(-s/tau_B) / (tau_B^n_B Gamma(n_B)), n_B in 2..6
annual T4 bins: K_B[l] proportional to CDF_Erlang(l+1) - CDF_Erlang(l)
slow: k_R(s) = exp(-s/tau_R) / tau_R
T3: v(a) = 5 (a<0), 4 (a<1), 3 (a<6), 2 (a<18), else 1
BL(t) = alpha integral k_B(s)x(t-s)ds + beta integral k_R(s)v(a)x(t-s)ds; beta = 1-alpha
sigma(BL) = BL^n / (x_half^n + BL^n)
Delta endpoint(t) = -gamma sigma(BL(t))
T4 käyttää normalisoitua Erlang-nopeaa ydintä (kokonaisluku n_B = 2–6) ja normalisoitua eksponentiaalista hidasta ydintä. Beta ei ole vapaa: beta = 1 − alpha ja tau_R > tau_B. T3 on eksplisiittinen kohorttiaikataulu v(a): 5 kun a<0, 4 kun 0≤a<1, 3 kun 1≤a<6, 2 kun 6≤a<18, muutoin 1.
Muuta ehdokkaina olevia aikavakioita ja vastemuotoa synteettistä vuosittaista teknologian käyttöönottokäyrää vasten. Kuvaaja on herkkyysnäkymä, ei empiirinen maasovite.
Mallin tila
ehdokaslaskenta / kansallinen teknologian ajoitusproksi / avoin L2 / lukittu F1–F9-falsifikaatiorekisteri
Rekisteröity DKC:n FieldState-kalibrointiputki on toteutettu ja tuottaa arvoja; reitti julkaisee myös lukitun F1–F9-rekisterin. Tämä Explorer-ajo käyttää tarkoituksella synteettistä ajoitusproksia, ei paikallista fysikaalista mittausta tai kalibroitua annosta.
Neljä vuosittaista käyrää näyttävät painotetun nopean haaran, painotetun hitaan haaran, niiden summan ja normalisoidun Hill-saturaation.
Esimerkkirakenne: vuoden 2013 keskikohdan sigmoidi jyrkkyydellä 0,5/vuosi kerrottuna jatkuvalla duty cycle -skenaariolla 0,33–1,00. Näyttöikkunaa edeltävä pidempi historia lasketaan keinotekoisen aloitusreunavaikutuksen välttämiseksi.
d(t,c)=0.33+0.67/(1+exp(-k_s(t-t_mid(c))))
Vaihe 2 · vapaita parametreja: 0
sigma(x)=x^n/(x_half^n+x^n)
Vaihe 3 · vapaita parametreja: 1
v(a)={5:a<0,4:0<=a<1,3:1<=a<6,2:6<=a<18,1:a>=18}
Vaihe 2 · vapaita parametreja: 0
k_B(s)=s^(n_B-1) exp(-s/tau_B)/(tau_B^n_B Gamma(n_B))
Vaihe 3 · vapaita parametreja: 1
w_fertility(f)=SAR_testicular(f) coupling(f) modulation(f)
Vaihe 2 · vapaita parametreja: 0
wifi(t)=w_wifi BB(t) D_wifi(t)
Vaihe 4 · vapaita parametreja: 0-1
personal_eff=P_tx_max(1-eta ambient_norm)
Vaihe 4 · vapaita parametreja: 1
P_ambient=P_max N/(N_half+N)
Vaihe 4 · vapaita parametreja: 1
H=-sum(p_f log2 p_f); multiplier=1+lambda_H H
Vaihe 4 · vapaita parametreja: 1
CV_seasonal=CV_0(1-duty_cycle)
Vaihe 2 · vapaita parametreja: 0
BL_syn=BL(1+epsilon_syn d_night chi_pineal)
Vaihe 2 · vapaita parametreja: 0
BL_final=BL_syn+epsilon_epi BL_parent_at_conception
Vaihe 4 · vapaita parametreja: 1
| Kerros | Nykytila | Sallittu tulkinta |
|---|---|---|
| Geometry | 2025 Weyl ansatz + exact tensor perturbation | Premise / derived algebra |
| L2 | OPEN | No geometry-to-observable claim |
| National series | World Bank mobile, broadband, urban | TECHNOLOGY_TIMING_PROXY |
| FieldState | calibration pipeline implemented and producing values; uncalibrated sensitivity inputs also supported | Calibration output, proxy class and execution capability kept separate |
| DKC parameters | tau_B, tau_R, alpha and Hill parameters carry L3 provenance | They do not relabel L1-derived components |
| Predictions | F1–F9 content-addressed and locked | LOCKED_FALSIFIABLE_FORECAST |