Repository navigation

Prove actual physical endpoint moments, positive normalizer and weighted event bounds - #512

Merged

cursor[bot] merged 30 commits into

mainfrom

codex/dm2-gaussian-moments-20261025

Oct 26, 2026

Merged

Prove actual physical endpoint moments, positive normalizer and weighted event bounds#512
cursor[bot] merged 30 commits into
mainfrom
codex/dm2-gaussian-moments-20261025

Commits on Oct 25, 2026
- Bind uniform Gaussian moment research to exact noncentered jet source
  Dylan Roy
  committed
  4390432
- Bind noncentered Gaussian normalizer components before implementation
  Dylan Roy
  committed
  1084008
- Specify canonical regression kernel at exact Gaussian pin values
  Dylan Roy
  committed
  e01247d
- Bind the actual six-endpoint Gaussian route without quartic substitution
  Dylan Roy
  committed
  d313258
- Prove Gaussian moment, reference positivity and canonical regression components
  Dylan Roy
  committed
  28d0151
- Specify the positive normalizer floor from endpoint coupling and Fatou
  Dylan Roy
  committed
  817bf3f
- Specify direct Gaussian regression from observable covariance equations
  Dylan Roy
  committed
  8b2b812
- Specify exact endpoint to continuous-normalizer weight identity
  Dylan Roy
  committed
  1eb5801
- Specify singular-safe Gaussian common coupling from convergent covariance
  Dylan Roy
  committed
  8157330
- Bind actual source derivative Gaussianity before implementation
  Dylan Roy
  committed
  fc94a9b
- Specify seven-mode contact covariance positivity certificate
  Dylan Roy
  committed
  45b0ede
- Specify canonical weighted probability and integral Palm-tail transfer
  Dylan Roy
  committed
  1ae8539
- Specify Gaussian-parameter normalizer floor without coupling assumptions
  Dylan Roy
  committed
  ef80ba4
- Prove physical endpoint moments, canonical regression and singular-safe normalizer components
  Dylan Roy
  committed
  52062b1
- Prove actual derivative joint Gaussianity and freeze contact covariance instantiation
  Dylan Roy
  committed
  7cecd8b
- Specify literal six-pin confluent equivalence and exact prescribed target
  Dylan Roy
  committed
  93c9a30
- Integrate Gaussian conditioning, normalizer and actual Palm transfer proof packet
  Dylan Roy
  committed
  16f81b9
- Specify literal contact pin invertibility and positive reference Schur variance
  Dylan Roy
  committed
  3bb99c9
- Specify actual covariance continuity and confluent integral identities
  Dylan Roy
  committed
  d382da3
- Specify regression continuity and uniform Gaussian parameter bounds from pin limits
  Dylan Roy
  committed
  6afee9b
- Specify actual endpoint regression using the verified canonical kernel
  Dylan Roy
  committed
  badd443
- Specify actual confluent covariance limits from Fourier Peano bounds
  Dylan Roy
  committed
  049f9e0
- Deliver 66-target kernel receipt and actual field covariance and pin proofs
  Dylan Roy
  committed
  af61a9c
- Specify actual canonical endpoint mean and Schur Gaussian law
  Dylan Roy
  committed
  20e4634
- Specify actual limiting endpoint contact parameters from source covariance
  Dylan Roy
  committed
  7f4d017
- Specify actual endpoint estimates using qualified Gaussian and Palm components
  Dylan Roy
  committed
  dffeea6
- Publish exact actual-source Gaussian conditioning evidence and scoped Claude review
  Dylan Roy
  committed
  8590836
- Specify canonical physical endpoint law at the prescribed null pin
  Dylan Roy
  committed
  1819e38
- Derive actual physical endpoint moment, positive normalizer and weighted event bounds
  Dylan Roy
  committed
  7a2ee81
Commits on Oct 26, 2026
- Merge branch 'main' into codex/dm2-gaussian-moments-20261025
  d6g8k5htny-coder
  authored
  f0cba7d

Commits

Commits on Oct 25, 2026

Commits on Oct 26, 2026