mlsanityData to 14 Oct 2026

Beyond Feedforward Networks: Reentry Neural Systems as the Fundamental Basis of Subjecthood and Intrinsic Safety of Next-Generation AGI

arXiv 2606.26406 ↗First posted 24 Jun 2026cs.LG cs.AI math-phcited by 0

Not on the map. Why?

Abstract (arXiv)

We propose a complete architectural blueprint for safe artificial general intelligence based on a closed reentry loop (D <-> I cycle). In contrast to feedforward networks, which are directed acyclic graphs (C=0, S=0) incapable of self-reference, the proposed architecture contains a structural cycle (C >= 1) with self-sustaining amplification (rho > 1), mathematically guaranteeing the emergence of a self-model, instrumental self-preservation, and unprogrammed goal-directed behaviour. The agent's goals are encoded as a non-textual D-vector in the architecture itself, making them immune to reinterpretation and prompt injection. We present the S-measure -- a polynomial-time [O(N^3)] computable alternative to Tononi's NP-hard Phi -- with machine-verified Lean 4 proof that S>0 implies positive integrated information. The work provides full Python/NumPy implementations (Tarjan-based cycle complexity, Delta-S barrier), industrial horizontal scaling via Apache Kafka and Docker Compose, a taxonomy of six epochs of AI evolution, a zoo of future reentry architectures (RAS, diffusion attractors, fractal loops), gauge-invariant networks for safe swarms, fault-tolerance and recovery protocols, and eight falsifiable predictions. All formal proofs are machine-verified in Lean 4. This architecture is deployable today and represents a topologically protected, safe-by-design approach to AGI.

Key facts. No citing papers in the map yet (data through 14 Oct 2026). Builds on 4 of its 34 references that are in the map. First posted on arXiv 24 Jun 2026.

Builds on

4 of 34 references.

References · 4

  1. 2017Attention Is All You Needcited by 60,361
  2. 2016Semi-Supervised Classification with Graph Convolutional Networkscited by 11,361
  3. 2014Learning Phrase Representations using RNN Encoder-Decoder for Statistical Machine Translationcited by 4,057
  4. 2017Outrageously Large Neural Networks: The Sparsely-Gated Mixture-of-Experts Layercited by 3,509

Built on by

Not cited yet.

Similar, not cited

Close in wording, no citation either way

  1. 2023Provably safe systems: the only path to controllable AGI
  2. 2025Bridging Efficiency and Safety: Formal Verification of Neural Networks with Early Exits
  3. 2025On the Promise for Assurance of Differentiable Neurosymbolic Reasoning Paradigms
  4. 2026Formal Mechanistic Interpretability: Automated Circuit Discovery with Provable Guarantees
  5. 2025Computational Safety for Generative AI: A Hypothesis Testing Perspective
  6. 2024Adaptive Circuit Behavior and Generalization in Mechanistic Interpretability
  7. 2026The RAIL Principles for Neurosymbolic AI: Reasoning, Assurances, Interfacing and Learning
  8. 2024Towards Guaranteed Safe AI: A Framework for Ensuring Robust and Reliable AI Systems