neo: fix injection

This commit is contained in:
Liam Fitzgerald 2024-03-11 19:33:01 -04:00
parent 483b4d34d5
commit 93a7d1ab76
2 changed files with 16 additions and 12 deletions

View File

@ -280,7 +280,7 @@
--
++ get-val-at-path
|= =pith
^- (unit *)
^- (unit vase)
?~ val=(get-hall apex pith)
~
`state.icon.u.val
@ -605,20 +605,24 @@
site
++ si-resolve-kids ~
++ si-resolve-deps
%- ~(gas by *(map term [^pith *]))
^- (list [term ^pith *])
%- ~(gas by *(map term [^pith vase]))
^- (list [term ^pith vase])
%+ murn ~(tap by deps:si-firm)
|= [=term required=? =port:neo]
^- (unit [^term ^pith *])
^- (unit [^term ^pith vase])
=/ dep=(unit ^pith) (~(get by conf.room) term)
?~ dep
~| %invariant-missing-required-conf
~| invariant-missing-required-conf/term
?< required
~
=/ val (get-val-at-path u.dep)
=/ =name:neo (de-pith:name:neo u.dep)
?> =(our.bowl ship.name)
=/ val (get-val-at-path pith.name)
?~ val
~| %invariant-no-value-at-path
~| invariant-no-value-at-path/pith.name
!!
~& dep/[term u.dep]
%- (slog (sell u.val) ~)
`[term u.dep u.val]
:: TODO type this w/ port??
++ si-bowl

View File

@ -254,8 +254,8 @@
$~ ~
(map iota hall)
+$ sign-conf
$% [%val p=vase]
[%pith p=pith q=vase]
$% [%val p=term]
[%pith p=term q=pith]
==
+$ sign-neo
$% [%poke dest=pith status=response-status]
@ -264,7 +264,7 @@
+$ sign
$+ sign
$% [%arvo p=sign-arvo]
[%neo ~]
[%neo p=sign-neo]
==
+$ move (pair pith card)
@ -307,8 +307,8 @@
our=@p
were=pith
now=@da
deps=(map term (pair pith *))
kids=(map pith *)
deps=(map term (pair pith vase))
kids=(map pith vase)
==
+$ fief
[required=? =port]