vestigia

commit 93e98d61cb94ee92bb02ba7a555a15405bdebefd
parent 6f6de0af575252d584a009333475ff3a19df7aa3
Author: Jared Tobin <jared@jtobin.io>
Date:   Wed, 21 Oct 2026 09:47:01 +0400

spikes: traceOf given its runs

traceOf takes a list of runs; each spike's trace is the one run it was.

Diffstat:
M
etc/spike/penumbra/default.nix
 | 
2
+-
M
etc/spike/poly1305/default.nix
 | 
2
+-
M
etc/spike/secp256k1/default.nix
 | 
2
+-

3 files changed, 3 insertions(+), 3 deletions(-)
diff --git a/etc/spike/penumbra/default.nix b/etc/spike/penumbra/default.nix
@@ -36,7 +36,7 @@ let
   traceOf = build: lib: root: vestigia.lib.${system}.traceOf {
     name = "penumbra-${build}-${root}";
     harness = "${harnessFor lib}/bin/harness";
-    args = [ root "4" ];
+    runs = [ [ root "4" ] ];
   };
 
   roots = [ "public_key" "key_agreement" "spend_auth_sign" ];
diff --git a/etc/spike/poly1305/default.nix b/etc/spike/poly1305/default.nix
@@ -49,7 +49,7 @@ let
         path = vestigia.lib.${system}.traceOf {
           name = "poly1305-${name}";
           harness = bin;
-          args = [ "4" "1" ];
+          runs = [ [ "4" "1" ] ];
         }; }
       { name = "diff";
         path = vestigia.lib.${system}.diffOf {
diff --git a/etc/spike/secp256k1/default.nix b/etc/spike/secp256k1/default.nix
@@ -53,7 +53,7 @@ let
         path = vestigia.lib.${system}.traceOf {
           name = "secp256k1-${name}";
           harness = bin;
-          args = [ "2" "1" ];
+          runs = [ [ "2" "1" ] ];
         }; }
       { name = "diff";
         path = vestigia.lib.${system}.diffOf {