Relation as the Essence of Existence

UCF/GUTT™

Unified Conceptual Framework / Grand Unified Tensor Theory

A relation-first formal framework with machine-verified proofs.

Author: Michael Fillippini · Priority of authorship: 2023 · Continuously developed.

Public Verification

A public excerpt of the machine-verified proof stack is open to direct inspection. Three public surfaces are available — for evaluators, researchers, and proof engineers — without NDA, engagement process, or email exchange.

Public Math Core — a hands-on walkthrough. Three Python demonstrations using only the standard library (totalized division across three relational contexts, constructive √2, Euclid's primes), with their corresponding Coq theorems and the make / make audit verification path. Start here to see what the framework does on concrete inputs.

GitHub Release — the release notice for the public Coq core: 30 files, 25,487 lines, 1,230 theorems, zero axioms, released under Apache 2.0. Start here for the formal scope of what's public, what's deliberately held back, and the licensing terms.

The Relational Way (two volumes on Amazon) — long-form articulation of the framework, accessible without technical infrastructure. Start here if you prefer expository reading to running code or compiling proofs.

The Relational Way: Introduction Through Perspective — https://www.amazon.com/dp/B0F6C5WQTC
The Relational Way: Foundation of the Unified Conceptual Framework — https://www.amazon.com/dp/B0F8R63732

The public release does not include the application programs described below — Reality Engine™, fhoc™, LANTOSE™, the Φ stability function, the physics derivation chains. Those remain proprietary.

What the Framework Delivers

UCF/GUTT™ produces certification-grade reasoning about engineered, biological, linguistic, and social systems — reasoning that holds independently of testing, simulation, or expert review. Where conventional engineering and analytic tools produce results that have been tested and passed, UCF/GUTT™ produces results that have been mathematically certified.

This makes it suitable for problem domains in which liability, regulatory scrutiny, adversarial review, or auditability are decisive — and where the conventional trust model (simulation plus testing) is insufficient.

Verified Status

A public excerpt of the verification core is available under Apache 2.0 (see Public Verification, above). The active full library — 52 propositions, 180+ files, 130,000+ lines — and all proprietary application layers remain private; direct inspection of the full Print Assumptions output and substantive technical engagement with those layers is available to qualified evaluators under written license.

Verified propositions: 52 / 52
Lines of proof in active library: 130,000+
Verified files in active library: 180+
Introduced axioms: 0
Admitted goals (Admitted.): 0
Print Assumptions status: Closed under the global context

Application Programs

The following application systems have been implemented and are operational, but are not publicly released. Detailed technical inspection is available only through written evaluation, licensing, or field-of-use agreements.

Reality Engine™ — applies the framework's verified propositions to relational data to produce auditable derivations of system properties. Used as the inference layer in downstream programs.

fhoc™ — Formal Harmonic Overlap Certification — produces machine-checkable certificates of harmonic compliance for power-system engineering, intended for liability-grade engineering deliverables where simulation alone is contestable.

LANTOSE™ — a relational linguistic workbench combining the framework's tensor methodology with field linguistics, with active application to low-resource and endangered language documentation, including multi-dialect corpora.

NRTML™ — Nested Relational Tensor Markup Language, the data-interchange format for representing relational analyses across UCF/GUTT™ tooling.

Additional programs include the Marcus electron-transfer chain for certified ranking of redox-active molecules in pharmaceutical candidate screening, and applied analytics for organizational, geopolitical, and conflict-dynamics modeling.

Selected Application Outcomes

The following are representative engagements and demonstrations. Detailed case material is available under NDA.

Power-systems certification. Harmonic-compliance certification for an industrial power-system integration, producing a machine-checkable certificate of compliance suitable for use as an engineering deliverable. Conventional simulation could not produce an equivalent artifact.
Pharmaceutical candidate screening. Formally verified ranking of candidate redox-active molecules under the Marcus electron-transfer chain, producing a traceable ordering with reasoning that holds without recourse to empirical validation.
Endangered-language documentation. Tensor-based representation of a multi-dialect corpus, producing a structured account of inter-dialect translation pathways that supports both linguistic analysis and machine translation.

The Difference: Proof Chain vs. Tested Software

Conventional engineering verification rests on simulation and testing: we ran the software, the results matched expectations, the system passed. This is sufficient where adversarial review, regulatory scrutiny, and liability exposure are low.

UCF/GUTT™ produces something qualitatively different: a proof chain — an end-to-end mathematical certificate that the system has the claimed property, independent of testing. The reasoning is auditable, reproducible, and vendor-independent. Where the conventional trust model fails — under cross-examination, regulatory review, or contested liability — the proof chain still holds.

For engineering firms whose principals carry liability for their seal, for regulated industries facing increasing scrutiny, and for any application where "tested and passed" is no longer enough, this is a different category of deliverable.

Commercial Licensing

Categories of license available:

Evaluation License — bounded, NDA-gated access to evaluation materials and verification artifacts
Field-of-Use License — production deployment within a defined technical and commercial scope (e.g., power-systems certification via fhoc™; pharmaceutical screening via the Marcus chain)
Enterprise License — broader internal use with negotiated terms
Research License — accredited non-commercial academic research, subject to publication review and attribution requirements

All inquiries: Michael_Fill@protonmail.com

Notice

All material on this site is published under the terms set out in the Notice, Rights, and Licensing page, except for source files expressly released under a repository-level open-source license. AI and machine-learning training, fine-tuning, retrieval-augmented inference, and inclusion in any embedding index or vector store are expressly prohibited. Sovereign, governmental, and institutional use requires written license. Reproduction, derivation, translation, re-notation, and re-derivation under alternative names or notations are not permitted without prior written agreement.

Intellectual Property Notice

The Unified Conceptual Framework/Grand Unified Tensor Theory (UCF/GUTT), Relational Conflict Game (RCG), Relational Systems Python Library (RS Library), and all associated materials, including but not limited to source code, algorithms, documentation, strategic applications, and publications, are proprietary works owned by Michael Fillippini. All intellectual property rights, including copyrights, trade secrets, and trademarks, are reserved. Unauthorized use, reproduction, modification, distribution, adaptation, or commercial exploitation without express written permission is strictly prohibited. For licensing inquiries, permissions, or partnership opportunities, please visit our Licensing page or contact: Michael_Fill@protonmail.com.

IP Stuff