Objective

Formal definition

An Objective is a four-tuple $\mathcal{O} = (o, g, m, \tau)$:

$$\mathcal{O} = (o \in H_t,\; g : \mathrm{Goal},\; m : H_t \to [0,1],\; \tau : \mathrm{Deadline})$$

where:

• $o$ is the specific target element — a concrete, measurable element of $H_t$ whose settlement in $H^*_\tau$ constitutes achievement; $o$ is more specific than the goal $g$ it serves: where $g$ may be broad (“improve operational effectiveness”), $o$ is bounded and decidable (“complete this specific inspection by this date”)
• $g$ is the goal the objective serves — $o \leq g$ in the fiber order, so that driving $o$ to settlement contributes to driving $g$ toward settlement; the objective is a decomposition of the goal into a specific, tractable sub-target
• $m : H_t \to [0,1]$ is the progress metric — a function that tracks how close $o$ is to settlement at the current history; $m(o) = 0$ means no progress; $m(o) = 1$ means achieved ($o \in H^*_t$); $m$ is what makes the objective measurable in the SMART sense — without $m$, there is no way to track progress toward $\tau$
• $\tau$ is the deadline — the specific target history at which $o$ must be in $H^*_\tau$; $\tau$ converts the objective into a time-bounded commitment; without $\tau$, a goal can be perpetually deferred; $\tau$ makes deferral a failure

The objective is:

• Achieved when $o \in H^*_\tau$: the target element is fully settled (meaning-settled and execution-settled) at the deadline history
• Missed when $\tau$ passes and $o \notin H^*_\tau$: the deadline history has passed without settlement
• On track when $m(o)$ is on a trajectory that will reach $m(o) = 1$ by $\tau$

The SMART criteria as well-formedness conditions

SMART objectives (Doran, 1981) formalize the conditions under which an objective functions as an actionable target rather than a vague aspiration:

Specific ($o$ is determinate): $o$ is a specific element of $H_t$, not a family of elements or a vague region. The achievement condition “$o \in H^*_\tau$” must have a determinate fact of the matter — no room for interpretive dispute about whether $o$ is achieved.

Measurable ($m$ is defined and computable): the progress metric $m$ exists and can be evaluated at each history step. Without a computable $m$, the objective is present in the fiber but invisible to the tracking system.

Achievable (there exists a path $\pi: t \to \tau$ such that $\pi^*(o) \in H^*_\tau$): the objective is achievable if the fiber’s structure permits a history path that carries $o$ to settlement by $\tau$. An objective for which no such path exists is aspirational at best, delusional at worst.

Relevant ($o \leq g$): the objective genuinely contributes to the goal. If $o$ settles independently of $g$, it is a task but not an objective in the goal-serving sense. Relevance requires that driving $o$ to $H^*_\tau$ creates conditions that advance $g$ toward $H^*_{>τ}$.

Time-bounded ($\tau$ is determinate): the deadline is specific. Without a determinate $\tau$, the progress metric $m$ has no reference point against which to assess whether progress is sufficient.

The OKR bipartite: Objective as direction, Key Result as objective

The OKR framework (Grove, Intel 1970s; Doerr, Google 1999) introduces a bipartite structure:

• Objective (in OKR’s informal sense): qualitative, aspirational, directional — “Build the most reliable navigation system in the fleet”
• Key Result (KR): quantitative, measurable milestone — “Achieve 99.97% uptime across all navigation systems by Q3”

In the formal vocabulary: the OKR Objective corresponds to a Goal (directional, purpose-stating); the OKR Key Results are objectives in the formal sense — specific, measurable, time-bounded sub-targets.

The bipartite insight: the goal provides the purpose (connects to Teleology and Intent); the objectives operationalize it as decidable milestones (elements of $H_t$ with computable progress metrics and specific deadlines). Neither alone is sufficient: a goal without objectives has no operational traction; objectives without a goal are tasks with no direction.

Objectives and reporting

An objective $(o, g, m, \tau)$ generates a natural Report structure: at each history step, the findings-differential $\Delta^* = \Gamma(H^*_{t'}) \setminus \Gamma(H^*_t)$ either contains evidence of progress toward $o$ (newly settled elements that are components of $o$) or it doesn’t. The progress metric $m$ maps the differential to a $[0,1]$ value.

A periodic report on an objective answers: “How much has $m(o)$ changed this period, and is the current trajectory sufficient to achieve $o \in H^*_\tau$ by deadline?” This is the formal structure of status reporting: not a narrative but a measurement of the target element’s progress toward the fixed fiber.

Objectives under friction

Friction affects objectives by displacing $o$ from its expected settling trajectory: an order $I$ settled at $t_0$ to achieve $o$ by $\tau$ may become unsettled at $t_n$ as $\pi^*(I) \notin H^*_{t_n}$. When friction is present, the progress metric may stall or regress despite effort.

The appropriate response to friction on objectives is not to abandon the objective (unless achievability fails) but to exercise Judgment: determine what actions within the conferred zone and consistent with the operative intent will advance $o$ toward $H^*_\tau$ given the current situation $f$ — i.e., to select $\alpha \in Z \cap R(f)$ where $\alpha$’s settlement advances $o$.

Nuclear reading

Proposition 1 (Achievement is the convergence criterion; objective is achieved iff the stabilization-envelope dyad collapses at τ). For objective $(o, g, m, \tau)$, the achievement condition $o \in H^*_\tau$ is equivalent to:

$$\mathrm{RelationalHistoryFiberPropositionStableEnvelope}_\tau(o) = o = \mathrm{RelationalHistoryFiberJointNuclearRetraction}_\tau(o)$$

The objective is achieved iff the stable envelope of $o$ at $\tau$ equals $o$ equals the telos of $o$ at $\tau$ — the instability interval has collapsed to a point.

Proof. From Teleology Proposition 4 (convergence criterion): $a \in H^*_t$ iff the stabilization-envelope dyad collapses. Applied to $o$ at $\tau$: achievement is exactly the dyad collapse. $\square$

Content. The convergence criterion gives the operational test for objective completion: both the stable envelope (the already-secured floor) and the telos (the outstanding commitment ceiling) must equal $o$ itself. A progress report that tracks only one of these misses half the picture.

Proposition 2 (Telos of the target element is the natural achievement ceiling; progress is gap closure). The progress metric $m : H_\tau \to [0,1]$ has a canonical nuclear form: $m(o)$ measures what fraction of the instability interval $[\mathrm{RelationalHistoryFiberPropositionStableEnvelope}_\tau(o), \mathrm{RelationalHistoryFiberJointNuclearRetraction}_\tau(o)]$ has been closed. At $m(o) = 0$, the stable envelope is at the floor and the telos is strictly above. At $m(o) = 1$, the interval has collapsed: $o \in H^*_\tau$.

Proof. The instability interval is a well-defined sub-Heyting-algebra containing $o$. Any monotone function from the interval to $[0,1]$ that maps the minimum to 0 and the maximum to 1 and is 1 iff the interval has collapsed gives a valid progress metric. The canonical choice is the lattice-rank of $o$ within the interval normalized to $[0,1]$. $\square$

Content. The telos of the target element provides the natural ceiling against which progress is measured. This answers the open question from the earlier version: the natural progress metric is nuclear, derived from RelationalHistoryFiberJointNuclearRetraction, not an arbitrary external scale.

Proposition 3 (Objective contribution: settling o advances g; telos order is preserved by monotonicity). If $o \leq g$ in the fiber order, then:

$$\mathrm{RelationalHistoryFiberJointNuclearRetraction}_\tau(o) \leq \mathrm{RelationalHistoryFiberJointNuclearRetraction}_\tau(g)$$

Driving $o$ to RelationalHistoryFixedFiber contributes toward driving $g$ to RelationalHistoryFixedFiber: the telos of the objective is below the telos of the goal it serves.

Proof. RelationalHistoryFiberJointNuclearRetraction is a nucleus, hence order-preserving (any extensive meet-preserving idempotent is order-preserving on a complete lattice): $o \leq g$ implies $\mathrm{RelationalHistoryFiberJointNuclearRetraction}(o) \leq \mathrm{RelationalHistoryFiberJointNuclearRetraction}(g)$. $\square$

Content. Objective relevance (the SMART “Relevant” criterion) has a formal content: the objective genuinely contributes to the goal iff $o \leq g$, and this contribution is verified by the telos-order inequality. An objective that settles independently of its stated goal — where $o$ and $g$ are incomparable in the fiber order — is not genuinely relevant to the goal in the formal sense.

Proposition 4 (Conjunction of achieved objectives is achieved; objective portfolios close under meet). If $o_1, o_2 \in H^*_\tau$, then $o_1 \wedge o_2 \in H^*_\tau$.

Proof. By meet-preservation of both RelationalHistoryFiberSaturatingNucleus and RelationalHistoryFiberTransferringNucleus: $\mathrm{RelationalHistoryFiberSaturatingNucleus}_\tau(o_1 \wedge o_2) = \mathrm{RelationalHistoryFiberSaturatingNucleus}_\tau(o_1) \wedge \mathrm{RelationalHistoryFiberSaturatingNucleus}_\tau(o_2) = o_1 \wedge o_2$; similarly for RelationalHistoryFiberTransferringNucleus. $\square$

Content. A portfolio of achieved objectives is jointly achieved: the meet of all achieved objectives is in RelationalHistoryFixedFiber. This supports objective cascading: if a higher-level objective $g$ can be expressed as a meet of lower-level objectives $g = o_1 \wedge \cdots \wedge o_k$, then achieving all $o_i$ achieves $g$. The cascading structure is sound as long as the decomposition into a meet is faithful — $g = \bigwedge_i o_i$ in the fiber — which is the formal well-formedness condition for objective decomposition.

Proposition 5 (Friction can un-achieve an objective; achievement must be assessed at the deadline, not earlier). If $o \in H^*_{t_0}$ (the objective was achieved at some earlier history), it does not follow that $\pi^*(o) \in H^*_{t_n}$ for a path $\pi : t_0 \to t_n$. Restriction maps do not preserve RelationalHistoryFixedFiber in general. An objective achieved at $t_0$ may be un-achieved at $t_n$ under a friction-generating path.

Proof. From Friction: the formal heart of friction is that RelationalHistoryFixedFiber is not preserved by arbitrary restriction maps. A settled element at $t_0$ may map to an unsettled element at $t_n$. Specifically: $o \in H^*_{t_0}$ implies $\mathrm{RelationalHistoryFiberSaturatingNucleus}_{t_0}(o) = o$ and $\mathrm{RelationalHistoryFiberTransferringNucleus}_{t_0}(o) = o$; but $\pi^*(o) \in H_{t_n}$ with $\mathrm{RelationalHistoryFiberSaturatingNucleus}_{t_n}(\pi^*(o))$ and $\mathrm{RelationalHistoryFiberTransferringNucleus}_{t_n}(\pi^*(o))$ each computed under the possibly different nuclei at $t_n$. $\square$

Content. The SMART “Time-bounded” criterion has a deeper nuclear content: the deadline $\tau$ is not merely a management convention but the specific history at which the objective’s fixed-fiber status is assessed. Achieving an objective at an earlier history does not satisfy the objective if friction has un-achieved it by the deadline. This also explains why objectives require monitoring: they can regress. The progress metric $m$ must be tracked at each history along the path to $\tau$, not computed once and assumed stable.

Open questions

• Whether the progress metric must be a homomorphism from the fiber Heyting algebra to the unit interval (preserving lattice operations) or whether it can be an arbitrary function; the choice matters because a homomorphic metric would have composable objective metrics, while an arbitrary metric may be inconsistent across combined objectives.
• Whether there is a formal condition for when objectives should be cascaded (a higher-level objective decomposed into multiple lower-level objectives assigned to different agents) and whether the cascading relation preserves the achievability condition — whether achieving all lower-level objectives guarantees achievement of the higher-level one, and whether this is exactly the condition that the decomposition is a meet in the fiber.
• Whether the progress metric can always be derived from the nuclear dynamics — whether the fraction of the instability interval closed is always a well-defined metric, and whether there are objectives whose instability interval has no natural length measure (incomparable elements in a non-linear lattice), requiring an external scale.
• Whether the friction-induced regression of achieved objectives (Proposition 5) can be bounded — whether there is a class of objectives that are friction-resistant in the sense that once achieved, their restriction maps preserve RelationalHistoryFixedFiber-membership along certain paths, and whether this class corresponds to elements at the top of the lattice (close to the maximum of the fiber) or to elements with specific structural properties in the nuclear quartet.