Health, Formally Defined · Paper IV · Preprint

Information Provenance and Conservative Enrichment in Prospective Health

A Machine-Checked Finite Forest Benchmark.

Zed James

Scientific summary

Within a declared five-state forest system, the study compares a context-indexed history encoding with a permissive candidate-history encoding constrained by an explicit lawfulness predicate. The two encode the same lawful histories and preserve viable continuations, collected capacity, and Health.

An exhaustive information-provenance census distinguishes representational erasure from distinctions that remain available in capacity but are unused by the current Health language. Detailed capacity distinguishes five states, original capacity four classes, and declared Health three. Exact collapse classifications identify where each distinction is lost.

A domain-neutral conservative-capacity-refinement lemma proves preservation of established Health judgments when a richer observer projects exactly to an established capacity and the existing adequacy is pulled back through that projection. A strict forest instance recovers the adaptation/recovery distinction while preserving earlier judgments. These results concern set-valued attained responses under fixed declared semantics; stochastic measure and ecological calibration require additional evidence.

Full paper · HFD4

The complete published manuscript is available directly from Fieldflux as an indexed PDF. Open the PDF in your browser ↗

Inline PDF viewing is unavailable here. Open the complete paper ↗

Citation

James, Z. (2026). Information Provenance and Conservative Enrichment in Prospective Health: A Machine-Checked Finite Forest Benchmark. Zenodo. https://doi.org/10.5281/zenodo.23268802

Version DOI: 10.5281/zenodo.23268802 · All-versions DOI: 10.5281/zenodo.23268803. Preprint dated October 9, 2026. Zenodo is the persistent publication and PDF archive. © 2026 Zed James. Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International.

Series overview →← Previous paperNext paper →

Health, Formally Defined · Paper IV · ongoing series