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>
d8a109baf8