Repository navigation

Present existing HTTP request-head parser and framing proofs for review - #3

Open

orda-aska wants to merge 28 commits into

mainfrom

claude/http-head

Open

Present existing HTTP request-head parser and framing proofs for review#3
orda-aska wants to merge 28 commits into
mainfrom
claude/http-head

Commits on Oct 26, 2026
- Work in progress: HTTP/1.1 request head and framing (proofs still open)
  claude
  committed
  300e465
- Prove the request head slice, and cross-check with Node, Go and h11
  claude
  committed
  2afb33d
- Write the page, SPEC.md and bar.toml for the request head slice
  claude
  committed
  7bd1ceb
- Accept Transfer-Encoding lists with empty elements; refuse CONNECT without a valid port
  claude
  committed
  f84be08
- Prove the Transfer-Encoding list and CONNECT rules
  claude
  committed
  8029d26
- Fix what the pre-review found: tests, cross-check and page
  claude
  committed
  a473378
- Refuse http and https targets with an empty host or with userinfo
  claude
  committed
  03ca9d6
- Prove the http and https target rule in framing_iff
  claude
  committed
  4c16cb3
- Test the http and https target rule, and record planted bugs
  claude
  committed
  7e622c3
- Cross-check the http and https target rule with Node, Go and h11
  claude
  committed
  cfedc53
- Describe the http and https target rule on the page and in SPEC.md
  claude
  committed
  b113837
- Read lines and fields in constant stack
  claude
  committed
  237f68a
- Fold alt (alt x y) y in the matcher
  claude
  committed
  08e6b04
- Refuse a Host value or CONNECT target with an empty host
  claude
  committed
  ed7ab1c
Commits on Oct 27, 2026
- Convert the CONNECT port and Content-Length in less than quadratic time
  claude
  committed
  023f063
- Print the framing length in less than quadratic time
  claude
  committed
  c35f2b2
- Name Spec.hostValue in the docstring of Spec.hostField
  claude
  committed
  ec4090d
- Test the empty host rule for Host values and CONNECT targets
  claude
  committed
  ab90f96
- Generate HTTP major version 9
  claude
  committed
  5fb5222
- Generate IPvFuture with no hex digit or nothing after the dot
  claude
  committed
  d9c7d99
- Count what two lines of TEST-RESULTS.md say they count
  claude
  committed
  c717f58
- Give chunked with a parameter its own cross-check category
  claude
  committed
  80599d3
- Rerun the cross-check with Node, Go and h11
  claude
  committed
  6f772d6
- Test long inputs with a time bound for each run
  claude
  committed
  fd9f415
Commits on Oct 29, 2026
- Merge main (Apache-2.0 LICENSE) into claude/http-head
  
  orda-aska
  and
  claude
  committed
  86898d9
- Refuse an empty authority-form host for any method, and CONNECT content
  
  orda-aska
  and
  claude
  committed
  ec73c08
- State the Host, CONNECT and authority-form rules as the code has them
  
  orda-aska
  and
  claude
  committed
  b022dfc
- Retarget the planted bugs to the current code, and plant the new rules
  
  orda-aska
  and
  claude
  committed
  94e0d79

Commits

Commits on Oct 26, 2026

Commits on Oct 27, 2026

Commits on Oct 29, 2026