Skip to lesson content

Lesson 12 · From formal theory to a complete finite example

How information gets lost—and why it matters for health.

We now have the mathematics to identify what a measurement must preserve. In Paper IV, I want to show you exactly where information disappears as we move from a detailed forest model to the simpler answers our declared Health questions can see.

By Zed JamesPaper IV · Sections 3–8Beginning the five-state forest benchmark

01 / The finite forest

Let's begin with five states we can follow completely.

A forest can look very different across time while still maintaining the organization we are asking it to continue. Our small model gives that idea five named states.

BBaselineThe reference organization
PStressedDisturbed, still organized
RRecoveredOrganization after recovery
AAdaptedA different continuing composition
FCollapsedDefining organization lost

In this declared system, B, P, R and A presently realize the forest organization. F does not. We can express that with a remarkably compact statement:

Present realization in the finite forest

Only the collapsed state fails present organization.

Realizes(x)⇔x≠F

The symbol ≠ means “is not equal to.” Stress remains distinct from collapse: P has been disturbed, but its defining organization is still present.

These five labels are exact categories in a mathematical benchmark, not a validated ecological classification of real forests.

02 / Which futures belong to the model?

Before measuring capacity, I have to decide which histories count.

Our model declares two environmental scenarios—mild and severe—and two horizons—now and long. It also declares six kinds of event: staying in a state, disturbance, regeneration, compositional adaptation, severe collapse, and canopy turnover.

The same event is not necessarily admissible in every context. Under mild conditions at the longer horizon, stressed P can regenerate or adapt. Under severe conditions at that horizon, the model also permits collapse.

StartCandidate histories

Proposed histories in a permissive encoding

Apply declared rulesLawful histories

Only contextually permitted histories

Check continuationViable continuations

Lawful histories preserving the organization

A collapse may be lawful in the severe scenario while failing the continuation test. Lawfulness concerns whether it can occur under the model; viability concerns whether the required organization persists.

Paper IV compares two ways of encoding this process: one places contextual restrictions directly in the history types, while the other starts from permissive candidates and filters them explicitly. The formal equivalence proves they give the same downstream viable continuations and capacities when the corresponding structures are preserved.

03 / The most informative response representation

Let's keep the different kinds of stability distinct.

To make the census fully inspectable, I give the observer four possible response atoms. E means an exposed response. The three stable atoms remember how stability arose: SB from baseline, SR from recovery, and SA from adaptation.

Detailed response carrier

Four distinct categories of viable response.

AD={E,SB,SR,SA}

The subscripts identify the source of the stable response; they are declared mathematical labels, not independently measured ecological mechanisms.

Here is the complete detailed-capacity census under one declared context: mild conditions at the short horizon.

Paper IV, Section 6 — detailed capacity, mild / now
StateDetailed capacityRealizes organization?
B · Baseline{SB, E}Yes
P · Stressed{E}Yes
R · Recovered{SR}Yes
A · Adapted{SA}Yes
F · Collapsed∅No

Every state has a different detailed capacity in this census. In this mathematical context, the representation distinguishes all five forest states. No probability weights have been assigned to the attained response categories.

04 / Simplifying the observer

Now let's let the observer forget how stability arose.

Suppose the question only needs to know whether a stable response or an exposed response is present. We can replace the three detailed stable atoms with one common label S, while preserving E.

The projection from detailed to simple capacity

One stable atom replaces three distinct ones.

π(SB)=π(SR)=π(SA)=S π(E)=E

The map π (pi) is an explicitly defined projection; it removes the stable-origin label and retains the distinction between stable and exposed responses.

Let's apply this one rule to the same five states. In each row, the simplified capacity is just the projection of the detailed response atoms.

Detailed and projected capacities, mild / now
StateDetailed capacityProjected capacity
B{SB, E}{S, E}
P{E}{E}
R{SR}{S}
A{SA}{S}
F∅∅
B, P, R, A, F
The five declared forest states: baseline, stressed, recovered, adapted and collapsed.
E and S
Exposed and stable response categories in the simplified capacity representation.
SB, SR, SA
The three distinct stable-origin atoms retained by the detailed response representation.
π
The projection that sends each detailed stable atom to S and leaves E unchanged.
∅
The empty capacity: no viable response atoms are represented in the declared context.

We've lost exactly one distinction. Recovered and Adapted now both produce {S}. The projected representation cannot tell them apart. The five detailed states therefore form four capacity classes: B, P, {R,A}, and F.

This loss occurs in the representation itself. Once both R and A have been recorded simply as {S}, a deterministic operation using only that projected capacity has no information that identifies which original state produced it.

05 / Keep only the answers used by Health

A second grouping happens even when the simplified capacities differ.

Now we'll ask two declared adequacy questions. Does any viable response exist? And is a stable response among them? Those questions can be written directly on a projected capacity c.

The declared adequacy questions

Nonempty capacity and stable response availability.

Adequateany(c)⇔c≠∅Adequatestable(c)⇔S∈c

∈ means “belongs to”; ∅ means the empty set. Both questions consume particular distinctions in the capacity representation.

Projected capacity and adequacy answers, mild / now
StateCapacityAny response?Stable response?
B{S, E}YesYes
P{E}YesNo
R{S}YesYes
A{S}YesYes
F∅NoNo

Look at B and R. Their projected capacities are still different: {S,E} versus {S}. But the two adequacy questions return the same answers for both. That difference remains in the measurement representation and is simply invisible to these declared queries.

For full Health, I also check present realization. The Collapsed state fails it. Paper IV checks the full family of scenarios, horizons and two requirements and establishes the same three Health-profile groups: {B,R,A}, P, F. The displayed mild/now table illustrates their pattern; the complete-model classification is the stronger verified result.

The centerpiece of Paper IV

Five states become four capacity groups, then three Health groups.

Both reductions are exact for the declared finite benchmark. Their causes are different. First the capacity projection erases an origin label. Then the complete declared Health question language groups capacities that still contain different response information.

01 / Detailed capacity5 classes
BPRAF

Every state has a distinct detailed response set.

02 / Simplified capacity4 classes
BPR, AF

The projection merges recovered and adapted stability.

03 / Complete Health profile3 classes
B, R, APF

All declared Health questions give B, R and A the same answers.

Paper IV, Theorems 7.1–7.2 and the Section 7 complete Health signature. The grouping is a theorem about all declared contexts and requirements of this finite model, not a general ecological classification.

06 / Locate the first loss

What disappears from the representation, and what remains unused?

Now let's put our new ladder to work. Suppose I ask you to distinguish the recovered state R from the adapted state A. Their detailed capacities contain SR and SA, but their projected capacities both become {S}. If all we retain is that projected value, we have lost the needed distinction.

Next suppose the distinction I want is between baseline B and recovered R. Their projected capacities remain different: {S,E} and {S}. What disappears is their distinction under the two declared health-adequacy questions, which both answer yes for B and R.

We can see both situations together and decide what a new scientific question would require.

Trace two kinds of information loss

Where did the distinction first disappear?

Select the pair you'd like to distinguish. The two explanations remain fully available on this page even without JavaScript; the control simply brings one into focus.

Focus on a pair of forest states
Lost at the capacity projection

R versus A

Detailed{SR} ≠ {SA}
Simplified{S} = {S}

The simplified capacity erases the stable-origin distinction. The original R/A identity is not recoverable from {S} alone.

Needed for a new question: a more detailed capacity representation, or genuinely new distinguishing information.
Retained by capacity, ignored by queries

B versus R

Simplified{S, E} ≠ {S}
Health answers(yes, yes) = (yes, yes)

The simplified capacities are already distinct. The declared Health questions do not use the additional exposed-response information.

Needed for a new question: a query such as “Is exposed available?” applied to the existing capacity.

Recovered and adapted become indistinguishable when the projection merges S_R and S_A. The capacity representation itself has erased that information.

A query distinguishing B and R might be mathematically expressible without new capacity measurements. Whether that new query is a scientifically legitimate health requirement must still be justified.

07 / Preparing for a richer measurement

Can we add back information while preserving the old Health answers?

Suppose we have used the simplified capacity representation for some time, and its declared Health questions have established a collection of judgments. Later we want a richer observation that distinguishes baseline stability, recovered stability and adapted stability.

We can keep all those response categories in the detailed representation while retaining the ability to project it back to the earlier stable-or-exposed capacity exactly.

Recover the earlier representation from the enriched one

Detailed stability projects to the original stable label.

{SR}↦{S} {SA}↦{S}

The symbol ↦ indicates how the richer response set maps into the original simpler set.

This sets up the next result, conservative enrichment. If the enriched observation can be projected back into the original one and the established adequacy questions continue to evaluate that projected representation, the previous judgments can remain intact while new distinctions become available for justified additional questions.

I'll develop the exact preservation and compatibility conditions in Lesson 13. For now, the point is that getting more informative does not necessarily require giving up the conclusions already supported by the earlier representation.

Mathematical precision and ecological meaning

The location of information loss is established inside the declared model.

Paper IV's finite construction is exhaustively checked, with associated formal results verified using Lean. It tells us exactly which states the declared response encodings distinguish, what the projection erases, and which remaining distinctions the complete Health question language ignores.

That proof does not establish that the five-state categories are a complete taxonomy of real forests, or that the chosen requirements capture every scientifically appropriate meaning of health. The benchmark capacities are sets of attained response categories, without probability weights.

Applying the architecture to an actual forest requires ecological state identification, justified histories and requirements, observation methods, uncertainty analysis and independent validation. The later empirical-synthetic work begins confronting those responsibilities with model-based probabilities and incomplete observations.

What I want you to carry forward

Information that has been erased is different from information that has been retained but ignored.

We began with five distinct forest states. A projection combined three forms of stability and made R and A indistinguishable at the capacity level, giving us four groups. Then our declared Health questions treated B, R and A identically even though the projected capacities still distinguished B from the others. The complete Health-profile quotient therefore has three classes.

Those are two different mechanisms, and they demand different remedies. To distinguish R from A after projection, we need richer representation information. To distinguish B from R, the information is already available, and an appropriately justified additional question could use it.

In Lesson 13, we'll follow this distinction into the conservative-enrichment theorem—how to make a capacity representation more informative while preserving every old Health judgment under stated compatibility conditions.

Source: Zed James, Information Provenance and Conservative Enrichment in Prospective Health: A Machine-Checked Finite Forest Benchmark, Paper IV in Health, Formally Defined (2026), especially Sections 3–8 and Theorems 7.1–7.2. Full publication record · Zenodo DOI. The five-to-four-to-three classification is exact within the declared finite formal model. It is not an empirical forest assessment or a probability estimate.