C.29:6 - Naming, ontology, and epistemic precision-restoration account

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.

C.29:6.1a - C.29-local naming guard

MathLensUse.* instruments are C.29-local unless separately admitted.

When one C.29 application needs a mathematical-lens name to become reusable outside that application, use F.18 local-first naming; when it quantifies over a class of described entities, use C.3 Kind-CAL; when it creates or reuses a durable concept or record family, use F.8 minting or reuse and E.9 design-rationale discipline.

C.29:6.3 - Ontology guard selected for FPF

A physical, organizational, or epistemic phenomenon is not directly identified with a mathematical object; it is represented through a mathematical object by an explicitly declared mapping that preserves some structures and loses others.