Manuscript XVI-P@p23 · XVI-P.tex · section · 9b0037a7
Milestones (p14 status)
Milestones (p14 status) · lines 1042–1063
| contract item | value (from the certificates of this build) |
|---|---|
| integrated fields | h_(mn) (10 independent components), c\^{}mu, cbar_mu, phi, b\^{}mu (retained) |
| external antifields | K'_(mn): h*' (10 comps, sigma_h = +1), c*'_mu: c*', cbar*'\^{}mu: cbar*', phi*': phi*', b*': absent (s b = 0) |
| b | RETAINED and integrated; det M_bb = -16; eliminating b gives 4 terms quadratic in cbar*'; Gamma_1 independent of bs, cbs |
| antifield shift | eps = -1 (derived) |
| prescription | P14_DRED_MSbar_FeynmanI0: MS-bar: subtract the pole in the combination 1/eps - gamma_E + log 4 pi; scale mu |
| i0 | Feynman: every propagator denominator q\^{}2 + i0 (eta = +,-,-,-); Wick rotation l0 = i l4 implied |
| DRED rules | verified = true; T1 finite a/8 + b/4 (premature d=4 would give b/4); T2 finite -a/2 ((d-4) x pole); mutations: premature_d4 rejected, trace_ghat_eq_4 rejected, contract_after_laurent rejected |
| D11 matching | defined = true, verified = false; M1: 100 component pairs, 0 mismatches; M3 (conditional on M2): kernel sd {}= 8, contact order {}= 4; contact space order_0 2, order_2 4, order_4 5; under N4 5 (transverse 2); M2 defined_not_verified |
| counterterm domain | kappa\^{}1: 0; kappa\^{}2: 11 (h.h 5, c.cb 2, c.K 3, phi.phi 1); sigma_0-equivalent: 3 (h.h 2, c.cb 0, c.K 0, phi.phi 1); 8 candidate directions modulo the computed exact equivalences, before the identity constraints (D cap ker sigma_0 not computed) |
| amplitude controls | W1_wick_berezin_shadow: pass, W2_multiplicity: pass, W3_closed_form_vertices: pass, W5_regeneration: pass, W6_hessian_route: pass, W4_ward_bose: pass; W5 regenerates D14a-c, D11, D13; W6 (Hessian route) regenerates D01, D02, D03, D12 == exports: true |
| mutations (must be rejected) | wrong_tadpole_factor: rejected, wrong_ghost_loop_sign: rejected, offdiag_multiplicity: rejected, reversed_source_ghost_order: rejected, omit_ghost_transport_term: rejected |
| P.5 entry flags | quantum_action_defined = true, quantum_prescription_defined = true, D11_matching_defined = true, counterterm_domain_defined = true, amplitude_rules_verified = true |
| P3_P4_frozen_as_P5_inputs | true (the p13 independent rebuild ran on the SAME box (shared kernel, TeX Live, poppler) in a fresh venv from the source-only zip; it was NOT run on a second machine) |
| P.5 entry | earned (contract fixed; stated against the P.3/P.4 freeze) |