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

Link to current text

Published source confirmed at last check

Source changed 2026-10-03 14:36:52 UTC · snapshot created 2026-10-03 14:38:14 UTC · last check 2026-10-03 14:50:08 UTC

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

When a bounded comparative review unit uses a mathematical comparison criterion, rival lens, invariant, obstruction, or structural similarity, E.17.ID.CR still works over comparison unit, viewpoint, comparison criterion, review-unit boundary, and bounded-use boundary. The applicable C.29 output for the stated use can be cited only for the mathematical-lens use. If that output is MathLensUse.LensCandidateNote, retain its first-candidate recognition use and next lens-use action and output; CandidateMathObject? remains optional. When citing an output for a claim-bearing mathematical-lens use, use the exact MathLensUse.OneLine, MathLensUse.MiniCard, or MathLensUse.FullCard result required by C.29 and keep recoverable its candidate mathematical object, lens mapping mode, preserved and lost structure, and stop condition, plus LensUseBoundaryValue and declaredLensUse where C.29 requires them; include blockedLensOverread? only when it passes F.19’s plausible-reader test. Keep the review unit’s bounded use and blocked downstream claim or effect explicit. The C.29 output does not create the comparison record, adjudicate rival publications, or authorize bridge, evidence, selector, or benchmark claims outside the comparative-review-unit record.