present_claims.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 "bitfield.clib")
  (include "did_puzzles.clib")
  (include "jdid_announcements.clib")
  (include "validate_claims.clib")

  (embed-file issuer-key-puzzlehash bin "issuer_key.clsp.hash.bin")

  ; Validates and presents verifiable credential claims.  For each claim, verifies the issuer
  ; key is live, the claim is not revoked, the claim is within its validity period, and the
  ; issuer key covers the claim's property.  Emits JDIDV/JDIDH announcements.
  
  (assign
      julia-did-puzzlehash (f curried-args)
      my-launcher-id (f (r curried-args))
      nonce (f solution)
      claims-with-proofs (r solution)
    (list curried-args
          (c (list CREATE_PUZZLE_ANNOUNCEMENT (concat "JDIDN" nonce))
             (validate-claims julia-did-puzzlehash my-launcher-id claims-with-proofs)))
  )
)