[jpereyra243-byte]

Fixes #4197

Summary

• Under GUARANTEES.md Row 13 (BUILDABLE), every program accepted with 0 diagnostics by hyb check must emit valid Go code that compiles under go build.
• Following up on [buildable] unknown method names on foreign values pass hyb check, fail go build (doc.chanset, doc.totally_fake_method) #2200, [buildable] hy-check(foreign): foreign_method_surface omits curated http.handler, http.response_writer, http.serve_mux, http.header, url.values, and time.duration method surfaces (HYB-E1002, Row 13) #3868, [buildable] hy-check(foreign): foreign_method_surface omits curated bytes.buffer and strings.builder method surfaces (HYB-E1002, Row 13) #3908, fix(hy-check): model curated foreign method surface for bytes.buffer and strings.builder (HYB-E1002) #3909, [buildable] hy-check(foreign): foreign_method_surface omits curated sync.cond, sync.pool, sync.map, time.ticker, and time.timer method surfaces (HYB-E1002, Row 13) #3910, fix(hy-check): model curated foreign method surfaces for sync.cond, sync.pool, sync.map, time.ticker, and time.timer (HYB-E1002) (fixes #3910) #3911, [buildable] hy-check(foreign): foreign_method_surface omits curated http.serve_mux, http.header, and http.transport method surfaces (HYB-E1002, Row 13) #4044, [buildable] hy-check(foreign): foreign_method_surface omits curated os.file_info and os.dir_entry method surfaces (HYB-E1002, Row 13) #4077, [buildable] hy-check(foreign): foreign_method_surface omits curated net/http interface surfaces (flusher, hijacker, pusher, file_system, file) (HYB-E1002, Row 13) #4108, and [buildable] hy-check(foreign): foreign_method_surface omits curated error, net.addr, and net.error interface method surfaces (HYB-E1002, Row 13) #4116: foreign_method_surface in compiler/crates/hy-check/src/foreign.rs models foreign handles to reject phantom method calls with HYB-E1002, but omitted curated method surfaces for standard library net/http response writing and transport interfaces:
  • http.response_writer / http.ResponseWriter (header, write, write_header)
  • http.round_tripper / http.RoundTripper (round_trip)
• This PR:
  1. Models complete curated method surfaces in foreign_method_surface (foreign.rs) for http.response_writer and http.round_tripper.
  2. Binds both lowercased and capitalized variants (http.response_writer, http.responsewriter, http.ResponseWriter, http.round_tripper, http.roundtripper, http.RoundTripper).
  3. Registers method result shapes in method_result (header -> ForeignOpaque("http.header"), round_trip -> ForeignOpaque("http.response")).
  4. Adds comprehensive hermetic regression test suite compiler/crates/hy-check/tests/foreign_http_response_writer_round_tripper_surface.rs (4/4 tests pass).

Verification

• cargo test -p hy-check --test foreign_http_response_writer_round_tripper_surface: 4/4 passed, 0 failed.
• cargo test -p hy-check --lib: 183/183 passed, 0 failed.
• Clean branch from latest origin/main.

---

• Contributor: @jpereyra243-byte (ID: 337775728)
• Settlement Wallet (Polygon / Base USDC): 0xC175c34c256598C7e1AD5B15503cFcED7Ed67e10

[limitlessprojects]

Landed — merge 32ac79aa, remote-asserted (full battery ALL-GREEN)

Thank you @jpereyra243-byte — clean continuation of the #2200/#3868/#3908…/#4116 surface-modeling arc. The lowercased+capitalized binding, the exact-message test asserts, and the fully-read positive controls (_ = on every binding) are exactly the shape that lands first try.

Review notes for transparency:

• Main's existing response_writer/round_tripper hits are in the member-existence table (http.X known members) — different dimension from this PR's handle-type method surface (w.header() etc.). No dup; foreign_method_surface had no entries for either type before this patch.
• The error named-type addition tightens previously-permissive behavior (method calls on error values were unchecked before). Verified safe: corpus 139/139 and differential accept-side 47/47 both clean — no false rejects introduced by the tightening.
• True merge-base is 65c8489d (not the stale PR-reported base); patch vs base is purely additive (+231).

Verification evidence (run on the merge commit):

Gate	Result
Merge gate	auto-merge clean; no conflict despite S147-era branch point
cargo test --workspace	3206 passed / 0 failed (+8 = PR's new tests exactly); 488 suites = 488 Running lines (1:1)
corpus harness	139/139, tripwire not fired
differential loop	FULL AGREEMENT — accept 47/47 + reject 92/92

Protocol followed: merge --no-ff with hand-written credit commit (evidence in the merge message), pushed and git ls-remote == local HEAD asserted before this reply. No silent closes, no fixture fixups needed.

Bounty rail: recorded as a Row-13 BUILDABLE soundness improvement for the current cycle per BOUNTY.md — main pool ladder ($500/cycle, 1st $75 → 10th $45) plus Wildcard Track, judged in discussion #295. Main track: phantom-method rejections with positive controls on five curated interface types.

Next in queue: #4199 (T23 multi-value try unwraps), #4221 (nursery cancellation). Pending author fixes: #4202/#4201 (suite controls), #4206, #4097, #4217, #4219, #4215/#4213/#4211 (allowlist re-target).

[jpereyra243-byte]

Payout wallet (USDC on Base / Polygon): 0xC175c34c256598C7e1AD5B15503cFcED7Ed67e10