P.5 entry dossier

_{}matching/{}prescription/{}id} = "{}DRED_{}MSbar_{}FeynmanI0"

{}prescription_{}D11_{}matching/{}prescription_{}checks = all entries true

{}prescription_{}D11_{}matching/{}prescription_{}checks/{}operational_{}DRED_{}rules_{}verified = true

{}prescription_{}D11_{}matching/{}D12_{}status = "Missing" & prescription_{}and_{}D11_{}matching
P5E.2b & operational DRED: g4 = ghat + gtilde (tr d, 4-d), l and p in QdS, l_r = l.e_(r) lifting, ghat-projected Gram/PV reduction, contractions before Laurent with d symbolic; evanescent parts retained; premature d=4, tr ghat=4 and expand-before-contract are rejected & dred.{}py :: reduce_{}tensor, eta_{}trace_{}Gt, toy_{}four_{}d_{}part, toy_{}evanescent_{}trace, known_{}reductions, lift_{}exported, main & {}dred_{}rules/{}dred_{}rules_{}verified = true

{}dred_{}rules/{}mutations_{}all_{}rejected = true

{}dred_{}rules/{}mutations/{}premature_{}d4/{}rejected = true

{}dred_{}rules/{}mutations/{}trace_{}ghat_{}eq_{}4/{}rejected = true

{}dred_{}rules/{}mutations/{}contract_{}after_{}laurent/{}rejected = true

{}dred_{}rules/{}toy_{}checks/{}T1_{}four_{}d_{}part/{}finite = "a/{}8 + b/{}4"

{}dred_{}rules/{}toy_{}checks/{}T2_{}evanescent_{}trace/{}finite = "-a/{}2"

{}dred_{}rules/{}known_{}reductions/{}pass = true

{}dred_{}rules/{}evanescent_{}parts_{}present_{}in_{}exports = true

{}dred_{}rules/{}loop_{}evaluations_{}performed = false & dred_{}rules_{}certificate

dred_{}premature_{}d4_{}changes_{}finite_{}part_{}and_{}is_{}caught

{dred_