Route–Resource Interlock in a Controlled Reaction Network: Finite-Horizon Viability, Observation Failure, and Refinement

This preprint develops a route–resource interlock in a thermodynamically specified controlled reaction network with two non-equivalent finite fuel pools, competing restoration and repair, and evolving coupling. The feasible-current correspondence depends on the support state, while realized routing changes those same support variables and thereby alters later control authority. For systems admitting the route–resource representation used in the paper, the manuscript identifies hidden resource directions generated by effect-equivalent routing and proves that every effect-closed linear resource summary must annihilate those directions. When the feasible-current correspondence varies along such a direction, the summary is blind to a present authority difference. In the specified network, computer-assisted all-control lifetime certificates and complete verified trajectories establish universal exclusion for initial allocation \(\theta\in[0.09,0.49425]\) and constructive finite-horizon feasibility for \(\theta\in[0.49915,0.70]\) at horizon \(H=0.20\). The interval \((0.49425,0.49915)\) remains unclassified by the present certificates and is not asserted to be a transition region or exact viability boundary. The paper further shows that favorable instantaneous margin motion does not determine finite-horizon viability; that pooled peak restoration capacity and thermodynamic free-energy density remain insufficient observations; and that directional and joint restoration–repair readouts provide different sufficient refinements. A separate same-output reorganization trajectory outlasts every trajectory constrained to preserve the original working populations and coupling. This version substantially reframes and extends the original preprint around the route–resource interlock, adds a general hidden-resource-direction result, strengthens the distinction between present control authority and finite-horizon continuation, and includes revised figures and supplementary material. The accompanying reproducibility archive is available at DOI 10.5281/zenodo.22879945.

Authors

Publication Details

Journal
Zenodo (CERN European Organization for Nuclear Research)
Published
2026-10-09
DOI
https://doi.org/10.5281/zenodo.23253353
Primary Topic
Formal Methods in Verification
Type
preprint
Controls
|||
ALL TIME
JAN
FEB
MAR
APR
MAY
JUN
JUL
AUG
SEP
OCT
preprint

Route–Resource Interlock in a Controlled Reaction Network: Finite-Horizon Viability, Observation Failure, and Refinement

Dimitri Cerny
Zenodo (CERN European Organization for Nuclear Research)
Formal Methods in Verification
preprint

Route–Resource Interlock in a Controlled Reaction Network: Finite-Horizon Viability, Observation Failure, and Refinement

Dimitri Cerny
preprint en

Abstract

This preprint develops a route–resource interlock in a thermodynamically specified controlled reaction network with two non-equivalent finite fuel pools, competing restoration and repair, and evolving coupling. The feasible-current correspondence depends on the support state, while realized routing changes those same support variables and thereby alters later control authority. For systems admitting the route–resource representation used in the paper, the manuscript identifies hidden resource directions generated by effect-equivalent routing and proves that every effect-closed linear resource summary must annihilate those directions. When the feasible-current correspondence varies along such a direction, the summary is blind to a present authority difference. In the specified network, computer-assisted all-control lifetime certificates and complete verified trajectories establish universal exclusion for initial allocation \(\theta\in[0.09,0.49425]\) and constructive finite-horizon feasibility for \(\theta\in[0.49915,0.70]\) at horizon \(H=0.20\). The interval \((0.49425,0.49915)\) remains unclassified by the present certificates and is not asserted to be a transition region or exact viability boundary. The paper further shows that favorable instantaneous margin motion does not determine finite-horizon viability; that pooled peak restoration capacity and thermodynamic free-energy density remain insufficient observations; and that directional and joint restoration–repair readouts provide different sufficient refinements. A separate same-output reorganization trajectory outlasts every trajectory constrained to preserve the original working populations and coupling. This version substantially reframes and extends the original preprint around the route–resource interlock, adds a general hidden-resource-direction result, strengthens the distinction between present control authority and finite-horizon continuation, and includes revised figures and supplementary material. The accompanying reproducibility archive is available at DOI 10.5281/zenodo.22879945.

Zenodo (CERN European Organization for Nuclear Research)
Formal Methods in Verification
AI Navigator

Ask Laika to Summarize, Analyze, and Connect papers live on the map.

Summarize Papers & Methodologies

Extract key findings, datasets, and comparative methods across publications.

Benchmark Rankings & Visual Analytics

Rank top research institutions, authors, funders, topics, and journals by Field-Weighted Citation Impact (FWCI) and paper volume with instant charts.

Connect Distant Disciplines

Bridge topological clusters on the map to find hidden collaborative intersections.

Route–Resource Interlock in a Controlled Reaction Network: Finite-Horizon Viability, Observation Failure, and Refinement — Dimitri Cerny · Zenodo (CERN European Organization for Nuclear Research) (2026) | TGRS Research Map | TGRS