Room

Formal definition

A Room is a five-tuple $\mathcal{R} = (E, A, F, \Theta, P)$:

$$\mathcal{R} = (E : \mathrm{Enclosure},\; A \subseteq \partial E : \mathrm{AccessPoints},\; F : \mathrm{Function},\; \Theta : \mathrm{Agents} \to \{0,1\},\; P : \mathrm{Agents} \times F \to \Delta\mathrm{DeonticProfile})$$

where:

• $E$ is the enclosure — a bounded, connected, topologically closed interior with $\mathrm{int}(E) \neq \varnothing$; bounded by physical structure (walls, bulkheads, deck/overhead) or normative boundary (a designated operational space); the enclosure is habitable in the functional sense: it supports $F$’s performance requirements
• $A \subseteq \partial E$ is the set of access points — the designated locations on the enclosure boundary through which agents may enter or exit; $A$ is non-empty (a fully sealed enclosure is not a room but a vessel, vault, or containment structure); the threshold $\partial_A E$ is the normatively significant passage
• $F$ is the designated function — the activity, purpose, or role the room is organized and equipped to support; $F$ is institutional (not merely spatial): the wardroom is organized for officer social/mess functions; the chart room for navigation; the control room for reactor operation; the operating room for surgery; $F$ distinguishes the room from an undifferentiated enclosure
• $\Theta : \mathrm{Agents} \to \{0,1\}$ is the access predicate — the normative condition governing authorized entry; $\Theta(x) = 1$ iff agent $x$ is authorized to enter; unauthorized entry ($\Theta(x) = 0$) does not activate $P$ and may itself be a violation
• $P : \mathrm{Agents} \times F \to \Delta\mathrm{DeonticProfile}$ is the presence effect — the change in deontic profile that authorized presence creates; entering a room can activate role-specific permissions, obligations, and liabilities; $P(x, F)$ specifies what changes for $x$ by virtue of being in $\mathcal{R}$ in relation to $F$

Five invariants. $\mathcal{R}$ is a room iff it satisfies:

1. Habitable enclosure: $E$ supports the performance requirements of $F$. Habitability is functional, not merely geometric: a closet fails to be a room in the architectural sense because it lacks the function-support requirements (light, ventilation, egress, fire safety, minimum dimensions) that define habitable occupancy. Naval architecture distinguishes rooms (with social/authority function) from compartments (structural divisions): the wardroom is a room; the void between bulkheads is a compartment. The enclosure must be large enough, provisioned enough, and safe enough to perform $F$.

2. Non-empty accessible interior: $A \neq \varnothing$ and $\mathrm{int}(E) \neq \varnothing$. A room is entered and exited; it is not merely a bounded region but a space whose threshold has normative meaning in both directions. Without access points, the enclosure is sealed and the room concept does not apply. The threshold $A$ is the interface between the room’s internal deontic profile and the external environment.

3. Function constitutes identity: two enclosures with the same physical dimensions but different $F$ are different rooms. The operating room and the conference room may be identical physically; they are categorically distinct because $F$ differs. Repurposing a room changes its identity — the former operating room is not the operating room with different furniture; it is a different room in that space. $F$ is load-bearing in the identity conditions of $\mathcal{R}$.

4. Threshold authority is asymmetric: presence in $E$ is necessary but not sufficient for role activation. $\Theta(x) = 1$ is required for $P(x, F)$ to apply. And $P(x, F)$ specifies what presence activates — not what it installs. Authorized presence in a command station activates the positional slot only through formal installation ($I^+$); presence in the chart room activates navigational permissions but does not make one the officer of the watch. Exiting $E$ suspends but does not terminate installed authority — the authority is positional, not spatial. The threshold is asymmetric: crossing $A$ inward changes what is available; it does not install it. Crossing $A$ outward changes what is immediately exercisable; it does not dissolve installation.

5. Institutional available capacity: the primary semantic of “room” is available capacity (Old English rum — space, extent, opportunity), not architectural chamber. A room is a quantum of institutionalized availability: the room exists as a room because it is available for $F$ and designated as such. The chamber sense (enclosed space) is secondary; the function-and-availability sense is primary. This is why “no room” means insufficient capacity for purpose, not insufficient geometric space.

The threshold as normative boundary

The threshold $A$ creates a normative distinction between inside and outside that operates in both directions:

Entering: crossing $A$ into $E$ changes the agent’s available role-set. In the operating room: a surgeon inside has instrument authority; outside they do not. In the courtroom: inside, an attorney may address the bench; outside they cannot. In the CIC: inside, the operations officer has access to the full sensor picture; outside they do not. Entry activates but does not install.

Exiting: crossing $A$ out of $E$ suspends immediate exercise but does not dissolve installation. The commanding officer who steps off the bridge does not thereby transfer the conn — the conn remains with the officer of the watch who holds it by installation, not presence. The surgeon who leaves the OR mid-procedure retains professional accountability for the procedure. Exit suspends the room-specific role-availability; it does not terminate the role.

This asymmetry between activation and installation is the deepest structural feature of the room concept. The CommandStation is the formal limit case: the positional slot $\Pi$ is spatially anchored to the locus $L$, and presence in $L$ does not confer $\Pi$. The room is the general structure; the command station is the room with formal positional-slot authority and investiture requirements.

Who is NOT in the room

The room’s deontic profile is partially constituted by the absent. Goffman’s observation that “who is NOT in the room” is as constitutive as who is has formal content:

• The physician cannot discuss a patient’s case in the waiting room (where third parties are present) — the consultation room is where privacy conditions hold
• A jury room is defined precisely by the exclusion of everyone other than jurors during deliberation — the exclusion creates the deliberative condition
• The closed executive session of a board is defined by who is excluded, not only who attends — the exclusion gives privileged deliberation its character

Formally: the access predicate $\Theta$ has two outputs: $\Theta(x) = 1$ (authorized to be present) and $\Theta(x) = 0$ (excluded). The exclusion of $\Theta^{-1}(0)$-agents from $E$ is part of the institutional fact that makes $\mathcal{R}$ a room-of-type-$F$. Some room-types (operating room, jury room, executive session) require specific exclusions as a constitutive condition of the function $F$: if the wrong parties are present, $F$ is not merely impaired — the institutional fact of the room-of-type-$F$ fails to obtain.

Room in naval architecture

Naval architecture distinguishes rooms, compartments, and spaces:

Term	Boundary	Function	Authority structure
Room	Structural (bulkheads, deck, overhead)	Social, authority, or functional designation	Normatively differentiated — wardroom, chart room, operations room
Compartment	Structural	Watertight subdivision; damage control	Administrative (assigned maintenance)
Space	Structural	Generic enclosure without assigned social function	Void, storeroom, tank

The wardroom (officers’ mess) is a room: it has designated social function, an access predicate (officers of a defined rank), and a presence effect (social equality among officers inside regardless of rank hierarchy — a normative inversion specific to the space). The control room of a nuclear submarine is a room with positional-slot authority: the officer of the deck holds the conn from within it, and their authority is spatially anchored to it.

Room as institutionalized available capacity

The primary sense of “room” — availability for purpose — subsumes the chamber sense:

• “There is no room on this vessel for a crew of that size”: insufficient available capacity (spatial)
• “There is no room for disagreement on this point”: insufficient available capacity (epistemic)
• “The situation leaves no room for error”: insufficient operational tolerance (procedural)
• “Please give me room to work”: request for available operational space

All instances share the structure: $\mathcal{R}$ is a room iff the interior $E$ is available for performing $F$ and designated as the institutionalized site of that availability. The designation act creates the room from an enclosure exactly as the area designation creates an area from an extent. A sealed compartment that has never been designated for any function is not a room; it is a compartment. The same space, designated as the chart room, becomes a room.

Room vs. adjacent concepts

Concept	Boundary type	Function required?	Access predicate?	Presence effect?
Room	Physical enclosure	Yes — constitutive	Yes	Yes — deontic activation
Area	May be virtual/fuzzy	Yes — relational R	Contextual	Depends on R
Zone	Typically sharp	Yes — regulatory	Yes — legal	Yes — legal obligations
Compartment	Physical	No — structural	Maintenance	Minimal
Space	Physical	No	No	No
Office (position)	Normative	Yes — the office’s domain	Yes	Yes — duties activated
Locale	May be virtual	Yes — governing	Yes	Yes — governing

The room is the minimum unit of institutionalized enclosed capacity: physical enclosure + designated function + normative access + presence effect. The Area is more general (boundary may be fuzzy, need not be physically enclosed). The CommandStation is a room with formal positional-slot authority and investiture protocol added.

Nuclear reading

Definitions. At history $t$:

• The enclosure $E$ corresponds to the fiber $H_t$ (the enclosed history-space at this moment)
• The access condition $\Theta(x) = 1$ corresponds to $x \in H_t$ (the agent’s presence proposition is present in the fiber)
• The function $F$ corresponds to the target element $f_F \in H^*_t$: the stable condition the room is organized to produce — doubly settled
• The performance predicate $P(x, F)$ corresponds to the condition $\mathrm{role}(x) \in H^*_t$ where $\mathrm{role}(x)$ is the role-binding proposition of $x$ in the room’s function

Proposition 1 (Presence does not imply role-settlement): $\Theta(x) = 1$ (presence in $H_t$) does NOT imply $\sigma_t(\mathrm{role}(x)) = \mathrm{role}(x)$ (the role is settled/installed). Presence is a fiber-membership condition; role-settlement requires nuclear fixedness.

Proof. $\sigma_t$ is determined by the restriction profile of $\mathrm{role}(x)$ to all predecessor histories $t_0 < t$. Entering the room generates a step that adds the presence fact to the fiber; it does not constitute the role-binding’s restriction profile. The nuclei are structural features of the presheaf, unaffected by the presence step alone. □

Consequence. Installation (investiture, licensing, appointment) is the separate history-step that generates a new history $t'$ at which $\mathrm{role}(x) \in \mathrm{Fix}(\sigma_{t'})$: the recognition of the role is settled by the installation step, not by the presence step.

Proposition 2 (Room function requires doubly-stable role-binding): Full performance of the room’s function $F$ requires $\mathrm{role}(x) \in H^*_t = \mathrm{Fix}(\sigma_t) \cap \mathrm{Fix}(\Delta_t)$: the role-holder’s binding is both backward-recognized (past record constitutes the role) and forward-committed (every extension carries the role). A partially installed role-holder — one with only $\sigma_t$-fixedness ($\mathrm{Fix}(\sigma_t) \setminus H^*_t$) — has received recognition but is not yet operationally committed to every forward extension.

Proposition 3 (Meet of room functions is a room function): If $f_1, f_2 \in H^*_t$ are stable conditions the room is organized to produce, then $f_1 \wedge f_2 \in H^*_t$.

Proof. By meet-preservation of both $\sigma_t$ and $\Delta_t$: $\sigma_t(f_1 \wedge f_2) = f_1 \wedge f_2$ and $\Delta_t(f_1 \wedge f_2) = f_1 \wedge f_2$. □

Consequence. A room organized to produce multiple functions simultaneously — a bridge that serves as both chart room and command station — has a joint function $f_1 \wedge f_2$ that is itself doubly stable if each function individually is.

Open questions

• Whether a virtual room (video conference, collaborative digital workspace) satisfies the enclosure invariant — whether $E$ can be topologically virtual (a designated connection space) or requires physical structure; whether the threshold $A$ in virtual rooms is the join/leave action.
• Whether the exclusion structure (who is NOT in the room) should be formalized as a second predicate $\overline{\Theta} : \mathrm{Agents} \to \{0,1\}$ distinct from $\Theta$, where $\overline{\Theta}(x) = 1$ means $x$’s exclusion is constitutive of $F$ — not merely $\Theta(x) = 0$.
• The formal relationship between room and the Office position — whether an office position’s domain $A$ is always a room with $F$ = the office function and $P$ = the deontic profile of the position holder.
• Whether habitability (invariant 1) has a sheaf-theoretic expression — whether the local sections of a room’s function sheaf must all be compatible (no contradictory function requirements in overlapping sub-spaces) for the room to be coherent.