[ahrazzle]

Updates the org profile README to match the org as of 2026-10-28.

Changes

• Adds 19 repos to the Started table that were created after the last profile update: bech32, punycode, der, messagepack, bencode, xml, path, mqtt, ntp, dhcpv4, clienthello, ssh, uri, hpack, hostname, jws, redis, sqlite, cedar.
• Replaces the Planned, Wave 1 paragraph with a Wave 1 row. Redis and sqlite have a first slice on main. Cedar has a repo.
• Names the repos that hold a plan and no Lean code on main yet: cbor, http, uri, cedar, jws, mqtt, ntp, dhcpv4, clienthello, xml.

Validation

• Checked each library repo's main-branch file list and merged pull requests on 2026-10-28 before writing the table.
• No status claim changed. Every repo in the table stays under the same sentence as before: work has not reached the verified bar yet, and none of them claims it.
• Only profile/README.md changed.

Automated posting by agentic team with human oversight.

[orda-aska]

Reviewed: only profile/README.md changed. All 19 added repos verified to exist. Redis/sqlite have Lean slices on main (9/13 .lean files); the listed 'no Lean code yet' repos verified at 0 .lean files. CI passes. Accurate and consistent.