H7 — Address Resolution, Not Calculation

Review gateway for whether arithmetic in τ is recovered as canonical address resolution rather than imported as unrestricted equational calculation.

This hinge tests whether arithmetic in τ is recovered as canonical address resolution rather than imported as unrestricted equational calculation.

What this hinge must establish

This hinge must show that objects can be normalized, resolved, compared, and composed under explicit finite-witness discipline.

Why it belongs here

Once the kernel has generated objects and preserved address structure, mathematics becomes usable only if objects can be treated through canonical address resolution.

Core statement / construction

The research paper develops canonical normalization, the genealogical DAG, the Cayley word metric, and the claim that arithmetic in τ is implemented as finite-witness address resolution.

Public sources

• Research paper: Address Resolution, Not Calculation
• PDF: Download PDF
• DOI: 10.5281/zenodo.19818628
• Construction step: Step 2 — Recover Core Mathematics

Registry anchors

• I.D16
• I.D23
• I.D24
• I.P09

TauLib evidence

• TauLib.BookI.Denotation.Arithmetic
• Dedicated H7 theorem documentation (pending explicit TauLib docs mapping)

Failure consequence

If this hinge fails, τ can still have generated objects and perhaps local operations, but it loses the claim that arithmetic has been recovered internally under kernel discipline.

First red-team questions

• Is arithmetic genuinely recovered as address resolution?
• Are normal forms unique and computationally usable?
• Does the genealogical DAG carry the claimed mathematical information?

What this hinge does not establish

This hinge does not establish unrestricted classical arithmetic, empirical measurement, or physics; it establishes the address-resolution route Step 2 must inspect.