Panasenko

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...

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...

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...

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...