Skip to content

docs: inference-methods programme ledger (plan + decisions + literature) - #135

Closed
Jammy2211 wants to merge 1 commit into
mainfrom
feature/inference-programme-ledger
Closed

docs: inference-methods programme ledger (plan + decisions + literature)#135
Jammy2211 wants to merge 1 commit into
mainfrom
feature/inference-programme-ledger

Conversation

@Jammy2211

Copy link
Copy Markdown
Contributor

Overview

Closes #134. Commits the human-approved 2026-08-17 inference-methods programme into its canonical home per the programme's own knowledge rules (no knowledge lives only in chat histories, artifacts, or PR descriptions).

Contents

  • results/notes/inference/PROGRAMME.md — the full phased plan: state of play, phases 0-13 with decision gates A-F, benchmark/result schema v2, method-card knowledge structure, source-change list, risk register, minimal critical path, and the hypothetical decision tree.
  • results/notes/inference/DECISIONS.md — append-only gate log, seeded with the plan approval (human review notes recorded) and the CP-1 completion (PositionsLH accumulation fix, PyAutoLens#699 / PyAutoLens PR#700).
  • results/notes/inference/LITERATURE.md — external references with the lesson each earned (blackjax 1.6 mainline NS merge, NSS paper settings guidance, GIGA-Lens/Herculens strategies, NUTS diagnostics conventions, informed-start SMC bridging, MCLMC/MAMS, Pathfinder, proximal smoothing, optimizer-termination limits).

Documentation only — no runs, no scripts, no source changes. ruff check / ruff format --check clean; auto-generated README tables untouched.

🤖 Generated with Claude Code

Canonical home for the 2026-08-17 human-approved inference programme:
PROGRAMME.md (state of play, phases 0-13 with gates A-F, schema v2,
knowledge structure, source-change list, risk register, critical path,
hypothetical decision tree), DECISIONS.md (plan approval + CP-1 PositionsLH
fix record), LITERATURE.md (external references with per-source lessons).

Closes #134

Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
Jammy2211 pushed a commit that referenced this pull request Aug 18, 2026
PR#135 (feature/inference-programme-ledger, the laptop session's version
of the same task) carried material the merged #136 version lacked:

- DECISIONS.md: full CP-1 evidence (exact test-pin corrections, 538-test
  suite result, science impact incl. the fence slope halving to the
  documented 1e8/arcsec) and the verbatim review-note quotes; the
  consequence now records that existing truth bars are unaffected (no
  searches-framework benchmark used positions).
- LITERATURE.md: adopted #135's substantially deeper reference set
  (NSS settings guidance, PolyChord/nautilus/Fowlie, NUTS foundations,
  SMC tempering/waste-free lines, GIGA-Lens architecture detail, JAXNS,
  proximal/discontinuous HMC, optimizer-termination section).
- PROGRAMME.md: added the Future follow-ups section, the SLaM min-0.2
  threshold detail, and the truth-bars note on CP-1.

Supersedes PR#135, which will be closed unmerged.

Co-Authored-By: Claude <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_018dV9h5h76hZ6trGZKWJFHe

Copy link
Copy Markdown
Contributor Author

Closing as superseded: the ledger shipped via #136, and everything this PR carried beyond it (the full CP-1 evidence detail in DECISIONS.md, the deeper LITERATURE.md reference set, and PROGRAMME.md's Future follow-ups section) was folded into main by #137. No content from this branch was lost. The laptop worktree ~/Code/PyAutoLabs-wt/inference-programme-ledger and branch feature/inference-programme-ledger can be cleaned up in the next repo_cleanup pass.


Generated by Claude Code

@Jammy2211 Jammy2211 closed this Aug 18, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

docs: commit the inference-methods programme plan + knowledge ledger

1 participant