fpf.tools
Library / First Principles Framework (FPF) - Core Conceptual Specification
Jump to passage
In this reading
Source · lines 65679–65686

Link to current text

Published source confirmed at last check

Source changed 2026-10-03 08:01:07 UTC · snapshot created 2026-10-03 08:04:31 UTC · last check 2026-10-03 08:04:24 UTC

C.29:6.1 - Name

Name: C.29 — Mathematical Lens Use.

Local namespace: MathLensUse = Mathematical Lens Use. The pattern-local card and reference namespace uses MathLensUse; checklist IDs use CC-C29-*.

The stable name is Mathematical Lens Use because C.29 governs a declared use and its use boundary. A mathematical lens may summarize, re-express or extend an account. For a recorded use, CandidateMathObject, LensMappingMode, PreservedStructure, LostStructure, LensUseBoundaryValue, and StopCondition describe the correspondence and its limits.