Add repo objective draft work family
This commit is contained in:
parent
cd8bdc4cd7
commit
bb8fe78deb
6 changed files with 620 additions and 8 deletions
|
|
@ -0,0 +1,399 @@
|
|||
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-objective-draft-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 Objective Draft Family Smoke\n\nThis repository proves branch-local Objective Draft cargo.\n",
|
||||
)
|
||||
.with_context(|| format!("failed to seed {}", repo.join("README.md").display()))?;
|
||||
git(["add", "README.md"], &repo)?;
|
||||
git(
|
||||
["commit", "-m", "Seed repo objective draft smoke body"],
|
||||
&repo,
|
||||
)?;
|
||||
git(
|
||||
["switch", "-c", "epiphany/repo-objective-draft-family"],
|
||||
&repo,
|
||||
)?;
|
||||
|
||||
let item = "repo-objective-draft-family";
|
||||
let target_path = ".epiphany/objective-drafts/repo-objective-draft-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-objective-draft-family-smoke",
|
||||
"--topic",
|
||||
"repo-objective-draft-family",
|
||||
],
|
||||
&root,
|
||||
)?;
|
||||
cargo_json(
|
||||
&manifest,
|
||||
"epiphany-swarm",
|
||||
&[
|
||||
"online",
|
||||
"--workspace",
|
||||
path_str(&repo)?,
|
||||
"--epiphany-root",
|
||||
path_str(&root)?,
|
||||
"--runtime-id",
|
||||
"repo-objective-draft-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",
|
||||
"Shape public consensus into a reviewable Objective Draft before Self schedules any branch-local work.",
|
||||
"--candidate-action-ref",
|
||||
"candidate-action://repo-objective-draft-family/adopt-objective",
|
||||
"--candidate-action-ref",
|
||||
"candidate-action://repo-objective-draft-family/write-task-card",
|
||||
"--public-discussion-ref",
|
||||
"epiphany-global/persona-collaboration/repo-objective-draft-family",
|
||||
],
|
||||
&root,
|
||||
)?;
|
||||
let plan = cargo_json(
|
||||
&manifest,
|
||||
"epiphany-work",
|
||||
&[
|
||||
"derive-plan",
|
||||
"--workspace",
|
||||
path_str(&repo)?,
|
||||
"--item",
|
||||
item,
|
||||
"--action-family",
|
||||
"repo-objective-draft",
|
||||
"--model-ref",
|
||||
"repo-objective-draft-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 draft_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.objective_draft",
|
||||
)?;
|
||||
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(
|
||||
&draft_text,
|
||||
"schema_version = \"epiphany.repo_objective_draft.v0\"",
|
||||
)?;
|
||||
require_text(&draft_text, "safe_action_family = \"repo.objective_draft\"")?;
|
||||
require_text(&draft_text, "[draft]")?;
|
||||
require_text(&draft_text, "status = \"review-required\"")?;
|
||||
require_text(&draft_text, "adoption_gate = \"Mind\"")?;
|
||||
require_text(&draft_text, "scheduler_gate = \"Self\"")?;
|
||||
require_text(&draft_text, "publication_gate = \"Bifrost\"")?;
|
||||
require_text(&draft_text, "objective_adopted = false")?;
|
||||
require_text(&draft_text, "[objective]")?;
|
||||
require_text(
|
||||
&draft_text,
|
||||
"preferred_next_safe_family = \"repo.task_card\"",
|
||||
)?;
|
||||
require_text(&draft_text, "[acceptance]")?;
|
||||
require_text(&draft_text, "Mind explicitly accepts or rejects")?;
|
||||
require_text(&draft_text, "Self schedules only after Mind adoption")?;
|
||||
require_text(
|
||||
&draft_text,
|
||||
"Hands acts only through a later receipt-backed plan",
|
||||
)?;
|
||||
require_text(&draft_text, "[inputs]")?;
|
||||
require_text(&draft_text, "consensus_brief_required = true")?;
|
||||
require_text(&draft_text, "objective_adoption_authorized = false")?;
|
||||
require_text(&draft_text, "self_scheduling_authorized = false")?;
|
||||
require_text(&draft_text, "hands_action_authorized = false")?;
|
||||
require_text(&draft_text, "cross_body_mutation_authorized = false")?;
|
||||
require_text(&draft_text, "mind_adoption_required = true")?;
|
||||
require_text(&draft_text, "bifrost_publication_required = true")?;
|
||||
require_text(&draft_text, "private_state_exposed = false")?;
|
||||
|
||||
let summary = json!({
|
||||
"schemaVersion": "epiphany.repo_work_objective_draft_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"],
|
||||
"draftReviewRequired": true,
|
||||
"objectiveAdopted": false,
|
||||
"mindAdoptionRequired": true,
|
||||
"selfSchedulingAuthorized": false,
|
||||
"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 Objective Draft 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()))
|
||||
}
|
||||
|
|
@ -1883,8 +1883,11 @@ fn derive_safe_plan_family(input: DeriveSafePlanInput<'_>) -> Result<DerivedSafe
|
|||
"repo-consensus-brief" | "consensus-brief" | "imagination-consensus" => {
|
||||
derive_repo_consensus_brief_plan(input, &action_family)
|
||||
}
|
||||
"repo-objective-draft" | "objective-draft" | "imagination-objective" => {
|
||||
derive_repo_objective_draft_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, and repo-consensus-brief"
|
||||
"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, and repo-objective-draft"
|
||||
)),
|
||||
}
|
||||
}
|
||||
|
|
@ -2724,6 +2727,125 @@ fn derive_repo_consensus_brief_plan(
|
|||
})
|
||||
}
|
||||
|
||||
fn derive_repo_objective_draft_plan(
|
||||
input: DeriveSafePlanInput<'_>,
|
||||
action_family: &str,
|
||||
) -> Result<DerivedSafePlan> {
|
||||
let item_slug = sanitize(input.item);
|
||||
let default_target = format!(".epiphany/objective-drafts/{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 draft_id = format!("repo-objective:{item_slug}");
|
||||
let lines = vec![
|
||||
"# Epiphany repo Objective Draft.".to_string(),
|
||||
"# Branch-local Imagination cargo; not an adopted objective or Hands command."
|
||||
.to_string(),
|
||||
format!(
|
||||
"schema_version = {}",
|
||||
toml_basic_string("epiphany.repo_objective_draft.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.objective_draft")
|
||||
),
|
||||
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(),
|
||||
"[draft]".to_string(),
|
||||
format!("id = {}", toml_basic_string(&draft_id)),
|
||||
"status = \"review-required\"".to_string(),
|
||||
"owner = \"Imagination\"".to_string(),
|
||||
"adoption_gate = \"Mind\"".to_string(),
|
||||
"scheduler_gate = \"Self\"".to_string(),
|
||||
"publication_gate = \"Bifrost\"".to_string(),
|
||||
"objective_adopted = false".to_string(),
|
||||
String::new(),
|
||||
"[objective]".to_string(),
|
||||
format!("title = {}", toml_basic_string(&compact_line(input.item))),
|
||||
format!("statement = {}", toml_basic_string(&compact_line(input.summary))),
|
||||
"scope = \"repo-local branch work proposal\"".to_string(),
|
||||
"preferred_next_safe_family = \"repo.task_card\"".to_string(),
|
||||
String::new(),
|
||||
"[acceptance]".to_string(),
|
||||
"criteria = [".to_string(),
|
||||
" \"Mind explicitly accepts or rejects this Objective Draft before Self schedules it.\",".to_string(),
|
||||
" \"Self schedules only after Mind adoption and a safe-family action plan exist.\",".to_string(),
|
||||
" \"Hands acts only through a later receipt-backed plan and declared path scope.\",".to_string(),
|
||||
" \"Bifrost gates publication, credit, and upstream-main sync.\"".to_string(),
|
||||
"]".to_string(),
|
||||
String::new(),
|
||||
"[inputs]".to_string(),
|
||||
format!("public_discussion_refs = {}", toml_array(&public_refs)),
|
||||
format!("candidate_action_refs = {}", toml_array(&candidate_refs)),
|
||||
"consensus_brief_required = true".to_string(),
|
||||
String::new(),
|
||||
"[authority]".to_string(),
|
||||
"branch_local_only = true".to_string(),
|
||||
"objective_adoption_authorized = false".to_string(),
|
||||
"self_scheduling_authorized = false".to_string(),
|
||||
"hands_action_authorized = false".to_string(),
|
||||
"publication_authorized = false".to_string(),
|
||||
"merge_authorized = false".to_string(),
|
||||
"service_lifecycle_authority = false".to_string(),
|
||||
"cross_body_mutation_authorized = false".to_string(),
|
||||
"private_verse_rummaging = false".to_string(),
|
||||
"mind_adoption_required = true".to_string(),
|
||||
"bifrost_publication_required = true".to_string(),
|
||||
String::new(),
|
||||
"[verification]".to_string(),
|
||||
"asks = [".to_string(),
|
||||
" \"Soul verifies the Objective Draft path changed and contains the accepted pressure summary.\",".to_string(),
|
||||
" \"Soul verifies the draft is review-required and not adopted.\",".to_string(),
|
||||
" \"Soul verifies no paths outside the declared Objective Draft changed.\"".to_string(),
|
||||
"]".to_string(),
|
||||
String::new(),
|
||||
"[rollback]".to_string(),
|
||||
"hints = [\"Remove the Objective Draft if the consensus was misderived.\"]".to_string(),
|
||||
String::new(),
|
||||
];
|
||||
let command = powershell_set_lines_command(&target_path, &lines);
|
||||
Ok(DerivedSafePlan {
|
||||
safe_action_family: "repo.objective_draft".to_string(),
|
||||
target_path,
|
||||
plan_summary: format!(
|
||||
"Imagination derived a repo Objective Draft from accepted {} pressure.",
|
||||
input.source
|
||||
),
|
||||
command,
|
||||
commit_message: format!("Add Objective Draft for work item {}", input.item),
|
||||
verification_asks: vec![
|
||||
"Soul verifies the repo Objective Draft path changed and contains the accepted pressure summary.".to_string(),
|
||||
"Soul verifies the draft remains review-required, unadopted, and gated by Mind/Self/Bifrost before consequence.".to_string(),
|
||||
"Soul verifies no paths outside the declared Objective Draft changed.".to_string(),
|
||||
],
|
||||
rollback_hints: vec![
|
||||
"Remove the generated Objective Draft if the consensus was misinterpreted.".to_string(),
|
||||
],
|
||||
derivation: plan_derivation_receipt(input, action_family, "repo.objective_draft"),
|
||||
})
|
||||
}
|
||||
|
||||
fn closure_family_assertions(
|
||||
workspace: &Path,
|
||||
commit_sha: &str,
|
||||
|
|
@ -3157,6 +3279,77 @@ fn closure_family_assertions(
|
|||
"Committed consensus brief preserves the private-state seal.".to_string(),
|
||||
);
|
||||
}
|
||||
"repo.objective_draft" => {
|
||||
push_assertion(
|
||||
&mut assertions,
|
||||
"objective-draft-schema-present",
|
||||
content.contains("schema_version = \"epiphany.repo_objective_draft.v0\""),
|
||||
"Committed Objective Draft carries the schema version.".to_string(),
|
||||
);
|
||||
push_assertion(
|
||||
&mut assertions,
|
||||
"objective-draft-family-present",
|
||||
content.contains("safe_action_family = \"repo.objective_draft\""),
|
||||
"Committed Objective Draft carries the safe action family.".to_string(),
|
||||
);
|
||||
push_assertion(
|
||||
&mut assertions,
|
||||
"objective-draft-summary-present",
|
||||
content.contains(&compact_summary),
|
||||
"Committed Objective Draft contains the accepted pressure summary.".to_string(),
|
||||
);
|
||||
push_assertion(
|
||||
&mut assertions,
|
||||
"objective-draft-review-state",
|
||||
content.contains("[draft]")
|
||||
&& content.contains("status = \"review-required\"")
|
||||
&& content.contains("adoption_gate = \"Mind\"")
|
||||
&& content.contains("scheduler_gate = \"Self\"")
|
||||
&& content.contains("publication_gate = \"Bifrost\"")
|
||||
&& content.contains("objective_adopted = false"),
|
||||
"Committed Objective Draft remains review-required and unadopted.".to_string(),
|
||||
);
|
||||
push_assertion(
|
||||
&mut assertions,
|
||||
"objective-draft-acceptance-criteria",
|
||||
content.contains("[acceptance]")
|
||||
&& content.contains("Mind explicitly accepts or rejects")
|
||||
&& content.contains("Self schedules only after Mind adoption")
|
||||
&& content.contains("Hands acts only through a later receipt-backed plan")
|
||||
&& content.contains("Bifrost gates publication"),
|
||||
"Committed Objective Draft names acceptance criteria and downstream gates."
|
||||
.to_string(),
|
||||
);
|
||||
push_assertion(
|
||||
&mut assertions,
|
||||
"objective-draft-inputs-present",
|
||||
content.contains("[inputs]")
|
||||
&& content.contains("public_discussion_refs = [")
|
||||
&& content.contains("candidate_action_refs = [")
|
||||
&& content.contains("consensus_brief_required = true"),
|
||||
"Committed Objective Draft preserves discussion/action refs and requires consensus."
|
||||
.to_string(),
|
||||
);
|
||||
push_assertion(
|
||||
&mut assertions,
|
||||
"objective-draft-authority-seals",
|
||||
content.contains("[authority]")
|
||||
&& content.contains("objective_adoption_authorized = false")
|
||||
&& content.contains("self_scheduling_authorized = false")
|
||||
&& content.contains("hands_action_authorized = false")
|
||||
&& content.contains("publication_authorized = false")
|
||||
&& content.contains("cross_body_mutation_authorized = false")
|
||||
&& content.contains("mind_adoption_required = true")
|
||||
&& content.contains("bifrost_publication_required = true"),
|
||||
"Committed Objective Draft denies adoption/scheduling/action/publication/cross-body authority and requires Mind/Bifrost gates.".to_string(),
|
||||
);
|
||||
push_assertion(
|
||||
&mut assertions,
|
||||
"objective-draft-private-seal",
|
||||
content.contains("private_state_exposed = false"),
|
||||
"Committed Objective Draft preserves the private-state seal.".to_string(),
|
||||
);
|
||||
}
|
||||
_ => {
|
||||
return Ok((
|
||||
json!({
|
||||
|
|
@ -7005,7 +7198,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] [--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|repo-consensus-brief|repo-objective-draft] [--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\
|
||||
|
|
|
|||
|
|
@ -274,12 +274,15 @@ candidate-action semantics, Mind/Bifrost gates, and authority seals; and
|
|||
`--action-family repo-consensus-brief` writes a structured Imagination consensus
|
||||
brief under `.epiphany/consensus-briefs/<item>.toml`, preserving public
|
||||
discussion and candidate-action inputs as draft, non-authoritative consensus
|
||||
cargo that requires review plus Mind/Bifrost gates before consequence. Its
|
||||
receipt includes
|
||||
cargo that requires review plus Mind/Bifrost gates before consequence; and
|
||||
`--action-family repo-objective-draft` writes a structured Objective Draft
|
||||
under `.epiphany/objective-drafts/<item>.toml`, shaping consensus into a
|
||||
review-required, unadopted objective proposal with Mind, Self, and Bifrost gates
|
||||
before scheduling or consequence. 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`, `repo-tool-capabilities`, or
|
||||
`repo-collaboration-topic`, or `repo-consensus-brief`, a
|
||||
`repo-collaboration-topic`, `repo-consensus-brief`, or `repo-objective-draft`, a
|
||||
`safeActionFamily`, and an authority seal forbidding
|
||||
publication, merge, service lifecycle mutation, cross-repo mutation, and private
|
||||
state exposure.
|
||||
|
|
@ -436,6 +439,19 @@ consensus state, public discussion refs, candidate action refs,
|
|||
adoption/action/publication/cross-body authority, and
|
||||
`privateStateExposed=false`.
|
||||
|
||||
The next Imagination adoption-boundary smoke proved Objective Draft cargo:
|
||||
`.epiphany-smoke\repo-objective-draft-family-20260620-145012` ran init ->
|
||||
online -> accept -> `derive-plan --action-family repo-objective-draft
|
||||
--model-ref repo-objective-draft-family-smoke-imagination-v1 --model-authored`
|
||||
-> tick through run/adopt/execute/close on a fresh repo. The plan carried
|
||||
`safeActionFamily=repo.objective_draft`; Hands committed only
|
||||
`.epiphany/objective-drafts/repo-objective-draft-family.toml`; Soul passed with
|
||||
`pathScopeMatched=true` and `familyAssertions.status=passed`; the committed
|
||||
draft carried `schema_version = "epiphany.repo_objective_draft.v0"`,
|
||||
`status="review-required"`, `objective_adopted=false`, acceptance criteria,
|
||||
public/candidate refs, Mind/Self/Bifrost gates, denied adoption/scheduling/Hands
|
||||
action/publication/cross-body authority, and `privateStateExposed=false`.
|
||||
|
||||
### Landed Work Run Gate
|
||||
|
||||
The sixth front door exists as native Rust:
|
||||
|
|
@ -1149,7 +1165,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`, `repo-tool-capabilities` / `repo.tool_capabilities`, `repo-collaboration-topic` / `repo.collaboration_topic`, and `repo-consensus-brief` / `repo.consensus_brief`. `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`, `repo-collaboration-topic` / `repo.collaboration_topic`, `repo-consensus-brief` / `repo.consensus_brief`, and `repo-objective-draft` / `repo.objective_draft`. `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. |
|
||||
|
|
@ -1433,6 +1449,9 @@ Required organs before MVP:
|
|||
`repo-consensus-brief` now proves draft Imagination consensus cargo from
|
||||
public discussion and candidate-action refs, still review-gated and
|
||||
non-authoritative before Mind/Bifrost gates.
|
||||
`repo-objective-draft` now proves review-required Objective Draft cargo that
|
||||
can shape consensus into a proposed objective without adopting it, scheduling
|
||||
it, or granting Hands 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
|
||||
|
|
|
|||
|
|
@ -123,6 +123,7 @@ remembers doctrine; the branch remembers the blade.
|
|||
- 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.
|
||||
- 2026-06-20: `repo-consensus-brief` is now live as draft Imagination consensus cargo. `epiphany-work derive-plan --action-family repo-consensus-brief` writes `.epiphany/consensus-briefs/<item>.toml` with safe family `repo.consensus_brief`, draft consensus state, public discussion refs, candidate action refs, non-authoritative candidate action semantics, review requirement, Mind/Bifrost gates, and seals against objective adoption, Hands action, publication, cross-body mutation, and private Verse rummaging. Soul closure assertions inspect schema, family, summary, draft state, Imagination route, public/candidate inputs, authority gates, and private-state seal. Focused smoke `.epiphany-smoke\repo-consensus-brief-family-20260620-144212` ran init -> online -> accept -> repo-consensus-brief derive-plan -> tick run/adopt/execute/close; Hands committed only `.epiphany/consensus-briefs/repo-consensus-brief-family.toml`, Soul passed with `pathScopeMatched=true`, `familyAssertions.status=passed`, `candidateActionsNonAuthoritative=true`, `mindAdoptionRequired=true`, `bifrostPublicationRequired=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-objective-draft` is now live as review-required Objective Draft cargo. `epiphany-work derive-plan --action-family repo-objective-draft` writes `.epiphany/objective-drafts/<item>.toml` with safe family `repo.objective_draft`, draft status `review-required`, `objective_adopted=false`, objective statement, acceptance criteria, public/candidate refs, and Mind/Self/Bifrost gates before adoption, scheduling, or publication. Soul closure assertions inspect schema, family, summary, draft review state, acceptance criteria, inputs, authority gates, and private-state seal. Focused smoke `.epiphany-smoke\repo-objective-draft-family-20260620-145012` ran init -> online -> accept -> repo-objective-draft derive-plan -> tick run/adopt/execute/close; Hands committed only `.epiphany/objective-drafts/repo-objective-draft-family.toml`, Soul passed with `pathScopeMatched=true`, `familyAssertions.status=passed`, `draftReviewRequired=true`, `objectiveAdopted=false`, `mindAdoptionRequired=true`, `selfSchedulingAuthorized=false`, 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