Home Developers Evidence engineering.tolerance.monte_carlo

Public evidence

engineering.tolerance.monte_carlo

Machine-checked verification for calculation version 1.12.0 · tier internally_reviewed

CVP status

CVP VERIFIED · CVP protocol 1.0.0-proposed · Engineering assurance · O2-A analytic σ/moments/Cp* and O2-B seeded mulberry32+Box-Muller replay of mean/std/percentiles/yield + O3 mpmath tabulated analytic σ. NORTA sampling and Sobol/Shapley remain Evidence regression.

1-D MC stack; independent oracle covers analytic identities + seeded independent/joint-normal sampling; O3 covers tabulated analytic σ only

Declared partition coverage
PASS · 13/13 declared partitions (normal-independent, normal-correlated, non-normal, norta-correlated, asymmetric, mean-shift, yield-capability, sensitivity-ranking, sobol, shapley, reproducibility, large-N, invalid-domain)
Versions
Calculation 1.12.0 · CVP protocol 1.0.0-proposed · Evidence 2026-10-28.meta-metrics-v2
Verification revision
2026-10-28.meta-metrics-v2 · 40/40 property · digest 2e7bdad8b797

Verification

Legacy regression suite: 71/71 calculation tests · Production surface contract 10/10

Three distinct suites: educational examples on the calculator page, this legacy regression count (71/71 golden + boundary), and the CVP verification suite below. They are not the same number. Property, metamorphic, round-trip, O3, and interface statuses/checks are recorded in the CVP Manifest . SKIP (0/0) means that suite has no published vectors.

    This calculator CURRENT · Public schema 1.12.0 matches · Semantic contract ✓ · Production attested · Public/cache ✓ · Origin ✓

CVP verification suite

Protocol checks from the Evidence Manifest. Distinct from the legacy regression suite above. Verification revision 2026-10-28.meta-metrics-v2. Calculation version 1.12.0. CVP 1.0.0-proposed. 5/5 golden · 25/25 CVP boundary · 13/13 invalid · 40/40 property · 2/2 metamorphic · 8/8 O3 · 12/12 cross-interface · 10/10 CVP contract. digest 2e7bdad8b797. O2-A: analytic σ / moments / Cp* Cpk* vs separate-module identities (≤2 ULP). O2-B: seeded mulberry32+Box-Muller replay of mean/std/percentiles/yield (≤2 ULP). Not measured SPC. NORTA Pearson ≠ latent ρ; NORTA sampling remains Evidence regression. ≤2 ULP vs O3 applies only to the published tabulated analytic σ / moments / stack_center vectors (independent normal, correlated normal, gap, uniform, asymmetric uniform, triangular, k=1 3-4-5, single). Seeded MC statistics, NORTA, Sobol, and Shapley are not O3-compared.

  • Golden (oracle-backed) 5 / 5
  • CVP boundary 25 / 25
  • Invalid input 13 / 13
  • Property 40 / 40
  • Metamorphic 2 / 2
  • O3 high-precision 8 / 8
  • Cross-interface 12 / 12
  • CVP contract 10 / 10
  • Interfaces PASS · UI (SSR) / REST / MCP
  • Interface claim ui-ssr is query-result HTML, not a live browser session.
  • Verified scope O2-A analytic σ/moments/Cp* and O2-B seeded mulberry32+Box-Muller replay of mean/std/percentiles/yield + O3 mpmath tabulated analytic σ. NORTA sampling and Sobol/Shapley remain Evidence regression.
  • Assurance Engineering
  • Deferred NORTA sampling, Sobol, and Shapley remain Evidence regression. O3 does not cover seeded MC statistics, Gaussian copula, or GD&T/3-D chains.
  • contract page version PASS
  • contract capability version PASS
  • contract input schema version PASS
  • contract output schema version PASS
  • evidence version matches manifest PASS
  • schema output required declared PASS
  • schema valid input executes PASS
  • engine success output validates schema PASS
  • schema rejects incomplete input PASS
  • rest success payload validates schema PASS

Fingerprint sha256:b4326f46a11710b3cbb4d2b124ac12ebc8e637d6d7e6dd9fbbbdcc2fd9c25a43

Input schema sha256:55ee91bbeba09c82e0effc6d2c3bf95a9e0d7afe24f8b056bf217788b81992b1 · Output schema sha256:6bd4d91cb24648c1c65224651fb3153e3b3c7149b5328f5362df59d0ec62744a · Build-time SHA-256 digests prove published artifacts agree with each other (release_integrity.scope=workspace). Production attestation GETs canonical URLs twice (public/cached view and origin), including Capability HTML, via npm run attest:production --write (published at /.well-known/calculatorx-production-attestation.json) and fails if the public Capability page advertises a different calculation_version. This is artifact consistency, not an independent immutable release log.

Build & scope

Engine identity and declared limitations.

Tool
monte-carlo-tolerance
Engine
monte-carlo-tolerance
Engine build
2026-09-11
Evidence core
2026-09-11T23:04:52.544Z
Rendered
2026-11-10T05:18:41.880Z
Last reviewed
2026-08-12

Assumptions

  • Independent unless correlations provided
  • Correlated all-normal: joint two-piece normal via Cholesky
  • Correlated non-normal: Gaussian-copula NORTA; entered ρ is latent Gaussian correlation, not Pearson of the finished marginals
  • Cp*/Cpk* are design-stage simulated indices

Limitations

  • 1-D stack; correlations use joint normal (all-normal) or Gaussian-copula NORTA (non-normal marginals)
  • Asymmetric normal uses two-piece scaling; uniform/triangular use [-tol_minus,+tol_plus]
  • Cp/Cpk/Ppk are simulated design-stage indices from overall MC mean/σ — not measured in-control SPC
  • Sobol requires independent inputs; for this linear stack Si=STi=analytic variance shares
  • Shapley variance attribution supports correlation; exact for d≤12, permutation estimate for d>12
  • Under NORTA, analytic σ uses Cov≈ρ·σi·σj (latent ρ); prefer Monte Carlo σ
  • Shared query must encode noms/sense; legacy tol1/tol2 alone is error-only (nominals 0)
  • Not full GD&T / 3-D geometry
  • MCP/agent input schema is canonical (no legacy field aliases); REST still accepts aliases
  • calculation_fingerprint is SHA-256; calculation_short_id is FNV-1a32 for UI only
  • MCP execute/inspect default detail_level=summary; pass full for histogram/Sobol/Shapley/contributors
  • Agent correlations use named pairs {a,b,rho} only (no i/j indexes)
  • Agent tolerances: half_tolerance OR both tol_plus+tol_minus (no single-sided agent form)

Sources

Standards and references supporting this tool specification. Methods are listed separately — they are algorithms, not bibliographic sources.

Verification disclosure

Aggregate outcomes, scope and artifact commitments are public. Complete test inputs, expected values, execution records and oracle infrastructure are retained privately. This summary does not independently reproduce the full verification run.