urbit/shrub
1
1
Fork 0
mirror of https://github.com/urbit/shrub.git synced 2024-12-01 22:55:03 +03:00
Code Issues Packages Projects Releases Wiki Activity
aa35774190
shrub/sur/hall.hoon

254 lines
14 KiB
Plaintext
Raw Normal View History

Miscellaneous small changes, mostly comments and debugging.
2017-03-30 15:17:37 +03:00
::
Renamed %talk-guardian to %hall, %talk-agent to %talk. In /sur, /gen, /mar, /lib renamed files/folders from "talk" to "hall".
2017-11-08 00:05:52 +03:00
:::: /sur/hall/hoon
::
Radio structures.
2014-12-05 23:14:00 +03:00
|%
Reorganized the talk structures and slightly improved their documentation.
2017-04-21 14:43:17 +03:00
::
TODOs based on code review.
2017-07-06 23:38:36 +03:00
::TODO use different words for different kinds of burdens
Minor cleanup.
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.
TODOs based on code review.
2017-07-06 23:38:36 +03:00
::
Reorganized the talk structures and slightly improved their documentation.
2017-04-21 14:43:17 +03:00
::> ||
Wrapper molds for nicknames and story names.
2017-07-12 01:12:29 +03:00
::> || %wrappers
::> ||
::> wrapper molds, for semantic clarity.
::+|
::
Circle names are now terms instead of knots.
2017-07-12 01:30:00 +03:00
::TODO rename
++ naem term ::< circle name
Wrapper molds for nicknames and story names.
2017-07-12 01:12:29 +03:00
++ nick cord ::< local nickname
::
::> ||
Newly updated in-between commit for delta-model talk. tmp
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
Implemented a "public membership" list. Users can add circles they've joined to this list. Others can query it. This should allow for circle discovery functionality.
2017-11-03 23:36:42 +03:00
{$public $~} ::< public memberships
Minor cleanup.
2017-11-07 22:20:42 +03:00
{$burden who/ship} ::TODO eventually, nom/naem. ::< duties to share
Mostly functional federation & delta model.
2017-06-13 01:19:45 +03:00
{$report $~} ::< duty reports
Minor styling and cleanup.
2017-11-16 02:48:56 +03:00
$: $circle ::> story query
nom/naem ::< circle name
wat/(set circle-data) ::< data to get
ran/range ::< query duration
== ::
Updated circle query paths to be slightly more flexible in the data they subscribe to. Internal %peer paths in the guardian got a bit messy.
2017-11-03 17:54:25 +03:00
::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
Minor cleanup.
2017-11-07 22:20:42 +03:00
$config-l ::< local config
$config-r ::< remote configs
Misc. cleanup, comments, ideas.
2017-10-06 14:29:15 +03:00
== ::
Better formatting for ++range and ++place definitions.
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
== ::
Newly updated in-between commit for delta-model talk. tmp
2017-05-13 01:05:49 +03:00
++ prize ::> query result
Pulled /reader diffs and rumors into their own structures.
2017-07-11 00:09:59 +03:00
$% {$reader prize-reader} ::< /reader
Implemented a "public membership" list. Users can add circles they've joined to this list. Others can query it. This should allow for circle discovery functionality.
2017-11-03 23:36:42 +03:00
{$public cis/(set circle)} ::< /public
Wrapper molds for nicknames and story names.
2017-07-12 01:12:29 +03:00
{$burden sos/(map naem burden)} ::< /burden
Added a %report prize so it no longer looks like the query's unavailable.
2017-11-09 20:26:26 +03:00
{$report ~} ::< /report
Now sending message nrs along with message rumors themselves. Separated full story state (++burden) from potentially partial story state (++package).
2017-07-20 01:32:07 +03:00
{$circle package} ::< /circle
Newly updated in-between commit for delta-model talk. tmp
2017-05-13 01:05:49 +03:00
== ::
Pulled /reader diffs and rumors into their own structures.
2017-07-11 00:09:59 +03:00
++ prize-reader ::
Now using audience instead of (set circle) where appropriate.
2017-10-19 03:05:53 +03:00
$: gys/(jug char audience) ::< glyph bindings
Wrapper molds for nicknames and story names.
2017-07-12 01:12:29 +03:00
nis/(map ship nick) ::< local nicknames
Pulled /reader diffs and rumors into their own structures.
2017-07-11 00:09:59 +03:00
== ::
Newly updated in-between commit for delta-model talk. tmp
2017-05-13 01:05:49 +03:00
++ rumor ::< query result change
Renamed some dif/delta* to det and some dif/rumor* to rum, to remove ambiguity.
2017-07-22 01:53:24 +03:00
$% {$reader rum/rumor-reader} ::< /reader
Implemented a "public membership" list. Users can add circles they've joined to this list. Others can query it. This should allow for circle discovery functionality.
2017-11-03 23:36:42 +03:00
{$public add/? cir/circle} ::< /public
Renamed some dif/delta* to det and some dif/rumor* to rum, to remove ambiguity.
2017-07-22 01:53:24 +03:00
{$burden nom/naem rum/rumor-story} ::< /burden
{$circle rum/rumor-story} ::< /circle
Newly updated in-between commit for delta-model talk. tmp
2017-05-13 01:05:49 +03:00
== ::
Pulled /reader diffs and rumors into their own structures.
2017-07-11 00:09:59 +03:00
++ rumor-reader ::< changed ui state
$% {$glyph diff-glyph} ::< un/bound glyph
{$nick diff-nick} ::< changed nickname
== ::
Updated /sur/talk.hoon to be more clear and consistent.
2017-10-31 21:56:56 +03:00
++ shipment ::> standard payload
$: cos/lobby ::< loc & rem configs
Mostly functional federation & delta model.
2017-06-13 01:19:45 +03:00
pes/crowd ::< loc & rem presences
== ::
Minor styling and cleanup.
2017-11-16 02:48:56 +03:00
++ burden ::> full story state
Updated /sur/talk.hoon to be more clear and consistent.
2017-10-31 21:56:56 +03:00
$: gaz/(list telegram) ::TODO envelope? ::< all messages
Minor styling and cleanup.
2017-11-16 02:48:56 +03:00
shipment ::< metadata
Updated /sur/talk.hoon to be more clear and consistent.
2017-10-31 21:56:56 +03:00
== ::
Now sending message nrs along with message rumors themselves. Separated full story state (++burden) from potentially partial story state (++package).
2017-07-20 01:32:07 +03:00
++ package ::< story state
Message diffs are now always about a single message, rather than being "maybe multiple messages but practically always just one".
2017-07-21 02:57:53 +03:00
$: nes/(list envelope) ::< messages
Minor styling and cleanup.
2017-11-16 02:48:56 +03:00
shipment ::< metadata
Now sending message nrs along with message rumors themselves. Separated full story state (++burden) from potentially partial story state (++package).
2017-07-20 01:32:07 +03:00
== ::
Now using audience instead of (set circle) where appropriate.
2017-10-19 03:05:53 +03:00
++ diff-glyph {bin/? gyf/char aud/audience} ::< un/bound glyph
Wrapper molds for nicknames and story names.
2017-07-12 01:12:29 +03:00
++ diff-nick {who/ship nic/nick} ::< changed nickname
Now sending message nrs along with message rumors themselves. Separated full story state (++burden) from potentially partial story state (++package).
2017-07-20 01:32:07 +03:00
++ diff-story ::> story change
Touched up burden logic and moved it upstream, into delta generation.
2017-06-14 03:28:16 +03:00
$% {$new cof/config} ::< new story
Mostly functional federation & delta model.
2017-06-13 01:19:45 +03:00
{$bear bur/burden} ::< new inherited story
Newly updated in-between commit for delta-model talk. tmp
2017-05-13 01:05:49 +03:00
{$config cir/circle dif/diff-config} ::< new/changed config
Removed ++partner. Everything is now ++circles.
2017-07-11 02:41:47 +03:00
{$status cir/circle who/ship dif/diff-status} ::< new/changed status
Newly updated in-between commit for delta-model talk. tmp
2017-05-13 01:05:49 +03:00
{$remove $~} ::< removed story
== ::
Now sending message nrs along with message rumors themselves. Separated full story state (++burden) from potentially partial story state (++package).
2017-07-20 01:32:07 +03:00
++ rumor-story ::> story rumor
$? diff-story ::< both in & outward
Message diffs are now always about a single message, rather than being "maybe multiple messages but practically always just one".
2017-07-21 02:57:53 +03:00
$% {$gram nev/envelope} ::< new/changed msgs
Now sending message nrs along with message rumors themselves. Separated full story state (++burden) from potentially partial story state (++package).
2017-07-20 01:32:07 +03:00
== == ::
Newly updated in-between commit for delta-model talk. tmp
2017-05-13 01:05:49 +03:00
++ diff-config ::> config change
TODOs based on code review.
2017-07-06 23:38:36 +03:00
::TODO maybe just full? think.
Touched up burden logic and moved it upstream, into delta generation.
2017-06-14 03:28:16 +03:00
$% {$full cof/config} ::< set w/o side-effects
Made range a first-class citizen of sources/subscriptions. FIXME side-effect: agent can't unsub from sources with specified ranges.
2017-10-09 23:50:17 +03:00
{$source add/? src/source} ::< add/rem sources
Newly updated in-between commit for delta-model talk. tmp
2017-05-13 01:05:49 +03:00
{$caption cap/cord} ::< changed description
{$filter fit/filter} ::< changed filter
{$secure sec/security} ::< changed security
Tiny changes, comments & cleanup.
2017-06-14 04:06:38 +03:00
{$permit add/? sis/(set ship)} ::< add/rem to b/w-list
Newly updated in-between commit for delta-model talk. tmp
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
Trivial TODOs & cleanup.
2017-11-01 22:24:11 +03:00
{$remove $~} ::< removed status
Newly updated in-between commit for delta-model talk. tmp
2017-05-13 01:05:49 +03:00
== ::
++ diff-human ::> name change
$% {$full man/human} ::< fully changed name
{$handle han/(unit cord)} ::< changed handle
Slightly improved sur/talk wrt true names.
2017-10-12 00:47:50 +03:00
{$true tru/(unit truename)} ::< changed true name
Newly updated in-between commit for delta-model talk. tmp
2017-05-13 01:05:49 +03:00
== ::
::
::> ||
Reorganized the talk structures and slightly improved their documentation.
2017-04-21 14:43:17 +03:00
::> || %reader-communication
::> ||
::> broker interfaces for readers.
::+|
::
++ action ::> user action
Bound faces to talk structures. Renamed stations to circles. Communication structures get no new faces because their ideal implementation uses gates to process them.
2017-04-24 21:17:56 +03:00
$% :: circle configuration ::
Wrapper molds for nicknames and story names.
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
Made range a first-class citizen of sources/subscriptions. FIXME side-effect: agent can't unsub from sources with specified ranges.
2017-10-09 23:50:17 +03:00
{$source nom/naem sub/? srs/(set source)} ::< un/sub to/from src
Added %source action for un/subscribing, %convey and %phrase actions for sending. New actions are used in reader to simplify implementation.
2017-04-14 00:40:53 +03:00
:: messaging ::
Bound faces to talk structures. Renamed stations to circles. Communication structures get no new faces because their ideal implementation uses gates to process them.
2017-04-24 21:17:56 +03:00
{$convey tos/(list thought)} ::< post exact
Now using audience instead of (set circle) where appropriate.
2017-10-19 03:05:53 +03:00
{$phrase aud/audience ses/(list speech)} ::< post easy
Removed ++update in favor of ++action.
2017-04-11 14:00:13 +03:00
:: personal metadata ::
Uncoupled presence from subscriptions. To gain/remove a status in a circle, it now has to un/set by the reader.
2017-11-02 02:44:13 +03:00
{$notify aud/audience pes/(unit presence)} ::< our presence update
Now using audience instead of (set circle) where appropriate.
2017-10-19 03:05:53 +03:00
{$naming aud/audience man/human} ::< our name update
Removed ++update in favor of ++action.
2017-04-11 14:00:13 +03:00
:: changing shared ui ::
Now using audience instead of (set circle) where appropriate.
2017-10-19 03:05:53 +03:00
{$glyph gyf/char aud/audience bin/?} ::< un/bind a glyph
Wrapper molds for nicknames and story names.
2017-07-12 01:12:29 +03:00
{$nick who/ship nic/nick} ::< new identity
Implemented a "public membership" list. Users can add circles they've joined to this list. Others can query it. This should allow for circle discovery functionality.
2017-11-03 23:36:42 +03:00
:: misc changes ::
{$public add/? cir/circle} ::< show/hide membership
Implemented %action and %reaction types for better reader-broker comms. Opens up new possibilities for refactoring.
2017-04-10 23:24:25 +03:00
== ::
Reorganized the talk structures and slightly improved their documentation.
2017-04-21 14:43:17 +03:00
::
::> ||
::> || %broker-communication
::> ||
::> structures for communicating between brokers.
::+|
::
++ command ::> effect on story
Mostly functional federation & delta model.
2017-06-13 01:19:45 +03:00
$% {$publish tos/(list thought)} ::< deliver
Wrapper molds for nicknames and story names.
2017-07-12 01:12:29 +03:00
{$present nos/(set naem) dif/diff-status} ::< status update
Mostly functional federation & delta model.
2017-06-13 01:19:45 +03:00
{$bearing $~} ::< prompt to listen
Various fixes and improvements.
2015-01-01 23:43:50 +03:00
== ::
Reorganized the talk structures and slightly improved their documentation.
2017-04-21 14:43:17 +03:00
::
::> ||
::> || %circles
::> ||
::> messaging targets and their metadata.
::+|
::
Wrapper molds for nicknames and story names.
2017-07-12 01:12:29 +03:00
++ circle {hos/ship nom/naem} ::< native target
Some TODOs, cleanup in talk apps.
2017-04-25 22:09:20 +03:00
:: circle configurations. ::
More renaming of talk structures.
2017-04-27 00:33:25 +03:00
++ lobby {loc/config rem/(map circle config)} ::< our & srcs configs
Bound faces to talk structures. Renamed stations to circles. Communication structures get no new faces because their ideal implementation uses gates to process them.
2017-04-24 21:17:56 +03:00
++ config ::> circle config
Made range a first-class citizen of sources/subscriptions. FIXME side-effect: agent can't unsub from sources with specified ranges.
2017-10-09 23:50:17 +03:00
$: src/(set source) ::< active sources
Bound faces to talk structures. Renamed stations to circles. Communication structures get no new faces because their ideal implementation uses gates to process them.
2017-04-24 21:17:56 +03:00
cap/cord ::< description
Message sanitization is now configurable on a per-story level. Story configuration includes a filter for specifying sanitization rules: dis/allowing capitals and non-ASCII characters. The agent does not care about these rules, and just sends its message. If more limiting rules becomes available, the agent might want to adjust its message parsing according to the active audience.
2017-05-09 22:43:42 +03:00
fit/filter ::< message rules
Bound faces to talk structures. Renamed stations to circles. Communication structures get no new faces because their ideal implementation uses gates to process them.
2017-04-24 21:17:56 +03:00
con/control ::< restrictions
Fix bad merge.
2015-01-26 20:44:09 +03:00
== ::
Made range a first-class citizen of sources/subscriptions. FIXME side-effect: agent can't unsub from sources with specified ranges.
2017-10-09 23:50:17 +03:00
++ source {cir/circle ran/range} ::< subscription target
Message sanitization is now configurable on a per-story level. Story configuration includes a filter for specifying sanitization rules: dis/allowing capitals and non-ASCII characters. The agent does not care about these rules, and just sends its message. If more limiting rules becomes available, the agent might want to adjust its message parsing according to the active audience.
2017-05-09 22:43:42 +03:00
++ filter ::> content filters
Renamed cus in filter to cas.
2017-06-16 06:29:35 +03:00
$: cas/? ::< dis/allow capitals
Message sanitization is now configurable on a per-story level. Story configuration includes a filter for specifying sanitization rules: dis/allowing capitals and non-ASCII characters. The agent does not care about these rules, and just sends its message. If more limiting rules becomes available, the agent might want to adjust its message parsing according to the active audience.
2017-05-09 22:43:42 +03:00
utf/? ::< dis/allow non-ascii
TODOs based on code review.
2017-07-06 23:38:36 +03:00
::TODO maybe message length
Message sanitization is now configurable on a per-story level. Story configuration includes a filter for specifying sanitization rules: dis/allowing capitals and non-ASCII characters. The agent does not care about these rules, and just sends its message. If more limiting rules becomes available, the agent might want to adjust its message parsing according to the active audience.
2017-05-09 22:43:42 +03:00
== ::
Updated /sur/talk.hoon to be more clear and consistent.
2017-10-31 21:56:56 +03:00
++ control {sec/security sis/(set ship)} ::< access control
Mostly functional federation & delta model.
2017-06-13 01:19:45 +03:00
++ security ::> security mode
Minor styling and cleanup.
2017-11-16 02:48:56 +03:00
$? $channel ::< blacklist
$village ::< whitelist
$journal ::< pub r, whitelist w
$mailbox ::< our r, blacklist w
Set up protocol for updating/sharing generic UI state. Moved/copied parts of ++ra and ++pa into the agent.
2017-03-24 23:10:27 +03:00
== ::
Some TODOs, cleanup in talk apps.
2017-04-25 22:09:20 +03:00
:: participant metadata. ::
TODOs based on code review.
2017-07-06 23:38:36 +03:00
::TODO think about naming more
Removed ++partner. Everything is now ++circles.
2017-07-11 02:41:47 +03:00
++ crowd {loc/group rem/(map circle group)} ::< our & srcs presences
More renaming of talk structures.
2017-04-27 00:33:25 +03:00
++ group (map ship status) ::< presence map
Bound faces to talk structures. Renamed stations to circles. Communication structures get no new faces because their ideal implementation uses gates to process them.
2017-04-24 21:17:56 +03:00
++ status {pec/presence man/human} ::< participant
++ presence ::> status type
Completed and cleaned up inline documentation.
2017-06-21 23:48:47 +03:00
$? $gone ::< absent
Bound faces to talk structures. Renamed stations to circles. Communication structures get no new faces because their ideal implementation uses gates to process them.
2017-04-24 21:17:56 +03:00
$idle ::< idle
$hear ::< present
$talk ::< typing
Some TODOs, cleanup in talk apps.
2017-04-25 22:09:20 +03:00
== ::
Reorganized the talk structures and slightly improved their documentation.
2017-04-21 14:43:17 +03:00
++ human ::> human identifier
Can now set presence or status for specific circles, even foreign ones.
2017-06-28 02:45:56 +03:00
$: han/(unit cord) ::< handle
Slightly improved sur/talk wrt true names.
2017-10-12 00:47:50 +03:00
tru/(unit truename) ::< true name
Radio structures.
2014-12-05 23:14:00 +03:00
== ::
Slightly improved sur/talk wrt true names.
2017-10-12 00:47:50 +03:00
++ truename {fir/cord mid/(unit cord) las/cord} ::< real-life name
Reorganized the talk structures and slightly improved their documentation.
2017-04-21 14:43:17 +03:00
::
::> ||
::> || %message-data
::> ||
::> structures for containing main message data.
::+|
::
Misc. cleanup, comments, ideas.
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
Message diffs are now always about a single message, rather than being "maybe multiple messages but practically always just one".
2017-07-21 02:57:53 +03:00
++ envelope {num/@ud gam/telegram} ::< outward message
Merged ++statement into ++thought, removed tot face from ++telegram.
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
== ::
Completed and cleaned up inline documentation.
2017-06-21 23:48:47 +03:00
++ speech ::> content body
Removed unused message types. Changed %exp to include expression results.
2017-07-01 04:44:37 +03:00
$% {$lin pat/? msg/cord} ::< no/@ text line
Talk files now compile. Guardian doesn't yet init properly.
2017-10-06 20:35:25 +03:00
{$url url/purf:eyre} ::< parsed url
Removed unused message types. Changed %exp to include expression results.
2017-07-01 04:44:37 +03:00
{$exp exp/cord res/(list tank)} ::< hoon line
Properly implemented `%ire`, the reply speech type. Refactored how known messages are accessed.
2017-10-06 01:02:59 +03:00
{$ire top/serial sep/speech} ::< in reply to
More renaming of talk structures.
2017-04-27 00:33:25 +03:00
{$fat tac/attache sep/speech} ::< attachment
Expanded %app speech to be more than just a cord.
2017-11-06 19:21:50 +03:00
{$app app/term sep/speech} ::< app message
Patched remnant of station to circle renaming, sat to cir.
2017-04-25 22:18:14 +03:00
{$inv inv/? cir/circle} ::< inv/ban for circle
Various fixes and improvements.
2015-01-01 23:43:50 +03:00
== ::
More renaming of talk structures.
2017-04-27 00:33:25 +03:00
++ attache ::> attachment
More consistent about naming @t as cord, @p as ship, etc.
2017-05-01 20:34:05 +03:00
$% {$name nom/cord tac/attache} ::< named attachment
{$text (list cord)} ::< text lines
Reorganized the talk structures and slightly improved their documentation.
2017-04-21 14:43:17 +03:00
{$tank (list tank)} ::< tank list
== ::
::
::> ||
::> || %message-metadata
::> ||
:: structures for containing message metadata.
::+|
::
++ serial @uvH ::< unique identifier
Removed ++partner. Everything is now ++circles.
2017-07-11 02:41:47 +03:00
++ audience (set circle) ::< destinations
Sent messages now get their delivery state tracked locally. (Interface for accessing this state yet to be exposed.)
2017-08-03 07:43:56 +03:00
++ tracking (map circle delivery) ::> delivery per target
++ delivery ::> delivery state
$? $pending ::< undelivered
$accepted ::< received
$rejected ::< denied
== ::
Radio structures.
2014-12-05 23:14:00 +03:00
--
Reference in New Issue Copy Permalink