Interpolation — Machine Interface

Direct answer

Interpolation — Machine Interface is limited to the bound authority, implementation, or commercial acquisition state and carries its exclusions explicitly.

Answer contract

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

Evidence and exact locators

t21-linear-interpolation — lib/federation/readiness-tranche-21.ts — linearInterpolate. Supports: Computes exact rational linear interpolation between two distinct integer-coordinate nodes and refuses extrapolation.

src-dlmf-interpolation — §3.3(i), equation 3.3.1; §3.3(vi). Supports: Defines polynomial interpolation through distinct nodes and identifies other interpolation methods.

What the evidence does not establish

This fixture establishes only linear interpolation inside one interval, not error bounds or suitability for observed data.

Does not establish accuracy between nodes, suitability for extrapolation, or numerical stability for a particular implementation.

Rights and reuse

project-owned-reference-only

reference-only

Dependencies and related concepts

applies-to: urn:maha:concept:computation:interpolation

governed-by: urn:maha:concept:governance

evidence-for: urn:maha:concept:computation

Authority or implementation

This authority or implementation section is constrained to the same inspected scope: Computes exact rational linear interpolation between two distinct integer-coordinate nodes and refuses extrapolation. Defines polynomial interpolation through distinct nodes and identifies other interpolation methods.

It must preserve the recorded boundary: This fixture establishes only linear interpolation inside one interval, not error bounds or suitability for observed data. Does not establish accuracy between nodes, suitability for extrapolation, or numerical stability for a particular implementation.

Mechanism or acquisition state

This mechanism or acquisition state section is constrained to the same inspected scope: Computes exact rational linear interpolation between two distinct integer-coordinate nodes and refuses extrapolation. Defines polynomial interpolation through distinct nodes and identifies other interpolation methods.

It must preserve the recorded boundary: This fixture establishes only linear interpolation inside one interval, not error bounds or suitability for observed data. Does not establish accuracy between nodes, suitability for extrapolation, or numerical stability for a particular implementation.

Verification and uncertainty

This verification and uncertainty section is constrained to the same inspected scope: Computes exact rational linear interpolation between two distinct integer-coordinate nodes and refuses extrapolation. Defines polynomial interpolation through distinct nodes and identifies other interpolation methods.

It must preserve the recorded boundary: This fixture establishes only linear interpolation inside one interval, not error bounds or suitability for observed data. Does not establish accuracy between nodes, suitability for extrapolation, or numerical stability for a particular implementation.

What this does not establish

This what this does not establish section is constrained to the same inspected scope: Computes exact rational linear interpolation between two distinct integer-coordinate nodes and refuses extrapolation. Defines polynomial interpolation through distinct nodes and identifies other interpolation methods.

It must preserve the recorded boundary: This fixture establishes only linear interpolation inside one interval, not error bounds or suitability for observed data. Does not establish accuracy between nodes, suitability for extrapolation, or numerical stability for a particular implementation.

Questions this page can answer