harb/tools/push3-evolution/seeds/evo_run007_champion.push3
openhands d8a109baf8 fix: evo_run007_champion.push3 always returns fixed params regardless of staking (#791)
Replace the broken EXEC.IF branches where TRUE was ( ) and FALSE was
0 DYADIC.POP, causing the trailing push sequence to execute
unconditionally. Now EXEC.IF correctly branches on STAKED > 88%:
  - TRUE  (staked > 88%): bear defaults ( 0 0 0 0 ) — CI=0, AW=0, AS=0, DD=0
  - FALSE (staked ≤ 88%): ( 200000000000000000 153 200000000000000000 0 )
                            — CI=0, AW=153, AS=20%, DD=20%

Also correct the manifest.jsonl run 7 note which had CI and DD inverted
(CI=20%/DD=0 → CI=0/DD=20%).

Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>
2026-03-15 07:30:45 +00:00

1 line
276 B
Text

( PERCENTAGESTAKED DYADIC.DEFINE TAXRATE DYADIC.POP DYADIC.POP DYADIC.POP DYADIC.POP DYADIC.POP DYADIC.POP PERCENTAGESTAKED 100 DYADIC.* 1000000000000000000 DYADIC./ STAKED DYADIC.DEFINE STAKED 88 DYADIC.> EXEC.IF ( 0 0 0 0 ) ( 200000000000000000 153 200000000000000000 0 ) )