Skip to content

[Cosmology] Instantiate the source-screen spectrum receipts on one finite DAG #579

Description

@muellerberndt

Scope

The conditional screen-spectrum and radial-lift mathematics is fixed by #330.
This issue owns one finite source instantiation. One hash-locked source DAG must
emit the geometric screen field, primitive collar release law, release
amplitude, infinitesimal reserve generator, conformal precision, physical radial
uniqueness branch, null-space report, and transfer firewall.

The finite construction is a bounded self-reading OPH system: collar patches
expose local state and boundaries, record their readbacks, apply declared repair
or release moves, and publish the evidence bundle consumed by each receipt.

Common evidence

  • Quotient-visible volume Jacobian, homogeneous background, mass matrix, and
    monopole/dipole projector.
  • Primitive collar constraint ledger, base measure, solved release law, support,
    multipliers, and refinement maps.
  • Pooled quadratic release energy and source amplitude.
  • Source-emitted full-collar infinitesimal reserve density, orientation-half
    identity, semigroup defect, and source-facing tilt.
  • Detailed-balanced scalar Dirichlet operator, conformal gamma-ratio precision,
    positivity, normalization, anisotropy, and refinement residuals.
  • Source stress, single clock, freezeout surface, background-curvature status,
    physical scale, density of states, and common physical mode basis.
  • Raw normalized radial window, singular spectrum, right-null basis, resolution
    kernels, positivity, and non-fitting forward residual.
  • Dependency audit proving that no measurement, residual, likelihood, posterior,
    fit, or data-calibrated proxy is an ancestor.
  • Transfer firewall that keeps physical temperature and polarization claims
    false until the independent transfer and likelihood gates pass.

Physical radial branch

Exactly one uniqueness branch must pass.

Source dilation

  • Scale-labelled cofinal source-refinement orbit.
  • Unitary source embedding onto the physical rank-one adiabatic subspace.
  • Finite commuting square between source refinement and physical
    log-wavenumber dilation.
  • Equal source and physical covariance naturality residuals.
  • Strong covariance, dilation, and inverse-dilation convergence on one safe-band
    Hilbert space.
  • Uniform covariance norm bound, safe-band leakage control, and negative
    controls.
  • Exact thin-shell Mellin receipt or finite-window kernel receipt.

Radial tomography

  • Complete radial cross-covariances. Auto-spectra alone fail this branch.
  • Declared radial basis and measure.
  • Finite spherical-Hankel transform and unitarity residual.
  • Positive recovered multiplication spectrum.
  • Refinement convergence and reconstruction on held-out radii or windows.

A finite prior or regularizer is typed as a conditional radial continuation and
cannot satisfy the source-derived promotion gate.

Acceptance

  • Every common receipt passes on one source DAG and names its finite evidence
    artifact.
  • Exactly one physical radial uniqueness branch passes.
  • The reserve generator is an emitted derivative; a one-step survival value
    uses its logarithmic exponent.
  • Amplitude reduction pools sufficient statistics before division by the
    mode count.
  • The unrestricted radial null space is published on the one-dimensional
    source-dilation branch as well.
  • Every negative control fails.
  • The public simulator and paper-stack status agree.
  • Temperature and polarization stay outside this issue.

Dependencies

Downstream

Physical temperature and polarization transfer is tracked in #580.

Metadata

Metadata

Assignees

No one assigned

    Labels

    surface: continuationContinuation branches and follow-on theorem closures

    Type

    No type

    Projects

    No projects

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions