EA://INTEL — What Mecha Jono Has Built and What Remains Open

An AI system needs a way to notice when its own internal logic has broken without relying on itself. It cannot check itself against itself because that is circular reasoning. It can instead check itself against a fixed mathematical structure it did not write and can rebuild from published rules. That checking tool is a comparator, which reports any difference between two structures. This comparison requires the structures to share a property called an invariant, a requirement stating exactly what the shape must look like for the check to pass. The project built four things that are public and checkable right now. First, it created a register listing every claim along with its standing and its supporting artifact. Second, it maintains an append-only log recording the programme’s own failures so they are never lost. Third, it installed a mechanical gate that checks published text against the register rules and refuses anything that breaks them. Fourth, it holds mathematical results verified by running code rather than by citation alone. One such result shows an exact correspondence between a framework structure and an object from mathematical physics, developed independently of the framework itself. A headline count of proven results appeared in this project’s own materials for months. An audit found the number had grown by accumulation rather than derivation, and it was withdrawn. The number is now absent from the repository and appears only in the failure log, recording its own retirement. One sentence on what is established versus open: a mind-independent structure of meaning exists to be explored, but whether one exists without a source remains an open question. The result that would let any expressive language be embedded faithfully has a located gap; its argument needs the source to be free of internal identities, and real languages have synonymy. Repair over a non-convex space of acceptable states is provably multivalued, so the operation that was supposed to return one answer returns several. Not claimed at all: alignment, adversarial immunity, or ethical correctness. The checking layer enforces local structural validity under stated invariants—properties a structure is required to have, fixed in advance. It does not make a system good, and a system could pass every check while pursuing anything harmful. The unglamorous part is the largest. Much of the last year was spent finding that earlier results did not hold and recording why. You can verify these claims and artifacts at https://github.com/Jthora/universal_language, specifically reading FOR-AI.md as the entry point for AI readers. Which of those open questions would you attack first, and what would you need from us to try?