recovery_authorize.clsp

;; Copyright 2026 Julia.Social, Inc.
;;
;; Licensed under the Apache License, Version 2.0 (the "License");
;; you may not use this file except in compliance with the License.
;; You may obtain a copy of the License at
;;
;;     http://www.apache.org/licenses/LICENSE-2.0
;;
;; Unless required by applicable law or agreed to in writing, software
;; distributed under the License is distributed on an "AS IS" BASIS,
;; WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
;; See the License for the specific language governing permissions and
;; limitations under the License.

(mod (curried-args solution)

  (include *standard-cl-26*)
  (defun print (l x) (i (all "$print$" l x) x x))

  (include "condition_codes.clib")
  (include "curry_and_treehash.clib")
  (include "sha256tree.clib")

  (include "did_puzzles.clib")

  ; Run by a recovery participant DID to authorize a recovery initiation or cancellation
  ; on a target DID.  Sends a JDIDR or JDIDX message to the target with a time-bounded
  ; expiration.

  ;; main
  (assign ; use assign to destructure the curried-args and solution
      ( julia-DID-puzzlehash
        my-launcher-id
        recovery-delay
        multisig-info
        valid-custodian-DIDs
        recovery-info
        DID-doc
      ) curried-args
      ( target-DID
        target-DID-curry-hash
        target-DID-parent
        initiate-or-cancel
        expiration-block
        new-params-hash
      ) solution
    (list 
      (list julia-DID-puzzlehash my-launcher-id recovery-delay multisig-info valid-custodian-DIDs recovery-info DID-doc 0)
      (if (= initiate-or-cancel "R")
        (list
          (list SEND_MESSAGE 22 (concat "JDIDR" new-params-hash)  ; 22 = 010110b - sender: 010 (puzzle) receiver: 110 (puzzle + parent)
                target-DID-parent
                (julia-DID-coin-puzzlehash julia-DID-puzzlehash target-DID target-DID-curry-hash))
          (list ASSERT_BEFORE_HEIGHT_ABSOLUTE expiration-block)
        )
        (if (= initiate-or-cancel "X")
            (list
              (list SEND_MESSAGE 22 "JDIDX" ; 22 = 010110b - sender: 010 (puzzle) receiver: 110 (puzzle + parent)
                    target-DID-parent
                    (julia-DID-coin-puzzlehash julia-DID-puzzlehash target-DID target-DID-curry-hash))
              (list ASSERT_BEFORE_HEIGHT_ABSOLUTE expiration-block)
            )
            (x 22) ; invalid flag
        )
      )
    )
  )
)