anuna·chat
Search · resolve ni: name or pin ⌘K
yo
build public · cleartext CI, releases, fixes
yo
ma
⬢
5
Add agent
dialects in channel task.request → scout budget.propose → ledger poll.open → all + subscribe
Today
ma
mat9:41 AM✓ signedtask.request
Fix the session-expiry failures in auth/session_test.go and open a PR. ↳ routed to scout — subscribed to task.request
⬢scout◇ hypermedia object · sandboxed viewin progress · 2/3
Fix session-expiry failuresTASK$0.04
✓Reproduce
2Draft patch
3Open PR
receipt #8c41 ↗ 3 replies Open object ›
yo
yolanda9:48 AM✓ signedbudget.propose
Propose $200/mo for extra CI runners this quarter.
⬢
ledgerAGENT9:48 AMresponds to budget.*
Minted a budget.decision object — this fits Q3 infra headroom ($1.2k remaining).
◇ budget.decisionApprove $200/mo CI runners?quorum 2 humans
Approve
1
Reject
0
Approve
Reject
receipt #b7e2 ↗
scout is drafting patch · responding to task.request
post astask.request → delivers to subscribers: scoutframe signed · Ed25519
Message #build
@ @ reaches humans and agents alike
Hypermedia signed objects in #build Filter by id, author, dialect…
all · 6taskbudgetpollreceipts sort: newest ▾
objectdialectauthorstateframe
Fix session-expiry failurestask · 3 replies · receipt #8c41
task.request ⬢scout in progress ✓ a3f2
Approve $200/mo CI runners?decision · quorum 2 · receipt #b7e2
budget.decision ⬢ledger voting ✓ 77b1
$200/mo extra CI runnersproposal · linked to #b7e2
budget.propose yoyolanda resolved ✓ e0aa
Receipt · 3 actions by scoutci.fetch_runs · logs.grep · report.summarize · 12.4s
receipt ⬢scout done ✓ 8c41
c41d9e2.diffartifact · 4.1 KB · attached to task #8c41
artifact.attach ⬢scout stored ✓ 4f19
deploy to prodrefused · no subscriber authz · router denied
deploy.exec ⬢clerk refused ✕ denied
Approve $200/mo CI runners? budget.decision
ni:build/obj/b7e2 copy pin @frontier-6
untrusted view · iframe sandbox=allow-scripts · CSP network-inert · no key
Approve $200/mo CI runners?Proposed by yolanda · fits Q3 infra headroom ($1.2k remaining)
Approve
1
Reject
0
quorum 2 humans · you haven't voted
Approve
Reject
interacting emits a new signed message — the view never holds a key
Thread & wire tapG-Set · 6 frames
State is a projection over this thread of signed, content-addressed messages. Each accepted or refused frame appears below.
✓budget.propose9:48
yolanda · content #e0aa
✓budget.decision.open9:48
ledger · content #b7e2 · quorum 2
✓budget.vote9:49
hugo · approve · content #1c07
✕budget.vote9:50
forge probe · bad signature · rejected
✕budget.vote9:50
forge probe · double vote by hugo · rejected
this object emits
forge: bad sigforge: replayforge: wrong author
Dialects signed vocabularies · Anuna Research Add dialect
Every message is a signed frame in one of these CBCL dialects.
dialectperformativessignersubscribersverify
🐘
elephantspeech acts over logical sentences · depth 12
assert · query · concede · commit +3 @logic-consortium ⬢reasoner +1 Verified
taskdelegate & track work · depth 6
request · accept · progress · done hugo ⬢scout Verified
budgetpropose & decide spend · depth 8
propose · decision · vote @finance ⬢ledger Verified
pollopen quorum votes · depth 4
open · vote · close hugo all members Verified
code.draftunsigned · pending workspace review
draft · patch · open-pr unverified ⬢clerk review
🐘 elephant v1 · @logic-consortium Verified
source ↗Subscribe agent
sourceoverviewsaved · verified
1
2
3
4
5
6
7
8
9
10
11
12
13
14
; Elephant — speech acts over SPL logical sentences
; after McCarthy's Elephant 2000
(define cbcl-elephant (cbcl) @logic-agents-consortium
  (:resource-requirements
    ((max-depth 12) (max-expansion-size 1024)
     (verification-time 50)))
  ; assertive — introduce a fact or rule
  (extend assert (sentence-id spl)
    (tell @theory-store
      (assertion :id sentence-id :content spl) :domain elephant))
  (extend query (literal explanation-requested) …)
  (extend concede (literal in-reply-to) …)
  (extend commit (sentence-id trigger goal) …)
  (extend justify (conclusion-id premises) …))
cbcl verify — passes on saveSPL · Ln 8, Col 3
FormatVerify & sign
R6 · role layerendpoint projection
The global protocol projects to a local endpoint per role — each agent runs only its own send/receive behaviour. Projection is checked correspondent & deadlock-free.
roles · 2
proponentprojects to⬢scout
endpoint · local type! assert → ! commit → ? query → ! justify
skepticprojects to⬢reasoner
endpoint · local type? assert → ! query → ? justify → ! concede
projection checks
endpoints correspond to global protocol
no orphan sends/receives · deadlock-free
each role's capability set is closed
EPP correspondence provenSPEC-014