Repository navigation
Create net.rs module with NetworkMode and gvproxy spawn #453
Description
Task
repo: gominimal/minimal
spec: docs/specs/03-spec-minvmd-networking-gvproxy/03-spec-minvmd-networking-gvproxy.md
requirements: R1.1, R1.2
files in scope:
- crates/minvmd/src/net.rs (new)
- crates/minvmd/src/lib.rs
proof artifacts: - Test:
cargo test -p minvmd net::passes — unit tests verifyresolve_net_mode()returnsGvProxyby default andTsiwhenMINVMD_NETMODE=tsiis set;spawn_gvproxy()returns clear error when gvproxy binary not found - CLI:
cargo clippy -p minvmd -- -D warningspasses with no new warnings after adding net.rs module
verification: - cargo test -p minvmd
- cargo clippy --allow-dirty --fix --all-targets -- -D warnings
depends on:
Related to #404
Related to #450
Generated by sdd-triage for issue #404 · sonnet45 2.4M · ◷
Activity
gominimal-aw-bot commentedon Jun 17, 2026
/execute
gominimal-aw-bot commentedon Jun 18, 2026
Pull request created: #463
refactor(minvmd,gvproxy): extract shared gvproxy spawn helper into a …
feat(minvmd): add net module with NetworkMode and gvproxy spawn (#463)