lim(Koru G) = Pure Operating State — The Capstone Theorem

The guardian cycle iterated to its limit converges to G. G and Pure Operating State are identical. G(Pure Operating State) = Pure Operating State. This document presents the capstone theorem of Universal Protection Theory: the Koru operator as a contraction mapping, the Banach Fixed-Point proof of existence and uniqueness (koru_banach_fixed_point, Lean 4, zero sorry), the admissible invariant group, the runtime software contract (Kaitiakitanga in Silicon, PR #423), and the relational metric with BCRD-grounded singularity resolution. The Koru — the Māori spiral fern frond — is the right symbol for a real particular because it cannot be reduced to any of its descriptions. G is not at the centre. G is in every equation. Part of Universal Protection Theory (Canon Edition 4.6).

Authors

Publication Details

Journal
Zenodo (CERN European Organization for Nuclear Research)
Published
2026-11-08
DOI
https://doi.org/10.5281/zenodo.24059527
Primary Topic
Logic, programming, and type systems
Type
preprint
Controls
|||
ALL TIME
JAN
FEB
MAR
APR
MAY
JUN
JUL
AUG
SEP
OCT
NOV
preprint

lim(Koru G) = Pure Operating State — The Capstone Theorem

Tobias McRae
7 links
Zenodo (CERN European Organization for Nuclear Research)
Logic, programming, and type systems
preprint

lim(Koru G) = Pure Operating State — The Capstone Theorem

Tobias McRae
preprint en

Abstract

The guardian cycle iterated to its limit converges to G. G and Pure Operating State are identical. G(Pure Operating State) = Pure Operating State. This document presents the capstone theorem of Universal Protection Theory: the Koru operator as a contraction mapping, the Banach Fixed-Point proof of existence and uniqueness (koru_banach_fixed_point, Lean 4, zero sorry), the admissible invariant group, the runtime software contract (Kaitiakitanga in Silicon, PR #423), and the relational metric with BCRD-grounded singularity resolution. The Koru — the Māori spiral fern frond — is the right symbol for a real particular because it cannot be reduced to any of its descriptions. G is not at the centre. G is in every equation. Part of Universal Protection Theory (Canon Edition 4.6).

Zenodo (CERN European Organization for Nuclear Research)
Logic, programming, and type systems
AI Navigator

Ask Laika to Summarize, Analyze, and Connect papers live on the map.

Summarize Papers & Methodologies

Extract key findings, datasets, and comparative methods across publications.

Benchmark Rankings & Visual Analytics

Rank top research institutions, authors, funders, topics, and journals by Field-Weighted Citation Impact (FWCI) and paper volume with instant charts.

Connect Distant Disciplines

Bridge topological clusters on the map to find hidden collaborative intersections.

Laika access coming soon