Evidence Dossier and receipt example

Synthetic worked example

Recompute a deterministic calculation receipt

Can a dossier calculation be checked without trusting its displayed answer?

The verifier repeats a fixed-point interval operation from explicit inputs, units, arithmetic policy, and kernel identity.

Starting inputs

Left interval [10, 14] nanometres

Right interval [3, 5] nanometres

Signed-i64 fixed-point arithmetic

A pinned kernel and conformance identity

Ordered execution

Work the example

  1. 1

    Validate canonical integer inputs and units.

  2. 2

    Verify the kernel byte and conformance digests.

  3. 3

    Execute interval addition.

  4. 4

    Recompute input, output, and receipt digests.

  5. 5

    Compare all outputs byte for byte.

Expected outputs

  • Output interval [13, 19] nanometres
  • Explicit lower and upper uncertainty bounds
  • A calculation-receipt digest

Verification checks

  • 10 + 3 gives the lower bound 13.
  • 14 + 5 gives the upper bound 19.
  • Any input mutation changes the receipt identity.

Fail closed

Refusal conditions

  • A unit is missing or substituted.
  • The kernel identity differs.
  • A displayed output is trusted without execution.

Digest-bound public fixture

Check the expected state

This fixture contains synthetic operational fields only. Its digest establishes fixture integrity, not scientific truth or a completed commercial transaction.

{
  "artifactKind": "calculation-receipt",
  "schemaVersion": "maha-calculation-receipt/1.0",
  "input": {
    "operation": "interval-add",
    "leftLower": "10",
    "leftUpper": "14",
    "rightLower": "3",
    "rightUpper": "5",
    "unit": "nm"
  },
  "expected": {
    "resultLower": "13",
    "resultUpper": "19",
    "unit": "nm"
  },
  "artifactSha256": "sha256:1f2538b973163eb8d9c218587e24175ef2197fd7f719978e2e3848305d7c8aca"
}