Shadow Identity

Shadow identity: an implicit identification channel — equivalence witness, congruence step, or substitution bridge — that behaves operationally like a morphism of sameness without being ontically constructed. The operational consequence of diagonal resonance.

Shadow Identity

Summary

Shadow identity: an implicit identification channel — equivalence witness, congruence step, or substitution bridge — that behaves operationally like a morphism of sameness without being ontically constructed. The operational consequence of diagonal resonance.

Statement

%
\label{def:shadow-identity}
A \textbf{shadow identity} is an implicit identification channel ---
an equivalence witness, congruence step,
or substitution bridge ---
that behaves operationally like a morphism of sameness
without being ontically constructed.

More precisely:
in an L+E+P foundation,
the interaction of contraction (\textbf{L}),
substitution (\textbf{E}),
and the diagonal (\textbf{P})
creates identifications
between objects $a$ and $b$
that do not correspond
to any explicitly constructed morphism
$f : a \to b$ in the category.
These identifications are
\emph{shadow identities}:
they are carried by the ambient structural rules,
not by the object-level morphisms.

In a coherence-first ontology,
identity is carried solely by $\mathrm{id}_X$,
and any additional identification
must be explicitly earned as structure.
Shadow identities violate this principle:
they provide identification for free,
as a side effect of the structural rules,
without any ontic witness.

Proof / Justification

This item is definitional. No manuscript proof is required.

Source Context

• Registry source: book-01.jsonl line 201
• Manuscript source: 2nd-edition/book-i-categorical-foundations/02_mainmatter/part18/ch80-diagonal-resonance.tex lines 424-456

Lean / Formalization Notes

• Formalization: formalized
• Module: TauLib.BookI.MetaLogic.DiagonalResonance
• Name: Tau.MetaLogic.ShadowIdentity

Dependencies

• Canonical: I.D89, I.D90

Related Results

Generated by later projection phases.

Related Publications

Generated by later projection phases.

Revision Notes

• 2026-04-24: Initial pilot migration.