Trust Passport

Add the human verification attestation.

• Structured AI-use disclosure Verified Author submitted the formal AI-use questionnaire. Action: Submit the structured AI-use disclosure.
• Disclosure level specified Verified Level: assistant. Action: Choose none, assistant, coauthor, or primary for AI involvement.
• AI models named Verified 1 model listed. Action: Name every AI model that materially contributed.
• Human verification attested Needs attention No human verification attestation is recorded. Action: Add the human verification attestation.
• Plain-language summary Verified A plain summary is available. Action: Provide or generate a readable summary.

Add a DOI, arXiv id, or stable URL to this reference.

• Citation {CC:1996} Needs attention Reference entry not found in extracted bibliography. {CC:1996} unresolved unresolved low confidence Reference entry not found in extracted bibliography. Action: Add a DOI, arXiv id, or stable URL to this reference.
• Citation {CC:1997} Needs attention Reference entry not found in extracted bibliography. {CC:1997} unresolved unresolved low confidence Reference entry not found in extracted bibliography. Action: Add a DOI, arXiv id, or stable URL to this reference.
• Citation {Alfyorov:2026paper1} Needs attention Reference entry not found in extracted bibliography. {Alfyorov:2026paper1} unresolved unresolved low confidence Reference entry not found in extracted bibliography. Action: Add a DOI, arXiv id, or stable URL to this reference.
• Citation {Alfyorov:2026paper2} Needs attention Reference entry not found in extracted bibliography. {Alfyorov:2026paper2} unresolved unresolved low confidence Reference entry not found in extracted bibliography. Action: Add a DOI, arXiv id, or stable URL to this reference.
• Citation {Alfyorov:2026paper3} Needs attention Reference entry not found in extracted bibliography. {Alfyorov:2026paper3} unresolved unresolved low confidence Reference entry not found in extracted bibliography. Action: Add a DOI, arXiv id, or stable URL to this reference.
• Citation {Alfyorov:2026paper4} Needs attention Reference entry not found in extracted bibliography. {Alfyorov:2026paper4} unresolved unresolved low confidence Reference entry not found in extracted bibliography. Action: Add a DOI, arXiv id, or stable URL to this reference.
• Citation {Alfyorov:2026paper7} Needs attention Reference entry not found in extracted bibliography. {Alfyorov:2026paper7} unresolved unresolved low confidence Reference entry not found in extracted bibliography. Action: Add a DOI, arXiv id, or stable URL to this reference.
• Citation {CCM:2006} Needs attention Reference entry not found in extracted bibliography. {CCM:2006} unresolved unresolved low confidence Reference entry not found in extracted bibliography. Action: Add a DOI, arXiv id, or stable URL to this reference.
• Citation {Vassilevich:2003} Needs attention Reference entry not found in extracted bibliography. {Vassilevich:2003} unresolved unresolved low confidence Reference entry not found in extracted bibliography. Action: Add a DOI, arXiv id, or stable URL to this reference.
• Citation {BV:1987} Needs attention Reference entry not found in extracted bibliography. {BV:1987} unresolved unresolved low confidence Reference entry not found in extracted bibliography. Action: Add a DOI, arXiv id, or stable URL to this reference.
• Citation {BV:1990} Needs attention Reference entry not found in extracted bibliography. {BV:1990} unresolved unresolved low confidence Reference entry not found in extracted bibliography. Action: Add a DOI, arXiv id, or stable URL to this reference.
• Citation {CZ:2012} Needs attention Reference entry not found in extracted bibliography. {CZ:2012} unresolved unresolved low confidence Reference entry not found in extracted bibliography. Action: Add a DOI, arXiv id, or stable URL to this reference.
• Citation {ParkerToms:2009} Needs attention Reference entry not found in extracted bibliography. {ParkerToms:2009} unresolved unresolved low confidence Reference entry not found in extracted bibliography. Action: Add a DOI, arXiv id, or stable URL to this reference.
• Citation {CPR:2008} Needs attention Reference entry not found in extracted bibliography. {CPR:2008} unresolved unresolved low confidence Reference entry not found in extracted bibliography. Action: Add a DOI, arXiv id, or stable URL to this reference.
• Citation {Anselmi:2017} Needs attention Reference entry not found in extracted bibliography. {Anselmi:2017} unresolved unresolved low confidence Reference entry not found in extracted bibliography. Action: Add a DOI, arXiv id, or stable URL to this reference.
• Citation {Anselmi:2018} Needs attention Reference entry not found in extracted bibliography. {Anselmi:2018} unresolved unresolved low confidence Reference entry not found in extracted bibliography. Action: Add a DOI, arXiv id, or stable URL to this reference.
• Citation {LeeWick:1969} Needs attention Reference entry not found in extracted bibliography. {LeeWick:1969} unresolved unresolved low confidence Reference entry not found in extracted bibliography. Action: Add a DOI, arXiv id, or stable URL to this reference.
• Citation {Stelle:1977} Needs attention Reference entry not found in extracted bibliography. {Stelle:1977} unresolved unresolved low confidence Reference entry not found in extracted bibliography. Action: Add a DOI, arXiv id, or stable URL to this reference.
• Citation {vS:2015} Needs attention Reference entry not found in extracted bibliography. {vS:2015} unresolved unresolved low confidence Reference entry not found in extracted bibliography. Action: Add a DOI, arXiv id, or stable URL to this reference.
• Citation {Sen:2012} Needs attention Reference entry not found in extracted bibliography. {Sen:2012} unresolved unresolved low confidence Reference entry not found in extracted bibliography. Action: Add a DOI, arXiv id, or stable URL to this reference.
• Citation {Alfyorov:2026repo} Needs attention Reference entry not found in extracted bibliography. {Alfyorov:2026repo} unresolved unresolved low confidence Reference entry not found in extracted bibliography. Action: Add a DOI, arXiv id, or stable URL to this reference.
• Citation {Shapiro:2004} Needs attention Reference entry not found in extracted bibliography. {Shapiro:2004} unresolved unresolved low confidence Reference entry not found in extracted bibliography. Action: Add a DOI, arXiv id, or stable URL to this reference.
• Citation {BMS:2009} Needs attention Reference entry not found in extracted bibliography. {BMS:2009} unresolved unresolved low confidence Reference entry not found in extracted bibliography. Action: Add a DOI, arXiv id, or stable URL to this reference.
• Citation {Meissner:2004} Needs attention Reference entry not found in extracted bibliography. {Meissner:2004} unresolved unresolved low confidence Reference entry not found in extracted bibliography. Action: Add a DOI, arXiv id, or stable URL to this reference.
• Citation {KaulMajumdar:2000} Needs attention Reference entry not found in extracted bibliography. {KaulMajumdar:2000} unresolved unresolved low confidence Reference entry not found in extracted bibliography. Action: Add a DOI, arXiv id, or stable URL to this reference.
• Citation {FallsLitim:2012} Needs attention Reference entry not found in extracted bibliography. {FallsLitim:2012} unresolved unresolved low confidence Reference entry not found in extracted bibliography. Action: Add a DOI, arXiv id, or stable URL to this reference.
• Citation {Myung:2017} Needs attention Reference entry not found in extracted bibliography. {Myung:2017} unresolved unresolved low confidence Reference entry not found in extracted bibliography. Action: Add a DOI, arXiv id, or stable URL to this reference.
• Citation {CC:2010} Needs attention Reference entry not found in extracted bibliography. {CC:2010} unresolved unresolved low confidence Reference entry not found in extracted bibliography. Action: Add a DOI, arXiv id, or stable URL to this reference.
• Citation {CCS:2013} Needs attention Reference entry not found in extracted bibliography. {CCS:2013} unresolved unresolved low confidence Reference entry not found in extracted bibliography. Action: Add a DOI, arXiv id, or stable URL to this reference.
• Citation {DLM:2014} Needs attention Reference entry not found in extracted bibliography. {DLM:2014} unresolved unresolved low confidence Reference entry not found in extracted bibliography. Action: Add a DOI, arXiv id, or stable URL to this reference.
• Citation {BFS:2010} Needs attention Reference entry not found in extracted bibliography. {BFS:2010} unresolved unresolved low confidence Reference entry not found in extracted bibliography. Action: Add a DOI, arXiv id, or stable URL to this reference.
• Citation {CCS:2013ps} Needs attention Reference entry not found in extracted bibliography. {CCS:2013ps} unresolved unresolved low confidence Reference entry not found in extracted bibliography. Action: Add a DOI, arXiv id, or stable URL to this reference.
• Citation {vdD:2018} Needs attention Reference entry not found in extracted bibliography. {vdD:2018} unresolved unresolved low confidence Reference entry not found in extracted bibliography. Action: Add a DOI, arXiv id, or stable URL to this reference.
• Citation {CCS:2013gs} Needs attention Reference entry not found in extracted bibliography. {CCS:2013gs} unresolved unresolved low confidence Reference entry not found in extracted bibliography. Action: Add a DOI, arXiv id, or stable URL to this reference.
• Citation {KLV:2015} Needs attention Reference entry not found in extracted bibliography. {KLV:2015} unresolved unresolved low confidence Reference entry not found in extracted bibliography. Action: Add a DOI, arXiv id, or stable URL to this reference.
• Citation {CC:2006dilaton} Needs attention Reference entry not found in extracted bibliography. {CC:2006dilaton} unresolved unresolved low confidence Reference entry not found in extracted bibliography. Action: Add a DOI, arXiv id, or stable URL to this reference.
• Citation {Kapner:2007} Needs attention Reference entry not found in extracted bibliography. {Kapner:2007} unresolved unresolved low confidence Reference entry not found in extracted bibliography. Action: Add a DOI, arXiv id, or stable URL to this reference.
• Citation {GW170817:2017} Needs attention Reference entry not found in extracted bibliography. {GW170817:2017} unresolved unresolved low confidence Reference entry not found in extracted bibliography. Action: Add a DOI, arXiv id, or stable URL to this reference.
• Citation {Antoniou:2025} Needs attention Reference entry not found in extracted bibliography. {Antoniou:2025} unresolved unresolved low confidence Reference entry not found in extracted bibliography. Action: Add a DOI, arXiv id, or stable URL to this reference.
• Citation {Antoniou:2026} Needs attention Reference entry not found in extracted bibliography. {Antoniou:2026} unresolved unresolved low confidence Reference entry not found in extracted bibliography. Action: Add a DOI, arXiv id, or stable URL to this reference.
• Citation {KayWald:1987} Needs attention Reference entry not found in extracted bibliography. {KayWald:1987} unresolved unresolved low confidence Reference entry not found in extracted bibliography. Action: Add a DOI, arXiv id, or stable URL to this reference.
• Citation {BinningtonPoisson:2009} Needs attention Reference entry not found in extracted bibliography. {BinningtonPoisson:2009} unresolved unresolved low confidence Reference entry not found in extracted bibliography. Action: Add a DOI, arXiv id, or stable URL to this reference.
• Citation {Cardoso:2019} Needs attention Reference entry not found in extracted bibliography. {Cardoso:2019} unresolved unresolved low confidence Reference entry not found in extracted bibliography. Action: Add a DOI, arXiv id, or stable URL to this reference.
• Citation {GWTC3} Needs attention Reference entry not found in extracted bibliography. {GWTC3} unresolved unresolved low confidence Reference entry not found in extracted bibliography. Action: Add a DOI, arXiv id, or stable URL to this reference.
• Citation {Obied:2018} Needs attention Reference entry not found in extracted bibliography. {Obied:2018} unresolved unresolved low confidence Reference entry not found in extracted bibliography. Action: Add a DOI, arXiv id, or stable URL to this reference.
• Citation {LiteBIRD:2022} Needs attention Reference entry not found in extracted bibliography. {LiteBIRD:2022} unresolved unresolved low confidence Reference entry not found in extracted bibliography. Action: Add a DOI, arXiv id, or stable URL to this reference.
• Citation {Rovelli:2004} Needs attention Reference entry not found in extracted bibliography. {Rovelli:2004} unresolved unresolved low confidence Reference entry not found in extracted bibliography. Action: Add a DOI, arXiv id, or stable URL to this reference.
• Citation {Thiemann:2007} Needs attention Reference entry not found in extracted bibliography. {Thiemann:2007} unresolved unresolved low confidence Reference entry not found in extracted bibliography. Action: Add a DOI, arXiv id, or stable URL to this reference.
• Citation {ReuterSaueressig:2012} Needs attention Reference entry not found in extracted bibliography. {ReuterSaueressig:2012} unresolved unresolved low confidence Reference entry not found in extracted bibliography. Action: Add a DOI, arXiv id, or stable URL to this reference.
• Citation {AJL:2012} Needs attention Reference entry not found in extracted bibliography. {AJL:2012} unresolved unresolved low confidence Reference entry not found in extracted bibliography. Action: Add a DOI, arXiv id, or stable URL to this reference.

Add the human verification attestation for mathematical claims.

• Formula evidence 1 Verified Formula-like expression found in Untitled section. formula Untitled section medium confidence \(a_4\)
• Formula evidence 2 Verified Formula-like expression found in Untitled section. formula Untitled section medium confidence \(f\)
• Formula evidence 3 Verified Formula-like expression found in Untitled section. formula Untitled section medium confidence \(\alpha_C = 13/120\)
• Formula evidence 4 Verified Formula-like expression found in Untitled section. formula Untitled section medium confidence \(c_1/c_2 = -1/3\)
• Formula evidence 5 Verified Formula-like expression found in Untitled section. formula Untitled section medium confidence \(\xi = 1/6\)
• Formula evidence 6 Verified Formula-like expression found in Untitled section. formula Untitled section medium confidence \(c_T = c\)
• Formula evidence 7 Verified Formula-like expression found in Untitled section. formula Untitled section medium confidence \(c_{\log} = 37/24\)
• Formula evidence 8 Verified Formula-like expression found in Untitled section. formula Untitled section medium confidence \(V > 3f/r^2 > 0\)
• Formal structure 1 Verified Formal statement/proof cue found in Abstract. formal statement Abstract medium confidence A Cutoff function scan B Derivation of [math]
• Formal structure 2 Verified Formal statement/proof cue found in 1 Introduction. formal statement 1 Introduction medium confidence Paper 3 [Alfyorov:2026paper3] proved the chirality theorem for the [math] Seeley–DeWitt coefficient: the spin connection generators [math] commute with the chirality operator [math] in four dimensions, rendering the cur...
• Formal structure 3 Verified Formal statement/proof cue found in 1 Introduction. formal statement 1 Introduction medium confidence Paper 4 [Alfyorov:2026paper4] derived the full nonlinear field equations and their FLRW reduction ( [math] at one-loop level in the Euclidean derivation).
• Formal structure 4 Verified Formal statement/proof cue found in 1 Introduction. formal statement 1 Introduction medium confidence Results are labeled as proven (arithmetic identities formally verified in Lean 4; specifically: rational arithmetic of the [math] coefficients for given SM multiplicities; physical postulates are not formalized), verifi...
• Formal structure 5 Verified Formal statement/proof cue found in 2.2 One-loop form factors. formal statement 2.2 One-loop form factors medium confidence For alternative cutoffs [math] with [math] , the master function satisfies [math] , so this cancellation does not occur and the form factors require a separate heat kernel derivation.
• Formal structure 6 Verified Formal statement/proof cue found in 2.3 Modified propagator and the fakeon prescription. formal statement 2.3 Modified propagator and the fakeon prescription medium confidence The fakeon prescription is formulated for propagators with finitely many poles; its extension to the SCT propagator, which as an entire function of order 1 has countably many complex zeros, requires a convergence proof...
• Source archive for math audit Verified Source archive is retained for independent formula and derivation checks. source archive high confidence
• Human math verification Needs attention No author attestation covers mathematical verification. human attestation low confidence Action: Add the human verification attestation for mathematical claims.

Require a human verification attestation.

• Undisclosed-AI detector Not applicable Detector is not used as a penalty because the author disclosed AI use.
• Source available for audit Verified The source archive can be inspected against the rendered artifacts. Action: Attach or recover the source archive.
• Version hash available Verified The version hash lets readers compare rebuilt artifacts. Action: Persist and expose the version SHA-256 hash.
• Human verification attested Needs attention Human verification is not attested. Action: Require a human verification attestation.