Corpus
Corpus · Registry · Theorem I.T60 tau-effective planned

I.T60 — Ontic Identity Invariance (Hinge 8)

Ontic Identity Invariance is a public Registry object from Book I Hinge 8. The public object page is generated so dependency links resolve while the underlying manuscript/proof projection remains planned.

Registry Book I Lean ✓

Corpus Position

This object is part of the versioned public corpus. Read it together with the type grammar, the corpus reading guide, and the versioning model.

Lean Formalization

Module: TauLib.BookI.KernelFoundation.OnticIdentity (pending public TauLib projection page)

Save or share this page for inspection

Download a portable dossier, copy a reviewer note, or send this page to someone who can inspect it.

Email to expert