Typed-map connection audit (de-branded)

This directory hosts an executable mathematical audit of de-branded maps
already typed on /network. It is not an additional source paper, not a joining
theorem, and not a formal proof-assistant kernel.

typed_connection_proof.py
  SHA-256 a0c32a3c37fbf217d8111aaa8dd5cc0050d0e302df3ae339b05d99556bb32281
  31256 bytes. Python 3 + sympy>=1.12.

  Evidence levels in the script:
    SYMBOLIC IDENTITY, ANALYTIC ARGUMENT, EXACT FINITE CERTIFICATE,
    REGRESSION CHECK.

  Named checks:
    exact symbolic identities (including 15 marked-point distances and
    Gram rank two);
    exact enclosures of sqrt(5), pi (Machin), and 0<lambda<1;
    1000 deterministic quotient-residual cases;
    rational grid-quantization on all 32768 states;
    floor(lambda*d)=floor(Qd/S) on D={0,...,32767}, with q<lambda;
    exhaustive remainder reconstruction, 32768 seeds x 23 steps;
    seven malformed-input classes rejected.

  No binary floating-point number enters the floor certificate.

  Homothety of the six kernel marks is Euclidean scaling of the Paper VII
  configuration. It does not determine a unique outer shell.

  Radial identities are algebraic. They are not a physical theorem.

typed_connection_proof.runtime.txt
  Named runtime of the hosted source. Implementation conformance of that
  named output is not independent third-party reproduction.

requirements.txt
  sympy>=1.12

Run:
  python3 -m pip install -r requirements.txt
  python3 typed_connection_proof.py

Expected: EXACT SYMBOLIC IDENTITIES: PASS; EXACT CONSTANT ENCLOSURES: PASS;
FINITE FLOOR CERTIFICATE: PASS for every integer d in [0,32767]
(32768 states; q<lambda certified);
EXHAUSTIVE ORDERED-REMAINDER RECONSTRUCTION: PASS (32768 seeds x 23 steps);
NEGATIVE VALIDATION PATHS: PASS (7 malformed-input classes rejected).

Name map (identification of maps, not a joining theorem):
  T(v)=1+lambda(v-1)     Newman's Omega map (Papers I, V)
  lambda=phi/(phi+pi)    contraction scalar
  F_q(d)=floor(Q d / S)  Paper II rational floor
  D={0,...,32767}        D_15
  remainder ledger       Paper II reconstruction
  encode/decode          frozen SRSD encoder used externally
  H_t                    positive homothety (Euclidean scaling)
  kernel points          Paper VII six marks
