Home Developers Evidence engineering.process.cpmk

Public evidence

engineering.process.cpmk

Machine-checked verification for calculation version 1.0.0 · tier engine_tested

Verification

7/7 calculation tests · Production surface contract 4/4

  • Golden tests 0 / 0
  • Boundary tests 4 / 4
  • Property tests 3 / 3
  • Production surface contract 4 / 4
  • }
  • Engine tested Yes
  • Source checked Yes
  • Artifact integrity PASS
  • Production attestation Embedded snapshot: STALE · Last attested schema matched 1.0.0 snapshot / local build · Semantic contract ✓ · Last attestation PASS · current evidence changed · re-attestation required · Public/cache ✓ · Origin ✓ · Live production status PASS (0 stale; 164 CURRENT) @ 2026-09-16T06:44:24.909Z
  • Semantic contract PASS
  • Evidence attested at 2026-09-16T06:44:24.203Z
  • Last production check 2026-09-16T06:44:24.203Z
  • Public / cache PASS
  • Origin PASS
  • Supplemental domain review Not performed
  • Named expert review Not performed
  • release artifacts aligned PASS
  • schema valid input executes PASS
  • engine success output validates schema PASS
  • schema rejects incomplete input PASS

Fingerprint sha256:45301a6db44ca0b48d43808b1fd35723349c5f376c995afbcc4680636d07b1bc

Input schema sha256:e5055fd2afc7d93270dab36473584409b9c9056ade0030f6b012630f7b658da7 · Output schema sha256:2f7d5bc94e11ab8b4a08d9ba09112e1e00a820396691a571acffb3766684446b · 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
cpmk
Engine
cpmk
Engine build
2026-09-16
Evidence core
2026-09-16T21:07:40.795Z
Rendered
2026-09-16T22:38:08.850Z
Last reviewed

Assumptions

  • Taguchi Cpmk = min(USL−μ, μ−LSL)/(3√(σ²+(μ−target)²)) from stated μ, σ, LSL, USL, and target.
  • Not Cpm (two-sided span), not Cpk (no target in the denominator), not Ppm, and not a 1.33 verdict.

Limitations

  • Design-stage from stated μ and σ — not measured in-control SPC
  • Not Cpm (that uses the two-sided span USL−LSL)
  • Not Cpk (Cpk has no target in the denominator)
  • Not Ppm (that uses sample s)
  • This page does not issue a Cpmk≥1.33 verdict

Sources

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

Published checks

Golden, boundary, and property cases included in this evidence build.

IDKindStatusDetail
boundary-cpmkboundarypassExpected Cpmk=2 · offset=0 · Actual Cpmk=2 · mu=6 · sigma=1 · target=6 · offset=0 · lsl=0 · usl=12
boundary-cpmk-shiftboundarypassExpected Cpmk=1.178511301977579 · Actual Cpmk=1.178511301977579 · mu=7 · sigma=1 · target=6 · offset=1 · lsl=0 · usl=12
boundary-cpmk-missingboundarypassExpected MISSING_REQUIRED_INPUT · Actual MISSING_REQUIRED_INPUT
boundary-cpmk-sigmaboundarypassExpected VALUE_MUST_BE_POSITIVE · Actual VALUE_MUST_BE_POSITIVE
property-cpmkpropertypass2
property-cpmk-shiftpropertypass5/(3√2)
property-cpmk-aliaspropertypass2