Scientific Abstract & System Specification
Metrological testing laboratories and industrial scale verification rely on error-prone paper logbooks, manual MPE threshold calculations, and vulnerable verification records susceptible to floating-point rounding errors and tampering. NAWI formalizes deterministic scaled BigInt integer arithmetic (10,000x scaling factor) eliminating IEEE-754 floating-point drift, automated MPE compliance across accuracy classes I–IIII, role-separated rule governance, and detached SHA-256 HMAC cryptographic report verification.
Core Architectural Challenge
Deterministic legal metrology verification engine for Non-Automatic Weighing Instruments conforming to OIML R-76:2006.
Mathematical Basis & Formal Invariants
Scaled fixed-point BigInt integer math, OIML Maximum Permissible Error tolerance equations, SHA-256 HMAC digest validation.
Key Empirical Findings & Benchmark Metrics
[01]
Zero floating-point rounding divergence across 100% of tested verification suites.
[02]
Sub-second cryptographically signed PDF/DOCX audit trail generation.
[03]
Live deployment accessible at nawi.matrikaregmi.com.np.
Verification & Telemetry Testbed
OIML R-76:2006 Class I-IIII Calibration Verification Testbeds
Formal Verification & Engineering Stack
Ayaan SaifiMatrika RegmiNashra ZehraAlisha KhanQayad AliMohammad Aves