{
  "status": "passed",
  "checked_at_utc": "2026-10-10T18:27:40.754754+00:00",
  "scope": "Educational toy calculations and local Markdown; no model/dataset run",
  "runtime": {
    "python": "3.10.2",
    "executable": "C:\\Users\\LENOVO\\Downloads\\JEPA Research\\tmp\\lop01-runtime\\Scripts\\python.exe",
    "platform": "Windows-10-10.0.19045-SP0",
    "numpy": "2.2.6",
    "matplotlib": "3.10.7"
  },
  "numerical_checks_passed": 73,
  "checks": [
    {
      "name": "B1 F0: 160 samples at 16 kHz",
      "passed": true,
      "max_abs_error": 0.0,
      "absolute_tolerance": 1e-10
    },
    {
      "name": "B1 source-filter convolution",
      "passed": true,
      "max_abs_error": 0.0,
      "absolute_tolerance": 1e-10
    },
    {
      "name": "B1 exercise convolution",
      "passed": true,
      "max_abs_error": 0.0,
      "absolute_tolerance": 1e-10
    },
    {
      "name": "B2 convolution",
      "passed": true,
      "max_abs_error": 0.0,
      "absolute_tolerance": 1e-10
    },
    {
      "name": "B2 DFT",
      "passed": true,
      "max_abs_error": 0.0,
      "absolute_tolerance": 1e-10
    },
    {
      "name": "B2 inverse DFT",
      "passed": true,
      "max_abs_error": 0.0,
      "absolute_tolerance": 1e-10
    },
    {
      "name": "B2 shift phase",
      "passed": true,
      "max_abs_error": 0.0,
      "absolute_tolerance": 1e-10
    },
    {
      "name": "B2 same magnitude after circular shift",
      "passed": true,
      "max_abs_error": 0.0,
      "absolute_tolerance": 1e-10
    },
    {
      "name": "B2 circular convolution N=2",
      "passed": true,
      "max_abs_error": 0.0,
      "absolute_tolerance": 1e-10
    },
    {
      "name": "B2 padded linear convolution N=3",
      "passed": true,
      "max_abs_error": 0.0,
      "absolute_tolerance": 1e-10
    },
    {
      "name": "B3 alias 10/6 kHz at 16 kHz",
      "passed": true,
      "max_abs_error": 2.7446943836178834e-14,
      "absolute_tolerance": 1e-10
    },
    {
      "name": "B3 cosine table",
      "passed": true,
      "max_abs_error": 8.881784197001252e-16,
      "absolute_tolerance": 1e-10
    },
    {
      "name": "B3 Nyquist sine disappears",
      "passed": true,
      "max_abs_error": 2.1558735510086122e-14,
      "absolute_tolerance": 1e-10
    },
    {
      "name": "B3 sample counts",
      "passed": true,
      "max_abs_error": 0.0,
      "absolute_tolerance": 1e-10
    },
    {
      "name": "B3 linear interpolation",
      "passed": true,
      "max_abs_error": 0.0,
      "absolute_tolerance": 1e-10
    },
    {
      "name": "B4 two STFT frames",
      "passed": true,
      "max_abs_error": 0.0,
      "absolute_tolerance": 1e-10
    },
    {
      "name": "B4 Parseval",
      "passed": true,
      "max_abs_error": 0.0,
      "absolute_tolerance": 1e-10
    },
    {
      "name": "B4 one-sided energy",
      "passed": true,
      "max_abs_error": 0.0,
      "absolute_tolerance": 1e-10
    },
    {
      "name": "B4 frame counts by convention",
      "passed": true,
      "max_abs_error": 0.0,
      "absolute_tolerance": 1e-10
    },
    {
      "name": "B4 eight-frame spans in ms",
      "passed": true,
      "max_abs_error": 0.0,
      "absolute_tolerance": 1e-10
    },
    {
      "name": "B4 four-frame spans in ms",
      "passed": true,
      "max_abs_error": 0.0,
      "absolute_tolerance": 1e-10
    },
    {
      "name": "B4 power dB",
      "passed": true,
      "max_abs_error": 0.0,
      "absolute_tolerance": 1e-10
    },
    {
      "name": "B4 complex example",
      "passed": true,
      "max_abs_error": 0.0,
      "absolute_tolerance": 1e-10
    },
    {
      "name": "B5 filterbank",
      "passed": true,
      "max_abs_error": 0.0,
      "absolute_tolerance": 1e-10
    },
    {
      "name": "B5 non-injective filterbank",
      "passed": true,
      "max_abs_error": 0.0,
      "absolute_tolerance": 1e-10
    },
    {
      "name": "B5 filterbank nullspace",
      "passed": true,
      "max_abs_error": 0.0,
      "absolute_tolerance": 1e-10
    },
    {
      "name": "B5 orthonormal DCT",
      "passed": true,
      "max_abs_error": 3.5867136727318893e-07,
      "absolute_tolerance": 5e-07
    },
    {
      "name": "B5 full DCT inverse",
      "passed": true,
      "max_abs_error": 4.440892098500626e-16,
      "absolute_tolerance": 1e-10
    },
    {
      "name": "B5 truncated DCT inverse",
      "passed": true,
      "max_abs_error": 4.440892098500626e-16,
      "absolute_tolerance": 1e-10
    },
    {
      "name": "B5 temporal CMVN",
      "passed": true,
      "max_abs_error": 0.0,
      "absolute_tolerance": 1e-10
    },
    {
      "name": "B5 feature LayerNorm toy",
      "passed": true,
      "max_abs_error": 0.0,
      "absolute_tolerance": 1e-10
    },
    {
      "name": "B5 padding changes mean",
      "passed": true,
      "max_abs_error": 0.0,
      "absolute_tolerance": 1e-10
    },
    {
      "name": "B5 patch grid",
      "passed": true,
      "max_abs_error": 0.0,
      "absolute_tolerance": 1e-10
    },
    {
      "name": "B6 Bayes train",
      "passed": true,
      "max_abs_error": 2.7755575615628914e-17,
      "absolute_tolerance": 1e-10
    },
    {
      "name": "B6 Bayes deploy",
      "passed": true,
      "max_abs_error": 1.1102230246251565e-16,
      "absolute_tolerance": 1e-10
    },
    {
      "name": "B6 logits",
      "passed": true,
      "max_abs_error": 0.0,
      "absolute_tolerance": 1e-10
    },
    {
      "name": "B6 weighted optimum",
      "passed": true,
      "max_abs_error": 0.0,
      "absolute_tolerance": 1e-10
    },
    {
      "name": "B6 weighted logit decomposition",
      "passed": true,
      "max_abs_error": 4.440892098500626e-16,
      "absolute_tolerance": 1e-10
    },
    {
      "name": "B6 weighted exercise",
      "passed": true,
      "max_abs_error": 0.0,
      "absolute_tolerance": 1e-10
    },
    {
      "name": "B6 batch-size-one weight cancellation",
      "passed": true,
      "max_abs_error": 0.0,
      "absolute_tolerance": 1e-10
    },
    {
      "name": "B6 target mean",
      "passed": true,
      "max_abs_error": 0.0,
      "absolute_tolerance": 1e-10
    },
    {
      "name": "B6 MSE predictions",
      "passed": true,
      "max_abs_error": 0.0,
      "absolute_tolerance": 1e-10
    },
    {
      "name": "B6 random independent target MSE",
      "passed": true,
      "max_abs_error": 0.0,
      "absolute_tolerance": 1e-10
    },
    {
      "name": "B6 MSE decomposition at a=3",
      "passed": true,
      "max_abs_error": 0.0,
      "absolute_tolerance": 1e-10
    },
    {
      "name": "B6 cost threshold",
      "passed": true,
      "max_abs_error": 0.0,
      "absolute_tolerance": 1e-10
    },
    {
      "name": "B7 norm/cosine",
      "passed": true,
      "max_abs_error": 0.0,
      "absolute_tolerance": 1e-10
    },
    {
      "name": "B7 high cosine counterexample",
      "passed": true,
      "max_abs_error": 0.0,
      "absolute_tolerance": 1e-10
    },
    {
      "name": "B7 rank-one covariance",
      "passed": true,
      "max_abs_error": 4.440892098500626e-16,
      "absolute_tolerance": 1e-10
    },
    {
      "name": "B7 covariance/SVD eigenvalues",
      "passed": true,
      "max_abs_error": 8.881784197001252e-16,
      "absolute_tolerance": 1e-10
    },
    {
      "name": "B7 center two-row covariance",
      "passed": true,
      "max_abs_error": 0.0,
      "absolute_tolerance": 1e-10
    },
    {
      "name": "B7 nuisance PCA covariance",
      "passed": true,
      "max_abs_error": 2.842170943040401e-14,
      "absolute_tolerance": 1e-10
    },
    {
      "name": "B7 singular/eigen entropy difference",
      "passed": true,
      "max_abs_error": 4.884616859879287e-07,
      "absolute_tolerance": 5e-07
    },
    {
      "name": "B7 entropy scale invariance",
      "passed": true,
      "max_abs_error": 0.0,
      "absolute_tolerance": 1e-10
    },
    {
      "name": "B7 zero-spectrum rejected",
      "passed": true
    },
    {
      "name": "B7 CKA scale",
      "passed": true,
      "max_abs_error": 0.0,
      "absolute_tolerance": 1e-10
    },
    {
      "name": "B7 CKA zero",
      "passed": true,
      "max_abs_error": 0.0,
      "absolute_tolerance": 1e-10
    },
    {
      "name": "B7 XOR covariance",
      "passed": true,
      "max_abs_error": 0.0,
      "absolute_tolerance": 1e-10
    },
    {
      "name": "B7 centered sample rank bound",
      "passed": true,
      "max_abs_error": 0.0,
      "absolute_tolerance": 1e-10
    },
    {
      "name": "B8 backprop checked by finite differences",
      "passed": true,
      "max_abs_error": 4.249967044955838e-11,
      "absolute_tolerance": 1e-08
    },
    {
      "name": "B8 input gradient finite difference",
      "passed": true,
      "max_abs_error": 2.038352819866418e-11,
      "absolute_tolerance": 1e-08
    },
    {
      "name": "B8 simultaneous SGD update",
      "passed": true,
      "max_abs_error": 0.0,
      "absolute_tolerance": 1e-10
    },
    {
      "name": "B8 loss after SGD",
      "passed": true,
      "max_abs_error": 0.0,
      "absolute_tolerance": 1e-10
    },
    {
      "name": "B8 CNN cross-correlation",
      "passed": true,
      "max_abs_error": 0.0,
      "absolute_tolerance": 1e-10
    },
    {
      "name": "B8 shared kernel gradient",
      "passed": true,
      "max_abs_error": 0.0,
      "absolute_tolerance": 1e-10
    },
    {
      "name": "B8 attention weights",
      "passed": true,
      "max_abs_error": 0.0,
      "absolute_tolerance": 1e-10
    },
    {
      "name": "B8 attention output",
      "passed": true,
      "max_abs_error": 0.0,
      "absolute_tolerance": 1e-10
    },
    {
      "name": "B8 heads and pair counts",
      "passed": true,
      "max_abs_error": 0.0,
      "absolute_tolerance": 1e-10
    },
    {
      "name": "B8 attentive statistics",
      "passed": true,
      "max_abs_error": 0.0,
      "absolute_tolerance": 1e-10
    },
    {
      "name": "B8 reported head count from layer dimensions",
      "passed": true,
      "max_abs_error": 0.0,
      "absolute_tolerance": 1e-10
    },
    {
      "name": "B8 AdamW first step",
      "passed": true,
      "max_abs_error": 0.0,
      "absolute_tolerance": 1e-10
    },
    {
      "name": "B8 Adam L2 vs AdamW zero-loss-gradient",
      "passed": true,
      "max_abs_error": 4.99999974756804e-09,
      "absolute_tolerance": 1e-07
    },
    {
      "name": "B8 LoRA parameter counts",
      "passed": true,
      "max_abs_error": 0.0,
      "absolute_tolerance": 1e-10
    },
    {
      "name": "B4 zero-padding samples same spectrum on shared grid",
      "passed": true,
      "max_abs_error": 2.2602766277699508e-14,
      "absolute_tolerance": 1e-10
    }
  ],
  "markdown_files_checked": 16,
  "local_links_checked": 80,
  "broken_local_links": [],
  "table_errors": [],
  "figures": [
    "assets/aliasing-16khz.png",
    "assets/zero-padding-resolution.png"
  ]
}