Add repo collaboration topic work family
This commit is contained in:
parent
e28ae9298d
commit
7d80b9cfda
6 changed files with 599 additions and 8 deletions
|
|
@ -0,0 +1,403 @@
|
|||
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-collaboration-topic-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 Collaboration Topic Family Smoke\n\nThis repository proves branch-local Epiphany collaboration topics.\n",
|
||||
)
|
||||
.with_context(|| format!("failed to seed {}", repo.join("README.md").display()))?;
|
||||
git(["add", "README.md"], &repo)?;
|
||||
git(
|
||||
["commit", "-m", "Seed repo collaboration topic smoke body"],
|
||||
&repo,
|
||||
)?;
|
||||
git(
|
||||
["switch", "-c", "epiphany/repo-collaboration-topic-family"],
|
||||
&repo,
|
||||
)?;
|
||||
|
||||
let item = "repo-collaboration-topic-family";
|
||||
let target_path = ".epiphany/collaboration-topics/repo-collaboration-topic-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-collaboration-topic-family-smoke",
|
||||
"--topic",
|
||||
"repo-collaboration-topic-family",
|
||||
],
|
||||
&root,
|
||||
)?;
|
||||
cargo_json(
|
||||
&manifest,
|
||||
"epiphany-swarm",
|
||||
&[
|
||||
"online",
|
||||
"--workspace",
|
||||
path_str(&repo)?,
|
||||
"--epiphany-root",
|
||||
path_str(&root)?,
|
||||
"--runtime-id",
|
||||
"repo-collaboration-topic-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",
|
||||
"Open a public Eve collaboration topic that routes Persona and human feedback to Imagination consensus before any repo action.",
|
||||
"--candidate-action-ref",
|
||||
"candidate-action://repo-collaboration-topic-family/eve-topic",
|
||||
"--candidate-action-ref",
|
||||
"candidate-action://repo-collaboration-topic-family/imagination-consensus",
|
||||
"--public-discussion-ref",
|
||||
"eve://epiphany/persona/repo-collaboration-topic-family",
|
||||
],
|
||||
&root,
|
||||
)?;
|
||||
let plan = cargo_json(
|
||||
&manifest,
|
||||
"epiphany-work",
|
||||
&[
|
||||
"derive-plan",
|
||||
"--workspace",
|
||||
path_str(&repo)?,
|
||||
"--item",
|
||||
item,
|
||||
"--action-family",
|
||||
"repo-collaboration-topic",
|
||||
"--model-ref",
|
||||
"repo-collaboration-topic-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_path = repo
|
||||
.join(".epiphany")
|
||||
.join("work")
|
||||
.join(format!("work-close-{item}.json"));
|
||||
let close = read_json(&close_path)?;
|
||||
let topic_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.collaboration_topic",
|
||||
)?;
|
||||
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(
|
||||
&topic_text,
|
||||
"schema_version = \"epiphany.repo_collaboration_topic.v0\"",
|
||||
)?;
|
||||
require_text(
|
||||
&topic_text,
|
||||
"safe_action_family = \"repo.collaboration_topic\"",
|
||||
)?;
|
||||
require_text(&topic_text, "[topic]")?;
|
||||
require_text(
|
||||
&topic_text,
|
||||
"public_room = \"epiphany-global/persona-collaboration/repo-collaboration-topic-family\"",
|
||||
)?;
|
||||
require_text(
|
||||
&topic_text,
|
||||
"eve_surface = \"eve://epiphany/repo/repo-collaboration-topic-family/collaboration\"",
|
||||
)?;
|
||||
require_text(&topic_text, "persona_discussion_allowed = true")?;
|
||||
require_text(&topic_text, "human_discussion_allowed = true")?;
|
||||
require_text(&topic_text, "[imagination]")?;
|
||||
require_text(
|
||||
&topic_text,
|
||||
"consensus_route = \"imagination://repo/repo-collaboration-topic-family/consensus-discovery\"",
|
||||
)?;
|
||||
require_text(&topic_text, "consensus_required_before_action = true")?;
|
||||
require_text(
|
||||
&topic_text,
|
||||
"candidate_actions_are_non_authoritative = true",
|
||||
)?;
|
||||
require_text(&topic_text, "mind_adoption_required = true")?;
|
||||
require_text(&topic_text, "bifrost_publication_required = true")?;
|
||||
require_text(&topic_text, "adoption_authorized = false")?;
|
||||
require_text(&topic_text, "hands_action_authorized = false")?;
|
||||
require_text(&topic_text, "cross_body_mutation_authorized = false")?;
|
||||
require_text(&topic_text, "private_verse_rummaging = false")?;
|
||||
require_text(&topic_text, "private_state_exposed = false")?;
|
||||
|
||||
let summary = json!({
|
||||
"schemaVersion": "epiphany.repo_work_collaboration_topic_family_smoke.v0",
|
||||
"status": "ok",
|
||||
"smokeDir": smoke_dir,
|
||||
"repo": repo,
|
||||
"branch": git_output(["branch", "--show-current"], &repo)?,
|
||||
"item": item,
|
||||
"safeActionFamily": plan["derivation"]["safeActionFamily"],
|
||||
"targetPath": target_path,
|
||||
"closeStatus": close["status"],
|
||||
"soulVerdict": close["soul"]["verdict"],
|
||||
"familyAssertionsStatus": close["closureReview"]["familyAssertions"]["status"],
|
||||
"pathScopeMatched": close["closureReview"]["sourceGrounding"]["pathScopeMatched"],
|
||||
"topicHasPublicRoom": true,
|
||||
"topicHasEveSurface": true,
|
||||
"topicHasImaginationRoute": true,
|
||||
"candidateActionsNonAuthoritative": true,
|
||||
"privateStateExposed": false,
|
||||
});
|
||||
write_json(&smoke_dir.join("summary.json"), &summary)?;
|
||||
Ok(summary)
|
||||
}
|
||||
|
||||
fn cargo_json(manifest: &Path, bin: &str, args: &[&str], cwd: &Path) -> Result<Value> {
|
||||
let output = Command::new("cargo")
|
||||
.arg("run")
|
||||
.arg("--quiet")
|
||||
.arg("--manifest-path")
|
||||
.arg(manifest)
|
||||
.arg("--bin")
|
||||
.arg(bin)
|
||||
.arg("--")
|
||||
.args(args)
|
||||
.current_dir(cwd)
|
||||
.output()
|
||||
.with_context(|| format!("failed to run cargo bin {bin}"))?;
|
||||
if !output.status.success() {
|
||||
return Err(anyhow!(
|
||||
"{bin} failed with status {:?}\nstdout:\n{}\nstderr:\n{}",
|
||||
output.status.code(),
|
||||
String::from_utf8_lossy(&output.stdout),
|
||||
String::from_utf8_lossy(&output.stderr)
|
||||
));
|
||||
}
|
||||
serde_json::from_slice(&output.stdout).with_context(|| {
|
||||
format!(
|
||||
"{bin} did not emit JSON on stdout:\n{}",
|
||||
String::from_utf8_lossy(&output.stdout)
|
||||
)
|
||||
})
|
||||
}
|
||||
|
||||
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 run git in {}", cwd.display()))?;
|
||||
if output.status.success() {
|
||||
Ok(())
|
||||
} else {
|
||||
Err(anyhow!(
|
||||
"git failed in {} with status {:?}\nstdout:\n{}\nstderr:\n{}",
|
||||
cwd.display(),
|
||||
output.status.code(),
|
||||
String::from_utf8_lossy(&output.stdout),
|
||||
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 run git in {}", cwd.display()))?;
|
||||
if output.status.success() {
|
||||
Ok(String::from_utf8_lossy(&output.stdout).trim().to_string())
|
||||
} else {
|
||||
Err(anyhow!(
|
||||
"git failed in {} with status {:?}\nstdout:\n{}\nstderr:\n{}",
|
||||
cwd.display(),
|
||||
output.status.code(),
|
||||
String::from_utf8_lossy(&output.stdout),
|
||||
String::from_utf8_lossy(&output.stderr)
|
||||
))
|
||||
}
|
||||
}
|
||||
|
||||
fn read_json(path: &Path) -> Result<Value> {
|
||||
let bytes = fs::read(path).with_context(|| format!("failed to read {}", path.display()))?;
|
||||
serde_json::from_slice(&bytes).with_context(|| format!("failed to parse {}", path.display()))
|
||||
}
|
||||
|
||||
fn write_json(path: &Path, value: &Value) -> Result<()> {
|
||||
if let Some(parent) = path.parent() {
|
||||
fs::create_dir_all(parent)
|
||||
.with_context(|| format!("failed to create {}", parent.display()))?;
|
||||
}
|
||||
fs::write(path, serde_json::to_vec_pretty(value)?)
|
||||
.with_context(|| format!("failed to write {}", path.display()))
|
||||
}
|
||||
|
||||
fn require_eq(value: &Value, path: &[&str], expected: &str) -> Result<()> {
|
||||
let actual = path
|
||||
.iter()
|
||||
.try_fold(value, |current, key| current.get(*key))
|
||||
.and_then(Value::as_str)
|
||||
.unwrap_or("<missing>");
|
||||
if actual == expected {
|
||||
Ok(())
|
||||
} else {
|
||||
Err(anyhow!(
|
||||
"expected {} to be {expected:?}, got {actual:?}",
|
||||
path.join(".")
|
||||
))
|
||||
}
|
||||
}
|
||||
|
||||
fn require_bool(value: &Value, path: &[&str], expected: bool) -> Result<()> {
|
||||
let actual = path
|
||||
.iter()
|
||||
.try_fold(value, |current, key| current.get(*key))
|
||||
.and_then(Value::as_bool);
|
||||
if actual == Some(expected) {
|
||||
Ok(())
|
||||
} else {
|
||||
Err(anyhow!(
|
||||
"expected {} to be {expected}, got {:?}",
|
||||
path.join("."),
|
||||
actual
|
||||
))
|
||||
}
|
||||
}
|
||||
|
||||
fn require_text(haystack: &str, needle: &str) -> Result<()> {
|
||||
if haystack.contains(needle) {
|
||||
Ok(())
|
||||
} else {
|
||||
Err(anyhow!(
|
||||
"expected collaboration topic text to contain {needle:?}"
|
||||
))
|
||||
}
|
||||
}
|
||||
|
||||
fn take_path(
|
||||
args: &mut std::iter::Peekable<impl Iterator<Item = String>>,
|
||||
flag: &str,
|
||||
) -> Result<PathBuf> {
|
||||
args.next()
|
||||
.map(PathBuf::from)
|
||||
.with_context(|| format!("missing value for {flag}"))
|
||||
}
|
||||
|
||||
fn path_str(path: &Path) -> Result<&str> {
|
||||
path.to_str()
|
||||
.ok_or_else(|| anyhow!("path is not valid UTF-8: {}", path.display()))
|
||||
}
|
||||
|
|
@ -1877,8 +1877,11 @@ 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-collaboration-topic" | "collaboration-topic" | "eve-collaboration" => {
|
||||
derive_repo_collaboration_topic_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, and repo-tool-capabilities"
|
||||
"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, and repo-collaboration-topic"
|
||||
)),
|
||||
}
|
||||
}
|
||||
|
|
@ -2494,6 +2497,110 @@ fn derive_repo_tool_capabilities_plan(
|
|||
})
|
||||
}
|
||||
|
||||
fn derive_repo_collaboration_topic_plan(
|
||||
input: DeriveSafePlanInput<'_>,
|
||||
action_family: &str,
|
||||
) -> Result<DerivedSafePlan> {
|
||||
let item_slug = sanitize(input.item);
|
||||
let default_target = format!(".epiphany/collaboration-topics/{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 topic_id = format!("repo-collaboration:{item_slug}");
|
||||
let public_room = format!("epiphany-global/persona-collaboration/{item_slug}");
|
||||
let eve_surface = format!("eve://epiphany/repo/{item_slug}/collaboration");
|
||||
let consensus_route = format!("imagination://repo/{item_slug}/consensus-discovery");
|
||||
let lines = vec![
|
||||
"# Epiphany repo collaboration topic.".to_string(),
|
||||
"# Branch-local discussion cargo; not adoption, action, publication, or private-state authority.".to_string(),
|
||||
format!(
|
||||
"schema_version = {}",
|
||||
toml_basic_string("epiphany.repo_collaboration_topic.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.collaboration_topic")
|
||||
),
|
||||
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(),
|
||||
"[topic]".to_string(),
|
||||
format!("id = {}", toml_basic_string(&topic_id)),
|
||||
format!("public_room = {}", toml_basic_string(&public_room)),
|
||||
format!("eve_surface = {}", toml_basic_string(&eve_surface)),
|
||||
"persona_discussion_allowed = true".to_string(),
|
||||
"human_discussion_allowed = true".to_string(),
|
||||
"agent_friendly_tui = true".to_string(),
|
||||
String::new(),
|
||||
"[imagination]".to_string(),
|
||||
format!("consensus_route = {}", toml_basic_string(&consensus_route)),
|
||||
"consensus_required_before_action = true".to_string(),
|
||||
"candidate_actions_are_non_authoritative = true".to_string(),
|
||||
"mind_adoption_required = true".to_string(),
|
||||
"bifrost_publication_required = true".to_string(),
|
||||
String::new(),
|
||||
"[authority]".to_string(),
|
||||
"branch_local_only = true".to_string(),
|
||||
"adoption_authorized = false".to_string(),
|
||||
"hands_action_authorized = false".to_string(),
|
||||
"publication_authorized = false".to_string(),
|
||||
"merge_authorized = false".to_string(),
|
||||
"cross_body_mutation_authorized = false".to_string(),
|
||||
"private_verse_rummaging = false".to_string(),
|
||||
String::new(),
|
||||
"[verification]".to_string(),
|
||||
"asks = [".to_string(),
|
||||
" \"Soul verifies the collaboration topic path changed and contains the accepted pressure summary.\",".to_string(),
|
||||
" \"Soul verifies the topic names a public room, Eve surface, and Imagination consensus route without granting action authority.\",".to_string(),
|
||||
" \"Soul verifies no paths outside the declared collaboration topic changed.\"".to_string(),
|
||||
"]".to_string(),
|
||||
String::new(),
|
||||
"[rollback]".to_string(),
|
||||
"hints = [\"Remove the collaboration topic manifest 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.collaboration_topic".to_string(),
|
||||
target_path,
|
||||
plan_summary: format!(
|
||||
"Imagination derived a repo collaboration topic from accepted {} pressure.",
|
||||
input.source
|
||||
),
|
||||
command,
|
||||
commit_message: format!("Add collaboration topic for work item {}", input.item),
|
||||
verification_asks: vec![
|
||||
"Soul verifies the repo collaboration topic path changed and contains the accepted pressure summary.".to_string(),
|
||||
"Soul verifies the topic routes public Persona/human discussion to Imagination consensus without granting Hands, Mind, publication, merge, service, or cross-body authority.".to_string(),
|
||||
"Soul verifies no paths outside the declared collaboration topic changed.".to_string(),
|
||||
],
|
||||
rollback_hints: vec![
|
||||
"Remove the generated collaboration topic manifest if the accepted pressure was misinterpreted.".to_string(),
|
||||
],
|
||||
derivation: plan_derivation_receipt(input, action_family, "repo.collaboration_topic"),
|
||||
})
|
||||
}
|
||||
|
||||
fn closure_family_assertions(
|
||||
workspace: &Path,
|
||||
commit_sha: &str,
|
||||
|
|
@ -2801,6 +2908,64 @@ fn closure_family_assertions(
|
|||
"Committed tool capability manifest preserves the private-state seal.".to_string(),
|
||||
);
|
||||
}
|
||||
"repo.collaboration_topic" => {
|
||||
push_assertion(
|
||||
&mut assertions,
|
||||
"collaboration-topic-schema-present",
|
||||
content.contains("schema_version = \"epiphany.repo_collaboration_topic.v0\""),
|
||||
"Committed collaboration topic carries the schema version.".to_string(),
|
||||
);
|
||||
push_assertion(
|
||||
&mut assertions,
|
||||
"collaboration-topic-family-present",
|
||||
content.contains("safe_action_family = \"repo.collaboration_topic\""),
|
||||
"Committed collaboration topic carries the safe action family.".to_string(),
|
||||
);
|
||||
push_assertion(
|
||||
&mut assertions,
|
||||
"collaboration-topic-summary-present",
|
||||
content.contains(&compact_summary),
|
||||
"Committed collaboration topic contains the accepted pressure summary.".to_string(),
|
||||
);
|
||||
push_assertion(
|
||||
&mut assertions,
|
||||
"collaboration-topic-public-surface",
|
||||
content.contains("[topic]")
|
||||
&& content.contains("public_room = \"epiphany-global/persona-collaboration/")
|
||||
&& content.contains("eve_surface = \"eve://epiphany/repo/")
|
||||
&& content.contains("persona_discussion_allowed = true")
|
||||
&& content.contains("human_discussion_allowed = true"),
|
||||
"Committed collaboration topic names public discussion and Eve surfaces."
|
||||
.to_string(),
|
||||
);
|
||||
push_assertion(
|
||||
&mut assertions,
|
||||
"collaboration-topic-imagination-route",
|
||||
content.contains("[imagination]")
|
||||
&& content.contains("consensus_route = \"imagination://repo/")
|
||||
&& content.contains("consensus_required_before_action = true")
|
||||
&& content.contains("candidate_actions_are_non_authoritative = true")
|
||||
&& content.contains("mind_adoption_required = true"),
|
||||
"Committed collaboration topic routes feedback to Imagination consensus before adoption.".to_string(),
|
||||
);
|
||||
push_assertion(
|
||||
&mut assertions,
|
||||
"collaboration-topic-authority-seals",
|
||||
content.contains("[authority]")
|
||||
&& content.contains("adoption_authorized = false")
|
||||
&& content.contains("hands_action_authorized = false")
|
||||
&& content.contains("publication_authorized = false")
|
||||
&& content.contains("cross_body_mutation_authorized = false")
|
||||
&& content.contains("private_verse_rummaging = false"),
|
||||
"Committed collaboration topic denies action, publication, cross-body, and private-rummaging authority.".to_string(),
|
||||
);
|
||||
push_assertion(
|
||||
&mut assertions,
|
||||
"collaboration-topic-private-seal",
|
||||
content.contains("private_state_exposed = false"),
|
||||
"Committed collaboration topic preserves the private-state seal.".to_string(),
|
||||
);
|
||||
}
|
||||
_ => {
|
||||
return Ok((
|
||||
json!({
|
||||
|
|
@ -6649,7 +6814,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] [--target-path <path>] [--model-ref <ref>] [--model-authored] [--action-summary <text>] [--verification-ask <text>] [--stop-condition <text>] [--escalation-reason <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-collaboration-topic] [--target-path <path>] [--model-ref <ref>] [--model-authored] [--action-summary <text>] [--verification-ask <text>] [--stop-condition <text>] [--escalation-reason <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\
|
||||
|
|
|
|||
|
|
@ -266,11 +266,16 @@ Eve surface id, capability hints, and authority seals; and
|
|||
capability manifest, defaulting to `.epiphany/repo-tool-capabilities.toml`,
|
||||
with local CultMesh/Odin discovery flags, typed daemon tool invocation
|
||||
intent/receipt contracts, expected repo-swarm capability ids, host-daemon
|
||||
execution ownership, Idunn lifecycle ownership, and authority seals. Its
|
||||
receipt includes
|
||||
execution ownership, Idunn lifecycle ownership, and authority seals; and
|
||||
`--action-family repo-collaboration-topic` writes a structured public
|
||||
collaboration topic manifest under `.epiphany/collaboration-topics/<item>.toml`
|
||||
with public room, Eve surface, Imagination consensus route, non-authoritative
|
||||
candidate-action semantics, Mind/Bifrost gates, and authority seals. Its receipt
|
||||
includes
|
||||
`epiphany.repo_work_plan_derivation.v0`, mode `append-worklog`,
|
||||
`planning-note`, `checklist-note`, `section-note`, `repo-status-section`, or
|
||||
`task-card`, `repo-manifest`, or `repo-tool-capabilities`, a
|
||||
`task-card`, `repo-manifest`, `repo-tool-capabilities`, or
|
||||
`repo-collaboration-topic`, a
|
||||
`safeActionFamily`, and an authority seal forbidding
|
||||
publication, merge, service lifecycle mutation, cross-repo mutation, and private
|
||||
state exposure.
|
||||
|
|
@ -399,6 +404,20 @@ contracts, expected repo-swarm capability ids, host-daemon execution ownership,
|
|||
Idunn lifecycle ownership, shell/deploy/service/private-rummaging seals, and
|
||||
`privateStateExposed=false`.
|
||||
|
||||
The next collaboration safe-family smoke proved public discussion cargo:
|
||||
`.epiphany-smoke\repo-collaboration-topic-family-20260620-143342` ran init ->
|
||||
online -> accept -> `derive-plan --action-family repo-collaboration-topic
|
||||
--model-ref repo-collaboration-topic-family-smoke-imagination-v1
|
||||
--model-authored` -> tick through run/adopt/execute/close on a fresh repo. The
|
||||
plan carried `safeActionFamily=repo.collaboration_topic`; Hands committed only
|
||||
`.epiphany/collaboration-topics/repo-collaboration-topic-family.toml`; Soul
|
||||
passed with `pathScopeMatched=true` and `familyAssertions.status=passed`; the
|
||||
committed manifest carried `schema_version =
|
||||
"epiphany.repo_collaboration_topic.v0"`, a public Persona collaboration room,
|
||||
an Eve surface, an Imagination consensus route, non-authoritative candidate
|
||||
action semantics, Mind/Bifrost gates, denied action/publication/cross-body
|
||||
authority, and `privateStateExposed=false`.
|
||||
|
||||
### Landed Work Run Gate
|
||||
|
||||
The sixth front door exists as native Rust:
|
||||
|
|
@ -1112,7 +1131,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, 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`, and `repo-tool-capabilities` / `repo.tool_capabilities`. `plan` remains manual quarantine scaffolding. | Deepen model-authored planning 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, 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`, and `repo-collaboration-topic` / `repo.collaboration_topic`. `plan` remains manual quarantine scaffolding. | Deepen model-authored planning 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. |
|
||||
|
|
@ -1390,6 +1409,9 @@ Required organs before MVP:
|
|||
tool capability cargo with CultMesh/Odin discovery, typed daemon tool
|
||||
invocation intent/receipt contracts, expected capability ids, host-daemon
|
||||
execution ownership, Idunn lifecycle ownership, and authority seals.
|
||||
`repo-collaboration-topic` now proves public collaboration cargo with public
|
||||
Persona room, Eve surface, Imagination consensus route, non-authoritative
|
||||
candidate actions, Mind/Bifrost gates, and denied action/cross-body authority.
|
||||
Remaining work is later model-authored action classes that can change more
|
||||
useful repo-owned configuration without arbitrary shell authority.
|
||||
- Closure depth: `close` now writes a structured
|
||||
|
|
|
|||
|
|
@ -121,6 +121,7 @@ remembers doctrine; the branch remembers the blade.
|
|||
- 2026-06-20: Deeper model-authored closure review is now live. `epiphany-work close` accepts `--closure-model-verdict passed|failed|needs-work|blocked`, `--closure-model-finding`, and `--require-closure-model-verdict`; the close review embeds `epiphany.repo_work_model_closure_review.v0` under `modelingReview.closureReview`, records reviewed inputs and gate enforcement, and Soul refuses closure when a supplied or required model verdict does not pass. Focused smoke `.epiphany-smoke\closure-model-gate-20260620-135103` created a disposable repo, ran two `repo.status_section` items through public front doors, closed one with required model verdict `passed`, and blocked one with `needs-work` while `familyAssertions.status=passed`, `pathScopeMatched=true`, and `privateStateExposed=false`. Current remaining repo-swarm MVP organs are further non-planning action classes, richer model-authored planning depth beyond deterministic safe-family lowering, and Idunn-owned queue-run service lifecycle under explicit operator authority.
|
||||
- 2026-06-20: `repo-manifest` is now the next non-planning safe family. `epiphany-work derive-plan --action-family repo-manifest` lowers accepted pressure into a structured `epiphany.toml` Body manifest with safe family `repo.body_manifest`, body domain, private/local/public Verse ids, Eve surface id, receipt-required capability hints, arbitrary shell sealed false, and private-state seals. Soul closure assertions now inspect the committed manifest for schema, safe family, summary, body domain, Verse ids, Eve surface, receipt requirement, no arbitrary shell, and private-state seals. Focused smoke `.epiphany-smoke\repo-manifest-family-20260620-141552` ran a disposable repo through init -> online -> accept -> repo-manifest derive-plan -> tick run/adopt/execute/close; Hands committed only `epiphany.toml`, Soul passed with `pathScopeMatched=true`, `familyAssertions.status=passed`, and `privateStateExposed=false`. Current remaining repo-swarm MVP organs are richer model-authored planning depth beyond deterministic safe-family lowering, additional useful repo-owned config/action families, and Idunn-owned queue-run service lifecycle under explicit operator authority.
|
||||
- 2026-06-20: `repo-tool-capabilities` is now live as repo-owned tool capability configuration cargo. `epiphany-work derive-plan --action-family repo-tool-capabilities` writes `.epiphany/repo-tool-capabilities.toml` with safe family `repo.tool_capabilities`, local CultMesh/Odin discovery flags, daemon tool invocation intent/receipt contracts, expected repo-swarm capability ids, host-daemon execution ownership, Idunn lifecycle ownership, and authority seals for no shell/deploy/service/private-rummaging authority. Soul closure assertions inspect schema, family, summary, tool directory, contracts, expected capability ids, host receipt requirement, authority seals, and private-state seal. Focused smoke `.epiphany-smoke\repo-tool-capabilities-family-20260620-142430` ran init -> online -> accept -> repo-tool-capabilities derive-plan -> tick run/adopt/execute/close; Hands committed only `.epiphany/repo-tool-capabilities.toml`, Soul passed with `pathScopeMatched=true`, `familyAssertions.status=passed`, `hostDaemonOwnsExecution=true`, `idunnOwnsLifecycle=true`, and `privateStateExposed=false`. Current remaining repo-swarm MVP organs are richer model-authored planning depth beyond deterministic safe-family lowering, more useful repo-owned configuration/action families, and Idunn-owned queue-run service lifecycle under explicit operator authority.
|
||||
- 2026-06-20: `repo-collaboration-topic` is now live as public collaboration planning cargo. `epiphany-work derive-plan --action-family repo-collaboration-topic` writes `.epiphany/collaboration-topics/<item>.toml` with safe family `repo.collaboration_topic`, public Persona collaboration room, Eve surface, Imagination consensus route, non-authoritative candidate action semantics, Mind/Bifrost gates, and seals against adoption/action/publication/cross-body/private-rummaging authority. Soul closure assertions inspect schema, family, summary, topic surface, Imagination route, authority seals, and private-state seal. Focused smoke `.epiphany-smoke\repo-collaboration-topic-family-20260620-143342` ran init -> online -> accept -> repo-collaboration-topic derive-plan -> tick run/adopt/execute/close; Hands committed only `.epiphany/collaboration-topics/repo-collaboration-topic-family.toml`, Soul passed with `pathScopeMatched=true`, `familyAssertions.status=passed`, `candidateActionsNonAuthoritative=true`, and `privateStateExposed=false`. Current remaining repo-swarm MVP organs are richer model-authored planning depth beyond deterministic safe-family lowering, 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.
|
||||
|
|
|
|||
Binary file not shown.
File diff suppressed because one or more lines are too long
Reference in a new issue