Listing: Listing

/workspace/XVI-M-artifacts/regression_M.py:828: SyntaxWarning: invalid escape sequence '\l'
  require("\label{rem:revlog-final}" in tex and "Revision log (final verification)" in tex,
/workspace/XVI-M-artifacts/regression_M.py:841: SyntaxWarning: invalid escape sequence '\m'
  require("M-C$_{\mathrm{data}}$" in tex and "explicitly specified cutoff" in tex,
/workspace/XVI-M-artifacts/regression_M.py:846: SyntaxWarning: invalid escape sequence '\m'
  require("D=0,2,4" in tex and "D=1,3" in tex and "mathcal K_{\mathrm{SA}}" in tex,
# regression_M.py output   (python 3.13.5, sympy 1.14.0)
CHECK provenance manifest lists the frozen predecessor files (18): True
CHECK frozen file unchanged: XVI-L.tex: True
CHECK frozen file unchanged: XVI-L-artifacts/README.txt: True
CHECK frozen file unchanged: XVI-L-artifacts/counterterm_map.py: True
CHECK frozen file unchanged: XVI-L-artifacts/counterterm_map_out.txt: True
CHECK frozen file unchanged: XVI-L-artifacts/kernel_inventory.py: True
CHECK frozen file unchanged: XVI-L-artifacts/kernel_inventory_out.txt: True
CHECK frozen file unchanged: XVI-L-artifacts/regression_L.py: True
CHECK frozen file unchanged: XVI-L-artifacts/regression_L_out.txt: True
CHECK frozen file unchanged: XVI-L-artifacts/source_full.py: True
CHECK frozen file unchanged: XVI-L-artifacts/source_full_out.txt: True
CHECK frozen file unchanged: XVI-L-artifacts/source_full_table.txt: True
CHECK frozen file unchanged: XVI-L-artifacts/two_edge_coeff_table.txt: True
CHECK frozen file unchanged: XVI-L-artifacts/two_edge_full.py: True
CHECK frozen file unchanged: XVI-L-artifacts/two_edge_full_out.txt: True
CHECK frozen file unchanged: XVI-L-artifacts/two_edge_support.txt: True
CHECK frozen file unchanged: XVI-L-artifacts/xvi_common.py: True
CHECK frozen file unchanged: XVI-K-artifacts/hessian_full_out.txt: True
CHECK frozen file unchanged: XVI-K-artifacts/xvi_common.py: True
CHECK graph_general_out.txt ends with ALL CHECKS PASSED: True
CHECK graph_general_out.txt: every CHECK line is True: True
CHECK kernel_relations_out.txt ends with ALL CHECKS PASSED: True
CHECK kernel_relations_out.txt: every CHECK line is True: True
CHECK contact_space_out.txt ends with ALL CHECKS PASSED: True
CHECK contact_space_out.txt: every CHECK line is True: True
CHECK contact_collapse_out.txt ends with ALL CHECKS PASSED: True
CHECK contact_collapse_out.txt: every CHECK line is True: True
CHECK helmholtz_check_out.txt ends with ALL CHECKS PASSED: True
CHECK helmholtz_check_out.txt: every CHECK line is True: True
CHECK matching_probe_out.txt ends with ALL CHECKS PASSED: True
CHECK matching_probe_out.txt: every CHECK line is True: True
CHECK fixed_data_reading_out.txt ends with ALL CHECKS PASSED: True
CHECK fixed_data_reading_out.txt: every CHECK line is True: True
CHECK counterterm_functionals_out.txt ends with ALL CHECKS PASSED: True
CHECK counterterm_functionals_out.txt: every CHECK line is True: True
CHECK scaling_anomaly_out.txt ends with ALL CHECKS PASSED: True
CHECK scaling_anomaly_out.txt: every CHECK line is True: True
CHECK covariance_constraints_out.txt ends with ALL CHECKS PASSED: True
CHECK covariance_constraints_out.txt: every CHECK line is True: True
CHECK m7_legacy_reconstruction_out.txt ends with ALL CHECKS PASSED: True
CHECK m7_legacy_reconstruction_out.txt: every CHECK line is True: True
# relation spot-check seed=42 ; points=[['-6', '-1/2', '-1', '-1'], ['8', '9/4', '-8', '-7/2'], ['-2/5', '-9/5', '-1/2', '2']]
CHECK conventions.json records regression_M relation seed 42: True
CHECK conventions.json records contact_space seed 20261005: True
CHECK conventions.json records helmholtz_check seed 7: True
CHECK three off-cone rational points from seed 42: True
CHECK parsed 185 kernel relations + 45 wave-operator generators: True
CHECK every exported relation vanishes exactly on (d^alpha S)(d^beta S), S=1/Q, at 3 random rational points off the cone (independent route): True
CHECK dimensions consistent between M.2 and M.3 outputs: True
CHECK M.1 exact specialization check recorded: True
CHECK sign example (d0 S)(d1 S) = (1/2) S d0 d1 S with S = 1/Q: True
CHECK sign example numerators -4 z0 z1 and -8 z0 z1: True
CHECK M.4 matching: archived preimage collapses EXACTLY to the Gate V Euler tensor of int R_lin^2 (double plateau): True
CHECK M.4 matching: that collapsed tensor is self-adjoint: True
CHECK M.4 Helmholtz: formal SA vector #0 is the Gate V Euler derivative of (1/2) int <h, E_C[h]> (independent route): True
CHECK M.4 headline numbers recorded (formal Collapse injective; formal dim SA = 26): True
CHECK single-switch: every tested column matches d^gamma(chi ahatbar)=d^gamma(bar_a) (2622 columns): True
CHECK single-switch: implemented columns differ from d^gamma(ahatbar) (no-chi) on 2552 sample columns: True
CHECK single-switch: implemented columns differ from d^gamma(chi^2 ahatbar) (double-chi) on 2552 sample columns: True
CHECK single-switch: every tested column matches d(chi ahatbar), not d(chi^2 ahatbar) or d(ahatbar).: True
CHECK Certificate A variable C[N=4,{(),0222},()] located in contact variables: True
CHECK Cert A weighted symmetry: w_mn K^{mn}_ab = w_ab K^{ab}_mn holds: True
CHECK Cert A weighted symmetry: reversed w_ab K^{mn}_ab = w_mn K^{ab}_mn FAILS (as required): True
CHECK Cert A numeric: w00 K00_02 = -56/3 = w02 K02_00: True
CHECK matching_probe outs cover formal / chi-plateau / double-plateau weight readings: True
CHECK formal: dim ker Collapse = 0: True
CHECK formal: dim SA = 26: True
CHECK formal: dim variational image = 26: True
CHECK formal: variational D=3 dim = 0: True
CHECK chi_plateau: dim ker Collapse = 0: True
CHECK chi_plateau: dim SA = 26: True
CHECK chi_plateau: dim variational image = 26: True
CHECK chi_plateau: variational D=3 dim = 0: True
CHECK double_plateau: dim ker Collapse = 22: True
CHECK double_plateau: dim SA = 1347: True
CHECK double_plateau: dim variational image = 1325: True
CHECK double_plateau: variational D=3 dim = 8: True
CHECK Stage2 prep_plateau ker Coll = 21: True
CHECK Stage2 ultralocal dim 26: True
CHECK Stage2 transitions: Unresolved with domain-size bound 3321 (unsupported bound 22 removed): True
CHECK Stage2 transition upper bound = 3321 = dim C_coh: True
CHECK Stage2 criterion includes (iii) adjoint-defect map and time-only caveat: True
CHECK M.5 named theorem recorded: True
CHECK EOM/field-redef ledgers empty: True
CHECK [current status] manuscript has Stage2/M.5 labels: True
CHECK [current status] manuscript still references Input (S-bv) (now certified): True
CHECK [current status] S-bv not discharged by matching (certified analytically, thm:wpA-Sbv): True
CHECK Gate V: W((mu,mu))=1 and W((mu,nu))=2 for mu<nu: True
CHECK Gate V weights on Cert A ultralocal K: w=1 diag / w=2 off symmetry holds: True
CHECK Gate V weight w_00 = 1: True
CHECK Gate V weight w_01 = 2: True
CHECK Gate V weight w_02 = 2: True
CHECK Gate V weight w_03 = 2: True
CHECK Gate V weight w_11 = 1: True
CHECK Gate V weight w_12 = 2: True
CHECK Gate V weight w_13 = 2: True
CHECK Gate V weight w_22 = 1: True
CHECK Gate V weight w_23 = 2: True
CHECK Gate V weight w_33 = 1: True
CHECK conventions.json records eight third-order double-plateau variational directions: True
CHECK conventions.json: third-order dirs are not gravitational scalar counterterms: True
CHECK [current status] conventions.json: (S-bv) not discharged by matching: True
CHECK all three readings present in matching_probe_out: True
CHECK single switch factor: implemented collapse equals d^gamma(chi ahatbar): True
CHECK scaling_anomaly_out ends with ALL CHECKS PASSED: True
CHECK M.6 sphere integral certificate present: True
CHECK M.6 S^2 residue certificate present: True
CHECK M.6 double-plateau vanishing recorded: True
CHECK M.6 formal non-variational recorded: True
CHECK [historical record] M.6 keeps M-C unclaimed: True
CHECK [historical record] scaling_anomaly_cert.json: M_C_claimable is False: True
CHECK cert residue value: True
CHECK [historical record] archived M.6 cert records its (historical) (S-bv) input: True
CHECK independent contour residue simplifies to -1: True
CHECK independent contour: Iu0=-2 i pi: True
CHECK independent: sphere = pi * Iu0 = -2 i pi^2: True
CHECK [historical record] archived M.7 summary records its (historical) (S-bv) input: True
CHECK [historical record] M.7 keeps M-C/M-D unclaimed: True
CHECK [historical record] M.7 does not claim Target II: True
CHECK M.7 abstract equivariant dims = 1,1,3,3,6: True
CHECK M.7 rank = slots - dim sol (codim) and coker = dim codomain - rank, codomain specified: True
CHECK M.7 equivariant freedom 14 = 5 K + 9 C_reg: True
CHECK M.7 formal: (dim V, pi_K V, V cap K, pi_reg V, V cap C_reg) = (1, 0, 0, 1, 1): True
CHECK M.7 formal: dim(V cap K)+dim(V cap C_reg) <= dim V: True
CHECK M.7 formal: kernel/projection rank-nullity consistency: True
CHECK M.7 chi_plateau: (dim V, pi_K V, V cap K, pi_reg V, V cap C_reg) = (1, 0, 0, 1, 1): True
CHECK M.7 chi_plateau: dim(V cap K)+dim(V cap C_reg) <= dim V: True
CHECK M.7 chi_plateau: kernel/projection rank-nullity consistency: True
CHECK M.7 double_plateau: (dim V, pi_K V, V cap K, pi_reg V, V cap C_reg) = (12, 5, 3, 9, 7): True
CHECK M.7 double_plateau: dim(V cap K)+dim(V cap C_reg) <= dim V: True
CHECK M.7 double_plateau: kernel/projection rank-nullity consistency: True
CHECK M.7 formal: 1 exact rational V basis vectors archived: True
CHECK M.7 formal: every archived V vector re-verified: zero adjoint defect and Euler(1/2<h,E_C h>) = E_C (independent jet_euler route): True
CHECK M.7 formal: four objects recomputed from global rational vectors: True
CHECK M.7 chi_plateau: 1 exact rational V basis vectors archived: True
CHECK M.7 chi_plateau: every archived V vector re-verified: zero adjoint defect and Euler(1/2<h,E_C h>) = E_C (independent jet_euler route): True
CHECK M.7 chi_plateau: four objects recomputed from global rational vectors: True
CHECK M.7 double_plateau: 12 exact rational V basis vectors archived: True
CHECK M.7 double_plateau: every archived V vector re-verified: zero adjoint defect and Euler(1/2<h,E_C h>) = E_C (independent jet_euler route): True
CHECK M.7 double_plateau: four objects recomputed from global rational vectors: True
CHECK archived equivariant vector #1 is supported on N=1: True
CHECK M.7 independent test-function check: corrected N=1 contact map is equivariant under K01,K02,K03,J12 on d_mu delta: True
CHECK M.7 independent test-function check: the old (no-eta) identification FAILS boost equivariance: True
CHECK M.7 linear divergence identity: d_mu E^{mu nu}[R2] == 0 (double plateau): True
CHECK M.7 diagnosis: old eta^{mu mu}-weighted formula nonzero for R2: True
CHECK M.7 linear divergence identity: d_mu E^{mu nu}[RC2] == 0 (double plateau): True
CHECK M.7 diagnosis: old eta^{mu mu}-weighted formula nonzero for RC2: True
CHECK M.7 linear divergence identity: d_mu E^{mu nu}[R2-(188813/88456)RC2] == 0 (double plateau): True
CHECK M.7 diagnosis: old eta^{mu mu}-weighted formula nonzero for R2-(188813/88456)RC2: True
CHECK M.7: certified C_reg preimage collapses to a divergence-free tensor: True
CHECK M.7 summary: divergence identity recorded as holding for R2/RC2/combination in all readings: True
CHECK M.7: matched coefficient 188813/88456 unchanged: True
CHECK covariance_matrix: 14 total; rank/codim and coker columns distinguished: True
CHECK M.7 legacy: old 'dp_all=5' reproduced only with the truncating reduction: True
CHECK M.8/M.9 completion ledger stub present: True
CHECK [historical record] completion ledger recommends waiting on M.8: True
CHECK [historical record] M.7 status downgraded to 'Constructed after audit' (exactly verified items only): True
CHECK [historical record] M.6: C_anom is the N=0 component (archived scope): True
CHECK [current status] conventions.json: broad M-C Not achieved (Unresolved); M-C_data Satisfied; M-C_curv Proved obstructed: True
CHECK [historical record] conventions.json keeps the audit-2 M-C status string (superseded): True
CHECK [current status] manuscript carries the (retained) M.7 audit log remark: True
CHECK [current status] manuscript no longer claims a nonzero curvature-square divergence: True
# M.7 covariance regression checks OK (corrected identities)
# === work packages A/B/C ===
CHECK wpA archive file present: kernel_identification.tex: True
CHECK wpA archive file present: kernel_identification_checks.py: True
CHECK wpA archive file present: kernel_identification_out.txt: True
CHECK wpA archive file present: kernel_conventions.json: True
CHECK wpB archive file present: scaling_prescription_identity.tex: True
CHECK wpB archive file present: higher_grade_scaling.py: True
CHECK wpB archive file present: higher_grade_scaling_out.txt: True
CHECK wpB archive file present: _wpB_state.json: True
CHECK wpB archive file present: _wpB_sectionD.json: True
CHECK wpB archive file present: scale_derivative_coefficients.json: True
CHECK wpB archive file present: dilation_defect_coefficients.json: True
CHECK wpB archive file present: scale_defect_difference.json: True
CHECK wpB archive file present: full_scale_collapse_certificates.json: True
CHECK wpB archive file present: matched_scale_ledger.txt: True
CHECK wpC archive file present: time_only_section.tex: True
CHECK wpC archive file present: time_only_helmholtz.py: True
CHECK wpC archive file present: time_only_helmholtz_out.txt: True
CHECK wpC archive file present: time_only_summary.json: True
CHECK wpC archive file present: time_only_collapse_certificates.json: True
CHECK wpC archive file present: time_only_sa_certificates.json: True
CHECK wpC archive file present: time_only_matching_certificates.json: True
CHECK wpC archive file present: time_only_specialization_tests.txt: True
CHECK wpA script reruns with exit 0: True
CHECK wpA rerun output is byte-identical to the archived kernel_identification_out.txt: True
CHECK wpA output ends with ALL CHECKS PASSED: True
CHECK wpA: every CHECK line is True: True
CHECK wpA ledger: Certified, c=1/(4 pi^2), side Q-i0, across nonzero null cone: True
CHECK [current status] conventions.json gate_Sbv_status: Certified with c=1/(4 pi^2), side Q-i0 (agrees with wpA ledger): True
CHECK [current status] conventions.json normalization table: S row certified with c and boundary side: True
CHECK r = -2 i pi^2 c^2 = -i/(8 pi^2) with certified c: True
CHECK scale unit i pi^2 c^2 = i/(16 pi^2) with certified c: True
CHECK damped W_0 closed form 1/(4 pi^2 (a^2+r^2)) (independent sympy integral): True
CHECK a^2 + r^2 = -((z0 - i delta)^2 - r^2): W_0 = -(1/4pi^2)(Q - i0 sgn z0)^{-1}: True
CHECK sgn cancellation for sgn z0 = +1: delta(Q) coefficient = c i pi (side Q-i0): True
CHECK sgn cancellation for sgn z0 = -1: delta(Q) coefficient = c i pi (side Q-i0): True
CHECK wpB output ends with ALL CHECKS PASSED (followed by 'exit 0'): True
CHECK wpB: every CHECK line is True: True
CHECK wpB indep. rho=0 (symbolic): M M^{-1} = 1: True
CHECK wpB indep. rho=0 (symbolic): mu d(M^{-1})/dmu = D M^{-1} - M^{-1} D: True
CHECK wpB indep. rho=1 (symbolic): M M^{-1} = 1: True
CHECK wpB indep. rho=1 (symbolic): mu d(M^{-1})/dmu = D M^{-1} - M^{-1} D: True
CHECK wpB indep. rho=2 (symbolic): M M^{-1} = 1: True
CHECK wpB indep. rho=2 (symbolic): mu d(M^{-1})/dmu = D M^{-1} - M^{-1} D: True
CHECK wpB indep. rho=3 (random rational): M M^{-1} = 1: True
CHECK wpB indep. rho=3 (random rational): mu d(M^{-1})/dmu = D M^{-1} - M^{-1} D: True
CHECK wpB double plateau: rank(R2,RC2)=2 -> rank(R2,RC2,scale)=3 (scale tensor not in span(E_R2,E_Ric2)): True
CHECK conventions.json records the double-plateau scale 5-vector: True
CHECK wpB: double-plateau top scale tensor is self-adjoint/variational (certificate): True
CHECK wpB: top scale tensor not variational in formal / chi-plateau / prep-plateau readings: True
CHECK wpB: C_top has 289 entries, all in contact degree D=4: True
CHECK wpB: C_top N=0 coordinate = -2 (units i pi^2 c^2), i.e. r: True
CHECK wpB: residue map in audited equivariant coordinates as stated in the manuscript: True
CHECK wpC output ends with ALL CHECKS PASSED: True
CHECK wpC: every CHECK line is True: True
CHECK wpC: ker Coll_t = 0 for all D: True
CHECK wpC: ker H_t by D = (26,0,0,0,0): True
CHECK wpC: regression-preserving variational image = 26 ultralocals: True
CHECK wpC: chi==1 time-only ker H_t by D = (26,0,156,0,390), total 572: True
CHECK wpC: route 1 = route 2 (both readings): True
CHECK wpC time-only: only P1-(89/140)P2 is an image among P1,P2 (C_coh and C_reg): True
CHECK wpC time-only: weighted EH and R2/RC2 are not images (double-plateau matching does not survive time-only): True
CHECK wpC time-only chi==1: only P1-(89/140)P2 is an image among P1,P2 (C_coh and C_reg): True
CHECK wpC time-only chi==1: weighted EH and R2/RC2 are not images (double-plateau matching does not survive time-only): True
CHECK wpC: chi==1 time-only D=4 kernel (dim 390) supported on N=4 only (used in cor:wpB-timeonly): True
CHECK wpC independent: Wronskian W(rho,...,rho^(4))(1/2) = 88060251340800.0 (archived 8.80602513408e13); nonzero: True
CHECK XVIM_FULL_WP: wpB rerun reproduces higher_grade_scaling_out.txt modulo timing: True
CHECK XVIM_FULL_WP: wpC rerun reproduces time_only_helmholtz_out.txt modulo timing: True
# === audit 3 ===
CHECK [current status] conventions.json: separating functional basis order and ell=(1,1,-1,1,1): True
CHECK audit3: ell(v_scale) = -71/120-27/80+11/10+19/30-13/15 = -1/16 != 0 (archived conventions vector): True
CHECK audit3: ell(v_R2) = 0 and ell(v_Ric2) = 0: True
CHECK audit3: ell annihilates archived conventions vector R2: True
CHECK audit3: ell annihilates archived conventions vector RC2: True
CHECK audit3 sympy: pure gauge h_00=f(t): EL_f(L_1..L_5) = 2*(1,1,-1,1,1) f'''' (so L_j == (1,1,-1,1,1) f f'''' mod total derivatives): True
CHECK audit3 sympy: R_lin^2 and Ric_lin^2 vanish on pure gauge h_00=f(t): True
CHECK audit3 sympy: scale functional on pure gauge: EL_f = -(1/8) f'''' = 2*(-1/16) f'''' (units i/(16 pi^2)): True
CHECK audit3: basis check: (0,1,0,-2,1) in the L_1..L_5 basis gives the Gate V Euler tensor of R_lin^2: True
CHECK audit3: recollapsed C_top (double plateau, 490 entries) equals EXACTLY the Euler tensor of the displayed I_top_scale (units i pi^2 c^2): True
CHECK audit3: f'''' coefficient of E^00[f e_00] of the recollapsed C_top = -1/8 = 2*ell(v_scale): True
CHECK audit3: lem:bv(c) Beta-integral convolution (1/2pi) hat u_m * hat u_n = hat u_{m+n}, 1<=m,n<=3: True
CHECK [current status] audit3: wpA damping parameter renamed epsilon -> tau (script and fragment): True
CHECK audit3: wpA output contains the variable-regulator check (lem:wpA-varreg): True
CHECK [current status] manuscript defines \label{thm:wpA-Sbv}: True
CHECK [current status] manuscript defines \label{lem:wpA-varreg}: True
CHECK [current status] manuscript defines \label{thm:wpB-B0}: True
CHECK [current status] manuscript defines \label{thm:wpB-dp}: True
CHECK [current status] manuscript defines \label{prop:wpB-sep}: True
CHECK [current status] manuscript defines \label{rem:wpB-topfull}: True
CHECK [current status] manuscript defines \label{cor:wpB-MC}: True
CHECK [current status] manuscript defines \label{def:MCcurv}: True
CHECK [current status] manuscript defines \label{cor:wpB-timeonly}: True
CHECK [current status] manuscript defines \label{thm:to-timeonly}: True
CHECK [current status] manuscript defines \label{prop:to-actual}: True
CHECK [current status] manuscript defines \label{lem:to-indep}: True
CHECK [current status] manuscript defines \label{rem:to-joint}: True
CHECK [current status] manuscript defines \label{rem:revlog}: True
CHECK [current status] manuscript defines \label{rem:revlog3}: True
CHECK [current status] manuscript defines \label{rem:revlog-final}: True
CHECK [current status] manuscript carries 'Revision log (audit 3)' and the retained cycle log: True
CHECK [current status] manuscript states the top-versus-full scale-tensor sentence (abstract, status box, wpB box, theorem): True
CHECK [current status] manuscript no longer calls the full double-plateau scale tensor variational/Lorentz covariant: True
CHECK [current status] manuscript: M-C_curv Proved obstructed; broad M-C not achieved; graph-specific wording: True
CHECK [current status] manuscript no longer marks broad M-C Proved obstructed: True
CHECK [current status] manuscript: time-only switch-jet reduction removed; joint-family condition kept: True
CHECK [current status] manuscript: corrected S scope sentence: True
CHECK [current status] manuscript: weighted curvature-square divergence wording corrected: True
CHECK [current status] manuscript: bv(c) shortcut removed; damping parameter is tau: True
CHECK [current status] run listing: annotations are # comments: True
CHECK [current status] manuscript no longer states that S-bv is conditional: True
CHECK [current status] manuscript keeps 'Euclidean motivation is not the certification': True
CHECK [current status] manuscript states the double-plateau matching does not survive the time-only reading: True
# work package A/B/C regression checks OK
# === final verification ===
CHECK [current status] provenance pin file exists: XVI-J_local.tex -> /workspace/XVI-M-artifacts/provenance/XVI-J_local.tex: True
CHECK [current status] provenance SHA-256 match for XVI-J_local.tex: True
CHECK [current status] provenance pin file exists: XVI-J_github_fetch.tex -> /workspace/XVI-M-artifacts/provenance/XVI-J_github_fetch.tex: True
CHECK [current status] provenance SHA-256 match for XVI-J_github_fetch.tex: True
CHECK [current status] provenance pin file exists: XVI-J_corpus_eqW_DF_rational_propq.txt -> /workspace/XVI-M-artifacts/provenance/XVI-J_corpus_eqW_DF_rational_propq.txt: True
CHECK [current status] provenance SHA-256 match for XVI-J_corpus_eqW_DF_rational_propq.txt: True
CHECK [current status] provenance pin file exists: XI-E_corpus_eq_h.txt -> /workspace/XVI-M-artifacts/provenance/XI-E_corpus_eq_h.txt: True
CHECK [current status] provenance SHA-256 match for XI-E_corpus_eq_h.txt: True
CHECK [current status] provenance pin file exists: XII-C_corpus_weighted_curvature.txt -> /workspace/XVI-M-artifacts/provenance/XII-C_corpus_weighted_curvature.txt: True
CHECK [current status] provenance SHA-256 match for XII-C_corpus_weighted_curvature.txt: True
CHECK [current status] provenance pin file exists: XVI-L_corpus_thm_L6.txt -> /workspace/XVI-M-artifacts/provenance/XVI-L_corpus_thm_L6.txt: True
CHECK [current status] provenance SHA-256 match for XVI-L_corpus_thm_L6.txt: True
CHECK [current status] provenance pin file exists: XVI-K_corpus_prop_hess.txt -> /workspace/XVI-M-artifacts/provenance/XVI-K_corpus_prop_hess.txt: True
CHECK [current status] provenance SHA-256 match for XVI-K_corpus_prop_hess.txt: True
CHECK [current status] provenance pin file exists: ../XVI-L.tex -> /workspace/XVI-L.tex: True
CHECK [current status] provenance SHA-256 match for ../XVI-L.tex: True
CHECK [current status] provenance pin file exists: ../XVI-K.tex -> /workspace/XVI-K.tex: True
CHECK [current status] provenance SHA-256 match for ../XVI-K.tex: True
CHECK [current status] predecessor_pins note: XVI-J eq:rational is corroboration, not frozen XVI-L: True
CHECK [current status] XVI-J eq:rational marked corroboration in pins: True
CHECK [current status] archived corpus excerpt present: XVI-J_corpus_eqW_DF_rational_propq.txt: True
CHECK [current status] archived corpus excerpt present: XI-E_corpus_eq_h.txt: True
CHECK [current status] archived corpus excerpt present: XII-C_corpus_weighted_curvature.txt: True
CHECK [current status] archived corpus excerpt present: XVI-L_corpus_thm_L6.txt: True
CHECK [current status] archived corpus excerpt present: XVI-K_corpus_prop_hess.txt: True
CHECK [current status] manuscript carries Revision log (final verification): True
CHECK [current status] manuscript: explicitly checked kernel identification: True
CHECK [current status] manuscript body (before final revlog) has no 'resting on a new input': True
CHECK [current status] manuscript: M.2 spot-check wording: True
CHECK [current status] manuscript: prop:M7-id (EH) locally constant: True
CHECK [current status] manuscript body (before final revlog) has no 'uncontrolled': True
CHECK [current status] manuscript: broad M-C matched-scale criterion and M-C_data: True
CHECK [current status] manuscript cites XVI-L thm:L6 and the undetermined-cutoff sentence: True
CHECK [current status] manuscript: prop:to-chiplateau cases display with K_SA: True
CHECK [current status] manuscript: odd-order anti-self-adjoint reason: True
CHECK [current status] wpC summary: odd-D=1 anti-self-adjoint exact, ker H_t=0: True
CHECK [current status] wpC summary: odd-D=3 anti-self-adjoint exact, ker H_t=0: True
CHECK [current status] appendix lists XVIM_FULL_WP full rerun writing regression_full_out.txt: True
CHECK [current status] manuscript has predecessor provenance table: True
# final verification checks OK
ALL CHECKS PASSED