P.5 entry dossier

ndent evaluator (exact polynomial identity) & quartic.{}py :: export_{}identity & quartic_{}verified/{}acceptance_{}controls_{}deterministic/{}C4 = true & quartic_{}acceptance_{}all_{}deterministic
P4.A5 & C5/C6 ell_3 = XII-C, ell_2 = XI-A Fierz-Pauli modulo divergences (pinned XVI-N grav_density) & quartic.{}py :: regression_{}deterministic, xvin_{}symbolic & quartic_{}verified/{}acceptance_{}controls_{}deterministic/{}C5 = true

quartic_{}verified/{}acceptance_{}controls_{}deterministic/{}C6 = true & quartic_{}acceptance_{}all_{}deterministic
P4.A6 & C7 gravitational Noether identities on the exports, kappa\^{}0..kappa\^{}2 & grav_{}noether.{}py :: noether & quartic_{}verified/{}controls/{}C7_{}accepted_{}orders = all entries true & grav_{}noether_{}exact_{}and_{}mutation
P4.A7 & quartic mutations rejected; quartic flag & quartic.{}py :: main & quartic_{}verified/{}mutations_{}all_{}rejected = true

RELEASE_{}STATUS/{}classical/{}flags/{}quartic_{}generator_{}verified = true & e2e_{}corrupted_{}ell4_{}coefficient
5{@{}l}{P.4: transformations -{} source terms [frozen P.3/P.4 input]}
P4.B1 & ghost law derived from s\^{}2 = 0 (unique lambda = 1) & brst_{}from_{}geometry.{}py :: solve_{}ghost_{}law & brst_{}derivation/{}ghost_{}law_{}derivation/{}lam_{}solutions = ["1"] & brst_{}and_{}source_{}terms_{}derived
P4.B2 & s_2 derived zero in every sector; s nilpotent at all orders & brst_{}from_{}geometry.{}py :: per_{}sector_{}expansion, nilpotency & brst_{}derivation/{}s2_{}per_{}sector = {"h": "derived_{}zer.{}.{}.{}

brst_{}derivation/{}nilpotency_{}exact_{}all_{}orders = true & brst_{}and_{}source_{}terms_{}derived
P4.B3 & sigma_A derived from the generator rule (unique); antifield-linear, no kappa\^{}2 X terms & source_{}action.{}py :: {deri