Passage Locator — Source Contract

Direct answer

Passage Locator — Source Contract is implemented as a source-bounded source contract guide.

Answer contract

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

Evidence and exact locators

t23-locator-contract — lib/federation/readiness-tranche-22.ts — verifyLocator. Supports: Binds source, source revision, locator kind, and locator value and refuses substitution.

What the evidence does not establish

A matching declaration does not prove passage existence or claim support.

Rights and reuse

project-owned-reference-only

Dependencies and related concepts

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

governed-by: urn:maha:concept:governance

evidence-for: urn:maha:concept:evidence

Source or implementation

This source or implementation section is constrained to the same inspected scope: Binds source, source revision, locator kind, and locator value and refuses substitution.

It must preserve the recorded boundary: A matching declaration does not prove passage existence or claim support.

Method

This method section is constrained to the same inspected scope: Binds source, source revision, locator kind, and locator value and refuses substitution.

It must preserve the recorded boundary: A matching declaration does not prove passage existence or claim support.

Limits and uncertainty

This limits and uncertainty section is constrained to the same inspected scope: Binds source, source revision, locator kind, and locator value and refuses substitution.

It must preserve the recorded boundary: A matching declaration does not prove passage existence or claim support.

Dependencies

This dependencies section is constrained to the same inspected scope: Binds source, source revision, locator kind, and locator value and refuses substitution.

It must preserve the recorded boundary: A matching declaration does not prove passage existence or claim support.

Questions this page can answer