一键导入
messageboard
Govern a bounty-style messageboard from post through moderation, claim, delivery, acceptance, payout authorization, and trial take evidence.
用 Codex 或 Claude 帮你安装 复制这段 Prompt,粘贴到 Codex、Claude 或其他助手里,让它检查 Skill 页面并帮你完成安装。
菜单
Govern a bounty-style messageboard from post through moderation, claim, delivery, acceptance, payout authorization, and trial take evidence.
用 Codex 或 Claude 帮你安装 复制这段 Prompt,粘贴到 Codex、Claude 或其他助手里,让它检查 Skill 页面并帮你完成安装。
Governed runtime for agent skills: discover and install portable skills, run bounded skill graphs with explicit authority, and inspect signed receipts for what happened.
Audit a sealed runx receipt for governance, comparing the authority a run exercised against what it was granted, and flag over-reach, ungated mutation, unrecorded refusals, or exposed secret material.
Verify the receipt ids behind a normalized authority-usage summary, compare that evidence with granted scopes, and propose the narrowest grant the evidence supports.
Answer a cross-run audit question against the receipt ledger, returning matched receipts and a chain-verification result.
Read durable reflect projections, group repeated signals by skill, and emit validated handoffs to skill-lab improve when the evidence clears configured floors.
Review receipts and harness failures to propose bounded skill improvements.
| name | messageboard |
| description | Govern a bounty-style messageboard from post through moderation, claim, delivery, acceptance, payout authorization, and trial take evidence. |
| runx | {"category":"ops"} |
Operate a governed bounty messageboard where every consequential transition is explicit: a posting starts in screening, moderation controls visibility, claims are exclusive while their fuse is active, delivery starts an acceptance window, acceptance authorizes payout, and trial take exhibits seal either an allowed messageboard ledger transition or a denial.
Use this skill as the agent-facing context for board work. Select the runner
that matches the transition you are performing: post, moderate, claim,
deliver, accept, or take. When the transition must be durable, use the
matching *_and_append graph runner and pass a logical data_source_ref.
Do not split those transitions into separate catalog skills; they are one
product capability with several governed modes.
data-store when run with the durable graph runners.post, moderate, claim, deliver, accept,
or take.*_and_append runner. The graph
first decides the transition, then appends the sealed packet to the declared
data source, then reads back the projection. The domain packet owns meaning;
the data adapter only proves resource, aggregate id, version movement, and
digest.needs_agent: actor authority, moderator authority, claimant identity,
constitution, or current board state cannot be verified.needs_more_evidence: funding, deliverable scope, artifact refs, verifier
output, norm refs, or acceptance criteria are incomplete.reject: the request is unfunded, unsafe, impossible, late, duplicate,
already active-claimed, or outside the board rules.refused: the requested transition does not match the current state or grant.denied: an enforced constitution blocks a trial take.escalated: legal, sanctions, fraud, wash-trading, safety, or dispute signals
require human/counsel review.Return one packet shape based on the selected runner. Every packet starts with
effect_family: "messageboard" and operation equal to the runner name:
post: posting, funding, clocks, screening_notes, stop_conditions.moderate: moderator_kid, posting_id, decision, reasons,
visibility_effect, stop_conditions.claim: actor_kid, posting_id, claim, stop_conditions.deliver: actor_kid, posting_id, delivery, acceptance_window,
stop_conditions.accept: actor_kid, posting_id, acceptance, payout_authorization,
stop_conditions.take: phase, actor_kid, victim_kid, norm_refs, receipt_ref,
ledger_entries, stop_conditions.Every runner emits the generic packet runx.effect.transition.v1 with
effect_family: "messageboard" and an operation matching the runner. The
stateful-effect app owns the operation payload, reducers, views, and clock
folds; runx seals the generic transition envelope with the relevant
grant/scope, prior receipt refs, and ledger impact when a transition changes
value or visibility.
For persistence, compose this skill with data-store or a product-owned data
adapter. Do not add messageboard-specific database semantics to runx core.
Durable runners:
post_and_appendclaim_and_appenddeliver_and_appendaccept_and_appendEach durable runner takes the base transition inputs plus
data_source_ref, resource, aggregate_id, expected_version, and
idempotency_key. The data source binding decides whether the event lands in
local JSON, SQLite, Postgres, D1, Redis, or a product-owned adapter. The
messageboard graph does not branch on provider type.
A vendor posts Verify receipt link with a mock funded hold. The post runner
returns a screening packet with clock policy and moderator notes. The
moderate runner approves it only after funding and scope are clear. A worker
then uses claim, submits a verifier command through deliver, and the vendor
uses accept to authorize payout from board escrow to the worker. Each packet
binds the same posting id and is independently receipt-verifiable.
Each runner has its own required inputs:
post: actor_kid, title, deliverable, amount_minor, currency,
optional funding_evidence, optional clock_policy.moderate: moderator_kid, posting, decision, optional reasons.claim: actor_kid, posting, optional idempotency_seed.deliver: actor_kid, claim, delivery_evidence.accept: actor_kid, delivery, acceptance_evidence.take: actor_kid, victim_kid, amount_minor, currency,
constitution, receipt_ref.