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:f412d377162859a459a5f8eb0c72e0e4babd5050f13559ea366c6d30a480ec95"
  },
  "artifactSha256": "sha256:4fe1b5c5b3867327d4456c31d6b47a94ef9fdd36e63225ad528eb87a5e432d51"
}