Public Evidence Preflight example

Synthetic worked example

Preflight a DOI with an exact locator

What changes when a DOI, excerpt, and exact section are all supplied?

A complete structural packet can be routed to source inspection, while the preflight still refuses to call the claim verified.

Starting inputs

One bounded synthetic claim

A DOI-shaped identifier

An authorized excerpt

A section-level locator and rights declaration

Ordered execution

Work the example

  1. 1

    Normalize the DOI without resolving it.

  2. 2

    Check that the excerpt and locator are both present.

  3. 3

    Compare claim and excerpt language for routing risk.

  4. 4

    Record rights and access declarations.

  5. 5

    Digest the complete structural result.

Expected outputs

  • Ready-for-source-inspection status
  • No structural blocker codes
  • A reproducible result digest

Verification checks

  • Recompute the result digest.
  • Confirm independentSourceInspectionPerformed remains false.
  • Confirm no submitted content is retained by Maha.

Fail closed

Refusal conditions

  • A valid DOI is treated as proof the source exists.
  • The excerpt is presented as independently authenticated.
  • Structural readiness is relabelled as verification.

Real compiler output · synthetic input

Preflight result

Claims

1

Ready

1

Blocked

0

Metadata only

0

claim-001 · ready-for-source-inspection

No structural blockers; source inspection is still required.

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": "preflight-result",
  "schemaVersion": "maha-evidence-preflight/1.0",
  "input": {
    "requestId": "epf_public-example-doi-001",
    "claimCount": 1,
    "sourceKinds": [
      "doi"
    ]
  },
  "expected": {
    "summary": {
      "claimCount": 1,
      "readyForSourceInspection": 1,
      "blockedBeforeSourceInspection": 0,
      "metadataOnly": 0,
      "locatedExcerptCount": 1
    },
    "blockerSets": [
      []
    ],
    "resultSha256": "sha256:fa8663f3014b452a458ffb63f73e37b0ca460165ba29bf508a551e41dd5f3c37"
  },
  "artifactSha256": "sha256:824a72d6cd4da42c489abd03428a46498ad1362f7c8345675d119c560ac3ca8f"
}