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

Link to current text

Published source confirmed at last check

Source changed 2026-10-03 10:39:28 UTC · snapshot created 2026-10-03 10:40:04 UTC · last check 2026-10-03 10:50:05 UTC

E.17.EFP:12a - C.29 mathematical-lens use relation

When a published explanation form uses a mathematical lens, EFP still classifies and bounds its explanation use. Cite the applicable C.29 output only for the mathematical-lens claim actually used. If the applicable C.29 result is MathLensUse.LensCandidateNote, retain its first-candidate recognition use and next lens-use action and output; CandidateMathObject? remains optional. For a load-bearing mathematical-lens claim, cite the exact MathLensUse.OneLine, MathLensUse.MiniCard, or MathLensUse.FullCard result required by C.29. Keep recoverable the candidate mathematical object, lens mapping mode, preserved and lost structure, exposed invariant or distinction, and stop condition required by that output, plus LensUseBoundaryValue and declaredLensUse where C.29 requires them; include blockedLensOverread? only when it passes F.19’s plausible-reader test. Keep EFP’s bounded explanation use and blocked downstream use explicit; do not copy fields already recoverable through that exact reference. Add source-relation, evidence, face, or forbidden-use detail only when the receiving use makes it material; the mathematical-lens result does not make the explanation faithful, evidential, or admissible downstream by itself.