Auditoitava johto vuoden 2025 variaatio-GME:n, Weyl-semimetrisyyden ja Bianchi-identiteetin kautta formallisoituun mutta edelleen avoimeen geometria–biologia-siltaan.
g_mu_nu = eta_mu_nu + kappa A_mu A_nu
eta = diag(-1,+1,+1,+1)
Tämä on Lindgrenin, Kovacsin ja Liukkosen (2025)i julkaistu lähtökohta, ei BERM:n johtama tulos.
A^2 = eta^(mu nu) A_mu A_nu
g^(mu nu) = eta^(mu nu) - kappa A^mu A^nu / (1 + kappa A^2)
det(g) = -(1 + kappa A^2)
sqrt(-det g) = sqrt(1 + kappa A^2)
Käänteismetriikka vaatii 1 + kappa A² ≠ 0. Reaalinen Lorentz-tilavuuselementti vaatii vahvemman ehdon 1 + kappa A² > 0. A² ei ole euklidinen itseisarvo, joten aika- ja avaruustyyppisiä potentiaaleja ei saa yhdistää samaan |A|-kaavaan ilman lisäreduktiota.
delta_g = kappa(A_bio⊗a + a⊗A_bio + a⊗a)
h = kappa(A_bio⊗a + a⊗A_bio) [first order]
D_u sqrt(-det g) = kappa (A·u) / sqrt(1 + kappa A^2)
L2 spatial/scalar choice: q = |A_bar| := sqrt(kappa)s
L1 algebraic formula: chi_geo(q) = q / sqrt(1 + q^2); evaluate chi_geo(|A_bar|) only after that L2 choice
Eksakti tensorilaajennus ja geodeesipoikkeaman suunnattu tilavuusvaste seuraavat ansatzista L1-tuloksina. Lorentzin geometriassa osoittaja säilyy allekirjoitettuna kontraktiona kappa A·u; sitä ei korvata itseisarvolla ennen eksplisiittistä reduktiota.
Positiivisen q=|A_bar|-koordinaatin valinta vaatii dimensiottoman, kollineaarisen Lorentz→Euklidisen spatiaaliprojektion ja on L2-askel. Suunnattu derivaatta evaluoi sen jälkeen aina L1:nä pysyvän kaavan muodossa chi_geo(|A_bar|). Kalvo- tai ambient-suureen normalisointi tähän koordinaattiin on vielä erillinen avoin L0→L2-silta.
S_EH[A] = integral sqrt(-det g(A)) R_LC[g(A)] d^4x
R_EH^mu := delta S_EH / delta A_mu
R_EH^mu = -2 kappa sqrt(-det g) G_LC^(mu nu) A_nu = 0
S_GME[g,nabla_hat] = integral <nabla_hat g, nabla_hat g>_g sqrt(|det g|) d^4x
Box_div T := nabla_hat_sigma(g^(sigma rho) nabla_hat_rho T)
content-bound full Euler-Lagrange attestation for the declared action scope = required
R_harm_mu_nu := Box_div g_mu_nu
R_eta_mu_nu := Box_div eta_mu_nu
R_outer_mu_nu := Box_div(kappa A_mu A_nu) = kappa R_GME_mu_nu
R_GME_mu_nu = A_nu Box_div A_mu + A_mu Box_div A_nu
+ g^(sigma rho)[(nabla_sigma A_nu)(nabla_rho A_mu)
+ (nabla_sigma A_mu)(nabla_rho A_nu)]]
R_decomp := R_harm - R_eta - R_outer = 0
R_harm = R_outer only under the separately checked condition R_eta=0
variational_check := bound full_EL attestation AND R_EH=0 AND R_harm=0
AND R_outer=0 AND R_eta=0 AND R_decomp=0
Einstein–Hilbert-vaikutus ja lähteen metric-gradient/GME-vaikutus ovat rinnakkaiset L0-premissit, eivät yksi toisesta johdettuja vaiheita. EH-residuaali lasketaan annetusta A:sta ja annetusta symmetrisestä Einstein-tensorista; tämä numeerinen API ei rekonstruoi Einstein-tensoria metriikan toisista derivaatoista. GME-haara käyttää lukittua Weyl-divergenssioperaattoria. Täyden variaation attestaatiot sidotaan koko numeerisen syötenipun SHA-256-tiivisteeseen, mutta ne ovat edelleen kutsujan todistusaineistoa eivätkä itsenäinen symbolinen johto. Harmonic-, tausta-, ulkotulo- ja hajotelmaresiduaalit pidetään erillään.
Merkintä Box_div tarkoittaa tässä lukittua operaattoria nabla_hat_sigma(g^(sigma rho)nabla_hat_rho); sitä ei pidä sekoittaa edellä käytettyyn metriikan perturbaatioon delta g_mu_nu.
Q_sigma_mu_nu := tilde_nabla_sigma g_mu_nu - 2 phi_sigma g_mu_nu
Weyl-semimetry contract: Q_sigma_mu_nu = 0
T^lambda_mu_nu := tilde_Gamma^lambda_mu_nu - tilde_Gamma^lambda_nu_mu = 0
tilde_Gamma^lambda_mu_nu = {lambda_mu_nu}_LC
- delta^lambda_mu phi_nu - delta^lambda_nu phi_mu
+ g_mu_nu phi^lambda
R_Weyl := supplied tilde_Gamma - reconstructed tilde_Gamma(g,phi) = 0
Weyl-semimetrisyys ei ole Bianchin seuraus vaan vuoden 2025 muotoilun erillinen geometrinen rakenne. Portti tarkistaa Q=0:n lisäksi torsion nollaksi ja vertaa annettua yhteyttä suoraan g:stä, sen Levi–Civita-yhteydestä ja phi:stä rekonstruoituun Weyl-yhteyteen. Näin väärä ei-symmetrinen yhteys ei voi läpäistä porttia pelkän Q=0:n avulla.
R_B^nu := nabla_mu^LC G_LC^(mu nu) = 0 [contracted Bianchi]
F_mu_nu := partial_mu A_nu - partial_nu A_mu (F = dA)
R_F_mu_nu := F_mu_nu - (partial_mu A_nu - partial_nu A_mu) = 0
R_dF_lambda_mu_nu := partial_lambda F_mu_nu
+ partial_mu F_nu_lambda + partial_nu F_lambda_mu
homogeneous contract: R_dF = dF = d(dA) = 0
for a torsion-free connection: equivalently nabla_[lambda F_mu_nu] = 0
contracted_bianchi_residual tarkistaa annetun LC-divergenssivektorin nollaehtoa; numeerinen API ei rakenna sitä metriikan toisista derivaatoista. F-definition-residuaali sitoo F:n samaan annettuun partial A:han, ja syklinen ulkoderivaatta tarkistaa annetun partial F:n dF=0:n. LC- ja partial-F-attestaatiot sidotaan täsmälleen samaan syötenipputiivisteeseen. Tämä on auditoitava ehdollinen input-sopimus, ei riippumaton differentiaaligeometrinen todistus. Mikään ehdoista ei yksin sisällä lähdevirtaa J.
∇^LC G_LC=0 sekä F=dA ⇒ dF=0 ovat eri residuaalisopimuksia ja käyttävät nimettyä yhteysprovenienssia. dF=0 sulkee vain homogeeniset Maxwell-yhtälöt; kumpikaan ei yksin tuota sähkövirtaa tai varaustiheyttä.
Vuoden 2025 lähteen Maxwell-raja tarvitsee lisäksi variaatioperiaatteen, R_GME=0-harmonisuusehdon, Q=0-Weyl-rakenteen sekä potentiaalia, Weylin yksi-muotoa ja lähdettä koskevat identifikaatiot. Se ei seuraa Bianchista yksin.
Bianchi branch: R_B=nabla^LC G_LC=0 AND R_F=F-dA=0 AND R_dF=0
required gate: variational_check AND weyl_check AND bianchi_check
sourced limit: delta S/delta A=0 + Q=0 + Bianchi + source identifications
invalid shortcut: Bianchi alone =/=> sourced Maxwell equation
Kolmeen AND-haaraan ryhmitellyt residuaalit ja attestaatiot tekevät lähteen muodollisen ketjun testattavaksi koodissa. Jokaisella residuaalilla on oma mittakaavansa, atol/rtol-raja ja provenienssi. Läpäisy ei osoita, että geometrinen suure kytkeytyy kudokseen, ionikanavaan tai muuhun biologiseen havaittavaan: tämä on edelleen avoin L2-silta.
L1 formula: chi_geo(q) = q / sqrt(1 + q^2)
L2 spatial/scalar coordinate choice: q = |A_bar|
L0→L2 biological candidate: delta_V_VGCC = C_bridge chi_geo(q) Delta_V_mem(f)
observable: O_r = integral K_r^(mu nu) delta_g_mu_nu dV
Algebrallisen chi_geo-kaavan L1-status säilyy myös tässä: empiirinen käyttö ei muuta johdetun tuloksen tasoa. Spatiaalinen itseisarvoprojektio q=|A_bar| on L2-valinta, ja biologinen identifikaatio on erillinen avoin L0→L2-silta. C_bridge/K_r, yksiköt, mittavapaus, kudossiirto, kanavan rakenne ja aktivaatiokynnys eivät seuraa metriikan determinantista eivätkä kolmesta yllä olevasta residuaalisopimuksesta.
candidate mixed-provenance product (NOT L1 as a whole): w_L(f) = SAR_norm(f) × VGCC_coupling(f) × MOD_envelope(f)
L1 components: SAR form/normalization; Schwan DeltaV=1.5 r E g(f); algebraic product/sum identities
OPEN L2: field/geometry -> tissue and channel observable identification
L3 inputs: numerical tissue dielectric/material parameters for SAR; numerical tau_m for Schwan; VGCC_coupling(f), MOD_envelope(f), fitted endpoint weights
supplied E, r and evaluation f remain variables of the L1 forms; the formulas do not relabel them as L3
L3 DKC: BL(t) = alpha(k_B*FS)(t) + (1-alpha)(k_R*FS)(t)
L3 pathways: VGCC / tissue-response mechanisms
L3 Hill endpoint: Delta Health = -gamma BL^n / (x_half^n + BL^n)
Koko w_L-tuote ei ole L1-johdettu. SAR-muoto ja -normalisointi ovat L1; vain kudoksen dielektristen/materiaaliparametrien numeeriset arvot ovat L3, eikä annettua E:tä luokitella uudelleen. Schwanin ΔV=1,5rE g(f) on L1; vain τ_m:n numeerinen arvo on L3, eikä r:n, E:n tai f:n esiintyminen muuta kaavan tasoa. Yhdistäminen kudos- tai kanavahavaittavaan on avoin L2; VGCC-kytkentä, modulaatioverho, sovitetut painot ja DKC-biologia ovat L3:a.
chi(0)=0; delta F_ion=C_bridge chi(0) DeltaV_mem=0
x=sqrt(kappa)s; chi(x)=x/sqrt(1+x^2)=kappa^(-1/2)dV/ds approaches 1
D_u sqrt(-det g)=kappa(A·u)/sqrt(1+kappa A^2); on the L2 spatial slice delta F_ion is proportional to cos(theta)
SAR=sigma|E_internal|^2/rho; f_res=c/(4L)=44.1 MHz for L=1.7 m, acceptance band +/-20%
Delta V=1.5 r E/sqrt(1+(2 pi f tau_m)^2)