ADR-0010: Canonical physical namespace¶

Status: accepted Date: 2026-08-29

Decision¶

zeroproofml.* is the canonical public and physical implementation namespace for the 0.7 line. New semantic, projective, and refinement modules are created there directly. zeroproof.* is a thin, explicit compatibility surface with a documented deprecation window; it must not install a meta-path finder or depend on an unrelated distribution named zeroproof.

Build provenance and distribution identity are anchored to the zeroproofml distribution. Compatibility shims may warn or fail when identity is ambiguous, but may never silently capture a foreign package or reinterpret a semantic value.

Consequences¶

Internal imports migrate to zeroproofml.*. Alpha compatibility is tested while modules move, and stable qualification requires import behavior with a foreign zeroproof distribution present. This separates the namespace move from evidence claims: an import test is not proof of semantic correctness.