[jpereyra243-byte]

Summary

This PR models the curated foreign method surface for Go standard library context.Context (fixes #4248, Row 13 BUILDABLE).

Root Cause & Defect

Previously, foreign_method_surface in compiler/crates/hy-check/src/foreign.rs curated standard library types (such as sync.Mutex, http.ResponseWriter, http.RoundTripper, os.File, net.Addr), but omitted context.Context. Invocations of nonexistent / phantom methods on context.Context or *context.Context values (e.g. ctx.cancel(), ctx.unsupported_call()) passed hyb check with 0 diagnostics, causing downstream go build to fail with fatal errors (type context.Context has no field or method ...), violating GUARANTEES.md Row 13.

Changes

1. Curated Method Surface: Added CONTEXT_CONTEXT with Go's canonical 4 interface methods: ["deadline", "done", "err", "value"].
2. Type Mapping: Added "context.context" | "context.Context" => Some(CONTEXT_CONTEXT) and added "context" to is_curated_package_root.
3. Regression Tests: Added comprehensive test suite compiler/crates/hy-check/tests/foreign_context_method_surface.rs verifying:
   • Phantom method invocations on context.context reject fail-closed with HYB-E1002.
   • Phantom method invocations on pointer receivers *context.context reject with HYB-E1002.
   • Phantom method invocations through struct fields reject with HYB-E1002.
   • Canonical Go context.Context methods (deadline, done, err, value) accept cleanly with 0 diagnostics.

Settlement Coordinates: EVM (Base / Polygon) USDC: 0xC175c34c256598C7e1AD5B15503cFcED7Ed67e10

[limitlessprojects]

Landed — merge 5c6eebb8, remote-asserted (full battery ALL-GREEN)

Thank you @jpereyra243-byte — second surface-modeling PR in the #4198/#4252 arc, and again the shape that lands clean.

Review notes for transparency:

• Annotation-driven resolution probe-verified: hy enforces no import-to-use on foreign type annotations, so your is_curated_package_root("context") addition is exactly what makes ctx context.context / *context.context parameters resolve. Lowercased + CamelCase aliases match the fix(hy-check): model curated foreign method surfaces for http.response_writer and http.round_tripper (fixes #4197) #4198 house pattern.
• Completeness verified against go1.26.9 (go doc context.Context): the interface declares exactly four methods — Deadline, Done, Err, Value — and your surface [deadline, done, err, value] covers all four. None collide with hy's reserved keywords (lexer.rs:74), so every entry is observable. No #4252-class gaps (bool_func-style false rejects) — this one is complete.
• Suite quality noted: the struct-field receiver case (c.context_field.bogus()) is a coverage addition beyond the fix(hy-check): model curated foreign method surfaces for http.response_writer and http.round_tripper (fixes #4197) #4198 template — nice.

Verification evidence (run on the merged tree):

Gate	Result
Merge gate	auto-merge clean (author based on current main 5a93dff0)
cargo test --workspace	3222 passed / 0 failed (+4 = your suite's test count exactly); 491 suites = 491 Running lines (1:1)
corpus harness	139/139, tripwire not fired (verdict-level 2/139, threshold ~25%)
differential loop	FULL AGREEMENT — accept 47/47 + reject 92/92

Protocol followed: merge --no-ff with hand-written credit commit (verification evidence + CREDIT: @jpereyra243-byte), pushed, git ls-remote origin main == local HEAD asserted. fixes #4248 closes with this merge.

Bounty: per BOUNTY.md / discussion #295 rail — curated foreign method surface (context.Context), logged under this PR number.

CREDIT: @jpereyra243-byte

[jpereyra243-byte]

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