2017-03-30 15:17:37 +03:00
|
|
|
::
|
2017-11-08 00:05:52 +03:00
|
|
|
:::: /sur/hall/hoon
|
|
|
|
::
|
2014-12-05 23:14:00 +03:00
|
|
|
|%
|
2017-04-21 14:43:17 +03:00
|
|
|
::
|
2017-07-06 23:38:36 +03:00
|
|
|
::TODO use different words for different kinds of burdens
|
2017-11-07 22:20:42 +03:00
|
|
|
::TODO rename det/delta in most place? they may be (different kinds of) deltas,
|
|
|
|
:: but location in control flow already indicates delta-ness.
|
2017-07-06 23:38:36 +03:00
|
|
|
::
|
2017-04-21 14:43:17 +03:00
|
|
|
::> ||
|
2017-07-12 01:12:29 +03:00
|
|
|
::> || %wrappers
|
|
|
|
::> ||
|
|
|
|
::> wrapper molds, for semantic clarity.
|
|
|
|
::+|
|
|
|
|
::
|
2017-07-12 01:30:00 +03:00
|
|
|
::TODO rename
|
|
|
|
++ naem term ::< circle name
|
2017-07-12 01:12:29 +03:00
|
|
|
++ nick cord ::< local nickname
|
|
|
|
::
|
|
|
|
::> ||
|
2017-05-13 01:05:49 +03:00
|
|
|
::> || %query-models
|
|
|
|
::> ||
|
|
|
|
::> models relating to queries, their results and updates.
|
|
|
|
::+|
|
|
|
|
::
|
|
|
|
++ query ::> query paths
|
|
|
|
$% {$reader $~} ::< shared ui state
|
2017-11-03 23:36:42 +03:00
|
|
|
{$public $~} ::< public memberships
|
2017-11-07 22:20:42 +03:00
|
|
|
{$burden who/ship} ::TODO eventually, nom/naem. ::< duties to share
|
2017-06-13 01:19:45 +03:00
|
|
|
{$report $~} ::< duty reports
|
2017-11-03 17:54:25 +03:00
|
|
|
{$circle nom/naem wat/(set circle-data) ran/range}::< story query
|
|
|
|
::TODO in the future, we may want much more ::
|
|
|
|
:: detailed querying abilities. ::
|
|
|
|
== ::
|
|
|
|
++ circle-data ::> kinds of circle data
|
|
|
|
$? $grams ::< messages
|
|
|
|
$group-l ::< local presence
|
|
|
|
$group-r ::< remote presences
|
2017-11-07 22:20:42 +03:00
|
|
|
$config-l ::< local config
|
|
|
|
$config-r ::< remote configs
|
2017-10-06 14:29:15 +03:00
|
|
|
== ::
|
2017-07-11 03:39:03 +03:00
|
|
|
++ range ::> inclusive msg range
|
|
|
|
%- unit ::< ~ means everything
|
|
|
|
$: hed/place ::< start of range
|
|
|
|
tal/(unit place) ::< opt end of range
|
|
|
|
== ::
|
|
|
|
++ place ::> range indicators
|
|
|
|
$% {$da @da} ::< date
|
|
|
|
{$ud @ud} ::< message number
|
|
|
|
== ::
|
2017-05-13 01:05:49 +03:00
|
|
|
++ prize ::> query result
|
2017-07-11 00:09:59 +03:00
|
|
|
$% {$reader prize-reader} ::< /reader
|
2017-11-03 23:36:42 +03:00
|
|
|
{$public cis/(set circle)} ::< /public
|
2017-07-12 01:12:29 +03:00
|
|
|
{$burden sos/(map naem burden)} ::< /burden
|
2017-11-09 20:26:26 +03:00
|
|
|
{$report ~} ::< /report
|
2017-07-20 01:32:07 +03:00
|
|
|
{$circle package} ::< /circle
|
2017-05-13 01:05:49 +03:00
|
|
|
== ::
|
2017-07-11 00:09:59 +03:00
|
|
|
++ prize-reader ::
|
2017-10-19 03:05:53 +03:00
|
|
|
$: gys/(jug char audience) ::< glyph bindings
|
2017-07-12 01:12:29 +03:00
|
|
|
nis/(map ship nick) ::< local nicknames
|
2017-07-11 00:09:59 +03:00
|
|
|
== ::
|
2017-05-13 01:05:49 +03:00
|
|
|
++ rumor ::< query result change
|
2017-07-22 01:53:24 +03:00
|
|
|
$% {$reader rum/rumor-reader} ::< /reader
|
2017-11-03 23:36:42 +03:00
|
|
|
{$public add/? cir/circle} ::< /public
|
2017-07-22 01:53:24 +03:00
|
|
|
{$burden nom/naem rum/rumor-story} ::< /burden
|
|
|
|
{$circle rum/rumor-story} ::< /circle
|
2017-05-13 01:05:49 +03:00
|
|
|
== ::
|
2017-07-11 00:09:59 +03:00
|
|
|
++ rumor-reader ::< changed ui state
|
|
|
|
$% {$glyph diff-glyph} ::< un/bound glyph
|
|
|
|
{$nick diff-nick} ::< changed nickname
|
|
|
|
== ::
|
2017-10-31 21:56:56 +03:00
|
|
|
++ shipment ::> standard payload
|
|
|
|
$: cos/lobby ::< loc & rem configs
|
2017-06-13 01:19:45 +03:00
|
|
|
pes/crowd ::< loc & rem presences
|
|
|
|
== ::
|
2017-10-31 21:56:56 +03:00
|
|
|
++ burden ::< full story state
|
|
|
|
$: gaz/(list telegram) ::TODO envelope? ::< all messages
|
|
|
|
shipment
|
|
|
|
== ::
|
2017-07-20 01:32:07 +03:00
|
|
|
++ package ::< story state
|
2017-07-21 02:57:53 +03:00
|
|
|
$: nes/(list envelope) ::< messages
|
2017-10-31 21:56:56 +03:00
|
|
|
shipment
|
2017-07-20 01:32:07 +03:00
|
|
|
== ::
|
2017-10-19 03:05:53 +03:00
|
|
|
++ diff-glyph {bin/? gyf/char aud/audience} ::< un/bound glyph
|
2017-07-12 01:12:29 +03:00
|
|
|
++ diff-nick {who/ship nic/nick} ::< changed nickname
|
2017-07-20 01:32:07 +03:00
|
|
|
++ diff-story ::> story change
|
2017-06-14 03:28:16 +03:00
|
|
|
$% {$new cof/config} ::< new story
|
2017-06-13 01:19:45 +03:00
|
|
|
{$bear bur/burden} ::< new inherited story
|
2017-05-13 01:05:49 +03:00
|
|
|
{$config cir/circle dif/diff-config} ::< new/changed config
|
2017-07-11 02:41:47 +03:00
|
|
|
{$status cir/circle who/ship dif/diff-status} ::< new/changed status
|
2017-05-13 01:05:49 +03:00
|
|
|
{$remove $~} ::< removed story
|
|
|
|
== ::
|
2017-07-20 01:32:07 +03:00
|
|
|
++ rumor-story ::> story rumor
|
|
|
|
$? diff-story ::< both in & outward
|
2017-07-21 02:57:53 +03:00
|
|
|
$% {$gram nev/envelope} ::< new/changed msgs
|
2017-07-20 01:32:07 +03:00
|
|
|
== == ::
|
2017-05-13 01:05:49 +03:00
|
|
|
++ diff-config ::> config change
|
2017-07-06 23:38:36 +03:00
|
|
|
::TODO maybe just full? think.
|
2017-06-14 03:28:16 +03:00
|
|
|
$% {$full cof/config} ::< set w/o side-effects
|
2017-10-09 23:50:17 +03:00
|
|
|
{$source add/? src/source} ::< add/rem sources
|
2017-05-13 01:05:49 +03:00
|
|
|
{$caption cap/cord} ::< changed description
|
|
|
|
{$filter fit/filter} ::< changed filter
|
|
|
|
{$secure sec/security} ::< changed security
|
2017-06-14 04:06:38 +03:00
|
|
|
{$permit add/? sis/(set ship)} ::< add/rem to b/w-list
|
2017-05-13 01:05:49 +03:00
|
|
|
{$remove $~} ::< removed config
|
|
|
|
== ::
|
|
|
|
++ diff-status ::> status change
|
|
|
|
$% {$full sat/status} ::< fully changed status
|
|
|
|
{$presence pec/presence} ::< changed presence
|
|
|
|
{$human dif/diff-human} ::< changed name
|
2017-11-01 22:24:11 +03:00
|
|
|
{$remove $~} ::< removed status
|
2017-05-13 01:05:49 +03:00
|
|
|
== ::
|
|
|
|
++ diff-human ::> name change
|
|
|
|
$% {$full man/human} ::< fully changed name
|
|
|
|
{$handle han/(unit cord)} ::< changed handle
|
2017-10-12 00:47:50 +03:00
|
|
|
{$true tru/(unit truename)} ::< changed true name
|
2017-05-13 01:05:49 +03:00
|
|
|
== ::
|
|
|
|
::
|
|
|
|
::> ||
|
2017-04-21 14:43:17 +03:00
|
|
|
::> || %reader-communication
|
|
|
|
::> ||
|
|
|
|
::> broker interfaces for readers.
|
|
|
|
::+|
|
|
|
|
::
|
|
|
|
++ action ::> user action
|
2017-04-24 21:17:56 +03:00
|
|
|
$% :: circle configuration ::
|
2017-07-12 01:12:29 +03:00
|
|
|
{$create nom/naem des/cord sec/security} ::< create circle
|
|
|
|
{$delete nom/naem why/(unit cord)} ::< delete + announce
|
|
|
|
{$depict nom/naem des/cord} ::< change description
|
|
|
|
{$filter nom/naem fit/filter} ::< change message rules
|
|
|
|
{$permit nom/naem inv/? sis/(set ship)} ::< invite/banish
|
2017-10-09 23:50:17 +03:00
|
|
|
{$source nom/naem sub/? srs/(set source)} ::< un/sub to/from src
|
2017-04-14 00:40:53 +03:00
|
|
|
:: messaging ::
|
2017-04-24 21:17:56 +03:00
|
|
|
{$convey tos/(list thought)} ::< post exact
|
2017-10-19 03:05:53 +03:00
|
|
|
{$phrase aud/audience ses/(list speech)} ::< post easy
|
2017-04-11 14:00:13 +03:00
|
|
|
:: personal metadata ::
|
2017-11-02 02:44:13 +03:00
|
|
|
{$notify aud/audience pes/(unit presence)} ::< our presence update
|
2017-10-19 03:05:53 +03:00
|
|
|
{$naming aud/audience man/human} ::< our name update
|
2017-04-11 14:00:13 +03:00
|
|
|
:: changing shared ui ::
|
2017-10-19 03:05:53 +03:00
|
|
|
{$glyph gyf/char aud/audience bin/?} ::< un/bind a glyph
|
2017-07-12 01:12:29 +03:00
|
|
|
{$nick who/ship nic/nick} ::< new identity
|
2017-11-03 23:36:42 +03:00
|
|
|
:: misc changes ::
|
|
|
|
{$public add/? cir/circle} ::< show/hide membership
|
2017-04-10 23:24:25 +03:00
|
|
|
== ::
|
2017-04-21 14:43:17 +03:00
|
|
|
::
|
|
|
|
::> ||
|
|
|
|
::> || %broker-communication
|
|
|
|
::> ||
|
|
|
|
::> structures for communicating between brokers.
|
|
|
|
::+|
|
|
|
|
::
|
|
|
|
++ command ::> effect on story
|
2017-06-13 01:19:45 +03:00
|
|
|
$% {$publish tos/(list thought)} ::< deliver
|
2017-07-12 01:12:29 +03:00
|
|
|
{$present nos/(set naem) dif/diff-status} ::< status update
|
2017-06-13 01:19:45 +03:00
|
|
|
{$bearing $~} ::< prompt to listen
|
2015-01-01 23:43:50 +03:00
|
|
|
== ::
|
2017-04-21 14:43:17 +03:00
|
|
|
::
|
|
|
|
::> ||
|
|
|
|
::> || %circles
|
|
|
|
::> ||
|
|
|
|
::> messaging targets and their metadata.
|
|
|
|
::+|
|
|
|
|
::
|
2017-07-12 01:12:29 +03:00
|
|
|
++ circle {hos/ship nom/naem} ::< native target
|
2017-04-25 22:09:20 +03:00
|
|
|
:: circle configurations. ::
|
2017-04-27 00:33:25 +03:00
|
|
|
++ lobby {loc/config rem/(map circle config)} ::< our & srcs configs
|
2017-04-24 21:17:56 +03:00
|
|
|
++ config ::> circle config
|
2017-10-09 23:50:17 +03:00
|
|
|
$: src/(set source) ::< active sources
|
2017-04-24 21:17:56 +03:00
|
|
|
cap/cord ::< description
|
2017-05-09 22:43:42 +03:00
|
|
|
fit/filter ::< message rules
|
2017-04-24 21:17:56 +03:00
|
|
|
con/control ::< restrictions
|
2015-01-26 20:44:09 +03:00
|
|
|
== ::
|
2017-10-09 23:50:17 +03:00
|
|
|
++ source {cir/circle ran/range} ::< subscription target
|
2017-05-09 22:43:42 +03:00
|
|
|
++ filter ::> content filters
|
2017-06-16 06:29:35 +03:00
|
|
|
$: cas/? ::< dis/allow capitals
|
2017-05-09 22:43:42 +03:00
|
|
|
utf/? ::< dis/allow non-ascii
|
2017-07-06 23:38:36 +03:00
|
|
|
::TODO maybe message length
|
2017-05-09 22:43:42 +03:00
|
|
|
== ::
|
2017-10-31 21:56:56 +03:00
|
|
|
++ control {sec/security sis/(set ship)} ::< access control
|
2017-06-13 01:19:45 +03:00
|
|
|
++ security ::> security mode
|
2017-10-31 21:56:56 +03:00
|
|
|
$? $channel ::< channel, blacklist
|
|
|
|
$village ::< village, whitelist
|
|
|
|
$journal ::< journal, author list
|
|
|
|
$mailbox ::< mailbox, our r, bl w
|
2017-03-24 23:10:27 +03:00
|
|
|
== ::
|
2017-04-25 22:09:20 +03:00
|
|
|
:: participant metadata. ::
|
2017-07-06 23:38:36 +03:00
|
|
|
::TODO think about naming more
|
2017-07-11 02:41:47 +03:00
|
|
|
++ crowd {loc/group rem/(map circle group)} ::< our & srcs presences
|
2017-04-27 00:33:25 +03:00
|
|
|
++ group (map ship status) ::< presence map
|
2017-04-24 21:17:56 +03:00
|
|
|
++ status {pec/presence man/human} ::< participant
|
|
|
|
++ presence ::> status type
|
2017-06-21 23:48:47 +03:00
|
|
|
$? $gone ::< absent
|
2017-04-24 21:17:56 +03:00
|
|
|
$idle ::< idle
|
|
|
|
$hear ::< present
|
|
|
|
$talk ::< typing
|
2017-04-25 22:09:20 +03:00
|
|
|
== ::
|
2017-04-21 14:43:17 +03:00
|
|
|
++ human ::> human identifier
|
2017-06-28 02:45:56 +03:00
|
|
|
$: han/(unit cord) ::< handle
|
2017-10-12 00:47:50 +03:00
|
|
|
tru/(unit truename) ::< true name
|
2014-12-05 23:14:00 +03:00
|
|
|
== ::
|
2017-10-12 00:47:50 +03:00
|
|
|
++ truename {fir/cord mid/(unit cord) las/cord} ::< real-life name
|
2017-04-21 14:43:17 +03:00
|
|
|
::
|
|
|
|
::> ||
|
|
|
|
::> || %message-data
|
|
|
|
::> ||
|
|
|
|
::> structures for containing main message data.
|
|
|
|
::+|
|
|
|
|
::
|
2017-10-06 14:29:15 +03:00
|
|
|
::TODO some structure for extra message state
|
|
|
|
:: local (to readers): delivery state, read flags
|
|
|
|
:: remote (to halls): sequence nr
|
2017-07-21 02:57:53 +03:00
|
|
|
++ envelope {num/@ud gam/telegram} ::< outward message
|
2017-07-11 03:23:12 +03:00
|
|
|
++ telegram {aut/ship thought} ::< whose message
|
|
|
|
++ thought ::> inner message
|
|
|
|
$: uid/serial ::< unique identifier
|
|
|
|
aud/audience ::< destinations
|
|
|
|
wen/@da ::< timestamp
|
|
|
|
sep/speech ::< content
|
|
|
|
== ::
|
2017-06-21 23:48:47 +03:00
|
|
|
++ speech ::> content body
|
2017-07-01 04:44:37 +03:00
|
|
|
$% {$lin pat/? msg/cord} ::< no/@ text line
|
2017-10-06 20:35:25 +03:00
|
|
|
{$url url/purf:eyre} ::< parsed url
|
2017-07-01 04:44:37 +03:00
|
|
|
{$exp exp/cord res/(list tank)} ::< hoon line
|
2017-10-06 01:02:59 +03:00
|
|
|
{$ire top/serial sep/speech} ::< in reply to
|
2017-04-27 00:33:25 +03:00
|
|
|
{$fat tac/attache sep/speech} ::< attachment
|
2017-11-06 19:21:50 +03:00
|
|
|
{$app app/term sep/speech} ::< app message
|
2017-04-25 22:18:14 +03:00
|
|
|
{$inv inv/? cir/circle} ::< inv/ban for circle
|
2015-01-01 23:43:50 +03:00
|
|
|
== ::
|
2017-04-27 00:33:25 +03:00
|
|
|
++ attache ::> attachment
|
2017-05-01 20:34:05 +03:00
|
|
|
$% {$name nom/cord tac/attache} ::< named attachment
|
|
|
|
{$text (list cord)} ::< text lines
|
2017-04-21 14:43:17 +03:00
|
|
|
{$tank (list tank)} ::< tank list
|
|
|
|
== ::
|
|
|
|
::
|
|
|
|
::> ||
|
|
|
|
::> || %message-metadata
|
|
|
|
::> ||
|
|
|
|
:: structures for containing message metadata.
|
|
|
|
::+|
|
|
|
|
::
|
|
|
|
++ serial @uvH ::< unique identifier
|
2017-07-11 02:41:47 +03:00
|
|
|
++ audience (set circle) ::< destinations
|
2017-08-03 07:43:56 +03:00
|
|
|
++ tracking (map circle delivery) ::> delivery per target
|
|
|
|
++ delivery ::> delivery state
|
|
|
|
$? $pending ::< undelivered
|
|
|
|
$accepted ::< received
|
|
|
|
$rejected ::< denied
|
|
|
|
== ::
|
2014-12-05 23:14:00 +03:00
|
|
|
--
|