P.5 entry dossier

ve_{}sigma}, build_{}X_{}inv & source_{}action/{}sigma_{}unique = true

source_{}action/{}X_{}kappa2_{}terms = 0

source_{}action/{}antifield_{}linear = true & brst_{}and_{}source_{}terms_{}derived

e2e_{}flipped_{}odd_{}sign

e2e_{}omitted_{}cstar_{}term
5{@{}l}{P.4: gauge map -{} Hessians -{} source convention [frozen P.3/P.4 input]}
P4.C1 & antifield shift orientation derived (eps = -1); S_Psi = S + s Psi mod d & gauge_{}fixing_{}map.{}py :: build, shift_{}map & gauge_{}fixing_{}map/{}derived_{}eps = -1

gauge_{}fixing_{}map/{}S_{}Psi_{}equals_{}S_{}plus_{}sPsi_{}mod_{}d = true & e2e_{}altered_{}gauge_{}shift
P4.C2 & canonicity of the map on all 299 (anti)field pairs & gauge_{}fixing_{}map.{}py :: canonicity & gauge_{}fixing_{}map/{}canonicity/{}pass = true

gauge_{}fixing_{}map/{}canonicity/{}pairs_{}tested = 299 & gauge_{}hessian_{}generic_{}and_{}full_{}canonicity
P4.C3 & graviton Hessian at generic symbolic k: Schur complement k\^{}2 P, propagator (k\^{}2 P)\^{}-1 & gauge_{}fixing_{}map.{}py :: hessian_{}check & gauge_{}fixing_{}map/{}propagators/{}graviton/{}schur_{}equals_{}k2P = true

gauge_{}fixing_{}map/{}propagators/{}graviton/{}propagator_{}hh_{}equals_{}inv_{}k2P = true & gauge_{}hessian_{}generic_{}and_{}full_{}canonicity
P4.C4 & ghost (i cbar Box c) and scalar (-Box) kinetic terms; propagators match transformed Hessians & gauge_{}fixing_{}map.{}py :: ghost_{}kinetic_{}check & gauge_{}fixing_{}map/{}propagators/{}ghost/{}match = true

gauge_{}fixing_{}map/{}propagators/{}scalar/{}match = true

{gauge_{}fixing_{}map/{}propagators_{}match_\