Skip to content

fix(seed): name the landed runtime commit in the fingerprint - #212

Merged
the-homeless-god merged 1 commit into
devfrom
a/seed-fingerprint-names-the-landed-commit
Oct 1, 2026
Merged

the-homeless-god merged 1 commit into
devfrom
a/seed-fingerprint-names-the-landed-commit

Conversation

@the-homeless-god

Copy link
Copy Markdown
Member
  • fix(seed): name the landed runtime commit in the fingerprint

Verified on the tree of dev plus this branch (f0676e5): the checker test set passes, the provability verdict is green with all four checks, the proved-share ledger and the rule tables agree with the tree, pre-push is green, commit messages follow the convention.

🤖 Generated with Claude Code

The fingerprint named 758356bf8, the commit of the memo branch before
the merge queue rebased it; dev carries it as 0b69f17. Only the
commit line changes; bootstrap-reprint.sh --bystro now finds the commit
in the history and the seed body matches the tree.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01PNHrA3rG7FTWhB11E7pjDQ
@the-homeless-god
the-homeless-god merged commit e0e9873 into dev Oct 1, 2026
27 checks passed
@the-homeless-god
the-homeless-god deleted the a/seed-fingerprint-names-the-landed-commit branch October 1, 2026 17:46
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