urbit/shrub
1
1
Fork 0
mirror of https://github.com/urbit/shrub.git synced 2025-01-05 02:57:18 +03:00
Code Issues Packages Projects Releases Wiki Activity

gall: some renaming, comments

Browse Source
This commit is contained in:
Jared Tobin 2019-07-03 10:36:54 +08:00
parent 92fbc80ea6
commit 7dc02ded4a
No known key found for this signature in database
GPG Key ID: 0E4647D58F8A69E4
1 changed files with 91 additions and 93 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

184
pkg/arvo/sys/vane/gall.hoon
View File

@ -259,7 +259,7 @@
beak=beak beak=beak
:: req'd translations :: req'd translations
:: ::
required-trans=(map bone mark) marks=(map bone mark)
:: opaque ducts :: opaque ducts
:: ::
ducts=ducts ducts=ducts
@ -1180,7 +1180,7 @@
agent-bone=bone agent-bone=bone
agent-moves=(list internal-move) agent-moves=(list internal-move)
agent-config=(list (each suss tang)) agent-config=(list (each suss tang))
sat=agent current-agent=agent
== ==
:: ::
++ ap-state . ++ ap-state .
@ -1189,12 +1189,7 @@
:: supplied privilege. :: supplied privilege.
:: ::
:: The agent must already be running in +gall -- here we simply update :: The agent must already be running in +gall -- here we simply update
:: state to focus on it. :: +ap's state to focus on it.
::
:: If the agent doesn't have a bone corresponding to the +mo control duct,
:: we give it one, and update its bone- and duct-indexed correspondence
:: maps in turn. The agent's bone is also tracked in state under the
:: agent-bone face.
:: ::
++ ap-abed ++ ap-abed
~/ %ap-abed ~/ %ap-abed
@ -1211,7 +1206,7 @@
:: ::
=. agent-name term =. agent-name term
=. agent-privilege privilege =. agent-privilege privilege
=. sat agent =. current-agent agent
:: ::
=/ maybe-bone (~(get by bone-map.ducts.agent) hen) =/ maybe-bone (~(get by bone-map.ducts.agent) hen)
:: ::
@ -1224,8 +1219,8 @@
(~(put by duct-map.ducts.agent) bone.ducts.agent hen) (~(put by duct-map.ducts.agent) bone.ducts.agent hen)
:: ::
%_ ap-state %_ ap-state
agent-bone bone.ducts.agent agent-bone bone.ducts.agent
ducts.sat ducts ducts.current-agent ducts
== ==
:: ::
:: +ap-abet: resolve moves. :: +ap-abet: resolve moves.
@ -1235,7 +1230,7 @@
:: ::
=> ap-track-queue => ap-track-queue
:: ::
=/ running (~(put by running.agents.gall) agent-name sat) =/ running (~(put by running.agents.gall) agent-name current-agent)
:: ::
=/ moves =/ moves
=/ giver |=(report=(each suss tang) [hen %give %onto report]) =/ giver |=(report=(each suss tang) [hen %give %onto report])
@ -1254,11 +1249,10 @@
:: associated with it. :: associated with it.
:: ::
:: If there are any currently-associated non-%give internal moves, we :: If there are any currently-associated non-%give internal moves, we
:: enqueue each along its associated bone. :: enqueue each along its associated bone. When we've finished enqueuing
:: them, we iterate over the relevant bones and
:: ::
:: When we've finished enqueuing them, :: FIXME finish when i understand +ap-kill and +ap-load-delete
::
:: FIXME finish
:: ::
++ ap-track-queue ++ ap-track-queue
^+ ap-state ^+ ap-state
@ -1269,11 +1263,12 @@
|- ^+ ap-state |- ^+ ap-state
:: ::
?^ internal-moves ?^ internal-moves
?. ?=([%give %diff *] move.i.internal-moves)
$(internal-moves t.internal-moves)
:: ::
=/ =internal-move i.internal-moves =/ =internal-move i.internal-moves
:: ::
?. ?=([%give %diff *] move.internal-move)
$(internal-moves t.internal-moves)
::
=^ filled ap-state ap-enqueue(agent-bone bone.internal-move) =^ filled ap-state ap-enqueue(agent-bone bone.internal-move)
:: ::
=/ new-bones =/ new-bones
@ -1292,7 +1287,8 @@
:: ::
=> $(bones t.bones, agent-bone i.bones) => $(bones t.bones, agent-bone i.bones)
:: ::
=/ incoming (~(get by incoming.subscribers.sat) agent-bone) =/ incoming
(~(get by incoming.subscribers.current-agent) agent-bone)
:: ::
?~ incoming ?~ incoming
~& [%ap-track-queue-bad-bone agent-name agent-bone] ~& [%ap-track-queue-bad-bone agent-name agent-bone]
@ -1306,14 +1302,16 @@
:: We convert from bone-indexed moves to duct-indexed moves when resolving :: We convert from bone-indexed moves to duct-indexed moves when resolving
:: them in Arvo. :: them in Arvo.
:: ::
:: FIXME too long; consider breaking into ap-from-give, ap-from-pass
++ ap-from-internal ++ ap-from-internal
~/ %ap-from-internal ~/ %ap-from-internal
|= =internal-move |= =internal-move
^- move ^- move
:: ::
~| [%gall-from-internal-failed internal-move] ~| [%gall-move-conversion-failed internal-move]
:: ::
=/ =duct (~(got by duct-map.ducts.sat) bone.internal-move) =/ =duct
(~(got by duct-map.ducts.current-agent) bone.internal-move)
:: ::
=/ card =/ card
?- -.move.internal-move ?- -.move.internal-move
@ -1330,8 +1328,8 @@
:: ::
=/ =cage p.internal-gift =/ =cage p.internal-gift
=/ =mark =/ =mark
=/ trans (~(get by required-trans.sat) bone.internal-move) =/ mark (~(get by marks.current-agent) bone.internal-move)
(fall trans p.cage) (fall mark p.cage)
:: ::
?: =(mark p.cage) ?: =(mark p.cage)
[%give %unto internal-gift] [%give %unto internal-gift]
@ -1378,7 +1376,7 @@
:: ::
:: +ap-call: call into server. :: +ap-call: call into server.
:: ::
:: FIXME docs :: FIXME requires understanding of ap-produce-arm, etc.
:: ::
++ ap-call ++ ap-call
~/ %ap-call ~/ %ap-call
@ -1582,10 +1580,10 @@
++ ap-dequeue ++ ap-dequeue
^+ ap-state ^+ ap-state
:: ::
?. (~(has by incoming.subscribers.sat) agent-bone) ?. (~(has by incoming.subscribers.current-agent) agent-bone)
ap-state ap-state
:: ::
=/ level (~(get by meter.subscribers.sat) agent-bone) =/ level (~(get by meter.subscribers.current-agent) agent-bone)
:: ::
?: |(?=(~ level) =(0 u.level)) ?: |(?=(~ level) =(0 u.level))
ap-state ap-state
@ -1593,11 +1591,11 @@
=. u.level (dec u.level) =. u.level (dec u.level)
:: ::
?: =(0 u.level) ?: =(0 u.level)
=/ deleted (~(del by meter.subscribers.sat) agent-bone) =/ deleted (~(del by meter.subscribers.current-agent) agent-bone)
ap-state(meter.subscribers.sat deleted) ap-state(meter.subscribers.current-agent deleted)
:: ::
=/ dequeued (~(put by meter.subscribers.sat) agent-bone u.level) =/ dequeued (~(put by meter.subscribers.current-agent) agent-bone u.level)
ap-state(meter.subscribers.sat dequeued) ap-state(meter.subscribers.current-agent dequeued)
:: ::
:: +ap-produce-arm: produce arm. :: +ap-produce-arm: produce arm.
:: ::
@ -1608,9 +1606,9 @@
^- [(each vase tang) _ap-state] ^- [(each vase tang) _ap-state]
:: ::
=/ compiled =/ compiled
=/ =type p.running-state.sat =/ =type p.running-state.current-agent
=/ =hoon [%limb term] =/ =hoon [%limb term]
(~(mint wa cache.sat) type hoon) (~(mint wa cache.current-agent) type hoon)
:: ::
=/ virtual =/ virtual
=/ trap |.(compiled) =/ trap |.(compiled)
@ -1621,7 +1619,7 @@
[[%.n tang] ap-state] [[%.n tang] ap-state]
:: ::
=/ possibly-vase=(each vase tang) =/ possibly-vase=(each vase tang)
=/ value q.running-state.sat =/ value q.running-state.current-agent
=/ ton (mock [value q.+<.virtual] ap-namespace-view) =/ ton (mock [value q.+<.virtual] ap-namespace-view)
?- -.ton ?- -.ton
%0 [%.y p.+<.virtual p.ton] %0 [%.y p.+<.virtual p.ton]
@ -1631,7 +1629,7 @@
:: ::
=/ next =/ next
=/ =worm +>.virtual =/ =worm +>.virtual
ap-state(cache.sat worm) ap-state(cache.current-agent worm)
:: ::
[possibly-vase next] [possibly-vase next]
:: ::
@ -1648,23 +1646,23 @@
++ ap-enqueue ++ ap-enqueue
^- [? _ap-state] ^- [? _ap-state]
:: ::
=/ meter (~(gut by meter.subscribers.sat) agent-bone 0) =/ meter (~(gut by meter.subscribers.current-agent) agent-bone 0)
=/ subscriber=(unit (pair ship path)) =/ subscriber=(unit (pair ship path))
(~(get by incoming.subscribers.sat) agent-bone) (~(get by incoming.subscribers.current-agent) agent-bone)
:: ::
?: ?& =(20 meter) ?: ?& =(20 meter)
?| ?=(~ subscriber) ?| ?=(~ subscriber)
!=(our p.u.subscriber) !=(our p.u.subscriber)
== ==
== ==
=/ incoming (~(get by incoming.subscribers.sat) agent-bone) =/ incoming (~(get by incoming.subscribers.current-agent) agent-bone)
=/ duct (~(get by duct-map.ducts.sat) agent-bone) =/ duct (~(get by duct-map.ducts.current-agent) agent-bone)
~& [%gall-pulling-20 agent-bone incoming duct] ~& [%gall-pulling-20 agent-bone incoming duct]
[%.n ap-state] [%.n ap-state]
:: ::
=/ next =/ next
=/ meter (~(put by meter.subscribers.sat) agent-bone +(meter)) =/ meter (~(put by meter.subscribers.current-agent) agent-bone +(meter))
ap-state(meter.subscribers.sat meter) ap-state(meter.subscribers.current-agent meter)
:: ::
[%.y next] [%.y next]
:: ::
@ -1679,7 +1677,7 @@
|= [=term =path] |= [=term =path]
^- [(unit (pair @ud @tas)) _ap-state] ^- [(unit (pair @ud @tas)) _ap-state]
:: ::
=/ maybe-cached (~(get by arm-cache.sat) [term path]) =/ maybe-cached (~(get by arm-cache.current-agent) [term path])
?^ maybe-cached ?^ maybe-cached
[u.maybe-cached ap-state] [u.maybe-cached ap-state]
:: ::
@ -1699,7 +1697,7 @@
~ ~
(some [dep term]) (some [dep term])
:: ::
=. arm-cache.sat (~(put by arm-cache.sat) [term path] result) =. arm-cache.current-agent (~(put by arm-cache.current-agent) [term path] result)
:: ::
[result ap-state] [result ap-state]
:: ::
@ -1710,7 +1708,7 @@
|= =term |= =term
^- ? ^- ?
:: ::
=/ =type p.running-state.sat =/ =type p.running-state.current-agent
(slob term type) (slob term type)
:: ::
:: +ap-give: return result. :: +ap-give: return result.
@ -1732,20 +1730,20 @@
^+ ap-state ^+ ap-state
:: ::
%_ ap-state %_ ap-state
+12.q.running-state.sat +12.q.running-state.current-agent
^- bowl ^- bowl
:* :* our :: host :* :* our :: host
attributing.routes.agent-privilege :: guest attributing.routes.agent-privilege :: guest
agent-name :: agent agent-name :: agent
== :: == ::
:* wex=~ :: outgoing :* wex=~ :: outgoing
sup=incoming.subscribers.sat :: incoming sup=incoming.subscribers.current-agent :: incoming
== :: == ::
:* agent-bone=agent-bone :: cause :* agent-bone=agent-bone :: cause
act=change.stats.sat :: tick act=change.stats.current-agent :: tick
eny=eny.stats.sat :: nonce eny=eny.stats.current-agent :: nonce
now=time.stats.sat :: time now=time.stats.current-agent :: time
byk=beak.sat :: source byk=beak.current-agent :: source
== == :: == == ::
== ==
:: ::
@ -1771,14 +1769,14 @@
[[%.n tang] ap-state] [[%.n tang] ap-state]
:: ::
=/ =bone -.noun =/ =bone -.noun
=/ has-duct (~(has by duct-map.ducts.sat) bone) =/ has-duct (~(has by duct-map.ducts.current-agent) bone)
:: ::
?. &(has-duct !=(0 bone)) ?. &(has-duct !=(0 bone))
=/ =tang (ap-tang "move: invalid card (bone {<bone>})") =/ =tang (ap-tang "move: invalid card (bone {<bone>})")
[[%.n tang] ap-state] [[%.n tang] ap-state]
:: ::
=^ vase cache.sat (~(spot wa cache.sat) 3 vase) =^ vase cache.current-agent (~(spot wa cache.current-agent) 3 vase)
=^ vase cache.sat (~(slot wa cache.sat) 3 vase) =^ vase cache.current-agent (~(slot wa cache.current-agent) 3 vase)
:: ::
?+ +<.noun (ap-move-pass bone +<.noun vase) ?+ +<.noun (ap-move-pass bone +<.noun vase)
%diff (ap-move-diff bone vase) %diff (ap-move-diff bone vase)
@ -1811,9 +1809,9 @@
[%.y internal-move] [%.y internal-move]
:: ::
=/ next =/ next
=/ incoming (~(del by incoming.subscribers.sat) bone) =/ incoming (~(del by incoming.subscribers.current-agent) bone)
%_ ap-state %_ ap-state
incoming.subscribers.sat incoming incoming.subscribers.current-agent incoming
== ==
:: ::
[possibly-internal-move next] [possibly-internal-move next]
@ -1825,7 +1823,7 @@
|= [=bone =vase] |= [=bone =vase]
^- [(each internal-move tang) _ap-state] ^- [(each internal-move tang) _ap-state]
:: ::
=^ vase cache.sat (~(sped wa cache.sat) vase) =^ vase cache.current-agent (~(sped wa cache.current-agent) vase)
:: ::
=/ value q.vase =/ value q.vase
:: ::
@ -1836,7 +1834,7 @@
=/ =tang (ap-tang "diff: improper give") =/ =tang (ap-tang "diff: improper give")
[[%.n tang] ap-state] [[%.n tang] ap-state]
:: ::
=^ vase cache.sat (~(slot wa cache.sat) 3 vase) =^ vase cache.current-agent (~(slot wa cache.current-agent) 3 vase)
:: ::
=/ =internal-move =/ =internal-move
=/ =cage [-.value vase] =/ =cage [-.value vase]
@ -1917,7 +1915,7 @@
:: ::
=/ vane u.maybe-vane =/ vane u.maybe-vane
:: ::
=^ at-slot cache.sat (~(slot wa cache.sat) 3 vase) =^ at-slot cache.current-agent (~(slot wa cache.current-agent) 3 vase)
:: ::
=/ =internal-move =/ =internal-move
=/ =path [(scot %p attributing.routes.agent-privilege) %inn u.pax] =/ =path [(scot %p attributing.routes.agent-privilege) %inn u.pax]
@ -1941,7 +1939,7 @@
?: ?=(%.n -.possibly-target) ?: ?=(%.n -.possibly-target)
[possibly-target ap-state] [possibly-target ap-state]
:: ::
=^ at-slot cache.sat (~(slot wa cache.sat) 7 vase) =^ at-slot cache.current-agent (~(slot wa cache.current-agent) 7 vase)
:: ::
?. ?& ?=([p=@ q=*] q.at-slot) ?. ?& ?=([p=@ q=*] q.at-slot)
((sane %tas) p.q.at-slot) ((sane %tas) p.q.at-slot)
@ -1949,7 +1947,7 @@
=/ =tang (ap-tang "poke: malformed cage") =/ =tang (ap-tang "poke: malformed cage")
[[%.n tang] ap-state] [[%.n tang] ap-state]
:: ::
=^ specialised cache.sat (~(stop wa cache.sat) 3 at-slot) =^ specialised cache.current-agent (~(stop wa cache.current-agent) 3 at-slot)
:: ::
=/ target p.possibly-target =/ target p.possibly-target
=/ =path p.target =/ =path p.target
@ -1995,7 +1993,7 @@
[[%.n tang] ap-state] [[%.n tang] ap-state]
:: ::
=/ move =/ move
?: (~(has in misvale.sat) p.target) ?: (~(has in misvale.current-agent) p.target)
=/ =internal-task =/ =internal-task
=/ =tang [[%leaf "peel: misvalidation encountered"] ~] =/ =tang [[%leaf "peel: misvalidation encountered"] ~]
=/ =agent-action [%peer-not tang] =/ =agent-action [%peer-not tang]
@ -2038,7 +2036,7 @@
[[%.n tang] ap-state] [[%.n tang] ap-state]
:: ::
=/ move =/ move
?: (~(has in misvale.sat) p.target) ?: (~(has in misvale.current-agent) p.target)
=/ err [[%leaf "peer: misvalidation encountered"] ~] =/ err [[%leaf "peer: misvalidation encountered"] ~]
=/ =agent-action [%peer-not err] =/ =agent-action [%peer-not err]
=/ =internal-note [%send ship term agent-action] =/ =internal-note [%send ship term agent-action]
@ -2104,7 +2102,7 @@
:: ::
?: ?=($poke s.q.vase) ?: ?=($poke s.q.vase)
:: ::
=^ specialised cache.sat (~(spot wa cache.sat) 7 vase) =^ specialised cache.current-agent (~(spot wa cache.current-agent) 7 vase)
:: ::
?> =(%poke -.q.specialised) ?> =(%poke -.q.specialised)
:: ::
@ -2114,8 +2112,8 @@
=/ =tang (ap-tang "send: malformed poke") =/ =tang (ap-tang "send: malformed poke")
[[%.n tang] ap-state] [[%.n tang] ap-state]
:: ::
=^ specialised cache.sat (~(spot wa cache.sat) 3 specialised) =^ specialised cache.current-agent (~(spot wa cache.current-agent) 3 specialised)
=^ at-slot cache.sat (~(slot wa cache.sat) 3 specialised) =^ at-slot cache.current-agent (~(slot wa cache.current-agent) 3 specialised)
:: ::
=/ move =/ move
=/ =agent-action [%poke p.t.q.vase at-slot] =/ =agent-action [%poke p.t.q.vase at-slot]
@ -2162,8 +2160,8 @@
^+ ap-state ^+ ap-state
:: ::
=/ prep =/ prep
=/ installed ap-install(running-state.sat vase) =/ installed ap-install(running-state.current-agent vase)
=/ running (some running-state.sat) =/ running (some running-state.current-agent)
(installed running) (installed running)
:: ::
=^ maybe-tang ap-state prep =^ maybe-tang ap-state prep
@ -2178,7 +2176,7 @@
|= [=mark =path] |= [=mark =path]
^+ ap-state ^+ ap-state
:: ::
=. required-trans.sat (~(put by required-trans.sat) agent-bone mark) =. marks.current-agent (~(put by marks.current-agent) agent-bone mark)
:: ::
(ap-peer path) (ap-peer path)
:: ::
@ -2191,8 +2189,8 @@
:: ::
=/ incoming [attributing.routes.agent-privilege pax] =/ incoming [attributing.routes.agent-privilege pax]
:: ::
=. incoming.subscribers.sat =. incoming.subscribers.current-agent
(~(put by incoming.subscribers.sat) agent-bone incoming) (~(put by incoming.subscribers.current-agent) agent-bone incoming)
:: ::
=^ maybe-arm ap-state (ap-find-arm %peer pax) =^ maybe-arm ap-state (ap-find-arm %peer pax)
:: ::
@ -2275,8 +2273,8 @@
^+ ap-state ^+ ap-state
:: ::
~& [%ap-blocking-misvale wire] ~& [%ap-blocking-misvale wire]
=/ misvaled (~(put in misvale.sat) wire) =/ misvaled (~(put in misvale.current-agent) wire)
ap-state(misvale.sat misvaled) ap-state(misvale.current-agent misvaled)
:: ::
:: +ap-generic-take: generic take. :: +ap-generic-take: generic take.
:: ::
@ -2299,7 +2297,7 @@
:: ::
=/ arm u.maybe-arm =/ arm u.maybe-arm
:: ::
=^ at-slot cache.sat (~(slot wa cache.sat) 3 vase) =^ at-slot cache.current-agent (~(slot wa cache.current-agent) 3 vase)
:: ::
=/ vase (slop !>((slag p.arm path)) at-slot) =/ vase (slop !>((slag p.arm path)) at-slot)
:: ::
@ -2360,8 +2358,8 @@
=^ maybe-tang ap-state (ap-prep maybe-vase) =^ maybe-tang ap-state (ap-prep maybe-vase)
:: ::
=/ new-misvale-data =/ new-misvale-data
~? !=(misvale.sat *misvale-data) ~? !=(misvale.current-agent *misvale-data)
[%misvale-drop misvale.sat] [%misvale-drop misvale.current-agent]
:: new app might mean new marks :: new app might mean new marks
*misvale-data *misvale-data
:: ::
@ -2378,9 +2376,9 @@
:: ::
=/ next =/ next
%= ap-state %= ap-state
misvale.sat new-misvale-data misvale.current-agent new-misvale-data
agent-config new-agent-config agent-config new-agent-config
arm-cache.sat ~ arm-cache.current-agent ~
== ==
:: ::
[maybe-tang next] [maybe-tang next]
@ -2397,7 +2395,7 @@
[~ ap-state] [~ ap-state]
:: ::
=/ new-type =/ new-type
=/ new (slot 13 running-state.sat) =/ new (slot 13 running-state.current-agent)
p.new p.new
:: ::
=/ old-type =/ old-type
@ -2408,7 +2406,7 @@
=/ =tang (ap-tang "prep mismatch") =/ =tang (ap-tang "prep mismatch")
[(some tang) ap-state] [(some tang) ap-state]
:: ::
=/ next ap-state(+13.q.running-state.sat +13.q.u.maybe-vase) =/ next ap-state(+13.q.running-state.current-agent +13.q.u.maybe-vase)
[~ next] [~ next]
:: ::
=/ =vase =/ =vase
@ -2423,13 +2421,13 @@
++ ap-silent-delete ++ ap-silent-delete
^+ ap-state ^+ ap-state
:: ::
=/ incoming (~(get by incoming.subscribers.sat) agent-bone) =/ incoming (~(get by incoming.subscribers.current-agent) agent-bone)
?~ incoming ?~ incoming
ap-state ap-state
:: ::
%_ ap-state %_ ap-state
incoming.subscribers.sat (~(del by incoming.subscribers.sat) agent-bone) incoming.subscribers.current-agent (~(del by incoming.subscribers.current-agent) agent-bone)
meter.subscribers.sat (~(del by meter.subscribers.sat) agent-bone) meter.subscribers.current-agent (~(del by meter.subscribers.current-agent) agent-bone)
== ==
:: ::
:: +ap-load-delete: load delete. :: +ap-load-delete: load delete.
@ -2437,14 +2435,14 @@
++ ap-load-delete ++ ap-load-delete
^+ ap-state ^+ ap-state
:: ::
=/ maybe-incoming (~(get by incoming.subscribers.sat) agent-bone) =/ maybe-incoming (~(get by incoming.subscribers.current-agent) agent-bone)
?~ maybe-incoming ?~ maybe-incoming
ap-state ap-state
:: ::
=/ incoming u.maybe-incoming =/ incoming u.maybe-incoming
:: ::
=: incoming.subscribers.sat (~(del by incoming.subscribers.sat) agent-bone) =: incoming.subscribers.current-agent (~(del by incoming.subscribers.current-agent) agent-bone)
meter.subscribers.sat (~(del by meter.subscribers.sat) agent-bone) meter.subscribers.current-agent (~(del by meter.subscribers.current-agent) agent-bone)
== ==
:: ::
=^ maybe-arm ap-state (ap-find-arm %pull q.incoming) =^ maybe-arm ap-state (ap-find-arm %pull q.incoming)
@ -2508,7 +2506,7 @@
=/ =tang (ap-tang "move: malformed list") =/ =tang (ap-tang "move: malformed list")
[[%.n tang] ap-state] [[%.n tang] ap-state]
:: ::
=^ hed cache.sat (~(slot wa cache.sat) 2 vase) =^ hed cache.current-agent (~(slot wa cache.current-agent) 2 vase)
=^ possibly-internal-move ap-state (ap-move hed) =^ possibly-internal-move ap-state (ap-move hed)
:: ::
?: ?=(%.n -.possibly-internal-move) ?: ?=(%.n -.possibly-internal-move)
@ -2516,7 +2514,7 @@
:: ::
=/ =internal-move p.possibly-internal-move =/ =internal-move p.possibly-internal-move
:: ::
=^ tel cache.sat (~(slot wa cache.sat) 3 vase) =^ tel cache.current-agent (~(slot wa cache.current-agent) 3 vase)
=^ res ap-state $(vase tel) =^ res ap-state $(vase tel)
:: ::
=/ possibly-internal-moves =/ possibly-internal-moves
@ -2537,7 +2535,7 @@
=/ =tang (ap-tang "ap-handle-result: invalid product (atom)") =/ =tang (ap-tang "ap-handle-result: invalid product (atom)")
[(some tang) ap-state] [(some tang) ap-state]
:: ::
=^ hed cache.sat (~(slot wa cache.sat) 2 vase) =^ hed cache.current-agent (~(slot wa cache.current-agent) 2 vase)
=^ possibly-internal-moves ap-state (ap-safe hed) =^ possibly-internal-moves ap-state (ap-safe hed)
:: ::
?: ?=(%.n -.possibly-internal-moves) ?: ?=(%.n -.possibly-internal-moves)
@ -2546,7 +2544,7 @@
:: ::
=/ internal-moves p.possibly-internal-moves =/ internal-moves p.possibly-internal-moves
:: ::
=^ tel cache.sat (~(slot wa cache.sat) 3 vase) =^ tel cache.current-agent (~(slot wa cache.current-agent) 3 vase)
=^ possibly-vase ap-state (ap-verify-core tel) =^ possibly-vase ap-state (ap-verify-core tel)
:: ::
?: ?=(%.n -.possibly-vase) ?: ?=(%.n -.possibly-vase)
@ -2556,7 +2554,7 @@
=/ next =/ next
%_ ap-state %_ ap-state
agent-moves (weld (flop internal-moves) agent-moves) agent-moves (weld (flop internal-moves) agent-moves)
running-state.sat p.possibly-vase running-state.current-agent p.possibly-vase
== ==
:: ::
[~ next] [~ next]
@ -2569,9 +2567,9 @@
^- [(each vase tang) _ap-state] ^- [(each vase tang) _ap-state]
:: ::
=/ received-type p.vax =/ received-type p.vax
=/ running-type p.running-state.sat =/ running-type p.running-state.current-agent
:: ::
=^ nests cache.sat (~(nest wa cache.sat) running-type received-type) =^ nests cache.current-agent (~(nest wa cache.current-agent) running-type received-type)
:: ::
=/ possibly-vase =/ possibly-vase
?. nests ?. nests
@ -2591,7 +2589,7 @@
=/ compiled =/ compiled
=/ =type [%cell p.gat p.arg] =/ =type [%cell p.gat p.arg]
=/ =hoon [%cnsg [%$ ~] [%$ 2] [%$ 3] ~] =/ =hoon [%cnsg [%$ ~] [%$ 2] [%$ 3] ~]
(~(mint wa cache.sat) type hoon) (~(mint wa cache.current-agent) type hoon)
:: ::
=/ virtual =/ virtual
=/ trap |.(compiled) =/ trap |.(compiled)
@ -2617,7 +2615,7 @@
%2 [%.n p.ton] %2 [%.n p.ton]
== ==
:: ::
=/ next ap-state(cache.sat worm) =/ next ap-state(cache.current-agent worm)
[possibly-vase next] [possibly-vase next]
:: ::
:: +ap-namespace-view: namespace view. :: +ap-namespace-view: namespace view.