Enforce Soul verdicts for verification
This commit is contained in:
parent
2a88bf1de9
commit
5e97e3464e
8 changed files with 180 additions and 11 deletions
|
|
@ -22,6 +22,7 @@ use epiphany_core::EpiphanyStateUpdatedField;
|
|||
use epiphany_core::MIND_GATEWAY_REVIEW_TYPE;
|
||||
use epiphany_core::SUBSTRATE_GATE_REPO_ACCESS_GRANT_RECEIPT_TYPE;
|
||||
use epiphany_core::EYES_EVIDENCE_PACKET_TYPE;
|
||||
use epiphany_core::SOUL_VERDICT_RECEIPT_TYPE;
|
||||
use epiphany_core::mind_state_commit_receipt;
|
||||
use epiphany_core::put_mind_gateway_review;
|
||||
use epiphany_core::put_mind_state_commit_receipt;
|
||||
|
|
@ -45,10 +46,13 @@ use epiphany_core::put_eyes_evidence_packet;
|
|||
use epiphany_core::receipt_proof_evaluation_errors;
|
||||
use epiphany_core::replace_or_append_epiphany_job_binding;
|
||||
use epiphany_core::put_substrate_gate_repo_access_grant_receipt;
|
||||
use epiphany_core::put_soul_verdict_receipt;
|
||||
use epiphany_core::runtime_job_snapshot;
|
||||
use epiphany_core::runtime_eyes_evidence_packet;
|
||||
use epiphany_core::runtime_mind_gateway_review;
|
||||
use epiphany_core::runtime_substrate_gate_repo_access_grant_receipt;
|
||||
use epiphany_core::runtime_soul_verdict_receipt;
|
||||
use epiphany_core::soul_verdict_receipt_from_verification_finding;
|
||||
use epiphany_core::substrate_gate_repo_access_grant_for_launch;
|
||||
use epiphany_state_model::EpiphanyEvidenceRecord;
|
||||
use epiphany_state_model::EpiphanyJobKind as CoreEpiphanyJobKind;
|
||||
|
|
@ -522,6 +526,21 @@ pub async fn apply_thread_epiphany_role_accept(
|
|||
substrate_gate_grant_receipt_id(finding.runtime_job_id.as_deref().unwrap_or_default())
|
||||
.as_str(),
|
||||
)?);
|
||||
} else if role_id == EpiphanyRoleResultRoleId::Verification {
|
||||
let verdict = soul_verdict_receipt_from_verification_finding(
|
||||
format!("soul-verdict-{accepted_receipt_id}"),
|
||||
&finding,
|
||||
Utc::now().to_rfc3339_opts(SecondsFormat::Secs, true),
|
||||
);
|
||||
put_soul_verdict_receipt(runtime_store_path.as_path(), &verdict).map_err(|err| {
|
||||
EpiphanyBridgeError::Fatal(format!(
|
||||
"failed to persist Soul verdict receipt before verification state admission: {err}"
|
||||
))
|
||||
})?;
|
||||
available_document_types.extend(persisted_soul_verdict_types(
|
||||
runtime_store_path.as_path(),
|
||||
verdict.receipt_id.as_str(),
|
||||
)?);
|
||||
}
|
||||
enforce_current_receipt_proofs(
|
||||
&organ_contract,
|
||||
|
|
@ -986,6 +1005,22 @@ fn persisted_substrate_gate_grant_types(
|
|||
.unwrap_or_default())
|
||||
}
|
||||
|
||||
fn persisted_soul_verdict_types(
|
||||
runtime_store_path: &Path,
|
||||
receipt_id: &str,
|
||||
) -> BridgeResult<Vec<String>> {
|
||||
let verdict = runtime_soul_verdict_receipt(runtime_store_path, receipt_id).map_err(|err| {
|
||||
EpiphanyBridgeError::Fatal(format!(
|
||||
"failed to verify persisted Soul verdict {:?}: {err}",
|
||||
receipt_id
|
||||
))
|
||||
})?;
|
||||
Ok(verdict
|
||||
.is_some()
|
||||
.then(|| vec![SOUL_VERDICT_RECEIPT_TYPE.to_string()])
|
||||
.unwrap_or_default())
|
||||
}
|
||||
|
||||
fn substrate_gate_grant_receipt_id(runtime_job_id: &str) -> String {
|
||||
format!("substrate-grant-{runtime_job_id}")
|
||||
}
|
||||
|
|
@ -1014,6 +1049,8 @@ fn role_acceptance_enforceable_receipts(role_id: EpiphanyRoleResultRoleId) -> Ve
|
|||
if role_id == EpiphanyRoleResultRoleId::Research {
|
||||
receipts.push(SUBSTRATE_GATE_REPO_ACCESS_GRANT_RECEIPT_TYPE.to_string());
|
||||
receipts.push(EYES_EVIDENCE_PACKET_TYPE.to_string());
|
||||
} else if role_id == EpiphanyRoleResultRoleId::Verification {
|
||||
receipts.push(SOUL_VERDICT_RECEIPT_TYPE.to_string());
|
||||
}
|
||||
receipts
|
||||
}
|
||||
|
|
|
|||
|
|
@ -422,6 +422,7 @@ pub use runtime_spine::put_mind_gateway_review;
|
|||
pub use runtime_spine::put_mind_state_commit_receipt;
|
||||
pub use runtime_spine::put_runtime_reorient_worker_result;
|
||||
pub use runtime_spine::put_runtime_role_worker_result;
|
||||
pub use runtime_spine::put_soul_verdict_receipt;
|
||||
pub use runtime_spine::put_substrate_gate_repo_access_grant_receipt;
|
||||
pub use runtime_spine::replace_or_append_epiphany_job_binding;
|
||||
pub use runtime_spine::runtime_eyes_evidence_packet;
|
||||
|
|
@ -432,6 +433,7 @@ pub use runtime_spine::runtime_mind_state_commit_receipt;
|
|||
pub use runtime_spine::runtime_reorient_worker_result;
|
||||
pub use runtime_spine::runtime_role_worker_result;
|
||||
pub use runtime_spine::runtime_schema_catalog_response;
|
||||
pub use runtime_spine::runtime_soul_verdict_receipt;
|
||||
pub use runtime_spine::runtime_spine_cache;
|
||||
pub use runtime_spine::runtime_spine_status;
|
||||
pub use runtime_spine::runtime_substrate_gate_repo_access_grant_receipt;
|
||||
|
|
|
|||
|
|
@ -40,6 +40,7 @@ use crate::mind_gateway::MIND_VERSE_ADOPTION_RECEIPT_TYPE;
|
|||
use crate::mind_gateway::MindGatewayReview;
|
||||
use crate::mind_gateway::MindStateCommitReceipt;
|
||||
use crate::organ_dependencies::EpiphanyLaunchOrganContract;
|
||||
use crate::soul_gateway::SoulVerdictReceipt;
|
||||
use crate::soul_gateway::*;
|
||||
use crate::state_ledger::STATE_LEDGER_SCHEMA_VERSION;
|
||||
use crate::state_ledger::STATE_LEDGER_STORE_TYPE;
|
||||
|
|
@ -715,6 +716,7 @@ pub fn runtime_spine_cache(store_path: impl AsRef<Path>) -> Result<CultCache> {
|
|||
cache.register_entry_type::<MindStateCommitReceipt>()?;
|
||||
cache.register_entry_type::<EyesEvidencePacket>()?;
|
||||
cache.register_entry_type::<SubstrateGateRepoAccessGrantReceipt>()?;
|
||||
cache.register_entry_type::<SoulVerdictReceipt>()?;
|
||||
cache.register_entry_type::<EpiphanyOpenAiAdapterStatus>()?;
|
||||
cache.register_entry_type::<EpiphanyOpenAiModelRequest>()?;
|
||||
cache.register_entry_type::<EpiphanyOpenAiStreamEvent>()?;
|
||||
|
|
@ -1249,6 +1251,32 @@ pub fn runtime_substrate_gate_repo_access_grant_receipt(
|
|||
cache.get::<SubstrateGateRepoAccessGrantReceipt>(receipt_id)
|
||||
}
|
||||
|
||||
pub fn put_soul_verdict_receipt(
|
||||
store_path: impl AsRef<Path>,
|
||||
receipt: &SoulVerdictReceipt,
|
||||
) -> Result<()> {
|
||||
validate_non_empty(&receipt.receipt_id, "Soul verdict receipt id")?;
|
||||
validate_non_empty(&receipt.source_result_id, "Soul verdict source result")?;
|
||||
validate_non_empty(&receipt.source_job_id, "Soul verdict source job")?;
|
||||
validate_non_empty(&receipt.verdict, "Soul verdict")?;
|
||||
validate_non_empty(&receipt.emitted_at, "Soul verdict timestamp")?;
|
||||
let mut cache = runtime_spine_cache(store_path)?;
|
||||
cache.pull_all_backing_stores()?;
|
||||
require_identity(&cache)?;
|
||||
cache.put(&receipt.receipt_id, receipt)?;
|
||||
Ok(())
|
||||
}
|
||||
|
||||
pub fn runtime_soul_verdict_receipt(
|
||||
store_path: impl AsRef<Path>,
|
||||
receipt_id: &str,
|
||||
) -> Result<Option<SoulVerdictReceipt>> {
|
||||
validate_non_empty(receipt_id, "Soul verdict receipt id")?;
|
||||
let mut cache = runtime_spine_cache(store_path)?;
|
||||
cache.pull_all_backing_stores()?;
|
||||
cache.get::<SoulVerdictReceipt>(receipt_id)
|
||||
}
|
||||
|
||||
pub fn put_coordinator_run_receipt(
|
||||
store_path: impl AsRef<Path>,
|
||||
receipt: &EpiphanyCoordinatorRunReceipt,
|
||||
|
|
@ -3226,6 +3254,19 @@ mod tests {
|
|||
contract: "Substrate Gate grant persists as runtime-spine proof.".to_string(),
|
||||
};
|
||||
put_substrate_gate_repo_access_grant_receipt(&store, &substrate_grant)?;
|
||||
let soul_verdict = SoulVerdictReceipt {
|
||||
schema_version: crate::SOUL_VERDICT_RECEIPT_SCHEMA_VERSION.to_string(),
|
||||
receipt_id: "soul-verdict-1".to_string(),
|
||||
source_result_id: "result-verify-1".to_string(),
|
||||
source_job_id: "job-verify-1".to_string(),
|
||||
verdict: "passed".to_string(),
|
||||
summary: "Verification passed.".to_string(),
|
||||
evidence_ids: vec!["ev-check".to_string()],
|
||||
risks: Vec::new(),
|
||||
emitted_at: "2026-05-06T00:07:00Z".to_string(),
|
||||
contract: "Soul verdict persists as runtime-spine proof.".to_string(),
|
||||
};
|
||||
put_soul_verdict_receipt(&store, &soul_verdict)?;
|
||||
|
||||
let stored = runtime_mind_gateway_review(&store, "mind-role-modeling-job-1")?
|
||||
.expect("Mind review receipt should persist");
|
||||
|
|
@ -3240,6 +3281,9 @@ mod tests {
|
|||
runtime_substrate_gate_repo_access_grant_receipt(&store, "substrate-grant-1")?
|
||||
.expect("Substrate Gate grant should persist");
|
||||
assert_eq!(stored_grant, substrate_grant);
|
||||
let stored_verdict = runtime_soul_verdict_receipt(&store, "soul-verdict-1")?
|
||||
.expect("Soul verdict should persist");
|
||||
assert_eq!(stored_verdict, soul_verdict);
|
||||
Ok(())
|
||||
}
|
||||
|
||||
|
|
|
|||
|
|
@ -1,3 +1,5 @@
|
|||
use crate::EpiphanyRoleFindingInterpretation;
|
||||
use cultcache_rs::DatabaseEntry;
|
||||
use serde::Deserialize;
|
||||
use serde::Serialize;
|
||||
|
||||
|
|
@ -16,6 +18,31 @@ pub const SOUL_REVIEW_RECEIPT_SCHEMA_VERSION: &str = "epiphany.soul.review_recei
|
|||
pub const SOUL_VERIFICATION_REFUSAL_RECEIPT_SCHEMA_VERSION: &str =
|
||||
"epiphany.soul.verification_refusal_receipt.v0";
|
||||
|
||||
#[derive(Debug, Clone, PartialEq, Eq, DatabaseEntry)]
|
||||
#[cultcache(type = "epiphany.soul.verdict_receipt", schema = "SoulVerdictReceipt")]
|
||||
pub struct SoulVerdictReceipt {
|
||||
#[cultcache(key = 0)]
|
||||
pub schema_version: String,
|
||||
#[cultcache(key = 1)]
|
||||
pub receipt_id: String,
|
||||
#[cultcache(key = 2)]
|
||||
pub source_result_id: String,
|
||||
#[cultcache(key = 3)]
|
||||
pub source_job_id: String,
|
||||
#[cultcache(key = 4)]
|
||||
pub verdict: String,
|
||||
#[cultcache(key = 5)]
|
||||
pub summary: String,
|
||||
#[cultcache(key = 6)]
|
||||
pub evidence_ids: Vec<String>,
|
||||
#[cultcache(key = 7)]
|
||||
pub risks: Vec<String>,
|
||||
#[cultcache(key = 8)]
|
||||
pub emitted_at: String,
|
||||
#[cultcache(key = 9)]
|
||||
pub contract: String,
|
||||
}
|
||||
|
||||
#[derive(Debug, Clone, PartialEq, Eq, Serialize, Deserialize)]
|
||||
#[serde(rename_all = "camelCase")]
|
||||
pub struct SoulCultNetContract {
|
||||
|
|
@ -111,6 +138,25 @@ pub fn default_soul_cultnet_contracts() -> Vec<SoulCultNetContract> {
|
|||
]
|
||||
}
|
||||
|
||||
pub fn soul_verdict_receipt_from_verification_finding(
|
||||
receipt_id: String,
|
||||
finding: &EpiphanyRoleFindingInterpretation,
|
||||
emitted_at: String,
|
||||
) -> SoulVerdictReceipt {
|
||||
SoulVerdictReceipt {
|
||||
schema_version: SOUL_VERDICT_RECEIPT_SCHEMA_VERSION.to_string(),
|
||||
receipt_id,
|
||||
source_result_id: finding.runtime_result_id.clone().unwrap_or_default(),
|
||||
source_job_id: finding.runtime_job_id.clone().unwrap_or_default(),
|
||||
verdict: finding.verdict.clone().unwrap_or_else(|| "unknown".to_string()),
|
||||
summary: finding.summary.clone().unwrap_or_default(),
|
||||
evidence_ids: finding.evidence_ids.clone(),
|
||||
risks: finding.risks.clone(),
|
||||
emitted_at,
|
||||
contract: "Soul verdict emitted from a reviewed Verification lane finding; it is proof of verification judgment before Mind admission.".to_string(),
|
||||
}
|
||||
}
|
||||
|
||||
#[cfg(test)]
|
||||
mod tests {
|
||||
use super::*;
|
||||
|
|
@ -137,4 +183,36 @@ mod tests {
|
|||
.contains(&SOUL_VERDICT_RECEIPT_TYPE.to_string())
|
||||
);
|
||||
}
|
||||
|
||||
#[test]
|
||||
fn verification_finding_builds_soul_verdict_receipt() {
|
||||
let finding = EpiphanyRoleFindingInterpretation {
|
||||
verdict: Some("passed".to_string()),
|
||||
summary: Some("Checks passed.".to_string()),
|
||||
next_safe_move: Some("Proceed.".to_string()),
|
||||
checkpoint_summary: None,
|
||||
scratch_summary: None,
|
||||
files_inspected: vec!["src/lib.rs".to_string()],
|
||||
frontier_node_ids: Vec::new(),
|
||||
evidence_ids: vec!["ev-check".to_string()],
|
||||
artifact_refs: Vec::new(),
|
||||
runtime_result_id: Some("result-1".to_string()),
|
||||
runtime_job_id: Some("job-1".to_string()),
|
||||
open_questions: Vec::new(),
|
||||
evidence_gaps: Vec::new(),
|
||||
risks: Vec::new(),
|
||||
state_patch: None,
|
||||
self_patch: None,
|
||||
self_persistence: None,
|
||||
job_error: None,
|
||||
item_error: None,
|
||||
};
|
||||
let receipt = soul_verdict_receipt_from_verification_finding(
|
||||
"soul-verdict-1".to_string(),
|
||||
&finding,
|
||||
"2026-05-30T00:00:00Z".to_string(),
|
||||
);
|
||||
assert_eq!(receipt.verdict, "passed");
|
||||
assert!(receipt.evidence_ids.contains(&"ev-check".to_string()));
|
||||
}
|
||||
}
|
||||
|
|
|
|||
|
|
@ -34,7 +34,7 @@ remembers doctrine; the branch remembers the blade.
|
|||
- Do not copy exact branch or HEAD from this note. Run `git status --short --branch` and `git log --oneline -5`.
|
||||
- Canonical anatomy now lives in `notes/epiphany-anatomy.md`. Embodied sub-agents are Self, Face, Imagination, Eyes, Proprioception, Hands, and Soul. Body, Mind, Continuity, and Substrate Gate are substrate/state/protocol surfaces, not sub-agent identities. State is split by layer: `work_organ` for resident Epiphany sub-agents, `persona` for portable public/person-shaped state shared by Epiphany Face, VoidBot repo Faces, and Ghostlight characters, and heartbeat/swarm state for scheduling and coordination physiology. Persona state now carries provenance, required public presentation, `date-time` timestamps, typed `candidateActions`, strict anchored thoughts with non-authoritative extensions, custom enum companion labels, and typed affect records for bonds/status reads/doctrine stances.
|
||||
- The repo now has a one-command local operator path: `.\tools\epiphany_local_run.ps1`. Default mode is `smoke`; it builds the retained Codex app-server compatibility edge, builds native Epiphany operator binaries, runs the coordinator smoke, and writes launcher artifacts under `.epiphany-run/` plus coordinator artifacts under `.epiphany-dogfood/`. `-Mode status` is now Epiphany-native: it builds only Epiphany operator binaries, reads `state/thread-state.msgpack` when present, derives status through `epiphany-core`, and does not start or require `codex-app-server`. Use `-Mode plan` or `-Mode run -MaxSteps 4` for the raw bridge-equipped coordinator entrypoints; use `-Mode mvp -FaceInput "<operator request>" -MaxSteps 4` for the local product cycle that projects Face's character turn, writes a Face/Aquarium bubble, bootstraps a minimal local checkpoint for fresh threads, runs the coordinator with auto-tools, then runs heartbeat sleep/dream maintenance. Live plan/run/mvp modes use the workspace `state/runtime-spine.msgpack`, because CodexThread launch writes worker requests there; the run bundle remains artifact evidence, not runtime lifecycle authority. Add `-ThreadId <id>` and `-Workspace <path>` to inspect or continue an existing thread. `status`, `plan`, and `smoke` do not spend model calls; `run` and `mvp` build and use `epiphany-openai-runtime`. Coordinator workers now launch detached and are polled through runtime-spine instead of blocking the coordinator. MVP runs are non-ephemeral by default so `-ThreadId <id>` can resume and poll later. `-MaxRuntimeSeconds <n>` is passed into worker runtime; timeout writes a failed worker receipt and exits. Failed modeling now blocks downstream verification until the failed result is reviewed.
|
||||
- Current Mom-ready status: the normal MVP pass reaches Face -> coordinator -> detached runtime -> heartbeat sleep, and modeling workers now complete through the ChatGPT subscription transport. The first failure was a stack of violated observability/runtime invariants: worker prompts prepended the whole shared persistent-memory rite, Responses frame liveness was invisible until completion, and the runtime tried to persist hundreds of text deltas before completing the worker job. Role/reorient workers now get a compact Epiphany worker boundary instead of full persistent memory; runtime-spine records sampled raw Responses frame kinds with small previews; contiguous reasoning/text deltas compact before durable storage; and live proofs completed `2fe38dcd-d99e-4c73-9a58-afcc81f851c7`, `241e3851-e3ea-4877-a63b-0d2bbd96a7e2`, and `85149a26-6975-403f-ac93-092b717c5825` instead of timing out. The second failure was stale lifecycle authority: completed runtime jobs remained as unresolved `runtime_links`, replacement launches treated historical active links as current, and one bad validation path opened an orphan job before rejecting the state patch. Latest-link-wins is now the runtime-link invariant, terminal links project completed jobs, stale active history cannot veto replacement, launch validation happens before opening runtime jobs, and completed-but-unreviewable modeling findings stop for review instead of relaunching the same lane. The Eyes/source-gather fork is now landed: Research is a fixed Eyes lane with launch/result/accept/status/coordinator/protocol support, and `regather-needed` modeling findings route to `LaunchResearch` instead of relaunching blind Proprioception. Research statePatch admission is Eyes-shaped only: observations, evidence, scratch, and optional investigationCheckpoint; no graph, planning, objective, or checkpoint authority. Mind admission now leaves typed runtime-spine proof: role/reorient acceptance persists `epiphany.mind.gateway_review` before state admission and `epiphany.mind.state_commit_receipt` after admission with the resulting durable revision. Launch contracts now split the broad receipt catalogue from effect-specific proof profiles for state admission, evidence promotion, repo action, verification, and continuity recovery, so gates do not accidentally demand the whole organ catalogue for every finding. Acceptance evaluates claimed effects against the launch-carried profiles and rereads persisted receipts from runtime-spine. Research evidence promotion now enforces Substrate Gate read/snapshot grant, Eyes evidence packet, and Mind review before state admission. The next concrete rebuild layer is Soul verdict proof for Verification.
|
||||
- Current Mom-ready status: the normal MVP pass reaches Face -> coordinator -> detached runtime -> heartbeat sleep, and modeling workers now complete through the ChatGPT subscription transport. The first failure was a stack of violated observability/runtime invariants: worker prompts prepended the whole shared persistent-memory rite, Responses frame liveness was invisible until completion, and the runtime tried to persist hundreds of text deltas before completing the worker job. Role/reorient workers now get a compact Epiphany worker boundary instead of full persistent memory; runtime-spine records sampled raw Responses frame kinds with small previews; contiguous reasoning/text deltas compact before durable storage; and live proofs completed `2fe38dcd-d99e-4c73-9a58-afcc81f851c7`, `241e3851-e3ea-4877-a63b-0d2bbd96a7e2`, and `85149a26-6975-403f-ac93-092b717c5825` instead of timing out. The second failure was stale lifecycle authority: completed runtime jobs remained as unresolved `runtime_links`, replacement launches treated historical active links as current, and one bad validation path opened an orphan job before rejecting the state patch. Latest-link-wins is now the runtime-link invariant, terminal links project completed jobs, stale active history cannot veto replacement, launch validation happens before opening runtime jobs, and completed-but-unreviewable modeling findings stop for review instead of relaunching the same lane. The Eyes/source-gather fork is now landed: Research is a fixed Eyes lane with launch/result/accept/status/coordinator/protocol support, and `regather-needed` modeling findings route to `LaunchResearch` instead of relaunching blind Proprioception. Research statePatch admission is Eyes-shaped only: observations, evidence, scratch, and optional investigationCheckpoint; no graph, planning, objective, or checkpoint authority. Mind admission now leaves typed runtime-spine proof: role/reorient acceptance persists `epiphany.mind.gateway_review` before state admission and `epiphany.mind.state_commit_receipt` after admission with the resulting durable revision. Launch contracts now split the broad receipt catalogue from effect-specific proof profiles for state admission, evidence promotion, repo action, verification, and continuity recovery. Research evidence promotion enforces Substrate Gate read/snapshot grant, Eyes evidence packet, and Mind review before state admission; Verification acceptance enforces Soul verdict and Mind review. The next concrete rebuild layer is Continuity recovery proof for reorient acceptance or Hands action proof once action lanes become live.
|
||||
- Local operator runs now write typed CultMesh intent/receipt documents to `.epiphany-run/cultmesh/operator-runs.ccmp` through `epiphany-operator-run`. The wrapper writes intent before acting and a completion receipt after success; this is the local consent/trace rail, not a hidden scheduler queue.
|
||||
- Status-mode local runs now also write a native CultMesh operator snapshot to `.epiphany-run/cultmesh/operator-snapshots.ccmp` through `epiphany-operator-snapshot`. That snapshot distills the operator-safe MVP status artifact into typed fields such as thread id, state status, coordinator action, CRRC action, reorient action, available actions, and artifact refs; it does not preserve the raw JSON status blob as internal state.
|
||||
- `epiphany-mvp-status --source native` is the current provider-neutral status boundary. It projects scene, pressure, jobs, roles, planning, reorient, CRRC, coordinator status, and runtime-linked worker lifecycle from native core surfaces. It reads runtime-spine job/result receipts for linked jobs so failed workers show as failed in role results, jobs, roles, and coordinator source signals, while successful semantic findings still require typed role/reorient worker result documents. Keep future pluggable model-provider work behind launch/result/runtime documents; do not let provider choice leak into status, prompt authority, scheduler policy, or durable `EpiphanyThreadState`.
|
||||
|
|
@ -1431,8 +1431,11 @@ after the review write. Research launch now emits a typed Substrate Gate
|
|||
read/snapshot access grant, and Research acceptance emits, persists, rereads,
|
||||
and enforces an `epiphany.eyes.evidence_packet` built from the accepted
|
||||
Eyes-shaped statePatch. Research evidence promotion therefore has a live
|
||||
Substrate Gate -> Eyes -> Mind proof chain. Other non-Mind profile gaps remain
|
||||
deferred because those producers are not live yet.
|
||||
Substrate Gate -> Eyes -> Mind proof chain. Verification acceptance now emits a
|
||||
typed `epiphany.soul.verdict_receipt`, persists/rereads it through
|
||||
runtime-spine, and enforces Soul verdict proof before Mind admits
|
||||
verification-shaped state. Other non-Mind profile gaps remain deferred because
|
||||
those producers are not live yet.
|
||||
Mind review is now a persisted receipt chain for acceptance rather than an
|
||||
in-memory blessing: the bridge writes `epiphany.mind.gateway_review` before
|
||||
role/reorient state admission and `epiphany.mind.state_commit_receipt` after
|
||||
|
|
|
|||
|
|
@ -141,10 +141,13 @@ resulting state revision. Research acceptance also emits a typed
|
|||
persists it in runtime-spine, rereads it, and enforces Eyes packet proof for the
|
||||
evidence-promotion profile. Research launches now also persist a typed
|
||||
Substrate Gate read/snapshot access grant, and Research acceptance enforces that
|
||||
grant before admitting evidence-shaped state. Remaining weakness: Hands, Soul,
|
||||
and Continuity receipts are still mostly launch-carried expectations, not
|
||||
enforced proof chains before state/action promotion, and the current Mind state
|
||||
mutation plus post-commit receipt is not a single transaction yet.
|
||||
grant before admitting evidence-shaped state. Verification acceptance emits a
|
||||
typed `epiphany.soul.verdict_receipt`, persists/rereads it through
|
||||
runtime-spine, and enforces Soul verdict proof before Mind admits
|
||||
verification-shaped state. Remaining weakness: Hands and Continuity receipts are
|
||||
still mostly launch-carried expectations, not enforced proof chains before
|
||||
state/action promotion, and the current Mind state mutation plus post-commit
|
||||
receipt is not a single transaction yet.
|
||||
|
||||
### 4. Self Still Shares A Throne With Compatibility Plumbing
|
||||
|
||||
|
|
@ -339,8 +342,10 @@ comfort tunnels.
|
|||
- Landed: Research launches produce and enforce typed Substrate Gate
|
||||
read/snapshot grants, closing the Research evidence-promotion chain through
|
||||
Substrate Gate -> Eyes -> Mind.
|
||||
- Next: add Soul verdict receipts for Verification findings, then make that
|
||||
profile proof enforceable.
|
||||
- Landed: Verification acceptance produces and enforces typed Soul verdict
|
||||
receipts before Mind admission.
|
||||
- Next: add Continuity recovery receipts for reorient acceptance or Hands action
|
||||
receipts when action lanes become live.
|
||||
- Make Aquarium read the contract catalog and available receipts instead of
|
||||
hard-coding the route zoo.
|
||||
- Starve `codex_message_processor` down to Codex auth/model transport and
|
||||
|
|
|
|||
Binary file not shown.
|
|
@ -116,7 +116,7 @@ accepted_design:
|
|||
- Substrate Gate contract surface is now named beside Mind's state gate: `epiphany-core::substrate_gate` defines repo access requests, access reviews, grant/refusal receipts, snapshot receipts, and mutation receipts; runtime-spine advertises those contracts; CultMesh persists matching `EpiphanyCultMeshSubstrateGateContractEntry` policy documents so repo substrate access has its own typed guardian instead of hiding behind worker launch scope.
|
||||
- Eyes' evidence contract surface is named beside Substrate Gate and Mind: `epiphany-core::eyes_gateway` defines evidence requests, evidence reviews, source lookup receipts, evidence packets, and evidence refusal receipts; runtime-spine advertises those contracts; CultMesh persists matching `EpiphanyCultMeshEyesContractEntry` policy documents so retrieved snippets and source reads are not confused with inspected evidence.
|
||||
- Hands, Soul, and Continuity now have first-class contract catalogs beside Mind/Substrate Gate/Eyes. `epiphany-core::hands_gateway` defines action intents, reviews, command/patch/commit/PR/rollback/refusal receipts; `epiphany-core::soul_gateway` defines verification requests, invariant checks, verdict/regression/review/refusal receipts; `epiphany-core::continuity_gateway` defines continuity packets, compaction checkpoints, sleep distillation, recovery, stale-turn repair, and continuity refusal receipts. Runtime-spine advertises them and CultMesh persists matching Verse-scoped contract policy documents.
|
||||
- Worker launch packets now carry `EpiphanyLaunchOrganContract` beside the typed launch document. The contract derives from authority scope, document kind, and output contract id; carries the full standing sub-agent dependency matrix, a receipt document catalogue, and effect-specific receipt proof profiles for state admission, evidence promotion, repo action, verification, and continuity recovery. Runtime-spine validates and persists this contract on `EpiphanyRuntimeWorkerLaunchRequest`; bridge role/reorient/generic launch builders populate it. Role/reorient acceptance now refuses completed runtime-spine findings if their original worker launch request is missing, mismatched by document kind, or lacks a state-admission proof profile requiring Mind review. Acceptance computes claimed effects from the role/reorient state change, rereads the persisted Mind gateway review from runtime-spine, enforces that currently available Mind proof, and defers non-Mind profile gaps until their producers exist. The first executable Mind proof is landed: acceptance persists `epiphany.mind.gateway_review` before state admission and `epiphany.mind.state_commit_receipt` after admission with the resulting revision. The Research evidence-promotion proof chain is now executable: Research launches persist typed Substrate Gate read/snapshot access grants, accepted Research findings emit typed Eyes evidence packets from their Eyes-shaped statePatch, runtime-spine persists/verifies both, and Research acceptance enforces Substrate Gate grant + Eyes packet + Mind review before evidence-shaped state admission.
|
||||
- Worker launch packets now carry `EpiphanyLaunchOrganContract` beside the typed launch document. The contract derives from authority scope, document kind, and output contract id; carries the full standing sub-agent dependency matrix, a receipt document catalogue, and effect-specific receipt proof profiles for state admission, evidence promotion, repo action, verification, and continuity recovery. Runtime-spine validates and persists this contract on `EpiphanyRuntimeWorkerLaunchRequest`; bridge role/reorient/generic launch builders populate it. Role/reorient acceptance now refuses completed runtime-spine findings if their original worker launch request is missing, mismatched by document kind, or lacks a state-admission proof profile requiring Mind review. Acceptance computes claimed effects from the role/reorient state change, rereads the persisted Mind gateway review from runtime-spine, enforces that currently available Mind proof, and defers non-Mind profile gaps until their producers exist. The first executable Mind proof is landed: acceptance persists `epiphany.mind.gateway_review` before state admission and `epiphany.mind.state_commit_receipt` after admission with the resulting revision. The Research evidence-promotion proof chain is executable: Research launches persist typed Substrate Gate read/snapshot access grants, accepted Research findings emit typed Eyes evidence packets from their Eyes-shaped statePatch, runtime-spine persists/verifies both, and Research acceptance enforces Substrate Gate grant + Eyes packet + Mind review before evidence-shaped state admission. The Verification proof chain is executable too: accepted Verification findings emit typed Soul verdict receipts, runtime-spine persists/verifies them, and Verification acceptance enforces Soul verdict + Mind review before verification-shaped state admission.
|
||||
- `notes/perfect-machine-audit-roadmap.md` is the current architectural audit. The main finding is that organ contracts are now named, launch-carried, and minimally acceptance-gated against naked runtime jobs, while Mind admission has the first persisted review/commit receipt chain. The old all-receipts list is now only a catalogue; proof profiles say which receipts are required for each effect type. Substrate Gate, Eyes, Hands, Soul, and Continuity receipts are still expectations rather than mandatory receipt chains. The current Mind receipt write is not transactional across state mutation and receipt persistence; future state admission should collapse mutation plus post-commit receipt into one owner when the storage layer supports it. The Rust dependency body repair is landed: the missing `E:\Projects\CultLib\crates\*` paths were replaced with repo-contained vendored CultCache/CultNet/CultMesh crates, and `cargo test --manifest-path .\epiphany-core\Cargo.toml --lib` passes.
|
||||
- `notes/codex-starvation-and-cultnet-liberation-plan.md` is the active foundation directive. It supersedes outward product/bridge/dogfood work and supersedes the weaker goal of merely making Codex app-server a cleaner adapter. Epiphany must become a native CultCache/CultNet runtime; Codex remains only as an OpenAI subscription auth/model-transport reliquary until that too can be replaced or minimized.
|
||||
- `notes/codex-auth-spine-inventory.md` is the current source-grounded inventory of the Codex organ that may survive. Corrected compliance invariant: Codex-compatible auth identity should remain anchored in retained vendored Codex-derived auth machinery, while Epiphany owns typed request/status/event/runtime surfaces around it. Codex app-server, apps, skills, marketplace, plugin UX, MCP OAuth handlers, and collaboration-mode surfaces are not part of the keeper spine.
|
||||
|
|
@ -588,4 +588,4 @@ current_status:
|
|||
cargo and rejects modeling/planning/graph/checkpoint authority. MVP status
|
||||
and coordinator smokes pass with six lanes, and the smoke harness now
|
||||
rebuilds stale coordinator/app-server binaries before using them.
|
||||
next_action: Continue the Perfect Machine rebuild by adding the next effect proof chain. Research evidence promotion now has Substrate Gate + Eyes + Mind proof; a sensible next cut is Soul verdict receipts for Verification findings, then enforce the verification proof profile before verification-shaped state admission.
|
||||
next_action: Continue the Perfect Machine rebuild by choosing the next chain carefully. Research evidence promotion now has Substrate Gate + Eyes + Mind proof, and Verification has Soul + Mind proof. The next likely cut is Continuity recovery proof for reorient acceptance, or Hands action proof once implementation/action lanes become live.
|
||||
|
|
|
|||
Reference in a new issue