FPF Reference

    A.20:Appendix A — CV Class Gloss (normative)

    Preface node heading:a-20-appendix-a-cv-class-gloss-normative:28144

    What this page is

    This is generated FPF reference text from the specification preface or supporting sections. It helps interpret FPF; it is not FPF Reference product documentation.

    Methodology

    Use it to understand how the specification wants to be read, then return to a route, pattern, or work packet for active work. Cite generated IDs only when the wording changes the task decision.

    Content

    • MechanismUnitsCoherence. Internal unit and scale coherence within the step when quantities, scales, units, or reference planes are actually used; no declarations or translations of units/planes occur in CV.
    • LawSetInvariants. Mechanism-declared invariants hold (e.g., mass/energy balance in a model, determinism under fixed editions).
    • AdmissibilityConditionsSatisfaction. Inputs lie within admissible windows/guards declared by the mechanism's AdmissibilityConditions; failure yields degrade or abstain per class policy. Minimum declaration (normative): AdmissibilityDecl := { domains: {name: set/poset}+, guards: [predicate_id]*, windows: {Γ_time: snapshot|interval|policy}, observables: [signal_id]*, edition: EditionId }. The declaration is published on MVPK as references only; it introduces no arithmetic on faces. Minimal declaration template (normative): AdmissibilityConditions := { Domains[]{var, type, range, units, plane}, Guards[]{predicate, editionRefs}, ObservationWindows[]{Γ selector, freshness window}, ObservableSigns[]{name, detection rule}, Editions{...} } — No unit/plane declaration or translation here; only references. Γ selectors SHALL be explicit.
    • LipschitzBounds / stability. Bounded sensitivity under a declared metric, used only when a perturbation, sensitivity, robustness, continuity, safety-envelope, or stability claim changes the CV use. Publication ref shape (normative): LipschitzBoundRef := { method ∈ {spectral_norm|CROWN|IBP|rand_smoothing|other}, metric_space: {X: norm_id, Y: norm_id}, bound: value_or_interval, units/plane: P, validity_window: Γ_time(basis), edition: EditionId, certificateRef?: LipschitzCertificateId }. Referenced evidence/certificate object (normative): LipschitzCertificate := { metricId (with units and plane), bound L, methodId, methodRef (e.g., spectral estimate or certified robustness bound), validity region (inputs and state), proof sketch or reference }. The method MUST be cited; units/plane of the metric MUST be explicit; proofs and witness records are referenced; bounds are ref-only at CV; any acceptance action remains GateFit.
    • TypeDomainRange. Well-typedness and type, domain, and range consistency for the transformation signature; refs point to the governing definitions.
    • ReinterpretationEquivalence (StructuralReinterpretation only). Existence of a correspondence/reversibility witness between source and retarget projections; preservation of ⟨L,P,E⃗,D⟩; no comparator/plane/unit declaration or translation at CV. Witness (normative): ReinterpWitness / ReinterpretationEquivalenceWitness (see §4.7) with: (i) PathSliceId, PublicationScopeId, (ii) bidirectional mapping (iso/optic) with Put-Get/Get-Put obligations, (iii) commuting squares for adjacent raw transfers, (iv) NoHiddenScalarization assertion when comparable, and (v) definedness region. The witness is PathSlice-local and is admissible only for idempotence and reversibility within the addressed slice. Any EntityOfConcernRef change SHALL have KindBridge (CL^k) on UTS.

    A.20:Appendix B — LEX discipline (summary)

    Register token classes (Tech) include: U.TransductionFlow, U.TransductionGraph, OperationalGate, GateProfile, GateCheckKind, GateCheckRef, DecisionLog, FreshnessTicket, FinalizeLaunchValues, SubflowRef, FlowEmbed, SentinelId, PathSliceId, SliceRefresh, VALATA; discriminators use Base__P2W, Base__EvaluatingAndRefreshing; Tech names are ASCII; aliases GammaTimeRule/Plane, CLPlane, Phi follow E.10. A.20 references these tokens; it does not introduce additional LEX classes. For each published CV check, GateCheckRef.aspect is fixed to ConstraintValidity. MVPK minima for CV faces also include PathId/PathSliceId where slice-local refresh applies through E.18, A.20, and G.11 when live.

    Last Updated: 2026-06-08 — upstream FPF commit 093d30e8 (github.com/ailev/FPF)