v0.31.7

tools/checks/h3_navigation_0316.py

@@ -1,10 +1,10 @@
 #!/usr/bin/env python3
-"""Compiler-independent guard for the 0.31.6 H3 navigation patch."""
+"""Compiler-independent guard for the 0.31.7 H3 navigation patch."""
 from pathlib import Path
 
 ROOT = Path(__file__).resolve().parents[2]
 html = (ROOT / 'src/admin/web/index.html').read_text()
-assert '0.31.6' in (ROOT / "Cargo.toml").read_text()
+assert '0.31.7' in (ROOT / "Cargo.toml").read_text()
 assert '<a class="brand" href="/"' in html, 'logo must remain a true full-page navigation'
 assert 'addEventListener("click"' not in html.split('<a class="brand" href="/"',1)[1].split('</a>',1)[0]
 body = (ROOT / 'src/proxy/cache_helpers.rs').read_text()
@@ -28,4 +28,4 @@ for marker in ('h3_bodyless_get_and_head_are_normalized_for_http1_navigation',
                'h3_stalled_cache_probe_bypasses_without_blocking_navigation',
                'h3_cache_probe_replays_nonempty_get_without_dropping_bytes'):
     assert marker in rust_tests, marker
-print('PASS: RustProxy 0.31.6 original logo, H3 empty-GET receive lifecycle, bounded probe, per-stream diagnostics and drain invariants')
+print('PASS: RustProxy 0.31.7 original logo, H3 empty-GET receive lifecycle, bounded probe, per-stream diagnostics and drain invariants')