Skip to content

Phase 3 status and README outside TLS (3.9, part) - #41

Merged
atiernan merged 2 commits into
mainfrom
phase3/status-readme
Oct 30, 2026
Merged

atiernan merged 2 commits into
mainfrom
phase3/status-readme

Conversation

@atiernan

Copy link
Copy Markdown
Member

The non-TLS part of item 3.9.

  • cargo xtask report now counts the network shell (crates/clazel-net/src, 1805 lines today) the way it counts the host shell, as footnote ⁷ of the README table. There's no limit because the plan sets none. CI's table job will write the footnote. The table isn't regenerated here (CLAUDE.md).
  • README.md: the Phase 3 note, the table's lede (it no longer "predates Phase 3") and the fetch notes now match main: redirects and cookies, http:// only, TLS on open PRs.
  • docs/phases/phase-3.md: the 3.6, 3.7, 3.8 and 3.9 status rows. 3.8 records the socket runs: http-state 195 pass / 27 xfail / 0 fail of 222, and WPT cookies/ 157 / 10 / 0 of 167 (run locally 2026-10-29). The 3.5 rows are untouched because TLS 1.3, libcrux crypto, CertificateVerify, P-384 and from_unix_seconds (3.5) #34 rewrites them.
  • docs/ROADMAP.md: Phase 3 status line.

Still for when TLS lands: the https:// demo, the 3.5 rows, and marking the phase done. The kernel-side WPT cookies/ rows that need HTTP (3.7) are still open.

Local: cargo xtask check passed static checks; cargo test -p xtask 64 passed. I didn't run xtask verify --changed. xtask/ changed, so CI verifies every crate.

🤖 Generated with Claude Code

atiernan and others added 2 commits October 29, 2026 12:59
…(3.9)

cargo xtask report counts crates/clazel-net/src like the host shell and
writes it as footnote 7. No limit: the plan sets none.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
README's Phase 3 note, the table's lede and the fetch notes match main:
HTTP, DNS, fetch, DER and PKCS#1 at tier 2, the kernel join, redirects and
cookies in clazel fetch. phase-3.md's 3.6 to 3.9 rows and ROADMAP's status
line updated; the 3.5 rows are left to #34. The status table is not
regenerated (CI's table job writes it).

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
@atiernan
atiernan deployed to full-verification October 29, 2026 12:59 — with GitHub Actions Active
@atiernan
atiernan merged commit c7d2ed3 into main Oct 30, 2026
33 checks passed
@atiernan
atiernan deleted the phase3/status-readme branch October 30, 2026 22:14

This branch was successfully deployed

1 active deployment
full-verification — ad2bdeec Deployed Oct 29, 2026 by atiernan via Approve the proofs #145
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