Skip to content

Author

Riccardo Giudici

8 papers indexed here

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

#software testing Open access Oct 2026

Σ-AFO/HM: v2.0 Bounded Adaptive Routing with Human Authority Gates

Documentation-only v2.0 methodological note in the existing Σ-AFO/HM version family. This original English PDF derives a bounded adaptive-routing rule in which human authority, evidence and risk are mandatory gates rather than compensable scores. Nineteen local finite synthetic tests passed. They do not establish gener...

Riccardo Giudici · 0 citations
#software testing Open access Sep 2026

P15-CROSSMAP: A fail-closed relation gate

Documentation-only v0.2.0 of P15-CROSSMAP. This original English technical note classifies three bounded relations among the locally tested R15 Maxwell fixtures: the conforming R5 oracle versus the hybrid beta=4 pencil, the historical beta=4 failure versus the beta=24 stabilization candidate, and source-problem refinem...

Riccardo Giudici · 0 citations
#software testing Open access Oct 2026

P16-FALSIFICATION: A fail-closed adversarial evidence gate

Documentation-only v0.2.0 of P16-FALSIFICATION. This original English technical note develops a bounded finite-spectral counterexample step by step for the R15 primal-hybrid Maxwell pencil at beta=4, n=3: 323 negative, 8 zero and 641 positive finite modes, totaling 972. The explicit retrospective rejection rule is not...

Riccardo Giudici · 0 citations
#explainable ai Open access Oct 2026

Scientific Computing Verification Stack

Documentation-only R3 addendum to Scientific Computing Verification Stack R2 (https://doi.org/10.5281/zenodo.22861401). The new PDF walks through four distinct questions in the finite R15 Maxwell sequence: measured source-problem refinement, the separately reported conforming R5 spectral comparator, failure of the hist...

Riccardo Giudici · 0 citations
#explainable ai Open access Oct 2026

Scientific Computing Verification Stack

Documentation-only R3 addendum to Scientific Computing Verification Stack R2 (https://doi.org/10.5281/zenodo.22861401). The new PDF walks through four distinct questions in the finite R15 Maxwell sequence: measured source-problem refinement, the separately reported conforming R5 spectral comparator, failure of the hist...

Riccardo Giudici · 0 citations
#software testing Open access Oct 2026

P16-FALSIFICATION: A fail-closed adversarial evidence gate

Documentation-only v0.2.0 of P16-FALSIFICATION. This original English technical note develops a bounded finite-spectral counterexample step by step for the R15 primal-hybrid Maxwell pencil at beta=4, n=3: 323 negative, 8 zero and 641 positive finite modes, totaling 972. The explicit retrospective rejection rule is not...

Riccardo Giudici · 0 citations
#explainable ai Open access Sep 2026

Three-Dimensional Integral Balance and Diffusive-Advective Transport: An Executable Code-to-Mathematics Equivalence Audit

Version 2.0.0 of the independent 3D-FIELD technical note. This release translates the sparse-polynomial Python implementation into conventional mathematics over Q[x,y,z,t] and explains the original six rational-arithmetic fixture checks step by step. Four further exact checks cover the Leibniz rule, the fundamental the...

Riccardo Giudici · 0 citations
#explainable ai Open access Sep 2026

Three-Dimensional Integral Balance and Diffusive-Advective Transport: An Executable Code-to-Mathematics Equivalence Audit

Version 2.0.0 of the independent 3D-FIELD technical note. This release translates the sparse-polynomial Python implementation into conventional mathematics over Q[x,y,z,t] and explains the original six rational-arithmetic fixture checks step by step. Four further exact checks cover the Leibniz rule, the fundamental the...

Riccardo Giudici · 0 citations

We use cookies to run the site and, with your consent, for analytics and to show ads. See our Cookie Policy.