Justin Hart

The Symbiotic Bandwidth Bound: Low-Rank Shared Channels Cannot Remove Worst-Case Thermodynamic Speed Limits

Proof-reconciled generated exploration of low-rank shared mobility channels under a bounded quadratic model. This public working-corpus release includes the reviewed manuscript and paired Lean evidence. It is not peer reviewed or empirically validated; significance and novelty ha...

The Reciprocity Corridor: A Bilateral-Benefit Test for Directional Information Exchange

Proof-reconciled generated exploration of a two-party linear bilateral-benefit corridor for directional predictive-information exchange. This public working-corpus release includes the reviewed manuscript and paired Lean evidence. It is not peer reviewed or empirically validated;...

The Anytime Change Certificate: False-alarm control, a late-change penalty, and a bounded erasure budget for continuous monitoring

Proof-reconciled generated exploration of a heavy-tailed anytime-valid change-time mixture with explicit iid/model-mismatch controls and model-limited erasure accounting. This public working-corpus release includes the reviewed manuscript and paired Lean evidence. It is not peer...

The Seed-Source Bottleneck Certificate: A cut condition for climate-aligned afforestation supply networks

Proof-reconciled generated exploration applying an established capacitated Hall/min-cut construction to declared seed-routing inputs. This public working-corpus release includes the reviewed manuscript and paired Lean evidence. It is not peer reviewed or empirically validated; si...

The Cognitive Switching Hysteresis Certificate: Exact loop geometry under directional state-change penalties

Proof-reconciled generated exploration of a bounded two-state relay model. This public working-corpus release includes the reviewed manuscript and paired Lean evidence. It is not peer reviewed or empirically validated; significance and novelty have not been independently establis...

The Anytime Change Certificate: False-alarm control, a late-change penalty, and a bounded erasure budget for continuous monitoring

Proof-reconciled generated exploration of a heavy-tailed anytime-valid change-time mixture with explicit iid/model-mismatch controls and model-limited erasure accounting. This public working-corpus release includes the reviewed manuscript and paired Lean evidence. It is not peer...

The Precautionary Capacity Reserve: A Sharp Moment-Robust Stewardship Discount for an Intelligence-Rate Model

Proof-reconciled generated exploration of a one-period two-moment chance certificate for uncertain effective capacity under an assumed information-rate model. This public working-corpus release includes the reviewed manuscript and paired Lean evidence. It is not peer reviewed or...

The Invariance Capacity Ceiling: Forbidden-Proxy Alignment Caps Predictive Information

Proof-reconciled generated exploration of a finite representation-capacity ceiling under forbidden-proxy mutual-information leakage. This public working-corpus release includes the reviewed manuscript and paired Lean evidence. It is not peer reviewed or empirically validated; sig...

The Symbiotic Bandwidth Bound: Low-Rank Shared Channels Cannot Remove Worst-Case Thermodynamic Speed Limits

Proof-reconciled generated exploration of low-rank shared mobility channels under a bounded quadratic model. This public working-corpus release includes the reviewed manuscript and paired Lean evidence. It is not peer reviewed or empirically validated; significance and novelty ha...

The Cognitive Switching Hysteresis Certificate: Exact loop geometry under directional state-change penalties

Proof-reconciled generated exploration of a bounded two-state relay model. This public working-corpus release includes the reviewed manuscript and paired Lean evidence. It is not peer reviewed or empirically validated; significance and novelty have not been independently establis...

The Seed-Source Bottleneck Certificate: A cut condition for climate-aligned afforestation supply networks

Proof-reconciled generated exploration applying an established capacitated Hall/min-cut construction to declared seed-routing inputs. This public working-corpus release includes the reviewed manuscript and paired Lean evidence. It is not peer reviewed or empirically validated; si...

The Reciprocity Corridor: A Bilateral-Benefit Test for Directional Information Exchange

Proof-reconciled generated exploration of a two-party linear bilateral-benefit corridor for directional predictive-information exchange. This public working-corpus release includes the reviewed manuscript and paired Lean evidence. It is not peer reviewed or empirically validated;...

The Precautionary Capacity Reserve: A Sharp Moment-Robust Stewardship Discount for an Intelligence-Rate Model

Proof-reconciled generated exploration of a one-period two-moment chance certificate for uncertain effective capacity under an assumed information-rate model. This public working-corpus release includes the reviewed manuscript and paired Lean evidence. It is not peer reviewed or...

The Invariance Capacity Ceiling: Forbidden-Proxy Alignment Caps Predictive Information

Proof-reconciled generated exploration of a finite representation-capacity ceiling under forbidden-proxy mutual-information leakage. This public working-corpus release includes the reviewed manuscript and paired Lean evidence. It is not peer reviewed or empirically validated; sig...

Robustness Before Performance: A Governed Decision Kernel with Formally Verified Release Boundaries

A domain-independent, non-actuating robustness decision kernel with explicit evidence, authority, lineage, interval, trajectory, and release-state boundaries. The paper is reconciled to 27 named Lean theorems and 19 review checks with zero proof holes. It does not claim empirical...

The Scheduler Free-Energy Certificate: A One-Step Audit of Anti-Starvation Research Selection

A formally verified one-step certificate for maximum-age selection under an equal-cost deterministic reset model, paired with a reproducible audit of a versioned research-scheduling policy. The policy proposal remains unadopted, and the paper does not claim long-run optimality, e...