What Syntax Cannot See: The Dynamic Syntactic Invariance Principle and Several Instances of the Same Hidden Assumption, and a Contradiction
Fabio F. G. Buono
cs.CR, cs.LO
Submitted: 2026-08-02
License: http://creativecommons.org/licenses/by/4.0/
The gist: This paper develops a single method, find what an accepted result silently assumed, make it a variable, and prove what follows once it is dropped, and shows it keeps working across domains with
Terminology
Abstract
This paper develops a single method, find what an accepted result silently assumed, make it a variable, and prove what follows once it is dropped, and shows it keeps working across domains with nothing in common. Its formal core is the Dynamic Syntactic Invariance Principle: a known static inaccessibility result survives when a system's rules evolve in time, under one sharp necessary condition. A direct cryptographic payoff follows: the secrecy of a rolling-key scheme persists across sessions under a structural update, strengthening a static guarantee from earlier work. The same move is then carried into settings far from each other, special relativity, the reach of a formal theory of physical law, and computable output that is fully meaningful yet indistinguishable from noise to every observer, each established on its own terms, so the recurring structure beneath them is found, not imposed: a distinction real at a full level of description can be invisible at a restricted one. Applied to SAT, this yields a contradiction from which coherence forces not equal to, derived from what standard theory already admits rather than assumed,offered with one reservation, about the proof, not the answer.
Sources
- From Bits to Mixed-Radix Keys: Horner Decomposition, Uniform Sampling, and the Information-Theoretic QKD Interface of the MR-OTP
- The Observer World: A Cryptographic Extension of Impagliazzo's Five Worlds
- Observers, Symmetries, and the Hierarchy of Language Classes: A Theory of Computation Parameterized by the Observer
- Syntactic Separation Implies Computational Indistinguishability: An Abstract Obstruction Theorem
- Syntactic Systems Cannot See Semantic Invariants
Related papers
- SoK: AI-Augmented Binary Reversing
- Relaxed Sender Anonymity for CBDC Interbank Settlement: A Zero-Knowledge Approach on Permissioned EVM
- Calibration-Family Overfit: Why Trusted Sabotage Monitors Don't Transfer Across Lineages
- Estimating the Social Cost of Corporate Data Breaches
- Efficient Fuzzy PSI under One-Sided Assumptions
- Sealing the Audit-Runtime Gap for LLM Skills