{
 "columns": [
  "Note id / path",
  "Title",
  "Type",
  "Used in sheets"
 ],
 "widths": [
  70,
  60,
  30,
  40
 ],
 "rows": [
  [
   "in-this-work-we-present-leanstral-a-series-of-generalist-code-agent-models-for",
   "Leanstral technical report (LeanstralSafeVerify repo PDF)",
   "vault primary",
   "Recipe_Stack, WBS"
  ],
  [
   "interim-report-leanstral-base-midtraining-and-compute-provenance",
   "Leanstral architecture, mid-training, compute provenance",
   "vault interim (our pipeline)",
   "README, Recipe_Stack, WBS"
  ],
  [
   "interim-report-data-vs-rl-lever-and-8b-4xa10g-reproducibility",
   "Data vs RL lever; 8B on 4x A10G box-hours",
   "vault interim (our pipeline)",
   "README, Recipe_Stack, Experiment_Plan"
  ],
  [
   "interim-report-rl-adds-vs-sharpens-on-lean-passk",
   "Does RL add or sharpen Lean pass@k",
   "vault interim (our pipeline)",
   "Recipe_Stack, WBS"
  ],
  [
   "interim-report-objective-choice-cispo-vs-grpo-effect-size-controlled",
   "CISPO vs GRPO family, objectives written out",
   "vault interim (our pipeline)",
   "Recipe_Stack, WBS"
  ],
  [
   "interim-report-multiturn-compiler-feedback-vs-singleturn-and-sampling",
   "Multi-turn compiler feedback vs single-turn and sampling",
   "vault interim (our pipeline)",
   "Recipe_Stack"
  ],
  [
   "interim-report-headline-benchmark-protocol-comparability",
   "Benchmark protocol comparability",
   "vault interim (our pipeline)",
   "Evals_Gates"
  ],
  [
   "research/runs/leanstral-recipe-lineage-c14fca/comparisons.md",
   "Cross-locus tensions",
   "run artefact",
   "README"
  ],
  [
   "/apps/development/rlhf/align/docs/SOTA_PLAN.md",
   "8B SOTA plan: protocol classes, levers, gates, calendar",
   "repo doc",
   "WBS, Experiment_Plan, README"
  ],
  [
   "/apps/development/rlhf/align/docs/SOTA_TARGETS.md",
   "Verified ~8B prover targets",
   "repo doc",
   "Evals_Gates, WBS"
  ],
  [
   "/apps/development/rlhf/align/docs/SELF_DISTILLATION.md",
   "Self-distillation plan",
   "repo doc",
   "WBS, Experiment_Plan"
  ],
  [
   "/apps/development/rlhf/align/docs/P2.md",
   "P2 baseline build and protocol",
   "repo doc",
   "WBS"
  ]
 ]
}