A.6.A:4.5 - Normal-form discipline

Use a sufficient ordinary sentence first. The four forms below are optional ways to preserve cues, present a candidate, compare alternatives or refer to an existing policy. Select one only when it contributes to the receiving use; no sense token requires a default form.

Docking note. Where the recovered result selects a Method for enactment, cite the existing exact U.Method ref. A current U.MethodDescription ref remains a separate C.2.1 source for identifying, constraining or justifying that Method or intended Work; existing U.WorkPlan and U.Work refs remain separate when those objects already exist. PolicyHook SHALL always be a hook over pre-existing gate, method, or protocol publications; it does not mint a new Method, execution, admissibility, or deontic ontology.

ANF-1 — CuePack. Use when preserving an early or incompletely articulated cue is the useful result, including AIS.PhysicalAffordance, AIS.SocialAffordance, and many cases of AIS.LatentPolicyCue.

A conforming CuePack publishes:

• exemplar or contrast episodes, sensory traces, or probe cues,
• site conditions,
• enactor descriptor or enactor constraints,
• a small gloss set of candidate actions,
• optional ordinal urgency or salience summaries,
• explicit warning that the cue is not yet a commitment, a selected method, a gate, or work,
• explicit note that witness-bearing does not by itself make the hinted action correct, required, or selected.

ANF-2 — ActionOption. Use when one candidate action tuple is explicit.

A conforming ActionOption publishes:

• one candidate action tuple,
• invited enactor and role assignment when live,
• local guard sketch,
• expected near-field effect,
• an exact U.Method ref when the option selects that Method for enactment, plus a separate optional U.MethodDescription ref or U.WorkPlan ref only when that independently existing object is current,
• explicit note that the option is not yet selected, not yet obligatory, and not yet executed.

ANF-3 — OptionSet. Use when several candidate actions coexist.

A conforming OptionSet publishes:

• explicit action members,
• any local comparator, triage rule, or partial order,
• admissible incomparability if no total order is admissible,
• prohibition on hidden scalarisation.

ANF-4 — PolicyHook. Use when the receiving use needs an explicit reference to an existing controller, gate, playbook, Method or override protocol.

A conforming PolicyHook publishes:

• referenced policy, method, gate, and protocol ids (pre-existing governing FPF patterns or authoritySourceRef named sources only),
• applicable guard or trigger conditions,
• admitted acting or maintaining System; any exact system-role kind or assignment needed by the hook’s work context; the direct responsibility relation that selects that System, or the exact A.6.RCD missing governor; and any separate authoritySourceRef source,
• escalation or override references when relevant,
• explicit note that the hook is a binding publication over existing semantics, not itself a commitment, an admissibility rule, or a work occurrence.