Locator Verification — Verification

Direct answer

Locator Verification — Verification is implemented as a source-bounded verification guide.

Answer contract

Apply the verification lens only to the exact inspected source scope; do not infer authority from adjacent topics.

Evidence and exact locators

t22-locator-verifier — lib/federation/readiness-tranche-22.ts — verifyLocator. Supports: Verifies exact equality of source identity, revision, locator kind, and locator value and returns a digest.

What the evidence does not establish

A matching locator proves identity of the declaration, not that the passage exists, was inspected, or supports a claim.

Rights and reuse

project-owned-reference-only

Dependencies and related concepts

applies-to: urn:maha:concept:evidence:locator-verification

governed-by: urn:maha:concept:governance

evidence-for: urn:maha:concept:evidence

Authority or implementation

This authority or implementation section is constrained to the same inspected scope: Verifies exact equality of source identity, revision, locator kind, and locator value and returns a digest.

It must preserve the recorded boundary: A matching locator proves identity of the declaration, not that the passage exists, was inspected, or supports a claim.

Method or mechanism

This method or mechanism section is constrained to the same inspected scope: Verifies exact equality of source identity, revision, locator kind, and locator value and returns a digest.

It must preserve the recorded boundary: A matching locator proves identity of the declaration, not that the passage exists, was inspected, or supports a claim.

Verification and uncertainty

This verification and uncertainty section is constrained to the same inspected scope: Verifies exact equality of source identity, revision, locator kind, and locator value and returns a digest.

It must preserve the recorded boundary: A matching locator proves identity of the declaration, not that the passage exists, was inspected, or supports a claim.

What this does not establish

This what this does not establish section is constrained to the same inspected scope: Verifies exact equality of source identity, revision, locator kind, and locator value and returns a digest.

It must preserve the recorded boundary: A matching locator proves identity of the declaration, not that the passage exists, was inspected, or supports a claim.

Dependencies

This dependencies section is constrained to the same inspected scope: Verifies exact equality of source identity, revision, locator kind, and locator value and returns a digest.

It must preserve the recorded boundary: A matching locator proves identity of the declaration, not that the passage exists, was inspected, or supports a claim.

Questions this page can answer