@hyperscale0/hsx 4.0.0 → 4.1.0

package/std/reporting.hsx

@@ -351,7 +351,6 @@ instrument portfolio(on: ref<financing.installments>[], default_days: integer(1,
         request: [ "owner", "finance" ],
         read: [ "owner", "admin", "operations", "finance", "viewer" ],
         release: [  ],
-        independentApproval: true,
         retention: { policy: "report_replay", years: retention_years }
       }
     },
@@ -632,7 +631,6 @@ instrument portfolio(on: ref<financing.installments>[], default_days: integer(1,
         request: [ "owner", "finance" ],
         read: [ "owner", "admin", "operations", "finance", "viewer" ],
         release: [  ],
-        independentApproval: true,
         retention: { policy: "report_replay", years: retention_years }
       }
     },
@@ -1002,7 +1000,6 @@ instrument portfolio(on: ref<financing.installments>[], default_days: integer(1,
         request: [ "owner", "finance" ],
         read: [ "owner", "admin", "operations", "finance", "viewer" ],
         release: [  ],
-        independentApproval: true,
         retention: { policy: "report_replay", years: retention_years }
       }
     },
@@ -1278,7 +1275,6 @@ instrument portfolio(on: ref<financing.installments>[], default_days: integer(1,
         request: [ "owner", "finance" ],
         read: [ "owner", "admin", "operations", "finance", "viewer" ],
         release: [  ],
-        independentApproval: true,
         retention: { policy: "report_replay", years: retention_years }
       }
     }

package/std/travel.hsx

@@ -10,7 +10,7 @@ instrument package(price: money, supplier_cost: money, departure: date) {
   action close { from: published, to: closed, actor: clock, due: { at: self.departure } }
 }
 
-instrument booking(package: ref<travel.package>, buyer: party, supplier: party, approval: approval = programOperator, cover: ref<insurance.cover>, deposit: percent = 30%, balance_before: duration = 14d, confirm_within: duration = 24h, tax: percent = 15%, early_before: duration = 30d, middle_before: duration = 15d, middle_penalty: percent = 10%, late_penalty: percent = 30%) {
+instrument booking(package: ref<travel.package>, buyer: party, supplier: party, operator: party = programOperator, cover: ref<insurance.cover>, deposit: percent = 30%, balance_before: duration = 14d, confirm_within: duration = 24h, tax: percent = 15%, early_before: duration = 30d, middle_before: duration = 15d, middle_penalty: percent = 10%, late_penalty: percent = 30%) {
   constraints { early_before: greater_than(middle_before) }
   summary: "A deposited booking with three cancellation bands and confirmation."
   fields {
@@ -44,9 +44,8 @@ instrument booking(package: ref<travel.package>, buyer: party, supplier: party,
     moves self.balance from buyer to self.held
   }
   action confirm {
-    from: paid, to: completed
+    from: paid, to: completed, actor: { party: operator }
     due: { at: self.package.departure }, deadline: { at: self.confirmBy }
-    requires approval by approval protectedRequest self differentFromInitiator true
     moves self.supplierCost from self.held to supplier
     moves self.tax from self.held to programTax
     moves self.operatorNet from self.held to programOperator
@@ -56,11 +55,11 @@ instrument booking(package: ref<travel.package>, buyer: party, supplier: party,
     moves self.price from self.held to buyer
   }
   action cancel_early {
-    from: [deposit_paid, paid], to: cancelled, deadline: { at: self.earlyAt }
+    from: [deposit_paid, paid], to: cancelled, actor: { party: buyer }, deadline: { at: self.earlyAt }
     moves self.held.balance from self.held to buyer
   }
   action cancel_middle {
-    from: [deposit_paid, paid], to: cancelled, due: { at: self.earlyAt }, deadline: { at: self.lateAt }
+    from: [deposit_paid, paid], to: cancelled, actor: { party: buyer }, due: { at: self.earlyAt }, deadline: { at: self.lateAt }
     calculate: [
       { target: refund, op: "subtract", base: { field: self.held.balance }, subtract: [{ field: self.deposit }] }
       { target: retainedMargin, op: "subtract", base: { field: self.deposit }, subtract: [{ field: self.middlePenalty }] }
@@ -73,7 +72,7 @@ instrument booking(package: ref<travel.package>, buyer: party, supplier: party,
     moves self.retainedNet from self.held to programOperator
   }
   action cancel_late {
-    from: [deposit_paid, paid], to: cancelled, actor: caller, due: { at: self.lateAt }
+    from: [deposit_paid, paid], to: cancelled, actor: { party: buyer }, due: { at: self.lateAt }
     calculate: [
       { target: retainedMargin, op: "subtract", base: { field: self.held.balance }, subtract: [{ field: self.latePenalty }] }
       { target: retainedTax, op: "rate", base: { field: self.retainedMargin }, bps: { literal: tax }, rounding: "floor" }

package/std/wallet.hsx

@@ -30,12 +30,12 @@ instrument spend(wallet: ref<wallet.balance>, payee: party) {
     requires self.amount <= self.wallet.spendLimit
   }
   action reserve {
-    from: pending, to: reserved
+    from: pending, to: reserved, actor: { party: payee }
     requires self.wallet in [active]
     deadline: { at: self.expiresAt }
     moves reserve self.amount from self.wallet.held to payee capture "reservation"
   }
-  action pay { from: reserved, to: paid, moves post self.reservation }
-  action cancel { from: reserved, to: cancelled, moves void self.reservation }
+  action pay { from: reserved, to: paid, actor: { party: payee }, moves post self.reservation }
+  action cancel { from: reserved, to: cancelled, actor: { party: payee }, moves void self.reservation }
   action expire { from: reserved, to: expired, actor: clock, due: { at: self.expiresAt }, moves void self.reservation }
 }

package/std/approvals.hsx

@@ -1,17 +0,0 @@
-header approvals
-
-instrument decision(for: ref, approved_by: approval, action: text = "approve", protected_request: text = "self.target") {
-  summary: "One authenticated decision bound to an immutable target and expiry."
-  fields { target: ref<for>, expiresAt: date }
-  lifecycle { states: [pending, approved, declined, expired], initial: pending }
-  action create {}
-  action approve {
-    from: pending, to: approved, actor: { party: approved_by }, deadline: { at: self.expiresAt }
-    approval: { protectedRequest: protected_request, target: self.target, action: action, party: approved_by, expires: self.expiresAt, input: "material", decision: "approved" }
-  }
-  action decline {
-    from: pending, to: declined, actor: { party: approved_by }, deadline: { at: self.expiresAt }
-    approval: { protectedRequest: protected_request, target: self.target, action: action, party: approved_by, expires: self.expiresAt, input: "material", decision: "declined" }
-  }
-  action expire { from: pending, to: expired, actor: clock, due: { at: self.expiresAt } }
-}