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

Link to current text

Published source confirmed at last check

Source changed 2026-10-03 07:42:37 UTC · snapshot created 2026-10-03 07:43:27 UTC · last check 2026-10-03 08:00:10 UTC

G.5:4.4e - Source sets, operating modes and comparison policy

Use §4.4b for the emitted outcome and §4.4bb–ca for its source and public-label interpretation. An actual SelectionSlot binding carries the by-value selected candidate set; it is separate from G.5’s declared SelectorOutcome. ChoiceSet remains an ordinary mathematical set gloss, not an additional public result kind.

DeclarationMeaning and applicable condition
FrontThe non-dominated source set under the declared DominanceSet.
ArchiveThe exploration set retained under its policy.
PortfolioModeHow the selector operated. The default Archive retains exploration evidence; it establishes neither an emitted Archive nor a different result family or DominanceSet.
SourceSetFamily, SourceSetCompositionState the immediate source family; use composition only when several source families were actually consumed, for example a front and an archive.
DerivedViewKind, BasePaletteRefQualify an actual derived view under §4.4ca; the latter is a reference, not a kind.
PromotionPolicyRequired when tie-break or telemetry signals are promoted into dominance.
SubjectKind, RetentionIntent=steppingStoneQualify the relevant declaration or retention policy; neither names another emitted set result.

Use controlled tokens, cited ids or already declared head labels for these fields. CostToProbe, ValueOfInformation, ValueOfComputation, explore_share, graduation conditions and sequencing pressure belong to the surrounding choice doctrine when they affect the decision; a result field does not establish them. All-member membership and candidate/exclusion records retain the separation in §4.4b.