p2_claim.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 (JDID_LAUNCHER_ID my-coin-id spender-launcher-id spender-curried-args-hash conditions)

  ; Inner puzzle for coins controlled by a credential.  The spender must present a valid
  ; claim or delegated claim (via present_claims or present_delegated), proven by a JDIDV
  ; puzzle announcement.  Enables pay-to-credential use cases.

  (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")
  (include "jdid_announcements.clib")
  (embed-file julia-DID-puzzlehash bin "julia_did.clsp.hash.bin")

  (assign
      spender-DID-coin-puzzlehash (julia-DID-coin-puzzlehash julia-DID-puzzlehash
                                                             spender-launcher-id
                                                             spender-curried-args-hash)
    (c (list ASSERT_MY_COIN_ID my-coin-id)
      (c (list ASSERT_PUZZLE_ANNOUNCEMENT (sha256 spender-DID-coin-puzzlehash
                                                  (jdidv-message (sha256 "cleartext://./.julia-payment")
                                                                 my-coin-id
                                                                 JDID_LAUNCHER_ID)))
        (c (list RECEIVE_MESSAGE 0x17 (concat "JDIDP" (sha256tree conditions))
                                      spender-DID-coin-puzzlehash)
          conditions
        )
      )
    )
  )
)