Evidence Dossier and receipt example

Synthetic worked example

Preserve an absent calculation instead of inventing one

What should a dossier do when a claim has no reproducible numerical inputs?

It records that no calculation applies and keeps the calculation attachment empty.

Starting inputs

A qualitative synthetic claim

One inspected passage

No variables or units

No uncertainty declaration

Ordered execution

Work the example

  1. 1

    Ask whether the claim requires a calculation.

  2. 2

    Look for complete variables, units, assumptions, and uncertainty.

  3. 3

    Record each missing prerequisite.

  4. 4

    Leave calculation attachments empty.

  5. 5

    Keep prose evidence and computation status separate.

Expected outputs

  • calculationsApplicable set false
  • An empty receipt list
  • A reason naming the missing inputs

Verification checks

  • No numeric output appears.
  • No placeholder receipt digest appears.
  • The evidence claim remains independently reviewable.

Fail closed

Refusal conditions

  • Numbers are inferred from prose.
  • A point estimate is fabricated.
  • An empty array is treated as a failed computation.

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": "dossier-package",
  "schemaVersion": "maha-evidence-dossier/0.1",
  "input": {
    "claimKind": "qualitative",
    "declaredVariables": [],
    "declaredUnits": [],
    "uncertainty": null
  },
  "expected": {
    "calculationsApplicable": false,
    "calculationReceipts": []
  },
  "artifactSha256": "sha256:c3a2f3132131f385cb4f7b9cfbaa281078db5beaaae6151f69f4d7b9637c18be"
}