2017-11-10 03:48:57 +03:00
|
|
|
::BROKEN
|
2017-05-08 08:20:38 +03:00
|
|
|
=> |%
|
|
|
|
|
--
|
|
|
|
|
|* $: :> vinyl: historical state (including version)
|
|
|
|
|
:> brain: working state of the application (not including version)
|
|
|
|
|
:> delta: grain of change across all state
|
|
|
|
|
:> prize: (pair mark noun) for namespace value
|
|
|
|
|
:> rumor: (pair mark noun) for namespace diff
|
|
|
|
|
:> opera: (pair bone card) for operation (old ++move)
|
|
|
|
|
:>
|
|
|
|
|
vinyl/mold
|
|
|
|
|
brain/mold
|
|
|
|
|
delta/mold
|
|
|
|
|
prize/mold
|
|
|
|
|
rumor/mold
|
|
|
|
|
opera/mold
|
|
|
|
|
==
|
|
|
|
|
|_ $: :> ops: pending operations, in reverse order
|
|
|
|
|
:> ego: current state
|
|
|
|
|
:>
|
|
|
|
|
ops/(list opera)
|
|
|
|
|
ego/brain
|
|
|
|
|
==
|
|
|
|
|
:: :: ++bake
|
|
|
|
|
++ bake :< apply delta
|
|
|
|
|
|= $: :> del: change
|
|
|
|
|
:>
|
|
|
|
|
del/delta
|
|
|
|
|
==
|
|
|
|
|
:> core after change (including operations)
|
|
|
|
|
^- _+>
|
|
|
|
|
!!
|
|
|
|
|
:: :: ++cope
|
|
|
|
|
++ cope :< transaction result
|
|
|
|
|
|= $: :> weg: forward identity
|
|
|
|
|
:> het: success or error report
|
|
|
|
|
:>
|
|
|
|
|
weg/(list coin)
|
|
|
|
|
het/(unit tang)
|
|
|
|
|
==
|
|
|
|
|
:> actions in reverse order
|
|
|
|
|
:>
|
|
|
|
|
^- (list delta)
|
|
|
|
|
!!
|
|
|
|
|
:: :: ++fail
|
|
|
|
|
++ fail :< process error
|
|
|
|
|
|= $: :> why: error dump
|
|
|
|
|
:>
|
|
|
|
|
why/tang
|
|
|
|
|
==
|
|
|
|
|
:> actions in reverse order
|
|
|
|
|
:>
|
|
|
|
|
^- (list delta)
|
|
|
|
|
!!
|
|
|
|
|
:: :: ++feel
|
|
|
|
|
++ feel :< update
|
|
|
|
|
|= $: :> del: change
|
|
|
|
|
:> pex: preparsed path, inside-first
|
|
|
|
|
:>
|
|
|
|
|
del/delta
|
|
|
|
|
pex/(list coin)
|
|
|
|
|
==
|
|
|
|
|
:> query updates in reverse order
|
|
|
|
|
:>
|
|
|
|
|
^- (list rumor)
|
|
|
|
|
!!
|
|
|
|
|
:: :: ++hear
|
|
|
|
|
++ hear :< subscription update
|
|
|
|
|
|= $: :> weg: forward identity
|
|
|
|
|
:>
|
|
|
|
|
weg/(list coin)
|
|
|
|
|
==
|
|
|
|
|
:> actions in reverse order
|
|
|
|
|
:>
|
|
|
|
|
^- (list delta)
|
|
|
|
|
!!
|
|
|
|
|
:: :: ++pull
|
|
|
|
|
++ pull :< subscription cancel
|
|
|
|
|
|= $: :> weg: forward identity
|
|
|
|
|
:> het: error report, if any
|
|
|
|
|
:>
|
|
|
|
|
weg/(list coin)
|
|
|
|
|
het/(unit tang)
|
|
|
|
|
==
|
|
|
|
|
:> actions in reverse order
|
|
|
|
|
:>
|
|
|
|
|
^- (list delta)
|
|
|
|
|
!!
|
|
|
|
|
:: :: ++leak
|
|
|
|
|
++ leak :< check access
|
|
|
|
|
|= $: :> lec: leakset (~ means public)
|
|
|
|
|
:> pex: preparsed path, inside-first
|
|
|
|
|
:>
|
|
|
|
|
lec/(unit (set ship))
|
|
|
|
|
pex/(list coin)
|
|
|
|
|
==
|
|
|
|
|
:> if path `pex` is visible to ships in `lec`
|
|
|
|
|
^- ?
|
|
|
|
|
!!
|
|
|
|
|
:: :: ++load
|
|
|
|
|
++ look :< asynchronous read
|
|
|
|
|
|= $: :> pex: preparsed path, inside-first
|
|
|
|
|
:>
|
|
|
|
|
pex/(list coin)
|
|
|
|
|
==
|
|
|
|
|
:> actions in reverse order
|
|
|
|
|
^- _+>
|
|
|
|
|
!!
|
|
|
|
|
:: :: ++prep
|
|
|
|
|
++ prep :< load system
|
|
|
|
|
|= $: old/vinyl
|
|
|
|
|
==
|
|
|
|
|
:> core after boot
|
|
|
|
|
^- _+>
|
|
|
|
|
!!
|
|
|
|
|
:: :: ++peek
|
|
|
|
|
++ peek :< synchronous read
|
|
|
|
|
|= $: :> pex: preparsed path, inside-first
|
|
|
|
|
:>
|
|
|
|
|
pex/(list coin)
|
|
|
|
|
==
|
|
|
|
|
:> value at `pec`; ~ for unavailable, [~ ~] for invalid
|
|
|
|
|
:>
|
|
|
|
|
^- (unit (unit prize))
|
|
|
|
|
!!
|
|
|
|
|
:: :: ++poke
|
|
|
|
|
++ poke :< generic poke
|
|
|
|
|
|= $: :> ost: opaque cause
|
|
|
|
|
:> msg: message with mark and vase
|
|
|
|
|
:>
|
|
|
|
|
ost/bone
|
|
|
|
|
msg/cage
|
|
|
|
|
==
|
|
|
|
|
:> actions in reverse order
|
|
|
|
|
:>
|
|
|
|
|
^- (list delta)
|
|
|
|
|
!!
|
|
|
|
|
:: :: ++pour
|
|
|
|
|
++ pour :< arvo response
|
|
|
|
|
|= $: :> weg: forward identity
|
|
|
|
|
:> sin: response card
|
|
|
|
|
:>
|
|
|
|
|
weg/(list coin)
|
|
|
|
|
sin/sign
|
|
|
|
|
==
|
|
|
|
|
:> actions in reverse order
|
|
|
|
|
:>
|
|
|
|
|
^- (list delta)
|
|
|
|
|
!!
|
|
|
|
|
--
|
