Skip to content

records: land lc0, nothing outstanding - #49

Closed
jeffdaily wants to merge 26 commits into
mainfrom
port/lc0
Closed

records: land lc0, nothing outstanding#49
jeffdaily wants to merge 26 commits into
mainfrom
port/lc0

Conversation

@jeffdaily

@jeffdaily jeffdaily commented Aug 20, 2026

Copy link
Copy Markdown
Collaborator

Lands the completed control-plane records for lc0.

Records-only, under projects/lc0/.

Part of the misplaced-branch sweep.

🤖 Generated with Claude Code


Note: 0 files changed is expected. This branch's record content already reached main via the 2026-08-13 reconcile sweep; the merge anchors the branch's commit history (provenance of the evidence) into the trunk before the branch is deleted.

A deferral is discovered while porting and is evidence about THIS port, so it lives with the notes and the plan it came out of and is reviewed with them, rather than in a trunk-global file only the trunk can write.
A full real-GPU revalidation at 7727fa3 -- 222/222 conv-SE cross-checks in fp32 and fp16, 130/130 attention, determinism bit-identical to the original baseline -- got recorded through `carry_forward` because `set-state completed` no-ops when the stored state is already `completed`. That is the bug #9 fixed and this branch has not merged it. The tag asserts no GPU ran for this sha, the opposite of the truth, and under-sells a stronger result. The validation stands.
@jeffdaily

Copy link
Copy Markdown
Collaborator Author

Closing empty commit to main. Discarding commit history. Data already in main.

@jeffdaily jeffdaily closed this Aug 20, 2026
@jeffdaily
jeffdaily deleted the port/lc0 branch August 20, 2026 16:08
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.

1 participant