Panasenko

Sharp Single-Cover Extremal Sensitivity Bounds for Myrheim-Meyer and Midpoint-Scaling Dimension Estimators on Finite Posets

Myrheim-Meyer and midpoint-scaling dimensions are established order-theoretic diagnostics for finite causal sets and related directed acyclic structures. We study their worst-case response to a strict canonical one-cover edit: two finite bounded posets on the same ground set whos...

Location-Mixed Flea Profiles and Born-State Convergence: Robustness of the Two-Scale Classification in the Two-State Flea Model

We study the robustness of the two-scale Born-state convergence classification in the exact two-state flea model when the fixed scaled source profile is replaced by genuinely h-dependent location mixtures. For a fixed normalized kernel k in L1(R), we consider profiles g_h = k * n...

Complete Large-κ Channel-Cluster Classification for a Concentrating Two-State Ensemble

A predecessor analysis of a concentrating two-state flea ensemble showed that, at fixed 0<λ₀<∞, the naive boundary point (κ,λ)=(∞,λ₀) has no unique limiting channel. Here we ask the separate channel-theoretic question of classifying all cluster points of the same exact two-state...

Response-Matched Dressed Control for Vanishing Flea Amplitudes in a Semiclassical Double Well

We study a fixed smooth nonnegative strict right-barrier flea in the one-dimensional semiclassical quartic double well, multiplied by a signed random scalar coefficient and an amplitude w_h -> 0. A preceding response-controlled analysis established exact dressed C^1 validity only...

Location-Mixed Flea Profiles and Born-State Convergence: Robustness of the Two-Scale Classification in the Two-State Flea Model

We study the robustness of the two-scale Born-state convergence classification in the exact two-state flea model when the fixed scaled source profile is replaced by genuinely h-dependent location mixtures. For a fixed normalized kernel k in L1(R), we consider profiles g_h = k * n...

Complete Large-κ Channel-Cluster Classification for a Concentrating Two-State Ensemble

A predecessor analysis of a concentrating two-state flea ensemble showed that, at fixed 0<λ₀<∞, the naive boundary point (κ,λ)=(∞,λ₀) has no unique limiting channel. Here we ask the separate channel-theoretic question of classifying all cluster points of the same exact two-state...

Response-Matched Dressed Control for Vanishing Flea Amplitudes in a Semiclassical Double Well

We study a fixed smooth nonnegative strict right-barrier flea in the one-dimensional semiclassical quartic double well, multiplied by a signed random scalar coefficient and an amplitude w_h -> 0. A preceding response-controlled analysis established exact dressed C^1 validity only...

Response-Controlled Dressed Dynamics Beyond Static Isolation in a Semiclassical Double Well

We study a random flea perturbation of the semiclassical quartic double well in a regime where the perturbation-to-harmonic-gap ratio need not remain bounded. For a fixed smooth nonnegative barrier-supported perturbation, relative-form control and an exact invariant-graph/Riccati...

Scaled-Time Classification of Born-State Convergence in the Two-State Flea Model

Cicchella et al. study a two-state approximation to the perturbed double-well “flea” model and prove that an ensemble-averaged state converges to the Born-rule mixture under the successive limits of long time followed by the semiclassical limit. We keep the same finite-dimensiona...

Scaled-Time Classification of Born-State Convergence in the Two-State Flea Model

Cicchella et al. study a two-state approximation to the perturbed double-well “flea” model and prove that an ensemble-averaged state converges to the Born-rule mixture under the successive limits of long time followed by the semiclassical limit. We keep the same finite-dimensiona...

Null-Structural Vacuum, Atemporal Actuality, and Pre-Dimensional Applicability: A Scenario-Typed Framework for Testing a Null-Structural Sector

This paper develops a scenario-typed formal framework for distinguishing an applicability boundary from a denoting null-structural scenario. The target symbol V₀ is not assumed to denote uniformly: Scenario A treats V₀ as a denoting NullSector, B rejects denotation, C begins mini...

When Is There a First Threshold? A Formal Audit of Global Applicability Claims in Structural-Enrichment Models

This preprint develops a Global Threshold Audit (GTA) for distinguishing several non-equivalent claims about when a predicate, operator, or vocabulary becomes licensed in a structurally ordered model. GTA takes an existing positive licensing relation as input and separates five g...

Lifecycle-Aware Replay for Proof-Carrying Formal Software: Contract-Indexed Verdicts, Temporal Test Semantics, and Cross-Backend Evidence Preservation

Formal-software releases are executable research objects whose replay depends on source identity, release history, test semantics, proof-assistant toolchains, environment state, and verdict rules. This paper develops a lifecycle-aware replay method and evaluates it through a boun...

Null-Structural Vacuum, Atemporal Actuality, and Pre-Dimensional Applicability: A Scenario-Typed Framework for Testing a Null-Structural Sector

This paper develops a scenario-typed formal framework for distinguishing an applicability boundary from a denoting null-structural scenario. The target symbol V₀ is not assumed to denote uniformly: Scenario A treats V₀ as a denoting NullSector, B rejects denotation, C begins mini...