PUBLISHED VECTORS
24
Human-readable vectors covering exact boundaries, decimal precision, missing inputs, percentage/ppm requirements, guarded decisions, zero/negative requirements, very small values and large values.
NUMERICAL LOGIC VERIFICATION · BUILD-GATED EVIDENCE
The calculator has to prove itself before the badge means anything.
METRAXIOM publishes the verification profile, executable vector counts, bounded input contract, formula contract and limitations behind its canonical calibration calculation engine. This is software numerical verification—not calibration accreditation or a statement about the accuracy of any laboratory measurement.
METRAXIOM CALCULATION ENGINENUMERICAL LOGIC VERIFIEDProfile 2026.09.05-v3 · Engine 2026.09.05-v3
14,234of 14,234 deterministic evaluations passed
INPUT INTEGRITY
10
Counted fail-closed cases for malformed or negative uncertainty, unsupported rules, non-finite values, oversized numeric tokens, compact extreme scientific notation, missing U, skipped state and the explicit zero-U mathematical boundary.
ADVERSARIAL MATRIX
12,000
Deterministic combinations of engineering magnitudes, error-to-limit relationships, uncertainty fractions, resolution ratios and decision-rule states reconstructed by an independent Decimal oracle.
REQUIREMENT MODELS
1,200
Independent checks of per-point, common absolute, percent-reading, percent-span, combined percent, and ppm reading/range limit construction.
REPRODUCIBILITY
1,000
Byte-identical serialized result replays for a high-precision boundary input. Any drift fails the verification profile.
PDF GEOMETRY SMOKE PROOF
1 page
The canonical five-point example rendered successfully as a real US Letter landscape PDF using PDFKit 0.20.2. The build fails if it becomes a phantom two-page artifact.
FORMULA CONTRACT
What this profile actually verifies.
The public formula names and deterministic input boundary below are version-controlled. A future semantic change to the engine requires a new engine/profile version rather than silently inheriting this result.
error
VERIFIED PROFILEDUT − Reference
correction
VERIFIED PROFILEReference − DUT
tur
VERIFIED PROFILERequirement half-width ÷ expanded measurement uncertainty
tar
VERIFIED PROFILERequirement half-width ÷ stated reference accuracy
toleranceUsedPercent
VERIFIED PROFILE|Error| ÷ requirement half-width × 100
guardBandMargin
VERIFIED PROFILERequirement half-width − (|Error| + expanded uncertainty)
requirementResolutionRatio
VERIFIED PROFILERequirement half-width ÷ resolution
guardedAcceptance
VERIFIED PROFILEPASS when |Error| + U ≤ requirement half-width; REVIEW when raw error is within requirement but guarded interval is not satisfied; FAIL when |Error| exceeds requirement
simpleAcceptance
VERIFIED PROFILEPASS when |Error| ≤ requirement half-width; otherwise FAIL
Bounded numeric input
Profile 2026.09.05-v3 limits direct numeric tokens to 256 characters before Decimal construction. This is a software resource/integrity boundary, not a metrological resolution or uncertainty claim.
PUBLISHED REFERENCE VECTORS
Inspect examples instead of trusting a percentage.
| ID | Purpose | Expected decision | Expected error | Expected TUR |
|---|---|---|---|---|
| PV-001 | Zero error with complete audit ratios | PASS | 0 | 5 |
| PV-002 | Simple acceptance is inclusive at the exact requirement boundary | PASS | 1 | — |
| PV-003 | Simple acceptance fails immediately outside the boundary | FAIL | 1.0001 | — |
| PV-004 | Guarded acceptance is inclusive when |error| + U exactly equals requirement | PASS | 0.8 | — |
| PV-005 | Guarded acceptance returns REVIEW when raw error is in tolerance but guard band is not | REVIEW | — | — |
| PV-006 | Guarded acceptance returns FAIL when raw error exceeds the requirement | FAIL | 1.1 | — |
| PV-007 | Guarded acceptance refuses PASS/FAIL without expanded uncertainty | REVIEW | — | — |
| PV-008 | No decision rule leaves a valid measurement result NOT EVALUATED | NOT EVALUATED | 0.1 | — |
| PV-009 | Skipped point remains explicitly skipped | SKIPPED | — | — |
| PV-010 | Percent-of-reading requirement uses absolute reading magnitude | PASS | — | 10 |
| PV-011 | Percent-of-span requirement | PASS | — | 5 |
| PV-012 | Percent reading plus percent span requirement | PASS | — | 7 |
| PV-013 | PPM reading plus PPM range precision-electrical requirement | PASS | — | 6 |
| PV-014 | Percent-of-reading uses absolute magnitude for negative readings | PASS | 0.1 | — |
| PV-015 | Decimal subtraction does not introduce binary floating-point residue | PASS | 0.0000000000000000001 | — |
| PV-016 | TUR is unavailable when expanded uncertainty is zero | PASS | — | — |
| PV-017 | TAR is unavailable when entered reference accuracy is zero | PASS | — | — |
| PV-018 | Requirement-to-resolution ratio is explicit | PASS | — | — |
| PV-019 | Zero requirement can only pass exact zero error | PASS | — | — |
| PV-020 | Negative requirement is not treated as an authoritative acceptance region | NOT EVALUATED | — | — |
| PV-021 | Missing reference prevents an error calculation and conformity decision | NOT EVALUATED | — | — |
| PV-022 | Very small engineering values remain deterministic | PASS | 0.0000000002 | 10 |
| PV-023 | Large engineering values remain deterministic | PASS | 100 | 25 |
| PV-024 | Target is used as requirement reading basis only when reference is absent | NOT EVALUATED | — | — |
VERIFICATION BOUNDARY
Correct arithmetic does not create metrological authority.
Verification applies to software numerical logic and its bounded input semantics only. It does not establish calibration accuracy, measurement uncertainty, metrological traceability, laboratory accreditation, or conformity of user-entered data.
The current numerical profile deliberately excludes unit-conversion accuracy. The PDF proof is a fixed canonical five-point geometry/byte smoke proof—not a claim that every possible long report, printer, viewer, accessibility profile or archival format has been independently certified. The evidence also does not validate a laboratory's uncertainty budget, reference standards, method, competence, traceability, environment or customer-entered data.
Permitted public statement
“Calculation engine verified against published, input-integrity, and adversarial deterministic test vectors within the stated profile.”
Not permitted: “calibration accuracy verified,” “ISO/IEC 17025 certified,” “traceability certified,” or any numerical accuracy percentage that this evidence does not establish.