Direct answer
Licensed Retrieval — Failure Modes describes the bounded Maha behavior established by the cited implementation and carries the implementation's explicit non-claims.
Answer contract
Apply the failure modes lens only to the exact inspected source scope; do not infer authority from adjacent topics.
Evidence and exact locators
t19-licensed-retrieval-refusals — lib/mcp-evidence-licensing.ts — parseMcpEvidenceToolArguments and mcpEvidenceRequestSha256. Supports: Requires one exact selector and binds material request arguments for replay safety.
What the evidence does not establish
Local parsing and digests do not prove hosted availability.
Rights and reuse
project-owned-reference-only
Dependencies and related concepts
applies-to: urn:maha:concept:evidence:licensed-retrieval
governed-by: urn:maha:concept:governance
evidence-for: urn:maha:concept:evidence
Inputs and prerequisites
This inputs and prerequisites section is constrained to the same inspected scope: Requires one exact selector and binds material request arguments for replay safety.
It must preserve the recorded boundary: Local parsing and digests do not prove hosted availability.
Ordered behavior
This ordered behavior section is constrained to the same inspected scope: Requires one exact selector and binds material request arguments for replay safety.
It must preserve the recorded boundary: Local parsing and digests do not prove hosted availability.
Verification or refusal states
This verification or refusal states section is constrained to the same inspected scope: Requires one exact selector and binds material request arguments for replay safety.
It must preserve the recorded boundary: Local parsing and digests do not prove hosted availability.
What this does not establish
This what this does not establish section is constrained to the same inspected scope: Requires one exact selector and binds material request arguments for replay safety.
It must preserve the recorded boundary: Local parsing and digests do not prove hosted availability.
Related definition and applications
This related definition and applications section is constrained to the same inspected scope: Requires one exact selector and binds material request arguments for replay safety.
It must preserve the recorded boundary: Local parsing and digests do not prove hosted availability.
Questions this page can answer
What exact behavior is implemented?
Licensed Retrieval — Failure Modes describes the bounded Maha behavior established by the cited implementation and carries the implementation's explicit non-claims.
Which inputs and identities are required?
t19-licensed-retrieval-refusals, lib/mcp-evidence-licensing.ts — parseMcpEvidenceToolArguments and mcpEvidenceRequestSha256
Which exact symbol bears the explanation?
Local parsing and digests do not prove hosted availability.
Which refusal or verification boundary applies?
applies-to: urn:maha:concept:evidence:licensed-retrieval governed-by: urn:maha:concept:governance evidence-for: urn:maha:concept:evidence
What external outcome does this implementation not establish?
A source, locator, rights, scope, boundary, dependency, implementation, or release change requires a new exact-revision review.