Skip to content

Commit 85017ed

Browse files
protoclaude
proto
and
claude
committed
Promote S12: H1→H3 BUILT (8 of 9) + H3-front response-header convergence (R12 + RFC 9114 §4.2)
H3-front response-header convergence (R12): all three H3-front cells (H3→H3, H3→H1, H3→H2) now forward full response headers (was :status + content-length only) and strip connection-specific headers per RFC 9114 §4.2, via one shared encode_h3_headers_frame_full helper. CF-H3-HEAD closed; load-bearing + R12-equivalence verified. 8 of 9 H-to-H cells BUILT (H1→H3 landed this session — both legs streaming on the extracted M-C connector, F-MD-4 R13 a/b/c both legs, F-CAP-1, bounded memory; H2→H3 honest-stopped with plan ready for S13: audit/h-matrix/s13-h2h3-plan.md). Also: M-C shared H3-upstream connector extracted (CF-DEDUP-2); fcap1_h2 saturation flake fixed (CF-SATURATION-1); H3→H3 F-MD-4 R13 b/c hardening; operator docs for gRPC-needs-H2/H3-front (CF-RESP-1 CASE-ii, owner-accepted). NOT production ready — native QUIC proxy, WebSockets-over-H3, gRPC-over-H3, full h3spec conformance, and a chaos/soak suite still pending. S13: H2→H3 (→9/9) then CF-BODY-WALLCLOCK (4-cell idle-deadline). Gate: R1 ×3 cargo test --workspace --all-features all-pass (0 failed, 211 suites) + clippy -D warnings + fmt clean. Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com>
2 parents 5812eb5 + 246d866 commit 85017ed

20 files changed

Lines changed: 4225 additions & 321 deletions

‎audit/h-matrix/s12-evidence/baseline-postfix.sh‎

Lines changed: 14 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,14 @@
1+
#!/usr/bin/env bash
2+
set -uo pipefail
3+
export CARGO_TARGET_DIR=/home/ubuntu/Code/eg-target
4+
cd /home/ubuntu/Code/ExpressGateway
5+
D=audit/h-matrix/s12-evidence
6+
for i in 1 2 3; do
7+
echo "===== POSTFIX RUN$i START $(date -u +%H:%M:%S) ====="
8+
cargo test --workspace --all-features > "$D/postfix-run$i.log" 2>&1
9+
rc=$?
10+
fc=$(grep -E 'fcap1_h2_over_cap_upload_yields_413 \.\.\. (ok|FAILED)' "$D/postfix-run$i.log" | head -1)
11+
fails=$(grep -E 'test result: FAILED' "$D/postfix-run$i.log" | wc -l)
12+
echo "POSTFIX_RUN${i}_EXIT=$rc fcap1=[$fc] failed_suites=$fails"
13+
done
14+
echo "===== POSTFIX DONE $(date -u +%H:%M:%S) ====="

‎audit/h-matrix/s12-evidence/baseline-postfix.summary‎

Lines changed: 7 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,7 @@
1+
===== POSTFIX RUN1 START 20:10:47 =====
2+
POSTFIX_RUN1_EXIT=0 fcap1=[test fcap1_h2_over_cap_upload_yields_413 ... ok] failed_suites=0
3+
===== POSTFIX RUN2 START 20:15:48 =====
4+
POSTFIX_RUN2_EXIT=0 fcap1=[test fcap1_h2_over_cap_upload_yields_413 ... ok] failed_suites=0
5+
===== POSTFIX RUN3 START 20:20:44 =====
6+
POSTFIX_RUN3_EXIT=0 fcap1=[test fcap1_h2_over_cap_upload_yields_413 ... ok] failed_suites=0
7+
===== POSTFIX DONE 20:25:39 =====

‎audit/h-matrix/s12-evidence/phase0-rest.sh‎

Lines changed: 18 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,18 @@
1+
#!/usr/bin/env bash
2+
set -uo pipefail
3+
export CARGO_TARGET_DIR=/home/ubuntu/Code/eg-target
4+
cd /home/ubuntu/Code/ExpressGateway
5+
D=audit/h-matrix/s12-evidence
6+
echo "===== RUN2 START $(date -u +%H:%M:%S) ====="
7+
cargo test --workspace --all-features > "$D/baseline-run2.log" 2>&1
8+
echo "RUN2_EXIT=$?"
9+
echo "===== RUN3 START $(date -u +%H:%M:%S) ====="
10+
cargo test --workspace --all-features > "$D/baseline-run3.log" 2>&1
11+
echo "RUN3_EXIT=$?"
12+
echo "===== CLIPPY START $(date -u +%H:%M:%S) ====="
13+
cargo clippy --all-targets --all-features -- -D warnings > "$D/baseline-clippy.log" 2>&1
14+
echo "CLIPPY_EXIT=$?"
15+
echo "===== FMT START $(date -u +%H:%M:%S) ====="
16+
cargo fmt --check > "$D/baseline-fmt.log" 2>&1
17+
echo "FMT_EXIT=$?"
18+
echo "===== DONE $(date -u +%H:%M:%S) ====="

‎audit/h-matrix/s12-evidence/phase0-rest.summary‎

Lines changed: 9 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,9 @@
1+
===== RUN2 START 19:30:25 =====
2+
RUN2_EXIT=101
3+
===== RUN3 START 19:31:51 =====
4+
RUN3_EXIT=0
5+
===== CLIPPY START 19:36:45 =====
6+
CLIPPY_EXIT=0
7+
===== FMT START 19:36:52 =====
8+
FMT_EXIT=0
9+
===== DONE 19:36:52 =====

‎audit/h-matrix/s12-evidence/phase3-gate.sh‎

Lines changed: 27 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,27 @@
1+
#!/usr/bin/env bash
2+
set -uo pipefail
3+
export CARGO_TARGET_DIR=/home/ubuntu/Code/eg-target
4+
cd /home/ubuntu/Code/ExpressGateway
5+
D=audit/h-matrix/s12-evidence
6+
for i in 1 2 3; do
7+
echo "===== PHASE3 RUN$i START $(date -u +%H:%M:%S) ====="
8+
cargo test --workspace --all-features > "$D/phase3-run$i.log" 2>&1
9+
rc=$?
10+
fails=$(grep -cE 'test result: FAILED' "$D/phase3-run$i.log")
11+
oks=$(grep -cE 'test result: ok\.' "$D/phase3-run$i.log")
12+
# spot-check the session's load-bearing smuggle/header tests
13+
h1h3=$(grep -oE 'h1h3_fmd4_(truncation_burst_current_thread|response_truncation_chunked_burst_current_thread) \.\.\. (ok|FAILED)' "$D/phase3-run$i.log" | tr '\n' ' ')
14+
h3conv=$(grep -oE 'cf_h3_head_h3_to_h[12]_full_response_headers_round_trip \.\.\. (ok|FAILED)' "$D/phase3-run$i.log" | tr '\n' ' ')
15+
fcap=$(grep -oE 'fcap1_h2_over_cap_upload_yields_413 \.\.\. (ok|FAILED)' "$D/phase3-run$i.log" | head -1)
16+
echo "PHASE3_RUN${i}_EXIT=$rc failed_suites=$fails ok_suites=$oks"
17+
echo " fcap1=[$fcap]"
18+
echo " h1h3_bursts=[$h1h3]"
19+
echo " h3_conv=[$h3conv]"
20+
done
21+
echo "===== CLIPPY START $(date -u +%H:%M:%S) ====="
22+
cargo clippy --workspace --all-targets --all-features -- -D warnings > "$D/phase3-clippy.log" 2>&1
23+
echo "CLIPPY_EXIT=$?"
24+
echo "===== FMT START $(date -u +%H:%M:%S) ====="
25+
cargo fmt --check > "$D/phase3-fmt.log" 2>&1
26+
echo "FMT_EXIT=$?"
27+
echo "===== PHASE3 DONE $(date -u +%H:%M:%S) ====="

‎audit/h-matrix/s12-evidence/phase3-gate.summary‎

Lines changed: 20 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,20 @@
1+
===== PHASE3 RUN1 START 22:00:14 =====
2+
PHASE3_RUN1_EXIT=0 failed_suites=0 ok_suites=211
3+
fcap1=[fcap1_h2_over_cap_upload_yields_413 ... ok]
4+
h1h3_bursts=[h1h3_fmd4_truncation_burst_current_thread ... ok h1h3_fmd4_response_truncation_chunked_burst_current_thread ... ok ]
5+
h3_conv=[cf_h3_head_h3_to_h1_full_response_headers_round_trip ... ok cf_h3_head_h3_to_h2_full_response_headers_round_trip ... ok ]
6+
===== PHASE3 RUN2 START 22:07:49 =====
7+
PHASE3_RUN2_EXIT=0 failed_suites=0 ok_suites=211
8+
fcap1=[fcap1_h2_over_cap_upload_yields_413 ... ok]
9+
h1h3_bursts=[h1h3_fmd4_truncation_burst_current_thread ... ok h1h3_fmd4_response_truncation_chunked_burst_current_thread ... ok ]
10+
h3_conv=[cf_h3_head_h3_to_h1_full_response_headers_round_trip ... ok cf_h3_head_h3_to_h2_full_response_headers_round_trip ... ok ]
11+
===== PHASE3 RUN3 START 22:13:05 =====
12+
PHASE3_RUN3_EXIT=0 failed_suites=0 ok_suites=211
13+
fcap1=[fcap1_h2_over_cap_upload_yields_413 ... ok]
14+
h1h3_bursts=[h1h3_fmd4_truncation_burst_current_thread ... ok h1h3_fmd4_response_truncation_chunked_burst_current_thread ... ok ]
15+
h3_conv=[cf_h3_head_h3_to_h1_full_response_headers_round_trip ... ok cf_h3_head_h3_to_h2_full_response_headers_round_trip ... ok ]
16+
===== CLIPPY START 22:18:28 =====
17+
CLIPPY_EXIT=0
18+
===== FMT START 22:18:39 =====
19+
FMT_EXIT=0
20+
===== PHASE3 DONE 22:18:40 =====

0 commit comments

Comments
 (0)