Enterprise

Formal definition

An Enterprise is a triple $\mathcal{E} = (C, \Gamma, \mathcal{O})$:

$$\mathcal{E} = (C : \mathrm{HardCore},\; \Gamma : \mathrm{AimSet} \to \mathcal{P}(\mathrm{Aims}),\; \mathcal{O} : \mathrm{OperativeStructure})$$

where:

• $C$ is the hard core — the structured set of constitutive commitments that are treated as non-negotiable by the enterprise’s participants; $C$ gives the enterprise its identity; what makes this enterprise this enterprise rather than another is its hard core; the hard core includes the enterprise’s internal goods (MacIntyre), its guiding aims, its standards of excellence, and the negative heuristic — the boundary beyond which change counts as a different enterprise rather than the same enterprise changing
• $\Gamma$ is the generative mechanism — a function from the current aim-set $A_t$ to a set of new potential aims $\Gamma(A_t) \subseteq \mathrm{Aims}$; the generative mechanism encodes the process by which the pursuit of current aims produces residues — idle capabilities, unresolved tensions, deepened understanding that reveals new dimensions of the goal — and those residues constitute $A_{t+1}$; the enterprise is aim-generative iff $\Gamma(A_t) \neq \emptyset$ for all $t$ at which the enterprise is genuinely active
• $\mathcal{O}$ is the operative structure — the organized cooperative activity through which $C$ is pursued and $\Gamma$ is instantiated; $\mathcal{O}$ includes the agents, roles, vessels, authority relations, and procedures through which the enterprise operates; $\mathcal{O}$ may take the form of a Company $\mathcal{K} = (K, \mathcal{S}, \mathcal{G}, \ell)$, a looser Staff, or an informal cooperative arrangement; the operative structure is the carrier of the enterprise, but it is not the enterprise

Four invariants. $\mathcal{E}$ is an enterprise iff it satisfies:

1. Hard core stability: $C$ is treated as non-negotiable by the enterprise’s participants. This does not mean $C$ is metaphysically fixed or immune to change; it means that participants operate within the enterprise by accepting $C$’s authority over their activity. Challenging $C$ is not criticism within the enterprise but challenge to the enterprise itself. The hard core functions as Lakatos’s negative heuristic — a methodological policy of protection rather than a logical necessity. In MacIntyre’s terms, entering the enterprise requires accepting the authority of the standards of excellence that are partially constitutive of what this enterprise is. Hard core stability is what gives the enterprise continuity through change: aims, personnel, and methods may change while the enterprise remains the same, because $C$ persists.

2. Aim-generation: the enterprise’s activity generates new aims endogenously — from within its own pursuit of current aims. This is the defining difference from a project and from an endeavor. The formal condition: $\Gamma(A_t) \neq \emptyset$ at every $t$ when the enterprise is genuinely active. The generative mechanism operates because pursuit of aims at excellence standards always produces excess — residues that cannot be dissolved by fully achieving the current aim-set. In Penrose’s model: the firm’s use of resources generates idle capacity that reveals new productive possibilities. In Lakatos’s model: the positive heuristic generates a pre-planned sequence of new problems from the programme’s structure. In MacIntyre’s model: systematic extension of human powers generates new conceptions of what the internal goods are. The enterprise terminates — degenerates into a mere institution or project cluster — when $\Gamma(A_t) = \emptyset$: when no new aims arise from the pursuit of existing ones.

3. Temporal openness: $\mathcal{E}$ has no predetermined terminal state $t^*$ at which it is “done.” Unlike an Endeavor (which is aim-terminated — it ends when $G$ is achieved or released) or a project (which terminates when its deliverable is produced), an enterprise is structurally ongoing. The aim-set $A_t$ is never exhausted because $\Gamma$ continuously populates it. Temporal openness is not mere persistence — a dormant archive persists but is not an enterprise. Openness means the enterprise would continue to generate activity if conditions permitted; it is structured for indefinite continuation. The enterprise can end — through dissolution, degeneracy, or external destruction — but it is not ended by success.

4. Cooperative structure with internal standards: $\mathcal{O}$ involves multiple agents operating with differentiated roles and authority, organized around $C$. This is not merely aggregation: the agents act in a We-mode (Tuomela) — each agent’s role-performance contributes to the enterprise’s aim-generation, not merely to individual aims. The enterprise also has internal evaluative standards — criteria by which activity within it can be assessed as excellent, adequate, or deficient — and these standards are internal: they can only be fully appreciated by participants in the enterprise, and they cannot be reduced to external measures (financial returns, reputational signals). These internal standards are what MacIntyre calls goods internal to a practice.

The etymology: enterprise as inhabited interval

Enterprise derives from Old French entreprendre — entre- (between) + prendre (to take hold of, from Latin prehendere). The morphology is precise: the enterprise is the in-between — not a point (a single act) but an interval of sustained engagement between inception and an indefinite end. To take hold of the enterprise is to inhabit this interval, to make it one’s own.

The semantic bifurcation in the etymology is load-bearing: enterprise came to name both (a) a particular organized undertaking and (b) the disposition — readiness to undertake challenges — that makes one capable of undertaking at all. This duality encodes the central tension: enterprise as activity vs. enterprise as orientation. The formal definition unifies both: the enterprise is the activity $(C, \Gamma, \mathcal{O})$, and the disposition is the readiness to enter and operate within an aim-generative structure.

The generative mechanism in detail

The generative mechanism $\Gamma$ operates through three channels:

Channel 1: Residual idle capacity (Penrose). Pursuing aims at full commitment produces surplus — capabilities developed for one aim overshoot that aim and become available for others; resources deployed for one purpose have slack time; expertise acquired in one domain opens adjacent domains. The Penrosian residue is the gap between current capability deployment and current aim-scope. Every successful enterprise generates more capability than its current aims require.

Channel 2: Deepened understanding (MacIntyre, Kuhn). Excellence in a domain reveals more of the domain than was visible at entry. A practitioner who has internalized the standards of excellence perceives problems that are invisible to the uninitiated. The physicist who understands quantum mechanics perceives problems that classical physics could not formulate. The aim-set expands because excellence in pursuit of current aims transforms the perceiver: they can see further into the domain than before.

Channel 3: Unresolved tensions (Lakatos, Dewey). The hard core generates a positive heuristic — a structure of problems that the hard core itself makes visible, tractable, and important. The research programme generates its own next problems from the structure of its hard core commitments. Similarly, Dewey’s theory: solving one problematic situation creates new knowledge that reveals new indeterminate dimensions. The resolution of any genuine aim leaves residue because the world the enterprise operates in is richer than any aim-set can capture.

Formally: let $R(A_t) = \{a \in \mathrm{Aims} : a \text{ is generated from the pursuit of } A_t\}$ be the residue function. The enterprise is aim-generative iff $R(A_t) \neq \emptyset$ for all active $t$, and $A_{t+1} = (A_t \setminus A^*_t) \cup R(A_t)$ where $A^*_t$ are the aims discharged at $t$. The enterprise is ongoing iff $A_{t+1} \neq \emptyset$ for all $t$.

Enterprise vs. adjacent concepts

Concept	Aims	Duration	Aim-source	Unity	Social character
Enterprise	Structured, evolving	Indefinite	Endogenously generated by $\Gamma$	Hard core $C$	Constitutive cooperative structure
Endeavor	Single directed aim $G$	Bounded (aim-terminated)	Given at commissioning	The aim $G$ and commitment $K$	Optional (can be individual)
Project	Single deliverable $\delta$	Bounded (deliverable-terminated)	Specified at outset	The deliverable	Variable
Mission	Defined end-state	Bounded (end-state defined)	Externally commissioned	The commission	Structured
Company	Charter-defined purpose	Ongoing	External and internal	Charter $K$ + standing $\ell$	Constitutive (charter, staff, governance)
Institution	Structural perpetuation	Trans-generational	Normatively constituted	Norms + roles	Constitutive

Enterprise vs. company: a company is a legal/institutional entity $(K, \mathcal{S}, \mathcal{G}, \ell)$ — it is a vessel that carries and enables an enterprise. The enterprise is the aim-generative activity; the company is the form it takes when institutionally constituted with standing $\ell$. A company can exist without a genuine enterprise (shell companies, institutions that have ceased to generate new aims). An enterprise can exist without a company (the scientific enterprise, the open-source software enterprise). When a company is genuinely pursuing an enterprise, the company’s charter $K$ encodes the hard core $C$, the company’s governance $\mathcal{G}$ provides the operative structure, and the company’s staff $\mathcal{S}$ is the organized cooperative element of $\mathcal{O}$.

Enterprise vs. endeavor: an enterprise contains endeavors; endeavors are bounded episodes within an enterprise. The scientific enterprise contains individual research endeavors (completing a paper, running an experiment, building a theory). Each endeavor is aim-terminated — it ends when its aim is achieved or released. The enterprise is not terminated by the completion of any endeavor, however significant. Lakatos makes this explicit: a research programme generates a series of theories, each resolving the anomalies its predecessor faced; the programme is not any one of these theories but the ongoing structured activity that generates them.

Enterprise vs. institution: an institution perpetuates itself; an enterprise develops itself. An institution’s aim includes its own continuation (the normative system must maintain itself). An enterprise’s aim is the pursuit of its internal goods; institutional self-perpetuation is a means, not the end. MacIntyre’s critique of institutionalism applies: an enterprise that becomes purely institutional — pursuing its own perpetuation rather than its internal goods — has degenerated. The enterprise is the living thing; the institution is the house it lives in, which can outlast it.

Degeneration and termination

An enterprise degenerates when $\Gamma(A_t) \to \emptyset$ — when activity ceases to produce new aims from within. This can happen in three ways:

Exhaustion of the positive heuristic: the hard core $C$ generates no further problems to pursue. The programme has worked through the territory it opened up. Lakatos observes that this is typically a sign not of completion but of the hard core being too narrow — a genuinely rich core should always reveal further depths.

Institutional corruption (MacIntyre): the enterprise’s institutional carrier comes to dominate the enterprise itself. The institution begins pursuing external goods (money, prestige, power) at the expense of internal goods. The internal evaluative standards are degraded; excellent practitioners are replaced by institutional functionaries. The enterprise loses its aim-generative character because genuine excellence — which is what drives $\Gamma$ — is no longer rewarded or pursued.

Closure of the domain: in rare cases, a domain may be genuinely exhausted. Lakatos’s analogy is the case of Prout’s hypothesis — if all atomic masses turned out to be exact multiples of hydrogen, the programme would have completed its task. But for most enterprises, closure is not the actual mechanism of termination; degeneration through corruption or exhaustion of the positive heuristic is more common.

An enterprise terminates (as distinct from degenerating) when its hard core $C$ is dissolved — when the constitutive commitments are either abandoned or superseded by a new hard core. The new enterprise is not the old enterprise reformed; it is a new enterprise, even if it carries some of the personnel and resources of the old one.

Nuclear derivation

Fiber partition. An enterprise $\mathcal{E} = (C, \Gamma, \mathcal{O})$ at history $t$ determines a three-way partition of $H_t$:

$$H_t = C_t \;\sqcup\; A_t \;\sqcup\; S_t$$

where:

• $C_t \subseteq H^*_t$ — the settled core: hard-core propositions that are doubly settled and topologically constitutive
• $A_t = H_t \setminus H^*_t$ — the active aim-set: unsettled propositions representing current aims; each $a \in A_t$ has $\pi_t(a) = \Delta_t(\sigma_t(a)) > a$
• $S_t = H^*_t \setminus C_t$ — the settled non-core: doubly-settled propositions that are not constitutive of the enterprise’s identity (completed aims, resolved decisions)

Hard core criterion. $c \in C_t$ iff $c \in H^*_t$ and removing $c$ from $H^*_t$ would require changing the Grothendieck topology $J$ on $(T, J)$. Ordinary nuclear operations $(\sigma_t, \Delta_t)$ cannot remove elements of $C_t$; only a change to $J$ — a reconstitution of the enterprise’s covering structure — can do so. This is the formal content of invariant 1 (hard core stability).

Settlement gap. For each aim $a \in A_t$, the settlement gap is:

$$\delta_t(a) = \pi_t(a) - a = \Delta_t(\sigma_t(a)) - a \geq 0$$

with $\delta_t(a) > 0$ iff $a \notin H^*_t$. The enterprise’s activity at $t$ is the operation $a \mapsto \pi_t(a)$, driving aims from $A_t$ into $H^*_t$.

Aim-generation. Settling $a \in A_t$ — moving $a$ to $H^*_t$ — may expose new elements $a' \in H_{t+1}$ as newly required for a $J$-cover of $t+1$. Formally, the generative mechanism is:

$$\Gamma(A_t) = \{a' \in H_{t+1} \setminus H^*_{t+1} : a' \text{ is required for some } S \in J(t+1) \text{ given } A_t \subseteq H^*_{t+1}\}$$

The enterprise is aim-generative at $t$ iff $\Gamma(A_t) \neq \emptyset$: settling all current aims reveals new ones. This formalizes the Penrosian residue — the act of fully deploying current capabilities reveals idle capacity that constitutes the next aim-set.

Enterprise active condition. The enterprise is active at $t$ iff:

$$A_t \neq \emptyset \quad \text{(there are unsettled aims)}$$

Degeneration. The enterprise degenerates at $t$ iff:

$$A_t = \emptyset \quad \text{and} \quad \Gamma(\emptyset) = \emptyset$$

Every element of $H_t$ is in $H^*_t$ and no new elements are generated. The nuclei $(\sigma_t, \Delta_t)$ are effectively the identity on $H_t$: all their inflation has been exhausted.

Institutional corruption. MacIntyre’s corruption thesis is the replacement of $(\sigma_t, \Delta_t)$ by a weaker pair $(\sigma'_t, \Delta'_t)$ with $\mathrm{Fix}(\sigma'_t \circ \Delta'_t) \supsetneq H^*_t$ — more elements are cheaply settled, the bar is lowered. $A_t$ empties not by genuine aim-pursuit but by declaring aims “settled” without rigorous nuclear processing. The enterprise appears active but generates no genuine residue: $\Gamma'(A'_t) = \emptyset$ even though $A'_t \neq \emptyset$ nominally.

Day convolution: concurrent cooperative aim-pursuit

Source: History Convolution.

The enterprise’s operative structure $\mathcal{O}$ involves multiple agents pursuing aims concurrently — each working in their domain while the enterprise’s generative mechanism $\Gamma$ populates a shared aim-set. The formal structure of concurrent aim-pursuit is the history convolution (Day convolution sheafified onto the relational universe):

$$F \circledast G \;:=\; a\!\left(\int^{u,v \in T} F(u) \times G(v) \times T(t,\, u \star v)\right)$$

where $F, G$ are sheaves on the history site and $u \star v$ is the concurrent composition of histories $u$ and $v$ (defined when $u \perp v$, i.e., when the corresponding steps commute). The unit of the monoidal structure is $y(e)$ — the representable sheaf at the empty history $e$, which is the terminal sheaf: the enterprise’s founding state before any aims have been pursued.

Three readings of the Day convolution for enterprises:

1. Concurrent specialization. Two agents in the enterprise pursuing independent aims $a \in F(u)$ and $b \in G(v)$ via concurrent histories $u \perp v$ contribute to the combined aim $a \otimes b \in (F \circledast G)(u \star v)$. The enterprise can combine their specialized outputs into a joint aim-fulfillment. This is the formal content of the Penrosian residue: the concurrent deployment of two idle capabilities (one in $F$, one in $G$) generates a combined output whose settlement at $u \star v$ is computed by the Day convolution over all factorizations of the joint history.

2. Division of labor as monoidal decomposition. An aim $c \in H_t$ in the enterprise’s aim-set can be decomposed as $c \cong a \circledast b$ — achievable by distributing the work across two concurrent sub-histories $u, v$ with $t = u \star v$. The existence of such a decomposition is the condition for the enterprise to be able to divide the aim between two parallel groups. The hard core $C$ corresponds to the monoidal unit structure: the enterprise’s founding commitments are those that factor through the unit $y(e)$ — present at the empty history, before any specialization.

3. The sheaf condition as operative coherence. The Day convolution descends to sheaves (under the monoidal compatibility condition) iff concurrent activities that cover a joint history $t$ produce compatible sections that glue. Operationally: two teams working on complementary sub-histories $u, v$ with $t = u \star v$ must produce outputs that are locally compatible — they must agree on overlapping observations — in order for the enterprise to assemble their work into a global section of $H_t$. The monoidal compatibility condition on the topology $J$ is the enterprise’s condition for successful concurrent operation: $J$-covering sieves are preserved under step-composition.

Proposition (Enterprise unit = founding history). The enterprise’s founding state is the unit $y(e)$ of the history convolution — the empty history at which all aims are still before the enterprise. The hard core $C$ is the image of $y(e)$ in $H^*_t$: the propositions that are present at the empty history and have been carried forward into $H^*_t$ by the enterprise’s activity. Founding the enterprise = constituting $y(e)$ as the monoidal unit of the concurrent aim-pursuit structure. Every aimed activity of the enterprise is a morphism from $y(e)$ to the result sheaf.

Source. Day convolution construction from History Convolution §Proof items (1)–(6). Status: requires subcanonicity and monoidal compatibility of the topology $J$; both conditions must be verified for each specific enterprise’s history site. $\square$

Self-generation as enterprise fixed point. The enterprise reaches its fixed point $R = U_G(R)$ when aim-generation terminates not through degeneration but through genuine self-generation: every new aim that the enterprise could generate is already present in its settled core. The Grothendieck density theorem guarantees that this state is reachable: every sheaf in $R$ is a colimit of representables, and the representables $\{y(t)\}_{t \in T}$ are all within the enterprise’s generating set. The enterprise at fixed point is self-sufficient — it generates no new aims beyond what its current activity already constitutes.

Operational difference from degeneration. Degeneration: $\Gamma(A_t) = \emptyset$ because the hard core is exhausted. Fixed point: $\Gamma(A_t) = \emptyset$ because $A_t = \emptyset$ — all aims have been settled and the enterprise’s activity has fully constituted $H_t = H^*_t$. The difference: at fixed point, the nuclei are not weaker but have simply exhausted all available inflation ($\sigma_t = \Delta_t = \mathrm{id}_{H_t}$ in the degenerate case; $H^*_t = H_t$ in the fixed-point case).

Hard core as comonad fixed point: four open questions answered

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

The four open questions about the enterprise — hard core structural criterion, multiple hard cores, generative mechanism identity, and nested enterprises — are all answered by the distinction between two levels of fixedness: fixed under the nuclear pair alone (currently settled, RelationalHistoryFixedFiber) versus fixed under the automorphic directed comonad RelationalUniverseAutomorphicDirectedComonad (constitutively settled, hard core).

The two-level distinction. The nuclear pair (RelationalHistoryFiberSaturatingNucleus, RelationalHistoryFiberTransferringNucleus) is the internal settlement mechanism — it determines what is doubly-stable at history t in the enterprise’s current configuration. But RelationalHistoryFixedFiber has two layers:

Layer	Fixed under	Formal condition	Operational name
Currently settled	Nuclear pair only	RelationalHistoryFiberSaturatingNucleus and RelationalHistoryFiberTransferringNucleus act as identity	RelationalHistoryFixedFiber at current t
Constitutively settled	Nuclear pair AND automorphic directed comonad	Also G_Σ(c) ≅ c	Hard core C_t

The key fact from the self-generation theorem (§The Fixed-Point Atom): at the ground level, the fiber atom RelationalHistoryFiber is not a fixed point of the generating comonad — applying the comonad shifts the fiber forward, producing distinct objects. At the automorphic directed comonad level, the hull fiber RelationalUniverseAutomorphicDirectedComonadFiberStructure IS a fixed point of the comonad: all comonad iterates are isomorphic to the original. The entire comonad-orbit collapses to one isomorphism class.

This is the distinction between an element that is merely settled now versus one that cannot be moved by any generative step.

Hard core structural criterion (answered). The formal criterion distinguishing C_t from the rest of RelationalHistoryFixedFiber is: c ∈ C_t iff the automorphic directed comonad G_Σ applied to c produces an isomorphic copy — the comonad-orbit of c is a single isomorphism class. Elements of RelationalHistoryFixedFiber that are not in C_t have comonad-orbits that produce genuinely new objects — they are currently settled but can be moved when the generative mechanism is applied to a new history.

The Lakatosian account maps exactly: the hard core is defined by the negative heuristic (methodological protection) because the comonad G_Σ IS the generative mechanism — it encodes what the enterprise generates next. An element c whose comonad-orbit is a single class cannot be reached by any generative step from outside — removing it would require changing the Grothendieck topology RelationalHistoryCommutationTopologyGrothendieckCoverageJ that defines the comonad (since G_Σ = Σ* is pullback along the continuous map Σ: the topology determines the comonad). An element whose comonad-orbit includes new objects can be generated and therefore superseded without changing the topology.

The criterion is purely structural, not participant-attitude: it is the condition G_Σ(c) ≅ c tested on the enterprise’s history site.

Multiple hard cores (answered). The G_Σ-fixed layer within RelationalHistoryFixedFiber is the join of all G_Σ-stable elements — it is the largest G_Σ-invariant subalgebra of RelationalHistoryFixedFiber. Since RelationalHistoryFixedFiber is a Heyting algebra and G_Σ is a morphism, this join is unique: there is exactly one G_Σ-fixed subalgebra, and that is C_t. An enterprise with two incompatible hard cores would require two incompatible topologies J, J’ on the same history site — which means two different relational universes, not one enterprise with two cores. A federation of enterprises is formally a pair of relational universes (R₁, R₂) with a bridge morphism, not a single enterprise with a pair-valued hard core.

Generative mechanism identity (answered). Two enterprises with the same hard core C but different generative mechanisms Γ, Γ’ have the same G_Σ-fixed layer but different comonad structures G_Σ ≠ G_Σ’. Since the comonad determines the topology and the topology determines the covering structure of the history site, G_Σ ≠ G_Σ’ implies the underlying relational universes differ: R^hull ≠ R’^hull even with C_t equal. The generative mechanism is identity-relevant at the level of the relational universe itself, not merely at the level of the nuclear pair. MacIntyre’s claim that internal evaluative standards are constitutive is correct for this reason: the standards determine what counts as excellent pursuit, which determines what residues are generated, which determines G_Σ. Two enterprises with identical hard cores but different internal standards are different relational universes with the same G_Σ-fixed layer.

Nested enterprises (answered). An enterprise RelationalHyperverseE₁ nested within RelationalHyperverseE₂ corresponds to a morphism of relational universes f: R₁ → R₂ with history morphism ϕ: T₁ → T₂ and nuclear doctrine morphism α: f*(H₂) → H₁ satisfying the Beck-Chevalley conditions (Relational Universe Beck-Chevalley Tower). Under f, the inner enterprise’s hard core C₁ maps to f*(C₁) ⊆ H*_{ϕ(t)}, which is a G^{(2)}_Σ-stable subalgebra of the outer enterprise’s RelationalHistoryFixedFiber at level ϕ(t). The nesting is formally valid iff the Beck-Chevalley conditions hold for the nuclear pair transition — the same condition that governs cover compatibility in the RelationalHyperverseTowerFiberNucleusCommutativity. The hard core of a nested enterprise is a sub-fixed-point of the outer enterprise’s comonad, not merely a subalgebra of its settled fiber.

Enterprise → institution transition (answered). MacIntyre’s institutional corruption is the replacement of G_Σ by a coarser comonad G’_Σ arising from a coarser topology J’ ⊆ J (fewer covers required, more cheaply settled). Under J’, the fixed-point layer RelationalHistoryFixedFiber’ is strictly larger than RelationalHistoryFixedFiber — more elements are declared settled without rigorous nuclear processing. The diagnostic: if G’_Σ(H^hull) ≇ H^hull — the fiber atom is no longer a comonad fixed point — the enterprise has lost its self-generative character. The aim-set appears to empty (more things move into H’^*_t) while the genuine settlement gap δ_t(a) = RelationalHistoryFiberNuclearPair(a) - a remains positive on the same aims: the aims are declared settled rather than genuinely settled. The fixed-point condition G_Σ(H^hull) ≅ H^hull is the formal content of genuine self-generation; its failure is the formal content of degeneration-through-institutional-corruption.

Proposition (Hard core = comonad fixed layer; nested enterprises = universe morphisms; corruption = coarser topology). The hard core C_t of an enterprise is the G_Σ-fixed layer within RelationalHistoryFixedFiber — the unique largest G_Σ-invariant subalgebra. There is at most one hard core per enterprise. The generative mechanism is identity-relevant because it IS the comonad G_Σ: two enterprises with identical G_Σ-fixed layers but different comonads are different relational universes. Nested enterprises are morphisms of relational universes satisfying Beck-Chevalley. Institutional corruption is replacement of G_Σ by G’_Σ arising from a coarser topology J’ ⊆ J, measurable by whether the fiber atom remains a comonad fixed point.

Source. Self-generation at automorphic directed comonad level from §Self-Generation Theorem and §The Fixed-Point Atom; ground vs hull atom distinction from §The Automorphism Upgrade. Status: hard core structural criterion and multiple hard core uniqueness are new applications; generative mechanism identity and nesting are new applications; institutional corruption measurability is a new diagnostic. $\square$

Open questions

• Whether there is a constructive algorithm for computing the G_Σ-fixed layer of a given RelationalHistoryFixedFiber — a decision procedure that, given a specific enterprise history site and nuclear pair, identifies C_t by iterating the comonad until stabilization. The fixed-point condition is structural but may require transfinite iteration to compute.
• Whether the Uniqueness axiom for the automorphic directed comonad relational universe (currently pending in the axiom table) has a counterpart at the enterprise level: whether every enterprise with a given hard core C and generative comonad G_Σ is uniquely determined, or whether the initiality argument must be strengthened to cover the case where the fiber algebra is locally finite rather than fully freely generated.
• Whether the Beck-Chevalley conditions for nested enterprise morphisms are automatically satisfied when the history morphism ϕ: T₁ → T₂ is an inclusion of history monoids, or whether there are inclusions that fail the Δ-BC condition (Δ-Beck-Chevalley condition) at frontier histories of T₁ within T₂ — the same defect mobility question that arises for offices and ships.