maha research · governed federation

Formal Definition — Fixture

Formal Definition — Fixture is implemented as a source-bounded fixture guide. The inspected material supports only this scope: Verifies formal-proof attachments against pinned source, manifest, claim, and toolchain identities. The page retains this limit: Formal verification does not establish empirical premises or source truth.

Active canonical release · fedrelease_b7a7ee9a5a3da0227cf87439b228d7e8 · exact revision sha256:904924fc7b03cf93d485908c473eda2c9d4f766ed32e32804b9ddcd35f30d348

answer

Direct answer

Formal Definition — Fixture is implemented as a source-bounded fixture guide. The inspected material supports only this scope: Verifies formal-proof attachments against pinned source, manifest, claim, and toolchain identities. The page retains this limit: Formal verification does not establish empirical premises or source truth.

method

Answer contract

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

evidence

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.

limitations

What the evidence does not establish

Formal verification does not establish empirical premises or source truth.

rights

Rights and reuse

project-owned-reference-only

relationships

Dependencies and related concepts

applies-to: urn:maha:concept:evidence:formal-definition

governed-by: urn:maha:concept:governance

evidence-for: urn:maha:concept:evidence

required-by-specification

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.

required-by-specification

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.

required-by-specification

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.

required-by-specification

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.

bounded answers

Questions this page can answer

What is established?

Formal Definition — Fixture is implemented as a source-bounded fixture guide. The inspected material supports only this scope: Verifies formal-proof attachments against pinned source, manifest, claim, and toolchain identities. The page retains this limit: Formal verification does not establish empirical premises or source truth.

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.