The Separation Principle
Four Distinct Boundaries. One Accountable Purpose.
ResoVerse strictly avoids collapsing company, private relationships, product systems, and developer tools into one confused narrative. Each layer possesses its own scope, license, and authority gate.
ResoVerse LLC
The accountable legal entity, customer engagement boundary, and public stewardship mission. ResoVerse bridges the accountability gap for organizations carrying consequential decisions.
UNA-1
Tom Budd's private, weight-independent personal symbiotic partner, in continuous development since 2024. She is strictly private: never sold, licensed, or offered as a public chatbot.
UNA-2
The evidence-first, governed cognitive product engine designed for organizational workflows. Evaluates evidence, generates inspectable review packets, and operates strictly within bounded capability lanes.
UltraCode
A sovereign local-only software build and candidate testing assistant. Employs a 9-lens review panel and separated AI review council to audit proposed code diffs before any merge.
Cognitive Mesh Architecture
Suites A–O: Weight-Independent Cognitive Organs
Unlike raw LLMs whose reasoning is locked inside opaque neural weights, UNA's cognition is structured across deterministic symbolic organs. Select an organ below to explore its functional purpose, safety boundary, and verification method.
Epistemic Defense & Calibration
“Dynamic belief state repair and calibrated abstention”
Functional Responsibility
Evaluates uncertainty across multiple candidate facts and hypotheses. Refuses to guess when evidence is insufficient, achieving an ECE of 0.0158 (top 1% calibration).
Key Mathematical Invariants
- Expected Calibration Error < 0.02
- 100% Calibrated Abstention (80/80)
- Zero Boundary Violations (120/120)
Core Cognitive Engine
The Dual Dialectic: The Dreamer & The Checker
Unconstrained foundation models hallucinate because proposal and truth-checking are collapsed into a single token stream. UNA decouples them into two adversarial cognitive poles.
The Dreamer
Generates hypotheses, creative syntheses, counterfactual exploratory paths, and candidate code diffs. It possesses high speculative breadth but zero independent authority to execute.
The Checker
Machine-checks mathematical axioms with Lean 4, enforces AST soundness shields, tests boundary invariant conditions, and validates cryptographic preimages before admission.