Starting inputs
A bounded synthetic claim
A valid public URL
A matching excerpt
No locator
Ordered execution
Work the example
- 1
Validate the URL syntax.
- 2
Recognize that excerpt content was supplied.
- 3
Check for a bounded locator.
- 4
Mark the excerpt unlocated.
- 5
Request a page, section, figure, table, equation, paragraph, or timestamp.
Expected outputs
- User-supplied-unlocated-excerpt status
- exact-locator-missing blocker
- Blocked routing decision
Verification checks
- locatorStatus is locator-missing.
- The result digest covers the missing locator.
- Adding a locator changes the digest.
Fail closed
Refusal conditions
- The entire document is accepted as a locator.
- The excerpt is treated as independently inspected.
- A locator is guessed.
Real compiler output · synthetic input
Preflight result
Claims
1
Ready
0
Blocked
1
Metadata only
0
claim-001 · blocked-before-source-inspection
exact-locator-missing
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-locator-006",
"claimCount": 1,
"sourceKinds": [
"url"
]
},
"expected": {
"summary": {
"claimCount": 1,
"readyForSourceInspection": 0,
"blockedBeforeSourceInspection": 1,
"metadataOnly": 0,
"locatedExcerptCount": 0
},
"blockerSets": [
[
"exact-locator-missing"
]
],
"resultSha256": "sha256:497451963898d4109248b12c9fa53d1b0f29f86dab72ffc7286d1e83e1b5252a"
},
"artifactSha256": "sha256:5193fcf73a8101f11518a9887220ce517c487ca193e69a38cc98f5ed9480e68c"
}