johba/harb
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

fix: feat: add evolution run 8 champion to seed pool (#781)

Browse source 
Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>
This commit is contained in:
openhands 2026-03-15 01:31:06 +00:00
parent 2fbf1c30f1
commit 7930770570
2 changed files with 2 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

2
tools/push3-evolution/seeds/evo_run008_champion.push3
View file

@ -1 +1 @@
( PERCENTAGESTAKED DYADIC.DEFINE TAXRATE DYADIC.DEFINE DYADIC.POP DYADIC.POP DYADIC.POP DYADIC.POP DYADIC.POP DYADIC.POP PERCENTAGESTAKED 100 DYADIC.* 1000000000000000000 DYADIC./ STAKED DYADIC.DEFINE STAKED 80 EXEC.IF ( 100 STAKED DYADIC.- DELTAS DYADIC.DEFINE TAXRATE 206185567010309 DYADIC.<= EXEC.IF 0 ( TAXRATE 412371134020618 DYADIC.<= EXEC.IF 1 ( TAXRATE 618556701030927 DYADIC.<= EXEC.IF 2 ( TAXRATE 1030927835051546 DYADIC.<= EXEC.IF 3 ( TAXRATE 1546391752577319 DYADIC.<= EXEC.IF 4 ( TAXRATE 2164948453608247 DYADIC.<= EXEC.IF 5 ( TAXRATE 2783505154639175 DYADIC.<= EXEC.IF 6 ( TAXRATE 3608247422680412 DYADIC.<= EXEC.IF 7 ( TAXRATE 4639175257731958 DYADIC.<= EXEC.IF 8 ( TAXRATE 5670103092783505 DYADIC.>= EXEC.IF 9 ( TAXRATE 7216494845360824 DYADIC.<= EXEC.IF 10 ( TAXRATE 9278350515463917 DYADIC.<= EXEC.IF 11 ( TAXRATE 11855670103092783 DYADIC.<= EXEC.IF 12 ( TAXRATE 15979381443298969 DYADIC.<= EXEC.IF 13 ( TAXRATE 22164948453608247 DYADIC.<= EXEC.IF 14 ( TAXRATE 29381443298969072 DYADIC.<= EXEC.IF 15 ( TAXRATE 38144329896907216 EXEC.IF 16 ( TAXRATE 49484536082474226 DYADIC.<= EXEC.IF 17 ( TAXRATE 63917525773195876 DYADIC.<= EXEC.IF 18 ( TAXRATE 83505154639175257 DYADIC.<= EXEC.IF 19 ( TAXRATE 109278350515463917 DYADIC.<= EXEC.IF 20 ( TAXRATE 144329896907216494 DYADIC.<= EXEC.IF 21 ( TAXRATE 185567010309278350 DYADIC.<= EXEC.IF 22 ( TAXRATE 237113402061855670 DYADIC.<= EXEC.IF 23 ( TAXRATE 309278350515463917 DYADIC.<= EXEC.IF 24 ( TAXRATE 402061855670103092 DYADIC.<= EXEC.IF 25 ( TAXRATE 520618556701030927 DYADIC.<= EXEC.IF 26 ( TAXRATE 680412371134020618 DYADIC.<= EXEC.IF 27 ( TAXRATE 886597938144329896 DYADIC.<= EXEC.IF 28 29 ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) DYADIC.DUP 14 DYADIC.>= EXEC.IF ( 1 DYADIC.+ DYADIC.DUP 29 DYADIC.> EXEC.IF ( DYADIC.POP 29 ) ( ) ) ( ) EFFIDX DYADIC.DEFINE DELTAS DELTAS DYADIC.* DELTAS DYADIC.* EFFIDX DYADIC.* 20 DYADIC./ 30 DYADIC.< EXEC.IF ( 1000000000000000000 20 1000000000000000000 0 ) ( 300000000000000000 100 300000000000000000 0 ) ) ( 300000000000000000 100 300000000000000000 0 ) ) ( PERCENTAGESTAKED DYADIC.DEFINE TAXRATE DYADIC.DEFINE DYADIC.POP DYADIC.POP DYADIC.POP DYADIC.POP DYADIC.POP DYADIC.POP PERCENTAGESTAKED 100 DYADIC.* 1000000000000000000 DYADIC./ STAKED DYADIC.DEFINE STAKED 80 DYADIC.> EXEC.IF ( 100 STAKED DYADIC.- DELTAS DYADIC.DEFINE TAXRATE 206185567010309 DYADIC.<= EXEC.IF 0 ( TAXRATE 412371134020618 DYADIC.<= EXEC.IF 1 ( TAXRATE 618556701030927 DYADIC.<= EXEC.IF 2 ( TAXRATE 1030927835051546 DYADIC.<= EXEC.IF 3 ( TAXRATE 1546391752577319 DYADIC.<= EXEC.IF 4 ( TAXRATE 2164948453608247 DYADIC.<= EXEC.IF 5 ( TAXRATE 2783505154639175 DYADIC.<= EXEC.IF 6 ( TAXRATE 3608247422680412 DYADIC.<= EXEC.IF 7 ( TAXRATE 4639175257731958 DYADIC.<= EXEC.IF 8 ( TAXRATE 5670103092783505 DYADIC.<= EXEC.IF 9 ( TAXRATE 7216494845360824 DYADIC.<= EXEC.IF 10 ( TAXRATE 9278350515463917 DYADIC.<= EXEC.IF 11 ( TAXRATE 11855670103092783 DYADIC.<= EXEC.IF 12 ( TAXRATE 15979381443298969 DYADIC.<= EXEC.IF 13 ( TAXRATE 22164948453608247 DYADIC.<= EXEC.IF 14 ( TAXRATE 29381443298969072 DYADIC.<= EXEC.IF 15 ( TAXRATE 38144329896907216 DYADIC.<= EXEC.IF 16 ( TAXRATE 49484536082474226 DYADIC.<= EXEC.IF 17 ( TAXRATE 63917525773195876 DYADIC.<= EXEC.IF 18 ( TAXRATE 83505154639175257 DYADIC.<= EXEC.IF 19 ( TAXRATE 109278350515463917 DYADIC.<= EXEC.IF 20 ( TAXRATE 144329896907216494 DYADIC.<= EXEC.IF 21 ( TAXRATE 185567010309278350 DYADIC.<= EXEC.IF 22 ( TAXRATE 237113402061855670 DYADIC.<= EXEC.IF 23 ( TAXRATE 309278350515463917 DYADIC.<= EXEC.IF 24 ( TAXRATE 402061855670103092 DYADIC.<= EXEC.IF 25 ( TAXRATE 520618556701030927 DYADIC.<= EXEC.IF 26 ( TAXRATE 680412371134020618 DYADIC.<= EXEC.IF 27 ( TAXRATE 886597938144329896 DYADIC.<= EXEC.IF 28 29 ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) DYADIC.DUP 14 DYADIC.>= EXEC.IF ( 1 DYADIC.+ DYADIC.DUP 29 DYADIC.> EXEC.IF ( DYADIC.POP 29 ) ( ) ) ( ) EFFIDX DYADIC.DEFINE DELTAS DELTAS DYADIC.* DELTAS DYADIC.* EFFIDX DYADIC.* 20 DYADIC./ 30 DYADIC.< EXEC.IF ( 1000000000000000000 20 1000000000000000000 0 ) ( 300000000000000000 100 300000000000000000 0 ) ) ( 300000000000000000 100 300000000000000000 0 ) )

2
tools/push3-evolution/seeds/manifest.jsonl
View file

@ -5,4 +5,4 @@
{"file":"llm_floor_hugger.push3","fitness":null,"origin":"llm","run":null,"generation":null,"date":"2026-03-13","note":"Defensive Floor Hugger — maximises floor depth, CI=0, anchorShare=1%, anchorWidth=5, discoveryDepth=1%. Ignores all inputs."} {"file":"llm_floor_hugger.push3","fitness":null,"origin":"llm","run":null,"generation":null,"date":"2026-03-13","note":"Defensive Floor Hugger — maximises floor depth, CI=0, anchorShare=1%, anchorWidth=5, discoveryDepth=1%. Ignores all inputs."}
{"file":"llm_contrarian.push3","fitness":null,"origin":"llm","run":null,"generation":null,"date":"2026-03-13","note":"Contrarian optimizer — bets against consensus. High staking = bearish, low staking = bullish."} {"file":"llm_contrarian.push3","fitness":null,"origin":"llm","run":null,"generation":null,"date":"2026-03-13","note":"Contrarian optimizer — bets against consensus. High staking = bearish, low staking = bullish."}
{"file":"evo_run007_champion.push3","fitness":7116531284966772550194,"origin":"evolved","run":"007","generation":24,"date":"2026-03-14","note":"Run 7 champion. Unbounded AW, 500k gas, IL crystallization attack. When staked<=88%: CI=20%, AW=153, AS=20%, DD=0. When staked>88%: bear defaults (all zero)."} {"file":"evo_run007_champion.push3","fitness":7116531284966772550194,"origin":"evolved","run":"007","generation":24,"date":"2026-03-14","note":"Run 7 champion. Unbounded AW, 500k gas, IL crystallization attack. When staked<=88%: CI=20%, AW=153, AS=20%, DD=0. When staked>88%: bear defaults (all zero)."}
{"file":"evo_run008_champion.push3","fitness":6023051186447921487286,"origin":"evolved","run":"008","generation":0,"date":"2026-03-14","note":"Run 8 champion. First run with TWAP-enforced recenter (#713). 29-tier tax rate thresholds with delta-squared scaling. When staked>80% and low tax: CI=100%, AW=20, AS=100%, DD=0. High tax: CI=30%, AW=100, AS=30%, DD=0. Staked<=80%: bear defaults."} {"file":"evo_run008_champion.push3","fitness":6023051186447921487286,"origin":"evolved","run":"008","generation":0,"date":"2026-03-14","note":"Run 8 champion. First run with TWAP-enforced recenter (#713). 29-tier tax rate thresholds with delta-cubed scaling. When staked>80% and low tax: CI=0, AW=20, AS=100%, DD=100%. High tax: CI=0, AW=100, AS=30%, DD=30%. Staked<=80%: bear defaults (CI=0, AW=100, AS=30%, DD=30%)."}