P.5 entry dossier

One row per claim, each resolved mechanically by dossier_p14.py: the function exists, the certificate key holds the expected value, and the test exists. The five P.3/P.4 chains are carried over unchanged as frozen inputs; the P.5 entry chain is new.

{ {@{}p0.9cmp4.1cmp3.5cmp5.0cmp3.0cm@{}} id & claim & file :: function & certificate key = value & test
5{@{}l}{P.3: projection -{} dependency rows -{} graphs [frozen P.3/P.4 input]}
P3.1 & ch output projection fixed (c\^{}1 h\^{}1, ghost number 1, kappa\^{}2, one loop, transformed variables) & ch_{}source_{}audit.{}py :: main & ch_{}source_{}audit/{}ch_{}projection_{}defined = true

ch_{}source_{}audit/{}ch_{}pattern/{}ghost_{}number = 1 & ch_{}rows_{}and_{}quantum_{}input_{}slots
P3.2 & vertex inventory generated from S_Psi (not copied) & ch_{}source_{}audit.{}py :: S_{}psi_{}inventory, vertex_{}options & ch_{}source_{}audit/{}vertex_{}inventory = {"kappa0": ["K.{}c",.{}.{}.{}

ch_{}source_{}audit/{}checks/{}b_{}has_{}no_{}interaction_{}vertex = true & ch_{}rows_{}and_{}quantum_{}input_{}slots
P3.3 & dependency rows exhaustive: regenerated rows equal the published rows & ch_{}source_{}audit.{}py :: audit, regenerate_{}and_{}compare & ch_{}source_{}audit/{}checks/{}regenerated_{}rows_{}match_{}published = true

ch_{}source_{}audit/{}regeneration/{}complete = true & e2e_{}dropped_{}hstar_{}c_{}row
P3.4 & 6 rows: 3 surviving, 3 derived zero (S2, cbar*, b* rows) & ch_{}source_{}audit.{}py :: audit & ch_{}source_{}audit/{}rows_{}total = 6

ch_{}source_{}audit/{}rows_{}surviving = 3

ch_{}source_{}audit/{}rows_{}derived_{}zero = 3 & ch_{}rows_{}and_{}quantum_{}input_{}slots
P3.5 & enumeration lemma (justifies max_len = 2) checked mechanically & {ch_{}source_{}