Add repo Eve surface safe family

epiphany-core/src/bin/epiphany-repo-eve-surface-family-smoke.rs

@@ -0,0 +1,390 @@
+use anyhow::Context;
+use anyhow::Result;
+use anyhow::anyhow;
+use chrono::Utc;
+use serde_json::Value;
+use serde_json::json;
+use std::env;
+use std::fs;
+use std::path::Path;
+use std::path::PathBuf;
+use std::process::Command;
+
+fn main() -> Result<()> {
+    let args = Args::parse()?;
+    let result = run_smoke(args)?;
+    println!("{}", serde_json::to_string_pretty(&result)?);
+    Ok(())
+}
+
+#[derive(Clone, Debug)]
+struct Args {
+    root: PathBuf,
+    smoke_root: PathBuf,
+}
+
+impl Args {
+    fn parse() -> Result<Self> {
+        let mut root = env::current_dir().context("failed to resolve current directory")?;
+        let mut smoke_root = root.join(".epiphany-smoke");
+        let mut args = env::args().skip(1).peekable();
+        while let Some(arg) = args.next() {
+            match arg.as_str() {
+                "--root" => root = take_path(&mut args, "--root")?,
+                "--smoke-root" => smoke_root = take_path(&mut args, "--smoke-root")?,
+                other => return Err(anyhow!("unexpected argument {other:?}")),
+            }
+        }
+        Ok(Self { root, smoke_root })
+    }
+}
+
+fn run_smoke(args: Args) -> Result<Value> {
+    let root = args
+        .root
+        .canonicalize()
+        .with_context(|| format!("failed to resolve {}", args.root.display()))?;
+    let manifest = root.join("epiphany-core").join("Cargo.toml");
+    if !manifest.exists() {
+        return Err(anyhow!(
+            "could not find epiphany-core manifest at {}",
+            manifest.display()
+        ));
+    }
+    fs::create_dir_all(&args.smoke_root)
+        .with_context(|| format!("failed to create {}", args.smoke_root.display()))?;
+    let stamp = Utc::now().format("%Y%m%d-%H%M%S").to_string();
+    let smoke_dir = args
+        .smoke_root
+        .join(format!("repo-eve-surface-family-{stamp}"));
+    if smoke_dir.exists() {
+        fs::remove_dir_all(&smoke_dir)
+            .with_context(|| format!("failed to clear {}", smoke_dir.display()))?;
+    }
+    fs::create_dir_all(&smoke_dir)
+        .with_context(|| format!("failed to create {}", smoke_dir.display()))?;
+
+    let repo = smoke_dir.join("repo-body");
+    fs::create_dir_all(&repo).with_context(|| format!("failed to create {}", repo.display()))?;
+    git(["init"], &repo)?;
+    git(
+        ["config", "user.email", "epiphany-smoke@example.invalid"],
+        &repo,
+    )?;
+    git(["config", "user.name", "Epiphany Smoke"], &repo)?;
+    fs::write(
+        repo.join("README.md"),
+        "# Repo Eve Surface Family Smoke\n\nThis repository proves branch-local Eve surface contracts.\n",
+    )
+    .with_context(|| format!("failed to seed {}", repo.join("README.md").display()))?;
+    git(["add", "README.md"], &repo)?;
+    git(["commit", "-m", "Seed repo Eve surface smoke body"], &repo)?;
+    git(["switch", "-c", "epiphany/repo-eve-surface-family"], &repo)?;
+
+    let item = "repo-eve-surface-family";
+    let target_path = ".epiphany/eve-surfaces/repo-eve-surface-family.toml";
+    let local_verse = repo.join(".epiphany").join("local-verse.ccmp");
+    cargo_json(
+        &manifest,
+        "epiphany-repo",
+        &[
+            "init",
+            "--workspace",
+            path_str(&repo)?,
+            "--epiphany-root",
+            path_str(&root)?,
+            "--swarm-id",
+            "repo-eve-surface-family-smoke",
+            "--topic",
+            "repo-eve-surface-family",
+        ],
+        &root,
+    )?;
+    cargo_json(
+        &manifest,
+        "epiphany-swarm",
+        &[
+            "online",
+            "--workspace",
+            path_str(&repo)?,
+            "--epiphany-root",
+            path_str(&root)?,
+            "--runtime-id",
+            "repo-eve-surface-family-smoke",
+            "--local-verse-store",
+            path_str(&local_verse)?,
+        ],
+        &root,
+    )?;
+    cargo_json(
+        &manifest,
+        "epiphany-work",
+        &[
+            "accept",
+            "--workspace",
+            path_str(&repo)?,
+            "--from",
+            "persona",
+            "--item",
+            item,
+            "--summary",
+            "Expose a compact agent-friendly Eve surface contract for repo collaboration over CultMesh.",
+            "--candidate-action-ref",
+            "candidate-action://repo-eve-surface-family/eve-contract",
+            "--public-discussion-ref",
+            "epiphany-global/persona-collaboration/repo-eve-surface-family",
+        ],
+        &root,
+    )?;
+    let plan = cargo_json(
+        &manifest,
+        "epiphany-work",
+        &[
+            "derive-plan",
+            "--workspace",
+            path_str(&repo)?,
+            "--item",
+            item,
+            "--action-family",
+            "repo-eve-surface",
+            "--model-ref",
+            "repo-eve-surface-family-smoke-imagination-v1",
+            "--model-authored",
+        ],
+        &root,
+    )?;
+    for _ in 0..4 {
+        cargo_json(
+            &manifest,
+            "epiphany-work",
+            &[
+                "tick",
+                "--workspace",
+                path_str(&repo)?,
+                "--epiphany-root",
+                path_str(&root)?,
+                "--item",
+                item,
+                "--cooldown-seconds",
+                "0",
+            ],
+            &root,
+        )?;
+    }
+
+    let close = read_json(
+        &repo
+            .join(".epiphany")
+            .join("work")
+            .join(format!("work-close-{item}.json")),
+    )?;
+    let surface_text = fs::read_to_string(repo.join(target_path))
+        .with_context(|| format!("failed to read {}", repo.join(target_path).display()))?;
+
+    require_eq(
+        &plan,
+        &["derivation", "safeActionFamily"],
+        "repo.eve_surface",
+    )?;
+    require_eq(&close, &["status"], "closed")?;
+    require_eq(&close, &["soul", "verdict"], "passed")?;
+    require_eq(
+        &close,
+        &["closureReview", "familyAssertions", "status"],
+        "passed",
+    )?;
+    require_bool(
+        &close,
+        &["closureReview", "sourceGrounding", "pathScopeMatched"],
+        true,
+    )?;
+    require_bool(&close, &["privateStateExposed"], false)?;
+    require_text(
+        &surface_text,
+        "schema_version = \"epiphany.repo_eve_surface.v0\"",
+    )?;
+    require_text(&surface_text, "safe_action_family = \"repo.eve_surface\"")?;
+    require_text(&surface_text, "[surface]")?;
+    require_text(&surface_text, "id = \"eve://epiphany/repo/")?;
+    require_text(&surface_text, "renderer_owns_truth = false")?;
+    require_text(&surface_text, "[verses]")?;
+    require_text(&surface_text, "local = \"gamecult-local\"")?;
+    require_text(&surface_text, "public = \"epiphany-global\"")?;
+    require_text(&surface_text, "private_projection_allowed = false")?;
+    require_text(&surface_text, "odin_discoverable = true")?;
+    require_text(&surface_text, "[cultui]")?;
+    require_text(
+        &surface_text,
+        "tui_contract = \"epiphany.eve.tui_surface.v0\"",
+    )?;
+    require_text(
+        &surface_text,
+        "gui_contract = \"epiphany.eve.gui_surface.v0\"",
+    )?;
+    require_text(&surface_text, "compact_agent_tui = true")?;
+    require_text(&surface_text, "[collaboration]")?;
+    require_text(&surface_text, "feedback_routes_to_imagination = true")?;
+    require_text(&surface_text, "candidate_actions_non_authoritative = true")?;
+    require_text(&surface_text, "[authority]")?;
+    require_text(&surface_text, "rendering_authority = false")?;
+    require_text(&surface_text, "state_authority = false")?;
+    require_text(&surface_text, "publication_authority = false")?;
+    require_text(&surface_text, "service_lifecycle_authority = false")?;
+    require_text(&surface_text, "cross_body_mutation_authority = false")?;
+    require_text(&surface_text, "private_verse_rummaging = false")?;
+    require_text(&surface_text, "requires_cultmesh_receipts = true")?;
+    require_text(&surface_text, "private_state_exposed = false")?;
+
+    Ok(json!({
+        "schemaVersion": "epiphany.repo_eve_surface_family_smoke.v0",
+        "status": "ok",
+        "smokeDir": smoke_dir,
+        "repo": repo,
+        "branch": git_output(["branch", "--show-current"], &repo)?,
+        "item": item,
+        "safeActionFamily": "repo.eve_surface",
+        "targetPath": target_path,
+        "closeStatus": "closed",
+        "soulVerdict": "passed",
+        "familyAssertionsStatus": "passed",
+        "pathScopeMatched": true,
+        "hasCultUiContracts": true,
+        "hasVerseRouting": true,
+        "odinDiscoverable": true,
+        "feedbackRoutesToImagination": true,
+        "rendererOwnsTruth": false,
+        "renderingAuthority": false,
+        "stateAuthority": false,
+        "publicationAuthority": false,
+        "serviceLifecycleAuthority": false,
+        "crossBodyMutationAuthority": false,
+        "privateVerseRummaging": false,
+        "privateStateExposed": false
+    }))
+}
+
+fn cargo_json(manifest_path: &Path, bin_name: &str, args: &[&str], cwd: &Path) -> Result<Value> {
+    let output = Command::new("cargo")
+        .arg("run")
+        .arg("--quiet")
+        .arg("--manifest-path")
+        .arg(manifest_path)
+        .arg("--bin")
+        .arg(bin_name)
+        .arg("--")
+        .args(args)
+        .current_dir(cwd)
+        .output()
+        .with_context(|| format!("failed to spawn cargo run --bin {bin_name}"))?;
+    if !output.status.success() {
+        return Err(anyhow!(
+            "cargo run --bin {bin_name} failed:\n{}",
+            String::from_utf8_lossy(&output.stderr)
+        ));
+    }
+    serde_json::from_slice(&output.stdout)
+        .with_context(|| format!("{bin_name} returned invalid JSON"))
+}
+
+fn git<const N: usize>(args: [&str; N], cwd: &Path) -> Result<()> {
+    let output = Command::new("git")
+        .args(args)
+        .current_dir(cwd)
+        .output()
+        .with_context(|| format!("failed to spawn git in {}", cwd.display()))?;
+    if output.status.success() {
+        Ok(())
+    } else {
+        Err(anyhow!(
+            "git failed in {}:\n{}",
+            cwd.display(),
+            String::from_utf8_lossy(&output.stderr)
+        ))
+    }
+}
+
+fn git_output<const N: usize>(args: [&str; N], cwd: &Path) -> Result<String> {
+    let output = Command::new("git")
+        .args(args)
+        .current_dir(cwd)
+        .output()
+        .with_context(|| format!("failed to spawn git in {}", cwd.display()))?;
+    if !output.status.success() {
+        return Err(anyhow!(
+            "git failed in {}:\n{}",
+            cwd.display(),
+            String::from_utf8_lossy(&output.stderr)
+        ));
+    }
+    Ok(String::from_utf8_lossy(&output.stdout).trim().to_string())
+}
+
+fn read_json(path: &Path) -> Result<Value> {
+    let raw =
+        fs::read_to_string(path).with_context(|| format!("failed to read {}", path.display()))?;
+    serde_json::from_str(&raw).with_context(|| format!("failed to decode {}", path.display()))
+}
+
+fn require_eq(value: &Value, path: &[&str], expected: &str) -> Result<()> {
+    let actual = value_at_path(value, path)
+        .and_then(Value::as_str)
+        .ok_or_else(|| anyhow!("missing string at {}", path.join(".")))?;
+    if actual == expected {
+        Ok(())
+    } else {
+        Err(anyhow!(
+            "expected {} to be {:?}, got {:?}",
+            path.join("."),
+            expected,
+            actual
+        ))
+    }
+}
+
+fn require_bool(value: &Value, path: &[&str], expected: bool) -> Result<()> {
+    let actual = value_at_path(value, path)
+        .and_then(Value::as_bool)
+        .ok_or_else(|| anyhow!("missing bool at {}", path.join(".")))?;
+    if actual == expected {
+        Ok(())
+    } else {
+        Err(anyhow!(
+            "expected {} to be {}, got {}",
+            path.join("."),
+            expected,
+            actual
+        ))
+    }
+}
+
+fn require_text(haystack: &str, needle: &str) -> Result<()> {
+    if haystack.contains(needle) {
+        Ok(())
+    } else {
+        Err(anyhow!("expected text to contain {:?}", needle))
+    }
+}
+
+fn value_at_path<'a>(value: &'a Value, path: &[&str]) -> Option<&'a Value> {
+    let mut cursor = value;
+    for segment in path {
+        if let Ok(index) = segment.parse::<usize>() {
+            cursor = cursor.as_array()?.get(index)?;
+        } else {
+            cursor = cursor.get(*segment)?;
+        }
+    }
+    Some(cursor)
+}
+
+fn path_str(path: &Path) -> Result<&str> {
+    path.to_str()
+        .ok_or_else(|| anyhow!("path is not valid UTF-8: {}", path.display()))
+}
+
+fn take_path(args: &mut impl Iterator<Item = String>, name: &str) -> Result<PathBuf> {
+    Ok(PathBuf::from(
+        args.next()
+            .ok_or_else(|| anyhow!("missing value for {name}"))?,
+    ))
+}

epiphany-core/src/bin/epiphany-work.rs

@@ -1926,6 +1926,9 @@ fn derive_safe_plan_family(input: DeriveSafePlanInput<'_>) -> Result<DerivedSafe
         "repo-tool-capabilities" | "tool-capabilities" | "capability-manifest" => {
             derive_repo_tool_capabilities_plan(input, &action_family)
         }
+        "repo-eve-surface" | "eve-surface" | "cultui-surface" | "tui-surface" => {
+            derive_repo_eve_surface_plan(input, &action_family)
+        }
         "repo-collaboration-topic" | "collaboration-topic" | "eve-collaboration" => {
             derive_repo_collaboration_topic_plan(input, &action_family)
         }
@@ -1971,7 +1974,7 @@ fn derive_safe_plan_family(input: DeriveSafePlanInput<'_>) -> Result<DerivedSafe
             derive_repo_metrics_request_plan(input, &action_family)
         }
         other => Err(anyhow!(
-            "unsupported derive-plan action family {other:?}; supported families are append-worklog, planning-note, checklist-note, section-note, repo-status-section, task-card, repo-manifest, repo-tool-capabilities, repo-collaboration-topic, repo-consensus-brief, repo-objective-draft, repo-adoption-request, repo-scheduling-request, repo-work-order, repo-verification-request, repo-publication-request, repo-sync-request, repo-maintainer-review-request, repo-pr-request, repo-credit-request, repo-artifact-acceptance-request, and repo-metrics-request"
+            "unsupported derive-plan action family {other:?}; supported families are append-worklog, planning-note, checklist-note, section-note, repo-status-section, task-card, repo-manifest, repo-tool-capabilities, repo-eve-surface, repo-collaboration-topic, repo-consensus-brief, repo-objective-draft, repo-adoption-request, repo-scheduling-request, repo-work-order, repo-verification-request, repo-publication-request, repo-sync-request, repo-maintainer-review-request, repo-pr-request, repo-credit-request, repo-artifact-acceptance-request, and repo-metrics-request"
         )),
     }
 }
@@ -2587,6 +2590,131 @@ fn derive_repo_tool_capabilities_plan(
     })
 }
 
+fn derive_repo_eve_surface_plan(
+    input: DeriveSafePlanInput<'_>,
+    action_family: &str,
+) -> Result<DerivedSafePlan> {
+    let item_slug = sanitize(input.item);
+    let default_target = format!(".epiphany/eve-surfaces/{item_slug}.toml");
+    let target_path = validate_toml_target_path(input.target_path.unwrap_or(&default_target))?;
+    let candidate_refs =
+        string_array_from_json(input.accept_receipt, &["feedback", "candidateActionRefs"]);
+    let public_refs =
+        string_array_from_json(input.accept_receipt, &["feedback", "publicDiscussionRefs"]);
+    let now = Utc::now().to_rfc3339_opts(chrono::SecondsFormat::Secs, true);
+    let surface_id = format!("eve://epiphany/repo/{item_slug}/surface");
+    let local_verse_id = "gamecult-local";
+    let public_verse_id = "epiphany-global";
+    let owner = format!("repo:{item_slug}");
+    let lines = vec![
+        "# Epiphany repo Eve surface contract.".to_string(),
+        "# Branch-local CultUI projection cargo; not renderer ownership or private-state authority.".to_string(),
+        format!(
+            "schema_version = {}",
+            toml_basic_string("epiphany.repo_eve_surface.v0")
+        ),
+        format!("item = {}", toml_basic_string(input.item)),
+        format!("created_at = {}", toml_basic_string(&now)),
+        format!("source = {}", toml_basic_string(input.source)),
+        format!("summary = {}", toml_basic_string(&compact_line(input.summary))),
+        format!(
+            "safe_action_family = {}",
+            toml_basic_string("repo.eve_surface")
+        ),
+        format!("model_authored = {}", input.model_authored),
+        format!(
+            "model_ref = {}",
+            toml_basic_string(input.model_ref.unwrap_or("deterministic-fallback"))
+        ),
+        "operator_authored_shell_details = false".to_string(),
+        "hands_authority_granted = false".to_string(),
+        "durable_state_admitted = false".to_string(),
+        "publication_authorized = false".to_string(),
+        "merge_authorized = false".to_string(),
+        "service_lifecycle_authority = false".to_string(),
+        "cross_repo_mutation = false".to_string(),
+        "private_state_exposed = false".to_string(),
+        format!("candidate_action_refs = {}", toml_array(&candidate_refs)),
+        format!("public_discussion_refs = {}", toml_array(&public_refs)),
+        String::new(),
+        "[surface]".to_string(),
+        format!("id = {}", toml_basic_string(&surface_id)),
+        format!("owner_body = {}", toml_basic_string(&owner)),
+        "owner = \"repo Persona/Self\"".to_string(),
+        "renderer_owns_truth = false".to_string(),
+        "branch_local_only = true".to_string(),
+        String::new(),
+        "[verses]".to_string(),
+        format!("local = {}", toml_basic_string(local_verse_id)),
+        format!("public = {}", toml_basic_string(public_verse_id)),
+        "private_projection_allowed = false".to_string(),
+        "public_projection_allowed = true".to_string(),
+        "odin_discoverable = true".to_string(),
+        String::new(),
+        "[cultui]".to_string(),
+        "tui_contract = \"epiphany.eve.tui_surface.v0\"".to_string(),
+        "gui_contract = \"epiphany.eve.gui_surface.v0\"".to_string(),
+        "compact_agent_tui = true".to_string(),
+        "human_gui_lowering_allowed = true".to_string(),
+        "lowering_targets = [\"tui\", \"gui\", \"browser\", \"future-room\"]".to_string(),
+        String::new(),
+        "[rows]".to_string(),
+        "ids = [".to_string(),
+        "  \"repo-work-queue\"," .to_string(),
+        "  \"repo-work-next-action\"," .to_string(),
+        "  \"repo-public-proof\"," .to_string(),
+        "  \"persona-collaboration-topic\"".to_string(),
+        "]".to_string(),
+        String::new(),
+        "[collaboration]".to_string(),
+        "persona_discussion_allowed = true".to_string(),
+        "human_discussion_allowed = true".to_string(),
+        "feedback_routes_to_imagination = true".to_string(),
+        "candidate_actions_non_authoritative = true".to_string(),
+        "mind_adoption_required = true".to_string(),
+        String::new(),
+        "[authority]".to_string(),
+        "rendering_authority = false".to_string(),
+        "state_authority = false".to_string(),
+        "publication_authority = false".to_string(),
+        "service_lifecycle_authority = false".to_string(),
+        "cross_body_mutation_authority = false".to_string(),
+        "private_verse_rummaging = false".to_string(),
+        "requires_cultmesh_receipts = true".to_string(),
+        String::new(),
+        "[verification]".to_string(),
+        "asks = [".to_string(),
+        "  \"Soul verifies the Eve surface contract path changed and contains the accepted pressure summary.\",".to_string(),
+        "  \"Soul verifies the surface names CultUI TUI/GUI contracts, Verse routing, Odin discovery, and collaboration feedback routing without granting renderer or mutation authority.\",".to_string(),
+        "  \"Soul verifies no paths outside the declared Eve surface contract changed.\"".to_string(),
+        "]".to_string(),
+        String::new(),
+        "[rollback]".to_string(),
+        "hints = [\"Remove the repo Eve surface contract if the accepted pressure was misderived.\"]".to_string(),
+        String::new(),
+    ];
+    let command = powershell_set_lines_command(&target_path, &lines);
+    Ok(DerivedSafePlan {
+        safe_action_family: "repo.eve_surface".to_string(),
+        target_path,
+        plan_summary: format!(
+            "Imagination derived a repo Eve surface contract from accepted {} pressure.",
+            input.source
+        ),
+        command,
+        commit_message: format!("Add repo Eve surface contract for work item {}", input.item),
+        verification_asks: vec![
+            "Soul verifies the repo Eve surface contract path changed and contains the accepted pressure summary.".to_string(),
+            "Soul verifies the contract exposes compact TUI/GUI lowering through CultMesh/Odin while preserving provider ownership and private-state seals.".to_string(),
+            "Soul verifies no paths outside the declared Eve surface contract changed.".to_string(),
+        ],
+        rollback_hints: vec![
+            "Remove the generated repo Eve surface contract if the accepted pressure was misinterpreted.".to_string(),
+        ],
+        derivation: plan_derivation_receipt(input, action_family, "repo.eve_surface"),
+    })
+}
+
 fn derive_repo_collaboration_topic_plan(
     input: DeriveSafePlanInput<'_>,
     action_family: &str,
@@ -4731,6 +4859,85 @@ fn closure_family_assertions(
                 "Committed tool capability manifest preserves the private-state seal.".to_string(),
             );
         }
+        "repo.eve_surface" => {
+            push_assertion(
+                &mut assertions,
+                "eve-surface-schema-present",
+                content.contains("schema_version = \"epiphany.repo_eve_surface.v0\""),
+                "Committed Eve surface contract carries the schema version.".to_string(),
+            );
+            push_assertion(
+                &mut assertions,
+                "eve-surface-family-present",
+                content.contains("safe_action_family = \"repo.eve_surface\""),
+                "Committed Eve surface contract carries the safe action family.".to_string(),
+            );
+            push_assertion(
+                &mut assertions,
+                "eve-surface-summary-present",
+                content.contains(&compact_summary),
+                "Committed Eve surface contract contains the accepted pressure summary."
+                    .to_string(),
+            );
+            push_assertion(
+                &mut assertions,
+                "eve-surface-routing-present",
+                content.contains("[surface]")
+                    && content.contains("id = \"eve://epiphany/repo/")
+                    && content.contains("renderer_owns_truth = false"),
+                "Committed Eve surface contract names the provider-owned surface.".to_string(),
+            );
+            push_assertion(
+                &mut assertions,
+                "eve-surface-verses-present",
+                content.contains("[verses]")
+                    && content.contains("local = \"gamecult-local\"")
+                    && content.contains("public = \"epiphany-global\"")
+                    && content.contains("private_projection_allowed = false")
+                    && content.contains("odin_discoverable = true"),
+                "Committed Eve surface contract names Verse routing and Odin discovery."
+                    .to_string(),
+            );
+            push_assertion(
+                &mut assertions,
+                "eve-surface-cultui-contracts",
+                content.contains("[cultui]")
+                    && content.contains("tui_contract = \"epiphany.eve.tui_surface.v0\"")
+                    && content.contains("gui_contract = \"epiphany.eve.gui_surface.v0\"")
+                    && content.contains("compact_agent_tui = true"),
+                "Committed Eve surface contract names compact TUI and GUI lowering contracts."
+                    .to_string(),
+            );
+            push_assertion(
+                &mut assertions,
+                "eve-surface-collaboration-route",
+                content.contains("[collaboration]")
+                    && content.contains("persona_discussion_allowed = true")
+                    && content.contains("human_discussion_allowed = true")
+                    && content.contains("feedback_routes_to_imagination = true")
+                    && content.contains("candidate_actions_non_authoritative = true"),
+                "Committed Eve surface contract routes collaboration feedback to Imagination without authorizing actions.".to_string(),
+            );
+            push_assertion(
+                &mut assertions,
+                "eve-surface-authority-seals",
+                content.contains("[authority]")
+                    && content.contains("rendering_authority = false")
+                    && content.contains("state_authority = false")
+                    && content.contains("publication_authority = false")
+                    && content.contains("service_lifecycle_authority = false")
+                    && content.contains("cross_body_mutation_authority = false")
+                    && content.contains("private_verse_rummaging = false")
+                    && content.contains("requires_cultmesh_receipts = true"),
+                "Committed Eve surface contract denies renderer/state/publication/service/cross-body/private-rummaging authority.".to_string(),
+            );
+            push_assertion(
+                &mut assertions,
+                "eve-surface-private-seal",
+                content.contains("private_state_exposed = false"),
+                "Committed Eve surface contract preserves the private-state seal.".to_string(),
+            );
+        }
         "repo.collaboration_topic" => {
             push_assertion(
                 &mut assertions,
@@ -9992,7 +10199,7 @@ fn print_usage() {
         "usage: epiphany-work <persona-intake|accept|derive-plan|plan|run|adopt|execute|close|publish|sync|overview|export-proof|tick|queue-run|serve> ...\n\
          persona-intake --workspace <repo> --item <id> --message <text> [--topic <topic>] [--store <local-verse.ccmp>] [--runtime-id <id>]\n\
          accept --workspace <repo> --from <persona|bifrost|persona-or-bifrost> --item <id> [--summary <text>] [--topic <topic>] [--store <local-verse.ccmp>] [--runtime-id <id>] [--online-receipt <path>] [--public-discussion-ref <ref>] [--candidate-action-ref <ref>]\n\
-         derive-plan --workspace <repo> [--item <id>] [--accept-receipt <path>] [--action-family append-worklog|planning-note|checklist-note|section-note|repo-status-section|task-card|repo-manifest|repo-tool-capabilities|repo-collaboration-topic|repo-consensus-brief|repo-objective-draft|repo-adoption-request|repo-scheduling-request|repo-work-order|repo-verification-request|repo-publication-request|repo-sync-request|repo-maintainer-review-request|repo-pr-request|repo-credit-request|repo-artifact-acceptance-request|repo-metrics-request] [--target-path <path>] [--model-ref <ref>] [--model-authored] [--action-summary <text>] [--verification-ask <text>] [--stop-condition <text>] [--escalation-reason <text>] [--assumption <text>] [--constraint <text>] [--non-goal <text>] [--open-question <text>] [--decision-point <text>] [--evidence-need <text>]\n\
+         derive-plan --workspace <repo> [--item <id>] [--accept-receipt <path>] [--action-family append-worklog|planning-note|checklist-note|section-note|repo-status-section|task-card|repo-manifest|repo-tool-capabilities|repo-eve-surface|repo-collaboration-topic|repo-consensus-brief|repo-objective-draft|repo-adoption-request|repo-scheduling-request|repo-work-order|repo-verification-request|repo-publication-request|repo-sync-request|repo-maintainer-review-request|repo-pr-request|repo-credit-request|repo-artifact-acceptance-request|repo-metrics-request] [--target-path <path>] [--model-ref <ref>] [--model-authored] [--action-summary <text>] [--verification-ask <text>] [--stop-condition <text>] [--escalation-reason <text>] [--assumption <text>] [--constraint <text>] [--non-goal <text>] [--open-question <text>] [--decision-point <text>] [--evidence-need <text>]\n\
          plan --workspace <repo> [--item <id>] --objective <text> --plan-summary <text> --command <command> --changed-path <path> --commit-message <text> [--adoption-evidence-ref <ref>]\n\
          run --workspace <repo> [--item <id>] [--accept-receipt <path>] [--runtime-store <path>] [--requested-path <path>]\n\
          adopt --workspace <repo> [--item <id>] [--run-receipt <path>] [--from-plan <path>] [--plan-summary <text>] [--adoption-evidence-ref <ref>]\n\

notes/epiphany-repo-swarm-mvp-contract.md

@@ -1388,7 +1388,7 @@ temptation wearing clean robes.
 | Repo Body birth | `epiphany-repo init` exists and writes repo-local stores plus branch workbench intent. | Keep birth startup-only, review-gated, and branch-oriented. |
 | Local Verse online | `epiphany-swarm online` seeds repo-local CultMesh, standing-faculty SoA, topology, liveness, Eve, and tool sight. | Keep private Verse sealed while exposing operator-safe repo status. |
 | Persona/Bifrost intake | `epiphany-work accept` records pressure and candidate action refs without Hands authority. `epiphany-work persona-intake` now invokes the Persona bubble speech-audit path, records public discussion and candidate-action refs, then delegates to `accept`; wrapper mode `repo-persona-intake` exposes the operator mouth. | Deepen the intake-to-Imagination interpreter so richer model-authored action items can be proposed without granting Hands, publication, or durable-state authority at the mouth edge. |
-| Imagination planning | `derive-plan` now writes a typed `epiphany.repo_work_imagination_action_items_receipt.v0` before the executable plan receipt. The action-item receipt can carry model provenance, allowed safe family, requested paths, verification asks, stop conditions, escalation reasons, planning facets (assumptions, constraints, non-goals, open questions, decision points, and evidence needs), and private-state seals; command text remains deterministic safe-family lowering for `append-worklog`, `planning-note`, `checklist-note`, `section-note` / `repo.markdown_managed_section`, `repo-status-section` / `repo.status_section`, `task-card` / `repo.task_card`, `repo-manifest` / `repo.body_manifest`, `repo-tool-capabilities` / `repo.tool_capabilities`, `repo-collaboration-topic` / `repo.collaboration_topic`, `repo-consensus-brief` / `repo.consensus_brief`, `repo-objective-draft` / `repo.objective_draft`, `repo-adoption-request` / `repo.adoption_request`, `repo-scheduling-request` / `repo.scheduling_request`, `repo-work-order` / `repo.work_order`, `repo-verification-request` / `repo.verification_request`, `repo-publication-request` / `repo.publication_request`, `repo-sync-request` / `repo.sync_request`, `repo-maintainer-review-request` / `repo.maintainer_review_request`, `repo-pr-request` / `repo.pr_request`, `repo-credit-request` / `repo.credit_request`, `repo-artifact-acceptance-request` / `repo.artifact_acceptance_request`, and `repo-metrics-request` / `repo.metrics_request`. `plan` remains manual quarantine scaffolding. | Deepen adoption/interpreter behavior and further useful repo-owned configuration classes without turning model text into arbitrary shell authority. |
+| Imagination planning | `derive-plan` now writes a typed `epiphany.repo_work_imagination_action_items_receipt.v0` before the executable plan receipt. The action-item receipt can carry model provenance, allowed safe family, requested paths, verification asks, stop conditions, escalation reasons, planning facets (assumptions, constraints, non-goals, open questions, decision points, and evidence needs), and private-state seals; command text remains deterministic safe-family lowering for `append-worklog`, `planning-note`, `checklist-note`, `section-note` / `repo.markdown_managed_section`, `repo-status-section` / `repo.status_section`, `task-card` / `repo.task_card`, `repo-manifest` / `repo.body_manifest`, `repo-tool-capabilities` / `repo.tool_capabilities`, `repo-eve-surface` / `repo.eve_surface`, `repo-collaboration-topic` / `repo.collaboration_topic`, `repo-consensus-brief` / `repo.consensus_brief`, `repo-objective-draft` / `repo.objective_draft`, `repo-adoption-request` / `repo.adoption_request`, `repo-scheduling-request` / `repo.scheduling_request`, `repo-work-order` / `repo.work_order`, `repo-verification-request` / `repo.verification_request`, `repo-publication-request` / `repo.publication_request`, `repo-sync-request` / `repo.sync_request`, `repo-maintainer-review-request` / `repo.maintainer_review_request`, `repo-pr-request` / `repo.pr_request`, `repo-credit-request` / `repo.credit_request`, `repo-artifact-acceptance-request` / `repo.artifact_acceptance_request`, and `repo-metrics-request` / `repo.metrics_request`. `plan` remains manual quarantine scaffolding. | Deepen adoption/interpreter behavior and further useful repo-owned configuration classes without turning model text into arbitrary shell authority. |
 | Self scheduling | `tick` and `serve` prove one-step branch-local advancement, brake refusal, active-turn refusal, cooldown, and stale-turn recovery; `tick` now routes executed branch-local work through the existing Soul/Modeling/Mind `close` gate; `queue-run` selects tick-actionable rows from the typed repo-work queue and delegates to `tick`; `epiphany-swarm run` is the bounded operator mouth over that queue/tick physiology; `repo-work-service-plan` and `repo-work-service-runbook` write Idunn lifecycle receipts/artifacts for the same queue-run command without launching it. | Keep any future queue-run service launch/install behind Idunn and explicit operator authority. |
 | Branch-local Hands work | `adopt` and `execute` create approved Hands gates, run planned commands, stage declared paths, commit on `epiphany/*`, and write receipts. | Keep mutation branch-contained and receipt-backed; broaden only through typed plan families, not ad hoc shell freedom. |
 | Soul/Modeling/Mind closure | `close` verifies the Hands commit, writes `epiphany.repo_work_closure_review.v0`, refuses path-scope mismatches, and writes Soul, Modeling, and Mind receipts. | Deepen model-authored closure review beyond the first structured closure-review packet while preserving deterministic local closure for simple mechanical work. |
@@ -1731,6 +1731,14 @@ Required organs before MVP:
   lifecycle, cross-body mutation, and private-state exposure remain false; the
   branch-local item still closes through Soul with family assertions and path
   scope passing.
+  `repo-eve-surface` now proves branch-local Eve/CultUI surface contract cargo
+  under `.epiphany/eve-surfaces/<item>.toml`, with compact agent TUI and GUI
+  lowering contracts, local/public Verse routing, Odin discovery, Persona/human
+  collaboration, and feedback routing to Imagination. Smoke
+  `.epiphany-smoke\repo-eve-surface-family-20260620-165927` proved the contract
+  closes through Soul with family assertions and path scope passing while
+  renderer ownership, rendering/state/publication/service/cross-body authority,
+  private Verse rummaging, and private-state exposure remain false.
   Remaining work is later model-authored action classes that can change more
   useful repo-owned configuration, plus deeper interpreter/adoption semantics,
   without arbitrary shell authority.

notes/fresh-workspace-handoff.md

@@ -136,6 +136,7 @@ remembers doctrine; the branch remembers the blade.
 - 2026-06-20: `repo-artifact-acceptance-request` is now live as accepted-artifact request cargo. `epiphany-work derive-plan --action-family repo-artifact-acceptance-request` writes `.epiphany/artifact-acceptance-requests/<item>.toml` with safe family `repo.artifact_acceptance_request`, status `awaiting-artifact-acceptance-review`, closure/Soul/Mind/public-proof, maintainer-review, and Hands-commit antecedents, artifact/commit/path/review/proof/rationale/redaction packet requirements, and denials for artifact acceptance, credit ledger, GitHub PR, merge, publication, upstream sync, Hands action, cross-body mutation, and private Verse rummaging. Soul closure assertions inspect schema, family, summary, request state, antecedents, receipt contract, artifact packet, authority gates, and private-state seal. Focused smoke `.epiphany-smoke\repo-artifact-acceptance-request-family-20260620-161559` ran init -> online -> accept -> repo-artifact-acceptance-request derive-plan -> tick run/adopt/execute/close; Hands committed only `.epiphany/artifact-acceptance-requests/repo-artifact-acceptance-request-family.toml`, Soul passed with `pathScopeMatched=true`, `familyAssertions.status=passed`, `awaitingArtifactAcceptanceReview=true`, `artifactAcceptanceAuthorized=false`, `creditLedgerAuthorized=false`, `githubPrAuthorized=false`, `mergeAuthorized=false`, `publicationAuthorized=false`, `upstreamSyncAuthorized=false`, `handsActionAuthorized=false`, and `privateStateExposed=false`. Current remaining repo-swarm MVP organs are deeper interpreter/adoption semantics, more useful repo-owned configuration/action families, and Idunn-owned queue-run service lifecycle under explicit operator authority.
 - 2026-06-20: `repo-metrics-request` is now live as Bifrost/maintainer accounting request cargo. `epiphany-work derive-plan --action-family repo-metrics-request` writes `.epiphany/metrics-requests/<item>.toml` with safe family `repo.metrics_request`, status `awaiting-metrics-review`, closure/Soul/Mind/public-proof, accepted-artifact, and credit-request antecedents, model-call/token-cost/review-load/artifact/proof/credit-readback/redaction packet requirements, and denials for metrics ledger, spend, review-load, credit ledger, GitHub PR, merge, publication, upstream sync, Hands action, cross-body mutation, and private Verse rummaging. Soul closure assertions inspect schema, family, summary, request state, antecedents, receipt contract, metrics packet, authority gates, and private-state seal. Focused smoke `.epiphany-smoke\repo-metrics-request-family-20260620-162919` ran init -> online -> accept -> repo-metrics-request derive-plan -> tick run/adopt/execute/close; Hands committed only `.epiphany/metrics-requests/repo-metrics-request-family.toml`, Soul passed with `pathScopeMatched=true`, `familyAssertions.status=passed`, `awaitingMetricsReview=true`, `metricsLedgerAuthorized=false`, `spendAuthorized=false`, `reviewLoadAuthorized=false`, `creditLedgerAuthorized=false`, `githubPrAuthorized=false`, `mergeAuthorized=false`, `publicationAuthorized=false`, `upstreamSyncAuthorized=false`, `handsActionAuthorized=false`, and `privateStateExposed=false`. Current remaining repo-swarm MVP organs are deeper interpreter/adoption semantics, more useful repo-owned configuration/action families, and Idunn-owned queue-run service lifecycle under explicit operator authority.
 - 2026-06-20: `derive-plan` action-item receipts now carry richer model-authored planning facets without widening command authority, and `adopt --from-plan` now preserves the chosen Imagination action item in the Mind adoption receipt. New CLI fields `--assumption`, `--constraint`, `--non-goal`, `--open-question`, `--decision-point`, and `--evidence-need` are recorded under `planningFacets` in `epiphany.repo_work_imagination_action_items_receipt.v0`, mirrored into the plan derivation's `actionItemReceipt`, then copied into `epiphany.repo_work_adoption_receipt.v0` as `adoptedActionItem`; deterministic defaults are emitted when a model does not supply them. Focused smoke `.epiphany-smoke\repo-planning-facets-20260620-164958` ran init -> online -> accept -> model-authored `derive-plan --action-family planning-note` with all facet fields -> tick run/adopt/execute/close; the action-item receipt preserved assumptions, constraints, non-goals, open questions, decision points, and evidence needs while `handsAuthorityGranted=false`, `durableStateAdmitted=false`, `handsCommandAuthority=false`, `durableStateAuthority=false`, and `privateStateExposed=false`; the adoption receipt preserved `adoptedActionItem.safeActionFamily=repo.markdown_planning_note`, planning facets, `adoptedActionItem.handsCommandAuthority=false`, `adoptedActionItem.durableStateAuthority=false`, `adoptedActionItem.publicationAuthorized=false`, `authority.handsAuthorityGranted=true`, `authority.durableStateAdmitted=false`, and `privateStateExposed=false`; Soul closure passed with family assertions and path scope matched. Current remaining repo-swarm MVP organs are deeper interpreter/adoption semantics, more useful repo-owned configuration/action families, and Idunn-owned queue-run service lifecycle under explicit operator authority.
+- 2026-06-20: `repo-eve-surface` is now live as repo-owned Eve/CultUI surface contract cargo. `epiphany-work derive-plan --action-family repo-eve-surface` writes `.epiphany/eve-surfaces/<item>.toml` with safe family `repo.eve_surface`, compact agent TUI and GUI lowering contracts, local/public Verse routing, Odin discovery, provider-owned surface identity, Persona/human collaboration flags, feedback routing to Imagination, and denials for renderer ownership, rendering/state/publication/service/cross-body authority, private Verse rummaging, and private-state exposure. Soul closure assertions inspect schema, family, summary, surface routing, Verse routing, CultUI contracts, collaboration route, authority seals, and private-state seal. Focused smoke `.epiphany-smoke\repo-eve-surface-family-20260620-165927` ran init -> online -> accept -> repo-eve-surface derive-plan -> tick run/adopt/execute/close; Hands committed only `.epiphany/eve-surfaces/repo-eve-surface-family.toml`, Soul passed with `pathScopeMatched=true`, `familyAssertions.status=passed`, `hasCultUiContracts=true`, `hasVerseRouting=true`, `odinDiscoverable=true`, `feedbackRoutesToImagination=true`, `rendererOwnsTruth=false`, `renderingAuthority=false`, `stateAuthority=false`, `publicationAuthority=false`, `serviceLifecycleAuthority=false`, `crossBodyMutationAuthority=false`, `privateVerseRummaging=false`, and `privateStateExposed=false`. Current remaining repo-swarm MVP organs are deeper interpreter/adoption semantics, more useful repo-owned configuration/action families, and Idunn-owned queue-run service lifecycle under explicit operator authority.
 - `service-execution-runbook` makes that next cut repeatable: it generates the exact elevated wrapper command sequence without mutating the service manager, continues after per-step failure to preserve more receipts, runs `service-execution-audit` in `finally`, exits nonzero if any step failed, and seals a typed runbook lifecycle receipt. Run the generated artifact only with explicit operator authority.
 - `service-execution-audit` is the non-mutating acceptance proof after the elevated rite: it reports `complete` only when typed lifecycle receipts prove the runbook witness plus expected elevated chain, and otherwise reports the missing/failed sealed checks.
 - `service-tick` is the non-elevated scheduler pulse proof: it writes the latest daemon scheduler receipt through durable policy ownership and local wrapper receipts.