# Frozen SR evidence index

This file indexes the current publication evidence. `../README.md` defines scope and contracts; `../PIPELINE.md` gives the exact workflow. Only `runs/article-*` and `runs/article2-*` remain active because formula discovery parents, manifests, accepted/rejected CFD records, extensions, ablations, and plots depend on them. Non-mainline outputs are preserved under `../archive/results/`.

## Final formulas

The one-stop package is `runs/article-joint-sr-final-20260718/` (`readable_summary.txt` and `evidence_manifest.json`). The accepted mapped-shared candidates are:

- Kármán: `alpha_F = odd(-0.381391 Cd_rear,a)`; `alpha_U = 1.307782 Cl_rear,s - 3.431209`; `alpha_L = -alpha_U(Gx)`.
- Illusion: `alpha_F = odd(-1.826604 Cd_rear,a + 2.064493 Cl_F)`; `alpha_U = 1.254440 Cd_rear,a - 1.528074 Cl_F`; `alpha_L = -alpha_U(Gx)`.

Discovery and fixed-topology provenance are retained in the `article-discovery-*`, `article-joint-*`, `article-refit-*`, and summary families. Their parent paths and manifests are immutable provenance dependencies.

## Training CFD

Accepted data are `../data/runs/article-joint-data-karman-20260718/` (Re-code 50/100/200/400) and `../data/runs/article-joint-data-illusion-20260718/` (0.75L/1L/1.5L). Each scene has 200 recorded PPO steps and 197 causally aligned fit rows; all seven passed exact policy replay.

Standard 200-step closed-loop evidence is in `article-L3-karman-20260718` and `article-L3-illusionA-20260718`. Exact legacy-DTW similarities are Kármán `0.9543, 0.9427, 0.8560, 0.7827` and Illusion `0.8749, 0.9217, 0.8306` in the scene order above. `article-L2-*` retains short screening, including rejected Illusion topology-B failure telemetry.

## 400-step duration

Article2 duration families and `article2-generalization-summary-20260720` retain finite 400-step symbolic results: Kármán `0.952178, 0.944339, 0.863850, 0.833365`; Illusion `0.854379, 0.915609, 0.833587`. The plotting package also contains matched 400-step PPO baselines. These runs test duration, not asymptotic stability.

## Pointwise unseen conditions

With coefficients frozen, one 200-step realization was evaluated at each named condition. Kármán Re-code 25/70/150/300 gives `0.988078, 0.954339, 0.907496, 0.835758`. Illusion 0.5L/0.6L/0.8L/1.2L/2L gives `0.784055, 0.821103, 0.884573, 0.925530, 0.756880`. These are pointwise samples, not continuous parameter laws, distribution-wide generalization, or robustness statistics.

## Term deletion, scaling, and steady calibration

`article-ablation-formulas-v2-*` plus `article-ablation-L2-*` retain immutable formula variants and short CFD. Kármán evidence ranks the rear constant first, rear lift feedback second, and tested front feedback as weak. Every one-term Illusion deletion remained stable, so the four-term form is not unique.

`article-scaling-L1-v2-20260718` evaluates the preregistered coefficient grid and supports the same Kármán ranking; Illusion `Cl_F` terms dominate action magnitude while `Cd_rear,a` is weaker/partly replaceable. Article2 steady families calibrate the Kármán rear constant against disturbance-free constant rotation; steady is interpretive calibration, not formula training or a separate active objective.

## Plotting package

`runs/article2-plotting-package-20260721/` is the canonical derived publication package. It contains causal offline predictions/residuals, additive-term contributions on PPO and symbolic trajectories, ablation/scaling tables, steady and 400-step time-series exports, phase-alignment metadata, publication PNG/PDF outputs, a flow-comparison export contract, and a SHA-256 manifest. Derived plotting does not refit formulas or promote rejected evidence.

## Source chain

```text
accepted article data
  -> per-case and within-objective discovery
  -> fixed-topology all-data refit
  -> short finite-CFD gate
  -> standard 200-step legacy DTW
  -> 400-step and sampled unseen-condition extension
  -> term deletion/scaling and steady calibration
  -> canonical plotting/export package
```

The retained `article-*` and `article2-*` families are intentionally broader than a minimal list of final numbers because manifests, hashes, formula parents, failed telemetry, and plotting inputs form the auditable chain.

## Claims

Supported: a reproducible three-stage reduction workflow; dominant persistent Kármán rear counter-rotation with secondary rear-lift feedback; a finite symmetric Illusion numerical family; closed-loop evidence at trained scenes; and coefficient-frozen behavior at explicitly sampled Article2 conditions.

Unsupported: a globally optimal or unique formula; universal Kármán performance; distribution-wide Re/size generalization; explicit target tracking or necessity of every Illusion term; causal spatial mechanism; direct momentum-balance equality; or physical delay inferred from DTW alignment.

Historical flat formulas/validations/figures, V5, Vortex, diagnostics, and non-article run families are archived and non-authoritative. Archive paths may retain historical references and are not guaranteed executable.
