docs: start outlining test plan per contract

Author: whoabuddy

docs/smart-contract-test-plan.md

@@ -0,0 +1,48 @@
+# aibtc smart contract test plan
+
+All tests will be created with and executed using the Clarinet JS SDK.
+
+## Base DAO
+
+set-extension() fails if caller is not DAO or extension
+set-extensions() fails if caller is not DAO or extension
+execute() fails if caller is not DAO or extension
+construct() fails when called by an account that is not the deployer
+construct() fails when initializing the DAO with bootstrap proposal a second time
+construct() succeeds when initializing the DAO with bootstrap proposal
+request-extension-callback() fails if caller is not an extension
+request-extension-callback() succeeds and calls an extension
+
+is-extension() succeeds and returns false with unrecognized extension
+is-extension() succeeds and returns true for active extensions
+executed-at() succeeds and returns none with unrecognized proposal
+executed-at() succeeds and returns the Bitcoin block height the proposal was executed
+
+## Extensions
+
+### consensus
+
+execute() fails if proposal has already been executed via vote execute
+
+### Bank Account
+
+set-account-holder() fails if caller is not DAO or extension
+set-account-holder() succeeds and sets the account holder to a standard principal
+set-account-holder() succeeds and sets the account holder to a contract principal
+
+set-withdrawal-period() fails if caller is not DAO or extension
+set-withdrawal-period() fails if value is set to 0
+set-withdrawal-period() succeeds and sets the withdrawal period
+
+set-withdrawal-amount() fails if caller is not DAO or extension
+set-withdrawal-amount() fails if value is set to 0
+set-withdrawal-amount() succeeds and sets the withdrawal amount
+
+override-last-withdrawal-block() fails if caller is not DAO or extension
+override-last-withdrawal-block() fails if value is set to 0
+override-last-withdrawal-block() fails if value is set less than deployed height
+override-last-withdrawal-block() succeeds and sets the withdrawal block
+
+get-account-terms() succeeds and returns expected values
+
+## Proposals