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
The Einstein–Hilbert action and the source's metric-gradient/GME action are parallel L0 premises, not stages derived from one another. The EH residual is computed from the supplied A and supplied symmetric Einstein tensor; this numerical API does not reconstruct the Einstein tensor from second metric derivatives. The GME branch uses the locked Weyl divergence operator. Full-variation attestations are bound to the SHA-256 digest of the complete numerical input bundle, but remain caller evidence rather than an independent symbolic derivation. Harmonic, background, outer-product and decomposition residuals remain separate.
Here Box_div denotes the locked operator nabla_hat_sigma(g^(sigma rho)nabla_hat_rho); it must not be confused with the metric perturbation delta g_mu_nu used above.