Direct answer
Formal Definition — 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-formal-definition — packages/maha-lean-bridge/src/verifier.ts — verifyAttachments. Supports: Verifies formal-proof attachments against pinned source, manifest, claim, and toolchain identities.
What the evidence does not establish
Formal verification does not establish empirical premises or source truth.
Rights and reuse
project-owned-reference-only
Dependencies and related concepts
applies-to: urn:maha:concept:evidence:formal-definition
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: Verifies formal-proof attachments against pinned source, manifest, claim, and toolchain identities.
It must preserve the recorded boundary: Formal verification does not establish empirical premises or source truth.
Method
This method section is constrained to the same inspected scope: Verifies formal-proof attachments against pinned source, manifest, claim, and toolchain identities.
It must preserve the recorded boundary: Formal verification does not establish empirical premises or source truth.
Limits and uncertainty
This limits and uncertainty section is constrained to the same inspected scope: Verifies formal-proof attachments against pinned source, manifest, claim, and toolchain identities.
It must preserve the recorded boundary: Formal verification does not establish empirical premises or source truth.
Dependencies
This dependencies section is constrained to the same inspected scope: Verifies formal-proof attachments against pinned source, manifest, claim, and toolchain identities.
It must preserve the recorded boundary: Formal verification does not establish empirical premises or source truth.
Questions this page can answer
What is established?
Formal Definition — Source Contract is implemented as a source-bounded source contract guide.
Which exact source establishes it?
t23-formal-definition, packages/maha-lean-bridge/src/verifier.ts — verifyAttachments
What dependency remains separate?
Formal verification does not establish empirical premises or source truth.
What uncertainty remains?
applies-to: urn:maha:concept:evidence:formal-definition governed-by: urn:maha:concept:governance evidence-for: urn:maha:concept:evidence
What must not be inferred?
A source, locator, rights, scope, boundary, dependency, implementation, or release change requires a new exact-revision review.