Compile each path's steps, leaves and cover once at link, deleting pathCover, coverPath and pathLeaves

2026-09-30 17:09:50 +02:00
parent 0f58784a1b
commit 6b9755b3ef
10 changed files with 149 additions and 103 deletions
@@ -164,7 +164,7 @@ func (p *valueProof) proveTemplate(t *template) proven {
 	case o.kind == nameRead:
 		var leaves []node
 		for _, a := range o.arms {
-			leaves = append(leaves, pathLeaves(t.head(a.head), a.tail)...)
+			leaves = append(leaves, a.leaves...)
 		}
 		return p.proveUnion(leaves)
 	case name == "calc":