Staff

Formal definition

A Staff is a quintuple $\mathcal{S} = (V, P, R, \sigma, M)$:

$$\mathcal{S} = (V : \mathrm{Vessel},\; P : \mathrm{Set(Person)},\; R \subseteq \mathrm{Roles}(V),\; \sigma : P \to \mathcal{P}(R),\; M : \mathrm{Mandate})$$

where:

• $V$ is the vessel — the institutional entity whose positions the staff fills; $V$ determines the role structure $\mathrm{Roles}(V)$, the authority structure on those roles, and the charter that generates $M$
• $P$ is the personnel — the finite set of persons who are staff members; a person is in the staff iff they bear at least one role: $p \in P \Leftrightarrow \sigma(p) \neq \emptyset$
• $R \subseteq \mathrm{Roles}(V)$ is the staffed role set — the subset of the vessel’s roles that are currently filled by staff members; $R$ need not cover all of $\mathrm{Roles}(V)$ (there may be vacant positions), but a fully-staffed vessel has $R = \mathrm{Roles}(V)$
• $\sigma : P \to \mathcal{P}(R)$ is the role-assignment function — mapping each staff member to the (possibly multiple) roles they bear; the assignment creates the institutional binding: $r \in \sigma(p)$ means “person $p$ bears role $r$ in vessel $V$”
• $M$ is the functional mandate — the shared operational purpose that orients all of $P$ and gives the staff its unity; $M$ is derived from $V$’s charter and specifies what the staff collectively exists to do

A Staff is not a crew. The defining difference is duration: crew status is bounded by an operational period $T$ (voyage, mission, flight — a specific interval with a start and end), while staff status is ongoing — it persists through the vessel’s history without a pre-specified terminal period. The same person may be staff when assigned to a vessel’s permanent complement and crew when assigned to operate that vessel on a specific voyage.

Four invariants. $\mathcal{S}$ is a staff iff it satisfies:

1. Standing binding: each role-assignment in $\sigma$ is a standing binding — not scheduled for termination at a pre-specified operational period end. A standing binding persists until explicitly dissolved by an investiture-inverse act ($I^-$): resignation, discharge, dismissal, or death. The binding does not expire automatically when a task is completed. This is what distinguishes a staff member from a contractor or crew member.

2. Mandate orientation: all $p \in P$ are oriented to $M$ — the functional mandate of $V$. $M$ is not merely a list of tasks; it is the shared purpose that makes the staff a unit rather than a collection of independent role-bearers. Weber’s Verwaltungsstab formulation captures this exactly: a staff is the group “primarily oriented to executing the authority’s general policy and specific commands.” Without shared mandate orientation, you have a set of persons who happen to hold roles at the same vessel, not a staff.

3. Authority structure: the role set $R$ carries a partial order $\preceq$ encoding authority relations — who directs whom, who reports to whom, whose decisions bind whose operations. The partial order is derived from the Hohfeldian position structure of $\mathrm{Roles}(V)$: role $r_1 \preceq r_2$ iff role $r_2$ carries the Hohfeldian power to direct $r_1$-bearers within $V$’s normative system. A flat set of roles with no authority structure is not a staff but a panel or committee.

4. Role non-redundancy: the roles in $R$ are operationally distinct in $V$. Staff is not defined by cardinality ($|P| > 1$) but by differentiated function: each role makes a distinct contribution to $M$’s execution. A staff of $k$ persons all bearing the same role is not a proper staff — it is a pool. The differentiation encoded in $R$’s partial order is what makes the staff’s collective action more than the sum of individual actions.

Line and staff

Within any staff, Fayol’s line-staff distinction applies as an internal division:

• Line roles in $R$: those that directly execute $M$ — the roles whose bearers produce the vessel’s primary output. Line authority is the authority to act directly toward $M$.
• Staff roles in $R$: those that support, advise, or control line roles — the roles whose bearers provide services (HR, legal, logistics, intelligence) that the line roles need but cannot efficiently produce for themselves. Staff authority may be advisory (recommend without command) or functional (issue directives within a defined domain, transmitting through non-command channels).

The word “staff” in common usage can mean either the whole $(V, P, R, \sigma, M)$ structure (the whole body of personnel) or the advisory/support subset (the staff roles within the line-staff distinction). Context determines which sense is operative. This spec defines the whole-body sense; the line-staff internal division is a derived concept.

Weber’s instrument of authority

Max Weber’s definition of the Verwaltungsstab (administrative staff) identifies the functional necessity of a staff: authority is nominal without a staff whose probable compliance makes it effective. An authority that can issue commands but has no staff to execute them is not operative authority. The staff is the mechanism by which authority is realized — the “reliable group primarily oriented to executing the supreme authority’s general policy and specific commands.”

This is the functional characterization: $\mathcal{S}$ is the instrument through which $V$’s charter is translated from policy into operation. The staff’s orientation to $M$ is what makes $V$’s authority real rather than merely formal.

Weber identifies three modes of binding staff to authority — three types of $M$-orientation:

• Traditional: custom and precedent orient the staff; they comply because “it has always been so”
• Charismatic: personal devotion to the authority-holder orients the staff
• Rational-legal: formally specified role-obligations orient the staff; they comply because the role-binding is a recognized institutional duty

In our system, the rational-legal mode is the default: staff members are bound to $M$ through their role-assignments, which are formal institutional bindings (investiture acts $I^+$) creating Hohfeldian duties of compliance within their role’s scope.

Staff and the collective rationality threshold

List and Pettit’s criterion identifies the formal threshold at which a staff becomes a genuine corporate agent capable of collective action:

A staff achieves corporate agency when it has decision procedures that produce collectively consistent group-level attitudes — when the group’s judgments are not merely the arithmetic sum of members’ judgments, but the output of a procedure designed to produce coherent group-level representations.

Below this threshold: the staff is a collection of role-bearers each executing their individual mandates — a coordination structure but not a unified agent. Above this threshold: the staff forms a single deliberative entity capable of acting, being held responsible, and having its actions attributed to the vessel as a whole.

The threshold maps onto: the existence within $\mathcal{S}$ of a governance mechanism $\mathcal{G}$ (a decision procedure, a chain of command, a voting rule) that aggregates individual staff inputs into group-level outputs. Without $\mathcal{G}$, the staff executes in parallel but does not act as one.

The operative/non-operative distinction

Tuomela’s operative member concept applies to staff: at any given history $t$, some staff members are operative — acting for the vessel in their official capacity, executing $M$-relevant tasks — and others are non-operative — on leave, in reserve, engaged in training, or between tasks. All are staff (their role-bindings are standing); only the operative subset is currently executing.

This maps onto: a staff member $p$ is operative at $t$ iff their role-binding $r \in \sigma(p)$ is $\Delta_t$-settled — the binding has been transferred to active execution at history $t$. Non-operative members have $\sigma_t$-settled bindings (meaning-settled: the binding is recognized) but not yet $\Delta_t$-settled (transfer-settled: not yet in active execution mode at $t$).

Nuclear derivation

Role-binding propositions. For each person $p \in P$ and role $r \in \sigma(p)$, define $b_{p,r} \in H_t$ as the proposition “person $p$ bears role $r$ in $V$ at history $t$.” The staff at $t$ is precisely the set of doubly-settled role-bindings:

$$\mathcal{S}_t = \{(p, r) : b_{p,r} \in H^*_t\}$$

Standing vs. bounded binding. A role-binding $b_{p,r}$ is a standing binding iff it has no scheduled terminal history — no $t^*$ at which transfer-settlement closes against it:

$$b_{p,r} \text{ is standing} \iff \forall t' \geq t_0 : \Delta_{t'}(b_{p,r}) = b_{p,r}$$

until an explicit dissolution act $d^-_{p,r} \in H^*_{t^*}$ adds a proposition that blocks forward propagation. A bounded binding (crew) satisfies instead: $\exists t^* \in T$ such that $\Delta_{t^*}(b_{p,r}) > b_{p,r}$ — the binding fails to transfer at the voyage-end history.

Staffing conditions. Let $\mathrm{Required}(V) \subseteq \mathrm{Roles}(V)$ be the roles required for $V$ to be operative. Then:

$$\mathcal{S} \text{ fully staffed at } t \iff \forall r \in \mathrm{Required}(V),\; \exists p \in P : b_{p,r} \in H^*_t$$

$$\mathcal{S} \text{ understaffed at } t \iff \exists r \in \mathrm{Required}(V) : \nexists p \in P,\; b_{p,r} \in H^*_t$$

Operative/non-operative. For staff member $p$ with role $r$:

Settlement state of $b_{p,r}$	Status
$b_{p,r} \in H^*_t$	Operative: binding meaning-settled and transfer-settled — $p$ is executing role $r$ at $t$
$b_{p,r} \in \mathrm{Fix}(\sigma_t) \setminus H^*_t$	Non-operative: binding recognized ($\sigma_t$-settled) but not in active execution ($\Delta_t$-open)
$b_{p,r} \in H_t \setminus \mathrm{Fix}(\sigma_t)$	Unrecognized: binding not yet meaning-settled — investiture incomplete

Mandate proposition. The functional mandate $M$ is a proposition $m \in H^*_t$ — doubly settled as the vessel’s operative purpose. The covering sieves of $J$ ensure the family $\{b_{p,r}\}_{(p,r) \in \mathcal{S}_t}$ is compatible with $m$: together they constitute a valid covering of $m$’s scope.

Corporate agency threshold. The staff reaches the List-Pettit corporate agency threshold iff there exists a governance element $g_\mathcal{G} \in H^*_t$ of the form “the staff collectively decides $d$” that is irreducible to any join of individual role-bindings:

$$g_\mathcal{G} \in H^*_t \quad \text{and} \quad g_\mathcal{G} \neq \bigvee_{(p,r) \in \mathcal{S}_t} b_{p,r}$$

Below the threshold, the staff executes in parallel ($\bigvee b_{p,r} \in H^*_t$) but produces no irreducible group-level settlement. Above it, $g_\mathcal{G}$ is a genuinely corporate proposition.

Staff vs. adjacent concepts

Concept	Duration	Constituting relation	Role structure	Accountability
Staff	Ongoing (institution-bound)	Institution-defined role-binding	Roles from $\mathrm{Roles}(V)$, standing	Individual to $V$; collective to $M$
Crew	Bounded by $T$ (voyage/mission)	Platform-defined, period-bound	Roles from $\mathrm{Roles}(V)$, voyage-specific	Joint, for $V$’s safe operation during $T$
Team	Goal-bounded	Task-defined	Roles determined by task	Shared, for task outcome
Complement	Schema (not an instance)	Required role schema for $V$	Required types and cardinalities	N/A — a specification, not persons
Company	Institution-bound	Charter-defined; member-held purpose	Staff roles within a chartered entity	Collective, to charter

Staff loyalty as comonad stability; Weber’s modes as settlement profiles

Sources: Relational Universe Automorphic Directed Comonad Self-Generation, Enterprise.

Staff loyalty = hard core robustness of role-binding (answered). The formal characterization of staff loyalty follows directly from the two-level fixedness distinction introduced in the Enterprise spec for the hard core criterion: RelationalHistoryFixedFiber (nuclear pair fixed points = currently settled) versus the G_Σ-fixed layer within RelationalHistoryFixedFiber (automorphic directed comonad fixed points = constitutively settled).

A role-binding $b_{p,r}$ is in RelationalHistoryFixedFiber at $t$ iff the staff member currently bears the role in good standing — this is the operational condition. But there are two types of role-binding within RelationalHistoryFixedFiber:

Binding type	Fixed under	What it means	Weber analog
Merely settled	Nuclear pair (RelationalHistoryFiberSaturatingNucleus, RelationalHistoryFiberTransferringNucleus) only	Binding recognized and transfer-stable now, but can be dislodged by changing the nuclear pair without changing the topology	Transactional: compliance contingent on continued institutional incentive
Constitutively stable	Nuclear pair AND automorphic directed comonad G_Σ	Binding persists under all generative steps; the G_Σ-orbit of $b_{p,r}$ is a single isomorphism class; removing it requires a topology change	Loyal: commitment not contingent on current nuclear pair

Loyal staff members are those whose role-bindings are in the G_Σ-fixed layer — the hard core C_t of the institutional settlement structure. Their binding $b_{p,r}$ is G_Σ-stable: applying the generative comonad does not move the binding; it remains in RelationalHistoryFixedFiber under any generative step consistent with the institution’s topology J. Dislodging such a binding requires a constitutional change (a change to J itself), not merely a change to the operational nuclear pair.

Disloyal staff members have role-bindings in RelationalHistoryFixedFiber $\setminus$ C_t — settled now but not comonad-stable. Small changes to the nuclear pair (not requiring a topology change — for example, a change in how the institution interprets a specific procedure, without revising the charter) can shift these bindings out of RelationalHistoryFixedFiber. The disloyalty is formal: the binding is institutionally current but not institutionally committed in the constitutive sense.

The continuum between loyalty and disloyalty is the settlement distance from C_t: how many nuclear pair changes (each not requiring a topology change) would be needed to dislodge $b_{p,r}$. This is a measure in the fiber algebra, derivable from the defect mobility mechanism in RelationalUniverseBeckChevalleyTower: the number of tower levels needed before $b_{p,r}$’s Δ-instability becomes visible.

Weber’s three authority modes as settlement profiles (answered). Weber’s three modes — traditional, charismatic, and rational-legal — correspond to three different settlement profiles of the functional mandate $M$:

Weber mode	Mandate settlement profile	Formal condition
Rational-legal	M ∈ RelationalHistoryFixedFiber AND M ∈ C_t	Doubly-stable AND comonad-stable: M is formally chartered (Δ-stable via the institution’s nuclear pair) and constitutively committed (G_Σ-stable); the charter makes M part of the topology J
Traditional	M ∈ Fix(RelationalHistoryFiberSaturatingNucleus) but not necessarily in Fix(RelationalHistoryFiberTransferringNucleus)	σ-stable (historically grounded — the accumulated sub-history collectively settles M as the tradition) but Δ-stability comes from the continuation of practice rather than an explicit charter; if the tradition ceases to be practiced, M can leave Fix(Δ_t)
Charismatic	M ∈ H_t but with high settlement gap δ(M) = RelationalHistoryFiberNuclearPair(M) - M > 0	Not yet doubly-settled; M is recognized as valid by virtue of the authority-holder’s personal power (a proposition that enters RelationalHistoryFixedFiber only through the holder’s own nuclear acts); when the holder departs, M’s settlement gap reopens — the mandate returns toward the FreeShadow quadrant

This characterization answers the question whether informal mandates are sufficient for staff status: yes, for traditional authority, M ∈ Fix(σ_t) is sufficient — a σ-stable (historically-recognized) mandate constitutes a real functional mandate. The Charter is the rational-legal formalization that also makes M Δ-stable and G_Σ-stable. The difference between a staff bound by informal mandate (traditional mode) and a staff bound by a charter (rational-legal mode) is the permanence of M’s forward-stability: the charter’s Δ-stability persists through changes in the authority-holder; the traditional mandate’s Δ-stability depends on the continuation of practice.

Staff without a vessel (partial answer). An ad hoc staff formation — persons sharing a mandate and authority structure but not yet tied to a formally constituted institutional entity — corresponds to a staff over the minimal vessel $V_\emptyset$: the vessel whose history category is the single-history category $T_* = \{*\}$ with the two-element Heyting algebra $H_* = \{\bot, \top\}$ as its fiber. This is the “empty vessel” or “bare mandate vessel” — the initial object in the category of vessels (every vessel has a unique morphism from $V_\emptyset$, the vessel with no institutional structure beyond the minimal relational universe).

The ad hoc staff $\mathcal{S}_* = (V_\emptyset, P, R, \sigma, M)$ satisfies all four invariants (standing bindings, mandate orientation, authority structure, role non-redundancy) using the minimal vessel’s nuclear pair. As the task force is formalized (a charter is written, a vessel is constituted), the minimal vessel $V_\emptyset$ is replaced by a substantive vessel $V$, and the morphism $V_\emptyset \to V$ lifts the role-bindings from the minimal fiber to the full institutional fiber. The staff’s role-bindings persist through this transition as morphism-images.

Proposition (Loyal staff = G_Σ-fixed role-bindings; Weber modes = settlement profiles; ad hoc staff = staff over minimal vessel). Staff loyalty is formally the condition that the role-binding $b_{p,r}$ is in the G_Σ-fixed layer of RelationalHistoryFixedFiber — the hard core of the institution’s settlement structure. Weber’s traditional mode is σ-stable mandate (historically grounded, not charter-committed forward); rational-legal mode is full G_Σ-stability (constitutively committed through a charter that enters topology J); charismatic mode is high settlement gap (mandate dependent on personal nuclear acts, not institutionally self-sustaining). An ad hoc staff without a formal vessel is a staff over the minimal vessel V_∅, convertible to a full institutional staff by a vessel morphism as charter and institutional standing are established.

Source. G_Σ-fixed layer as hard core from Enterprise §Hard core as comonad fixed point and Automorphic Directed Comonad Self-Generation §Fixed-Point Atom. Minimal vessel as initial object: the initial object in the category of vessels (history site = single object, fiber = two-element Heyting algebra) follows from the initiality of the syntactic relational universe. Status: loyalty-as-comonad-stability and Weber modes as settlement profiles are new applications; minimal vessel is a new structural claim requiring verification against the relational universe’s initiality theorem. $\square$

Open questions

• Whether the line-staff distinction requires a formal subdivision of $R$ into line-roles and staff-roles, and whether this subdivision should be encoded in $V$’s role structure or derived from the relationship between roles and $M$. The nuclear reading: line roles are those whose role-bindings $b_{p,r}$ are directly in the image of the mandate’s covering sieve — roles that directly constitute a cover of M. Staff roles are those whose bindings support the covering family but do not directly cover M.
• Whether the settlement distance from C_t (the number of nuclear pair changes needed to dislodge $b_{p,r}$) has a formal definition as a metric on RelationalHistoryFixedFiber, and whether this metric is finite for all elements in RelationalHistoryFixedFiber that are not in C_t — or whether some elements of RelationalHistoryFixedFiber $\setminus$ C_t are infinitely far from C_t in the settlement distance, representing staff bindings that are extremely difficult to dislodge short of a constitutional change but are not formally constitutive.