Skip to content

Closure Is Not Erasure: A Minimal-State Theory of History-Sensitive Recovery and the Evidential Boundary of Experand

Oct 2026 · Zenodo (CERN European Organization for Nuclear Research)
Philosophy and Theoretical Science

Abstract

Restored competence does not establish that a disturbance has been erased. A system may close an unresolved condition yet retain a causally effective distinction between histories that now share endpoint status and report. Motivated by Recovery Without Reset in the Experand adequacy framework, this paper applies classical future-equivalence minimization to independently certified closure cohorts, deriving the minimum complete-state capacity required to preserve their distinguishable continuations. For finite observations with jointly certified uncertainty sets, an incompatibility graph supplies a conservative state bound, with a directly verifiable clique certificate. We distinguish the broad condition of a post-closure historical difference from the stronger case in which the histories are observationally identical at closure and diverge only under a later probe. Finite constructions separate this delayed-revelation property from possibility ordering and noncommutative composition; a geometric example shows why independent causal variables need not admit global fixed-direction neural edits. A retrospective calculation using an archived event log and five recurrent networks illustrates the finite bound, but the order-dependent score was a supervised target and already separated the histories at closure. Its NOP continuation therefore does not demonstrate delayed revelation or a novel recovery mechanism. The account specifies the causal-state obligations supported by operational evidence while leaving phenomenal ownership and intrinsic valence to Experand’s constitutive theory.

View source

Similar papers

#computer vision Conference Aug 2008

Scrum in a Multiproject Environment: An Ethnographically-Inspired Case Study on the Adoption Challenges

Agile methods continue to gain popularity. In particular, the Scrum method appears to be on the verge of becoming a de-facto standard in the industry, leading the so called Agile movement. While there are success stories and recommendations, there is little scientifically valid evidence of the challenges in the adoptio...

A. Marchenko, P. Abrahamsson · 59 citations · ⚡11
#computer vision Open access Sep 2012

Making the leap to a software platform strategy: Issues and challenges

A comprehensive taxonomy of the challenges faced when a medium-scale organization decided to adopt software platforms is provided, namely: business challenges, organizational challenges, technical challenges, and people challenges.

Yaser Ghanam, F. Maurer, P. Abrahamsson · 41 citations · ⚡3
#machine learning Open access Mar 2024

Integration of molecular coarse-grained model into geometric representation learning framework for protein-protein complex property prediction

MCGLPPI, a novel geometric representation learning framework that combines graph neural networks (GNNs) with the MARTINI molecular coarse-grained (CG) model to predict overall PPI properties accurately and efficiently, offers an effective and efficient solution for PPI overall property predictions.

Yang Yue, Shu Li, Yihua Cheng et al. · 15 citations
#data science Open access Oct 2026

Less can be more for predicting properties with large language models

Abstract Predicting properties from coordinate–category data—sets of vectors paired with categorical information—is fundamental to computational science, manifesting in materials science as predicting formation energies or elastic moduli from crystal structures. While large language models (LLMs) have increasingly been...

Nawaf Alampara, Santiago Miret, Kevin Maik Jablonka · 13 citations

PepPCBench is a Comprehensive Benchmarking Framework for Protein-Peptide Complex Structure Prediction

PepPCBench enables a robust evaluation of PFNN-based methods and supports their continued development for peptide-protein structure prediction, and highlights the influence of peptide length, conformational flexibility, and training set similarity on prediction accuracy.

Si-Long Zhai, Huifeng Zhao, Ji-Ke Wang et al. · 13 citations · ⚡1

Related blog posts

Microsoft Research Blog Jul 13, 2026

Verifying Rust cryptography in SymCrypt, from standards to code

Cryptographic code supports vital protections in modern computing systems. Learn how a new method helps verify code as developers write it while preserving speed and adaptability as it gets implemented and evolves. The post Verifying Rust cryptography in SymCrypt, from standards to code appeared first on Microsoft Research.

We use cookies to run the site and, with your consent, for analytics and to show ads. See our Cookie Policy.