clay: bump kelvin, refactor

This commit is contained in:
Philip Monk 2022-04-06 00:18:23 -07:00
parent 90a2625016
commit 0f6f2d6321
4 changed files with 32 additions and 21 deletions

View File

@ -1 +1 @@
[%zuse 419]
[%zuse 418]

View File

@ -3,7 +3,7 @@
::
=> ..part
|%
++ lull %330
++ lull %329
:: :: ::
:::: :: :: (1) models
:: :: ::

View File

@ -125,11 +125,15 @@
:: having changed; this lets us short-circuit that in some cases.
:: Whenever you give an `%ergo`, you must update this.
::
:: XX state upgrade, added `tom` and `nor`
::
+$ dome
$: ank=ankh :: state
let=aeon :: top id
hit=(map aeon tako) :: versions by id
lab=(map @tas aeon) :: labels
:: tom=(map tako norm) :: tomb policies
:: nor=norm :: future policy
mim=(map path mime) :: mime cache
fod=ford-cache :: ford cache
== ::
@ -184,6 +188,10 @@
bar=(set plop) :: new content
== ::
::
:: Tombstone policy
::
+$ norm (axal ?)
::
:: Formal vane state.
::
:: -- `rom` is our domestic state.
@ -4423,7 +4431,7 @@
abet:(perm:den pax.req rit.req)
[mos ..^$]
::
%tomb (tomb clue.req)
%tomb (tomb-clue:tomb clue.req)
%trim [~ ..^$]
::
%vega
@ -5143,26 +5151,29 @@
blobs+&+lat.ran.ruf
==
==
:: +tomb: safely remove objects
::
++ tomb
|= =clue
^- [(list move) _..^$]
|^
?- -.clue
%lobe `(tomb-lobe lobe.clue &)
%all
=/ lobes=(list [=lobe =blob]) ~(tap by lat.ran.ruf)
|-
?~ lobes
`..^^^$
=. ..^^^$ (tomb-lobe lobe.i.lobes &)
$(lobes t.lobes)
==
|%
:: +tomb-clue: safely remove objects
::
++ tomb-clue
|= =clue
^- [(list move) _..^$]
?- -.clue
%lobe `(tomb-lobe lobe.clue &)
%all
=/ lobes=(list [=lobe =blob]) ~(tap by lat.ran.ruf)
|-
?~ lobes
`..^^$
=. ..^^$ (tomb-lobe lobe.i.lobes &)
$(lobes t.lobes)
==
:: +tomb-lobe: remove specific lobe
::
++ tomb-lobe
|= [lob=lobe veb=?]
^+ ..^^^$
^+ ..^$
=/ bol (~(get by lat.ran.ruf) lob)
?~ bol
(noop veb leaf+"clay: lobe doesn't exist" ~)
@ -5213,7 +5224,7 @@
++ noop
|= [veb=? =tang]
?. veb
..^^^$
((slog tang) ..^^^$)
..^$
((slog tang) ..^$)
--
--

View File

@ -4,7 +4,7 @@
=> ..lull
~% %zuse ..part ~
|%
++ zuse %419
++ zuse %418
:: :: ::
:::: :: :: (2) engines
:: :: ::