Role Taxonomy
Pattern A.2 · Stable · Architectural (A) · Normative Part A - Kernel Architecture Cluster
A holon’s essence tells us what it is; its roles tell us what it is being, here and now.
Pattern A.1 established the substantial characteristic of the core (Entity → Holon → {System, Episteme, …}), cleanly separating identity from structure and aggregation. The present pattern introduces the functional characteristic: how a holon participates in purposes within a bounded context and for some interval. This extends the early sketch of A.2 and tightens its alignment with A.7 (Strict Distinction): roles are not parts and not behaviours; they are contextual masks that a holon wears while behaviours are handled by Method/Work.
Keywords
- role
- assignment
- holder
- context
- function vs identity
- responsibility
- U.RoleAssignment.
Relations
Content
Problem frame
Pattern A.1 established the substantial characteristic of the core (Entity → Holon → {System, Episteme, …}), cleanly separating identity from structure and aggregation. The present pattern introduces the functional characteristic: how a holon participates in purposes within a bounded context and for some interval. This extends the early sketch of A.2 and tightens its alignment with A.7 (Strict Distinction): roles are not parts and not behaviours; they are contextual masks that a holon wears while behaviours are handled by Method/Work.
Problem
Without an explicit role calculus:
- Type explosion & conflation. Each new purpose breeds a new “subtype” (
PumpAsCoolingLoop,PumpAsFuelLoop, …), violating parsimony and fusing substance with function. - Agency opacity. It becomes unclear whether any system may act as a transformer/agent, or only pre-declared special kinds.
- Epistemic blindness. Knowledge artefacts (papers, proofs) cannot be given roles, blocking modelling of citation, evidence, or design-time justification.
Forces
Solution
We elevate Role to a first‑class semantic construct: a context‑bound mask (capability/obligation schema) worn by a holon. Behaviour and resource deltas live in Method/Work, not in the role itself.
S‑level definitions (normative)
U.Role— a context-bound capability/obligation schema that a holon may bear (play) for a time interval. A role has no structural parts (it does not participate in A.14partOf) and no resource deltas of its own. Role refinement/bundling is expressed via in‑Context relations (≤,⊥,⊗) rather than mereology. (A7 guard)U.RoleAssignment— a first-class assignment record recording that a holon bears (plays) a role in a bounded context over an optional Window. Keep the signature aligned with A.2.1 Role Assignment Standard; governance metadata (authority/justification/provenance) is captured viaU.RoleAssigningand the evidence graph (A.10).
Short form (readable): Holder#Role:Context@Window.
Why a first-class assignment record? It keeps identity (holon), function (role), context (semantics), and time (run-window) separate yet linked, preventing the substance/function conflation identified above. The early
playsRoleOf(Holon, Role, span)relation in the draft is subsumed byU.RoleAssignmentand extended with Context (and optional governance fields).
Temporal & behavioural alignment
- Method (intension) vs Work (occurrence). A
U.Methodis a design‑time, order‑sensitive capability: what can be enacted, under which preconditions/invariants, with what admissibility/acceptance gates. AU.Workis the dated, spatiotemporally bounded enactment of such behaviour by a system bearing a role (A.15.1). - MethodDescription is representation (viewpoint), not “the method itself”.
U.MethodDescriptionis anU.Epistemethat represents a method under an explicit viewpoint. Step‑graphs/scripts/workflows are one common viewpoint, but not universal. Other valid viewpoints include state‑machines, dynamical/solver/controller models, lab protocols, and quantum circuits/channels. A method itself need not admit a step decomposition; only a given description might. - Executable chain (who / what / how / when). A behavioural Role is eligible/authorized for one or more Methods (design‑time, Context‑local). A Work is
isExecutionOfa specific MethodDescription version (run‑time) and citesperformedBy = U.RoleAssignment. Together, these anchors answer “what happened, by which method, under which role” without collapsing design‑time into run‑time. - Resource accounting lives in Work. Only
U.Workcarries resource deltas (feeds Γ_work); Roles/Methods/MethodDescriptions do not.
Lexical note (A.6.P trigger). In the Role–Method–Work cluster,
bindsMethodis a technical token meaning “Context‑local eligibility/authorization of a Role for a Method”. Do not use plain “bind/rebind” as umbrella prose for editing relationships; when describing edits, prefer explicit change classes (declare/withdraw/retarget/revise/rescope/retime/refreshWitnesses).
Admissibility constraints (concept-level; non-deontic).
- Locality.
role ∈ Roles(context). Outside its context, a role’s meaning is undefined. - Structural‑mereology firewall. No Role (nor Method/MethodDescription) may appear as a node in any A.14
partOfchain; holarchies are for substantial holons only. Role refinement/bundling (≤,⊗) and method relations (refinement, factorization, step/phase views) are notpartOfand MUST NOT be rewritten into structural parthood. - Multiplicity. A holder may bear multiple roles concurrently; a role may be borne by many holders—subject to each context’s compatibility rules.
- Time anchoring.
window(if present) is non-empty and finite for run‑time claims; open‑ended assignments are allowed but must be traceably open‑ended from an assignment time (A.2.1). Design‑time bindings are timeless but descriptions are versioned viaU.MethodDescriptionidentity. - Behavioural coherence. For any
U.Workwindow, the performer’s cited RoleAssignment and the executed MethodDescription must align in the same Context:work.performedBy = RA,work.isExecutionOf = MD, andRA.roleis eligible/authorized for the Method represented byMD. (No hidden role swaps; no implicit method drift.)
Taxonomic frame (within a context)
Within each U.BoundedContext, role names are organised as a partial order (refinements) plus an incompatibility relation (mutually exclusive roles). Typical substrate‑neutral anchors:
Domains refine these anchors: e.g.,
CoolingCirculatorRole,CitationSourceRole,LemmaRole.
Archetypal Grounding (Tell–Show–Show: System / Episteme)
Tell. A single holon can be the same bearer across time while taking on different, context‑bound roles. A role is a mask (capability/obligation schema) that explains what it is being in a given U.BoundedContext; behavioural facts and resource deltas remain in U.Method / U.Work.
Show.
System case — Cooling loop
PumpUnit#3#HydraulicPump:Plant‑A@2025‑08‑08..open
HydraulicPumpRole ↦bindsMethod↦ CentrifugalPumpingMethod (design‑time, Context‑local eligibility)
CentrifugalPumpingMethod ↦isDescribedBy↦ centrifugal_pump_curve.ld@v7 (MethodDescription viewpoint; step‑graph OR dynamics, as appropriate)
run‑2025‑08‑08 isExecutionOf centrifugal_pump_curve.ld@v7; performedBy PumpUnit#3#HydraulicPump:Plant‑A@2025‑08‑08..2025‑08‑08 (run‑time Work)
(Behavioural/resource facts live in Work; method semantics live in the referenced MethodDescription viewpoint.)
Episteme case — Standard in design
RFC‑9110.pdf#ProtocolStandard:WorldWideWeb justifies MethodDescription selection; the system bearing TransformerRole is the design service that executed the selection work. The episteme did not act.
Collective vs set (safety pitfall)
A set {Alice, Bob, 3.14} has no behaviour; a team is a system with boundary, coordination Method, and supervision Work; only the latter can bear agentic roles.
Bias-Annotation
Lenses tested: Arch, Onto/Epist, Prag, Did. Scope: Universal (A‑cluster).
- Architecture bias (Arch): treating roles as structural parts can smuggle function into mereology and break holarchies.
Mitigation: keeppartOfchains role‑free; roles are not constituents (see CC‑A2.1). - Onto/Epist bias (Onto/Epist): anthropomorphising epistemes collapses evidence into agency.
Mitigation: epistemes can justify/authorize; only systems perform methods and work (CC‑A2.2). - Pragmatic bias (Prag): over‑contextualising can fragment reuse and create naming drift.
Mitigation: require explicit:Contextbinding and explicit bridges instead of silent equivalence (CC‑A2.4). - Didactic bias (Did): metaphors (“mask”) may be misread as informal.
Mitigation: bind obligations to CC items; avoid imperative prose outside CC.
Authoring guidance (for engineers and leads)
- Name roles for intent, not mechanics. Prefer
CoolingCirculatorRoleoverChannelFluidWithCentrifugalProfile. - Pin the context early. If two teams disagree, split contexts and (optionally) define an alignment bridge; do not over‑generalise the role.
- Document the enactment chain. For any operational claim, be ready to point to:
RoleAssigning → RoleAssignment → (Role ↦bindsMethod↦ Method) ↔ MethodDescription → Work. (Readers’ dictionary: workflow/script/state‑machine/dynamical model/quantum circuit → MethodDescription; run/job/operation → Work.)
Conformance Checklist (CC‑A2.*)
Note. CC‑A2.2 aligns with A.7 Role‑domain guards (“behavioural roles’ domain = system; epistemes bear non‑behavioural roles only”).
Common Anti-Patterns and How to Avoid Them
-
“Transformer as system subtype.” ✗ “
U.TransformerSystembuilds pumps.” ✓ “RobotArm R‑45#Transformer:Plant‑Aexecuted Work W.” (Role is a mask; behaviour is Method/Work.) -
“Role as part.” ✗ “The pump’s role is one of its components.” ✓ Roles are never parts; components are substantial. Keep all
partOfchains role‑free. -
“Episteme acts by itself.” ✗ “The PDF enforced the SOP.” ✓ An episteme can hold roles like
ProtocolStandardin context, but only a system performs the Method/Work that uses it. -
“Context leakage.” ✗ “Pluto is Planet and DwarfPlanet.” (in one tacit space) ✓ “
Pluto#Planet:Early20thCenturyAstronomy;Pluto#DwarfPlanet:IAU_2006_Definition.” No contradiction—different bounded contexts. (Illustrative ofU.RoleAssignmentsemantics carried forward from the A.2.1.) -
“Method = workflow (step list) by default.” ✗ “The method is the ordered list of steps 1..n.” ✓ A Method is a design‑time capability; “steps” (or their absence) are a property of a MethodDescription viewpoint. A Work executes a specific MethodDescription; use a workflow/script view when step semantics matter, and use other views (dynamics/solver/circuit/channel) when steps are not meaningful.
Consequences
Rationale (post‑2015 cross‑domain corroboration)
Why insist on roles as contextual masks and externalised transformers?
- Constructor Theory (2015–2022). Post‑2015 work by Deutsch & Marletto re‑centres physics on possible tasks and constructors rather than objects, mirroring FPF’s TransformerRole: behaviour is attached to “who can realise a task,” not to substance per se. Our separation of SubstantialHolon vs Role and the insistence on external transformers directly echo this shift. (Conceptual alignment noted in A.2 Solution and A.12 intent.)
- Layered Control Architectures (Matni–Ames–Doyle, 2024). The modern control stack cleanly externalises regulators and planners relative to plants. FPF’s obligatory “system bearing TransformerRole” (A.7, A.12) is isomorphic to that separation, keeping supervision and actuation outside the controlled holon.
- Active‑Inference / Agency spectrum (2017–2023). Contemporary models treat agency as graded and contextual (percept‑act loops tuned by free‑energy bounds). A.13 adopts exactly this: AgentialRole is a role worn by a holon, with graded measurements via Agency‑CHR, not a static type.
- Basal Cognition & multi‑scale organisation (2019–2024). Fields & Levin argue for cross‑scale control and information flows; FPF encodes this via Γ‑flavours and the Meta‑Holon Transition triggers, ensuring Role assignments compose across scales without collapsing identity into function.
- Knowledge ecosystems & safety cases (2018–2025). Modern assurance relies on traceable evidence and conservative integration (no “truth averaging”): our A.10 anchors (SCR/RSCR) and Γ_epist’s weakest‑link fold implement that discipline and forbid self‑evidence.
Summing up: post‑2015 science and engineering converge on roles as contextual capabilities, externalised control, and traceable evidence. A.2 codifies these insights in a substrate‑neutral way, keeping the Core small yet powerful.
SoTA-Echoing (post‑2015 alignment, informative)
Note. Prefer citing a maintained SoTA synthesis pack for roles/contexts if your Context has one.
Relations
- Builds on: A.1 Holonic Foundation (role/mereology split), A.7 Strict Distinction (role ≠ behaviour; episteme ≠ carrier), A.14 Advanced Mereology (no roles in holarchies).
- Specialises / Coordinates with: A.13 Agential Role & Agency Spectrum (behavioural roles over systems; graded agency), A.15 Role–Method–Work Alignment (bindsMethod / isExecutionOf discipline).
- Constrains / Used by B‑cluster: B.1 Universal Algebra of Aggregation (Γ) (keep order/time in Γ_ctx/Γ_time; keep provenance in Γ_epist), B.2 Meta‑Holon Transition (promotion when supervision/closure appears), B.3 Trust & Assurance (evidence & congruence).
- Interlocks with E‑cluster (governance & language): E.10 Lexical Discipline (registers, tier disambiguation, local aliases like “Transformer”), E.5.1 DevOps Lexical Firewall (ban tooling tokens in Core patterns).
- Reinforces: A.10 Evidence Graph Referring (external transformer; SCR/RSCR), A.12 External Transformer Principle (agent externalisation).