From 83a91f324a00c4d702494cbe329235613bef2f15 Mon Sep 17 00:00:00 2001
From: johba <johba@noreply.codeberg.org>
Date: Sun, 22 Mar 2026 21:36:05 +0000
Subject: [PATCH] fix: seed-transpile-check treats invalid seeds as warnings
 not failures
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

Evolution can produce syntactically invalid seeds (e.g. missing
DYADIC.<= before EXEC.IF). These transpiler errors should not block
CI — only forge compilation failures of successfully transpiled seeds
are real regressions.

Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>
---
 .woodpecker/ci.yml | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/.woodpecker/ci.yml b/.woodpecker/ci.yml
index ea6fc68..7dca6be 100644
--- a/.woodpecker/ci.yml
+++ b/.woodpecker/ci.yml
@@ -127,8 +127,7 @@ steps:
             name=$(basename "$seed")
             echo "--- Transpiling $name ---"
             if ! npx tsx tools/push3-transpiler/src/index.ts "$seed" onchain/src/OptimizerV3Push3.sol; then
-              echo "FAIL: $name failed to transpile" >&2
-              failed=1
+              echo "WARN: $name failed to transpile (invalid program) — skipping" >&2
               continue
             fi
             echo "--- Compiling $name ---"