fixed: gov target in para and deposit return

Author: kenlau666

packages/mesh-contract/src/crowdfund/aiken-workspace-v3/gov-crowdfund/specs/1_spend.md

@@ -3,10 +3,11 @@
 ## Parameter
 
 - `delegate_pool_id`: ByteArray
-- `gov_action`: GovernanceAction
+- `gov_action`: VGovernanceAction
 - `proposer_key_hash`: ByteArray
 - `stake_register_deposit`: Lovelace
 - `drep_register_deposit`: Lovelace
+- `gov_deposit`: Lovelace
 
 ## Datum
 
@@ -35,18 +36,16 @@ pub type Datum {
     start_hash: ByteArray,
     share_token: ByteArray,
     funds_controlled: Int,
-    deadline: Int,
   }
 }
 ```
 
 ## User Action
 
 1. RegisterCerts
-
-   - Only one input and output from current address
+   - Only one input and output from current address with token of policy `start_hash`
      - Input datum in state of `Init`
-     - Output value has deducted with 502 ADA exactly
+     - Output value has deducted with 502 + 100k ADA exactly
      - Output datum in state of `Proposed`
      - fields exactly the same
    - Registering stake cert
@@ -55,32 +54,29 @@ pub type Datum {
    - Propose gov action
 
 2. VoteOnGovAction
-
-   - Only one input and output from current address
+   - Only one input and output from current address with token of policy `start_hash`
      - Input datum in state of `Proposed`
-     - Check output value (deducted by 100k ADA exactly)
      - Output datum in state of `Voted`, with `gov_tx_id` composed by own's input `TransactionId` + `proposal_procedure` as 0
      - fields exactly the same
+   - Voted yes by drep
 
 3. DeregisterCerts
-
+   - collecting 100k ada from reward address to spending address
    - deadline is passed
-   - Only one input and output from current address
+   - Only one input and output from current address with token of policy `start_hash`
      - Input datum in state of `Voted`
      - Output datum in state of `Refundable`
      - fields exactly the same
    - Deregistering both certs
    - Refunds (502ADA) go into the output
 
 4. ContributorWithdrawal
-
+   - Input with token of policy `start_hash`
    - Input datum in state of Refundable
-   - `deadline` is passed
    - The lovelace unlocking from current equal exactly the amount that the `share_token` with token name of `completion_script` is burnt
 
 5. RemoveEmptyInstance
-
+   - Input with token of policy `start_hash`, which is burnt
    - Input datum in state of Refundable
-   - `deadline` is passed
    - share token with token name `completion_script` burning in current tx == `current_fundraised_amount`
    - signed by `proposer_key_hash`

packages/mesh-contract/src/crowdfund/aiken-workspace-v3/gov-crowdfund/validators/spend.ak

@@ -27,6 +27,7 @@ validator spend(
   proposer_key_hash: ByteArray,
   stake_register_deposit: Lovelace,
   drep_register_deposit: Lovelace,
+  gov_deposit: Lovelace,
 ) {
   spend(
     datum_opt: Option<CrowdfundGovDatum>,
@@ -70,7 +71,7 @@ validator spend(
               check_lovelace_diff(
                 only_input,
                 only_output,
-                -(stake_register_deposit + drep_register_deposit + 100000000000),
+                -(stake_register_deposit + drep_register_deposit + gov_deposit),
               )
             expect only_output_datum: CrowdfundGovDatum =
               output_inline_datum(only_output)
@@ -114,8 +115,8 @@ validator spend(
             let proposal_check =
               check_proposal_procedure(
                 proposal_procedures,
-                100000000000,
-                current_address.payment_credential,
+                gov_deposit,
+                Script(start_hash),
                 gov_action,
               )
             lovelace_check? && output_datum_check? && is_only_output_value_clean? && reg_stake_cert_check? && reg_drep_cert_check? && delegate_check? && proposal_check?
@@ -176,7 +177,7 @@ validator spend(
               check_lovelace_diff(
                 only_input,
                 only_output,
-                stake_register_deposit + drep_register_deposit,
+                stake_register_deposit + drep_register_deposit + gov_deposit,
               )
 
             expect only_output_datum: CrowdfundGovDatum =