Skip to content

Validate selected-harness observations in live Cloud Hypervisor guests #11091

Closed

Description

@lpcox

Parent and priority

Bounded validation child of Phase 4 #10294, under #10290. User-directed order: Cloud Hypervisor and NVX before Docker/ARC-DinD live acceptance. Docker implementation #11072 is merged; #11068 remains open for its acceptance evidence. This issue concerns the existing Cloud Hypervisor primary-guest observation producer from #11057/#11064, not a new producer or enclave support.

Evidence gap

The existing Cloud Hypervisor producer uses the ready manager execution channel with command-matching guest UID/GID, environment, cwd and login shell. Probe bounds, sanitized parsing, environment binding, report publication, eligibility and immutable request/routing pins have deterministic coverage. That does not establish live KVM guest compatibility or prove this new observation-to-command path ran in an actual guest.

Scope

Use the same bounded fixture-based acceptance approach as Docker, adapted to the existing Cloud Hypervisor backend and KVM test infrastructure. Exercise the real compiled producer/lifecycle with deterministic Copilot/Claude/Codex fixture executables rather than live provider inference. Reuse existing test harnesses and ordinary CI where suitable. Verify guest evidence rather than substituting a host executable/version.

Acceptance criteria

  • A real supported Linux x86_64/KVM Cloud Hypervisor primary guest resolves and probes the directly selected fixture harness before the command executes; canonical harness/environment binding and sanitized version report are asserted.
  • Guest identity, env/PATH/login-shell and cwd semantics match the subsequent command. Observations from the host, a different run/environment/harness or the primary agent for an enclave do not qualify.
  • Matching test-owned requirements admit the command, and applicable incompatible/unverified requirements prevent its execution with sanitized actionable reasons. Unconstrained legacy admission is not represented as verified compatibility. Test constraints must not become production catalogue facts or enable feed constraints.
  • Missing/malformed/failed/oversized/timed-out probes and startup/cancellation/cleanup paths are covered with explicit evidence; verify the existing 10-second/4096-byte bounds and no stderr/credential/raw-error leakage.
  • Report publication and immutable eligibility/request/routing observation pinning are exercised at the appropriate real-consumer boundary, without mutating in-flight decisions.
  • Real guest run evidence is recorded separately from deterministic test results, including exact tested revision and environment. Unavailable KVM/artifacts/runner infrastructure is a blocker, not a pass or a reason to close this issue.
  • Necessary test/fixture/lifecycle corrections and directly related documentation are included in a bounded change with existing targeted validation and packaging checks as applicable.

Non-goals

No provider inference, sbx support, Docker/ARC-DinD acceptance work, NVX producer work, per-invocation enclave/opaque/session attribution, compiler/overlay protocol changes, immutable executable attestation or new execution-security architecture. Keep production bundled harness constraints empty and feed constraints rejected as catalogue_harness_unsupported. Preserve policy/network/feature/effort/known-limit controls, pricing non-admission and bounded recovery/opt-outs. Supported product targets remain cloud-hypervisor, nvx, docker and arc/dind only. Broader phases remain open.

Activity

  1. lpcox commented on Nov 4, 2026

    @lpcox
    CollaboratorAuthor

    Live-evidence clarification: the provider-free Cloud Hypervisor run https://github.com/github/gh-aw-firewall/actions/runs/41890219332 finished with FAILURE. Same-run artifact build, host/digest preflight and existing KVM smoke/security coverage passed, but the new harness-observation suite failed at its residue preflight before any harness case ran. The subsequent selected-harness suite was skipped. This does not establish the harness acceptance criteria above.

    The tested checkout was PR merge revision 20b2761 (reported tree-identical to reviewed head 5aab89b). PR #11096 remains open; residue-preflight diagnosis is ongoing. The issue was closed separately before this run finished; its closed state should not be read as proof of live harness acceptance. This comment preserves that distinction without changing the user-set issue state. No additional run has been triggered.

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

Metadata

Metadata

Assignees

Labels

No labels
No labels

Type

No type

Projects

No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions