Europa: reconcile engine.#Exec spec with implementation

Signed-off-by: Solomon Hykes <solomon@dagger.io>

europa-universe/docker/docker.cue

@@ -28,6 +28,7 @@ import (
 	mounts: [name=string]: engine.#Mount
 
 	// Expose network ports
+	// FIXME: investigate feasibility
 	ports: [name=string]: {
 		frontend: dagger.#Service
 		backend: {
@@ -84,12 +85,7 @@ import (
 	// Username or UID to ad
 	// User identity for this command
 	// Examples: "root", "0", "1002"
-	user: string
+	user: string | *"root"
-
-	// Optionally attach to command standard streams
-	stdin:  dagger.#Stream | *null
-	stdout: dagger.#Stream | *null
-	stderr: dagger.#Stream | *null
 
 	// Output fields
 	{
@@ -133,11 +129,10 @@ import (
 	_exec: engine.#Exec & {
 		args:      [cmd.name] + cmd._flatFlags + cmd.args
 		input:     image.rootfs
-		"mounts": [ for mnt in mounts {mnt}]
+		"mounts":  mounts
-		environ: [ for k, v in env {"\(k)=\(v)"}]
+		"env":     env
 		"workdir": workdir
-		"stdin":   stdin
+		"user":    user
-		// FIXME: user
 	}
 }
 

stdlib/europa/dagger/engine/spec/engine/exec.cue

@@ -7,32 +7,39 @@ package engine
 	// Container filesystem
 	input: #FS
 
-	// Mounts
+	// Transient filesystem mounts
-	mounts: [...#Mount]
+	//   Key is an arbitrary name, for example "app source code"
+	//   Value is mount configuration
+	mounts: [name=string]: #Mount
 
 	// Command to execute
-	args: [...string] | string
+	// Example: ["echo", "hello, world!"]
+	args: [...string]
 
 	// Environment variables
-	environ: [...string]
+	env: [key=string]: string
 
 	// Working directory
-	workdir?: string
+	workdir: string | *"/"
 
-	// Optionally attach to command standard input stream
+	// User ID or name
-	stdin?: #Stream
+	user: string | *"root"
 
-	// Optionally attach to command standard output stream
+	// If set, always execute even if the operation could be cached
-	stdout?: #Stream
+	always: true | *false
-
-	// Optionally attach to command standard error stream
-	stderr?: #Stream
 
 	// Modified filesystem
 	output: #FS
 
 	// Command exit code
-	exit: int
+	// Currently this field can only ever be zero.
+	// If the command fails, DAG execution is immediately terminated.
+	// FIXME: expand API to allow custom handling of failed commands
+	exit: int & 0
+
+	// Inject hostname resolution into the container
+	// key is hostname, value is IP
+	hosts: [hostname=string]: string
 }
 
 // A transient filesystem mount.