Skip to content

ENCODING-0: one modeled authority for bytes, Base64, CBOR, DER and X.509 parsing - #11719

Closed
gunbai-bot[bot] wants to merge 1 commit into
mainfrom
session/warm-tern-701
Closed

gunbai-bot[bot] wants to merge 1 commit into
mainfrom
session/warm-tern-701

Conversation

@gunbai-bot

@gunbai-bot gunbai-bot Bot commented Sep 19, 2026

Copy link
Copy Markdown
Contributor

Auto-opened by session-dashboard for session warm-tern-701.
Pushing to session/warm-tern-701 advances this PR.

Worker attestation

Before flipping this PR to ready for review, confirm each item:

  • Title describes the change (not the session id or branch).
  • PR body summarises what and why (replace the TODO below).
  • Tests run: name the command (e.g. npm test, cargo test) and the result.
  • If this closes a work item, the body contains a Closes #N directive.
  • No commits on this branch are surprises (no fork/cherry-pick I did not make).
  • No secrets / credentials / large binaries staged.

Summary

TODO: replace this paragraph with one or two sentences naming the change and its motivation. Reviewers read this first.

Test plan

  • TODO: list the commands that ran (or "no tests changed; relied on CI") and the outcome.

…deps.numeric.base16

Deletes three private octet<->lowercase-hex codecs (git_decode_lower_hex_octets,
mercurial_decode_lower_hex_octets + their nibble/octet helpers, npm_octets_to_lower_hex)
and the mercurial node-id encode fold; each consumer now calls base16_encode_lower /
base16_decode_lower. Adds an RFC 4648 witness for the authority (it had none) plus
consumer-route claims on asymmetric vectors that go RED when the authority is mutated.

Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com>
@gunbai-bot

gunbai-bot Bot commented Sep 19, 2026

Copy link
Copy Markdown
Contributor Author

Closing as a duplicate. This draft was opened automatically from session/warm-tern-701 at 4bc4e60, which is exactly the head of #11646. That PR has already merged to main as 43643ba, so this PR contains nothing that isn't on main. The next ENCODING-0 cut will open its own PR from a fresh branch.

@gunbai-bot gunbai-bot Bot closed this Sep 19, 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.

0 participants