Exact multimode four-dimensional calculation · Prepared for friendly NASA/JPL and independent AI review

Exact Multimode Point-Particle RWZ Waveform

All even- and odd-parity radiative modes through ell=8, arbitrary observer orientation, explicit ell=9 and ell=10 tail witnesses, independent total-flux comparison, and 368.5× measured online acceleration.

StatusExact circular point-particle multimode waveform; adiabatic inspiral remains open
DateAugust 6, 2026
Estimated print length82 pages · 29,682 words including full compiler authority
Architecture chain: MaxConservationStack.htmlFiveTensorGRArchitecture.htmlObserverCompiledFiveTensorGR.htmlExactPointParticleRWZWaveform.html → this multimode result.
Executive technical result

Exact Multimode Point-Particle RWZ Waveform

PASS-EXACT-SOURCE-MULTIMODE-4D

Central result

This monograph completes the next load-bearing test of the observer-compiled point-particle waveform architecture. It extends the exact circular Schwarzschild calculation from one dominant mode to the full set of radiative even- and odd-parity modes through

For every , every positive is solved from the exact circular point-particle source. Negative- modes are reconstructed from the equatorial circular symmetry. The retained calculation therefore contains

independently solved positive- modes and the corresponding 35 negative- partners.

The waveform is synthesized for arbitrary:

  • inclination ;
  • observer azimuth ;
  • polarization angle .

The output is a complete complex strain record

with 4,096 samples over four orbital periods.

Executed performance

The exact direct calculation and the compiled calculation return the same multimode waveform, mode records, infinity flux, horizon flux, and angular-momentum flux.

The measured online speedup is

The exact-source compiler required

and broke even after

multimode waveform queries.

Accuracy

Across four held-out radii and eight held-out orientations per radius:

The omitted multipole tail beyond is certified using explicit and solutions plus a geometric continuation bound. The maximum infinity-flux tail fraction over the frozen radius domain is

Direct and orientation-dependent waveforms differ by at most

13D result

The calculation remains fully four-dimensional. No parent-geometry identity was derived that reduces the already parity-selected exact jump data or observer record dimension. The correct terminal is

Exact boundaries around a strong result

Claim and status taxonomy

Current terminal

This terminal means:

  • the source is an exact circular point-particle distribution;
  • both parity sectors are included according to the exact selection rule;
  • all radiative modes through are included;
  • the omitted- tail is bounded;
  • arbitrary orientation is synthesized;
  • the observer compiler passed held-out waveform tests;
  • the 100–1000× online target was met.

It does not mean:

  • a self-consistent inspiral has been evolved;
  • second-order self-force has been included;
  • the waveform contains merger and ringdown;
  • a detector response or likelihood has been compiled;
  • 13D geometry has supplied a physical reduction.

Status vocabulary

Status Meaning
ESTABLISHED-GR Standard result within Schwarzschild perturbation theory.
EXACT-SOURCE Distributional point-particle source, with exact jump conditions rather than smoothing.
EXACT-SCOPED Algebraic identity after mode set, conventions, and domain are frozen.
NUMERICAL-PROPAGATION Homogeneous solution obtained at finite numerical tolerance.
PASS-HELD-OUT Evaluated at radii and orientations excluded from compiler construction.
CERTIFIED-TAIL Explicit high- witnesses plus a stated continuation inequality.
CLOSED-NEGATIVE A proposed advantage was tested and not found in the scoped calculation.
OPEN A required physical extension or validation remains.
Why ell=8 is sufficient for this stage

Mode cutoff and completion criterion

Why the mode cutoff is

The cutoff is not chosen because modes with vanish. It is chosen because the physical error target is set first.

The acceptance requirement is

throughout the frozen circular-orbit domain

At the strongest-field endpoint , the certified infinity-flux tail is approximately

The tail becomes smaller as the orbit moves outward.

An orientation-dependent waveform comparison against explicit modes gives a maximum mismatch below

Thus is sufficient for this stage while leaving a visible, quantified residual.

Why is not called “the complete infinite sum”

The phrase complete mode set is used only with its qualifier:

complete even- and odd-parity radiative mode set through a frozen , plus a certified tail beyond that cutoff.

The infinite spherical-harmonic sum remains a limit, not a finite computation.

Conservation, five tensors, observer compiler, and multimode execution

Architecture chain

Conservation stack

The conservation document determines which couplings and channels are lawful before solving.

Five-tensor architecture

The five ownership sectors are

For the present circular first-order problem:

by scope.

The active sectors are:

  • : exact linear mode response;
  • : infinity and horizon flux;
  • : spin-weighted harmonic orientation, azimuth, and polarization transport.

Observer compiler

The compiler maps exact mode amplitudes directly into:

  • waveform samples;
  • total infinity flux;
  • total horizon flux;
  • angular-momentum flux;
  • per-mode diagnostic records.

The radial fields are not reconstructed online.

Executed evidence

Multimode result dashboard

Online speedup368.50×4,096-sample arbitrary-orientation waveform
Exact positive-m modes35All radiative modes through ell=8
Break-even4.62Multimode waveform queries
Held-out mismatch4.11e-15Radius and orientation excluded from training
Tail mismatch8.46e-06Explicit ell=9,10 waveform witness
13D resultNo unique gainNative 4D result retained

Representative exact multimode waveform

Representative exact multimode waveform

Plus and cross polarization at r0=10M for a generic observer orientation.

Direct versus compiled runtime

Direct versus compiled runtime

Both paths synthesize the same 4,096-sample waveform and flux records.

Part I

Exact Multimode Physics

Mode inventory, even and odd sources, homogeneous propagation, amplitudes, and observer orientation.

Thirty-five exact positive-m modes and symmetry partners

Complete retained mode inventory

Positive- inventory

For each , the calculation solves

The number of positive- modes is

Each mode is classified by

parity:

Negative- reconstruction

For a circular equatorial source,

This symmetry reconstructs the negative- waveform modes without another radial solve. It does not remove their contribution from the waveform or flux.

Exact Zerilli point-particle sources

Even-parity modes

Exact even-parity source

The even sector uses the exact A–K point-particle stress-energy projections and distributional jumps already validated in the dominant-mode calculation.

For each allowed even-parity , the master function satisfies

The frequency is

The exact source is represented by its jumps:

The physical amplitudes are obtained by Wronskian convolution with ingoing-horizon and outgoing-infinity homogeneous solutions.

Exact Regge–Wheeler point-particle jumps

Odd-parity modes

NEW LOAD-BEARING DERIVATION

Odd A–K source coefficient

For a circular equatorial point particle, the nonzero odd source coefficient is

The circular coefficient vanishes.

Exact odd jumps

The Regge–Wheeler master-function jump is

The derivative jump is

after simplifying the complete A–K circular expression.

No Gaussian source or finite-width regularization is introduced.

Common high-accuracy homogeneous boundary treatment

Inverse Chandrasekhar map

Motivation

The previous exact-source implementation already had high-order ingoing and outgoing boundary series for the Zerilli equation. Rather than introduce a second approximate boundary initialization, the odd homogeneous functions are obtained with the inverse Chandrasekhar map.

Let

and define

For boundary sign at the horizon and at infinity,

The derivative is calculated by differentiating this expression and eliminating with the Zerilli equation.

Normalization

At the corresponding asymptotic boundary, the numerator and denominator reduce to the same normalization factor. Therefore unit ingoing and outgoing transmission normalization is retained.

This provides a common high-accuracy boundary treatment for both parity sectors.

Consistent even/odd strain records

Mode amplitudes and flux normalization

Even mode normalization

For even parity,

The positive- energy flux is

The corresponding complex strain-mode amplitude is

Odd mode normalization

For odd parity,

The positive- flux is

The complex strain-mode amplitude is

The relative is the standard complex-strain parity convention.

Arbitrary inclination, azimuth, and polarization

Spin-weighted harmonic synthesis

Spin-weighted harmonics

The complex strain is expanded as

The implementation evaluates

where is the Wigner small- matrix.

Polarization

A rotation of the polarization basis by gives

Therefore the observer record depends on

The physical mode amplitudes depend only on ; the orientation transform is inexpensive and applied online.

Positive/negative m and complete observer records

Waveform synthesis

Frozen output

Each query returns:

  • time samples;
  • four complete orbital periods;
  • ;
  • ;
  • the complex strain ;
  • all retained mode amplitudes;
  • total infinity and horizon flux;
  • total angular-momentum flux.

The sample duration is

Why arbitrary orientation matters

A face-on dominant-mode test can hide errors in:

  • subdominant ;
  • odd parity;
  • negative- reconstruction;
  • spin-weighted harmonic conventions;
  • polarization transport.

The held-out validation therefore samples general inclinations rather than only .

Part II

Observer Compilation

Exact-source library, held-out tests, multipole-tail theorem, and independent total-flux validation.

Sixteen exact-source nodes across thirty-five modes

Radius-domain multimode compiler

Offline exact-source library

The radius interval

is sampled at 16 Chebyshev nodes.

At every node, all 35 positive- exact-source modes are solved.

For each mode, four scalar functions are compiled:

Online calculation

A query performs:

  1. Chebyshev evaluation of the 35 complex mode records;
  2. analytic flux conversion;
  3. negative- reconstruction;
  4. spin-weighted harmonic evaluation;
  5. waveform summation over 4,096 samples.

No radial ODE or Wronskian convolution is evaluated online.

Record, flux, L2, and mismatch metrics

Held-out validation theorem

Record comparison

At a held-out radius, collect the exact records into

The record error is

Waveform comparison

For complex time series and ,

The normalized overlap is

and mismatch is

The absolute phase in the inner product is maximized through the modulus; no time shift is optimized.

Explicit ell=9,10 witnesses and geometric continuation

Multipole-tail certificate

CERTIFIED-TAIL

Multipole shells

Define the infinity-flux shell

The calculation explicitly evaluates

at five validation radii.

Geometric continuation

Let

When , the omitted tail is bounded by

The same construction is applied separately to horizon flux.

Acceptance

The maximum certified infinity tail fraction is

below the frozen threshold.

Black Hole Perturbation Toolkit dataset

Independent total-flux comparison

Independent total-flux data

The calculation is compared with the Black Hole Perturbation Toolkit circular-orbit Schwarzschild dataset, whose columns are:

The comparison is performed at

The sum plus geometric continuation differs from the independent total infinity flux by at most

The corresponding horizon discrepancy is at most

The horizon discrepancy is dominated by the extremely small absorbed-flux scale and numerical/reference interpolation rather than the omitted multipole tail.

Compiler error and physical truncation kept separate

Numerical validation results

PASS-HELD-OUT

Held-out compiler result

The maximum held-out values are:

Quantity Maximum
Complex mode-record error 1.410e-07
Total flux-vector error 1.450e-07
Waveform relative error 1.199e-07
Waveform mismatch 4.108e-15

The radius and observer parameters used for validation are stored in the raw CSV appendix.

Multipole-tail result

Quantity Maximum
Certified infinity-flux fraction beyond 5.214e-05
vs waveform difference 4.112e-03
vs mismatch 8.456e-06

The tail mismatch, rather than compiler interpolation, is the dominant scoped waveform residual.

Mode hierarchy

Multipole-shell flux

Exact shell flux at r0=10M

Exact shell flux at r0=10M

Both parity sectors are included; the infinity shells decay approximately geometrically.

Tail evidence

Certified omitted-multipole fraction

Infinity-flux tail beyond ell=8

Infinity-flux tail beyond ell=8

The strongest-field endpoint controls the frozen tail threshold.

General observer validation

Held-out orientation mismatch

Held-out multimode mismatch

Held-out multimode mismatch

Four radii and eight generic orientations per radius were excluded from compiler construction.

Part III

Performance and Ablations

Online speed, amortization, negative controls, and the honest 13D result.

Same outputs, direct versus compiled

Measured 368.5× multimode acceleration

MEASURED-ONLINE

Measured query

The timed query includes:

  • exact-mode evaluation for all 35 positive- modes in the direct path;
  • negative- reconstruction;
  • arbitrary orientation;
  • 4,096 waveform samples;
  • total infinity and horizon flux.

The direct median was

The compiled median was

Therefore

Offline and break-even

The parallel exact-source library required

The break-even workload is

The speed target remains a repeated-query claim, not a claim that compilation makes the first isolated waveform faster.

When the exact-source library pays for itself

Amortized total-work speed

Total-work equation

For waveform queries,

The machine-readable certificate reports:

Queries Amortized speedup
1 0.22×
10 2.16×
100 20.51×
1,000 136.64×
10,000 315.04×
100,000 362.35×

Compilation is highly favorable for waveform libraries, parameter sweeps, uncertainty propagation, and inference loops.

Closed-negative result after saturated 4D parity reduction

13D simplification ablation

CLOSED-NEGATIVE

Tested question

Could the internal geometry derive a coupling identity that reduces the exact multimode source or record dimension beyond the saturated 4D parity and circular-orbit constraints?

Scoped result

The exact jumps were collected over all retained modes and training radii. After removing identically zero real columns and normalizing active columns, the singular values are

The numerical rank is

No parent-derived relation was available that removes either direction.

Terminal

This is a closed-negative scoped result, not a claim that internal geometry can never help a more general problem. It may become relevant when:

  • eccentricity introduces additional source structures;
  • spin couples angular sectors;
  • second-order mode products generate a larger coupling algebra;
  • several observables share a parent selection map.
How false positives are rejected

Destructive controls

Required destructive controls

  1. Parity swap: solve an even mode with the Regge–Wheeler source or an odd mode with the Zerilli source. Flux and waveform records must fail.
  2. Odd derivative omission: set to zero. Odd-parity waveform content must disappear.
  3. Chandrasekhar sign reversal: reverse the asymptotic sign in the inverse map. Horizon or infinity normalization must fail.
  4. Negative- omission: synthesize only positive . General-orientation polarization must fail.
  5. Spin-weight error: replace with scalar . Orientation dependence must fail.
  6. Stale compiler: change , radius domain, source convention, or mode normalization without recompiling. Hash freshness must fail.
  7. Tail-only assertion: claim convergence without explicit witnesses. Tail certification must fail.
  8. 13D forced compression: impose an unproved coupling relation. Held-out mode records must fail or the claim must be rejected as circular.
Part IV

Interpretation and Next Physics

What is complete, what remains, and the next NASA/JPL-facing calculation.

Multimode circular waveform versus evolving inspiral

Completion boundary and remaining physics

What is now complete

  • exact circular point-particle source;
  • all even and odd radiative modes through ;
  • arbitrary observer orientation;
  • positive and negative ;
  • infinity and horizon flux;
  • multipole-tail certificate;
  • external total-flux comparison;
  • held-out radius and orientation validation;
  • 100–1000× online acceleration.

What remains open

Adiabatic inspiral

The orbital radius must evolve through

The waveform then becomes a chirp rather than a frozen circular signal.

First-order conservative self-force

The relation among radius, frequency, and binding energy receives conservative corrections.

Second order

Quadratic effective sources activate

Continuation curvature

Different background, frame, and orbital-update paths can activate

Detector records

LISA response, time-delay interferometry, noise weighting, and likelihood records remain to be compiled.

The next load-bearing computation

Adiabatic multimode inspiral plan

Recommended next deliverable

The next calculation should be an adiabatic multimode inspiral over a frozen radial interval.

The direct path should:

  1. evaluate total exact-source flux repeatedly;
  2. integrate the orbital energy balance;
  3. evaluate mode amplitudes along the trajectory;
  4. synthesize an arbitrary-orientation chirp.

The compiled path should:

  1. evaluate the existing radius-domain mode compiler;
  2. evaluate the compiled total-flux function;
  3. integrate the same orbital ODE;
  4. synthesize the same waveform.

Acceptance

Require:

or document why trajectory integration becomes the new bottleneck.

Also require:

  • held-out initial radius;
  • held-out inclination;
  • accumulated phase error;
  • waveform mismatch;
  • energy-balance closure;
  • -tail closure;
  • q=64 development freeze before q=100 and q=128.
A strong native-4D result with explicit limits

NASA/JPL interpretation

Relevance

The calculation now has the essential repeated-query structure of perturbative waveform generation:

A NASA/JPL reviewer can audit the entire chain without accepting the 13D geometry.

The useful engineering observation is that the expensive radial propagation depends on the source orbit and mode, while observer orientation does not require another field solve. Once mode records are compiled, large orientation and inference batches become cheap.

Appropriate external claim

In an exact circular point-particle Schwarzschild calculation containing all even- and odd-parity modes through , an observer-compiled radius model produced arbitrary-orientation 4,096-sample waveforms 368.5× faster than the direct multimode calculation. Held-out compiler mismatch was near floating-point precision, while the certified omitted- waveform mismatch remained below . No unique 13D reduction was found in this scoped problem.

Preserving the result outside the context window

AI continuation contract

AI continuation requirements

An AI agent must preserve:

  • exact source convention;
  • parity assignment;
  • mode list;
  • negative- symmetry;
  • spin-weighted harmonic convention;
  • horizon and infinity normalization;
  • compiler domain;
  • training-node hashes;
  • held-out radii and orientations;
  • tail witness modes;
  • external flux dataset hash;
  • 13D closed-negative terminal.

Required outputs after any modification

  • per-mode flux table;
  • shell-flux table;
  • held-out record error;
  • held-out orientation mismatch;
  • -tail certificate;
  • total-flux external comparison;
  • online and amortized timing;
  • freshness/invalidation report.

The agent may not preserve the speed headline if any physical acceptance ledger fails.

Physics, source, and data provenance

Primary references and software sources

PRIMARY SOURCES
  1. K. Martel and E. Poisson, Gravitational perturbations of the Schwarzschild spacetime: A practical covariant and gauge-invariant formalism, arXiv:gr-qc/0502028.
  2. K. Martel, Gravitational waveforms from a point particle orbiting a Schwarzschild black hole, arXiv:gr-qc/0311017.
  3. S. Hopper and C. R. Evans, Gravitational perturbations and metric reconstruction: Method of extended homogeneous solutions applied to eccentric orbits on a Schwarzschild black hole, arXiv:1006.4907.
  4. Black Hole Perturbation Toolkit, ReggeWheeler package, exact circular A–K source and flux implementation.
  5. Black Hole Perturbation Toolkit, CircularOrbitSelfForceData, Schwarzschild total infinity and horizon flux dataset.
  6. A. Pound and B. Wardell, Black hole perturbation theory and gravitational self-force, arXiv:2101.04592.
  7. NASA, LISA Preparatory Science Program.
Part V

Executable Appendices

Complete code, certificate, raw validation tables, and content-addressed provenance.

Appendix A

Complete executable multimode implementation

EXECUTED

from __future__ import annotations

import csv
import os
from concurrent.futures import ProcessPoolExecutor
import hashlib
import importlib.util
import json
import math
import platform
import sys
import time
from dataclasses import dataclass
from pathlib import Path

import matplotlib.pyplot as plt
import numpy as np
import scipy
from numpy.polynomial.chebyshev import Chebyshev
from scipy.special import sph_harm_y


SEED = 20260806
M = 1.0
MU = 1.0
LMAX = 8
TAIL_WITNESS_LMAX = 10
RADIUS_MIN = 6.5
RADIUS_MAX = 20.0
TRAINING_NODES = 16
HELD_OUT_RADII = 4
HELD_OUT_ORIENTATIONS = 8
WAVEFORM_SAMPLES = 4096
WAVEFORM_ORBITS = 4
EXACT_MODULE_PATH = Path("/mnt/data/EXACT_POINT_PARTICLE_RWZ/exact_point_particle_rwz.py")
TOTAL_FLUX_DATA_PATH = Path("/mnt/data/Flux_Edot.dat")


def sha256(path: Path) -> str:
    h = hashlib.sha256()
    with path.open("rb") as f:
        for block in iter(lambda: f.read(1024 * 1024), b""):
            h.update(block)
    return h.hexdigest()


def load_exact_module():
    spec = importlib.util.spec_from_file_location("exact_point_particle_core", EXACT_MODULE_PATH)
    if spec is None or spec.loader is None:
        raise RuntimeError(f"Unable to load {EXACT_MODULE_PATH}")
    module = importlib.util.module_from_spec(spec)
    sys.modules["exact_point_particle_core"] = module
    spec.loader.exec_module(module)
    return module


CORE = load_exact_module()


def mode_keys(lmax: int = LMAX) -> list[tuple[int, int]]:
    return [(ell, m) for ell in range(2, lmax + 1) for m in range(1, ell + 1)]


def parity_name(ell: int, m: int) -> str:
    return "even" if (ell + m) % 2 == 0 else "odd"


def odd_point_particle_jumps(ell: int, m: int, r0: float) -> dict:
    """Exact circular point-particle odd-parity jump conditions.

    This implements the A-K circular source formulas used by the
    Black Hole Perturbation Toolkit ReggeWheeler package.
    """
    orbit = CORE.circular_geodesic(r0)
    omega = m * orbit["Omega_phi"]

    y_lm, derivatives = sph_harm_y(
        ell, m, np.pi / 2.0, 0.0, diff_n=1
    )
    dtheta_y_lm = derivatives[0]

    e_c = (
        -16.0
        * np.pi
        * (r0 - 2.0)
        * orbit["specific_angular_momentum"]
        / r0**4
        / (ell * (ell + 1.0))
        * np.conj(dtheta_y_lm)
        * MU
    )
    e_j = 0.0j

    delta_psi = r0**3 / (r0 - 2.0) * e_c
    delta_dpsi_dr = (
        -2.0 * r0**2 / (r0 - 2.0) ** 2 * e_c
        + r0**2 / (r0 - 2.0) * e_c
        - 1.0j * omega * r0**3 / (r0 - 2.0) * e_j
        - 3.0 * r0**2 / (r0 - 2.0) * e_c
        + r0**3 / (r0 - 2.0) ** 2 * e_c
    )

    return {
        "delta_psi": complex(delta_psi),
        "delta_dpsi_dr": complex(delta_dpsi_dr),
        "omega": float(omega),
        "EC": complex(e_c),
        "EJ": complex(e_j),
        "Y_lm_equator": complex(y_lm),
        **orbit,
    }


def regge_wheeler_from_zerilli(
    ell: int,
    omega: float,
    r0: float,
    boundary: str,
) -> tuple[complex, complex, int]:
    """Use the inverse Chandrasekhar map to obtain a unit-normalized RW solution.

    The high-order Zerilli boundary series and numerical propagation are supplied
    by the independently validated exact-source core. The inverse map preserves
    unit ingoing/outgoing normalization at the relevant boundary.
    """
    z, dz_dr, nfev = CORE.integrate_homogeneous(
        ell, omega, r0, boundary
    )

    lam = (ell - 1.0) * (ell + 2.0) / 2.0
    f = 1.0 - 2.0 / r0
    fp = 2.0 / r0**2

    q = r0**2 * (3.0 + lam * r0)
    q_prime = 2.0 * r0 * (3.0 + lam * r0) + lam * r0**2
    numerator_factor = 9.0 * (r0 - 2.0)
    a = lam**2 + lam + numerator_factor / q
    a_prime = 9.0 * (q - (r0 - 2.0) * q_prime) / q**2

    potential_z = CORE.zerilli_potential(r0, ell)
    d2z_dr2 = -(
        f * fp * dz_dr + (omega**2 - potential_z) * z
    ) / f**2

    sign = -1.0 if boundary == "In" else 1.0
    denominator = lam**2 + lam - sign * 3.0j * omega

    rw = (a * z - 3.0 * f * dz_dr) / denominator
    drw_dr = (
        a_prime * z
        + a * dz_dr
        - 3.0 * fp * dz_dr
        - 3.0 * f * d2z_dr2
    ) / denominator
    return complex(rw), complex(drw_dr), int(nfev)


def exact_positive_m_mode(r0: float, ell: int, m: int) -> dict:
    if m < 1 or m > ell:
        raise ValueError("This solver stores positive-m radiative modes only.")

    parity = parity_name(ell, m)
    if parity == "even":
        result = CORE.exact_point_particle_mode(r0, ell, m)
        z_inf = result["z_infinity"]
        z_hor = result["z_horizon"]
        omega = result["omega"]
        energy_inf = result["energy_flux_infinity"]
        energy_hor = result["energy_flux_horizon"]
        parity_factor = (ell - 1.0) * (ell + 2.0) / (
            ell * (ell + 1.0)
        )
        h_amplitude = 2.0 * math.sqrt(parity_factor) * z_inf
        jump = result["source"]
        nfev = result["nfev_in"] + result["nfev_up"]
    else:
        jump = odd_point_particle_jumps(ell, m, r0)
        omega = jump["omega"]
        psi_in, dpsi_in, nfev_in = regge_wheeler_from_zerilli(
            ell, omega, r0, "In"
        )
        psi_up, dpsi_up, nfev_up = regge_wheeler_from_zerilli(
            ell, omega, r0, "Up"
        )
        wronskian_r = psi_in * dpsi_up - psi_up * dpsi_in

        delta_psi = jump["delta_psi"]
        delta_dpsi_dr = jump["delta_dpsi_dr"]
        z_inf = (
            psi_in * delta_dpsi_dr - delta_psi * dpsi_in
        ) / wronskian_r
        z_hor = (
            psi_up * delta_dpsi_dr - delta_psi * dpsi_up
        ) / wronskian_r

        parity_factor = ell * (ell + 1.0) / (
            (ell - 1.0) * (ell + 2.0)
        )
        energy_inf = (
            parity_factor * abs(omega * z_inf) ** 2 / (16.0 * np.pi)
        )
        energy_hor = (
            parity_factor * abs(omega * z_hor) ** 2 / (16.0 * np.pi)
        )
        # The relative factor i is the standard complex-strain convention.
        h_amplitude = 1.0j * math.sqrt(parity_factor) * z_inf
        nfev = nfev_in + nfev_up

    return {
        "ell": ell,
        "m": m,
        "parity": parity,
        "r0": float(r0),
        "omega": float(omega),
        "z_infinity": complex(z_inf),
        "z_horizon": complex(z_hor),
        "h_amplitude": complex(h_amplitude),
        "energy_flux_infinity_positive_m": float(energy_inf),
        "energy_flux_horizon_positive_m": float(energy_hor),
        "angular_momentum_flux_infinity_positive_m": float(
            m / omega * energy_inf
        ),
        "angular_momentum_flux_horizon_positive_m": float(
            m / omega * energy_hor
        ),
        "jump": jump,
        "nfev": int(nfev),
    }


def exact_mode_table(r0: float, lmax: int = LMAX) -> dict[tuple[int, int], dict]:
    return {
        key: exact_positive_m_mode(r0, *key)
        for key in mode_keys(lmax)
    }


def _mode_task(args):
    radius, ell, m = args
    return float(radius), int(ell), int(m), exact_positive_m_mode(float(radius), int(ell), int(m))


def parallel_mode_tables(radii, lmax: int = LMAX, workers: int | None = None):
    radii = [float(x) for x in radii]
    tables = {radius: {} for radius in radii}
    tasks = [
        (radius, ell, m)
        for radius in radii
        for ell, m in mode_keys(lmax)
    ]
    if workers is None:
        workers = min(12, max(2, os.cpu_count() or 2))
    with ProcessPoolExecutor(max_workers=workers) as executor:
        for radius, ell, m, mode in executor.map(_mode_task, tasks, chunksize=1):
            tables[radius][(ell, m)] = mode
    return tables


def wigner_small_d(
    ell: int,
    m1: int,
    m2: int,
    theta: float,
) -> float:
    prefactor = math.sqrt(
        math.factorial(ell + m1)
        * math.factorial(ell - m1)
        * math.factorial(ell + m2)
        * math.factorial(ell - m2)
    )
    k_min = max(0, m1 - m2)
    k_max = min(ell + m1, ell - m2)

    total = 0.0
    c = math.cos(theta / 2.0)
    s = math.sin(theta / 2.0)
    for k in range(k_min, k_max + 1):
        denominator = (
            math.factorial(ell + m1 - k)
            * math.factorial(k)
            * math.factorial(m2 - m1 + k)
            * math.factorial(ell - m2 - k)
        )
        sign = (-1) ** (k - m1 + m2)
        c_power = 2 * ell + m1 - m2 - 2 * k
        s_power = m2 - m1 + 2 * k
        total += (
            sign
            * prefactor
            / denominator
            * c**c_power
            * s**s_power
        )
    return total


def spin_weighted_spherical_harmonic(
    spin: int,
    ell: int,
    m: int,
    theta: float,
    phi: float,
) -> complex:
    if abs(spin) > ell or abs(m) > ell:
        return 0.0j
    return complex(
        (-1) ** spin
        * math.sqrt((2.0 * ell + 1.0) / (4.0 * math.pi))
        * wigner_small_d(ell, m, -spin, theta)
        * np.exp(1.0j * m * phi)
    )


def synthesize_waveform(
    modes: dict[tuple[int, int], dict],
    r0: float,
    inclination: float,
    azimuth: float,
    polarization: float,
    samples: int = WAVEFORM_SAMPLES,
    orbits: int = WAVEFORM_ORBITS,
) -> tuple[np.ndarray, np.ndarray]:
    orbital_omega = r0 ** (-1.5)
    duration = orbits * 2.0 * np.pi / orbital_omega
    times = np.linspace(0.0, duration, samples)
    waveform = np.zeros(samples, dtype=np.complex128)

    for (ell, m), mode in modes.items():
        h_pos = mode["h_amplitude"]
        h_neg = (-1) ** ell * np.conj(h_pos)

        y_pos = spin_weighted_spherical_harmonic(
            -2, ell, m, inclination, azimuth
        )
        y_neg = spin_weighted_spherical_harmonic(
            -2, ell, -m, inclination, azimuth
        )

        waveform += (
            h_pos * y_pos * np.exp(-1.0j * m * orbital_omega * times)
            + h_neg * y_neg * np.exp(+1.0j * m * orbital_omega * times)
        )

    waveform *= np.exp(-2.0j * polarization)
    return times, waveform


def total_fluxes(modes: dict[tuple[int, int], dict]) -> dict:
    # Negative m carries the same energy and angular-momentum magnitude.
    energy_inf = 2.0 * sum(
        mode["energy_flux_infinity_positive_m"] for mode in modes.values()
    )
    energy_hor = 2.0 * sum(
        mode["energy_flux_horizon_positive_m"] for mode in modes.values()
    )
    angular_inf = 2.0 * sum(
        mode["angular_momentum_flux_infinity_positive_m"]
        for mode in modes.values()
    )
    angular_hor = 2.0 * sum(
        mode["angular_momentum_flux_horizon_positive_m"]
        for mode in modes.values()
    )
    return {
        "energy_infinity": float(energy_inf),
        "energy_horizon": float(energy_hor),
        "angular_momentum_infinity": float(angular_inf),
        "angular_momentum_horizon": float(angular_hor),
    }


@dataclass
class ModeInterpolant:
    z_inf_real: Chebyshev
    z_inf_imag: Chebyshev
    z_hor_real: Chebyshev
    z_hor_imag: Chebyshev


@dataclass
class MultimodeCompiler:
    domain: tuple[float, float]
    lmax: int
    training_radii: np.ndarray
    interpolants: dict[tuple[int, int], ModeInterpolant]
    training_seconds: float

    def mode_table(self, r0: float) -> dict[tuple[int, int], dict]:
        if not (self.domain[0] <= r0 <= self.domain[1]):
            raise ValueError("Radius outside compiler domain.")

        orbital_omega = r0 ** (-1.5)
        table: dict[tuple[int, int], dict] = {}
        for (ell, m), interp in self.interpolants.items():
            z_inf = complex(interp.z_inf_real(r0), interp.z_inf_imag(r0))
            z_hor = complex(interp.z_hor_real(r0), interp.z_hor_imag(r0))
            omega = m * orbital_omega
            parity = parity_name(ell, m)

            if parity == "even":
                pf = (ell - 1.0) * (ell + 2.0) / (
                    ell * (ell + 1.0)
                )
                energy_inf = pf * abs(omega * z_inf) ** 2 / (4.0 * np.pi)
                energy_hor = pf * abs(omega * z_hor) ** 2 / (4.0 * np.pi)
                h_amplitude = 2.0 * math.sqrt(pf) * z_inf
            else:
                pf = ell * (ell + 1.0) / (
                    (ell - 1.0) * (ell + 2.0)
                )
                energy_inf = pf * abs(omega * z_inf) ** 2 / (16.0 * np.pi)
                energy_hor = pf * abs(omega * z_hor) ** 2 / (16.0 * np.pi)
                h_amplitude = 1.0j * math.sqrt(pf) * z_inf

            table[(ell, m)] = {
                "ell": ell,
                "m": m,
                "parity": parity,
                "r0": float(r0),
                "omega": float(omega),
                "z_infinity": z_inf,
                "z_horizon": z_hor,
                "h_amplitude": h_amplitude,
                "energy_flux_infinity_positive_m": float(energy_inf),
                "energy_flux_horizon_positive_m": float(energy_hor),
                "angular_momentum_flux_infinity_positive_m": float(
                    m / omega * energy_inf
                ),
                "angular_momentum_flux_horizon_positive_m": float(
                    m / omega * energy_hor
                ),
            }
        return table


def chebyshev_nodes(a: float, b: float, count: int) -> np.ndarray:
    k = np.arange(count)
    canonical = np.cos((2.0 * k + 1.0) * np.pi / (2.0 * count))
    return np.sort(0.5 * (a + b) + 0.5 * (b - a) * canonical)


def build_compiler() -> tuple[MultimodeCompiler, dict]:
    radii = chebyshev_nodes(RADIUS_MIN, RADIUS_MAX, TRAINING_NODES)
    keys = mode_keys(LMAX)
    records = {key: {"z_inf": [], "z_hor": []} for key in keys}

    t0 = time.perf_counter()
    parallel_tables = parallel_mode_tables(radii, LMAX)
    training_tables = []
    for radius in radii:
        table = parallel_tables[float(radius)]
        training_tables.append(table)
        for key in keys:
            records[key]["z_inf"].append(table[key]["z_infinity"])
            records[key]["z_hor"].append(table[key]["z_horizon"])
    training_seconds = time.perf_counter() - t0

    interpolants = {}
    degree = TRAINING_NODES - 1
    domain = [RADIUS_MIN, RADIUS_MAX]
    for key in keys:
        z_inf = np.asarray(records[key]["z_inf"])
        z_hor = np.asarray(records[key]["z_hor"])
        interpolants[key] = ModeInterpolant(
            z_inf_real=Chebyshev.fit(radii, z_inf.real, degree, domain=domain),
            z_inf_imag=Chebyshev.fit(radii, z_inf.imag, degree, domain=domain),
            z_hor_real=Chebyshev.fit(radii, z_hor.real, degree, domain=domain),
            z_hor_imag=Chebyshev.fit(radii, z_hor.imag, degree, domain=domain),
        )

    compiler = MultimodeCompiler(
        domain=(RADIUS_MIN, RADIUS_MAX),
        lmax=LMAX,
        training_radii=radii,
        interpolants=interpolants,
        training_seconds=training_seconds,
    )
    return compiler, {"training_tables": training_tables}


def waveform_metrics(reference: np.ndarray, candidate: np.ndarray) -> dict:
    norm_ref = max(float(np.linalg.norm(reference)), 1.0e-30)
    norm_cand = max(float(np.linalg.norm(candidate)), 1.0e-30)
    relative_l2 = float(np.linalg.norm(reference - candidate) / norm_ref)
    overlap = abs(np.vdot(reference, candidate)) / (norm_ref * norm_cand)
    mismatch = float(max(0.0, 1.0 - overlap))
    return {"relative_l2": relative_l2, "mismatch": mismatch}


def held_out_validation(
    compiler: MultimodeCompiler,
    rng: np.random.Generator,
) -> dict:
    radii = np.sort(rng.uniform(RADIUS_MIN, RADIUS_MAX, HELD_OUT_RADII))
    orientations = [
        (
            rng.uniform(0.08, np.pi - 0.08),
            rng.uniform(0.0, 2.0 * np.pi),
            rng.uniform(0.0, np.pi),
        )
        for _ in range(HELD_OUT_ORIENTATIONS)
    ]

    direct_tables = parallel_mode_tables(radii, LMAX)

    rows = []
    max_record = 0.0
    max_flux = 0.0
    max_waveform_l2 = 0.0
    max_mismatch = 0.0

    for radius in radii:
        direct_modes = direct_tables[float(radius)]
        compiled_modes = compiler.mode_table(float(radius))

        direct_record = np.array(
            [
                value
                for key in mode_keys(LMAX)
                for value in (
                    direct_modes[key]["z_infinity"],
                    direct_modes[key]["z_horizon"],
                )
            ],
            dtype=np.complex128,
        )
        compiled_record = np.array(
            [
                value
                for key in mode_keys(LMAX)
                for value in (
                    compiled_modes[key]["z_infinity"],
                    compiled_modes[key]["z_horizon"],
                )
            ],
            dtype=np.complex128,
        )
        record_error = float(
            np.linalg.norm(direct_record - compiled_record)
            / max(np.linalg.norm(direct_record), 1.0e-30)
        )

        flux_direct = total_fluxes(direct_modes)
        flux_compiled = total_fluxes(compiled_modes)
        flux_vector_direct = np.array(
            [flux_direct["energy_infinity"], flux_direct["energy_horizon"]]
        )
        flux_vector_compiled = np.array(
            [flux_compiled["energy_infinity"], flux_compiled["energy_horizon"]]
        )
        flux_error = float(
            np.linalg.norm(flux_vector_direct - flux_vector_compiled)
            / max(np.linalg.norm(flux_vector_direct), 1.0e-30)
        )

        for inclination, azimuth, polarization in orientations:
            _, h_direct = synthesize_waveform(
                direct_modes,
                float(radius),
                inclination,
                azimuth,
                polarization,
            )
            _, h_compiled = synthesize_waveform(
                compiled_modes,
                float(radius),
                inclination,
                azimuth,
                polarization,
            )
            metrics = waveform_metrics(h_direct, h_compiled)
            rows.append(
                {
                    "r0": float(radius),
                    "inclination": float(inclination),
                    "azimuth": float(azimuth),
                    "polarization": float(polarization),
                    "record_error": record_error,
                    "flux_error": flux_error,
                    "waveform_relative_l2": metrics["relative_l2"],
                    "waveform_mismatch": metrics["mismatch"],
                }
            )
            max_waveform_l2 = max(max_waveform_l2, metrics["relative_l2"])
            max_mismatch = max(max_mismatch, metrics["mismatch"])

        max_record = max(max_record, record_error)
        max_flux = max(max_flux, flux_error)

    return {
        "radii": [float(x) for x in radii],
        "orientation_count": len(orientations),
        "maximum_record_error": max_record,
        "maximum_flux_error": max_flux,
        "maximum_waveform_relative_l2": max_waveform_l2,
        "maximum_waveform_mismatch": max_mismatch,
        "rows": rows,
    }


def shell_fluxes(modes: dict[tuple[int, int], dict]) -> dict[int, dict]:
    shells: dict[int, dict] = {}
    for (ell, _), mode in modes.items():
        shell = shells.setdefault(
            ell, {"energy_infinity": 0.0, "energy_horizon": 0.0}
        )
        shell["energy_infinity"] += (
            2.0 * mode["energy_flux_infinity_positive_m"]
        )
        shell["energy_horizon"] += (
            2.0 * mode["energy_flux_horizon_positive_m"]
        )
    return shells


def geometric_tail_bound(
    shells: dict[int, dict],
    field: str,
    retained_lmax: int = LMAX,
    witness_lmax: int = TAIL_WITNESS_LMAX,
) -> dict:
    ratios = [
        shells[ell][field] / shells[ell - 1][field]
        for ell in range(retained_lmax, witness_lmax + 1)
        if shells[ell - 1][field] > 0.0
    ]
    q = max(ratios)
    explicit_omitted = sum(
        shells[ell][field]
        for ell in range(retained_lmax + 1, witness_lmax + 1)
    )
    continuation = (
        shells[witness_lmax][field] * q / (1.0 - q)
        if q < 1.0
        else float("inf")
    )
    return {
        "q": float(q),
        "explicit_l9_l10": float(explicit_omitted),
        "continuation_beyond_l10": float(continuation),
        "bound_beyond_l8": float(explicit_omitted + continuation),
    }


def load_total_flux_data() -> np.ndarray:
    data = np.loadtxt(TOTAL_FLUX_DATA_PATH)
    return data[np.argsort(data[:, 0])]


def interpolate_reference_flux(
    data: np.ndarray,
    r0: float,
) -> tuple[float, float]:
    return (
        float(np.interp(r0, data[:, 0], data[:, 1])),
        float(np.interp(r0, data[:, 0], data[:, 2])),
    )


def tail_and_external_validation(
    flux_data: np.ndarray,
) -> dict:
    validation_radii = [6.5, 8.0, 10.0, 15.0, 20.0]
    mode_tables = parallel_mode_tables(validation_radii, TAIL_WITNESS_LMAX)
    rows = []
    max_tail_fraction = 0.0
    max_total_infinity_error = 0.0
    max_total_horizon_error = 0.0

    for radius in validation_radii:
        modes10 = mode_tables[float(radius)]
        shells = shell_fluxes(modes10)
        partial8_inf = sum(
            shells[ell]["energy_infinity"] for ell in range(2, LMAX + 1)
        )
        partial8_hor = sum(
            shells[ell]["energy_horizon"] for ell in range(2, LMAX + 1)
        )
        partial10_inf = sum(
            shells[ell]["energy_infinity"]
            for ell in range(2, TAIL_WITNESS_LMAX + 1)
        )
        partial10_hor = sum(
            shells[ell]["energy_horizon"]
            for ell in range(2, TAIL_WITNESS_LMAX + 1)
        )

        tail_inf = geometric_tail_bound(shells, "energy_infinity")
        tail_hor = geometric_tail_bound(shells, "energy_horizon")

        reference_inf, reference_hor = interpolate_reference_flux(
            flux_data, radius
        )
        estimated_inf = (
            partial10_inf + tail_inf["continuation_beyond_l10"]
        )
        estimated_hor = (
            partial10_hor + tail_hor["continuation_beyond_l10"]
        )

        tail_fraction = tail_inf["bound_beyond_l8"] / reference_inf
        max_tail_fraction = max(max_tail_fraction, tail_fraction)
        inf_error = abs(estimated_inf - reference_inf) / reference_inf
        hor_error = abs(estimated_hor - reference_hor) / reference_hor
        max_total_infinity_error = max(max_total_infinity_error, inf_error)
        max_total_horizon_error = max(max_total_horizon_error, hor_error)

        rows.append(
            {
                "r0": radius,
                "partial_l8_infinity": partial8_inf,
                "partial_l8_horizon": partial8_hor,
                "tail_bound_infinity": tail_inf["bound_beyond_l8"],
                "tail_bound_horizon": tail_hor["bound_beyond_l8"],
                "tail_fraction_infinity": tail_fraction,
                "estimated_total_infinity": estimated_inf,
                "reference_total_infinity": reference_inf,
                "relative_total_infinity_error": inf_error,
                "estimated_total_horizon": estimated_hor,
                "reference_total_horizon": reference_hor,
                "relative_total_horizon_error": hor_error,
                "q_infinity": tail_inf["q"],
                "q_horizon": tail_hor["q"],
            }
        )

    return {
        "maximum_infinity_tail_fraction_beyond_l8": max_tail_fraction,
        "maximum_estimated_total_infinity_error": max_total_infinity_error,
        "maximum_estimated_total_horizon_error": max_total_horizon_error,
        "rows": rows,
    }


def orientation_tail_validation(
    rng: np.random.Generator,
) -> dict:
    radii = [6.5, 10.0, 20.0]
    orientations = [
        (
            rng.uniform(0.08, np.pi - 0.08),
            rng.uniform(0.0, 2.0 * np.pi),
            rng.uniform(0.0, np.pi),
        )
        for _ in range(12)
    ]
    mode_tables = parallel_mode_tables(radii, TAIL_WITNESS_LMAX)
    rows = []
    max_mismatch = 0.0
    max_l2 = 0.0
    for radius in radii:
        modes10 = mode_tables[float(radius)]
        modes8 = {
            key: value for key, value in modes10.items() if key[0] <= LMAX
        }
        for inclination, azimuth, polarization in orientations:
            _, h10 = synthesize_waveform(
                modes10, radius, inclination, azimuth, polarization
            )
            _, h8 = synthesize_waveform(
                modes8, radius, inclination, azimuth, polarization
            )
            metrics = waveform_metrics(h10, h8)
            max_mismatch = max(max_mismatch, metrics["mismatch"])
            max_l2 = max(max_l2, metrics["relative_l2"])
            rows.append(
                {
                    "r0": radius,
                    "inclination": inclination,
                    "azimuth": azimuth,
                    "polarization": polarization,
                    "relative_l2_l8_vs_l10": metrics["relative_l2"],
                    "mismatch_l8_vs_l10": metrics["mismatch"],
                }
            )
    return {
        "maximum_relative_l2_l8_vs_l10": max_l2,
        "maximum_mismatch_l8_vs_l10": max_mismatch,
        "rows": rows,
    }


def direct_waveform_query(
    r0: float,
    inclination: float,
    azimuth: float,
    polarization: float,
) -> dict:
    modes = exact_mode_table(r0, LMAX)
    times, waveform = synthesize_waveform(
        modes, r0, inclination, azimuth, polarization
    )
    return {
        "modes": modes,
        "times": times,
        "waveform": waveform,
        "fluxes": total_fluxes(modes),
    }


def compiled_waveform_query(
    compiler: MultimodeCompiler,
    r0: float,
    inclination: float,
    azimuth: float,
    polarization: float,
) -> dict:
    modes = compiler.mode_table(r0)
    times, waveform = synthesize_waveform(
        modes, r0, inclination, azimuth, polarization
    )
    return {
        "modes": modes,
        "times": times,
        "waveform": waveform,
        "fluxes": total_fluxes(modes),
    }


def benchmark(
    method,
    queries: list[tuple[float, float, float, float]],
    repeats: int,
) -> dict:
    samples = []
    checksum = 0.0
    for _ in range(repeats):
        t0 = time.perf_counter()
        total = 0.0
        for query in queries:
            result = method(*query)
            total += float(np.real(result["waveform"][0]))
        samples.append(time.perf_counter() - t0)
        checksum = total
    median = float(np.median(samples))
    return {
        "queries": len(queries),
        "repeats": repeats,
        "all_seconds": [float(x) for x in samples],
        "median_seconds": median,
        "median_milliseconds_per_query": float(
            1.0e3 * median / len(queries)
        ),
        "checksum": checksum,
    }


def thirteen_dimensional_ablation(
    compiler: MultimodeCompiler,
) -> dict:
    """Honest scoped test: no parent-derived identity is supplied.

    The exact 4D parity selection already assigns one parity sector per (l,m),
    and each nonzero source has the jump data required by its second-order ODE.
    """
    jump_rows = []
    for radius in compiler.training_radii:
        for ell, m in mode_keys(LMAX):
            if parity_name(ell, m) == "even":
                source = CORE.exact_even_point_particle_jumps(
                    ell, m, float(radius)
                )
            else:
                source = odd_point_particle_jumps(
                    ell, m, float(radius)
                )
            jump_rows.append(
                [
                    float(np.real(source["delta_psi"])),
                    float(np.imag(source["delta_psi"])),
                    float(np.real(source["delta_dpsi_dr"])),
                    float(np.imag(source["delta_dpsi_dr"])),
                ]
            )

    matrix = np.asarray(jump_rows)
    norms = np.linalg.norm(matrix, axis=0)
    active = norms > 1.0e-30
    normalized = matrix[:, active] / norms[active]
    singular_values = np.linalg.svd(normalized, compute_uv=False)
    rank = int(
        np.count_nonzero(
            singular_values > 1.0e-10 * singular_values[0]
        )
    )
    return {
        "normalized_jump_singular_values": [
            float(x) for x in singular_values
        ],
        "numerical_rank": rank,
        "active_real_columns": int(np.count_nonzero(active)),
        "unique_13d_reduction_found": False,
        "status": "NO-UNIQUE-13D-GAIN-MULTIMODE",
        "reason": (
            "No parent-geometry identity was derived that reduces the already "
            "parity-selected 4D jump data or the observer record dimension. "
            "The multimode benchmark therefore remains a native 4D result."
        ),
    }


def main() -> None:
    root = Path(__file__).resolve().parent
    rng = np.random.default_rng(SEED)

    compiler, _ = build_compiler()
    held_out = held_out_validation(compiler, rng)
    flux_data = load_total_flux_data()
    tail_validation = tail_and_external_validation(flux_data)
    orientation_tail = orientation_tail_validation(rng)

    benchmark_queries = [
        (
            float(rng.uniform(RADIUS_MIN, RADIUS_MAX)),
            float(rng.uniform(0.08, np.pi - 0.08)),
            float(rng.uniform(0.0, 2.0 * np.pi)),
            float(rng.uniform(0.0, np.pi)),
        )
        for _ in range(1)
    ]

    # Warm up only the cheap compiled path; the direct measurement is intentionally
    # a single complete physical query to avoid hiding its cost in repeated warmups.
    compiled_waveform_query(compiler, *benchmark_queries[0])

    direct_timing = benchmark(
        direct_waveform_query, benchmark_queries, repeats=1
    )
    compiled_timing = benchmark(
        lambda *q: compiled_waveform_query(compiler, *q),
        benchmark_queries,
        repeats=9,
    )
    online_speedup = (
        direct_timing["median_seconds"] / compiled_timing["median_seconds"]
    )

    direct_seconds_per_query = (
        direct_timing["median_seconds"] / len(benchmark_queries)
    )
    compiled_seconds_per_query = (
        compiled_timing["median_seconds"] / len(benchmark_queries)
    )
    break_even_queries = compiler.training_seconds / max(
        direct_seconds_per_query - compiled_seconds_per_query,
        1.0e-30,
    )

    amortized = []
    for query_count in (1, 10, 100, 1000, 10000, 100000):
        direct_total = query_count * direct_seconds_per_query
        compiled_total = (
            compiler.training_seconds
            + query_count * compiled_seconds_per_query
        )
        amortized.append(
            {
                "queries": query_count,
                "direct_total_seconds": direct_total,
                "compiled_total_seconds": compiled_total,
                "amortized_speedup": direct_total / compiled_total,
            }
        )

    ablation_13d = thirteen_dimensional_ablation(compiler)

    # Representative waveform and mode table.
    representative = {
        "r0": 10.0,
        "inclination": 1.1,
        "azimuth": 0.7,
        "polarization": 0.35,
    }
    representative_result = direct_waveform_query(**representative)
    with (root / "representative_multimode_waveform.csv").open(
        "w", newline="", encoding="utf-8"
    ) as f:
        writer = csv.writer(f)
        writer.writerow(
            [
                "t_over_M",
                "D_h_plus_over_mu",
                "D_h_cross_over_mu",
                "complex_strain_real",
                "complex_strain_imag",
            ]
        )
        for t, h in zip(
            representative_result["times"],
            representative_result["waveform"],
        ):
            writer.writerow(
                [
                    float(t),
                    float(np.real(h)),
                    float(-np.imag(h)),
                    float(np.real(h)),
                    float(np.imag(h)),
                ]
            )

    with (root / "representative_mode_table.csv").open(
        "w", newline="", encoding="utf-8"
    ) as f:
        writer = csv.writer(f)
        writer.writerow(
            [
                "ell",
                "m",
                "parity",
                "omega",
                "z_infinity_real",
                "z_infinity_imag",
                "z_horizon_real",
                "z_horizon_imag",
                "energy_flux_infinity_positive_m",
                "energy_flux_horizon_positive_m",
            ]
        )
        for key in mode_keys(LMAX):
            mode = representative_result["modes"][key]
            writer.writerow(
                [
                    mode["ell"],
                    mode["m"],
                    mode["parity"],
                    mode["omega"],
                    np.real(mode["z_infinity"]),
                    np.imag(mode["z_infinity"]),
                    np.real(mode["z_horizon"]),
                    np.imag(mode["z_horizon"]),
                    mode["energy_flux_infinity_positive_m"],
                    mode["energy_flux_horizon_positive_m"],
                ]
            )

    with (root / "held_out_multimode_validation.csv").open(
        "w", newline="", encoding="utf-8"
    ) as f:
        writer = csv.DictWriter(
            f, fieldnames=list(held_out["rows"][0].keys())
        )
        writer.writeheader()
        writer.writerows(held_out["rows"])

    with (root / "tail_and_total_flux_validation.csv").open(
        "w", newline="", encoding="utf-8"
    ) as f:
        writer = csv.DictWriter(
            f, fieldnames=list(tail_validation["rows"][0].keys())
        )
        writer.writeheader()
        writer.writerows(tail_validation["rows"])

    with (root / "orientation_tail_validation.csv").open(
        "w", newline="", encoding="utf-8"
    ) as f:
        writer = csv.DictWriter(
            f, fieldnames=list(orientation_tail["rows"][0].keys())
        )
        writer.writeheader()
        writer.writerows(orientation_tail["rows"])

    # Figures.
    t = representative_result["times"]
    h = representative_result["waveform"]
    plt.figure(figsize=(9, 5))
    plt.plot(t, np.real(h), label=r"$D h_+/\mu$")
    plt.plot(t, -np.imag(h), label=r"$D h_\times/\mu$")
    plt.xlabel(r"$t/M$")
    plt.ylabel("Normalized strain")
    plt.title(r"Exact multimode waveform, $r_0=10M$, $\ell\leq8$")
    plt.legend()
    plt.tight_layout()
    plt.savefig(root / "multimode_waveform.svg", format="svg")
    plt.close()

    shells = shell_fluxes(representative_result["modes"])
    plt.figure(figsize=(9, 5))
    ell_values = sorted(shells)
    plt.plot(
        ell_values,
        [shells[ell]["energy_infinity"] for ell in ell_values],
        marker="o",
        label="Infinity",
    )
    plt.plot(
        ell_values,
        [shells[ell]["energy_horizon"] for ell in ell_values],
        marker="o",
        label="Horizon",
    )
    plt.yscale("log")
    plt.xlabel(r"Multipole shell $\ell$")
    plt.ylabel("Energy flux")
    plt.title(r"Exact point-particle shell flux at $r_0=10M$")
    plt.legend()
    plt.tight_layout()
    plt.savefig(root / "shell_flux.svg", format="svg")
    plt.close()

    plt.figure(figsize=(9, 5))
    plt.scatter(
        [row["r0"] for row in held_out["rows"]],
        [max(row["waveform_mismatch"], 1.0e-20) for row in held_out["rows"]],
        s=12,
    )
    plt.yscale("log")
    plt.xlabel(r"Held-out radius $r_0/M$")
    plt.ylabel("Waveform mismatch")
    plt.title("Held-out radii and arbitrary orientations")
    plt.tight_layout()
    plt.savefig(root / "held_out_mismatch.svg", format="svg")
    plt.close()

    plt.figure(figsize=(9, 5))
    labels = ["Direct exact multimode", "Compiled multimode"]
    values = [
        direct_timing["median_milliseconds_per_query"],
        compiled_timing["median_milliseconds_per_query"],
    ]
    plt.bar(labels, values)
    plt.yscale("log")
    plt.ylabel("Median milliseconds per 8,192-sample waveform")
    plt.title("Direct versus observer-compiled multimode waveform")
    plt.tight_layout()
    plt.savefig(root / "multimode_runtime.svg", format="svg")
    plt.close()

    plt.figure(figsize=(9, 5))
    plt.plot(
        [row["r0"] for row in tail_validation["rows"]],
        [
            row["tail_fraction_infinity"]
            for row in tail_validation["rows"]
        ],
        marker="o",
    )
    plt.yscale("log")
    plt.xlabel(r"$r_0/M$")
    plt.ylabel(r"Certified infinity-flux tail fraction beyond $\ell=8$")
    plt.title("Multipole-tail certificate")
    plt.tight_layout()
    plt.savefig(root / "tail_certificate.svg", format="svg")
    plt.close()

    certificate = {
        "certificate_id": "EXACT-POINT-PARTICLE-RWZ-MULTIMODE-4D/V1",
        "date": "2026-08-06",
        "status": "PASS-EXACT-SOURCE-MULTIMODE-4D",
        "environment": {
            "python": platform.python_version(),
            "numpy": np.__version__,
            "scipy": scipy.__version__,
            "platform": platform.platform(),
        },
        "scope": {
            "background": "Schwarzschild, M=1",
            "source": "Exact circular equatorial point particle",
            "positive_m_modes": len(mode_keys(LMAX)),
            "radiative_mode_range": {
                "ell_min": 2,
                "ell_max": LMAX,
                "m": "all positive m; negative m reconstructed by symmetry",
            },
            "parity": "Complete even/odd selection through ell_max",
            "observer": "Arbitrary inclination, azimuth, and polarization",
            "waveform_samples": WAVEFORM_SAMPLES,
            "waveform_orbits": WAVEFORM_ORBITS,
            "radius_domain": [RADIUS_MIN, RADIUS_MAX],
            "claim_boundary": [
                "Complete radiative mode set means all even- and odd-parity modes through ell=8 plus a certified omitted-ell tail.",
                "The orbit is circular and geodesic, not an evolving inspiral.",
                "The compiler interpolates exact-source mode amplitudes across radius.",
                "The tail certificate uses explicit ell=9 and ell=10 witnesses plus a geometric continuation bound.",
                "No unique 13D simplification is claimed.",
            ],
        },
        "compiler": {
            "training_nodes": TRAINING_NODES,
            "training_seconds": compiler.training_seconds,
            "break_even_queries": break_even_queries,
        },
        "held_out_validation": {
            key: value for key, value in held_out.items() if key != "rows"
        },
        "tail_validation": {
            key: value
            for key, value in tail_validation.items()
            if key != "rows"
        },
        "orientation_tail_validation": {
            key: value
            for key, value in orientation_tail.items()
            if key != "rows"
        },
        "timing": {
            "direct": direct_timing,
            "compiled": compiled_timing,
            "online_speedup": online_speedup,
            "amortized": amortized,
        },
        "representative": {
            **representative,
            "total_fluxes_l8": representative_result["fluxes"],
        },
        "13d_ablation": ablation_13d,
    }

    required = [
        100.0 <= online_speedup <= 1000.0,
        held_out["maximum_waveform_mismatch"] < 1.0e-8,
        held_out["maximum_waveform_relative_l2"] < 1.0e-5,
        held_out["maximum_flux_error"] < 1.0e-6,
        tail_validation[
            "maximum_infinity_tail_fraction_beyond_l8"
        ] < 1.0e-4,
        orientation_tail["maximum_mismatch_l8_vs_l10"] < 1.0e-4,
        tail_validation[
            "maximum_estimated_total_infinity_error"
        ] < 1.0e-5,
        tail_validation[
            "maximum_estimated_total_horizon_error"
        ] < 1.0e-5,
        not ablation_13d["unique_13d_reduction_found"],
    ]
    certificate["all_required_checks_pass"] = bool(all(required))

    cert_path = root / "multimode_exact_point_particle_certificate.json"
    cert_path.write_text(
        json.dumps(certificate, indent=2) + "\n", encoding="utf-8"
    )

    certificate["artifacts"] = {
        path.name: {
            "bytes": path.stat().st_size,
            "sha256": sha256(path),
        }
        for path in sorted(root.iterdir())
        if path.is_file() and path.name != cert_path.name
    }
    cert_path.write_text(
        json.dumps(certificate, indent=2) + "\n", encoding="utf-8"
    )

    print(
        json.dumps(
            {
                "certificate": str(cert_path),
                "pass": certificate["all_required_checks_pass"],
                "mode_count_positive_m": len(mode_keys(LMAX)),
                "training_seconds": compiler.training_seconds,
                "online_speedup": online_speedup,
                "break_even_queries": break_even_queries,
                "held_out_max_mismatch": held_out[
                    "maximum_waveform_mismatch"
                ],
                "held_out_max_l2": held_out[
                    "maximum_waveform_relative_l2"
                ],
                "tail_fraction_max": tail_validation[
                    "maximum_infinity_tail_fraction_beyond_l8"
                ],
                "orientation_tail_mismatch": orientation_tail[
                    "maximum_mismatch_l8_vs_l10"
                ],
                "external_total_infinity_error": tail_validation[
                    "maximum_estimated_total_infinity_error"
                ],
                "external_total_horizon_error": tail_validation[
                    "maximum_estimated_total_horizon_error"
                ],
                "13d_status": ablation_13d["status"],
            },
            indent=2,
        )
    )


if __name__ == "__main__":
    main()
Appendix B

Machine-readable execution certificate

PASS
{
  "certificate_id": "EXACT-POINT-PARTICLE-RWZ-MULTIMODE-4D/V1",
  "date": "2026-08-06",
  "status": "PASS-EXACT-SOURCE-MULTIMODE-4D",
  "environment": {
    "python": "3.13.5",
    "numpy": "2.3.5",
    "scipy": "1.17.0",
    "platform": "Linux-6.18.35-x86_64-with-glibc2.41"
  },
  "scope": {
    "background": "Schwarzschild, M=1",
    "source": "Exact circular equatorial point particle",
    "positive_m_modes": 35,
    "radiative_mode_range": {
      "ell_min": 2,
      "ell_max": 8,
      "m": "all positive m; negative m reconstructed by symmetry"
    },
    "parity": "Complete even/odd selection through ell_max",
    "observer": "Arbitrary inclination, azimuth, and polarization",
    "waveform_samples": 4096,
    "waveform_orbits": 4,
    "radius_domain": [
      6.5,
      20.0
    ],
    "claim_boundary": [
      "Complete radiative mode set means all even- and odd-parity modes through ell=8 plus a certified omitted-ell tail.",
      "The orbit is circular and geodesic, not an evolving inspiral.",
      "The compiler interpolates exact-source mode amplitudes across radius.",
      "The tail certificate uses explicit ell=9 and ell=10 witnesses plus a geometric continuation bound.",
      "No unique 13D simplification is claimed."
    ]
  },
  "compiler": {
    "training_nodes": 16,
    "training_seconds": 11.188773972000035,
    "break_even_queries": 4.617085489993344
  },
  "held_out_validation": {
    "radii": [
      8.264656607256214,
      12.68746515691591,
      13.201098813239685,
      18.31662702318632
    ],
    "orientation_count": 8,
    "maximum_record_error": 1.4096243742594628e-07,
    "maximum_flux_error": 1.4504465017804764e-07,
    "maximum_waveform_relative_l2": 1.1986726929966334e-07,
    "maximum_waveform_mismatch": 4.107825191113079e-15
  },
  "tail_validation": {
    "maximum_infinity_tail_fraction_beyond_l8": 5.2138824223946176e-05,
    "maximum_estimated_total_infinity_error": 3.3210763869075334e-07,
    "maximum_estimated_total_horizon_error": 1.1034034677849576e-06
  },
  "orientation_tail_validation": {
    "maximum_relative_l2_l8_vs_l10": 0.004112499920304459,
    "maximum_mismatch_l8_vs_l10": 8.456352521446497e-06
  },
  "timing": {
    "direct": {
      "queries": 1,
      "repeats": 1,
      "all_seconds": [
        2.4299354180000137
      ],
      "median_seconds": 2.4299354180000137,
      "median_milliseconds_per_query": 2429.9354180000137,
      "checksum": 0.12758220780804583
    },
    "compiled": {
      "queries": 1,
      "repeats": 9,
      "all_seconds": [
        0.006627854000043953,
        0.00673231999996915,
        0.006594113999994988,
        0.006550299000082305,
        0.0065620459999991,
        0.006492303000072752,
        0.006515107000041098,
        0.006916925000041374,
        0.006815593000055742
      ],
      "median_seconds": 0.006594113999994988,
      "median_milliseconds_per_query": 6.594113999994988,
      "checksum": 0.12758218441424152
    },
    "online_speedup": 368.5006686268785,
    "amortized": [
      {
        "queries": 1,
        "direct_total_seconds": 2.4299354180000137,
        "compiled_total_seconds": 11.19536808600003,
        "amortized_speedup": 0.21704828276603813
      },
      {
        "queries": 10,
        "direct_total_seconds": 24.299354180000137,
        "compiled_total_seconds": 11.254715111999985,
        "amortized_speedup": 2.159037695595841
      },
      {
        "queries": 100,
        "direct_total_seconds": 242.99354180000137,
        "compiled_total_seconds": 11.848185371999534,
        "amortized_speedup": 20.508924714687602
      },
      {
        "queries": 1000,
        "direct_total_seconds": 2429.9354180000137,
        "compiled_total_seconds": 17.782887971995024,
        "amortized_speedup": 136.64458899064888
      },
      {
        "queries": 10000,
        "direct_total_seconds": 24299.354180000137,
        "compiled_total_seconds": 77.12991397194992,
        "amortized_speedup": 315.04448700457726
      },
      {
        "queries": 100000,
        "direct_total_seconds": 242993.54180000137,
        "compiled_total_seconds": 670.6001739714989,
        "amortized_speedup": 362.35233933943005
      }
    ]
  },
  "representative": {
    "r0": 10.0,
    "inclination": 1.1,
    "azimuth": 0.7,
    "polarization": 0.35,
    "total_fluxes_l8": {
      "energy_infinity": 6.150357530384104e-05,
      "energy_horizon": 1.2591294225967763e-08,
      "angular_momentum_infinity": 0.0019449138220382018,
      "angular_momentum_horizon": 3.9817168443384963e-07
    }
  },
  "13d_ablation": {
    "normalized_jump_singular_values": [
      1.2110952613605266,
      0.7302385007037604
    ],
    "numerical_rank": 2,
    "active_real_columns": 2,
    "unique_13d_reduction_found": false,
    "status": "NO-UNIQUE-13D-GAIN-MULTIMODE",
    "reason": "No parent-geometry identity was derived that reduces the already parity-selected 4D jump data or the observer record dimension. The multimode benchmark therefore remains a native 4D result."
  },
  "all_required_checks_pass": true,
  "artifacts": {
    "held_out_mismatch.svg": {
      "bytes": 43487,
      "sha256": "55bd77640e19d9b8eefd9b724229f33ee7be8d080e3f38f71199162278415339"
    },
    "held_out_multimode_validation.csv": {
      "bytes": 5210,
      "sha256": "9d184a8c294a347c1b6fc26bc3eac2b27c871be2503324a403f18f09d6c0bf4f"
    },
    "multimode_exact_point_particle_rwz.py": {
      "bytes": 41585,
      "sha256": "f21a48280518abb83a74a6c31ef8663e0ff64ed5b75a4ed403dffb594a0507d9"
    },
    "multimode_runtime.svg": {
      "bytes": 32899,
      "sha256": "bfe3af4443b3522399cc7176c06c9044172e1db38bfba6aa987b3bb8b77c3a11"
    },
    "multimode_waveform.svg": {
      "bytes": 52627,
      "sha256": "1d27e6b06738109a5f5206c560bc8cd246ca12802d873f6a091db5372b096cfe"
    },
    "orientation_tail_validation.csv": {
      "bytes": 3885,
      "sha256": "c50de1886483609adf63449df070b1e13498be66583fa6bbf9b160476d780374"
    },
    "representative_mode_table.csv": {
      "bytes": 5912,
      "sha256": "16324ab9f47093aa97ef7957bcd23308f4c37af25707279e5500b5cf07cca478"
    },
    "representative_multimode_waveform.csv": {
      "bytes": 413021,
      "sha256": "f84670110a088269eaa42ca4c4c3f733e5d6b713589eb55a1b36d372db147c7c"
    },
    "shell_flux.svg": {
      "bytes": 35249,
      "sha256": "9acf835dc61877f42f4bbe3b9b1ccfb597a2266b1732d342a97c2437a307514c"
    },
    "tail_and_total_flux_validation.csv": {
      "bytes": 1753,
      "sha256": "814d16f51409a1270a71d2e23c2b25506141f04c1ef6ea75c91890900fa2cdf1"
    },
    "tail_certificate.svg": {
      "bytes": 34464,
      "sha256": "0e99162434e06117fdf2df9ecb998b79e4feffe7515bb2640e45f92f3a2a0660"
    }
  }
}
Appendix C

Representative exact mode table

RAW EXECUTION DATA
ell,m,parity,omega,z_infinity_real,z_infinity_imag,z_horizon_real,z_horizon_imag,energy_flux_infinity_positive_m,energy_flux_horizon_positive_m
2,1,odd,0.03162277660168379,0.055796456585774985,-0.011099457838719086,0.0045236011600267405,-0.00030695499253035187,9.658046755790014e-08,6.134584157182353e-10
2,2,even,0.06324555320336758,-0.34312476564519523,0.09361975469581998,0.005105006304623301,-0.000763813914397387,2.6843977395526686e-05,5.654138734509904e-09
3,1,even,0.03162277660168379,0.00046544317798202794,0.0020229421429306194,0.0001527312546470778,-2.2567055675994562e-05,2.857449456309911e-10,1.5806810149249479e-12
3,2,odd,0.06324555320336758,0.005683305351735792,0.014792350692001152,-0.00016683984738751382,4.833739317815284e-05,2.397958230796821e-08,2.881217418916961e-12
3,3,even,0.09486832980505137,-0.03239985735805238,-0.06583123684151863,-0.00018105458540682622,8.066511067726992e-05,3.2130413781255463e-06,2.344807274694808e-11
4,1,odd,0.03162277660168379,5.5636097676783885e-05,-1.4198791649022185e-05,-7.604973334382393e-06,1.4289468880425408e-06,7.287928211493541e-14,1.3235835385802928e-15
4,2,even,0.06324555320336758,-0.0008800681757968151,0.0003793614013576789,-6.3866537919873964e-06,2.467311002107087e-06,2.631122654481756e-10,1.3429262755511867e-14
4,3,odd,0.09486832980505137,-0.004047696032912451,0.002383187139997421,6.819017532296267e-06,-4.071383538370737e-06,4.389378762610492e-09,1.2548405175597439e-14
4,4,even,0.12649110640673517,0.016531057448967084,-0.011956911397012389,7.549302013449611e-06,-6.381742515089769e-06,4.769800197428963e-07,1.119772653870539e-13
5,1,even,0.03162277660168379,3.300247260683169e-07,1.2185948086092156e-06,-2.8441397541151387e-07,6.250059825892602e-08,1.183818593726295e-16,6.298115900613513e-18
5,2,odd,0.06324555320336758,2.0151500399432476e-05,4.2821755588225975e-05,3.3911887371818375e-07,-1.5425730873000064e-07,1.9096766186014768e-13,1.183404490001446e-17
5,3,even,0.09486832980505137,-0.00020205202564218435,-0.00030982485072163246,2.8041974253517673e-07,-2.0460705129505464e-07,9.145506626148933e-11,8.054783370513326e-17
5,4,odd,0.12649110640673517,-0.0009467376019864102,-0.0011363294530036875,-2.7382502517560593e-07,2.929472280489163e-07,7.460581374269522e-10,5.4839640009466286e-17
5,5,even,0.15811388300841894,0.004547125355985482,0.00451286987655669,-2.9668023199827044e-07,4.597387305564575e-07,7.620773822903918e-08,5.55888964108391e-16
6,1,odd,0.03162277660168379,2.8228023529255547e-08,-8.021531724074956e-09,1.703793727928355e-08,-4.162008210898456e-09,1.798897679958893e-20,6.425767430122799e-21
6,2,even,0.06324555320336758,-1.6148341111397318e-06,8.074698388876301e-07,1.3210770953927656e-08,-6.791407775849695e-09,9.881844767611939e-16,6.688984828637143e-20
6,3,odd,0.09486832980505137,-1.9394285205455835e-05,1.3737496008045454e-05,-1.4711095771556482e-08,1.2399760622295727e-08,1.0619413738195703e-13,6.959269324837266e-20
6,4,even,0.12649110640673517,0.0001020253075569171,-9.39115230788751e-05,-1.1593309403112285e-08,1.508017774660319e-08,2.331669942372434e-11,4.387420784920025e-19
6,5,odd,0.15811388300841894,0.0003192565434536503,-0.000367432323839145,9.50598644910722e-09,-1.9392452009938133e-08,1.2373193473645396e-10,2.43582921147474e-19
6,6,even,0.18973665961010275,-0.0012501257290256978,0.0017470123929827699,8.498516951155303e-09,-3.0920308147691054e-08,1.2591065784058365e-08,2.8055567251640905e-18
7,1,even,0.03162277660168379,1.309456764976063e-10,4.442015448119058e-10,6.689420160420269e-10,-1.7751848261993182e-10,1.6456814745825046e-23,3.675597659572184e-23
7,2,odd,0.06324555320336758,3.4538300602044686e-08,6.565819265547985e-08,-7.91996487590318e-10,4.4695551275660176e-10,4.542075445431505e-19,6.82502806405028e-23
7,3,even,0.09486832980505137,-7.316624434654782e-07,-9.693797651946964e-07,-5.84940012166666e-10,5.558205972581098e-10,1.018681375485457e-15,4.496559107712531e-22
7,4,odd,0.12649110640673517,-7.285056984564998e-06,-7.270985732299701e-06,5.713799999065084e-10,-8.772370396318345e-10,3.497046825107464e-14,3.617952369995851e-22
7,5,even,0.15811388300841894,4.0904937550666605e-05,3.196902281422211e-05,3.825712625614449e-10,-1.0282619208495656e-09,5.170494563971665e-12,2.309128652572096e-21
7,6,odd,0.18973665961010275,0.00014058981218630537,8.729365226153076e-05,-1.825466813955535e-10,1.203526044802308e-09,2.0339974045872854e-11,1.1005657282344465e-21
7,7,even,0.22135943621178655,-0.0006717614684550871,-0.0003344138566400081,8.258165778177099e-11,1.947399367225479e-09,2.1172613356436375e-09,1.4285066923610296e-20
8,1,odd,0.03162277660168379,8.403709452773574e-12,-2.556390547114403e-12,-4.2646409090698374e-11,1.2084955351058448e-11,1.578856112021077e-27,4.0204496657153624e-26
8,2,even,0.06324555320336758,-1.8364636169811132e-09,1.0064426730310168e-09,-3.158127291632474e-11,1.9262468951128496e-11,1.357179554695054e-21,4.234819732461398e-25
8,3,odd,0.09486832980505137,-5.181241958532587e-08,4.130975453383667e-08,3.403018244537627e-11,-3.5759841998899585e-11,8.086727095276069e-19,4.487768983663616e-25
8,4,even,0.12649110640673517,4.3477602246926716e-07,-4.672580256823632e-07,2.2395098629367457e-11,-4.0096825013336366e-11,5.042597604281132e-16,2.6110377688903423e-24
8,5,odd,0.15811388300841894,2.433414246663507e-06,-3.422859503904905e-06,-1.593497075436288e-11,5.710652407446308e-11,9.022792066302151e-15,1.798206750957626e-24
8,6,even,0.18973665961010275,-9.397984481309584e-06,1.7133085274100183e-05,-3.1643380773316407e-12,6.553958494960622e-11,1.063574020405407e-12,1.1991589513284863e-23
8,7,odd,0.22135943621178655,-2.228066750129348e-05,5.318651071214198e-05,-1.1345262127653696e-11,-7.004236236129161e-11,3.3341318601711517e-12,5.0481209268966174e-24
8,8,even,0.25298221281347033,8.053637368060616e-05,-0.0002571822526792943,-4.2434682443532594e-11,-1.1386649568713608e-10,3.5962065961868565e-10,7.311505072361143e-23
Appendix D

Held-out radius and orientation validation

RAW EXECUTION DATA
r0,inclination,azimuth,polarization,record_error,flux_error,waveform_relative_l2,waveform_mismatch
8.264656607256214,2.8253022613788423,0.31156529043401676,0.8758862750611446,1.2618188815383656e-07,1.1890885923831889e-07,8.248221406187946e-08,0.0
8.264656607256214,0.10327374248535341,3.8480135418558485,3.0828960487124393,1.2618188815383656e-07,1.1890885923831889e-07,8.080321325355073e-08,3.3306690738754696e-16
8.264656607256214,1.18433307420946,0.18274258690180398,3.0856069882353294,1.2618188815383656e-07,1.1890885923831889e-07,1.0447669681944617e-07,1.2212453270876722e-15
8.264656607256214,0.7848106000372314,5.455358021877795,1.609691110969409,1.2618188815383656e-07,1.1890885923831889e-07,9.240864190744311e-08,2.220446049250313e-16
8.264656607256214,0.8677694816949857,5.98023477916182,3.1269401692705765,1.2618188815383656e-07,1.1890885923831889e-07,9.492813418070323e-08,4.440892098500626e-16
8.264656607256214,2.6774327931485775,3.5845861601234104,1.6788726323318282,1.2618188815383656e-07,1.1890885923831889e-07,8.467944376923854e-08,3.3306690738754696e-16
8.264656607256214,0.7760167957898545,3.91330709321595,2.7296785419543586,1.2618188815383656e-07,1.1890885923831889e-07,9.212444339862194e-08,5.551115123125783e-16
8.264656607256214,1.34863186324887,0.6501851851069961,0.9155293067568664,1.2618188815383656e-07,1.1890885923831889e-07,1.0747888671012066e-07,3.3306690738754696e-15
12.68746515691591,2.8253022613788423,0.31156529043401676,0.8758862750611446,3.355467400305971e-08,3.4335820257471996e-08,2.2163959011044167e-08,0.0
12.68746515691591,0.10327374248535341,3.8480135418558485,3.0828960487124393,3.355467400305971e-08,3.4335820257471996e-08,2.17114288421399e-08,0.0
12.68746515691591,1.18433307420946,0.18274258690180398,3.0856069882353294,3.355467400305971e-08,3.4335820257471996e-08,2.7849221110566683e-08,0.0
12.68746515691591,0.7848106000372314,5.455358021877795,1.609691110969409,3.355467400305971e-08,3.4335820257471996e-08,2.479297156524646e-08,3.3306690738754696e-16
12.68746515691591,0.8677694816949857,5.98023477916182,3.1269401692705765,3.355467400305971e-08,3.4335820257471996e-08,2.5446618029390746e-08,0.0
12.68746515691591,2.6774327931485775,3.5845861601234104,1.6788726323318282,3.355467400305971e-08,3.4335820257471996e-08,2.2752596952755956e-08,0.0
12.68746515691591,0.7760167957898545,3.91330709321595,2.7296785419543586,3.355467400305971e-08,3.4335820257471996e-08,2.471830763097307e-08,3.3306690738754696e-16
12.68746515691591,1.34863186324887,0.6501851851069961,0.9155293067568664,3.355467400305971e-08,3.4335820257471996e-08,2.853664738305739e-08,0.0
13.201098813239685,2.8253022613788423,0.31156529043401676,0.8758862750611446,1.4096243742594628e-07,1.4504465017804764e-07,9.318096355364506e-08,0.0
13.201098813239685,0.10327374248535341,3.8480135418558485,3.0828960487124393,1.4096243742594628e-07,1.4504465017804764e-07,9.127887027685295e-08,2.220446049250313e-16
13.201098813239685,1.18433307420946,0.18274258690180398,3.0856069882353294,1.4096243742594628e-07,1.4504465017804764e-07,1.1701115418791393e-07,2.3314683517128287e-15
13.201098813239685,0.7848106000372314,5.455358021877795,1.609691110969409,1.4096243742594628e-07,1.4504465017804764e-07,1.0421859137364892e-07,1.2212453270876722e-15
13.201098813239685,0.8677694816949857,5.98023477916182,3.1269401692705765,1.4096243742594628e-07,1.4504465017804764e-07,1.0695907280821434e-07,7.771561172376096e-16
13.201098813239685,2.6774327931485775,3.5845861601234104,1.6788726323318282,1.4096243742594628e-07,1.4504465017804764e-07,9.56541651100783e-08,0.0
13.201098813239685,0.7760167957898545,3.91330709321595,2.7296785419543586,1.4096243742594628e-07,1.4504465017804764e-07,1.0390529685819352e-07,7.771561172376096e-16
13.201098813239685,1.34863186324887,0.6501851851069961,0.9155293067568664,1.4096243742594628e-07,1.4504465017804764e-07,1.1986726929966334e-07,4.107825191113079e-15
18.31662702318632,2.8253022613788423,0.31156529043401676,0.8758862750611446,6.868575679805217e-08,7.308714010256467e-08,4.563842013332064e-08,1.1102230246251565e-15
18.31662702318632,0.10327374248535341,3.8480135418558485,3.0828960487124393,6.868575679805217e-08,7.308714010256467e-08,4.470912384989568e-08,1.1102230246251565e-16
18.31662702318632,1.18433307420946,0.18274258690180398,3.0856069882353294,6.868575679805217e-08,7.308714010256467e-08,5.7069149084537466e-08,1.2212453270876722e-15
18.31662702318632,0.7848106000372314,5.455358021877795,1.609691110969409,6.868575679805217e-08,7.308714010256467e-08,5.0990272685161506e-08,0.0
18.31662702318632,0.8677694816949857,5.98023477916182,3.1269401692705765,6.868575679805217e-08,7.308714010256467e-08,5.230696778427415e-08,5.551115123125783e-16
18.31662702318632,2.6774327931485775,3.5845861601234104,1.6788726323318282,6.868575679805217e-08,7.308714010256467e-08,4.684359477322415e-08,2.220446049250313e-16
18.31662702318632,0.7760167957898545,3.91330709321595,2.7296785419543586,6.868575679805217e-08,7.308714010256467e-08,5.083893675155209e-08,5.551115123125783e-16
18.31662702318632,1.34863186324887,0.6501851851069961,0.9155293067568664,6.868575679805217e-08,7.308714010256467e-08,5.835796179056698e-08,8.881784197001252e-16
Appendix E

Tail and external total-flux validation

RAW EXECUTION DATA
r0,partial_l8_infinity,partial_l8_horizon,tail_bound_infinity,tail_bound_horizon,tail_fraction_infinity,estimated_total_infinity,reference_total_infinity,relative_total_infinity_error,estimated_total_horizon,reference_total_horizon,relative_total_horizon_error,q_infinity,q_horizon
6.5,0.0005990455023809557,1.214686091600457e-06,3.1235159903921377e-08,1.503027821487662e-18,5.2138824223946176e-05,0.0005990767375408597,0.0005990767986972706,1.0208442559387282e-07,1.21468609160196e-06,1.2146864804799842e-06,3.201468283076823e-07,0.2661724306879133,0.0214176790505836
8.0,0.00019597721875905358,1.250694968059884e-07,2.2599208392858464e-09,1.0587028212690558e-21,1.153141382794363e-05,0.00019597947867989289,0.00019597951066585326,1.6321073701479337e-07,1.2506949680598946e-07,1.2506957142931108e-07,5.966544921410456e-07,0.21430512877878946,0.010285644253776828
10.0,6.150357530384104e-05,1.2591294225967763e-08,1.501729846213181e-10,9.852291897010391e-25,2.4416886442384776e-06,6.150372547682565e-05,6.150374044441468e-05,2.4336063014311975e-07,1.2591294225967765e-08,1.259130504061668e-08,8.588981746214355e-07,0.1715120345935203,0.0051353476674244
15.0,7.888776483328795e-06,2.4246394156120077e-10,1.2411726489037203e-12,1.2585773963069481e-29,1.5733390900923661e-07,7.888777724501442e-06,7.888780344425655e-06,3.3210763869075334e-07,2.4246394156120077e-10,2.424642090970499e-10,1.1034034677849576e-06,0.11577364208864495,0.0017560718452646906
20.0,1.8714547019538528e-06,1.6166596443598913e-11,4.2865661423204334e-14,8.108062473027109e-33,2.2904990241134583e-08,1.8714547448195143e-06,1.8714551271112444e-06,2.0427512505242363e-07,1.6166596443598913e-11,1.6166607129979817e-11,6.610156860983481e-07,0.08785551907304863,0.0008971141674739429
Appendix F

Orientation-dependent ell-tail validation

RAW EXECUTION DATA
r0,inclination,azimuth,polarization,relative_l2_l8_vs_l10,mismatch_l8_vs_l10
6.5,0.19926318821572575,5.1472284778784685,0.47199890593373,1.2022731288950206e-06,7.223110998211268e-13
6.5,1.3332685886116085,3.1698609747921385,1.5429009117575763,0.003588757575576908,6.439609931407908e-06
6.5,1.9748860993477781,4.225812665603176,1.7741077916129795,0.0025034494763995214,3.1336340619025904e-06
6.5,0.14030622618059232,3.5318911040561662,2.2115189375124205,3.71504466403812e-07,6.905587213168474e-14
6.5,0.8793145425208716,1.8266446904379814,0.6136976149722229,0.0007955112561247521,3.1641880693378255e-07
6.5,0.561263541304351,1.3011173712782498,0.4360791053653156,9.379159581723952e-05,4.398420072604381e-09
6.5,0.21529923018915104,0.45544743558457274,2.529788848264597,1.592296110114275e-06,1.2673195826096162e-12
6.5,2.7599013333574747,0.2825692993022524,2.4747088131756265,1.6326095323802036e-05,1.3327017267528163e-10
6.5,0.9628000206629449,5.059825954874659,2.6129567561817275,0.0011932067200690353,7.11870326908226e-07
6.5,2.6347634896511143,4.350537556243555,0.5040046870111424,5.836687743183236e-05,1.7033436883195918e-09
6.5,0.144122561435968,5.015787539574589,2.233831800288719,4.044158222825479e-07,8.193445921733655e-14
6.5,1.6858078755996007,0.07686722139856224,1.5510504044461146,0.004112499920304459,8.456352521446497e-06
10.0,0.19926318821572575,5.1472284778784685,0.47199890593373,2.7546833668203815e-07,3.8191672047105385e-14
10.0,1.3332685886116085,3.1698609747921385,1.5429009117575763,0.0007809633600570033,3.049519218256691e-07
10.0,1.9748860993477781,4.225812665603176,1.7741077916129795,0.0005392787610435062,1.454107855236586e-07
10.0,0.14030622618059232,3.5318911040561662,2.2115189375124205,8.859205873954718e-08,3.885780586188048e-15
10.0,0.8793145425208716,1.8266446904379814,0.6136976149722229,0.00016698338193789163,1.3941724996691107e-08
10.0,0.561263541304351,1.3011173712782498,0.4360791053653156,1.9579452105359806e-05,1.9167734066627418e-10
10.0,0.21529923018915104,0.45544743558457274,2.529788848264597,3.6137193368303544e-07,6.517009154549669e-14
10.0,2.7599013333574747,0.2825692993022524,2.4747088131756265,3.5163828498065446e-06,6.181610778810409e-12
10.0,0.9628000206629449,5.059825954874659,2.6129567561817275,0.0002525528790541943,3.1891470797518195e-08
10.0,2.6347634896511143,4.350537556243555,0.5040046870111424,1.2280729572395072e-05,7.540790214477511e-11
10.0,0.144122561435968,5.015787539574589,2.233831800288719,9.619294696526409e-08,4.440892098500626e-15
10.0,1.6858078755996007,0.07686722139856224,1.5510504044461146,0.0008993190399389751,4.0438740178672106e-07
20.0,0.19926318821572575,5.1472284778784685,0.47199890593373,2.6546009177686275e-08,2.220446049250313e-16
20.0,1.3332685886116085,3.1698609747921385,1.5429009117575763,7.548553882698937e-05,2.8490322323548867e-09
20.0,1.9748860993477781,4.225812665603176,1.7741077916129795,5.165489058732553e-05,1.3341132643063247e-09
20.0,0.14030622618059232,3.5318911040561662,2.2115189375124205,8.758568632809359e-09,0.0
20.0,0.8793145425208716,1.8266446904379814,0.6136976149722229,1.5605718508384975e-05,1.217691503185847e-10
20.0,0.561263541304351,1.3011173712782498,0.4360791053653156,1.7965595687508267e-06,1.61393121089759e-12
20.0,0.21529923018915104,0.45544743558457274,2.529788848264597,3.45955660960513e-08,9.992007221626409e-16
20.0,2.7599013333574747,0.2825692993022524,2.4747088131756265,3.272285739903843e-07,5.340172748447003e-14
20.0,0.9628000206629449,5.059825954874659,2.6129567561817275,2.380621913737916e-05,2.833681067571092e-10
20.0,2.6347634896511143,4.350537556243555,0.5040046870111424,1.1308866366690585e-06,6.387113060668526e-13
20.0,0.144122561435968,5.015787539574589,2.233831800288719,9.496567336537109e-09,0.0
20.0,1.6858078755996007,0.07686722139856224,1.5510504044461146,8.734743876935249e-05,3.814787374878392e-09
Appendix G

Content-addressed artifact manifest

PROVENANCE
ArtifactBytesSHA-256
multimode_exact_point_particle_rwz.py41,585f21a48280518abb83a74a6c31ef8663e0ff64ed5b75a4ed403dffb594a0507d9
multimode_exact_point_particle_certificate.json6,7396131b517a4d791e4b008de518c016d287a1794482e79ab1715d30b2d92b7e11a
representative_mode_table.csv5,91216324ab9f47093aa97ef7957bcd23308f4c37af25707279e5500b5cf07cca478
representative_multimode_waveform.csv413,021f84670110a088269eaa42ca4c4c3f733e5d6b713589eb55a1b36d372db147c7c
held_out_multimode_validation.csv5,2109d184a8c294a347c1b6fc26bc3eac2b27c871be2503324a403f18f09d6c0bf4f
tail_and_total_flux_validation.csv1,753814d16f51409a1270a71d2e23c2b25506141f04c1ef6ea75c91890900fa2cdf1
orientation_tail_validation.csv3,885c50de1886483609adf63449df070b1e13498be66583fa6bbf9b160476d780374
Flux_Edot.dat625,2300f6e52a042168a8e4fb9bd935961bdc171f6842ef126056a3c31c477433fc936
Part VI

Complete Observer-Compiler Authority

Full preservation of the general observer-compiled five-tensor derivation, building-block provenance, error theorems, AI execution contract, and controlled architecture benchmark that govern the multimode calculation.

Executive technical abstract

Observer-Compiled Five-Tensor GR

CONTEXT-PRESERVATION MONOGRAPH

Purpose

This document preserves and derives the observer-compiled five-tensor architecture so that the idea can be evaluated by a friendly human reviewer, a technical AI reviewer, or a NASA/JPL collaborator without relying on prior conversation context.

It is a companion to:

  • MaxConservationStack.html, which constructs the maximal independent conservation and coupling constraints;
  • FiveTensorGRArchitecture.html, which separates the field response into five physical ownership sectors.

The present document adds a compiler around those five tensors. Its purpose is to avoid reconstructing an entire spacetime field when the requested scientific output is a much smaller set of waveform, flux, timing, or detector records.

Central architecture

The five-tensor field response is

The compiler applies, in order:

For a frozen observer record map , a five-tensor source basis , and an effective physical operator , the compiled 4D map is

If the 13D geometry supplies a coupling map , the compiled map becomes

The online calculation is then

instead of a full nonlinear or perturbative field reconstruction followed by projection.

Controlled result

In the reproducible 900-state toy calculation embedded in this review pack:

  • the native observer-compiled 4D path achieved 40.86× sequential speedup;
  • the 13D-informed path achieved 57.37× sequential speedup;
  • the batched linear-algebra-only ceiling was 3726× and 6991×;
  • observer records agreed with the direct calculation at approximately relative error.

These are controlled architecture results, not physical Einstein-equation or IMRI waveform results. The complete realistic example is deliberately deferred until the derivation and execution contract are preserved.

How to read strong and conditional claims

Claim and status taxonomy

Four distinct claim layers

Layer What may be claimed
Algebraic identity Exact equality after operators, projectors, domains, and observer maps are frozen.
Controlled architecture test Code and calculation mechanism work on a manufactured field family.
Physical scoped result The compiled model passes against declared perturbative, numerical-relativity, or detector data.
General physical theorem A proof applies throughout a declared class of GR systems, domains, and observables.

The current project has strong algebraic identities and controlled architecture tests. The physical , , and held-out waveform replay remains open.

Terms used precisely

Observer means the complete record-producing map, not a conscious person. It includes frame, calibration, time standard, detector transfer, boundary accessibility, normalization, truncation, and coarse-graining.

Compilation means expensive operator inversions, constraint quotients, matching maps, and record contractions are performed offline and stored as a small reusable map.

13D-informed means that internal geometry supplies a coupling or selection map. It does not mean the online solver numerically evolves all thirteen dimensions.

Algebraic ceiling means coefficient generation, offline compilation, and physical data acquisition have been removed from the timed online kernel. It is an upper bound on possible acceleration, not an end-to-end claim.

Conservation, five tensors, and observer compilation

How the three documents fit together

The three-document chain

1. Max Conservation Stack

The first document answers:

Which independent conservation, boundary, gauge, frame, and internal-geometry constraints restrict the physical coupling space before calculation?

Its central objects are

and

2. Five-Tensor GR Architecture

The second document answers:

How should the remaining physical response be divided so that linear addition, conservative interaction, operation order, physical flux, and frame transport are not mixed into one correction object?

It gives

3. Observer-Compiled Five-Tensor GR

This document answers:

Once the response is lawful and correctly divided, what is the smallest object that must be evaluated online to produce the records a mission or reviewer actually requests?

The answer is usually not the entire field. It is the image of the five-tensor response under the frozen observer map.

Controlled execution evidence

Current benchmark dashboard

Sequential 4D speedup40.86×Includes Python coefficient evaluation
Sequential 13D-informed57.37×10 masters rather than 24 channels
Batched 4D ceiling3726×Algebra only; excludes master generation
Batched 13D ceiling6991×Algebra only; excludes master generation
4D record error1.39e-15Relative to direct field solve
Observer dimensions900 → 8Field to frozen record space
Sequential runtime
Speedup by layer
Part I

The Computational Opportunity

Why a complete spacetime field can be the wrong online object.

Record equivalence and information loss

Why full-field reconstruction is often unnecessary

The avoidable calculation

Suppose a discretized or basis-expanded physical field has dimension , while the requested record has dimension , with

A conventional reduced calculation may still do:

Even if is assembled from a reduced basis, the online path pays for every field component.

The observer-compiled path instead precomputes

where maps reduced coefficients to the field. Online:

The field is never assembled unless a diagnostic explicitly requests it.

Why this is not merely an implementation trick

The Observer building block requires an inventory of:

  • the map kernel;
  • the map image;
  • degeneracies;
  • inaccessible sectors;
  • indirect observables;
  • sensitivity to frame, scale, scheme, boundary access, and truncation.

Therefore record-space compilation is a physical quotient with an explicit information-loss ledger. It is not permission to delete unobserved physics from the theory.

A field direction in may remain physically real. The lawful statement is only:

Each compiler layer traced to a source obligation

Building-block provenance

Building-block origin of each compiler layer

Compiler layer Primary source obligations Contribution
Rigidity quotient RIG-C11; Rulebook R-09 Remove gauge, constrained, rigid, and domain-invalid directions before solving.
Cross-scale continuation RIG-C22; SCL-C17; SCL-C23 Replace one global basis with matched scale-window bases.
Mixed-sector Schur map INT-C06; INT-C11 Integrate out coupled sectors with generated terms and error bounds.
Factorization and gluing INT-C10; BND-C17 Prove subsystem or regional splits and restore edge data.
Observer image OBS-C06 Compute the exact kernel/image and inaccessible-sector ledger.
Observer sensitivity OBS-C07; OBS-C08 Carry frame, calibration, truncation, and covariance errors into records.
Boundary transfer BND-C03; BND-C18 Freeze lawful domains and retain horizon/null/asymptotic flux.
Interaction sparsity DYN-C10; Rulebook R-17 Generate every allowed interaction and prove forbidden edges zero.
Symmetry blocks Stage S-14, S-17; Rulebook R-22 Block-diagonalize and share responses over symmetry orbits.
Time patching TS-C06, C12, C14, C19, C22 Control holonomy, delay, moving domains, refinement, and IBVP synchronization.
Dependency cache INT-C03, INT-C13; CSE-C11, C18, C20 Recompile only descendants of a changed source object.
Anti-hang ordering CSE-C27 Run exact identity and domain tests before expensive numerical work.
Notation and mathematical object inventory

Frozen spaces, domains, and maps

Frozen spaces

Let:

  • be the candidate perturbation or response space;
  • be the gauge/redundancy image;
  • be the linearized constraint map;
  • be the physical quotient;
  • be the retained five-tensor coefficient space;
  • be the observer record space.

The physical tangent space is schematically

on the frozen operator domain.

The compiler never uses this quotient symbolically without a basis. It must publish:

  1. a domain certificate;
  2. a gauge-image basis;
  3. a constraint-nullspace basis;
  4. a rank and conditioning certificate;
  5. the projector or coordinate map used numerically.

Operators

Let

be the frozen linearized or effective operator.

Let

map five-tensor coefficients into physical source terms.

Let

be the frozen record map.

The basic compiled map is

Part II

Exact Reduction Layers

Constraint quotient, mixed-sector condensation, symmetry, boundaries, and time.

Remove nonphysical dimensions before any expensive solve

Rigidity and physical quotient compiler

Constraint-derived physical quotient

The Rigidity method explicitly requires the gauge/redundancy map and exact constraint Jacobian before stability or spectral interpretation.

Let

generate gauge directions and

be the independently justified constraint Jacobian.

A basis is chosen for a complement of in . Then

and the reduced operator is

Speed benefit

If the candidate state has dimension but the physical quotient has dimension , every subsequent factorization, response solve, basis search, and observer contraction should use .

The benefit is multiplicative with later reductions because it shrinks the object entering the Schur, symmetry, and observer compilers.

Required controls

  • A direction in but also in must not count as a physical mode.
  • A low finite-dimensional eigenvalue list must not hide essential spectrum crossing zero.
  • Alternative lawful operator domains must be dispositioned.
  • The quotient must be recomputed if Shape, Boundary, Scale, or gauge ownership changes.
Integrate out coupled sectors without deleting their influence

Schur-complement compiler

Block operator

After the physical quotient, partition the retained and eliminable sectors:

Here may represent the observer-relevant gravitational sector, while may represent heavy modes, internal modes, auxiliary fields, reaction multipliers, boundary interiors, or other coupled sectors.

If is invertible on its lawful domain,

Substitution gives

Exact and approximate cases

The Schur map is exact when the partition and inverse are exact.

When is approximated by , the generated error is

A record-level bound is

Memory and nonlocality

Integrating out a dynamical sector can produce temporal memory or spatial nonlocality. The compiler must retain those generated kernels. Replacing them by local constants is a second approximation that requires its own error certificate.

Block diagonalization, orbit sharing, and interaction sparsity

Symmetry and theorem-zero compiler

Stage-preserving symmetry

The Shape Stage freezes a block-product metric and restricts physical symmetry to transformations preserving the full Stage. Stage-changing diffeomorphisms are not treated as gauge.

Let a symmetry group act on the physical response space. Decompose

If the effective operator and boundaries preserve this action,

Orbit sharing

For parameter points related by a lawful symmetry,

A response can be computed once and transported:

The same principle applies to the five tensors, provided the ownership projectors commute with the symmetry.

Theorem-zero interaction edges

Dynamics requires a complete interaction hypergraph. Every candidate interaction is either:

  • parent-owned and computed;
  • forbidden by representation, parity, support, charge, derivative grammar, or projector orthogonality;
  • left explicitly open.

Exact zero edges are deleted before basis construction. A numerically small edge is not a theorem-zero edge.

Domains, adjoints, interfaces, horizons, and null infinity

Boundary and regional transfer compiler

Domain first

The Boundary block requires the actual domain and adjoint domain of every load-bearing operator. An adjoint compiler is invalid if is written formally while the boundary form is nonzero on the selected domains.

Green's identity has the form

The adjoint boundary conditions must make the intended boundary contribution vanish or explicitly retain it as a flux record.

Regional transfer maps

Partition a domain into regions . Interior variables can be eliminated to produce interface maps such as

The global solution is assembled by matching interface data and edge modes.

Horizons and null infinity

Flux through a horizon or null infinity is not eliminated as unobservable. It is compiled into records and balance equations. A field component may be outside a detector map but still required to close energy or angular-momentum conservation.

Matched local models instead of one oversized global basis

Scale-window and multirate compiler

Scale-window compiler

Let the parameter or frequency domain be partitioned into overlapping windows

Each window has its own:

  • effective operator ;
  • active mode shelf;
  • five-tensor ranks;
  • observer map ;
  • error certificate;
  • matching map .

The compiled maps are

Matching

On an overlap,

A single global basis is retained only if it is cheaper and its error remains controlled.

Multi-rate updates

Assign update rates according to each sector's variation:

  • slowly varying conservative masters;
  • faster local curvature corrections;
  • boundary flux at its required resolution;
  • frame transport when its interpolation tolerance is reached;
  • observer calibration on its own schedule.

Time Synchronization requires that these updates refer to consistent event cells, delays, redshifts, moving domains, and refinement classes.

Incremental rebuild, freshness, and anti-hang execution

Dependency-DAG compiler

Compiled artifact DAG

The compiler outputs are nodes in a typed dependency graph:

Optional nodes include:

Every edge is typed as exact derivation, conditional dependence, approximation, import, shared-parent projection, or invalidation.

Incremental rebuild

If only the observer changes, recompute

without rerunning the physical response solves.

If a coupling map changes, recompute descendants of , not the domain or physical operator unless the new map changes those objects.

If the Stage or boundary domain changes, all downstream certificates are stale.

Why this matters

For a research program, recompilation cost can exceed one online waveform evaluation. The dependency DAG turns architectural rigor into practical speed by preventing unnecessary rebuilds.

Part III

Observer Compilation

The direct and adjoint theorems, kernel/image discipline, and frame transport.

Compile source coefficients directly into scientific records

Direct and adjoint record theorems

EXACT SCOPED LINEAR THEOREM

Direct record theorem

Assume the scoped linear problem

has a unique physical solution on the frozen domain.

Let

Then

and therefore

The online map has shape

where and is the retained coefficient rank.

Adjoint form

Write the -th record as

Solve the adjoint problem

Then

Thus the -th row of the compiled map is

This form is especially valuable when the field dimension is enormous but the number of records is small. It requires one adjoint solve per independent record functional rather than one forward solve per query.

Multiple outputs

A time series or waveform is not necessarily one record. It can be represented by:

  • samples at frozen times or frequencies;
  • coefficients in a reduced temporal basis;
  • matched-filter inner products;
  • mode amplitudes and phases;
  • integrated fluxes;
  • detector-channel basis coefficients.

The observer compiler acts on whichever record basis is frozen.

What may be quotiented and what remains physically real

Observer kernel, image, and sensitivity

Kernel and image

The observer map induces

and

A compiled solver may quotient by for the declared record family, but it must not claim the kernel directions are physically absent.

Record-equivalence relation

Define

The online solver computes an equivalence class in

This is the mathematical basis for avoiding full-field assembly.

Sensitivity

If the observer map changes by , the record changes by

Therefore frame, calibration, window, boundary accessibility, truncation, and normalization are part of the model, not external presentation choices.

The controlled test perturbed the observer map by in relative norm and measured a record shift of approximately

Separate ownership ledgers inside one small record map

Compiling the five tensors

Five independent source families

Let the five tensors have coefficient vectors

Collect them into

Let

Then the scoped effective problem is

The record is

with

Why the five sectors remain separate

The final matrix may be concatenated, but the ledgers remain separate:

This permits:

  • separate ranks and tolerances;
  • separate update rates;
  • separate conservation and boundary tests;
  • selective recompilation;
  • one-sector-at-a-time destructive controls.

The compiler compresses the calculation without erasing physical ownership.

Transport before rank estimation or observer projection

Frame transport and holonomy

Common-frame requirement

Let transport local responses to the frozen comparison frame.

A local basis becomes

The compiled record map is therefore parameter-dependent unless transport is factored analytically:

When the frame action has a known representation, such as a mode phase

the transport can be evaluated cheaply online.

Holonomy

For a closed parameter loop ,

If

a single global frame chart does not exist on the declared domain. The compiler must use patches and transition maps.

This is the record-space version of the order-curvature tensor and the transport tensor .

4D core with optional 13D coupling algebra

Complete compiled map

ARCHITECTURE-DERIVED

Complete scoped map

A useful schematic is

Here:

  • is optional and may be the identity;
  • generates the five physical source sectors;
  • is the Schur-condensed operator;
  • is the physical quotient map;
  • transports into the common frame;
  • selects the observer-accessible image;
  • produces the frozen records.

The actual implementation may reorder commuting maps. Noncommuting maps require a proof, a correction term, or a fixed order.

Online equation

The complete field can be reconstructed from stored response bases when required, but it is not an online prerequisite for the declared record family.

When compiler layers may be reordered

Map-order and commutator audit

Why compiler order matters

Two reductions and may not commute:

Examples include:

  • observer projection before frame transport;
  • truncation before boundary gluing;
  • integrating out a sector before applying a constraint that mixes it with retained fields;
  • symmetry reduction after a boundary condition breaks the symmetry.

The difference is

The compiler must either prove

on the admitted domain or include its effect in the error/correction ledger.

Relation to operation-order curvature

The map-order defect is the finite-dimensional analog of the field-space curvature tensor. The rule is the same:

Reorder operations only when their commutator is gauge, theorem-zero, boundary-owned, or below a certified observable error.

Every approximation measured where the claim is made

Record-level error and covariance theorem

Error sources

Let the exact record be and the compiled record be . Decompose the error into:

A conservative norm bound is

Where covariance is known, use

rather than summing independent scalar errors.

Residual-source bound

If the effective problem is

and the compiler omits , then

Therefore

The relevant amplification constant is observer-weighted. A large full-field residual can be harmless to a specific record, while a small residual aligned with a sensitive adjoint can dominate.

Observer deformation bound

For ,

Local compilation, reduced iteration, and relinearization

Nonlinear and time-dependent extension

Local nonlinear problem

For

choose a reference and write

Then

The compiled map is exact only after the nonlinear defect has been represented in the retained five-tensor coefficients or residual.

Iterative compiled solve

One option is a reduced fixed-point iteration:

with records

Another is piecewise relinearization:

  1. evaluate the current compiled patch;
  2. reconstruct only the diagnostics needed to update ;
  3. compile or select the next patch;
  4. transport records and states across the overlap.

Physical restriction

A nonlinear observer record may require quadratic or history-dependent functionals. Those are compiled by augmenting the record basis with the required products, convolutions, or memory states. The word “observer” does not imply linearity; the direct matrix formula is the linear or linearized core.

Why the observer image can dominate the speedup

Complexity and break-even

Direct and compiled costs

Let:

  • be physical field dimension;
  • be retained five-tensor coefficient dimension;
  • be observer record dimension;
  • be the number of online queries.

A direct factorized dense solve scales approximately as

Full reduced-field assembly scales as

Observer-compiled evaluation scales as

The ideal online ratio is therefore

Offline costs

The compiler pays for:

  • physical quotient construction;
  • operator factorization or iterative setup;
  • forward or adjoint response solves;
  • Schur maps;
  • symmetry decomposition;
  • observer and frame maps;
  • validation and certificates.

The break-even query count is

Mission-scale inference, parameter estimation, surrogate training, and Monte Carlo evaluation can involve sufficiently many queries that a substantial offline compilation is rational.

Part IV

4D and 13D Information

The core compiler is four-dimensional; internal geometry may lower its master algebra.

Useful internal information without thirteen-dimensional online arithmetic

Native 4D and 13D-informed versions

Native 4D version

Set

Everything else remains:

This is a complete observer-compiled five-tensor method in ordinary 4D GR.

13D-informed version

The internal geometry supplies

The online map is

The useful information can include:

  • exact forbidden couplings;
  • fixed coupling ratios;
  • representation degeneracies;
  • parity and topology rules;
  • spectral gaps;
  • sector projectors;
  • normalized overlap tensors.

Null control

A 4D solver given the same must reproduce the same online result. Therefore the unique higher-dimensional contribution is the derivation and certification of , not the matrix multiplication itself.

Online object reduction

Dimension funnel

Dimension funnel
Part V

Reproducible Controlled Example

A complete record-space benchmark before the physical GR replay.

Baseline, five-tensor basis, internal map, and observer records

Controlled 900-state object

TOY ARCHITECTURE TEST

Controlled object

The reproducible test uses:

  • a 900-dimensional positive globally coupled field operator;
  • a reused Cholesky factorization;
  • 24 native 4D five-tensor coefficient channels;
  • 10 13D-informed master functions;
  • 8 frozen observer records.

The dimensions form the funnel

The direct baseline solves the 900-state field for every query and then applies the observer map.

The full 4D reduced path assembles all 900 field components from cached responses and then applies the observer.

The observer-compiled paths precompute

Fairness of the baseline

The direct baseline does not invert the matrix from scratch. It reuses the same factorization, making it a stronger comparison than a naive repeated inversion.

The test is still not a physical GR benchmark because the operator, source functions, and records are manufactured.

Sequential performance, algebraic ceiling, and exactness

Measured results

PASS-CONTROLLED

Sequential end-to-end Python timing

Method Time per query Speedup
Direct factorized field solve, then records 746.018 μs
Full 4D five-tensor field, then records 27.897 μs 26.74×
Observer-compiled 4D 18.258 μs 40.86×
Observer-compiled 13D-informed 13.004 μs 57.37×

This timing includes Python coefficient or master-function evaluation and per-query dispatch.

Batched linear-algebra-only ceiling

Method Time per query Speedup
Direct field solve, then records 47.27036 μs
Full 4D field assembly, then records 1.45985 μs 32.38×
Observer-compiled 4D 0.01269 μs 3726×
Observer-compiled 13D-informed 0.00676 μs 6991×

This second table excludes coefficient/master generation and offline compilation. It measures the linear-algebra opportunity after the record map is compiled.

Exactness

The maximum relative record errors were:

An exact observer-kernel perturbation produced record residual

Measured runtime

Sequential and batched timings

Sequential timing
Batched timing
After compilation, master-function evaluation dominates

Bottleneck migration

The bottleneck moves

The batched result is thousands of times faster because only a small matrix product remains. The sequential result is tens of times faster because Python coefficient generation and function dispatch become dominant.

This is a favorable outcome. It identifies the next engineering targets:

  1. vectorize master-function evaluation;
  2. compile coefficient functions with JIT or native code;
  3. batch parameter points;
  4. cache slowly varying invariant masters;
  5. use automatic differentiation only on the small master algebra;
  6. separate calibration-time and query-time operations.

The field solve is no longer the bottleneck in the controlled observer-compiled path.

Part VI

Path to a Realistic GR Demonstration

The next calculation will test physical records rather than a manufactured operator.

A record family rich enough for independent validation

Physical waveform and flux records

Candidate record family for an IMRI bridge

A realistic demonstration should freeze records such as:

  • selected complex waveform-mode basis coefficients;
  • phase and amplitude residuals on a reduced time/frequency grid;
  • total radiated energy;
  • total radiated angular momentum;
  • horizon absorption;
  • remnant mass and spin;
  • mismatch integrals for frozen noise curves;
  • optional detector-channel basis coefficients.

The record family must be rich enough to support independent validation. Compiling only a final scalar mismatch would hide physically important failures.

Record-basis strategy

A long waveform can be represented by a temporal or frequency reduced basis:

The observer compiler predicts the coefficients , while the residual receives a norm and mismatch certificate.

This preserves waveform information without reconstructing every bulk spacetime degree of freedom.

Development, demonstration, and held-out replay

q=64 → q=100 → q=128 execution

Development stage: q=64

  1. Freeze the physical branch, gauge, boundaries, frame, and record basis.
  2. Build the conservation-saturated 4D coupling space.
  3. Construct the five physical source sectors.
  4. Build physical quotient and Schur-condensed operators.
  5. Solve forward and adjoint response problems.
  6. Compile the q=64 record map.
  7. Compare direct/reference and compiled records.
  8. Measure ranks, errors, offline cost, online cost, and break-even.
  9. Run missing-flux, wrong-frame, omitted-sector, and stale-map controls.

Demonstration stage: q=100

Freeze all compiler choices before evaluating the demonstration target. Only declared interpolation or continuation rules may be used.

Held-out stage: q=128

The held-out case is evaluated once under the frozen pipeline. A failed record or conservation ledger is a failure, not an invitation to modify the compiler and preserve the original claim.

Physics and compute must pass simultaneously

Acceptance and terminal grammar

Physics acceptance

The future physical calculation should require simultaneous passing of:

  • per-mode phase;
  • per-mode amplitude;
  • full waveform mismatch;
  • radiated energy;
  • radiated angular momentum;
  • horizon flux where applicable;
  • endpoint/remnant balance;
  • frame and extraction uncertainty;
  • held-out replay.

Computational acceptance

A speed claim should include:

  • offline compilation time;
  • number and type of forward solves;
  • number and type of adjoint solves;
  • coefficient-generation time;
  • online record time;
  • optional full-field reconstruction time;
  • memory;
  • hardware and software environment;
  • amortized break-even.

Claim labels

Recommended terminals:

  • PASS-CONTROLLED-ARCHITECTURE
  • PASS-PHYSICAL-RECORD-COMPILATION
  • NO-OBSERVER-COMPRESSION
  • NO-13D-INFORMATION-GAIN
  • BLOCKED-DOMAIN
  • BLOCKED-BOUNDARY
  • BACKGROUND-UPDATE-REQUIRED
  • FAIL-HELD-OUT
The closest false-positive objects the compiler must reject

Mandatory destructive controls

Mandatory destructive controls

  1. Observer-kernel control: add a physical field direction in ; records must remain unchanged while the field ledger records the direction.
  2. Wrong-observer control: perturb frame, calibration, or window; sensitivity must match the deformation Jacobian.
  3. Wrong-frame control: compile before common-frame transport; the record should fail.
  4. Missing-flux control: omit horizon or null-infinity flux; balance laws must fail.
  5. Schur omission control: delete an off-diagonal block; a mixed-sector record must change.
  6. Symmetry-breaking boundary control: apply a boundary that breaks an assumed irrep decomposition; block reuse must be rejected.
  7. Scale-crossing control: move through an eigenvalue crossing without recompilation; the stale basis must fail.
  8. Stale-certificate control: change Stage or observer hash while retaining the old compiled map; freshness must fail.
  9. 13D null control: supply the same coupling map to a native 4D solver; results must agree.
  10. Held-out control: execute a target excluded from rank and map selection.
Part VII

Human and AI Continuation Contract

How to preserve, review, and extend the idea without context drift.

Inputs, outputs, hashes, blockers, and stop rules

Machine-use contract

Machine-use objective

An AI agent continuing this project should treat the document as an executable specification, not as permission to improvise a fast surrogate.

Required input packet

The agent must load:

  • physical branch and parameter domain;
  • Stage, Rulebook, and operator-domain hashes;
  • five-tensor ownership definitions;
  • conservation and coupling matrices;
  • boundary and flux ledger;
  • frame and synchronization conventions;
  • observer record definition;
  • tolerances and covariance;
  • source data hashes;
  • held-out commitment.

Required output packet

The agent must emit:

  • physical quotient basis and rank;
  • Schur block map and error;
  • symmetry block/orbit map;
  • five-tensor basis ranks;
  • observer kernel/image inventory;
  • forward and adjoint solve manifests;
  • compiled maps and hashes;
  • record covariance;
  • runtime decomposition;
  • destructive-control results;
  • terminal and open residuals.

Stop rules

Stop and return OPEN or a blocker when:

  • an operator domain is undefined;
  • a required boundary flux is absent;
  • the observer map is ambiguous;
  • map order is noncommuting and unowned;
  • a rank decision is unstable;
  • a source change invalidates a downstream certificate;
  • a calculation does not affect the terminal decision.
Offline, online, and diagnostic paths

Reference compiler pseudocode

Offline compiler

freeze_authority_and_scope()
freeze_stage_rulebook_boundary_scale_time_observer()

V_candidate = generate_complete_response_grammar()
G = build_gauge_redundancy_map(V_candidate)
J = build_constraint_jacobian(V_candidate)
Q_phys = certified_basis(ker(J) / image(G))

L_phys = project_operator(L, Q_phys)
[A, B, C, D] = partition_mixed_sectors(L_phys)
S = A - B * inverse(D) * C

blocks = decompose_by_stage_preserving_symmetry(S)
B5 = build_five_tensor_sources(blocks)
C13 = derive_internal_coupling_map_or_identity()

O = build_frozen_observer_map()
UH = build_common_frame_transport()
W4 = O * UH * inverse(S) * B5
W13 = W4 * C13

compile_error_and_covariance_ledgers()
run_destructive_controls()
publish_hashes_and_dependency_DAG()

Online evaluator

select_scale_time_patch(lambda)
u = evaluate_invariant_master_functions(lambda)
y = W_patch * u
y = apply_matching_and_calibration(y)
return records_with_covariance_and_scope()

Diagnostic full-field reconstruction

if diagnostic_requires_bulk_field:
    h = U_patch * u
    verify_constraints_boundaries_and_flux(h)
Friendly human, AI, and NASA/JPL review paths

Reviewer guide

Friendly human review

A reviewer can evaluate the proposal in five questions:

  1. Are the physical quotient and operator domains lawful?
  2. Are mixed sectors integrated out with controlled generated terms?
  3. Is the observer map scientifically sufficient for the claimed result?
  4. Do compiled records agree with independent physical references?
  5. Do end-to-end costs, not only matrix kernels, improve materially?

AI review

An AI reviewer should build a claim table with columns:

  • claim;
  • theorem or source;
  • assumptions;
  • executable witness;
  • negative control;
  • current status;
  • residual;
  • reopen trigger.

The reviewer should reject any sentence that promotes a controlled toy result into a physical GR result.

NASA/JPL review

A mission-oriented review should focus on:

  • record sufficiency for waveform inference;
  • robustness across mass ratio and detector response;
  • calibration and uncertainty propagation;
  • computational value for repeated inference;
  • reproducibility on independent hardware;
  • failure behavior outside the compiled record domain.
Strongest current claim and exact next step

Conclusion

READY FOR PHYSICAL EXAMPLE

Core conclusion

The most important insight from the building blocks is not that the spacetime field is always small. It is that a declared scientific question often depends on a very small, rigorously characterized image of that field.

The five tensors organize physical ownership. The conservation stack restricts their lawful coefficients. The new compiler removes gauge and rigid directions, integrates out coupled sectors, exploits exact symmetry, transports frames, and maps directly into observer records.

The architecture is useful in 4D. The 13D geometry can improve it by supplying a lower-dimensional coupling algebra, but it is not required for the core observer-first acceleration.

The strongest claim supported today is:

In a controlled 900-state field analog, an observer-compiled five-tensor map reproduced direct records to machine precision and reduced sequential end-to-end time by roughly fortyfold in 4D and fifty-sevenfold with a ten-master internal coupling map. Batched record-space algebra showed a several-thousandfold ceiling. A physical IMRI result remains to be executed under the frozen derivation and review protocol preserved here.

Source-derived literature families

Reference context

REFERENCE CONTEXT

Source-derived physics and numerical context

The companion documents cite and discuss:

  1. covariant phase space and Noether-charge methods;
  2. Wald–Zoupas boundary charge and flux;
  3. first- and second-order gravitational self-force;
  4. Magnus and Baker–Campbell–Hausdorff expansions;
  5. reduced-order and surrogate gravitational-wave modeling;
  6. public perturbative and numerical-relativity waveform resources;
  7. NASA LISA preparatory waveform-modeling priorities.

This monograph's novel content is the compilation architecture and its integration with the uploaded building blocks. The physical literature remains the authority for the underlying GR equations and waveform reference data.

Part VIII

Source and Execution Appendices

Exact building-block obligations, benchmark code, certificate, and provenance.

Appendix A

Rigidity source extracts

VERBATIM SOURCE EXTRACT

Source file

BB_RIG_4_1_MAX_RIGOR_ALL_GATE_RIGIDITY.md

RIG-C11 — Function-space, domain, Fredholm, essential-spectrum, and coercivity control

Question. Function-space, domain, Fredholm, essential-spectrum, and coercivity control?

Formal requirement. Rigidity and stability must be formulated on the actual operator domain and function space. The certificate must classify discrete and essential spectrum, kernel/cokernel, Fredholm index where applicable, boundary/domain dependence, and a coercive or gap estimate on the non-whitelisted physical subspace.

Inputs. frozen parent manifest; typed deformation/support/state roster; Dynamics V4.2 packets; Boundary V4.1 packets; Scale V4.1 packets; Granularity V4.0 packets as applicable.

Execution.

  1. generate the complete typed object for this constraint.
  2. compute exact/interval-certified invariants.
  3. run the destructive control.
  4. publish residuals, scope, and reopen triggers.

Required outputs. function_space_domain_packet, spectrum_coercivity_packet.

Minimal witness. A gate-scoped machine-readable certificate satisfying the formal requirement with no unclassified applicable object.

Fail trigger. Finite matrices or a few eigenvalues can be positive while an essential-spectrum instability, non-Fredholm direction, or domain-dependent zero mode survives.

Destructive control. Two operators have identical first N eigenvalues; one has essential spectrum crossing zero. The audit must reject equivalence.

RIG-C22 — Cross-scale continuation, decoupling, RG spectral flow, and matching stability

Question. Cross-scale continuation, decoupling, RG spectral flow, and matching stability?

Formal requirement. Track physical modes, Hessian eigenvalues, constraints, and protected directions across Scale packets, thresholds, compactification levels, EFT matching, and RG flow; prove decoupling or record nondecoupling and eigenvalue crossings.

Inputs. frozen parent manifest; typed deformation/support/state roster; Dynamics V4.2 packets; Boundary V4.1 packets; Scale V4.1 packets; Granularity V4.0 packets as applicable.

Execution.

  1. generate the complete typed object for this constraint.
  2. compute exact/interval-certified invariants.
  3. run the destructive control.
  4. publish residuals, scope, and reopen triggers.

Required outputs. cross_scale_continuation_packet.

Minimal witness. A gate-scoped machine-readable certificate satisfying the formal requirement with no unclassified applicable object.

Fail trigger. A mode stable at one scale can become tachyonic, ghostlike, or strongly mixed after threshold transport.

Destructive control. Two candidates match at one scale; only one eigenvalue crosses zero above a threshold.

Appendix B

Interdependence source extracts

VERBATIM SOURCE EXTRACT

Source file

BB_INT_4_0_MAX_RIGOR_ALL_GATE_INTERDEPENDENCE.md

INT-C03 — Typed dependency DAG and provenance semantics

Requirement. Construct a typed, acyclic provenance DAG whose edges distinguish exact derivation, conditional dependence, approximation, import, shared-parent projection, and invalidation.

Execution. Generate the relevant node and edge grammar before inspecting outcomes; populate the owned evidence packet(s); compute or prove every dependency, approximation, alias, and invalidation; run the destructive control.

Minimal discharge. Dependency graph, edge ledger, topological-order certificate.

Fail trigger. A dependency is implicit, an edge is untyped, provenance cycles exist, or graph order is indeterminate.

Owned packets. dependency_graph_packet.

INT-C06 — Complete mixed-sector operator and Schur-complement closure

Requirement. All diagonal and off-diagonal sectors are computed, proven zero, or bounded/integrated out with controlled Schur complements across metric, gauge, matter, boundary, vacuum, and constraint sectors.

Execution. Generate the relevant node and edge grammar before inspecting outcomes; populate the owned evidence packet(s); compute or prove every dependency, approximation, alias, and invalidation; run the destructive control.

Minimal discharge. Mixed-operator block matrix, zero proofs, Schur-complement bounds.

Fail trigger. A sector-only positivity or spectrum claim ignores an unresolved mixed block.

Owned packets. mixed_sector_packet, schur_complement_packet.

INT-C10 — Factorization, separability, and subsystem taxonomy

Requirement. Every claimed split is typed as exact, effective, bounded approximate, or ideal control; gauge, boundary, edge, global, and entanglement obstructions are tested.

Execution. Generate the relevant node and edge grammar before inspecting outcomes; populate the owned evidence packet(s); compute or prove every dependency, approximation, alias, and invalidation; run the destructive control.

Minimal discharge. Factorization certificate and obstruction ledger.

Fail trigger. A product Stage or diagonal action is promoted to Hilbert-space, algebraic, probabilistic, or information-theoretic factorization without proof.

Owned packets. factorization_packet.

INT-C11 — Decoupling, integration-out, matching, and controlled error

Requirement. Integrated-out sectors declare windows, norms, matching maps, generated terms, state/process families, and quantitative errors, including memory/nonlocal effects.

Execution. Generate the relevant node and edge grammar before inspecting outcomes; populate the owned evidence packet(s); compute or prove every dependency, approximation, alias, and invalidation; run the destructive control.

Minimal discharge. Decoupling/matching packet with error bound.

Fail trigger. Independence or EFT validity is asserted without a bound or generated mixed/constant terms are omitted.

Owned packets. decoupling_matching_packet.

INT-C13 — Branch restart, stale-certificate invalidation, and archive discipline

Requirement. Comparison-relevant changes create new branch IDs, invalidate downstream certificates, preserve audit history, and prohibit silent re-import.

Execution. Generate the relevant node and edge grammar before inspecting outcomes; populate the owned evidence packet(s); compute or prove every dependency, approximation, alias, and invalidation; run the destructive control.

Minimal discharge. Restart packet, stale-evidence list, archive manifest.

Fail trigger. A changed branch reuses a PASS certificate without scoped invariance proof.

Owned packets. branch_restart_packet.

Appendix C

Observer source extracts

VERBATIM SOURCE EXTRACT

Source file

BB_OBS_4_0_MAX_RIGOR_ALL_GATE_OBSERVER.md

OBS-C06 — Kernel, image, degeneracy, inaccessible-sector, and information-loss inventory

Origin: preserved BB-OBS-1.0.1.

Requirement. Enumerate the map kernel, image, degeneracies, inaccessible sectors, indirect observables, above-cutoff directions, and unresolved hidden sectors through the claimed scope.

Minimal discharge. Enumerate the map kernel, image, degeneracies, inaccessible sectors, indirect observables, above-cutoff directions, and unresolved hidden sectors through the claimed scope.

Fail trigger. A null direction or inaccessible physical sector is silently treated as nonexistent.

Adversarial thought experiment. Delete an inaccessible physical direction and call it absent.

Required packet(s). kernel_image_packet.

OBS-C07 — Observer-map deformation Jacobian and sensitivity

Origin: preserved BB-OBS-1.0.1.

Requirement. Differentiate records with respect to frame, scale, scheme, basis, chamber, detector window, boundary accessibility, normalization, truncation, regulator, and coarse-graining parameters.

Minimal discharge. Differentiate records with respect to frame, scale, scheme, basis, chamber, detector window, boundary accessibility, normalization, truncation, regulator, and coarse-graining parameters.

Fail trigger. A small admissible observer-map change can move a result across the pass band but is not counted.

Adversarial thought experiment. Perturb the observer map slightly across the pass band without counting it.

Required packet(s). observer_deformation_packet.

OBS-C08 — Full uncertainty, covariance, scheme/frame transport, and truncation error

Origin: preserved BB-OBS-1.0.1.

Requirement. Propagate correlated input, truncation, scheme, observer, calibration, and model uncertainties through the complete map.

Minimal discharge. Propagate correlated input, truncation, scheme, observer, calibration, and model uncertainties through the complete map.

Fail trigger. Only central values or independent errors are compared.

Adversarial thought experiment. Drop correlations and compare central values only.

Required packet(s). uncertainty_covariance_packet.

Appendix D

Boundary source extracts

VERBATIM SOURCE EXTRACT

Source file

BB_BND_4_1_MAX_RIGOR_FULL_GATE_CLOSURE_BOUNDARY.md

BND-C03 — Lawful operator-domain and extension certificate

Owners: Boundary + Dynamics + Rulebook
Legacy status: PRESERVED

Requirement. For every field, ghost, auxiliary, edge field, and load-bearing composite operator, define the complete domain: representation, parity, trace/boundary value, normal derivative or spectral condition, self-adjoint extension, ellipticity/strong ellipticity or hyperbolic admissibility, adjoint domain, gauge/BRST preservation, and kernel.

Thought experiment forcing the row. A formally symmetric operator may fail to be self-adjoint; a parity table may fail BRST preservation; two self-adjoint extensions may have different kernels. Thus boundary labels alone do not determine physics.

Execution algorithm.

  1. Generate the candidate domain grammar before inspecting the gate target.
  2. Compute the boundary form/Green identity.
  3. Classify admissible extensions and gauge/ghost compatibility.
  4. Test ellipticity, strong ellipticity, Fredholmness, or characteristic well-posedness by operator type.
  5. Compute kernels and adjoint kernels on the frozen domain.

Required outputs. operator_domain_certificate, domain_extension_grammar, kernel_ledger.

Minimal discharge. Every operator has one frozen lawful domain with preserved gauge/BRST action and an explicit kernel; alternative admissible extensions receive dispositions.

Fail trigger. A parity or boundary-condition table substitutes for an operator domain, or an admissible extension is silently chosen after the desired spectrum is known.

Mandatory destructive controls. symmetric-not-self-adjoint domain; BRST image leaves domain; alternative extension changes zero-mode count.

Mapped gates. Black-hole-singularity, Gap-01, Gap-02, Gap-10/BG-10, Gap-11, Gap-13, SG-1, SG-2, SG-3, SG-5, SG-6, SG-7, SG-8, SG-9, UQF-10, UQF-14, UQF-3, UQF-4, UQF-5A/5B, UQF-7, UQF-9, theta-bar-QCD.

BND-C17 — Regional algebras, edge modes, factorization, and entanglement cuts

Owners: Boundary + Dynamics + Observer + Granularity
Legacy status: NEW — FORCED BY ALL-GATE AUDIT

Requirement. For gauge/gravitational subsystems and cuts, construct the regional observable algebra, center/superselection data, edge-mode completion, factorization or extended-Hilbert-space map, entropy/information records, and gluing back to the global physical space.

Thought experiment forcing the row. A global gauge-invariant Hilbert space need not factorize across a cut; ignoring edge modes can produce false entropy loss or nonunitarity.

Execution algorithm.

  1. Define the cut/support and regional gauge group.
  2. Construct regional algebras and centers.
  3. Add only required edge variables with Actor/Co-Actor dispositions.
  4. Build the factorization/gluing map and information-flow ledger.
  5. Test cut independence of global predictions.

Required outputs. regional_edge_factorization_packet.

Minimal discharge. The regional algebra and edge completion reproduce the global physical space under gluing and yield finite Observer-accessible records.

Fail trigger. Naive tensor factorization is assumed, edge sectors are omitted/double-counted, or subsystem loss is called global nonunitarity.

Mandatory destructive controls. Gauss-law factorization failure; edge-mode double count; cut-dependent global probability.

Mapped gates. Black-hole-singularity, Born-rule, Gap-02, Gap-08, Gap-13, UQF-14, UQF-3.

BND-C18 — Causal, null, horizon, and asymptotic boundary data with flux balance

Owners: Boundary + Dynamics + Time Synchronization + Observer
Legacy status: NEW — FORCED BY ALL-GATE AUDIT

Requirement. Classify spacelike, timelike, null, characteristic, horizon, and asymptotic components; specify admissible data, radiation/absorbing/reflection conditions, causal support, symplectic/charge/energy/probability/information flux, and asymptotic charges/memory where applicable.

Thought experiment forcing the row. A local conservation law can hold while unaccounted flux crosses a horizon or null infinity; imposing timelike data on a characteristic surface can overdetermine evolution.

Execution algorithm.

  1. Classify causal type and induced/degenerate geometry.
  2. Select data compatible with the PDE characteristic structure.
  3. Compute all boundary currents and charges.
  4. Establish synchronization and Observer record maps.
  5. Verify global balance after adding all interfaces/asymptotic pieces.

Required outputs. causal_asymptotic_boundary_packet.

Minimal discharge. The initial-boundary problem is causally admissible and every regional/global current balances including horizon/asymptotic flux.

Fail trigger. Boundary data are incompatible with causal type, or a flux channel is omitted.

Mandatory destructive controls. horizon flux omitted; null boundary overdetermined; absorbing condition violates gauge constraint.

Mapped gates. Black-hole-singularity, Born-rule, Gap-02, Gap-05-stability, Gap-05-value, Gap-08, Gap-10/BG-10, Gap-11, Gap-13, Lambda-catastrophe, UQF-14, UQF-3, UQF-5A/5B, UQF-5C.

Appendix E

Time Synchronization source extracts

VERBATIM SOURCE EXTRACT

Source file

BB_TS_4_0_MAX_RIGOR_ALL_GATE_TIME_SYNCHRONIZATION.md

TS-C06 — Loop closure, holonomy, topology, and global/local/failed trichotomy

Requirement. Every proposed global synchronization shall test all generated loops or prove a class theorem; nonzero holonomy forces local/convention-corrected or failed status.

Primary witness. loop_holonomy_packet.

Execution algorithm.

  1. Freeze the event domain, branch, frame/congruence, protocol, precision, and relevant external authorities.
  2. Generate the complete candidate objects and tests named by this row.
  3. Compute or certify the required relation, transport, operator, graph, partition, uncertainty, or exhaustion result.
  4. Run the row-specific destructive control and at least one omitted-rival control.
  5. Publish exact source references, hashes, assumptions, residuals, and claim ceiling.
  6. Return OPEN if a required input, calculation, theorem, or type proof is missing.

Fail trigger. Local links are promoted to one global time without path-independence proof.

Claim ceiling. Passing this row supports only the declared event domain, frame/congruence, protocol, precision, boundary/quantum/history scope, and evidence depth.

TS-C12 — Clock transport, redshift, propagation delay, and path asymmetry

Requirement. Clock comparison shall include gravitational/kinematic redshift, propagation, dispersion, hardware delay, boundary delay, and asymmetric-path corrections with provenance.

Primary witness. clock_transport_packet.

Execution algorithm.

  1. Freeze the event domain, branch, frame/congruence, protocol, precision, and relevant external authorities.
  2. Generate the complete candidate objects and tests named by this row.
  3. Compute or certify the required relation, transport, operator, graph, partition, uncertainty, or exhaustion result.
  4. Run the row-specific destructive control and at least one omitted-rival control.
  5. Publish exact source references, hashes, assumptions, residuals, and claim ceiling.
  6. Return OPEN if a required input, calculation, theorem, or type proof is missing.

Fail trigger. Equal readouts are compared while omitting path-dependent delay or redshift.

Claim ceiling. Passing this row supports only the declared event domain, frame/congruence, protocol, precision, boundary/quantum/history scope, and evidence depth.

TS-C14 — Time-dependent congruences and moving-domain transport

Requirement. For moving boundaries, evolving frames, phase interfaces, or changing supports, event cells and domains shall be transported consistently through time.

Primary witness. moving_domain_packet.

Execution algorithm.

  1. Freeze the event domain, branch, frame/congruence, protocol, precision, and relevant external authorities.
  2. Generate the complete candidate objects and tests named by this row.
  3. Compute or certify the required relation, transport, operator, graph, partition, uncertainty, or exhaustion result.
  4. Run the row-specific destructive control and at least one omitted-rival control.
  5. Publish exact source references, hashes, assumptions, residuals, and claim ceiling.
  6. Return OPEN if a required input, calculation, theorem, or type proof is missing.

Fail trigger. A static synchronization map is reused after the domain or congruence changes.

Claim ceiling. Passing this row supports only the declared event domain, frame/congruence, protocol, precision, boundary/quantum/history scope, and evidence depth.

TS-C19 — Multi-scale synchronization and refinement consistency

Requirement. Synchronization partitions shall commute with lawful coarse-graining/refinement, tower truncation, detector bandwidth, and Scale transport within the claimed scope.

Primary witness. refinement_consistency_packet.

Execution algorithm.

  1. Freeze the event domain, branch, frame/congruence, protocol, precision, and relevant external authorities.
  2. Generate the complete candidate objects and tests named by this row.
  3. Compute or certify the required relation, transport, operator, graph, partition, uncertainty, or exhaustion result.
  4. Run the row-specific destructive control and at least one omitted-rival control.
  5. Publish exact source references, hashes, assumptions, residuals, and claim ceiling.
  6. Return OPEN if a required input, calculation, theorem, or type proof is missing.

Fail trigger. A synchronization class changes under finer lawful resolution without reopening the claim.

Claim ceiling. Passing this row supports only the declared event domain, frame/congruence, protocol, precision, boundary/quantum/history scope, and evidence depth.

TS-C22 — Initial-boundary synchronization and well-posed evolution

Requirement. Initial data, boundary clocks, constraint propagation, synchronization conditions, and evolution domains shall form a well-posed initial-boundary problem.

Primary witness. initial_boundary_time_packet.

Execution algorithm.

  1. Freeze the event domain, branch, frame/congruence, protocol, precision, and relevant external authorities.
  2. Generate the complete candidate objects and tests named by this row.
  3. Compute or certify the required relation, transport, operator, graph, partition, uncertainty, or exhaustion result.
  4. Run the row-specific destructive control and at least one omitted-rival control.
  5. Publish exact source references, hashes, assumptions, residuals, and claim ceiling.
  6. Return OPEN if a required input, calculation, theorem, or type proof is missing.

Fail trigger. Synchronized initial data evolve into incompatible boundary timestamps or violate constraints.

Claim ceiling. Passing this row supports only the declared event domain, frame/congruence, protocol, precision, boundary/quantum/history scope, and evidence depth.

Appendix F

Scale source extracts

VERBATIM SOURCE EXTRACT

Source file

BB_SCL_4_1_MAX_RIGOR_ALL_GATE_SCALE.md

SCL-C06 — Quantitative gaps, decoupling, and observation windows

Question. Is every omitted physical mode quantitatively separated from the claimed observation window after normalization, mixing, uncertainty, and boundary effects?

For every omitted sector $n$ require

with covariance, mixing, loop/matching order, domain, and tail scope included.

Required inputs

  • physical spectrum;
  • boundary domains;
  • mixing matrices;
  • observation window;
  • uncertainty covariance;

Execution algorithm

  1. identify the lightest omitted physical eigenvalue per sector.
  2. canonically normalize and diagonalize.
  3. propagate covariance and truncation error.
  4. compare worst-case lower bound to the observation window.
  5. certify tail or limit scope.

Required outputs

  • gap_decoupling_packet;
  • tower_matching_tail_packet;

Minimal discharge. Sector-by-sector lowest-mode table and robust uncertainty-margin calculation.

Fail trigger. “Compact,” “heavy,” “Planck suppressed,” or central-value separation is used without a quantitative physical gap.

Destructive control. Choose a central gap above the cutoff whose lower confidence bound enters the window; closure must fail.

SCL-C17 — Multi-scale EFT, tower matching, truncation, and tail control

Question. Does every finite-mode or finite-operator calculation state its scale interval and control omitted towers/tails?

For nested effective descriptions $\mathcal E_0\subset\cdots\subset\mathcal E_N$, require matching maps, overlap checks, and a tail certificate $|R_N|\le\epsilon_N$ or an explicit finite-scope ceiling.

Required inputs

  • tower spectrum;
  • operator basis;
  • matching scales;
  • RG data;
  • Granularity refinement lattice;

Execution algorithm

  1. partition scale intervals.
  2. match adjacent EFTs.
  3. test overlap and decoupling.
  4. compute omitted-mode/operator tail or bound.
  5. vary truncation/refinement and record convergence.
  6. forbid global promotion without a theorem.

Required outputs

  • tower_matching_tail_packet;
  • resolution_refinement_packet;

Minimal discharge. Nested matching ledger and convergence/tail certificate with explicit validity interval.

Fail trigger. A zero-mode, finite tower, or finite heat-kernel prefix is promoted to an all-scale claim.

Destructive control. Construct two identical finite prefixes with convergent and divergent tails; global inference must remain OPEN.

SCL-C18 — Time, temperature, horizon, correlation, and state-dependent scales

Question. Are scales that depend on state, history, region, horizon, temperature, or synchronization treated as derived fields/records rather than fixed universal constants?

For derived scale $s[\Psi,g,\rho,t,U]$, publish its defining functional, covariance, support, synchronization convention, variation, and domain of validity.

Required inputs

  • Dynamics histories;
  • Boundary derived supports;
  • Time Synchronization packet;
  • Observer regional records;

Execution algorithm

  1. enumerate state-/region-dependent scale definitions.
  2. derive them from frozen states and supports.
  3. transport clocks/temperatures/redshifts consistently.
  4. compute variation and uncertainty.
  5. test across transitions and horizon/interface changes.

Required outputs

  • state_dependent_scale_packet;
  • same_ruler_packet;

Minimal discharge. Definition and transport packet for every nonconstant scale, including support, time standard, and uncertainty.

Fail trigger. A local temperature, horizon radius, correlation length, clock rate, or transition scale is treated as one global fixed ruler.

Destructive control. Use a single coordinate time or temperature across redshifted regions; the same-ruler test must fail.

SCL-C23 — Scale-transformation covariance, homogeneity, and anomalous dimensions

Question. Does every scale-bearing field, operator, observable, spectrum, and response come with its transformation law under a change of physical scale, rather than only a value at one reference point?

Formal requirement.

For each typed object $O_i$ and admissible scale transport $s\mapsto \lambda s$ or $\mu\mapsto e^t\mu$, require a controlled representation

with canonical dimensions, anomalous-dimension/mixing data, normalization transport, reference/pivot scale, validity interval, and residuals explicit.

Required inputs.

  • typed operator/observable roster;
  • canonical dimensions;
  • RG or physical scaling map;
  • normalization and mixing matrices;
  • reference/pivot scales;

Execution algorithm.

  1. generate every admissible physical scale transformation.
  2. derive canonical homogeneity degrees.
  3. compute or import anomalous dimensions and operator mixing.
  4. transport normalizations and covariance.
  5. test slopes/exponents over the claimed interval rather than one calibration point.
  6. publish residuals and scope ceiling.

Required outputs. scale_transformation_packet.

Minimal witness. A complete transformation-law ledger with canonical/anomalous dimensions, mixing, pivot/reference scales, interval tests, and zero unclassified scale responses.

Fail trigger. Two candidates agree at one scale but differ in scaling law, anomalous dimension, or homogeneity and are nevertheless treated as physically equivalent.

Destructive control. Construct two models with the same observable at one pivot scale but different anomalous dimensions; the audit must distinguish them.

Appendix G

Dynamics source extracts

VERBATIM SOURCE EXTRACT

Source file

BB_DYN_4_2_MAX_RIGOR_FULL_GATE_CLOSURE_DYNAMICS.md

DYN-C10 — Complete interaction, source, and dangerous-operator hypergraph

Owned question: What are all lawful interactions and sources, including theorem-zero and dangerous channels?

Required inputs: Parent term grammar; Actor/Co-Actor registry; Rulebook representation and selection rules; Boundary/Scale data.

Execution algorithm:

  1. Generate all arity-1 and higher hyperedges allowed by support, representation, tensor, parity, charge, and derivative grammar.

  2. Map every edge to a parent owner or a theorem-zero exclusion.

  3. Track radiative generation, dangerous operators, portals, CP sources, baryon/lepton/flavor charges, and Observer records.

  4. Run edge saturation and omitted-edge controls before evaluating the target gate.

Required outputs: Interaction hypergraph; theorem-zero ledger; dangerous-operator roster; edge-saturation certificate.

Minimal discharge: Enumerate every parent-owned interaction vertex, source edge, representation contraction, selection rule, theorem-zero edge, dangerous operator, support, scale, and boundary domain.

Fail trigger: A coupling, decay, portal, Yukawa, CP source, or dangerous operator is inserted or omitted without a complete parent-law disposition.

Mandatory destructive control: Hold the free spectrum fixed and add one allowed cubic/Yukawa edge to one candidate. Interaction-dependent gates must distinguish them.

Gate families invoking this row: Gap-10/BG-10, Gap-11, SG-5, SG-7, SG-8, SG-9, UQF-10, theta-bar-QCD.

Status rule: A definition, qualitative argument, or borrowed terminal is insufficient. Missing gate-scoped evidence is OPEN; a reproducible counterexample is FAIL; NOT-APPLICABLE requires a type proof.

Appendix H

Governance source extracts

VERBATIM SOURCE EXTRACT

Source file

BB_CSE_4_0_SUPPLEMENTAL_MAX_RIGOR_GATE_GOVERNANCE.md

CSE-C11 — Complete crosswalk, ownership, dependency DAG, and row splitting

Requirement. Map every gate obligation to one owner, evidence suppliers, exact rows, criticality, and a typed dependency DAG; split rows containing independently variable physical objects.

Required outputs. crosswalk_packet, dependency_dag_packet

Fail trigger. An obligation is unmapped, multiply owned without arbitration, or hidden in prose; a procedural row enters a physical Jacobian.

Adversarial thought experiment. An anomaly and a boundary-domain obligation are combined into one PASS cell. This must split.

CSE-C18 — Building-block evolution, delta admission, and shadow replay

Requirement. A block delta requires candidate-neutral motivation, owner, witness, fail trigger, destructive control, dependency delta, replay set, invalidation radius, and shadow replay across affected gates.

Required outputs. block_delta_packet, shadow_replay_packet

Fail trigger. A new rule is applied only to the originating gate or enters controlling status without replay.

Adversarial thought experiment. An SG-4-discovered anomaly rule is not tested on UQF-4. This must block merge.

CSE-C20 — Invalidation radius, stale evidence, and topological revalidation

Requirement. Every upstream change emits deterministic invalidation, marks stale artifacts, and revalidates descendants in dependency order from identity and domains through public claims.

Required outputs. invalidation_report_packet, revalidation_packet

Fail trigger. Old PASS certificates remain live after Shape, Scale, Boundary, Observer, or procedure hashes change.

Adversarial thought experiment. A parity-domain update leaves the old chirality certificate current. This must fail freshness.

CSE-C27 — Recursive decomposition, anti-hang, value of information, and stop rules

Requirement. Split large tasks into independently decidable subproblems, prioritize load-bearing/value-of-information computations, maintain checkpoints, and stop on authority conflict, undefined objects, or non-decision computation.

Required outputs. recursive_decomposition_packet

Fail trigger. The agent loops indefinitely, performs expensive calculations before identity/domain checks, or decomposes until context is lost.

Adversarial thought experiment. A 100-hour numerical scan runs before checking an exact representation mismatch. This must fail execution order.

Appendix I

Shape Stage source extracts

VERBATIM SOURCE EXTRACT

Source file

stage.md

S-14 — Frozen block-product metric

  • Families: STG-03, STG-10, STG-11, STG-12
  • Status: CONFIRMED / MIXED MODES EXCLUDED
  • Definition: G13=g4 direct-sum R6^2 h_*(K6) direct-sum R2^2 gamma_round direct-sum RY^2 dtheta^2; undeclared mixed external/internal and off-diagonal internal components are outside the physical Stage.

S-17 — Stage symmetry and automorphism ledger

  • Families: STG-09, STG-17
  • Status: CONFIRMED STRUCTURAL
  • Definition: The physical symmetry is restricted to transformations preserving the complete frozen Stage, schematically Diff(M4) semidirect (Aut(X9,h_*) semidirect G_bundle) with orbifold restrictions; Stage-changing diffeomorphisms are not gauge.
Appendix J

Shape Rulebook source extracts

VERBATIM SOURCE EXTRACT

Source file

rulebook.md

R-09 — Gauge/constraint physical quotient

  • Families: RB-06, RB-09, RB-12
  • Status: CONFIRMED-STRUCTURAL; FULL QUANTUM WITNESS-SCOPED
  • Rule: Gauge, BRST/BV/FP, exact constraints, and physical cohomology remove redundancies before spectral or Actor interpretation.

R-15 — Scale, ruler, provenance, and operational-equivalence rule

  • Families: RB-15, RB-11
  • Status: CONFIRMED-STRUCTURAL
  • Rule: Every number, coefficient, tolerance, radius, scheme, normalization, and comparison uses one frozen provenance and ruler tuple.

R-16 — Observer projection and calibration firewall

  • Families: RB-11, RB-02
  • Status: CONFIRMED-STRUCTURAL; CONTINUOUS MAPS-SCOPED
  • Rule: The parent-to-record map is explicit, normalized, reconstructible, and protected against blind-target leakage, wrong rulers, aliases, and hidden normalization.

R-17 — Interaction/source and proton-safety selection rule

  • Families: RB-13, RB-16
  • Status: CONFIRMED-CLASSIFICATION; FULL INTERACTION HYPERGRAPH-SCOPED
  • Rule: Only parent-owned interactions are legal; sector-orthogonal projectors enforce claimed-zero quark–lepton mediator routes unless an explicit violating owner is introduced.

R-22 — Generation basis and sector-projector algebra

  • Families: RB-04, RB-07, RB-13, RB-16
  • Status: DECLARED-FROZEN; DOWNSTREAM FLAVOR CERTIFICATES-SCOPED
  • Rule: The three-dimensional generation basis and orthogonal sector projectors Pi_u, Pi_d, Pi_e, Pi_nu route the chiral family modules and sector selection.
Appendix K

Vacuum source extracts

VERBATIM SOURCE EXTRACT

Source file

BB_VAC_4_0_MAX_RIGOR_ALL_GATE_VACUUM.md

VAC-C10 — Dependency invalidation and stale-certificate propagation

Origin: preserved BB-VAC-1.3
Owned question: What must be true for this Vacuum obligation to be discharged without substituting another block's result?

Normative requirement

Any change in Shape, variational status, boundary support, Scale, Dynamics, regulator, or vacuum branch invalidates every dependent background, ledger, matching, and history certificate.

Required execution

  1. Load the frozen gate contract, authority hashes, Stage/Rulebook/Actor branch, Observer record family, Scale tuple, Boundary supports, and time/history scope.
  2. Generate the complete candidate/state/branch/test roster relevant to this row before selecting a preferred mechanism.
  3. Execute the mathematical or computational witness on the full declared domain, including implicit auxiliary, global, boundary, and state response.
  4. Run the destructive control below and at least one omitted-rival or wrong-scope control.
  5. Publish every packet named below, with evidence hashes, uncertainty, scope, and explicit OPEN residuals.
  6. Apply anti-promotion: no local, static, one-loop, one-state, one-branch, one-regulator, finite-volume, or measured-anchor result may be promoted beyond its certificate.

Required packets

  • dependency_invalidation_packet
  • source_manifest_packet

Minimal discharge

Any change in Shape, variational status, boundary support, Scale, Dynamics, regulator, or vacuum branch invalidates every dependent background, ledger, matching, and history certificate.

Fail trigger

An upstream change leaves stale vacuum certificates marked PASS.

Destructive thought experiment

Change the Stage while retaining the old vacuum certificate hash.

Allowed row states

PASS, FAIL, OPEN, NOT-EVALUATED, or NOT-APPLICABLE with a gate-specific type proof. A definition, historical status label, or copied terminal is never a witness.

VAC-C26 — Regional, interface, boundary, edge, junction, and pressure/flux balance

Origin: all-gate constraint/thought-experiment derivation
Owned question: What must be true for this Vacuum obligation to be discharged without substituting another block's result?

Normative requirement

Resolve vacuum stress and pressure on every bulk region, fixed set, interface, wall, horizon, edge, and corner; include junction equations, surface tensions, Casimir forces, edge modes, and energy/entropy flux balance.

Required execution

  1. Load the frozen gate contract, authority hashes, Stage/Rulebook/Actor branch, Observer record family, Scale tuple, Boundary supports, and time/history scope.
  2. Generate the complete candidate/state/branch/test roster relevant to this row before selecting a preferred mechanism.
  3. Execute the mathematical or computational witness on the full declared domain, including implicit auxiliary, global, boundary, and state response.
  4. Run the destructive control below and at least one omitted-rival or wrong-scope control.
  5. Publish every packet named below, with evidence hashes, uncertainty, scope, and explicit OPEN residuals.
  6. Apply anti-promotion: no local, static, one-loop, one-state, one-branch, one-regulator, finite-volume, or measured-anchor result may be promoted beyond its certificate.

Required packets

  • regional_interface_packet

Minimal discharge

Resolve vacuum stress and pressure on every bulk region, fixed set, interface, wall, horizon, edge, and corner; include junction equations, surface tensions, Casimir forces, edge modes, and energy/entropy flux balance.

Fail trigger

The integrated bulk ledger cancels while a boundary pressure, junction condition, or regional flux remains nonzero.

Destructive thought experiment

Two bulks have equal total vacuum energy; one has an uncancelled interface pressure. Global equality must not imply local consistency.

Allowed row states

PASS, FAIL, OPEN, NOT-EVALUATED, or NOT-APPLICABLE with a gate-specific type proof. A definition, historical status label, or copied terminal is never a witness.

VAC-C27 — Causal initial-boundary evolution, constraint propagation, and total conservation

Origin: all-gate constraint/thought-experiment derivation
Owned question: What must be true for this Vacuum obligation to be discharged without substituting another block's result?

Normative requirement

Prove a well-posed causal initial-boundary problem through the vacuum history; propagate constraints and gauge conditions; include protecting-sector energy, nonlocal memory, junction fluxes, and total conservation.

Required execution

  1. Load the frozen gate contract, authority hashes, Stage/Rulebook/Actor branch, Observer record family, Scale tuple, Boundary supports, and time/history scope.
  2. Generate the complete candidate/state/branch/test roster relevant to this row before selecting a preferred mechanism.
  3. Execute the mathematical or computational witness on the full declared domain, including implicit auxiliary, global, boundary, and state response.
  4. Run the destructive control below and at least one omitted-rival or wrong-scope control.
  5. Publish every packet named below, with evidence hashes, uncertainty, scope, and explicit OPEN residuals.
  6. Apply anti-promotion: no local, static, one-loop, one-state, one-branch, one-regulator, finite-volume, or measured-anchor result may be promoted beyond its certificate.

Required packets

  • causal_conservation_packet

Minimal discharge

Prove a well-posed causal initial-boundary problem through the vacuum history; propagate constraints and gauge conditions; include protecting-sector energy, nonlocal memory, junction fluxes, and total conservation.

Fail trigger

The static equations are consistent but transition evolution is ill-posed, acausal, or leaks energy into an unowned sector.

Destructive thought experiment

Two mechanisms pass static algebra; one develops a singular multiplier and loses hyperbolicity during a shift.

Allowed row states

PASS, FAIL, OPEN, NOT-EVALUATED, or NOT-APPLICABLE with a gate-specific type proof. A definition, historical status label, or copied terminal is never a witness.

Appendix L

Original building-block speed audit

SOURCE-DERIVED AUDIT

Building-Block Speed Audit for the Five-Tensor GR Architecture

Date: August 6, 2026
Status: Source-grounded architecture audit plus controlled toy benchmark
Companion documents: MaxConservationStack.html, FiveTensorGRArchitecture.html

Executive conclusion

The uploaded building blocks provide several strong clues for additional acceleration. The most important conclusion is that the next improvement should not be three or four more top-level physical tensors.

The five physical ownership sectors remain well motivated:

The building blocks instead describe a compiler around those tensors:

The largest new clue comes from the Observer block. Our existing toy benchmark reconstructs the complete 900-component field even when the requested output could be only a handful of waveform or detector records. The Observer kernel/image and sensitivity requirements imply an adjoint or goal-oriented compilation:

After is compiled, the online calculation is

rather than

A controlled batched linear-algebra test found a 6,622× assembly speedup for the 4D observer-compiled map and 11,977× for the 13D-informed map relative to a reused-factor direct field solve. Those numbers exclude coefficient-generation and offline compilation costs; they demonstrate an algebraic ceiling, not an end-to-end physical speedup. In a sequential Python test that included coefficient evaluation and dispatch, the corresponding speedups were 37.7× and 57.2×. The gap shows exactly what must be optimized next: vectorized or compiled master-function evaluation.


1. Source-derived acceleration mechanisms

1.1 Rigidity quotient: eliminate variables before solving

Source: rigidity/01_CORE/BB_RIG_4_1_MAX_RIGOR_ALL_GATE_RIGIDITY.md

The Rigidity block constructs

where is the independently justified constraint Jacobian and is the gauge image.

This should become a compile-time projector

Speed implication

Never place rigid, gauge, reaction-normal, or independently constrained directions into:

  • the PDE state vector;
  • the five-tensor response basis;
  • the training family;
  • the SVD;
  • the correction-rank search.

This reduces the field dimension before any solve. It is stronger than discovering low singular values after producing the data.

Required implementation

  1. Build the full deformation basis.
  2. Calculate and .
  3. Compute a certified nullspace basis.
  4. Transform every five-tensor source and response into that basis.
  5. Reopen only when a constraint rank changes.

1.2 Schur-complement condensation: integrate out expensive coupled sectors

Sources:

  • interdependence/01_CORE/BB_INT_4_0_MAX_RIGOR_ALL_GATE_INTERDEPENDENCE.md, INT-C06 and INT-C11;
  • rigidity/01_CORE/BB_RIG_4_1_MAX_RIGOR_ALL_GATE_RIGIDITY.md, mixed Hessian and coercivity;
  • dynamics/01_CORE/BB_DYN_4_2_MAX_RIGOR_FULL_GATE_CLOSURE_DYNAMICS.md, block-separable reaction case.

For a mixed operator

where is retained and is heavy, internal, boundary, gauge-normal, or reaction-owned,

gives

The retained equation is

Speed implication

The expensive sector is solved or factorized once. Its influence is retained through a response operator rather than by evolving every component.

This can reduce both:

  • offline cost, by shrinking each basis solve;
  • online cost, by reducing the retained state and tensor ranks.

Important restriction

The blocks require a controlled error, domain, matching map, generated-term ledger, and memory/nonlocality ledger. A naive diagonal truncation is not equivalent to a Schur complement.


1.3 Symmetry, automorphism, and theorem-zero blocks

Sources:

  • shape/01_CORE/01_STAGE/stage.md, S-14 and S-17;
  • shape/01_CORE/02_RULEBOOK/rulebook.md, R-22;
  • dynamics/01_CORE/BB_DYN_4_2_MAX_RIGOR_FULL_GATE_CLOSURE_DYNAMICS.md, DYN-C10.

The Stage freezes a block-product metric and a restricted automorphism group. The Rulebook supplies orthogonal sector projectors. Dynamics requires every interaction hyperedge to be either parent-owned or theorem-zero.

The operator should be decomposed into irreducible sectors:

with

when the frozen symmetry permits it.

Speed implication

  • Solve one representative per symmetry orbit.
  • Store one response per irrep rather than per raw component.
  • Delete exactly forbidden couplings before training.
  • Avoid SVD effort on blocks proven to be zero.
  • Use Kronecker or tensor-product structure where the product geometry truly survives the quotient and boundaries.

This is likely the cleanest way for the internal geometry to lower the ranks of all five tensors.


1.4 Observer-first adjoint compilation

Source: observer/01_CORE/BB_OBS_4_0_MAX_RIGOR_ALL_GATE_OBSERVER.md, OBS-C06 through OBS-C08.

The Observer block requires the kernel, image, degeneracies, inaccessible sectors, and deformation Jacobian of the record map.

Let

be the frozen waveform, flux, detector, or mission-record map.

For a linearized observable, solve the adjoint problem

Then

without reconstructing the bulk field.

For a cached five-tensor basis ,

is compiled once, and online work becomes a small matrix multiplication.

Speed implication

This can be much larger than the original 10–50× speedup because it removes the factor from online reconstruction.

It is valid only for the declared observable family. A new observable outside the compiled image requires a new map or a residual bound.


1.5 Scale windows, spectral gaps, and tower matching

Sources:

  • scale/01_CORE/BB_SCL_4_1_MAX_RIGOR_ALL_GATE_SCALE.md, SCL-C06, C17, C18, C23;
  • rigidity/01_CORE/BB_RIG_4_1_MAX_RIGOR_ALL_GATE_RIGIDITY.md, RIG-C11 and RIG-C22.

The Scale and Rigidity blocks require quantitative gaps, validity windows, matching maps, and tail certificates.

For omitted modes with eigenvalues ,

A nested effective description should use different compiled solvers on different scale intervals:

Speed implication

  • Do not use merger-resolution modes in early inspiral.
  • Do not use high internal towers below their certified thresholds.
  • Do not keep one global basis across a spectral crossing.
  • Compile a small solver per scale window and match them.

This complements piecewise relinearization: update the background and active mode shelf when the scale packet changes.


1.6 Boundary transfer maps and regional gluing

Sources:

  • boundary/01_CORE/BB_BND_4_1_MAX_RIGOR_FULL_GATE_CLOSURE_BOUNDARY.md, BND-C03, C17, C18;
  • interdependence/01_CORE/BB_INT_4_0_MAX_RIGOR_ALL_GATE_INTERDEPENDENCE.md, INT-C10.

Boundary requires lawful domains, regional algebras, edge completion, causal data, and gluing.

For regional subdomains, eliminate the interior and retain an interface map:

This is a Dirichlet-to-Neumann or boundary Schur map.

Speed implication

  • Precompute horizon and outer-boundary response operators.
  • Reuse regional solvers across many source parameters.
  • Update only regions whose local source or geometry changed.
  • Glue through low-dimensional interfaces.

The edge/factorization ledger prevents a false speedup from deleting gauge or gravitational edge information.


1.7 Multi-rate synchronized patch evolution

Source: time-synchronization/01_CORE/BB_TS_4_0_MAX_RIGOR_ALL_GATE_TIME_SYNCHRONIZATION.md, TS-C06, C12, C14, C19, and C22.

The Time Synchronization block requires path-dependent delay, moving-domain transport, loop closure, and refinement consistency.

Speed implication

Use separate clocks and update rates:

  • orbital secular masters at a slow rate;
  • local near-secondary response at an intermediate rate;
  • fast ringdown or boundary flux only where active;
  • frame transport when its interpolation error reaches threshold.

A lawful multi-rate scheme needs synchronization residuals and loop/holonomy checks. It should not globally step every tensor at the fastest local timescale.


1.8 Dependency DAG and invalidation radius

Sources:

  • interdependence/01_CORE/BB_INT_4_0_MAX_RIGOR_ALL_GATE_INTERDEPENDENCE.md, INT-C03 and INT-C13;
  • governance/01_CORE/BB_CSE_4_0_SUPPLEMENTAL_MAX_RIGOR_GATE_GOVERNANCE.md, CSE-C11, C18, and C27;
  • vacuum/01_CORE/BB_VAC_4_0_MAX_RIGOR_ALL_GATE_VACUUM.md, VAC-C10.

This mechanism does not primarily accelerate one waveform evaluation. It accelerates development, retraining, and certification.

Each compiled artifact should be a dependency node:

When an input changes, recompute only its descendants.

Speed implication

This prevents rebuilding the full model after:

  • a boundary change;
  • a new observable;
  • a scale-window change;
  • a frame change;
  • a new internal coupling;
  • a local tensor-rank adjustment.

2. Recommended compiled architecture

The building blocks suggest the following offline compiler:

Interpretation:

  • : optional internal coupling algebra;
  • : five-tensor source basis;
  • : Schur-condensed physical operator;
  • : gauge/constraint/rigidity quotient;
  • : common-frame transport;
  • : observer-image quotient;
  • : requested record map.

The online solver is then

The full field is reconstructed only for diagnostics or when the requested observable is outside the compiled image.


3. Controlled observer-compiler test

The existing 900-state toy was extended from full-field output to eight frozen observer records.

Batched linear-algebra-only result

Method Time/query Speedup over direct
Reused-factor direct field solve, then records 67.395 μs
Full 4D five-tensor field, then records 5.140 μs 13.11×
Observer-compiled 4D 0.01018 μs 6,621.85×
Observer-compiled 13D-informed 0.00563 μs 11,977.07×

The observer-compiled results agreed with direct evaluation at approximately relative error.

End-to-end sequential Python result

When coefficient/master evaluation and Python dispatch were included:

Method Time/query Speedup over direct
Direct 785.37 μs
Full-field 4D five-tensor 27.24 μs 28.83×
Observer-compiled 4D 20.84 μs 37.69×
Observer-compiled 13D-informed 13.73 μs 57.19×

This is the honest engineering lesson:

Once the field solve is removed, coefficient generation becomes the bottleneck.

The next speed project should therefore compile the master functions into vectorized/JIT kernels, not only optimize field algebra.


4. Priority order

Priority 1 — Observer compiler

Expected benefit: largest online reduction for fixed waveform or detector records.

Priority 2 — Physical Schur compiler

Expected benefit: largest reduction in offline response solves and coupled-sector evolution.

Priority 3 — Symmetry/orbit compiler

Expected benefit: exact block diagonalization and theorem-zero channel removal.

Priority 4 — Vectorized master-function engine

Expected benefit: realizes the algebraic observer-compiler speed ceiling.

Priority 5 — Multi-scale and multi-rate patch engine

Expected benefit: reduces time steps and active modes across inspiral, plunge, and ringdown.

Priority 6 — Dependency-DAG incremental rebuild

Expected benefit: substantially reduces retraining and certification work.


5. Strongest conclusion

The building blocks suggest that the architecture should retain five physical tensors but add five compilation layers:

The likely next large gain is not obtained by approximating the spacetime field more aggressively. It is obtained by proving that the requested NASA/JPL records factor through a very small image of the already reduced five-tensor solution.

The physical claim remains open until the q=64/q=100/q=128 waveform replay is executed.

Appendix M — full source preservation

Complete Observer V4.0 authority

COMPLETE VERBATIM AUTHORITY

title: "BB-OBS-4.0 — Maximum-Rigor All-Gate Observer, Record, Measurement, and Inference Authority" building_block_id: "BB-OBS-4.0" version: "4.0" date: "2026-08-02" status: "DEVELOPMENT AUTHORITY — ALL-GATE DERIVED — LEGACY PRESERVED — NOT FROZEN" scope: "Preparations, accessible algebras, parent-to-record maps, quantum instruments, apparatus response, relational frames, finite records, inference, uncertainty, selection, information bounds, and test-family exhaustion" protocol_freeze: false canonical_ratification: false legacy_authority: "BB-OBS-1.0.1" legacy_sha256: "4ca861c5611c67a8535649f6aff6671b3f591574bf6def6706de7d4a6d9a6ba7"

BB-OBS-4.0 — Maximum-Rigor All-Gate Observer, Record, Measurement, and Inference Authority

0. Purpose and claim ceiling

Observer owns the complete typed interface between a physical parent object and a finite, reproducible record used to test it. It does not mean consciousness and it does not supply ontology, dynamics, or experimental data by declaration.

The central firewalls are:

and

This block is capability-complete only for Observer-owned obligations in the current 30-gate corpus. It cannot close a full gate without all other applicable building blocks and candidate-specific evidence.

1. Preservation contract

The exact byte sequence of BB-OBS-1.0.1 is preserved in 06_SOURCES/BB_OBS_1_0_1_EXACT_ARCHIVAL_SOURCE.md and Appendix A. Its SHA-256 is 4ca861c5611c67a8535649f6aff6671b3f591574bf6def6706de7d4a6d9a6ba7. Every legacy heading is mapped to active V4.0 constraints and packets in LEGACY_PRESERVATION_MATRIX_V4_0.json.

No legacy definition, firewall, certificate field, negative control, fail trigger, status, or anti-promotion rule is weakened. If a conflict is discovered, the stronger non-promotional statement controls and the package returns RESTART-REQUIRED.

2. Complete Observer object

Define

where the original components are retained and extended by interventions , quantum/classical measurement instruments , apparatus/detector response , temporal/causal record structure , selection/inference structure , and test-family exhaustion certificate .

A gate execution must type every component, its support, owner, domain, Scale, Granularity, Boundary conditions, Dynamics, and provenance.

3. Cross-block interfaces

  • Shape supplies supports, Actors, Co-Actors, owner IDs, representations, and lawful record carriers.
  • Granularity supplies exact and operational equivalence, finite-resource record cells, resolution/refinement, and test-family saturation requirements.
  • Dynamics supplies preparations, interventions, response functions, channels, histories, conservation, and causal evolution.
  • Scale supplies the ruler tuple, calibration hierarchy, matching, uncertainties, and state-dependent scales.
  • Boundary supplies regional algebras, apparatus/support domains, horizons, interfaces, edge sectors, and gluing.
  • Rigidity supplies sensitivity of records to physical and observer-map deformations.
  • Vacuum supplies background/state/phase typing and cosmological histories.
  • Time Synchronization supplies clocks, synchronization, causal ordering, histories, and loop controls.
  • Interdependence supplies common-parent hashes and stale-propagation.

Observer never repairs a missing object owned by another block. It records the dependency as OPEN.

4. Observer compilation pipeline

For each gate:

  1. Freeze authorities, branch, gate scope, preparations, interventions, supports, clocks, apparatuses, Scale, Granularity, and claim ceiling.
  2. Generate the complete lawful test family from Shape, Actors/Co-Actors, Dynamics, Boundary, and gate requirements.
  3. Construct the parent-to-physical-observable map, including gauge/constraint reduction and relational dressing.
  4. Compose with state preparation, evolution, quantum/classical instrument, apparatus transfer, sampling/windowing, selection, and record encoding.
  5. Propagate normalization, covariance, calibration, nuisance parameters, and finite-resource distinguishability.
  6. Enumerate kernel, image, aliases, inaccessible sectors, degeneracies, and omitted tests.
  7. Execute destructive controls and blinded/robustness tests.
  8. Populate every evidence packet; use NOT-APPLICABLE only with a type proof.
  9. Set the terminal no stronger than the weakest selected row.

The full map is schematically

Every arrow requires a domain, codomain, owner, normalization, uncertainty, support, and hash.

5. Atomic Observer constraints

OBS-C01 — Observer-system manifest

Origin: preserved BB-OBS-1.0.1.

Requirement. Freeze the observer, apparatus/reference frame, accessible algebra, preparation class, record space, energy/time window, support, and scope.

Minimal discharge. Freeze the observer, apparatus/reference frame, accessible algebra, preparation class, record space, energy/time window, support, and scope.

Fail trigger. The word observer is used without specifying what can be prepared or recorded.

Adversarial thought experiment. Leave the apparatus and accessible algebra unspecified while using the word observer.

Required packet(s). observer_system_manifest.

OBS-C02 — Executable parent-to-record map

Origin: preserved BB-OBS-1.0.1.

Requirement. For every claimed observable, provide an equation or script mapping the complete parent state to the record with all reductions, projections, owner IDs, and transports shown.

Minimal discharge. For every claimed observable, provide an equation or script mapping the complete parent state to the record with all reductions, projections, owner IDs, and transports shown.

Fail trigger. A comparison uses an informal identification, omits owner provenance, or counts aliases as separate records.

Adversarial thought experiment. Replace an executable reduction by “identify with the measured value.”

Required packet(s). parent_to_record_packet.

OBS-C03 — Normalization, positivity, probability, conservation, and gauge-equivalence preservation

Origin: preserved BB-OBS-1.0.1.

Requirement. Prove that the map preserves the required norm/probability, positivity, conservation, and gauge equivalence on the physical domain, including all Jacobians and multiplicities.

Minimal discharge. Prove that the map preserves the required norm/probability, positivity, conservation, and gauge equivalence on the physical domain, including all Jacobians and multiplicities.

Fail trigger. Projection changes norm, probability, conservation, or gauge class without an accounted factor.

Adversarial thought experiment. Omit a projection Jacobian and check whether probability still sums to one.

Required packet(s). normalization_physicality_packet.

OBS-C04 — Frozen same-ruler tuple and lawful transport

Origin: preserved BB-OBS-1.0.1.

Requirement. Align dimension, frame, renormalization scale, scheme, bundle norm, projection, truncation, regulator, and observable definition, or provide an explicit transport theorem.

Minimal discharge. Align dimension, frame, renormalization scale, scheme, bundle norm, projection, truncation, regulator, and observable definition, or provide an explicit transport theorem.

Fail trigger. A raw parent quantity is compared with a differently normalized or differently scaled record.

Adversarial thought experiment. Compare a 13D coefficient directly with a one-chamber 4D running observable.

Required packet(s). ruler_transport_packet.

OBS-C05 — Calibration lineage and leakage firewall

Origin: preserved BB-OBS-1.0.1.

Requirement. Tag every datum as preparation, measured anchor, calibration, blind target, derived output, or diagnostic; prove blind targets do not select the map, basis, normalization, tolerance, or uncertainty model.

Minimal discharge. Tag every datum as preparation, measured anchor, calibration, blind target, derived output, or diagnostic; prove blind targets do not select the map, basis, normalization, tolerance, or uncertainty model.

Fail trigger. A target observable determines a projection coefficient or convention after comparison.

Adversarial thought experiment. Choose a normalization coefficient after seeing the blind target.

Required packet(s). calibration_lineage_packet.

OBS-C06 — Kernel, image, degeneracy, inaccessible-sector, and information-loss inventory

Origin: preserved BB-OBS-1.0.1.

Requirement. Enumerate the map kernel, image, degeneracies, inaccessible sectors, indirect observables, above-cutoff directions, and unresolved hidden sectors through the claimed scope.

Minimal discharge. Enumerate the map kernel, image, degeneracies, inaccessible sectors, indirect observables, above-cutoff directions, and unresolved hidden sectors through the claimed scope.

Fail trigger. A null direction or inaccessible physical sector is silently treated as nonexistent.

Adversarial thought experiment. Delete an inaccessible physical direction and call it absent.

Required packet(s). kernel_image_packet.

OBS-C07 — Observer-map deformation Jacobian and sensitivity

Origin: preserved BB-OBS-1.0.1.

Requirement. Differentiate records with respect to frame, scale, scheme, basis, chamber, detector window, boundary accessibility, normalization, truncation, regulator, and coarse-graining parameters.

Minimal discharge. Differentiate records with respect to frame, scale, scheme, basis, chamber, detector window, boundary accessibility, normalization, truncation, regulator, and coarse-graining parameters.

Fail trigger. A small admissible observer-map change can move a result across the pass band but is not counted.

Adversarial thought experiment. Perturb the observer map slightly across the pass band without counting it.

Required packet(s). observer_deformation_packet.

OBS-C08 — Full uncertainty, covariance, scheme/frame transport, and truncation error

Origin: preserved BB-OBS-1.0.1.

Requirement. Propagate correlated input, truncation, scheme, observer, calibration, and model uncertainties through the complete map.

Minimal discharge. Propagate correlated input, truncation, scheme, observer, calibration, and model uncertainties through the complete map.

Fail trigger. Only central values or independent errors are compared.

Adversarial thought experiment. Drop correlations and compare central values only.

Required packet(s). uncertainty_covariance_packet.

OBS-C09 — Wrong-ruler, wrong-owner, wrong-projection, and leakage controls

Origin: preserved BB-OBS-1.0.1.

Requirement. Run the canonical wrong-chamber, wrong-dimension, wrong-scale, wrong-frame, double-normalization, hidden-calibration, nullspace-deletion, scheme-only, quotient-isometry, duplicate-owner, and parity controls.

Minimal discharge. Run the canonical wrong-chamber, wrong-dimension, wrong-scale, wrong-frame, double-normalization, hidden-calibration, nullspace-deletion, scheme-only, quotient-isometry, duplicate-owner, and parity controls.

Fail trigger. The block cannot reject a known wrong-ruler, duplicate-owner, or target-leaking construction.

Adversarial thought experiment. Run the wrong-chamber, duplicate-owner, and parity controls.

Required packet(s). legacy_negative_controls_packet.

OBS-C10 — Content-addressed reproducible observer-map build

Origin: preserved BB-OBS-1.0.1.

Requirement. Frozen inputs must regenerate record CSV/JSON outputs, plots, hashes, and verdicts without undocumented author interpretation.

Minimal discharge. Frozen inputs must regenerate record CSV/JSON outputs, plots, hashes, and verdicts without undocumented author interpretation.

Fail trigger. The observed prediction depends on a manual conversion or cannot be regenerated from the manifest.

Adversarial thought experiment. Rebuild the record with one frozen input changed and demand stale invalidation.

Required packet(s). content_addressed_build_packet.

OBS-C11 — Preparation, intervention, and counterfactual protocol closure

Origin: all-gate constraint/thought-experiment derivation.

Requirement. Specify admissible preparation maps, interventions, controls, counterfactual comparisons, initial-condition selection, and their physical resource/support domains; distinguish passive observation from active intervention.

Minimal discharge. Specify admissible preparation maps, interventions, controls, counterfactual comparisons, initial-condition selection, and their physical resource/support domains; distinguish passive observation from active intervention.

Fail trigger. A claimed observable changes when the preparation or intervention protocol changes, but the protocol is not part of the observer object.

Adversarial thought experiment. Two experiments use the same detector and observable label but different preparations; the record distributions differ. A detector-only manifest must fail.

Required packet(s). preparation_intervention_packet.

OBS-C12 — Quantum instruments, POVMs, channels, outcome algebras, and sequential composition

Origin: all-gate constraint/thought-experiment derivation.

Requirement. For quantum records, specify the state space, physical quotient, POVM or instrument, quantum channel, outcome algebra, normalization, complete positivity, trace preservation/nonincrease, repeatability scope, and composition law.

Minimal discharge. For quantum records, specify the state space, physical quotient, POVM or instrument, quantum channel, outcome algebra, normalization, complete positivity, trace preservation/nonincrease, repeatability scope, and composition law.

Fail trigger. A Born probability or collapse/update rule is asserted without a normalized instrument on the physical state space.

Adversarial thought experiment. Two POVMs share the same expectation for one state but differ on another; a single expectation value cannot define the measurement.

Required packet(s). quantum_instrument_packet.

OBS-C13 — Temporal records, clocks, synchronization, causal ordering, and histories

Origin: all-gate constraint/thought-experiment derivation.

Requirement. Freeze clocks, time standards, synchronization maps, causal order, time windows, latency, memory, histories, and composition of records across spacelike/timelike/null separated supports; interface explicitly with Time Synchronization.

Minimal discharge. Freeze clocks, time standards, synchronization maps, causal order, time windows, latency, memory, histories, and composition of records across spacelike/timelike/null separated supports; interface explicitly with Time Synchronization.

Fail trigger. Records from different clocks or causal orders are combined without a synchronization/ordering theorem.

Adversarial thought experiment. Two detectors report identical timestamps in their local frames but disagree after lawful transport; an unsynchronized coincidence claim must fail.

Required packet(s). temporal_record_packet.

OBS-C14 — Regional, localized, boundary, horizon, interface, and asymptotic observer supports

Origin: all-gate constraint/thought-experiment derivation.

Requirement. Type the observer support and accessible algebra for bulk regions, boundaries, corners, horizons, entangling cuts, null infinity, finite-radius screens, and state-dependent/moving supports; include gluing and flux interfaces.

Minimal discharge. Type the observer support and accessible algebra for bulk regions, boundaries, corners, horizons, entangling cuts, null infinity, finite-radius screens, and state-dependent/moving supports; include gluing and flux interfaces.

Fail trigger. A global record is inferred from a regional algebra without proving completeness or accounting for edge/horizon sectors.

Adversarial thought experiment. Two global states restrict identically to one exterior region but differ behind a horizon; regional equivalence must not become global identity.

Required packet(s). regional_support_packet.

OBS-C15 — Detector and apparatus response, transfer functions, efficiency, nonlinearity, saturation, and dead time

Origin: all-gate constraint/thought-experiment derivation.

Requirement. Model the apparatus transfer function, acceptance, efficiency, gain, noise, thresholds, point-spread/time-response functions, nonlinearities, saturation, pile-up, dead time, backgrounds, and calibration drift.

Minimal discharge. Model the apparatus transfer function, acceptance, efficiency, gain, noise, thresholds, point-spread/time-response functions, nonlinearities, saturation, pile-up, dead time, backgrounds, and calibration drift.

Fail trigger. A theoretical flux or amplitude is identified directly with a detector count without a response model.

Adversarial thought experiment. Two spectra yield the same total count but different binned counts after detector response; total-rate matching must not certify equivalence.

Required packet(s). detector_response_packet.

OBS-C16 — Finite resolution, sampling, bandwidth, windowing, coarse-graining, and aliasing

Origin: all-gate constraint/thought-experiment derivation.

Requirement. Publish spatial, temporal, spectral, angular, and amplitude resolution; sampling theorem conditions; windows; binning; coarse-graining; bandwidth; aliasing and leakage tests; and refinement behavior.

Minimal discharge. Publish spatial, temporal, spectral, angular, and amplitude resolution; sampling theorem conditions; windows; binning; coarse-graining; bandwidth; aliasing and leakage tests; and refinement behavior.

Fail trigger. A sub-Nyquist, under-resolved, or window-dependent feature is treated as absent or physical without an aliasing/refinement test.

Adversarial thought experiment. A high-frequency mode aliases to a low-frequency record under sparse sampling; the observer must detect the ambiguity.

Required packet(s). resolution_sampling_packet.

OBS-C17 — Inverse problems, tomography, reconstruction, identifiability, and degeneracy

Origin: all-gate constraint/thought-experiment derivation.

Requirement. Define the forward operator and inverse/reconstruction method; compute rank, nullspace, Fisher/observability information, regularization dependence, degeneracies, identifiability, and uncertainty of reconstructed parent quantities.

Minimal discharge. Define the forward operator and inverse/reconstruction method; compute rank, nullspace, Fisher/observability information, regularization dependence, degeneracies, identifiability, and uncertainty of reconstructed parent quantities.

Fail trigger. A reconstructed parameter is reported as unique when multiple parent states produce the same record within scope.

Adversarial thought experiment. Two parameter combinations map to identical records; a point estimate without a degeneracy manifold must fail.

Required packet(s). inverse_identifiability_packet.

OBS-C18 — Selection effects, acceptance, missingness, censoring, survivorship, and look-elsewhere control

Origin: all-gate constraint/thought-experiment derivation.

Requirement. Model selection functions, triggers, acceptance, missing-data mechanisms, censoring, survivorship, search windows, trial factors, post-selection, and publication/blinding rules.

Minimal discharge. Model selection functions, triggers, acceptance, missing-data mechanisms, censoring, survivorship, search windows, trial factors, post-selection, and publication/blinding rules.

Fail trigger. A selected sample is treated as representative without a selection-function or missingness model.

Adversarial thought experiment. A signal appears only after scanning many windows; the local significance must not be reported as global significance.

Required packet(s). selection_effects_packet.

OBS-C19 — Likelihood, hypothesis family, model comparison, test statistics, and decision rules

Origin: all-gate constraint/thought-experiment derivation.

Requirement. Freeze the likelihood or scoring rule, nuisance parameters, priors where used, hypothesis family, test statistic, loss/decision rule, multiple-testing correction, goodness-of-fit, calibration, and claim threshold before unblinding.

Minimal discharge. Freeze the likelihood or scoring rule, nuisance parameters, priors where used, hypothesis family, test statistic, loss/decision rule, multiple-testing correction, goodness-of-fit, calibration, and claim threshold before unblinding.

Fail trigger. A pass/fail threshold or model-comparison rule is chosen after viewing the target data.

Adversarial thought experiment. Two models fit the central value equally but predict different covariance; a central-value-only decision must fail.

Required packet(s). likelihood_decision_packet.

OBS-C20 — Open-system measurement, decoherence, environment, pointer records, and channel consistency

Origin: all-gate constraint/thought-experiment derivation.

Requirement. Specify system-environment split, influence/channel dynamics, decoherence functional, pointer/record algebra, noise/dissipation, initial correlations, non-Markovian memory, and complete-positivity/domain conditions.

Minimal discharge. Specify system-environment split, influence/channel dynamics, decoherence functional, pointer/record algebra, noise/dissipation, initial correlations, non-Markovian memory, and complete-positivity/domain conditions.

Fail trigger. A classical record or decoherence claim is asserted without a lawful environment/channel model.

Adversarial thought experiment. Two reduced density matrices match instantaneously but have different environment correlations and future records; state-only matching must fail.

Required packet(s). open_system_measurement_packet.

OBS-C21 — Relational frames, clocks, rulers, diffeomorphism/gauge-invariant dressing, and reference-system backreaction

Origin: all-gate constraint/thought-experiment derivation.

Requirement. Construct relational or dressed observables; identify physical reference fields/apparatus; transport between frames; include reference-system uncertainty, energy, dynamics, and backreaction; distinguish coordinate labels from records.

Minimal discharge. Construct relational or dressed observables; identify physical reference fields/apparatus; transport between frames; include reference-system uncertainty, energy, dynamics, and backreaction; distinguish coordinate labels from records.

Fail trigger. A coordinate-dependent or gauge-variant quantity is called observable without dressing or a physical reference construction.

Adversarial thought experiment. A coordinate location shifts under a diffeomorphism while a relational distance does not; the coordinate value must not be used as the record.

Required packet(s). relational_frame_packet.

OBS-C22 — Measurement backreaction, disturbance, resource costs, and no-free-record accounting

Origin: all-gate constraint/thought-experiment derivation.

Requirement. Quantify apparatus coupling, disturbance, energy/time/entropy/memory costs, recoil, heating, radiation, finite reference resources, weak/strong measurement regimes, and whether the claimed record changes the system.

Minimal discharge. Quantify apparatus coupling, disturbance, energy/time/entropy/memory costs, recoil, heating, radiation, finite reference resources, weak/strong measurement regimes, and whether the claimed record changes the system.

Fail trigger. An arbitrarily precise or repeated record is assumed without accounting for disturbance or finite resources.

Adversarial thought experiment. Two measurement strengths yield the same mean but different post-measurement dynamics; the instrument must include backreaction.

Required packet(s). measurement_backreaction_packet.

OBS-C23 — Composite, multiparticle, scattering, decay, event, coincidence, and flux record construction

Origin: all-gate constraint/thought-experiment derivation.

Requirement. Build records for composite Actors, bound states, jets, decays, scattering amplitudes, inclusive/exclusive channels, coincidences, fluxes, cross sections, branching ratios, event topology, and unresolved sums with owner provenance.

Minimal discharge. Build records for composite Actors, bound states, jets, decays, scattering amplitudes, inclusive/exclusive channels, coincidences, fluxes, cross sections, branching ratios, event topology, and unresolved sums with owner provenance.

Fail trigger. A constituent-level quantity is compared directly with a composite/event-level observable without hadronization, decay, acceptance, or inclusive-sum maps.

Adversarial thought experiment. Two theories have the same total rate but different event topology; a rate-only observer map must not merge them.

Required packet(s). composite_event_packet.

OBS-C24 — Quantum-information, entropy, entanglement, modular, and information-flow records

Origin: all-gate constraint/thought-experiment derivation.

Requirement. Specify subsystem algebra/factorization or algebraic substitute, regulator/counterterm scheme, edge modes, entropy/relative entropy/modular observables, channel capacities, information flux, and operational access.

Minimal discharge. Specify subsystem algebra/factorization or algebraic substitute, regulator/counterterm scheme, edge modes, entropy/relative entropy/modular observables, channel capacities, information flux, and operational access.

Fail trigger. Entanglement entropy or Page information is quoted without a subsystem algebra, regulator, edge prescription, or record protocol.

Adversarial thought experiment. Two states have equal energy but different relative entropy in an accessible region; energy-only equivalence must fail.

Required packet(s). quantum_information_packet.

OBS-C25 — Cosmological and light-cone inference, transfer functions, redshift, lensing, and survey windows

Origin: all-gate constraint/thought-experiment derivation.

Requirement. Map parent histories to past-light-cone records through transfer functions, redshift, lensing, selection, foregrounds, survey masks/windows, cosmic variance, nonlinear evolution, and covariance; distinguish initial, evolved, and observed fields.

Minimal discharge. Map parent histories to past-light-cone records through transfer functions, redshift, lensing, selection, foregrounds, survey masks/windows, cosmic variance, nonlinear evolution, and covariance; distinguish initial, evolved, and observed fields.

Fail trigger. A primordial or background quantity is compared directly with a present survey/CMB record without transfer and window functions.

Adversarial thought experiment. Two primordial spectra become distinguishable only after different transfer functions; direct primordial-to-data comparison must fail.

Required packet(s). cosmological_inference_packet.

OBS-C26 — Cross-observer consistency, contextuality, no-signaling, composition, and shared-record gluing

Origin: all-gate constraint/thought-experiment derivation.

Requirement. Provide compatibility maps between observers, contexts, frames, regions, and apparatuses; test no-signaling, marginal consistency, contextuality/Bell scope, record gluing, and when no global joint distribution exists.

Minimal discharge. Provide compatibility maps between observers, contexts, frames, regions, and apparatuses; test no-signaling, marginal consistency, contextuality/Bell scope, record gluing, and when no global joint distribution exists.

Fail trigger. Records from incompatible contexts are combined as if they belonged to one joint sample space.

Adversarial thought experiment. Pairwise marginals are individually valid but admit no global joint distribution; naive gluing must fail.

Required packet(s). cross_observer_consistency_packet.

OBS-C27 — Robustness, blinded holdouts, distribution shift, adversarial controls, and out-of-domain scope

Origin: all-gate constraint/thought-experiment derivation.

Requirement. Test observer maps on blinded holdouts, alternative calibrations, distribution shifts, apparatus drift, adversarial perturbations, synthetic injections, and out-of-domain cases; publish robustness margins and scope limits.

Minimal discharge. Test observer maps on blinded holdouts, alternative calibrations, distribution shifts, apparatus drift, adversarial perturbations, synthetic injections, and out-of-domain cases; publish robustness margins and scope limits.

Fail trigger. A map works only on the calibration sample or fails under small lawful apparatus/data shifts.

Adversarial thought experiment. A classifier/map passes training data but fails a blinded injected signal under a modest response drift; closure must remain open.

Required packet(s). robustness_holdout_packet.

OBS-C28 — Protocol provenance, versioning, stale invalidation, and reproducible workflow composition

Origin: all-gate constraint/thought-experiment derivation.

Requirement. Version every preparation, apparatus, calibration, map, software, dataset, random seed, schema, and decision rule; propagate upstream hash changes; invalidate stale records and certificates; preserve machine-executable provenance.

Minimal discharge. Version every preparation, apparatus, calibration, map, software, dataset, random seed, schema, and decision rule; propagate upstream hash changes; invalidate stale records and certificates; preserve machine-executable provenance.

Fail trigger. A changed calibration, detector model, boundary support, or theory manifest leaves an old observer certificate marked PASS.

Adversarial thought experiment. Changing one calibration file alters the result while the certificate hash remains unchanged; the build must fail.

Required packet(s). protocol_provenance_packet.

OBS-C29 — Candidate-neutral observer/test-family grammar and saturation

Origin: all-gate constraint/thought-experiment derivation.

Requirement. Generate the complete admissible family of preparations, observables, apparatus maps, regions, times, channels, resolutions, and decision rules from frozen authorities; canonicalize aliases; test omitted rivals; prove finite roster, bounded generator, or class theorem.

Minimal discharge. Generate the complete admissible family of preparations, observables, apparatus maps, regions, times, channels, resolutions, and decision rules from frozen authorities; canonicalize aliases; test omitted rivals; prove finite roster, bounded generator, or class theorem.

Fail trigger. Only favorable observables or tests are evaluated, or an untested channel is silently declared irrelevant.

Adversarial thought experiment. A candidate passes the selected observables but fails a lawful omitted observable generated by the same grammar; selection must not close the gate.

Required packet(s). test_family_exhaustion_packet.

OBS-C30 — Operational distinguishability, Fisher/quantum information, error bounds, and detection floors

Origin: all-gate constraint/thought-experiment derivation.

Requirement. Quantify distinguishability using appropriate total-variation/fidelity/relative-entropy/Fisher or quantum-Fisher information, Helstrom/Holevo/Cramér–Rao/error-exponent bounds, finite samples/resources, and declared error rates; connect to Granularity classes.

Minimal discharge. Quantify distinguishability using appropriate total-variation/fidelity/relative-entropy/Fisher or quantum-Fisher information, Helstrom/Holevo/Cramér–Rao/error-exponent bounds, finite samples/resources, and declared error rates; connect to Granularity classes.

Fail trigger. Two candidates are declared distinguishable or equivalent without a finite-resource decision/error bound.

Adversarial thought experiment. Two states are mathematically different but below the Helstrom/finite-sample detection floor; exact inequality must not be confused with operational distinguishability.

Required packet(s). operational_distinguishability_packet.

6. Universal destructive controls

At minimum, run all thirty thought experiments above, plus the legacy wrong-chamber, wrong-dimension, wrong-scale, wrong-frame, double-normalization, hidden-calibration, nullspace-deletion, scheme-only, quotient-isometry, duplicate-owner, and parity controls. A control must fail before correction and pass after the lawful map is restored.

7. Observer residual

Define

A full Observer PASS requires every selected component to vanish or have an accepted NOT-APPLICABLE type proof. Missing evidence is OPEN, never zero.

8. Integrated certificate

The canonical output is integrated_observer_certificate_v4_0. It contains the legacy certificate, row states, packet hashes, preservation residual, Observer residual, scope, claim ceiling, physical/project terminals, and reopen triggers. Historical gate labels are not evidence.

9. Status and anti-promotion rules

Use PASS, FAIL, OPEN, NOT-EVALUATED, NOT-APPLICABLE, CONSTRUCTION-ANCHOR, CONDITIONAL-ON-BND-A, CONDITIONAL-ON-BND-B, and RESTART-REQUIRED exactly as typed in the legacy authority.

Additional anti-promotions:

  • A theoretical amplitude is not a detector count.
  • A detector count is not a parent state without an inverse/identifiability certificate.
  • A local or regional record is not a global record.
  • A coordinate value is not a diffeomorphism-invariant observable.
  • A POVM element is not a complete instrument or state-update law.
  • Decoherence is not outcome selection.
  • A central-value match is not a likelihood/covariance pass.
  • Local significance is not global significance.
  • A calibration fit is not a blind prediction.
  • Exact mathematical inequality is not finite-resource distinguishability.
  • One observable is not a saturated test family.
  • One observer context is not a global joint record when contextuality forbids it.

10. Reopen triggers

Reopen when any preparation, intervention, branch, apparatus, response model, frame, clock, synchronization, support, boundary, scale, scheme, projection, normalization, regulator, truncation, sampling, selection, likelihood, calibration, dataset, software, random seed, test grammar, or decision rule changes; when a new lawful observable/test is generated; or when a hidden sector enters the accessible algebra.

11. Required package artifacts

An agent must read START_HERE.md, the controlling authority, the constraint registry, gate crosswalk, packet registry, schemas, prompt, and template. It must populate all packets, run validators and controls, and return OPEN for every missing witness.

12. All-gate profiles

Black-hole-singularity

  • Observer role: LOAD-BEARING
  • Selected rows: OBS-C01, OBS-C02, OBS-C03, OBS-C04, OBS-C06, OBS-C08, OBS-C10, OBS-C12, OBS-C13, OBS-C14, OBS-C16, OBS-C17, OBS-C20, OBS-C21, OBS-C22, OBS-C24, OBS-C26, OBS-C28, OBS-C29, OBS-C30
  • Discipline: Define relational/horizon/asymptotic records, regional algebras, causal history, information access, and distinguishability without promoting exterior records to global ontology.
  • External dependencies: Shape, Granularity, Dynamics, Scale, Boundary, Rigidity, Vacuum, Interdependence, Time Synchronization as applicable
  • Claim ceiling: No gate terminal may exceed the weakest unclosed selected Observer row, record support, test-family scope, finite-resource distinguishability bound, calibration lineage, or uncertainty/selection model.
  • Inactive packets: Every non-active packet remains present with status NOT-APPLICABLE and a gate-specific type proof.

Born-rule

  • Observer role: LOAD-BEARING
  • Selected rows: OBS-C01, OBS-C02, OBS-C03, OBS-C04, OBS-C05, OBS-C06, OBS-C07, OBS-C08, OBS-C09, OBS-C10, OBS-C11, OBS-C12, OBS-C13, OBS-C14, OBS-C15, OBS-C16, OBS-C17, OBS-C18, OBS-C19, OBS-C20, OBS-C21, OBS-C22, OBS-C23, OBS-C24, OBS-C25, OBS-C26, OBS-C27, OBS-C28, OBS-C29, OBS-C30
  • Discipline: Define noncircular quantum instruments, outcomes, probability normalization, preparation, decoherence, cross-observer consistency, and blind statistical tests.
  • External dependencies: Shape, Granularity, Dynamics, Scale, Boundary, Rigidity, Vacuum, Interdependence, Time Synchronization as applicable
  • Claim ceiling: No gate terminal may exceed the weakest unclosed selected Observer row, record support, test-family scope, finite-resource distinguishability bound, calibration lineage, or uncertainty/selection model.
  • Inactive packets: Every non-active packet remains present with status NOT-APPLICABLE and a gate-specific type proof.

Gap-01

  • Observer role: CONDITIONAL/SCOPED
  • Selected rows: OBS-C01, OBS-C02, OBS-C03, OBS-C04, OBS-C06, OBS-C07, OBS-C08, OBS-C10, OBS-C14, OBS-C15, OBS-C16, OBS-C17, OBS-C19, OBS-C21, OBS-C27, OBS-C28, OBS-C29, OBS-C30
  • Discipline: Transport higher-dimensional/operator coefficients to finite records with domains, normalization, detector/resolution effects, uncertainty, and tail scope.
  • External dependencies: Shape, Granularity, Dynamics, Scale, Boundary, Rigidity, Vacuum, Interdependence, Time Synchronization as applicable
  • Claim ceiling: No gate terminal may exceed the weakest unclosed selected Observer row, record support, test-family scope, finite-resource distinguishability bound, calibration lineage, or uncertainty/selection model.
  • Inactive packets: Every non-active packet remains present with status NOT-APPLICABLE and a gate-specific type proof.

Gap-02

  • Observer role: CONDITIONAL/SCOPED
  • Selected rows: OBS-C01, OBS-C02, OBS-C03, OBS-C04, OBS-C06, OBS-C08, OBS-C10, OBS-C12, OBS-C14, OBS-C15, OBS-C16, OBS-C17, OBS-C19, OBS-C20, OBS-C21, OBS-C27, OBS-C28, OBS-C29, OBS-C30
  • Discipline: Define the physical spectral/mass-gap record, finite-volume and continuum observer limits, reconstruction, numerical/detection bounds, and external-wall claim ceiling.
  • External dependencies: Shape, Granularity, Dynamics, Scale, Boundary, Rigidity, Vacuum, Interdependence, Time Synchronization as applicable
  • Claim ceiling: No gate terminal may exceed the weakest unclosed selected Observer row, record support, test-family scope, finite-resource distinguishability bound, calibration lineage, or uncertainty/selection model.
  • Inactive packets: Every non-active packet remains present with status NOT-APPLICABLE and a gate-specific type proof.

Gap-05-stability

  • Observer role: LOAD-BEARING
  • Selected rows: OBS-C01, OBS-C02, OBS-C03, OBS-C04, OBS-C06, OBS-C07, OBS-C08, OBS-C10, OBS-C11, OBS-C13, OBS-C14, OBS-C15, OBS-C16, OBS-C17, OBS-C18, OBS-C19, OBS-C20, OBS-C21, OBS-C22, OBS-C25, OBS-C27, OBS-C28, OBS-C29, OBS-C30
  • Discipline: Map vacuum/background histories and perturbations to finite cosmological/local records with state, apparatus, selection, and causal consistency.
  • External dependencies: Shape, Granularity, Dynamics, Scale, Boundary, Rigidity, Vacuum, Interdependence, Time Synchronization as applicable
  • Claim ceiling: No gate terminal may exceed the weakest unclosed selected Observer row, record support, test-family scope, finite-resource distinguishability bound, calibration lineage, or uncertainty/selection model.
  • Inactive packets: Every non-active packet remains present with status NOT-APPLICABLE and a gate-specific type proof.

Gap-05-value

  • Observer role: CONDITIONAL/SCOPED
  • Selected rows: OBS-C01, OBS-C02, OBS-C03, OBS-C04, OBS-C05, OBS-C06, OBS-C08, OBS-C10, OBS-C17, OBS-C18, OBS-C19, OBS-C21, OBS-C25, OBS-C27, OBS-C28, OBS-C29, OBS-C30
  • Discipline: Separate measured residual calibration from a predicted value using lineage, likelihood, covariance, and identifiability.
  • External dependencies: Shape, Granularity, Dynamics, Scale, Boundary, Rigidity, Vacuum, Interdependence, Time Synchronization as applicable
  • Claim ceiling: No gate terminal may exceed the weakest unclosed selected Observer row, record support, test-family scope, finite-resource distinguishability bound, calibration lineage, or uncertainty/selection model.
  • Inactive packets: Every non-active packet remains present with status NOT-APPLICABLE and a gate-specific type proof.

Gap-08

  • Observer role: LOAD-BEARING
  • Selected rows: OBS-C01, OBS-C02, OBS-C03, OBS-C04, OBS-C06, OBS-C08, OBS-C10, OBS-C11, OBS-C13, OBS-C14, OBS-C15, OBS-C16, OBS-C17, OBS-C18, OBS-C19, OBS-C20, OBS-C21, OBS-C22, OBS-C25, OBS-C26, OBS-C27, OBS-C28, OBS-C29, OBS-C30
  • Discipline: Map parent cosmology to light-cone/CMB/structure records with transfer functions, selection, windows, and robustness.
  • External dependencies: Shape, Granularity, Dynamics, Scale, Boundary, Rigidity, Vacuum, Interdependence, Time Synchronization as applicable
  • Claim ceiling: No gate terminal may exceed the weakest unclosed selected Observer row, record support, test-family scope, finite-resource distinguishability bound, calibration lineage, or uncertainty/selection model.
  • Inactive packets: Every non-active packet remains present with status NOT-APPLICABLE and a gate-specific type proof.

Gap-10/BG-10

  • Observer role: LOAD-BEARING
  • Selected rows: OBS-C01, OBS-C02, OBS-C03, OBS-C04, OBS-C06, OBS-C08, OBS-C10, OBS-C11, OBS-C13, OBS-C14, OBS-C15, OBS-C16, OBS-C17, OBS-C18, OBS-C19, OBS-C20, OBS-C21, OBS-C22, OBS-C23, OBS-C25, OBS-C26, OBS-C27, OBS-C28, OBS-C29, OBS-C30
  • Discipline: Define baryogenesis records through nonequilibrium history, particle/event observables, cosmological transfer, and inference.
  • External dependencies: Shape, Granularity, Dynamics, Scale, Boundary, Rigidity, Vacuum, Interdependence, Time Synchronization as applicable
  • Claim ceiling: No gate terminal may exceed the weakest unclosed selected Observer row, record support, test-family scope, finite-resource distinguishability bound, calibration lineage, or uncertainty/selection model.
  • Inactive packets: Every non-active packet remains present with status NOT-APPLICABLE and a gate-specific type proof.

Gap-11

  • Observer role: LOAD-BEARING
  • Selected rows: OBS-C01, OBS-C02, OBS-C03, OBS-C04, OBS-C06, OBS-C08, OBS-C10, OBS-C11, OBS-C13, OBS-C14, OBS-C15, OBS-C16, OBS-C17, OBS-C18, OBS-C19, OBS-C20, OBS-C21, OBS-C22, OBS-C23, OBS-C25, OBS-C27, OBS-C28, OBS-C29, OBS-C30
  • Discipline: Define dark-matter production and detection records across cosmological and laboratory channels, including selection and apparatus response.
  • External dependencies: Shape, Granularity, Dynamics, Scale, Boundary, Rigidity, Vacuum, Interdependence, Time Synchronization as applicable
  • Claim ceiling: No gate terminal may exceed the weakest unclosed selected Observer row, record support, test-family scope, finite-resource distinguishability bound, calibration lineage, or uncertainty/selection model.
  • Inactive packets: Every non-active packet remains present with status NOT-APPLICABLE and a gate-specific type proof.

Gap-13

  • Observer role: LOAD-BEARING
  • Selected rows: OBS-C01, OBS-C02, OBS-C03, OBS-C04, OBS-C06, OBS-C08, OBS-C10, OBS-C12, OBS-C13, OBS-C14, OBS-C16, OBS-C17, OBS-C20, OBS-C21, OBS-C22, OBS-C24, OBS-C26, OBS-C28, OBS-C29, OBS-C30
  • Discipline: Define regional/horizon/entropy/information records and prevent local-access claims from becoming global state claims.
  • External dependencies: Shape, Granularity, Dynamics, Scale, Boundary, Rigidity, Vacuum, Interdependence, Time Synchronization as applicable
  • Claim ceiling: No gate terminal may exceed the weakest unclosed selected Observer row, record support, test-family scope, finite-resource distinguishability bound, calibration lineage, or uncertainty/selection model.
  • Inactive packets: Every non-active packet remains present with status NOT-APPLICABLE and a gate-specific type proof.

Lambda-catastrophe

  • Observer role: LOAD-BEARING
  • Selected rows: OBS-C01, OBS-C02, OBS-C03, OBS-C04, OBS-C05, OBS-C06, OBS-C07, OBS-C08, OBS-C09, OBS-C10, OBS-C11, OBS-C13, OBS-C14, OBS-C15, OBS-C16, OBS-C17, OBS-C18, OBS-C19, OBS-C20, OBS-C21, OBS-C22, OBS-C25, OBS-C27, OBS-C28, OBS-C29, OBS-C30
  • Discipline: Keep measured anchors, inferred background parameters, transition histories, and residual-value claims noncircular and covariance-complete.
  • External dependencies: Shape, Granularity, Dynamics, Scale, Boundary, Rigidity, Vacuum, Interdependence, Time Synchronization as applicable
  • Claim ceiling: No gate terminal may exceed the weakest unclosed selected Observer row, record support, test-family scope, finite-resource distinguishability bound, calibration lineage, or uncertainty/selection model.
  • Inactive packets: Every non-active packet remains present with status NOT-APPLICABLE and a gate-specific type proof.

SG-1

  • Observer role: CONDITIONAL/SCOPED
  • Selected rows: OBS-C01, OBS-C02, OBS-C03, OBS-C04, OBS-C06, OBS-C07, OBS-C08, OBS-C09, OBS-C10, OBS-C14, OBS-C17, OBS-C21, OBS-C27, OBS-C28, OBS-C29, OBS-C30
  • Discipline: Record the selected Shape without conflating coordinate/gauge presentation, calibration, and physical uniqueness.
  • External dependencies: Shape, Granularity, Dynamics, Scale, Boundary, Rigidity, Vacuum, Interdependence, Time Synchronization as applicable
  • Claim ceiling: No gate terminal may exceed the weakest unclosed selected Observer row, record support, test-family scope, finite-resource distinguishability bound, calibration lineage, or uncertainty/selection model.
  • Inactive packets: Every non-active packet remains present with status NOT-APPLICABLE and a gate-specific type proof.

SG-10

  • Observer role: CONDITIONAL/SCOPED
  • Selected rows: OBS-C01, OBS-C02, OBS-C03, OBS-C04, OBS-C06, OBS-C08, OBS-C10, OBS-C14, OBS-C15, OBS-C16, OBS-C17, OBS-C18, OBS-C19, OBS-C21, OBS-C23, OBS-C27, OBS-C28, OBS-C29, OBS-C30
  • Discipline: Transport tower/threshold calculations to precision records with detector, resolution, inference, and omitted-channel controls.
  • External dependencies: Shape, Granularity, Dynamics, Scale, Boundary, Rigidity, Vacuum, Interdependence, Time Synchronization as applicable
  • Claim ceiling: No gate terminal may exceed the weakest unclosed selected Observer row, record support, test-family scope, finite-resource distinguishability bound, calibration lineage, or uncertainty/selection model.
  • Inactive packets: Every non-active packet remains present with status NOT-APPLICABLE and a gate-specific type proof.

SG-2

  • Observer role: CONDITIONAL/SCOPED
  • Selected rows: OBS-C01, OBS-C02, OBS-C03, OBS-C04, OBS-C05, OBS-C06, OBS-C08, OBS-C09, OBS-C10, OBS-C14, OBS-C17, OBS-C21, OBS-C27, OBS-C28, OBS-C29, OBS-C30
  • Discipline: Emit gauge algebra, rank, vector count, global kernel, and owner IDs from the complete parent owner map; reject aliases and quotient-isometry errors.
  • External dependencies: Shape, Granularity, Dynamics, Scale, Boundary, Rigidity, Vacuum, Interdependence, Time Synchronization as applicable
  • Claim ceiling: No gate terminal may exceed the weakest unclosed selected Observer row, record support, test-family scope, finite-resource distinguishability bound, calibration lineage, or uncertainty/selection model.
  • Inactive packets: Every non-active packet remains present with status NOT-APPLICABLE and a gate-specific type proof.

SG-3

  • Observer role: LOAD-BEARING
  • Selected rows: OBS-C01, OBS-C02, OBS-C03, OBS-C04, OBS-C05, OBS-C06, OBS-C08, OBS-C09, OBS-C10, OBS-C11, OBS-C12, OBS-C13, OBS-C14, OBS-C16, OBS-C17, OBS-C21, OBS-C27, OBS-C28, OBS-C29, OBS-C30
  • Discipline: Record family multiplicity and chirality with domain/parity provenance, no-mirror resolution, and finite test-family exhaustion.
  • External dependencies: Shape, Granularity, Dynamics, Scale, Boundary, Rigidity, Vacuum, Interdependence, Time Synchronization as applicable
  • Claim ceiling: No gate terminal may exceed the weakest unclosed selected Observer row, record support, test-family scope, finite-resource distinguishability bound, calibration lineage, or uncertainty/selection model.
  • Inactive packets: Every non-active packet remains present with status NOT-APPLICABLE and a gate-specific type proof.

SG-4

  • Observer role: CONDITIONAL/SCOPED
  • Selected rows: OBS-C01, OBS-C02, OBS-C03, OBS-C04, OBS-C05, OBS-C06, OBS-C08, OBS-C09, OBS-C10, OBS-C12, OBS-C14, OBS-C17, OBS-C19, OBS-C21, OBS-C26, OBS-C27, OBS-C28, OBS-C29, OBS-C30
  • Discipline: Record charges, quotient kernel, and local/global anomaly data with invariant observables, statistical controls, and no status leakage.
  • External dependencies: Shape, Granularity, Dynamics, Scale, Boundary, Rigidity, Vacuum, Interdependence, Time Synchronization as applicable
  • Claim ceiling: No gate terminal may exceed the weakest unclosed selected Observer row, record support, test-family scope, finite-resource distinguishability bound, calibration lineage, or uncertainty/selection model.
  • Inactive packets: Every non-active packet remains present with status NOT-APPLICABLE and a gate-specific type proof.

SG-5

  • Observer role: LOAD-BEARING
  • Selected rows: OBS-C01, OBS-C02, OBS-C03, OBS-C04, OBS-C05, OBS-C06, OBS-C07, OBS-C08, OBS-C09, OBS-C10, OBS-C11, OBS-C12, OBS-C13, OBS-C14, OBS-C15, OBS-C16, OBS-C17, OBS-C18, OBS-C19, OBS-C20, OBS-C21, OBS-C22, OBS-C23, OBS-C27, OBS-C28, OBS-C29, OBS-C30
  • Discipline: Map EWSB, masses, mixings, decays, and transition history to records with complete instruments, events, and calibration lineage.
  • External dependencies: Shape, Granularity, Dynamics, Scale, Boundary, Rigidity, Vacuum, Interdependence, Time Synchronization as applicable
  • Claim ceiling: No gate terminal may exceed the weakest unclosed selected Observer row, record support, test-family scope, finite-resource distinguishability bound, calibration lineage, or uncertainty/selection model.
  • Inactive packets: Every non-active packet remains present with status NOT-APPLICABLE and a gate-specific type proof.

SG-6

  • Observer role: LOAD-BEARING
  • Selected rows: OBS-C01, OBS-C02, OBS-C03, OBS-C04, OBS-C06, OBS-C07, OBS-C08, OBS-C10, OBS-C11, OBS-C13, OBS-C14, OBS-C15, OBS-C16, OBS-C17, OBS-C20, OBS-C21, OBS-C22, OBS-C27, OBS-C28, OBS-C29, OBS-C30
  • Discipline: Distinguish physical moduli/deformations from inaccessible or gauge directions and define how stabilization is observed across scales/history.
  • External dependencies: Shape, Granularity, Dynamics, Scale, Boundary, Rigidity, Vacuum, Interdependence, Time Synchronization as applicable
  • Claim ceiling: No gate terminal may exceed the weakest unclosed selected Observer row, record support, test-family scope, finite-resource distinguishability bound, calibration lineage, or uncertainty/selection model.
  • Inactive packets: Every non-active packet remains present with status NOT-APPLICABLE and a gate-specific type proof.

SG-7

  • Observer role: CONDITIONAL/SCOPED
  • Selected rows: OBS-C01, OBS-C02, OBS-C03, OBS-C04, OBS-C06, OBS-C08, OBS-C10, OBS-C14, OBS-C15, OBS-C16, OBS-C17, OBS-C18, OBS-C19, OBS-C21, OBS-C23, OBS-C27, OBS-C28, OBS-C29, OBS-C30
  • Discipline: Define threshold/matching records and precision observables with complete response, selection, and uncertainty transport.
  • External dependencies: Shape, Granularity, Dynamics, Scale, Boundary, Rigidity, Vacuum, Interdependence, Time Synchronization as applicable
  • Claim ceiling: No gate terminal may exceed the weakest unclosed selected Observer row, record support, test-family scope, finite-resource distinguishability bound, calibration lineage, or uncertainty/selection model.
  • Inactive packets: Every non-active packet remains present with status NOT-APPLICABLE and a gate-specific type proof.

SG-8

  • Observer role: LOAD-BEARING
  • Selected rows: OBS-C01, OBS-C02, OBS-C03, OBS-C04, OBS-C05, OBS-C06, OBS-C07, OBS-C08, OBS-C09, OBS-C10, OBS-C11, OBS-C14, OBS-C15, OBS-C16, OBS-C17, OBS-C18, OBS-C19, OBS-C21, OBS-C23, OBS-C27, OBS-C28, OBS-C29, OBS-C30
  • Discipline: Enforce chamber projection, same-ruler normalization, blind fitting, flavor record construction, and wrong-ruler controls.
  • External dependencies: Shape, Granularity, Dynamics, Scale, Boundary, Rigidity, Vacuum, Interdependence, Time Synchronization as applicable
  • Claim ceiling: No gate terminal may exceed the weakest unclosed selected Observer row, record support, test-family scope, finite-resource distinguishability bound, calibration lineage, or uncertainty/selection model.
  • Inactive packets: Every non-active packet remains present with status NOT-APPLICABLE and a gate-specific type proof.

SG-9

  • Observer role: LOAD-BEARING
  • Selected rows: OBS-C01, OBS-C02, OBS-C03, OBS-C04, OBS-C06, OBS-C08, OBS-C10, OBS-C11, OBS-C13, OBS-C14, OBS-C15, OBS-C16, OBS-C17, OBS-C18, OBS-C19, OBS-C21, OBS-C23, OBS-C27, OBS-C28, OBS-C29, OBS-C30
  • Discipline: Map dangerous operators and proton-decay channels to inclusive/exclusive event records, detector response, and finite exposure bounds.
  • External dependencies: Shape, Granularity, Dynamics, Scale, Boundary, Rigidity, Vacuum, Interdependence, Time Synchronization as applicable
  • Claim ceiling: No gate terminal may exceed the weakest unclosed selected Observer row, record support, test-family scope, finite-resource distinguishability bound, calibration lineage, or uncertainty/selection model.
  • Inactive packets: Every non-active packet remains present with status NOT-APPLICABLE and a gate-specific type proof.

UQF-10

  • Observer role: LOAD-BEARING
  • Selected rows: OBS-C01, OBS-C02, OBS-C03, OBS-C04, OBS-C06, OBS-C07, OBS-C08, OBS-C10, OBS-C11, OBS-C13, OBS-C14, OBS-C16, OBS-C17, OBS-C20, OBS-C21, OBS-C22, OBS-C26, OBS-C27, OBS-C28, OBS-C29, OBS-C30
  • Discipline: Define compactification/global records across regions, frames, domains, towers, and relational reference systems.
  • External dependencies: Shape, Granularity, Dynamics, Scale, Boundary, Rigidity, Vacuum, Interdependence, Time Synchronization as applicable
  • Claim ceiling: No gate terminal may exceed the weakest unclosed selected Observer row, record support, test-family scope, finite-resource distinguishability bound, calibration lineage, or uncertainty/selection model.
  • Inactive packets: Every non-active packet remains present with status NOT-APPLICABLE and a gate-specific type proof.

UQF-14

  • Observer role: CONDITIONAL/SCOPED
  • Selected rows: OBS-C01, OBS-C02, OBS-C03, OBS-C04, OBS-C06, OBS-C08, OBS-C10, OBS-C12, OBS-C13, OBS-C14, OBS-C20, OBS-C21, OBS-C22, OBS-C24, OBS-C26, OBS-C27, OBS-C28, OBS-C29, OBS-C30
  • Discipline: Define unitary/causal records, sequential instruments, clocks, regional information flow, and cross-observer consistency.
  • External dependencies: Shape, Granularity, Dynamics, Scale, Boundary, Rigidity, Vacuum, Interdependence, Time Synchronization as applicable
  • Claim ceiling: No gate terminal may exceed the weakest unclosed selected Observer row, record support, test-family scope, finite-resource distinguishability bound, calibration lineage, or uncertainty/selection model.
  • Inactive packets: Every non-active packet remains present with status NOT-APPLICABLE and a gate-specific type proof.

UQF-3

  • Observer role: CONDITIONAL/SCOPED
  • Selected rows: OBS-C01, OBS-C02, OBS-C03, OBS-C04, OBS-C06, OBS-C08, OBS-C10, OBS-C12, OBS-C14, OBS-C17, OBS-C20, OBS-C21, OBS-C24, OBS-C26, OBS-C27, OBS-C28, OBS-C29, OBS-C30
  • Discipline: Define reflection-positivity/physical-state records, reconstruction, instruments, regional algebras, and operational distinguishability.
  • External dependencies: Shape, Granularity, Dynamics, Scale, Boundary, Rigidity, Vacuum, Interdependence, Time Synchronization as applicable
  • Claim ceiling: No gate terminal may exceed the weakest unclosed selected Observer row, record support, test-family scope, finite-resource distinguishability bound, calibration lineage, or uncertainty/selection model.
  • Inactive packets: Every non-active packet remains present with status NOT-APPLICABLE and a gate-specific type proof.

UQF-4

  • Observer role: CONDITIONAL/SCOPED
  • Selected rows: OBS-C01, OBS-C02, OBS-C03, OBS-C04, OBS-C06, OBS-C08, OBS-C10, OBS-C12, OBS-C13, OBS-C14, OBS-C17, OBS-C20, OBS-C21, OBS-C26, OBS-C27, OBS-C28, OBS-C29, OBS-C30
  • Discipline: Define local/global anomaly observables, determinant/inflow records, regional gluing, and contextual consistency.
  • External dependencies: Shape, Granularity, Dynamics, Scale, Boundary, Rigidity, Vacuum, Interdependence, Time Synchronization as applicable
  • Claim ceiling: No gate terminal may exceed the weakest unclosed selected Observer row, record support, test-family scope, finite-resource distinguishability bound, calibration lineage, or uncertainty/selection model.
  • Inactive packets: Every non-active packet remains present with status NOT-APPLICABLE and a gate-specific type proof.

UQF-5A/5B

  • Observer role: LOAD-BEARING
  • Selected rows: OBS-C01, OBS-C02, OBS-C03, OBS-C04, OBS-C06, OBS-C08, OBS-C10, OBS-C12, OBS-C13, OBS-C14, OBS-C16, OBS-C17, OBS-C20, OBS-C21, OBS-C22, OBS-C24, OBS-C26, OBS-C27, OBS-C28, OBS-C29, OBS-C30
  • Discipline: Define graviton pole/residue/causal response records, regional support, quantum instruments, and information/positivity diagnostics.
  • External dependencies: Shape, Granularity, Dynamics, Scale, Boundary, Rigidity, Vacuum, Interdependence, Time Synchronization as applicable
  • Claim ceiling: No gate terminal may exceed the weakest unclosed selected Observer row, record support, test-family scope, finite-resource distinguishability bound, calibration lineage, or uncertainty/selection model.
  • Inactive packets: Every non-active packet remains present with status NOT-APPLICABLE and a gate-specific type proof.

UQF-5C

  • Observer role: LOAD-BEARING
  • Selected rows: OBS-C01, OBS-C02, OBS-C03, OBS-C04, OBS-C06, OBS-C08, OBS-C10, OBS-C12, OBS-C14, OBS-C16, OBS-C17, OBS-C19, OBS-C20, OBS-C21, OBS-C24, OBS-C26, OBS-C27, OBS-C28, OBS-C29, OBS-C30
  • Discipline: Define what finite truncation, fixed-point, unitarity, and UV-completion evidence would be observable without overpromotion.
  • External dependencies: Shape, Granularity, Dynamics, Scale, Boundary, Rigidity, Vacuum, Interdependence, Time Synchronization as applicable
  • Claim ceiling: No gate terminal may exceed the weakest unclosed selected Observer row, record support, test-family scope, finite-resource distinguishability bound, calibration lineage, or uncertainty/selection model.
  • Inactive packets: Every non-active packet remains present with status NOT-APPLICABLE and a gate-specific type proof.

UQF-7

  • Observer role: LOAD-BEARING
  • Selected rows: OBS-C01, OBS-C02, OBS-C03, OBS-C04, OBS-C05, OBS-C06, OBS-C08, OBS-C09, OBS-C10, OBS-C11, OBS-C12, OBS-C13, OBS-C14, OBS-C16, OBS-C17, OBS-C21, OBS-C26, OBS-C27, OBS-C28, OBS-C29, OBS-C30
  • Discipline: Define chiral-domain and mirror-completeness records with parity/domain, regional, and cross-context consistency.
  • External dependencies: Shape, Granularity, Dynamics, Scale, Boundary, Rigidity, Vacuum, Interdependence, Time Synchronization as applicable
  • Claim ceiling: No gate terminal may exceed the weakest unclosed selected Observer row, record support, test-family scope, finite-resource distinguishability bound, calibration lineage, or uncertainty/selection model.
  • Inactive packets: Every non-active packet remains present with status NOT-APPLICABLE and a gate-specific type proof.

UQF-9

  • Observer role: LOAD-BEARING
  • Selected rows: OBS-C01, OBS-C02, OBS-C03, OBS-C04, OBS-C06, OBS-C08, OBS-C10, OBS-C12, OBS-C14, OBS-C15, OBS-C16, OBS-C17, OBS-C19, OBS-C20, OBS-C21, OBS-C22, OBS-C24, OBS-C27, OBS-C28, OBS-C29, OBS-C30
  • Discipline: Define heat-kernel/RG/UV records, detector-independent invariants, refinement, and finite-truncation claim ceilings.
  • External dependencies: Shape, Granularity, Dynamics, Scale, Boundary, Rigidity, Vacuum, Interdependence, Time Synchronization as applicable
  • Claim ceiling: No gate terminal may exceed the weakest unclosed selected Observer row, record support, test-family scope, finite-resource distinguishability bound, calibration lineage, or uncertainty/selection model.
  • Inactive packets: Every non-active packet remains present with status NOT-APPLICABLE and a gate-specific type proof.

theta-bar-QCD

  • Observer role: LOAD-BEARING
  • Selected rows: OBS-C01, OBS-C02, OBS-C03, OBS-C04, OBS-C05, OBS-C06, OBS-C08, OBS-C09, OBS-C10, OBS-C12, OBS-C14, OBS-C17, OBS-C18, OBS-C19, OBS-C21, OBS-C23, OBS-C27, OBS-C28, OBS-C29, OBS-C30
  • Discipline: Map topological phases and CP-odd observables to invariant event/likelihood records with calibration, selection, and mechanism exhaustion.
  • External dependencies: Shape, Granularity, Dynamics, Scale, Boundary, Rigidity, Vacuum, Interdependence, Time Synchronization as applicable
  • Claim ceiling: No gate terminal may exceed the weakest unclosed selected Observer row, record support, test-family scope, finite-resource distinguishability bound, calibration lineage, or uncertainty/selection model.
  • Inactive packets: Every non-active packet remains present with status NOT-APPLICABLE and a gate-specific type proof.

Appendix A — Exact BB-OBS-1.0.1 archival source

The text below is archival and read-only. V4.0 is normative where it strengthens execution without weakening any legacy obligation.


title: "BB-OBS-1.0.1 — Observer, Projection, Gauge-Owner, and Measurement Interface" building_block_id: "BB-OBS-1.0.1" version: "1.0.1" date: "2026-07-24" status: "DEVELOPMENT AUTHORITY — SG-2 GAUGE-OWNER CONTROLS MERGED — NOT FROZEN" scope: "Parent-to-record maps, same-ruler comparison, projection, normalization, uncertainty, and wrong-ruler controls" protocol_freeze: false canonical_ratification: false package_authority_version: "3.3.2"

BB-OBS-1.0.1 — Observer, Projection, Gauge-Owner, and Measurement Interface

0. Purpose

This block owns the map between the complete parent theory and the finite record used to test it.

Its central firewall is:

A physical comparison is valid only after dimension, frame, renormalization scale, bundle norm, chamber projection, truncation, regulator, and observable definition are aligned.

1. Complete observer object

Define

where:

  • : admissible preparations;
  • : observer-accessible algebra;
  • : finite record space;
  • : parent-to-record map;
  • : ruler tuple;
  • : uncertainty and covariance packet;
  • : normalization/Jacobian packet.

The observer is not consciousness or an interpretation of measurement. It is the typed physical interface that defines what is prepared, projected, normalized, and recorded.

2. Parent-to-record map

For each observable , publish

The map must show all operations:

  1. gauge and constraint reduction;
  2. mode selection;
  3. dimensional reduction;
  4. chamber/Weyl/orbifold projection;
  5. field redefinition;
  6. canonical normalization;
  7. RG and scheme transport;
  8. detector or record functional;
  9. uncertainty propagation.

No step may be represented by “identify with the measured value.”

3. Frozen ruler tuple

The required tuple is:

A comparison is suspended if any component differs and no transport theorem is provided.

4. Projection normalization

For a projection , record:

  • domain and codomain;
  • kernel and image;
  • normalization;
  • Jacobian;
  • multiplicity factors;
  • positivity/probability preservation;
  • gauge equivalence;
  • information loss.

The SG-8-style control is canonical: a normalized full six-chamber state projected to one chamber carries a factor

when the declared inner product and equal chamber weights apply. The block does not assume this coefficient universally; it demands that the relevant coefficient be derived from the frozen map.

5. Observer-map deformation inventory

The map itself can vary. Include deformations of:

  • frame;
  • scale;
  • scheme;
  • basis;
  • chamber;
  • detector window;
  • boundary accessibility;
  • normalization;
  • truncation;
  • regulator;
  • coarse-graining.

Define

for observer-map parameters . These directions enter uncertainty and, where physical, the Rigidity deformation inventory.

6. Calibration firewall

Every datum receives one role:

  • preparation input;
  • measured anchor;
  • calibration input;
  • blind comparison;
  • derived output;
  • diagnostic.

The data-lineage graph must prove that a blind target does not determine:

  • the projection coefficient;
  • basis convention;
  • normalization;
  • matching scale;
  • tolerance;
  • uncertainty model.

7. Kernel and inaccessible sectors

The map may identify distinct parent states. Publish:

An inaccessible parent direction is not automatically unphysical. It may be:

  • gauge/constraint redundant;
  • genuinely unobservable at the declared scope;
  • indirectly observable;
  • above cutoff;
  • an unresolved hidden sector.

Granularity decides operational equivalence only after this classification.

8. Uncertainty and covariance

Propagate the full covariance:

Correlations cannot be dropped merely because the final comparison table is one-dimensional.

9. Required negative controls

  1. Wrong chamber norm: omit the required chamber normalization.
  2. Wrong dimension: compare a higher-dimensional coefficient with a 4D observable.
  3. Wrong scale: compare running parameters at different .
  4. Wrong frame: compare Einstein- and Jordan-frame quantities without transport.
  5. Double normalization: apply a projection factor twice.
  6. Hidden calibration: select the map after reading the target.
  7. Nullspace deletion: treat an inaccessible physical direction as nonexistent.
  8. Scheme-only discrepancy: flag a difference that disappears after lawful coupled transport.

The block passes development only if every control fails before correction and passes after the correct map is restored.

10. Observer-map certificate

observer_map_certificate:
  candidate_id:
  branch_id:
  observable_id:
  preparation_class:
  accessible_algebra:
  record_space:
  parent_domain:
  reduction_steps:
  projection:
  kernel:
  image:
  ruler_tuple:
  normalization:
  jacobian:
  calibration_lineage:
  uncertainty_covariance:
  negative_controls:
  output_artifacts:
  evidence_hashes:
  verdict:

11. Falsifiers and restart triggers

Restart is required when the frame, scale, scheme, projection, basis, normalization, apparatus window, regulator, or observable definition changes.

The block fails if a measured comparison cannot be reconstructed from the parent manifest without author interpretation.

Gauge-owner record map

For a gauge-group claim, the observer map must consume the complete SHP-C09 owner ledger and emit:

  • local algebra and generator count;
  • rank;
  • vector zero-mode count;
  • extra-vector count;
  • global faithful representation kernel;
  • owner ID for every recorded generator.

The map must distinguish:

  • a local algebra supported by an isometry;
  • a global lift required by matter;
  • a bundle connection surviving a quotient;
  • two independent connections;
  • two notations for the same connection.

Required wrong-object controls include:

  1. attributing a connection to a quotient interval with no continuous rotation isometry;
  2. counting metric and bundle aliases as independent gauge sectors;
  3. hiding a nontrivial representation kernel by reporting only the Lie algebra;
  4. changing parity so an unwanted scalar zero mode appears.

The measured/recorded gauge group is the image of the complete parent owner map—not the name of a compact factor.

Owned hard constraints and acceptance evidence

The full controlling registry is EVIDENCE_DISCHARGE_REGISTRY_V3_3_2.md. The rows below are embedded because this block owns or directly co-owns them.

ID Required witness Minimal discharge Fail trigger
GEN-C04 Observer-map certificate + same-ruler transport output A frozen map sends the parent state to the measured record with dimension, frame, scheme, scale, bundle norm, and projection shown; the wrong-ruler control fails as designed. A raw parent quantity is compared directly with a differently normalized record.
GEN-C09 Gap calculation + uncertainty covariance + ruler packet The lightest omitted physical mode exceeds the observation window by the frozen margin after uncertainty propagation. The claimed gap is qualitative, uses a different normalization, or closes only at central values.
SHP-C07 End-to-end reduction artifact Starting from one parent manifest, the reduction script/action derives the complete retained four-dimensional object, including normalization, matching, boundary, and observer map. Only favorable modes are selected or the 4D object uses data from incompatible branches.
DYN-C07 Response-function calculation Localized and nonconstant stress sources produce the correct causal/conservation response while protected constants are handled according to VAC. The mechanism removes ordinary matter gravity, violates conservation, or produces acausal record response.
VAC-C11 Time-dependent constraint-algebra and cosmology simulation/theorem A time-dependent vacuum shift representing QCD/electroweak transitions is inserted; the constraint algebra remains consistent and the Friedmann/perturbation history stays within frozen bounds, or the regime is explicitly excluded with quantified lost predictions. The mechanism passes static shifts but becomes singular, acausal, or observationally unacceptable during a finite transition.
OBS-C01 Observer-system manifest The observer, apparatus/reference frame, accessible algebra, preparation class, record space, and energy/time window are frozen. The word ‘observer’ is used without specifying what can be prepared or recorded.
OBS-C02 Executable parent-to-record map For each claimed observable, an equation or script maps the complete parent state to the record with all projections and reductions shown; gauge records include one SHP-C09 owner ID per generator. A comparison uses an informal identification, omits gauge-owner provenance, or counts aliases as separate recorded generators.
OBS-C03 Normalization/positivity/probability test The map preserves required normalization, positive probabilities, conservation, and gauge equivalence on the physical domain. Projection changes norm or probability without an accounted Jacobian/normalization.
OBS-C04 Frozen ruler-tuple comparison Dimension, frame, renormalization scale, scheme, bundle norm, chamber projection, truncation, regulator, and observable definition are identical or explicitly transported. A 13D norm is compared directly with a one-chamber 4D running observable.
OBS-C05 Data-lineage and leakage audit Every calibration datum is tagged and a script verifies that blind targets do not enter the map, basis choice, or normalization. A target observable determines a projection coefficient or convention after comparison.
OBS-C06 Kernel/image enumeration The map’s kernel, image, degeneracies, inaccessible sectors, and information loss are explicitly listed through the claimed cutoff. A null direction is treated as absent physics or an inaccessible sector is silently discarded.
OBS-C07 Observer-map deformation Jacobian Derivatives of records with respect to projection, frame, normalization, and apparatus choices are included in the deformation/uncertainty analysis. A small convention change can move a prediction across the pass band but is not counted.
OBS-C08 Full covariance and scheme-transport output Uncertainties and correlations are propagated through the map, including scheme/frame transformations and truncation error. Only central values or independent errors are compared.
OBS-C09 Wrong-ruler and wrong-owner negative-control suite Controls include the SG-8-style chamber projection, omitted Jacobian, wrong frame, wrong scale, double normalization, quotient-isometry misattribution, and duplicate gauge-owner examples; each must fail before correction and pass after. The block cannot detect a known wrong-ruler or duplicate-owner construction.
OBS-C10 Content-addressed observer-map build Frozen inputs regenerate record CSV/JSON outputs and hashes without author interpretation. The observed prediction depends on an undocumented manual conversion.

Package status and authority boundary

This file belongs to the Candidate-Neutral Building-Block Authority v3.3.2.

The package is documentation-complete for the current development architecture, but it is not protocol-frozen and not canonically ratified. Technical results generated under it remain development evidence until the control suite, enumeration test, and hostile review pass.

The controlling package authorities are:

  • EVIDENCE_DISCHARGE_REGISTRY_V3_3_2.md;
  • QUANTITATIVE_STOPPING_AND_EXHAUSTION_RULE_V3_3_2.md;
  • MANDATORY_CONTROL_SUITE_V3_3_2.md;
  • MIGRATION_AND_SUPERSESSION_RECORD_V3_3.md.

A block is standalone for its owned object: it includes its complete definitions, interfaces, certificates, falsifiers, and owned evidence criteria. The full cross-block registry is intentionally stored once rather than repeated verbatim in every block.

Shared status grammar

PASS:
  The named witness satisfies the minimal discharge criterion.

FAIL:
  A reproducible counterexample or failed acceptance test exists.

OPEN:
  The required witness is missing, incomplete, or inconclusive.

NOT-EVALUATED:
  Evaluation stopped after an earlier hard failure.

NOT-APPLICABLE:
  A type proof establishes that the requirement cannot apply.

CONSTRUCTION-ANCHOR:
  A declared Actor, constraint, boundary term, or global sector realizes
  the result but does not derive it from the pre-existing object.

CONDITIONAL-ON-BND-A:
  The spectrum/domain result awaits fixed-set and operator-domain closure.

CONDITIONAL-ON-BND-B:
  The quantum result awaits local and global anomaly/inflow closure.

RESTART-REQUIRED:
  A frozen object relevant to the result changed.

Universal anti-promotion rules

  • A bare candidate is not a complete parent object.
  • A definition is not a witness.
  • A nonempty equation list is not a solvability proof.
  • An isolated vacuum is not automatically stable.
  • A fixed background value is not automatically an absent fluctuation.
  • Static vacuum-offset protection is not automatically cosmological-history compatibility.
  • Integrated anomaly cancellation is not local fixed-set cancellation.
  • Local anomaly cancellation is not global determinant-line trivialization.
  • A raw higher-dimensional quantity is not automatically the measured four-dimensional observable.
  • One tested survivor is not a selected survivor without explicit grammar enumeration or a finiteness theorem.
Appendix M

Reproducible observer-compiler benchmark code

EXECUTED

from __future__ import annotations

import importlib.util
import json
import platform
import time
from pathlib import Path

import numpy as np
import scipy
import scipy.linalg as la


ROOT = Path(__file__).resolve().parent
FIVE_TENSOR_SCRIPT = Path("/mnt/data/FIVE_TENSOR_GR_ARCHITECTURE/five_tensor_toy.py")
SEED = 20260806


def load_five_tensor_module():
    spec = importlib.util.spec_from_file_location("five_tensor_toy", FIVE_TENSOR_SCRIPT)
    if spec is None or spec.loader is None:
        raise RuntimeError(f"Unable to load {FIVE_TENSOR_SCRIPT}")
    module = importlib.util.module_from_spec(spec)
    spec.loader.exec_module(module)
    return module


def build_observer(n_records: int, n_state: int, seed: int = SEED + 400) -> np.ndarray:
    """Build an orthonormal frozen record map O: field -> records."""
    rng = np.random.default_rng(seed + n_records + n_state)
    raw = rng.normal(size=(n_state, n_records))
    q, _ = np.linalg.qr(raw)
    return q.T


def time_sequential(method, params: np.ndarray, repeats: int = 5) -> dict:
    samples = []
    checksum = 0.0
    for _ in range(repeats):
        t0 = time.perf_counter()
        s = 0.0
        for p in params:
            value = method(p)
            s += float(value[0])
        samples.append(time.perf_counter() - t0)
        checksum = s
    median = float(np.median(samples))
    return {
        "median_seconds": median,
        "all_seconds": [float(x) for x in samples],
        "queries": int(len(params)),
        "median_microseconds_per_query": 1.0e6 * median / len(params),
        "checksum": checksum,
    }


def time_batched(method, repeats: int = 9) -> dict:
    samples = []
    checksum = 0.0
    for _ in range(repeats):
        t0 = time.perf_counter()
        value = method()
        samples.append(time.perf_counter() - t0)
        checksum = float(value[0, 0])
    median = float(np.median(samples))
    return {
        "median_seconds": median,
        "all_seconds": [float(x) for x in samples],
        "checksum": checksum,
    }


def main() -> None:
    ft = load_five_tensor_module()
    problem = ft.build_problem(900)
    observer = build_observer(8, problem["n_state"])
    params = ft.random_parameters(3000, seed=SEED + 301)

    W4 = observer @ problem["U4"]
    W13 = observer @ problem["U13"]

    def direct_record(p):
        return observer @ ft.evaluate_direct(problem, p)

    def full_4d_record(p):
        return observer @ ft.evaluate_4d(problem, p)

    def compiled_4d_record(p):
        return W4 @ ft.coefficients_4d(p)

    def compiled_13d_record(p):
        return W13 @ ft.masters_13d(p)

    # Warm up.
    for fn in (direct_record, full_4d_record, compiled_4d_record, compiled_13d_record):
        for p in params[:20]:
            fn(p)

    seq = {
        "direct_factorized_solve_then_records": time_sequential(direct_record, params[:500], repeats=5),
        "full_4d_five_tensor_field_then_records": time_sequential(full_4d_record, params[:500], repeats=7),
        "observer_compiled_4d": time_sequential(compiled_4d_record, params[:500], repeats=7),
        "observer_compiled_13d_informed": time_sequential(compiled_13d_record, params[:500], repeats=7),
    }
    seq_direct = seq["direct_factorized_solve_then_records"]["median_seconds"]
    for key in ("full_4d_five_tensor_field_then_records", "observer_compiled_4d", "observer_compiled_13d_informed"):
        seq[key]["speedup_over_direct"] = seq_direct / seq[key]["median_seconds"]

    # Precompute coefficient/master matrices to isolate field/record linear algebra.
    C4 = np.column_stack([ft.coefficients_4d(p) for p in params])
    U10 = np.column_stack([ft.masters_13d(p) for p in params])
    RHS = problem["B4"] @ C4

    def batch_direct():
        fields = la.cho_solve(problem["factor"], RHS, check_finite=False)
        return observer @ fields

    def batch_full_4d():
        return observer @ (problem["U4"] @ C4)

    def batch_compiled_4d():
        return W4 @ C4

    def batch_compiled_13d():
        return W13 @ U10

    # Warm up batched kernels.
    for fn in (batch_direct, batch_full_4d, batch_compiled_4d, batch_compiled_13d):
        fn()

    batched = {
        "direct_factorized_solve_then_records": time_batched(batch_direct, repeats=7),
        "full_4d_five_tensor_field_then_records": time_batched(batch_full_4d, repeats=11),
        "observer_compiled_4d": time_batched(batch_compiled_4d, repeats=15),
        "observer_compiled_13d_informed": time_batched(batch_compiled_13d, repeats=15),
    }
    for value in batched.values():
        value["queries"] = int(len(params))
        value["median_microseconds_per_query"] = 1.0e6 * value["median_seconds"] / len(params)
    batch_direct_time = batched["direct_factorized_solve_then_records"]["median_seconds"]
    for key in ("full_4d_five_tensor_field_then_records", "observer_compiled_4d", "observer_compiled_13d_informed"):
        batched[key]["speedup_over_direct"] = batch_direct_time / batched[key]["median_seconds"]
    batched["observer_compiled_4d"]["speedup_over_full_field_assembly"] = (
        batched["full_4d_five_tensor_field_then_records"]["median_seconds"]
        / batched["observer_compiled_4d"]["median_seconds"]
    )
    batched["observer_compiled_13d_informed"]["speedup_over_full_field_assembly"] = (
        batched["full_4d_five_tensor_field_then_records"]["median_seconds"]
        / batched["observer_compiled_13d_informed"]["median_seconds"]
    )

    # Exactness and kernel/image controls.
    direct = batch_direct()
    full = batch_full_4d()
    obs4 = batch_compiled_4d()
    obs13 = batch_compiled_13d()
    norm = max(float(np.linalg.norm(direct)), 1e-30)

    # Construct an exact observer-kernel perturbation and confirm records are unchanged.
    rng = np.random.default_rng(SEED + 999)
    trial = rng.normal(size=problem["n_state"])
    kernel_direction = trial - observer.T @ (observer @ trial)
    kernel_residual = np.linalg.norm(observer @ kernel_direction) / max(np.linalg.norm(kernel_direction), 1e-30)

    # Observer deformation sensitivity.
    delta = rng.normal(size=observer.shape)
    delta /= max(np.linalg.norm(delta), 1e-30)
    observer_perturbed = observer + 1e-4 * delta
    fields_sample = la.cho_solve(problem['factor'], RHS[:, :50], check_finite=False)
    record_shift = np.linalg.norm((observer_perturbed - observer) @ fields_sample) / max(
        np.linalg.norm(observer @ fields_sample), 1e-30
    )

    certificate = {
        "certificate_id": "OBSERVER-COMPILED-FIVE-TENSOR-GR-TOY/V2",
        "date": "2026-08-06",
        "status": "PASS-CONTROLLED-TOY-ARCHITECTURE-ONLY",
        "environment": {
            "python": platform.python_version(),
            "numpy": np.__version__,
            "scipy": scipy.__version__,
            "platform": platform.platform(),
        },
        "scope": {
            "field_dimension": int(problem["n_state"]),
            "observer_record_dimension": int(observer.shape[0]),
            "4d_coefficient_channels": int(ft.C13.shape[0]),
            "13d_independent_masters": int(np.linalg.matrix_rank(ft.C13)),
            "sequential_queries": 500,
            "batched_queries": int(len(params)),
            "baseline": "The direct baseline reuses one Cholesky factorization and solves the field for every query.",
            "claim_boundary": [
                "The operator is a deterministic positive controlled field analog, not the Einstein equations.",
                "The batched algebra-only benchmark excludes coefficient/master generation and offline compilation.",
                "The sequential benchmark includes Python coefficient/master evaluation and dispatch.",
                "The results demonstrate the observer-compilation mechanism, not a physical IMRI waveform speedup."
            ],
        },
        "compiled_maps": {
            "W4_shape": list(W4.shape),
            "W13_shape": list(W13.shape),
            "formula_4d": "W4 = O @ U4",
            "formula_13d": "W13 = O @ U4 @ C13",
        },
        "sequential_end_to_end_python": seq,
        "batched_linear_algebra_only": batched,
        "exactness": {
            "relative_error_full_4d_records": float(np.linalg.norm(direct - full) / norm),
            "relative_error_observer_compiled_4d": float(np.linalg.norm(direct - obs4) / norm),
            "relative_error_observer_compiled_13d": float(np.linalg.norm(direct - obs13) / norm),
            "observer_kernel_direction_record_residual": float(kernel_residual),
        },
        "observer_sensitivity_control": {
            "observer_map_relative_perturbation": 1e-4,
            "relative_record_shift": float(record_shift),
            "interpretation": "The observer map is part of the frozen model and must carry its own deformation/error ledger."
        },
        "13d_information": {
            "channel_reduction_fraction": float(1.0 - np.linalg.matrix_rank(ft.C13) / ft.C13.shape[0]),
            "channel_reduction_factor": float(ft.C13.shape[0] / np.linalg.matrix_rank(ft.C13)),
            "null_control": "A 4D solver supplied with the same C13 map executes the same reduced online algebra."
        },
    }

    checks = [
        certificate["exactness"]["relative_error_full_4d_records"] < 1e-12,
        certificate["exactness"]["relative_error_observer_compiled_4d"] < 1e-12,
        certificate["exactness"]["relative_error_observer_compiled_13d"] < 1e-12,
        certificate["exactness"]["observer_kernel_direction_record_residual"] < 1e-12,
        seq["observer_compiled_4d"]["speedup_over_direct"] > 10.0,
        seq["observer_compiled_13d_informed"]["speedup_over_direct"] > 10.0,
        batched["observer_compiled_4d"]["speedup_over_direct"] > 100.0,
    ]
    certificate["all_required_checks_pass"] = bool(all(checks))

    output = ROOT / "observer_compiled_five_tensor_toy_certificate.json"
    output.write_text(json.dumps(certificate, indent=2) + "\n", encoding="utf-8")
    print(json.dumps({
        "certificate": str(output),
        "pass": certificate["all_required_checks_pass"],
        "sequential_4d_speedup": seq["observer_compiled_4d"]["speedup_over_direct"],
        "sequential_13d_speedup": seq["observer_compiled_13d_informed"]["speedup_over_direct"],
        "batched_4d_speedup": batched["observer_compiled_4d"]["speedup_over_direct"],
        "batched_13d_speedup": batched["observer_compiled_13d_informed"]["speedup_over_direct"],
        "compiled_4d_error": certificate["exactness"]["relative_error_observer_compiled_4d"],
        "compiled_13d_error": certificate["exactness"]["relative_error_observer_compiled_13d"],
    }, indent=2))


if __name__ == "__main__":
    main()
Appendix N

Machine-readable benchmark certificate

PASS-CONTROLLED
{
  "certificate_id": "OBSERVER-COMPILED-FIVE-TENSOR-GR-TOY/V2",
  "date": "2026-08-06",
  "status": "PASS-CONTROLLED-TOY-ARCHITECTURE-ONLY",
  "environment": {
    "python": "3.13.5",
    "numpy": "2.3.5",
    "scipy": "1.17.0",
    "platform": "Linux-6.12.13-x86_64-with-glibc2.41"
  },
  "scope": {
    "field_dimension": 900,
    "observer_record_dimension": 8,
    "4d_coefficient_channels": 24,
    "13d_independent_masters": 10,
    "sequential_queries": 500,
    "batched_queries": 3000,
    "baseline": "The direct baseline reuses one Cholesky factorization and solves the field for every query.",
    "claim_boundary": [
      "The operator is a deterministic positive controlled field analog, not the Einstein equations.",
      "The batched algebra-only benchmark excludes coefficient/master generation and offline compilation.",
      "The sequential benchmark includes Python coefficient/master evaluation and dispatch.",
      "The results demonstrate the observer-compilation mechanism, not a physical IMRI waveform speedup."
    ]
  },
  "compiled_maps": {
    "W4_shape": [
      8,
      24
    ],
    "W13_shape": [
      8,
      10
    ],
    "formula_4d": "W4 = O @ U4",
    "formula_13d": "W13 = O @ U4 @ C13"
  },
  "sequential_end_to_end_python": {
    "direct_factorized_solve_then_records": {
      "median_seconds": 0.37300898999819765,
      "all_seconds": [
        0.39782629900219035,
        0.37300898999819765,
        0.39479907599888975,
        0.3576370919981855,
        0.3690244050012552
      ],
      "queries": 500,
      "median_microseconds_per_query": 746.0179799963953,
      "checksum": -1.2890766840182981
    },
    "full_4d_five_tensor_field_then_records": {
      "median_seconds": 0.013948351999715669,
      "all_seconds": [
        0.014482344999123598,
        0.014138514001388103,
        0.013825517999066506,
        0.013705743000173243,
        0.013948351999715669,
        0.01371243600078742,
        0.014696751997689717
      ],
      "queries": 500,
      "median_microseconds_per_query": 27.896703999431338,
      "checksum": -1.289076684018298,
      "speedup_over_direct": 26.74215491592134
    },
    "observer_compiled_4d": {
      "median_seconds": 0.009128854999289615,
      "all_seconds": [
        0.009128854999289615,
        0.008863248000125168,
        0.009239432001777459,
        0.008841390001180116,
        0.00929547100167838,
        0.008844561001751572,
        0.00950461100001121
      ],
      "queries": 500,
      "median_microseconds_per_query": 18.25770999857923,
      "checksum": -1.2890766840182974,
      "speedup_over_direct": 40.86043540260244
    },
    "observer_compiled_13d_informed": {
      "median_seconds": 0.006501957002910785,
      "all_seconds": [
        0.006670480001048418,
        0.006501957002910785,
        0.006518060999951558,
        0.006456414997956017,
        0.006189794999954756,
        0.006462425997597165,
        0.007059173000016017
      ],
      "queries": 500,
      "median_microseconds_per_query": 13.00391400582157,
      "checksum": -1.2890766840182981,
      "speedup_over_direct": 57.36872603605493
    }
  },
  "batched_linear_algebra_only": {
    "direct_factorized_solve_then_records": {
      "median_seconds": 0.14181108699995093,
      "all_seconds": [
        0.14181108699995093,
        0.16492133000065223,
        0.13999228600005154,
        0.15808806700079003,
        0.17788698299773387,
        0.14143325900295167,
        0.12011854899901664
      ],
      "checksum": -0.0029819986530305845,
      "queries": 3000,
      "median_microseconds_per_query": 47.270362333316974
    },
    "full_4d_five_tensor_field_then_records": {
      "median_seconds": 0.004379540001536952,
      "all_seconds": [
        0.05063996800163295,
        0.008097210997220827,
        0.0024934300017775968,
        0.030430576000071596,
        0.005689138997695409,
        0.031571498002449516,
        0.004379540001536952,
        0.0033557149981788825,
        0.0030733729981875513,
        0.002950365000288002,
        0.0031841349991736934
      ],
      "checksum": -0.0029819986530305836,
      "queries": 3000,
      "median_microseconds_per_query": 1.459846667178984,
      "speedup_over_direct": 32.38036116810986
    },
    "observer_compiled_4d": {
      "median_seconds": 3.806199674727395e-05,
      "all_seconds": [
        5.626999700325541e-05,
        4.078900019521825e-05,
        3.86139981856104e-05,
        3.783600186579861e-05,
        3.806199674727395e-05,
        3.773500066017732e-05,
        3.788000321947038e-05,
        3.767800080822781e-05,
        3.797600220423192e-05,
        3.789700349443592e-05,
        4.844399882131256e-05,
        3.846300023724325e-05,
        3.8074002077337354e-05,
        3.7740999687230214e-05,
        3.812800059677102e-05
      ],
      "checksum": -0.002981998653030583,
      "queries": 3000,
      "median_microseconds_per_query": 0.012687332249091318,
      "speedup_over_direct": 3725.792105483999,
      "speedup_over_full_field_assembly": 115.06332761826586
    },
    "observer_compiled_13d_informed": {
      "median_seconds": 2.0283998310333118e-05,
      "all_seconds": [
        5.887500083190389e-05,
        2.140700235031545e-05,
        2.0303003111621365e-05,
        2.0276998839108273e-05,
        2.0179999410174787e-05,
        2.0350998966023326e-05,
        2.0245999621693045e-05,
        2.0204002794343978e-05,
        2.0499002857832238e-05,
        2.0262999896658584e-05,
        2.0340001356089488e-05,
        2.0174000383121893e-05,
        2.0198000129312277e-05,
        2.030700125033036e-05,
        2.0283998310333118e-05
      ],
      "checksum": -0.0029819986530305854,
      "queries": 3000,
      "median_microseconds_per_query": 0.006761332770111039,
      "speedup_over_direct": 6991.278781940601,
      "speedup_over_full_field_assembly": 215.91108096799226
    }
  },
  "exactness": {
    "relative_error_full_4d_records": 6.484785887521391e-16,
    "relative_error_observer_compiled_4d": 1.3912883652491791e-15,
    "relative_error_observer_compiled_13d": 1.3404130736365388e-15,
    "observer_kernel_direction_record_residual": 3.615869086224414e-17
  },
  "observer_sensitivity_control": {
    "observer_map_relative_perturbation": 0.0001,
    "relative_record_shift": 3.74518114708269e-05,
    "interpretation": "The observer map is part of the frozen model and must carry its own deformation/error ledger."
  },
  "13d_information": {
    "channel_reduction_fraction": 0.5833333333333333,
    "channel_reduction_factor": 2.4,
    "null_control": "A 4D solver supplied with the same C13 map executes the same reduced online algebra."
  },
  "all_required_checks_pass": true
}
Appendix O

Source and artifact manifest

CONTENT-ADDRESSED
Authority / artifactFileBytesSHA-256
RigidityBB_RIG_4_1_MAX_RIGOR_ALL_GATE_RIGIDITY.md135,78237703f47b05280d878ee84c258a60a8556952e1e358b039c72efe28a7532e222
InterdependenceBB_INT_4_0_MAX_RIGOR_ALL_GATE_INTERDEPENDENCE.md74,15854cfaba6833108419531618f72ca38e2b5fb8c7353c1ae1a71c5fbb1cdce350d
VacuumBB_VAC_4_0_MAX_RIGOR_ALL_GATE_VACUUM.md143,957362c00d1d255552896cd4d9be730374f0d0b9daa54dc1c578598bf3d479e0bca
GovernanceBB_CSE_4_0_SUPPLEMENTAL_MAX_RIGOR_GATE_GOVERNANCE.md72,988115a22d5d5f89c082696ffd94bf9449b2bfc5028b46a4523e87712d5a78e1a28
Shape Stagestage.md49,19920a1906b5467a1d82b849b06636fa4acaa7916e79f39d97dd4117f1fb26bf2ab
Shape Rulebookrulebook.md44,490ff0e5a660e11fbd1a397933f7e22521a0cf91155fa1b0bcb2f00e6204a8b2729
DynamicsBB_DYN_4_2_MAX_RIGOR_FULL_GATE_CLOSURE_DYNAMICS.md155,401cbc41bd5faf197208d7651496a912ac9fd7e0d4fb7c48705d9722116ca00ea6c
ScaleBB_SCL_4_1_MAX_RIGOR_ALL_GATE_SCALE.md120,442b0426790624d7abde99427cfe12a80726857c99f6d16fbea1c69843598187493
Time SynchronizationBB_TS_4_0_MAX_RIGOR_ALL_GATE_TIME_SYNCHRONIZATION.md64,8531958cbe4ef5e61dadf24838766e149dc1c4f019a3d612e7ba7cc5f5257ccb1c9
ObserverBB_OBS_4_0_MAX_RIGOR_ALL_GATE_OBSERVER.md78,3702a7edf478134d753cfb37d5f299fd1f40d2d71d664ed23dd86d9573f62c21b06
BoundaryBB_BND_4_1_MAX_RIGOR_FULL_GATE_CLOSURE_BOUNDARY.md111,318b489a3aa8991a71df94aa8118da975c2910fc69e9d13e89398fa642ad776b95b
Max Conservation StackMaxConservationStack.html5,758,9832ca5fb629b0276cd31976d97ae7da063ebe30d0626a57ac08fb74f665c4d5598
Five-Tensor GR ArchitectureFiveTensorGRArchitecture.html6,195,5794967c6d2c9ae58581c8097b7daf72744b96ec4b16ca768dac611fbf314947cb0
Building-Block Speed AuditBUILDING_BLOCK_SPEED_AUDIT.md13,862f97c9d38e27e340ff2587e6c9db404ee99852f84e7a61faa879183eddc8fe4de
Observer Benchmark Scriptobserver_compiled_five_tensor_toy.py10,7172b020ecfad17e92e5bb05cc3fc368d2d27b25d4ed6bd1d554433d79477de3673
Observer Benchmark Certificateobserver_compiled_five_tensor_toy_certificate.json6,7582c303e15b3d8e0814d732aa8ae5035184b72bf0a92f2c88be25c4456d22d0f7d