…3 FALSIFIED (variance_factor 1.00× across 4 orders)

M95 (sibling commit, c641d2d) recorded a 28× magnitude gap between
M95's synthetic 0.4391% (5-tensor chained) and §27's 1723% (18.23×
std-ratio at layer-3 ffn_swigl). Three candidate amplifiers were
pinned for M-FFN-GGUF-6 investigation: A1 (RoPE phase), A2 (Softmax
saturation), A3 (Real-weight magnitude variance).

A3 was the strongest candidate because real Qwen Q4K weights have
huge per-tensor magnitude variance not present in synthetic tests.
Hypothesis: per-block scale variance amplifies M94 mechanism beyond
linear-scaling.

This PR authors `falsify_ffn_gguf_010_q4k_block_scale_variance` in
`crates/aprender-serve/src/apr_transformer/helpers.rs::
determinism_tests`. Test compares Path A vs Path B per-block
divergence at 7 block scales spanning 4 orders of magnitude:
  d ∈ {0.001, 0.01, 0.05, 0.1, 0.5, 1.0, 10.0}

EMPIRICAL RESULT (2026-05-06):
  d=0.001:  0.091873% rel_diff
  d=0.01:   0.091873%
  d=0.05:   0.091924%
  d=0.1:    0.092017%
  d=0.5:    0.091932%
  d=1.0:    0.091932%
  d=10.0:   0.091966%

variance_factor = max/min = **1.00×** across 4 orders of magnitude.

**A3 EMPIRICALLY FALSIFIED** at per-block granularity. The M94
mechanism is LINEAR-SCALING: Path A and Path B both scale
proportionally with block magnitude, so rel_diff (a RATIO) is
scale-INVARIANT.

AMPLIFIER LANDSCAPE POST-A3 FALSIFICATION:
- A1 (RoPE phase amplification) — UNTESTED, candidate
- A2 (Softmax saturation)       — UNTESTED, candidate
- A3 (Block-scale variance)     — FALSIFIED ✗

Per-block magnitude variance in real Qwen weights does NOT amplify
M94 mechanism beyond the measured 0.077-0.092% rel_diff baseline.

NEXT INVESTIGATION CANDIDATE (M-FFN-GGUF-4 step (g)): A2 (softmax
saturation) is the simplest synthetic test. A1 (RoPE phase) is
harder to test in isolation. M-FFN-GGUF-6 (real-teacher) remains
the most-direct test but is gated on operator dispatch.

Contract trace-ffn-sub-block-gguf-v1 v1.6.0 → v1.7.0:
- FALSIFY-FFN-GGUF-010 NEW → DISCHARGED
- M-FFN-GGUF-4 step (f) A3 candidate: NEW → DISCHARGED

Stacked atop the M94+M95 branch. Will rebase on main after #1538
merges (which carries M94 + M95).

Test runs locally:
  cargo test -p aprender-serve --lib falsify_ffn_gguf_010 -- --nocapture
  test result: ok. 1 passed; finished in 0.00s

Refs PMAT-CCPA, SHIP-007 §22, FALSIFY-FFN-GGUF-010.

Co-Authored-By: Claude Opus 4.7 <noreply@anthropic.com>

…3 FALSIFIED (variance_factor 1.00× across 4 orders) (#1540)

M95 (sibling commit, c641d2d) recorded a 28× magnitude gap between
M95's synthetic 0.4391% (5-tensor chained) and §27's 1723% (18.23×
std-ratio at layer-3 ffn_swigl). Three candidate amplifiers were
pinned for M-FFN-GGUF-6 investigation: A1 (RoPE phase), A2 (Softmax
saturation), A3 (Real-weight magnitude variance).

A3 was the strongest candidate because real Qwen Q4K weights have
huge per-tensor magnitude variance not present in synthetic tests.
Hypothesis: per-block scale variance amplifies M94 mechanism beyond
linear-scaling.

This PR authors `falsify_ffn_gguf_010_q4k_block_scale_variance` in
`crates/aprender-serve/src/apr_transformer/helpers.rs::
determinism_tests`. Test compares Path A vs Path B per-block
divergence at 7 block scales spanning 4 orders of magnitude:
  d ∈ {0.001, 0.01, 0.05, 0.1, 0.5, 1.0, 10.0}

EMPIRICAL RESULT (2026-05-06):
  d=0.001:  0.091873% rel_diff
  d=0.01:   0.091873%
  d=0.05:   0.091924%
  d=0.1:    0.092017%
  d=0.5:    0.091932%
  d=1.0:    0.091932%
  d=10.0:   0.091966%

variance_factor = max/min = **1.00×** across 4 orders of magnitude.

**A3 EMPIRICALLY FALSIFIED** at per-block granularity. The M94
mechanism is LINEAR-SCALING: Path A and Path B both scale
proportionally with block magnitude, so rel_diff (a RATIO) is
scale-INVARIANT.

AMPLIFIER LANDSCAPE POST-A3 FALSIFICATION:
- A1 (RoPE phase amplification) — UNTESTED, candidate
- A2 (Softmax saturation)       — UNTESTED, candidate
- A3 (Block-scale variance)     — FALSIFIED ✗

Per-block magnitude variance in real Qwen weights does NOT amplify
M94 mechanism beyond the measured 0.077-0.092% rel_diff baseline.

NEXT INVESTIGATION CANDIDATE (M-FFN-GGUF-4 step (g)): A2 (softmax
saturation) is the simplest synthetic test. A1 (RoPE phase) is
harder to test in isolation. M-FFN-GGUF-6 (real-teacher) remains
the most-direct test but is gated on operator dispatch.

Contract trace-ffn-sub-block-gguf-v1 v1.6.0 → v1.7.0:
- FALSIFY-FFN-GGUF-010 NEW → DISCHARGED
- M-FFN-GGUF-4 step (f) A3 candidate: NEW → DISCHARGED

Stacked atop the M94+M95 branch. Will rebase on main after #1538
merges (which carries M94 + M95).

Test runs locally:
  cargo test -p aprender-serve --lib falsify_ffn_gguf_010 -- --nocapture
  test result: ok. 1 passed; finished in 0.00s

Refs PMAT-CCPA, SHIP-007 §22, FALSIFY-FFN-GGUF-010.

Co-authored-by: Claude Opus 4.7 <noreply@anthropic.com>

…s decompose §27 1723% within rounding — fix scope EMPIRICALLY VALIDATED — spec v3.03.0 → v3.04.0 (#1546)

Two-day autonomous /loop session shipped 11 lib-test + 1 integration-test
falsifiers (M91-M101, aprender PRs #1535/#1536/#1537/#1538/#1540/#1541/
#1542/#1543/#1544/#1545) decomposing the §27 layer-3 ffn_swigl 18.23×
APR-vs-GGUF std-ratio.

Final empirical decomposition (2026-05-07):

  M94 mechanism × M95 compounding × M99 std-ratio × A5 real-teacher × residual
  = 0.077% × 5.70× × 50× × 5.56× × 14×
  ≈ 1715%   ≈   §27's 1723% (within rounding)

Six synthetic amplifier candidates resolved:
- A1 (RoPE phase, M98)        — FALSIFIED 1.00× UNITARY
- A2 (Softmax saturation, M97) — FALSIFIED 0.01× COMPRESSES
- A3 (Block-scale variance, M96) — FALSIFIED 1.00× SCALE-INVARIANT
- A4 (Multi-token batch, M99) — FALSIFIED 0.26× per-token + 50× std-ratio
- A5 (Real-weight non-uniformity, M100) — PARTIALLY CONFIRMED 5.56× LIVE
- A6 (RMSNorm rsqrt, M101)    — FALSIFIED 1.00× HOMOGENEOUS

14× residual is now attributed entirely to cumulative-layer interaction.

SHIP-007 §22 fix scope EMPIRICALLY VALIDATED as Option-A (PROMOTE
GGUF-PATH semantics into APR forward): switching APR's `f32_matmul`
to Q8K activation quant + fused matvec semantics will recover the
5.56× per-matvec amplification on every matmul, eliminating cumulative
APR-vs-GGUF drift. Estimated fix scope ~250-400 LOC; transitively
discharges 5 MODEL-1 PARTIALs (SHIP-002, SHIP-005, SHIP-006, SHIP-007,
SHIP-008) per §17.5.

Cascade methodology consolidated:
- ~/.claude/projects/-home-noah-src-aprender/memory/feedback_falsifier_cascade_decomposes_magnitude.md
- ~/.claude/projects/-home-noah-src-aprender/memory/feedback_falsifier_chain_assert_difference.md

Companion-spec entries M91-M101 in claude-code-parity-apr/docs/
specifications/claude-code-parity-apr-poc.md provide the full per-PR
narrative. Aprender contract `contracts/trace-ffn-sub-block-gguf-v1.yaml`
v1.0.0 → v1.12.0 across 12 amendments.

MODEL-1 ship %: unchanged at 91% until M-FFN-GGUF-5 (actual fix PR) lands.
MODEL-2 ship %: unchanged at 57% until step 5g.3 produces val_loss < 9.38.

Spec v3.03.0 → v3.04.0. Atomic next action banner only — full §59
narrative deferred to deliberate-session work alongside M-FFN-GGUF-5
fix PR.

Refs PMAT-CCPA, SHIP-007 §22, M91-M101 cascade.

Co-authored-by: Claude Opus 4.7 <noreply@anthropic.com>