Library / First Principles Framework (FPF) - Core Conceptual Specification
Jump to passage
In this reading

Link to current text

Published source confirmed at last check

Source changed 2026-10-03 05:29:54 UTC · snapshot created 2026-10-03 05:30:57 UTC · last check 2026-10-03 05:50:20 UTC

C.11:12b - C.29 mathematical-lens use relation

C.29 may supply a lens-supported prediction, distinction, obstruction, diagnostic boundary, or rival-lens note that a decision record can cite. If the output is a ChoiceResult or local choice record, use C.11 to state and test the decision. Any G.5 selector-result declaration and G.9 benchmark result remain separate. When one of those results must be available to an audience, use E.17 for its source-backed publication face and return to source and E.24.PUB for the publication occurrence and availability. C.29 does not select the option by mathematical elegance.