All of them run today; the right-hand column says how each one is checked.
DEM engine · ComputeGeometries and particle simulations with implementación de referencia DEM on remote server
Calibrated against the published cone test of Li et al. (2021)
FE engine · ComputeS8R mesh, calculation with the finite-element solver, results in JSON
< 0.3 % vs exact solution and mesh convergence (Richardson)
Wear-life model · ComputeRelative steel plate life via two-segment power law calibrated with Monte Carlo
Monte Carlo of 200,000 samples, declared falsifiers
Web calculators · ReportThree dependency-free calculators: silo Janssen, weld fatigue S-N, membrane stress
20 JS cases = Python at 1e-9 tolerance
Dossier builder · ReportGenerates self-contained scientific dossier: JSON, HTML in ES/EN, ZIP and SHA-256
Hash per figure and execution log
Paper pipeline (pf) · Plan / VerifyOrchestrates the full article lifecycle: ideation, experiments, submission
105 accepted works, register as of 17-10-2026
Anti-fabrication audit · VerifyExtracts numerical claims and verifies each value against attached artefacts
Claims checked against their artefacts
Proof ledger · VerifyBuilds the unified submission ledger reproducibly and deterministically
Deterministic, verifiable with --check
Dossier service and orchestrator: roadmap.