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

Link to current text

Published source confirmed at last check

Source changed 2026-10-03 08:01:07 UTC · snapshot created 2026-10-03 08:04:31 UTC · last check 2026-10-03 08:10:10 UTC

A.19.UINDM:12 - Relations

  • Builds on

    • A.19.CN (CN‑Spec, specifically indicator_policy).
    • A.6.1 §4.2 for operation-local declarations and §4.8 for the exact refinement, conservative-extension or equivalence comparison being claimed.
    • A.19.CHR:4.2.1 (CHR SlotKind lexicon).

  • Used by

    • A.19.CHR (suite membership and suite protocols; UINDM is the indicatorize stage).

  • Coordinates with

    • G.0 (CG‑Spec / MinimalEvidence) when indicator choice is evidence‑gated.
    • E.20 for the governing declaration and F.18 when resolving a legacy alias.