#A.6.7:4.6 Examples (tell–show–show discipline)

Preface node heading:a-6-7-4-6-examples-tell-show-show-discipline:15981

#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

Example 1 (conformant). A characterization legality suite:

CHRMechanismSuiteDescription : MechSuiteDescription :=
  mech_suite_id = CHRMechanismSuiteId
  mechanisms = { UNM, UINDM, USCM, ULSAM, CPM, SelectorMechanism }
  suite_obligations includes:
    bridge_only_crossings,
    penalties_route_to_r_eff_only,
    guard_decision_tristate(pass|degrade|abstain),
    gate_decision_separation,
    cg_spec_cite_required_for_numeric_ops,
    no_silent_scalarisation_of_partial_orders,
    crossing_visibility_required,
    planned_slot_filling_in_work_planning_only,
    finalize_launch_values_in_work_enactment_only
  suite_spec_pins requires: {CNSpecRef, CGSpecRef}
  suite_protocols includes:
    normalize → indicatorize → score → (fold_Γ?) → compare → select → publish/telemetry

This description is not a MechFamilyDescription (because it contains multiple distinct mechanisms), and it is not a Pack (because it does not ship publications; it only declares membership and shared obligations/pins/protocols).

Example 2 (non-conformant). Misusing a family as a suite:

CHRMechanismFamily : MechFamilyDescription := { UNM, UINDM, USCM, ... }

This is a level error: MechFamilyDescription is reserved for realizations of a single mechanism intension.

Example 3 (non-conformant). Turning a suite into a hidden gate:

• The suite declares GateDecision values or embeds a DecisionLog.
• The suite defines acceptance thresholds (“pass score ≥ 0.7”) as part of suite obligations.
• The suite embeds Φ/CL tables or invents an additional graph edge kind beyond E.TGA U.Transfer.

All violate the separation between mechanism/suite descriptions and gate-level operational control.

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