;; optimizer_seed.push3 — initial seed for Push3 evolution (#544, #545, #546)
;;
;; This is the starting population member for the evolutionary optimizer.
;; It implements the same binary bear/bull logic as optimizer_v3.push3 and
;; uses all 8 input slots of the dyadic rational interface (slots 2-7 reserved
;; for future trackers; currently passed as 0 and discarded here).
;;
;; Inputs on DYADIC stack (slot 0 on top, slot 7 at bottom):
;;   [0] percentageStaked      (0 to 1e18, where 1e18 = 100%)
;;   [1] averageTaxRate        (0 to 1e18, normalized from Stake contract)
;;   [2] vwapX96               (future; 0 if unavailable)
;;   [3] currentTick           (future; 0 if unavailable)
;;   [4] recentVolume          (future; 0 if unavailable)
;;   [5] timeSinceLastRecenter (future; 0 if unavailable)
;;   [6] movingAveragePrice    (future; 0 if unavailable)
;;   [7] reserved              0
;;
;; Outputs on DYADIC stack at termination (top to bottom):
;;   top: capitalInefficiency (0..1e18)
;;        anchorShare         (0..1e18)
;;        anchorWidth         (tick units)
;;   bot: discoveryDepth      (0..1e18)
;;
;; BULL params: CI=0, AS=1e18,   AW=20,  DD=1e18
;; BEAR params: CI=0, AS=0.3e18, AW=100, DD=0.3e18

(
  ;; Step 1: Bind slot 0 (top) to PERCENTAGESTAKED, slot 1 to TAXRATE.
  PERCENTAGESTAKED DYADIC.DEFINE
  TAXRATE DYADIC.DEFINE

  ;; Step 2: Discard unused inputs (slots 2-7) — 6 pops.
  DYADIC.POP
  DYADIC.POP
  DYADIC.POP
  DYADIC.POP
  DYADIC.POP
  DYADIC.POP

  ;; Step 3: Compute stakedPct = percentageStaked * 100 / 1e18  (integer 0..100)
  PERCENTAGESTAKED
  100 DYADIC.*
  1000000000000000000 DYADIC./
  STAKED DYADIC.DEFINE

  ;; Step 4: Main conditional — stakedPct > 91?
  STAKED 91 DYADIC.>

  EXEC.IF

  ;; TRUE branch: stakedPct > 91 — compute penalty
  (
    ;; deltaS = 100 - stakedPct
    100 STAKED DYADIC.-
    DELTAS DYADIC.DEFINE

    ;; Compute raw tax index via 30-way threshold lookup.
    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
                                                                                                                  )
                                                                                                              )
                                                                                                          )
                                                                                                      )
                                                                                                  )
                                                                                              )
                                                                                          )
                                                                                      )
                                                                                  )
                                                                              )
                                                                          )
                                                                      )
                                                                  )
                                                              )
                                                          )
                                                      )
                                                  )
                                              )
                                          )
                                      )
                                  )
                              )
                          )
                      )
                  )
              )
          )
      )

    ;; Apply effIdx shift: if raw_idx >= 14, effIdx = min(raw_idx + 1, 29)
    DYADIC.DUP 14 DYADIC.>=
    EXEC.IF
      (
        1 DYADIC.+
        DYADIC.DUP 29 DYADIC.>
        EXEC.IF
          ( DYADIC.POP 29 )
          ( )
      )
      ( )

    EFFIDX DYADIC.DEFINE

    ;; penalty = deltaS^3 * effIdx / 20
    DELTAS DELTAS DYADIC.*
    DELTAS DYADIC.*
    EFFIDX DYADIC.*
    20 DYADIC./

    ;; penalty < 50 → BULL; else → BEAR
    50 DYADIC.<

    EXEC.IF
    ;; BULL: push 4 outputs bottom-first (discoveryDepth at bottom, ci at top)
    (
      1000000000000000000
      20
      1000000000000000000
      0
    )
    ;; BEAR
    (
      300000000000000000
      100
      300000000000000000
      0
    )
  )

  ;; FALSE branch: stakedPct <= 91 — always bear
  (
    300000000000000000
    100
    300000000000000000
    0
  )
)