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: coauthor. Action: Choose none, assistant, coauthor, or primary for AI involvement.
• AI models named Verified 3 models 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 the human verification attestation for mathematical claims.

• Formula evidence 1 Verified Formula-like expression found in Untitled section. formula Untitled section medium confidence \(F_1,F_2\)
• Formula evidence 2 Verified Formula-like expression found in Untitled section. formula Untitled section medium confidence \(S_{\mathrm{NL}}\)
• Formula evidence 3 Verified Formula-like expression found in Untitled section. formula Untitled section medium confidence \(\mathrm{d} A_+/\mathrm{d} v > 0\)
• Formula evidence 4 Verified Formula-like expression found in Untitled section. formula Untitled section medium confidence \(\mathrm{d} A_-/\mathrm{d} v < 0\)
• Formula evidence 5 Verified Formula-like expression found in Untitled section. formula Untitled section medium confidence \(M\Lambda\in[0.84,\,10^6]\)
• Formula evidence 6 Verified Formula-like expression found in Untitled section. formula Untitled section medium confidence \(\mathrm{d} S_{\mathrm{total}}/\mathrm{d} v \ge 0\)
• Formula evidence 7 Verified Formula-like expression found in Untitled section. formula Untitled section medium confidence Lambda = \sqrt{27/(16 z_1)} \simeq 0
• Formula evidence 8 Verified Formula-like expression found in Untitled section. formula Untitled section medium confidence An asymptotic argument shows the inner-horizon contribution is suppressed as \(\mathcal O(1/M^2)\) in the Schwarzschild-like limit (a sharper suppression than naive expectation, traceable to the spectral lock \(r_-^2 -...
• Formal structure 1 Verified Formal statement/proof cue found in Untitled section. formal statement Untitled section medium confidence The recently proposed fakeon Pauli-Villars regulator from the spectral causal theory (SCT) - a one-loop effective gravitational theory with entire-function nonlocal form factors \(F_1,F_2\) acting on the Weyl- and Ricci...
• Formal structure 2 Verified Formal statement/proof cue found in Second-law check through the inner Cauchy horizon of regular black holes with nonlocal fakeon-regulated mass inflation. formal statement Second-law check through the inner Cauchy horizon of regular black holes with nonlocal fakeon-regulated mass inflation medium confidence The recently proposed fakeon Pauli–Villars regulator from the spectral causal theory (SCT) — a one-loop effective gravitational theory with entire-function nonlocal form factors [math] acting on the Weyl- and Ricci-squa...
• Formal structure 3 Verified Formal statement/proof cue found in 1 Introduction. formal statement 1 Introduction medium confidence The classical inner Cauchy horizon of a charged or rotating black hole is generically unstable: ingoing and outgoing late-time fluxes are blueshifted exponentially with respect to a horizon-comoving observer, and their...
• Formal structure 4 Verified Formal statement/proof cue found in 1 Introduction. formal statement 1 Introduction medium confidence The algebraic Anselmi-smooth interpolation (henceforth “S3”) replaces the bare blueshift kernel [math] by [math] which is bounded above by [math] as [math] and produces a monotone non-decreasing [math] saturating to a f...
• Formal structure 5 Verified Formal statement/proof cue found in 2 Hayward+SCT background and entropy ansatz. formal statement 2 Hayward+SCT background and entropy ansatz medium confidence The driver of the entropy evolution is the S3 mass-aspect equation [math] (7) where [math] is the Price-tail decay exponent and [math] is the Anselmi-smooth kernel, which yields [math] identically; the natural seed freq...
• Formal structure 6 Verified Formal statement/proof cue found in 2 Hayward+SCT background and entropy ansatz. formal statement 2 Hayward+SCT background and entropy ansatz medium confidence Equation (7) is implicit through the appearance of [math] and [math] on the right-hand side; we integrate it self-consistently along [math] , evaluating the horizon at [math] at every step.
• 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.