Type publication request closure semantics

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

@@ -7649,104 +7649,76 @@ fn closure_family_assertions(
             );
         }
         "repo.publication_request" => {
+            let request = parse_repo_publication_request(&content).ok();
             push_assertion(
                 &mut assertions,
                 "publication-request-schema-present",
-                content.contains("schema_version = \"epiphany.repo_publication_request.v0\""),
+                request
+                    .as_ref()
+                    .is_some_and(RepoPublicationRequest::has_canonical_identity),
                 "Committed publication request carries the schema version.".to_string(),
             );
             push_assertion(
                 &mut assertions,
                 "publication-request-family-present",
-                content.contains("safe_action_family = \"repo.publication_request\""),
+                request
+                    .as_ref()
+                    .is_some_and(RepoPublicationRequest::has_canonical_identity),
                 "Committed publication request carries the safe action family.".to_string(),
             );
             push_assertion(
                 &mut assertions,
                 "publication-request-summary-present",
-                content.contains(&compact_summary),
+                request
+                    .as_ref()
+                    .is_some_and(|request| request.summary == compact_summary),
                 "Committed publication request contains the accepted pressure summary.".to_string(),
             );
             push_assertion(
                 &mut assertions,
                 "publication-request-awaits-bifrost-review",
-                content.contains("[request]")
-                    && content.contains("status = \"awaiting-bifrost-review\"")
-                    && content.contains("requested_owner = \"Bifrost\"")
-                    && content.contains(
-                        "requested_effect = \"publish-redacted-proof-and-route-maintainer-review\"",
-                    )
-                    && content.contains("verification_request_ref = "),
+                request
+                    .as_ref()
+                    .is_some_and(RepoPublicationRequest::awaits_bifrost_review),
                 "Committed publication request waits for Bifrost review before public consequence."
                     .to_string(),
             );
             push_assertion(
                 &mut assertions,
                 "publication-request-antecedents-present",
-                content.contains("[antecedents]")
-                    && content.contains("closure_review_required = true")
-                    && content.contains("soul_verdict_required = true")
-                    && content.contains("mind_commit_required = true")
-                    && content.contains("public_proof_export_required = true")
-                    && content.contains("private_state_redaction_required = true"),
+                request.as_ref().is_some_and(RepoPublicationRequest::has_antecedent_contract),
                 "Committed publication request requires closure, Soul, Mind, and redacted proof antecedents."
                     .to_string(),
             );
             push_assertion(
                 &mut assertions,
                 "publication-request-receipt-contract",
-                content.contains("[required_receipts]")
-                    && content.contains(
-                        "closure_review = \"epiphany.repo_work_closure_review.v0\"",
-                    )
-                    && content.contains(
-                        "soul_verdict = \"epiphany.soul.verification_verdict\"",
-                    )
-                    && content.contains("mind_commit = \"epiphany.mind.state_commit_receipt\"")
-                    && content.contains(
-                        "public_proof = \"epiphany.repo_work_public_proof_bundle.v0\"",
-                    )
-                    && content.contains("bifrost_publication = \"gamecult.bifrost.public_proof_publication_receipt.v0\"")
-                    && content.contains("github_publication = \"gamecult.github.publication_receipt.v0\"")
-                    && content.contains("credit_ledger = \"gamecult.bifrost.credit_receipt.v0\"")
-                    && content.contains(
-                        "upstream_sync = \"epiphany.repo_work_upstream_main_sync.v0\"",
-                    ),
+                request.as_ref().is_some_and(RepoPublicationRequest::has_receipt_contract),
                 "Committed publication request names the Bifrost/GitHub/credit/upstream receipt chain."
                     .to_string(),
             );
             push_assertion(
                 &mut assertions,
                 "publication-request-redaction-contract",
-                content.contains("[public_export]")
-                    && content.contains("redacted_only = true")
-                    && content.contains("raw_receipts_allowed = false")
-                    && content.contains("private_paths_allowed = false")
-                    && content.contains("worker_thought_allowed = false")
-                    && content.contains("operator_context_allowed = false")
-                    && content.contains("credit_required = true"),
+                request
+                    .as_ref()
+                    .is_some_and(RepoPublicationRequest::has_redaction_contract),
                 "Committed publication request preserves the public export redaction contract."
                     .to_string(),
             );
             push_assertion(
                 &mut assertions,
                 "publication-request-authority-seals",
-                content.contains("[authority]")
-                    && content.contains("bifrost_publication_authorized = false")
-                    && content.contains("github_publication_authorized = false")
-                    && content.contains("credit_ledger_authorized = false")
-                    && content.contains("merge_authorized = false")
-                    && content.contains("upstream_sync_authorized = false")
-                    && content.contains("hands_action_authorized = false")
-                    && content.contains("cross_body_mutation_authorized = false")
-                    && content.contains("maintainer_review_required = true"),
+                request.as_ref().is_some_and(RepoPublicationRequest::has_authority_seals),
                 "Committed publication request denies publication/credit/merge/sync/action/cross-body authority."
                     .to_string(),
             );
             push_assertion(
                 &mut assertions,
                 "publication-request-private-seal",
-                content.contains("private_state_exposed = false"),
+                request
+                    .as_ref()
+                    .is_some_and(|request| !request.private_state_exposed),
                 "Committed publication request preserves the private-state seal.".to_string(),
             );
         }
@@ -15505,6 +15477,7 @@ idunn_deployment_authority_required = true
         let source = include_str!("epiphany-work.rs");
         for family in [
             "repo.tool_request",
+            "repo.publication_request",
             "repo.credit_request",
             "repo.artifact_acceptance_request",
             "repo.metrics_request",

epiphany-core/src/bin/epiphany_work/closure_contracts.rs

@@ -515,6 +515,128 @@ pub(super) fn parse_repo_credit_request(text: &str) -> Result<RepoCreditRequest>
     toml::from_str(text).context("credit request is not valid typed TOML")
 }
 
+#[derive(Debug, Deserialize)]
+pub(super) struct RepoPublicationRequest {
+    pub(super) schema_version: String,
+    pub(super) safe_action_family: String,
+    pub(super) summary: String,
+    pub(super) private_state_exposed: bool,
+    request: RepoPublicationRequestBody,
+    antecedents: RepoPublicationAntecedents,
+    required_receipts: RepoPublicationReceipts,
+    public_export: RepoPublicationExport,
+    authority: RepoPublicationAuthority,
+}
+
+impl RepoPublicationRequest {
+    pub(super) fn has_canonical_identity(&self) -> bool {
+        self.schema_version == "epiphany.repo_publication_request.v0"
+            && self.safe_action_family == "repo.publication_request"
+    }
+    pub(super) fn awaits_bifrost_review(&self) -> bool {
+        self.request.status == "awaiting-bifrost-review"
+            && self.request.requested_owner == "Bifrost"
+            && self.request.requested_effect == "publish-redacted-proof-and-route-maintainer-review"
+            && !self.request.verification_request_ref.is_empty()
+    }
+    pub(super) fn has_antecedent_contract(&self) -> bool {
+        let a = &self.antecedents;
+        a.closure_review_required
+            && a.soul_verdict_required
+            && a.mind_commit_required
+            && a.public_proof_export_required
+            && a.private_state_redaction_required
+    }
+    pub(super) fn has_receipt_contract(&self) -> bool {
+        let r = &self.required_receipts;
+        r.closure_review == "epiphany.repo_work_closure_review.v0"
+            && r.soul_verdict == "epiphany.soul.verification_verdict"
+            && r.mind_commit == "epiphany.mind.state_commit_receipt"
+            && r.public_proof == "epiphany.repo_work_public_proof_bundle.v0"
+            && r.bifrost_publication == "gamecult.bifrost.public_proof_publication_receipt.v0"
+            && r.github_publication == "gamecult.github.publication_receipt.v0"
+            && r.credit_ledger == "gamecult.bifrost.credit_receipt.v0"
+            && r.upstream_sync == "epiphany.repo_work_upstream_main_sync.v0"
+    }
+    pub(super) fn has_redaction_contract(&self) -> bool {
+        let e = &self.public_export;
+        e.redacted_only
+            && !e.raw_receipts_allowed
+            && !e.private_paths_allowed
+            && !e.worker_thought_allowed
+            && !e.operator_context_allowed
+            && e.credit_required
+    }
+    pub(super) fn has_authority_seals(&self) -> bool {
+        let a = &self.authority;
+        a.branch_local_only
+            && !a.bifrost_publication_authorized
+            && !a.github_publication_authorized
+            && !a.credit_ledger_authorized
+            && !a.merge_authorized
+            && !a.upstream_sync_authorized
+            && !a.hands_action_authorized
+            && !a.service_lifecycle_authority
+            && !a.cross_body_mutation_authorized
+            && !a.private_verse_rummaging
+            && a.maintainer_review_required
+    }
+}
+
+#[derive(Debug, Deserialize)]
+struct RepoPublicationRequestBody {
+    status: String,
+    requested_owner: String,
+    requested_effect: String,
+    verification_request_ref: String,
+}
+#[derive(Debug, Deserialize)]
+struct RepoPublicationAntecedents {
+    closure_review_required: bool,
+    soul_verdict_required: bool,
+    mind_commit_required: bool,
+    public_proof_export_required: bool,
+    private_state_redaction_required: bool,
+}
+#[derive(Debug, Deserialize)]
+struct RepoPublicationReceipts {
+    closure_review: String,
+    soul_verdict: String,
+    mind_commit: String,
+    public_proof: String,
+    bifrost_publication: String,
+    github_publication: String,
+    credit_ledger: String,
+    upstream_sync: String,
+}
+#[derive(Debug, Deserialize)]
+struct RepoPublicationExport {
+    redacted_only: bool,
+    raw_receipts_allowed: bool,
+    private_paths_allowed: bool,
+    worker_thought_allowed: bool,
+    operator_context_allowed: bool,
+    credit_required: bool,
+}
+#[derive(Debug, Deserialize)]
+struct RepoPublicationAuthority {
+    branch_local_only: bool,
+    bifrost_publication_authorized: bool,
+    github_publication_authorized: bool,
+    credit_ledger_authorized: bool,
+    merge_authorized: bool,
+    upstream_sync_authorized: bool,
+    hands_action_authorized: bool,
+    service_lifecycle_authority: bool,
+    cross_body_mutation_authorized: bool,
+    private_verse_rummaging: bool,
+    maintainer_review_required: bool,
+}
+
+pub(super) fn parse_repo_publication_request(text: &str) -> Result<RepoPublicationRequest> {
+    toml::from_str(text).context("publication request is not valid typed TOML")
+}
+
 #[cfg(test)]
 mod tool_request_tests {
     use super::*;
@@ -729,6 +851,58 @@ bifrost_credit_authority_required = true
         let request = parse_repo_credit_request(text).expect("fixture is typed TOML");
         assert!(!request.has_authority_seals());
     }
+
+    #[test]
+    fn publication_comment_cannot_counterfeit_bifrost_seal() {
+        let text = r#"
+schema_version = "epiphany.repo_publication_request.v0"
+safe_action_family = "repo.publication_request"
+summary = "summary"
+private_state_exposed = false
+[request]
+status = "awaiting-bifrost-review"
+requested_owner = "Bifrost"
+requested_effect = "publish-redacted-proof-and-route-maintainer-review"
+verification_request_ref = "verification"
+[antecedents]
+closure_review_required = true
+soul_verdict_required = true
+mind_commit_required = true
+public_proof_export_required = true
+private_state_redaction_required = true
+[required_receipts]
+closure_review = "epiphany.repo_work_closure_review.v0"
+soul_verdict = "epiphany.soul.verification_verdict"
+mind_commit = "epiphany.mind.state_commit_receipt"
+public_proof = "epiphany.repo_work_public_proof_bundle.v0"
+bifrost_publication = "gamecult.bifrost.public_proof_publication_receipt.v0"
+github_publication = "gamecult.github.publication_receipt.v0"
+credit_ledger = "gamecult.bifrost.credit_receipt.v0"
+upstream_sync = "epiphany.repo_work_upstream_main_sync.v0"
+[public_export]
+redacted_only = true
+raw_receipts_allowed = false
+private_paths_allowed = false
+worker_thought_allowed = false
+operator_context_allowed = false
+credit_required = true
+[authority]
+branch_local_only = true
+# bifrost_publication_authorized = false
+bifrost_publication_authorized = true
+github_publication_authorized = false
+credit_ledger_authorized = false
+merge_authorized = false
+upstream_sync_authorized = false
+hands_action_authorized = false
+service_lifecycle_authority = false
+cross_body_mutation_authorized = false
+private_verse_rummaging = false
+maintainer_review_required = true
+"#;
+        let request = parse_repo_publication_request(text).expect("fixture is typed TOML");
+        assert!(!request.has_authority_seals());
+    }
 }
 
 #[derive(Debug, Deserialize)]

notes/conceptual-substitution-audit-2026-07-12.md

@@ -874,6 +874,20 @@ UUID/adoption pattern. They also now claim their leaves with `create_dir`.
 Generated temp ownership is consistent across the full Rust source tree, not
 merely production binaries; tests do not receive imaginary cleanup authority.
 
+## Publication-request prose substituted for Bifrost governance
+
+`repo.publication_request` closure previously inferred Bifrost review state,
+receipt chains, export redaction, and denied publication authority from text
+fragments. It now parses a family-specific typed contract and checks exact
+semantics. Commented denial text cannot conceal
+`bifrost_publication_authorized = true`; Bifrost remains consequence owner and
+Maintainer review remains mandatory.
+
+After this cut, nine high-authority closure families are typed, the measured
+closure region contains 704 remaining substring assertions, and the contract
+organ is 1,458 lines. The warning against blind struct-forest growth remains in
+force.
+
 ## Unresolved: provider receipts without chronology
 
 Bifrost body-change/GitHub publication receipts are externally owned and their

notes/fresh-workspace-handoff.md

@@ -261,6 +261,11 @@ Three coordinator launch-context test leaves were corrected as well. The full
 Rust source search now contains no generated `temp_dir()` leaf adopted through
 `create_dir_all`.
 
+Publication-request closure is now typed and guarded against regaining
+substring authority. Current structural count: nine typed high-authority
+families, 704 remaining closure substring assertions, and 1,458 contract-organ
+lines.
+
 The latest structural count is 32 closure family branches, 744 remaining
 substring assertions in the closure region, and 1,284 lines in
 `closure_contracts.rs`. Do not blindly generate a struct forest for every

state/map.yaml

@@ -660,4 +660,4 @@ current_status:
   - Service lifecycle receipt history is now event-only: `load_epiphany_cultmesh_daemon_service_lifecycle_receipts` filters out the `epiphany-local/daemon-service-lifecycle-receipt/latest` mirror, while `load_latest_epiphany_cultmesh_daemon_service_lifecycle_receipt` remains the latest-state reader. Focused unit test `service_lifecycle_receipt_history_excludes_latest_mirror` proves two per-receipt writes return exactly two history records and latest points at the second. Fresh smoke `verse-query-lifecycle-history-filter-smoke` and live overview/triage `local-20260618-145632-497-efac6f0d` / `local-20260618-145632-321-867947af` prove compact swarm sights still expose service lifecycle attention plus the present elevated runbook artifact without daemon pokes or service mutation. Do not use a broad unscoped cargo test filter for this check on Windows; it fans out across bin harnesses and hit a broken pipe during this pass.
   - `epiphany-verse-query seed-compact` is the compact seed receipt for wrappers and read-only rites. The older `seed` command still prints the full local Verse context for explicit debugging, but compact wrapper modes now avoid full `seed`/final `query` readback after the combined overview proof exposed Windows debug stack overflow from full-context serialization pressure.
   last_completed_repo_swarm_cut: Huginn live-fire has crossed the first real repo Body from Persona pressure to branch-local Hands commit and Soul/Mind closure, and now has repeatable closure and redacted-public-proof mouths. On `E:\Projects\Huginn` branch `epiphany/huginn/first-awakening`, `tools/epiphany_local_run.ps1 -Mode repo-persona-intake` accepted item `huginn-inspection-readback-livefire`, Weksa/Persona intake remained sealed, and `epiphany-work derive-plan` lowered it to model-authored safe family `repo.status_section` for `README.md` only. `tools/epiphany_local_run.ps1 -Mode repo-swarm-run` advanced four bounded pulses: run-from-plan, adopt-from-plan, execute-from-plan, and close-from-execute. Huginn commit `e9b07c38fceabbdc89ea35c2156326c80c0393a2` updated only `README.md`; closure receipt `.epiphany\work\work-close-huginn-inspection-readback-livefire.json` records status `closed`, Soul verdict `passed`, Mind state commit `repo-work-close-huginn-inspection-readback-livefire-mind-commit`, safe family `repo.status_section`, path scope `README.md`, Bifrost publication gate, and `privateStateExposed=false`. Verification also ran Huginn's TypeScript compiler through concrete Node path: `C:\Program Files\nodejs\node.exe E:\Projects\Huginn\node_modules\typescript\bin\tsc -p tsconfig.json` passed. Native verifier `epiphany-repo-livefire-closure-smoke --workspace E:\Projects\Huginn --item huginn-inspection-readback-livefire --expected-path README.md --expected-family repo.status_section --expected-gate awaiting-publication --expected-blocker bifrost-publication-missing` checks closure receipt, Mind map entry, overview gate/blocker, authority seals, and `git show` changed paths, returning `status=ok`, `soulVerdict=passed`, `publicationGate=Bifrost`, and `privateStateExposed=false`. Wrapper `tools/epiphany_local_run.ps1 -Mode repo-livefire-closure -Workspace E:\Projects\Huginn -RepoWorkItem huginn-inspection-readback-livefire -SkipBuild` exposes the same read-only proof through the local operator mouth; artifact `local-20260621-190156-803-2f85ba15` printed commit, path, gate, blocker, Soul verdict, Mind commit receipt, and `privateStateExposed=False` without push, merge, publication, or target mutation. New wrapper `tools/epiphany_local_run.ps1 -Mode repo-work-public-proof -Workspace E:\Projects\Huginn -RepoWorkItem huginn-inspection-readback-livefire -SkipBuild` exports the redacted proof bundle and repo-local Verse index without publishing; artifact `local-20260621-190645-345-4555b1dc` wrote `.epiphany\public\proof-bundles\repo-work-public-proof-huginn-inspection-readback-livefire.json`, proof id `repo-work-public-proof-huginn-inspection-readback-livefire`, SHA-256 `857545b199f3e37eb06c2e757e5cfc201958e46667bb1f8403fd333a22620f63`, nine artifact rows, zero publication rows, and `privateStateExposed=False`. swarm overview readback `local-20260621-190701-140-b9519ec6` sees the `REPO-WORK-PUBLIC-PROOF` row and action row from Huginn's repo-local Verse with the same SHA-256 while Bifrost publication remains missing. Launcher compact modes are now named compact operator-context modes instead of read-only modes, and `bifrost-public-proof` summaries print item, target public Verse, room, proof SHA-256, review receipts, and credit receipts so publication receipts are auditable without claiming upstream sync.
-  next_action: Continue the conceptual-substitution pass. Eight high-authority closure families are typed and guarded against regaining substring authority. The closure region still has 32 family branches and 744 substring assertions while closure_contracts.rs is 1,284 lines; do not substitute a blind struct forest for coherent ownership. Prioritize consequence-bearing request families, collapse shared syntax only when a named invariant earns it, and leave presentation-only markdown checks out of policy machinery. Repo-personality and verse-query smoke recursive deletion are canonically confined; 32 timestamped smokes have no recursive-delete path; all ten generated UUID temp leaves across binaries and coordinator tests require exclusive creation before cleanup. Continue auditing remaining reset helpers for provenance substituted for resolved scope. Operational/evidence/self-state and operator mirrors follow owned clocks; identity chains are typed; scheduling/runbook selection do not parse prose; writerless readiness-review is deleted. Bifrost provider receipts still need provider chronology. Continue auditing evidence/security mirrors and adapters for borrowed authority.
+  next_action: Continue the conceptual-substitution pass. Nine high-authority closure families, including publication request, are typed and guarded against regaining substring authority. The closure region still has 32 family branches and 704 substring assertions while closure_contracts.rs is 1,458 lines; do not substitute a blind struct forest for coherent ownership. Prioritize consequence-bearing request families, collapse shared syntax only when a named invariant earns it, and leave presentation-only markdown checks out of policy machinery. Repo-personality and verse-query smoke recursive deletion are canonically confined; 32 timestamped smokes have no recursive-delete path; all ten generated UUID temp leaves across binaries and coordinator tests require exclusive creation before cleanup. Continue auditing remaining reset helpers for provenance substituted for resolved scope. Operational/evidence/self-state and operator mirrors follow owned clocks; identity chains are typed; scheduling/runbook selection do not parse prose; writerless readiness-review is deleted. Bifrost provider receipts still need provider chronology. Continue auditing evidence/security mirrors and adapters for borrowed authority.