doctor

type Options struct {
	// Port is the TCP port `edvabe serve` will bind. Defaults to 3000.
	Port int
	// BaseImage is the tag that `edvabe build-image` produces. Defaults
	// to sandbox.DefaultImage.
	BaseImage string
	// EnvdSourceImage is the scratch image `edvabe build-image` produces
	// alongside BaseImage. Defaults to upstream.EnvdSourceTag.
	EnvdSourceImage string
	// CodeInterpreterImage is the code-interpreter image tag. Defaults
	// to upstream.CodeInterpreterTag. Its absence is informational, not
	// a hard failure.
	CodeInterpreterImage string
	// PausePolicy, when non-zero, is surfaced as an info line so users
	// can see the limits that `edvabe serve` will apply.
	PausePolicy sandbox.PausePolicy
}