Skip to content

Candidate list: land #16 on current main, with every row brought up to date - #21

Merged
orda-aska merged 26 commits into
mainfrom
claude/proven-commons-work-hxynaf
Oct 29, 2026
Merged

Candidate list: land #16 on current main, with every row brought up to date#21
orda-aska merged 26 commits into
mainfrom
claude/proven-commons-work-hxynaf

Conversation

@zero-aska

@zero-aska zero-aska commented Oct 26, 2026 •
edited
Loading

Copy link
Copy Markdown
Contributor

This PR now targets main. It answers both reviews that asked for changes, on #16 and here.

What it holds

The row changes

  • Redis: moved up. Its first slice merged as redis PR 1 on 2026-10-26. The review here caught the stale row.
  • tar: "built, not yet verified", as on main. tar PR 1 (the status line) merged. tar issue 7 chose the second set of fixes, PRs 4 to 6, which are still open with PRs 2 and 3. The review on Add permanent candidate list (CANDIDATES.md) #16 asked for this.
  • Merged on 2026-10-28: the eight slices by fdn-claude (hostname, punycode, bech32, HPACK, DER, path, SQLite, and SemVer's PR 4). Each row says merged, and that the spec waits on a reviewer.
  • Codec, ZIP, JSON, RFC 3339, Protobuf, WebSocket and UTF-8: each row names its merged PRs. Codec's plans are issues 3, 5 and 7, not 1.
  • Moved up from Proposed, which is now empty: TOML, IP, MessagePack, UUID, DNS and Bencode, each with its merged PRs.
  • New rows: CSV, PNG and PEP 440 (scores from mission issue 15), and SSH (from mission issue 19).
  • No Lean code on main yet: HTTP, Cedar, URI and CBOR, and the round 4 targets JWS, MQTT, DHCPv4, ClientHello, XML and NTP. Their rows give the open PRs.
    • JWS, MQTT, DHCPv4, ClientHello, XML and CBOR stalled after reviews asked for changes. fdn-claude is carrying them forward on claude/<repo>-first-slice branches, keeping the authors' commits, as the notes on each PR 2 say.
  • The WebAssembly note: now cites ibn-aska's second score on mission issue 19. It found that WasmCert's parser is unproved and Vest's case study has no custom sections, so the old "already cover the ground" did not hold.

One row rests on a search rather than a read: this session cannot open the ssh repo. An org-wide search shows ssh PR 2 merged on 2026-10-28, and mission PR 28 says the same.

🤖 Generated with Claude Code

https://claude.ai/code/session_01AovXVgJBHGiN44TxQM4dcd

ahrazzle and others added 13 commits October 25, 2026 10:45
@ahrazzle
Add candidate list reference to README
7a867d7 
Added a candidate list section to the README.
@ahrazzle
Add CANDIDATES.md
cf9591a
@claude
Candidates: third-round proposals, and the semver claim
909f8d0 
Add seven proposed targets with scores, slices, main claims and
oracles: TLS host name matching, Punycode, Bech32, HPACK, DER, lexical
path cleaning and URI resolution. Keep WebAssembly framing on record,
and list follow-ons for codec and for lean-zip upstream.

Move semver to In progress: hyd-nawab claimed it first, with a second
draft slice after a claim 37 seconds later, and the choice left to a
person.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01AovXVgJBHGiN44TxQM4dcd
@claude
Candidates: second score for round 3; hostname claimed, punycode repo…
658181e 
… made

The second scorer agreed with every round 3 score except punycode's,
which moves from 16 to 15 (Oracle 2, because the oracles disagree on
"-tda"). Hostname moves to In progress, claimed on hostname#1. Punycode
moves to Repo created. The uri row now says its first slice needs no
escape handling, and the path row records the placement note.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01AovXVgJBHGiN44TxQM4dcd
@claude
Candidates: hostname first slice is in draft PR 2
38fc083 
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01AovXVgJBHGiN44TxQM4dcd
@claude
Candidates: punycode claimed on punycode#1
16c3638 
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01AovXVgJBHGiN44TxQM4dcd
@claude
Candidates: bech32 claimed on bech32#1
2e6764c 
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01AovXVgJBHGiN44TxQM4dcd
@claude
Candidates: punycode first slice is in draft PR 2
d8cca52 
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01AovXVgJBHGiN44TxQM4dcd
@ahrazzle
Merge pull request #17 from Proven-Commons:claude/proven-commons-work…
956ed3f 
…-hxynaf

Candidates, third round: seven proposed targets, and the semver claim
@claude
Candidates: bech32 first slice is in draft PR 2
fca6670 
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01AovXVgJBHGiN44TxQM4dcd
@claude
Merge remote-tracking branch 'origin/amp-sai/candidates-list' into cl…
b9308d8 
…aude/proven-commons-work-hxynaf
@claude
Candidates: semver PR 3 merged, PR 2 closed
205968a 
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01AovXVgJBHGiN44TxQM4dcd
@claude
Candidates: HPACK claimed by fdn-claude, repo pending
a7f8986 
The Claude GitHub App cannot create repositories in the org (403), so
the first slice is built locally until an org owner creates
Proven-Commons/hpack.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01AovXVgJBHGiN44TxQM4dcd
@zero-aska zero-aska changed the title Candidates: bech32 in draft PR 2; semver PR 3 merged Candidates: bech32 in draft PR 2; semver PR 3 merged; HPACK claimed Oct 27, 2026
@claude
Candidates: the tar row follows the merged audit; HPACK in progress
5fc4d81 
- tar: the row said "Pilot complete" and that the audit was still
  open. mission PR 1 merged the audit, and main's README now calls the
  pilot built, not yet verified. The row says the same, and names the
  two open sets of fixes and tar issue 7.
- HPACK: Proven-Commons/hpack exists now, with the claim on hpack#1.
  The row moves to In progress.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01AovXVgJBHGiN44TxQM4dcd
@zero-aska zero-aska changed the title Candidates: bech32 in draft PR 2; semver PR 3 merged; HPACK claimed Candidates: bech32, semver, tar and HPACK rows brought up to date Oct 27, 2026
@zero-aska zero-aska mentioned this pull request Oct 27, 2026
Merged
@zero-aska zero-aska changed the title Candidates: bech32, semver, tar and HPACK rows brought up to date Candidates: bech32, semver, tar, HPACK, DER, path and URI rows brought up to date Oct 27, 2026
claude added 5 commits October 28, 2026 00:08
@claude
Candidates: DER and path first slices in draft PRs, with their test r…
8ce34df 
…ecords

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01AovXVgJBHGiN44TxQM4dcd
@claude
Candidates: path's first slice now proves 12 statements
8f9f7ac 
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01AovXVgJBHGiN44TxQM4dcd
@claude
Candidates: path's first slice proves 10 statements, each about the code
82cd020 
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01AovXVgJBHGiN44TxQM4dcd
@claude
Candidates: URI is claimed by hyd-nawab on uri#1
e08af3a 
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01AovXVgJBHGiN44TxQM4dcd
@claude
Candidates: SQLite in progress; Cedar and Redis have repos; DER numbers
eb52aac 
The SQLite reader's first slice is in sqlite draft PR 2. All three Wave 1
projects now have repos, so the Wave 1 list moves to the tables: Cedar
with its plan and the note on prior work, Redis with the brief's claims.
DER's row gives the numbers after its second self-review.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01AovXVgJBHGiN44TxQM4dcd
@zero-aska zero-aska changed the title Candidates: bech32, semver, tar, HPACK, DER, path and URI rows brought up to date Candidates: bech32, semver, tar, HPACK, DER, path, URI, SQLite, Cedar and Redis rows brought up to date Oct 28, 2026
@ahrazzle ahrazzle mentioned this pull request Oct 28, 2026
Closed
@claude
Merge main into the candidate list branch
bddd247 
Main gained MERGE-SOP.md, the bar check and a Redis paragraph in
README.md since #16 branched. The one conflict is in README.md, where
#16 adds the candidate list line and main adds the Redis line at the
same place; both are kept, Redis first.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01AovXVgJBHGiN44TxQM4dcd
@zero-aska
zero-aska changed the base branch from amp-sai/candidates-list to main October 28, 2026 17:08
@claude
Candidates: bring every row up to date with the org's repos
231da51 
Read from each repo on 2026-10-28: 26 repos have Lean code on main and
none has a spec approval, so every merged first slice stays under In
progress.

- The eight slices by fdn-claude merged on 2026-10-28; their rows say so.
- Codec, ZIP, JSON, RFC 3339, Protobuf, WebSocket and UTF-8 rows give
  their merged PRs. Codec's plans are issues 3, 5 and 7, not 1.
- TOML, IP, MessagePack, UUID, DNS and Bencode move up from Proposed,
  with their merged PRs; CSV, PNG and PEP 440 (mission issue 15) and SSH
  (mission issue 19) get rows.
- Redis moves up: its first slice merged as redis PR 1 on 2026-10-26.
  Review on #21 pointed out the stale row.
- HTTP, Cedar, URI, CBOR and the round 4 targets (JWS, MQTT, DHCPv4,
  ClientHello, XML, NTP) give their open PRs, and the six stalled PRs
  that fdn-claude is carrying forward.
- tar: PR 1 merged, and tar issue 7 chose the second set of fixes.
- The WebAssembly note now cites the second score on mission issue 19,
  which found that WasmCert and Vest do not cover the ground.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01AovXVgJBHGiN44TxQM4dcd
@zero-aska zero-aska changed the title Candidates: bech32, semver, tar, HPACK, DER, path, URI, SQLite, Cedar and Redis rows brought up to date Candidate list: land #16 on current main, with every row brought up to date Oct 28, 2026
@claude
Candidates: NTP's first slice and the six carried-forward PRs
b98c13e 
- NTP: the first Lean slice is ntp PR 4, claimed on ntp#1 on 2026-10-28.
- JWS, MQTT, DHCPv4, ClientHello, XML and CBOR: each stalled PR 2 is
  carried forward in PR 4, keeping its authors' commits, with every
  blocking finding fixed.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01AovXVgJBHGiN44TxQM4dcd
claude added 2 commits October 29, 2026 18:58
@claude
Candidates: list the round 4 and 5 targets that have no repo yet
001d66b 
The seven targets from mission issue 19 without a repo (regex, ELF64,
bplist, JSON Pointer and Patch, BSON, cron, INI) go under Proposed with
both scores, slice, claim and oracle, as the list's own rule asks. The ELF
note now says round 5 scored the narrower ELF64 reader at 14. The PR 17
note says ahrazzle scored seven of the eight round 3 targets, with
WebAssembly scored on issue 19. Both points come from the review of
mission PR 28.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01AovXVgJBHGiN44TxQM4dcd
@claude
Merge main into the candidate list branch
07645dc
@orda-aska
orda-aska merged commit f4ebf8d into main Oct 29, 2026
6 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@ahrazzle ahrazzle Awaiting requested review from ahrazzle

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

3 participants

@zero-aska @ahrazzle @claude