Public Evidence Preflight example

Synthetic worked example

Preflight three claims with mixed outcomes

Can one request preserve ready and blocked claims without averaging them?

Each claim receives its own decision; one complete claim cannot make two incomplete claims look ready.

Starting inputs

Three synthetic claims

Mixed DOI and URL identifiers

One metadata-only citation

One overbroad safety claim

Ordered execution

Work the example

  1. 1

    Validate the request-level three-claim bound.

  2. 2

    Assess every claim independently.

  3. 3

    Keep blocker codes attached to their claim.

  4. 4

    Aggregate counts without averaging status.

  5. 5

    Digest the ordered result.

Expected outputs

  • One request-level result
  • Per-claim blocker sets
  • Ready, blocked, metadata-only, and located counts

Verification checks

  • claimCount equals three.
  • At least one claim is ready and at least one blocked.
  • Reordering or editing claims changes the result digest.

Fail closed

Refusal conditions

  • A ready claim clears the whole request.
  • Blockers migrate between claims.
  • The safety claim is softened only in the summary.

Real compiler output · synthetic input

Preflight result

Claims

3

Ready

1

Blocked

2

Metadata only

1

claim-001 · ready-for-source-inspection

No structural blockers; source inspection is still required.

claim-002 · blocked-before-source-inspection

exact-locator-missing · source-metadata-only

claim-003 · blocked-before-source-inspection

claim-scope-overbroad

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-mixed-008",
    "claimCount": 3,
    "sourceKinds": [
      "doi",
      "doi",
      "url"
    ]
  },
  "expected": {
    "summary": {
      "claimCount": 3,
      "readyForSourceInspection": 1,
      "blockedBeforeSourceInspection": 2,
      "metadataOnly": 1,
      "locatedExcerptCount": 2
    },
    "blockerSets": [
      [],
      [
        "exact-locator-missing",
        "source-metadata-only"
      ],
      [
        "claim-scope-overbroad"
      ]
    ],
    "resultSha256": "sha256:2338b40e63a14b82a39930985560b230b6f47a5e6cbc8c8cee8cc33a9d049a57"
  },
  "artifactSha256": "sha256:2edea4e3d82a249515e0b18c1b0310451c5d03bf630bc89372334af81d148ddc"
}