8000 T122 — Host-address boxes reach GitHub, end to end · Issue #2858 · gominimal/minimal · GitHub
[go: up one dir, main page]

Skip to content

T122 — Host-address boxes reach GitHub, end to end #2858

Closed

Description

@norrietaylor

Task

slice size difficulty model who estimated lines
Host-address boxes reach GitHub M needs care standard an agent 260 (0 code, 260 tests)

A box started on the default host network clones, pushes and runs gh against a private repository through the proxy under its default dns steering with no proxy variables, and a host-address box with no grant still resolves GitHub's real address.

Covers:

  • BEP-087

Layers:

  • e2e:
    • scripts/session-e2e.sh: three cases on a VM host with a host_ip grant box: under the default steering, and under steering = "proxy_env", git clones and pushes and gh api reads a private repository; a second host_ip box with no grant resolves github.com to a real address in the first case; a third case proves T117 on a Mac: a GitHub grant box started with --network host_ip gets a box id from min box show and reaches the proxy's listener, and after it ends a host_ip box with no grant cannot reach the proxy's address
    • ./scripts/session-e2e.sh bep_host_ip_git_and_gh_under_dns_steering
    • ./scripts/session-e2e.sh bep_host_ip_git_and_gh_under_proxy_env
    • ./scripts/session-e2e.sh bep_host_ip_grant_box_reaches_the_proxy_lane

Waits on:

Plan block
### T122 — Host-address boxes reach GitHub, end to end
  slice: S17
  kind: integration
  covers: BEP-087
  size: M
  est: 0 code, 260 tests
  executor: agent
  difficulty: needs care
  model: standard
  diagnostics: each case prints PASS, or NOT RUN with its gate where a GitHub sign-in or `E2E_BEP_PRIVATE_REPO` is missing
  observability: on a failure each case prints the box's `min box audit` records and the proxy's debug lines for the box id, so a refused or unsteered request shows where it stopped
  layers:
    - e2e:
      - scripts/session-e2e.sh: three cases on a VM host with a `host_ip` grant box: under the default steering, and under `steering = "proxy_env"`, git clones and pushes and gh api reads a private repository; a second `host_ip` box with no grant resolves github.com to a real address in the first case; a third case proves T117 on a Mac: a GitHub grant box started with `--network host_ip` gets a box id from `min box show` and reaches the proxy's listener, and after it ends a `host_ip` box with no grant cannot reach the proxy's address
      test: ./scripts/session-e2e.sh bep_host_ip_git_and_gh_under_dns_steering
      test: ./scripts/session-e2e.sh bep_host_ip_git_and_gh_under_proxy_env
      test: ./scripts/session-e2e.sh bep_host_ip_grant_box_reaches_the_proxy_lane
  produces: none
  consumes:
    - per-box dns steering for a host-address box
    - the in-VM refusal of a host-address box with no grant at the proxy's address
  proof: A box started on the default host network clones, pushes and runs gh against a private repository through the proxy under its default dns steering with no proxy variables, and a host-address box with no grant still resolves GitHub's real address.
  depends on:
    - blocked by #2854
    - blocked by #2855
    - blocked by #2856
    - blocked by #2857
    - blocked by #3032
    - blocked by #3047
    - blocked by #3048
    - blocked by #3049

Activity

  1. added
    kind:taskA task the plan skill rendered; the body carries ## Task
    size:M200 to 500 net lines; one PR
    model:standardA standard model: work that needs care, or routine work that is large
    plan:integrationOwns the seam of a slice; its proof is the slice's observable
    on Nov 2, 2026
  2. minimal-foundry commented on Nov 6, 2026

    @minimal-foundry
    Contributor

    Done. #3095 merged.

    branch agent/2858-host-address-boxes-reach-github-end-to-end · epic #1501 · PR #3095

    round outcome job
    1 pushed e55dbb08
    2 pushed 738d2c94
    3 pushed edfaa0da

    Updated 2026-11-06T19:48:00.663Z.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

No one assigned

    Labels

    kind:taskA task the plan skill rendered; the body carries ## Taskmodel:standardA standard model: work that needs care, or routine work that is largeplan:integrationOwns the seam of a slice; its proof is the slice's observablesize:M200 to 500 net lines; one PR

    Type

    No type

    Projects

    No projects

      Milestone

      No milestone

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions

      0