pension-halal

;; pension-halal -- halal pension/retirement savings pool
(define-constant CONTRACT-OWNER tx-sender)
(define-constant ERR-AUTH (err u401))
(define-constant ERR-NONE (err u404))
(define-data-var member-count uint u0)
(define-data-var total-savings uint u0)
(define-map members principal { name: (string-utf8 100), balance: uint, joined: uint, withdrawn: uint })
(define-map deposit-history uint { member: principal, amount: uint, block: uint })
(define-data-var deposit-count uint u0)

(define-public (join-plan (name (string-utf8 100)))
  (begin (var-set member-count (+ (var-get member-count) u1))
    (map-set members tx-sender { name: name, balance: u0, joined: stacks-block-height, withdrawn: u0 })
    (ok true)))

(define-public (deposit (amount uint))
  (let ((m (unwrap! (map-get? members tx-sender) ERR-NONE))
        (id (+ (var-get deposit-count) u1)))
    (var-set deposit-count id)
    (var-set total-savings (+ (var-get total-savings) amount))
    (map-set members tx-sender (merge m { balance: (+ (get balance m) amount) }))
    (map-set deposit-history id { member: tx-sender, amount: amount, block: stacks-block-height })
    (ok id)))

(define-public (withdraw (amount uint))
  (let ((m (unwrap! (map-get? members tx-sender) ERR-NONE)))
    (asserts! (>= (get balance m) amount) ERR-AUTH)
    (var-set total-savings (- (var-get total-savings) amount))
    (map-set members tx-sender (merge m { balance: (- (get balance m) amount), withdrawn: (+ (get withdrawn m) amount) }))
    (ok amount)))

(define-read-only (get-member (addr principal)) (map-get? members addr))
(define-read-only (get-total-savings) (var-get total-savings))