diff --git a/pkg/arvo/lib/hood/kiln.hoon b/pkg/arvo/lib/hood/kiln.hoon index eefcfe16f..8f0eab12d 100644 --- a/pkg/arvo/lib/hood/kiln.hoon +++ b/pkg/arvo/lib/hood/kiln.hoon @@ -838,7 +838,7 @@ =. hop (~(del by hop) old) abet:(emit %give %fact ~[/jumps] %kiln-jump !>([%nay old u.had])) ?~ (skim ~(tap by sources) |=(sync-record =(old [her sud]))) - ~> %slog.(fmt "no syncs from {}/{(trip q.old)}") + ~> %slog.(fmt "no syncs from {(scow %p p.old)}/{(trip q.old)}") abet =. hop (~(put by hop) old new) abet:(emit %give %fact ~[/jumps] %kiln-jump !>([%add old new])) @@ -846,16 +846,16 @@ ++ poke-jump-opt |= [old=dock new=dock yea=?] ?~ got=(~(get by hop) old) - ~> %slog.(fmt "no jump request for {}/{(trip q.old)}") + ~> %slog.(fmt "no jump request for {(scow %p p.old)}/{(trip q.old)}") abet ?. =(new u.got) - =/ txt-old "{}/{(trip q.old)}" - =/ txt-new "{}/{(trip q.new)}" + =/ txt-old "{(scow %p p.old)}/{(trip q.old)}" + =/ txt-new "{(scow %p p.new)}/{(trip q.new)}" ~> %slog.(fmt "no jump request from {txt-old} to {txt-new}") abet ?. yea - =/ txt-old "{}/{(trip q.old)}" - =/ txt-new "{}/{(trip q.new)}" + =/ txt-old "{(scow %p p.old)}/{(trip q.old)}" + =/ txt-new "{(scow %p p.new)}/{(trip q.new)}" ~> %slog.(fmt "denied jump from {txt-old} to {txt-new}") =. hop (~(del by hop) old) abet:(emit %give %fact ~[/jumps] %kiln-jump !>([%nay old new])) diff --git a/pkg/arvo/sys/hoon.hoon b/pkg/arvo/sys/hoon.hoon index d3cc88e8f..7091406f1 100644 --- a/pkg/arvo/sys/hoon.hoon +++ b/pkg/arvo/sys/hoon.hoon @@ -9253,21 +9253,21 @@ :: ++ mint |= gol=type + =- ?>(?|(!vet (nest(sut gol) & p.-)) -) ^- (pair type nock) =+ lug=(find %read hyp) ?: ?=(%| -.lug) ~>(%mean.'hoon' ?>(?=(~ rig) p.lug)) - =- ?>(?|(!vet (nest(sut gol) & p.-)) -) (ergo p.lug rig) :: ++ mull |= [gol=type dox=type] - ^- [type type] + =- ?>(?|(!vet (nest(sut gol) & p.-)) -) + ^- (pair type type) =+ lug=[p=(find %read hyp) q=(find(sut dox) %read hyp)] ?: ?=(%| -.p.lug) ?> &(?=(%| -.q.lug) ?=(~ rig)) [p.p.p.lug p.p.q.lug] ?> ?=(%& -.q.lug) - =- ?>(?|(!vet (nest(sut gol) & p.-)) -) (endo [p.p.lug p.q.lug] dox rig) -- ::