Bridge Axiom & Scope Discipline

Module Thesis

The Bridge Axiom specifies a functor from τ to ZFC; the scope discipline (established, τ-effective, conjectural, metaphorical) governs all claims.

Overview

The framework builds its mathematics from within – but it must eventually make claims about the external world that is described by classical mathematics (ZFC) and tested by physical experiment. The Bridge Axiom (III.D71) specifies a canonical functor from $\tau$ to ZFC, together with a rigorous scope discipline that governs every claim the program makes. This is the framework’s interface with the rest of mathematics and science – and the mechanism by which its honesty about epistemic status is formalized.

The Core Idea

The Bridge Axiom defines a structure-preserving functor $B:\tau \to \text{ZFC}$ (III.D71) that maps $\tau$-objects to ZFC-sets and $\tau$-morphisms to ZFC-functions. This functor is not an isomorphism – it is a controlled translation that preserves the structural content while acknowledging that $\tau$ and ZFC are different formal systems with different ontological commitments.

The accompanying scope discipline (III.D72, III.R03) introduces four explicit labels for every claim:

• Established: the claim is a theorem within $\tau$ with a machine-checked proof in TauLib
• Tau-effective: the claim is a numerical prediction derived from the framework within a stated precision tolerance
• Conjectural: the claim is structurally motivated but not yet fully derived from the kernel
• Metaphorical: the claim is an analogy or interpretive connection, not a formal derivation

Every claim in Books IV through VII carries one of these labels. The scope discipline is not optional – it is a formal part of the framework’s interface with the outside world. A reader can inspect any claim and know immediately what kind of epistemic commitment it carries.

The Bridge Axiom also formalizes the export contracts (III.D72) to downstream books: each book receives a precise specification of what results it may use from earlier books, and what scope labels those results carry. This prevents scope creep – a conjectural result in Book III cannot silently become “established” in Book IV.

Why This Matters

Without the Bridge Axiom, the framework would be a closed formal system with no way to test its claims against observation. With it, the framework has a principled interface to external mathematics and empirical science. The scope discipline is what makes the program’s trust language genuine rather than performative – every claim is typed, and the typing is part of the formal system.

Key Claims

1. III.D71 – Bridge Axiom: structure-preserving functor $\tau \to \text{ZFC}$ (conjectural – this is the framework’s most explicit declaration of scope)
2. III.D72 – Export contracts to Books IV-VII (established)
3. III.R03 – Four-tier scope discipline: established, tau-effective, conjectural, metaphorical (established)
4. Scope labels are formally part of the framework, not editorial commentary (tau-effective)