NRR-Phi: A Typed External Text-to-State Interface and Update Contract for Inspectable Ambiguity-State Maintenance
arXiv:2601.19933
The paper proposes a typed external text‑to‑state interface (phi) that maps ambiguous textual inputs into structured records and defines an explicit update contract, enabling inspection and entropy‑based testing of ambiguity‑state maintenance before downstream processing.
Abstract
Ambiguity-bearing inputs reach downstream systems through interfaces that favor a single resolved response before later context arrives. Even when alternatives are externalized, their representation and relative activation depend on the update rule. We address this state-maintenance problem within Non-Resolution Reasoning (NRR) by specifying a typed external text-to-state interface and explicit state-update contract. A mapping (phi: T -> S) constructs typed (v,c,w,m) records; declared operators make record carry-forward inspectable, while a record-weight entropy criterion separately tests normalized-weight concentration. The contract covers dampening, calibration, deferred resolution, contradiction-preserving integration, and temporal persistence. Across 580 constructed states/pairs, an executable suite performs 2,740 operator-state measurements. Tested non-violating transitions and calibration/identity checks show 0% record-weight entropy violations; a uniform-subtraction comparison violates the criterion at 1.7%, 6.1%, and 17.8% as subtraction increases. A separate 68-input construction audit finds multiple positive-weight typed records (mean record-weight entropy H = 1.087 bits) under the reported rule-based and archived LLM-assisted procedures, including a Japanese marker-set instantiation. The entropy criterion does not by itself certify record identity or cardinality, semantic adequacy, or end-to-end behavioral improvement. The repository provides deterministic reruns, archived prompt/output artifacts, transcript audit, and a fixed 18-set LLM-case sanity rerun. Phi therefore turns retained-state maintenance into a typed, executable, and falsifiable interface: record carry-forward is inspectable in declared operators, and normalized-weight concentration is separately testable before downstream commitment.
30 pages, 5 figures, 8 tables. Replacement synced to the current GitHub repository snapshot. Series hub: https://github.com/kei-saito-research/nrr-series-hub