mAIner: cap submittedResponses, remove dead stable lists, fix postupgrade penalty, guard pullNextChallenge

src/common/Types.mo

@@ -63,6 +63,12 @@ module Types {
     public type NatResult = Result<Nat, ApiError>;
     public type TextResult = Result<Text, ApiError>;
     //-------------------------------------------------------------------------
+    public type CycleBalanceRecord = {
+        cycleBalance : Nat;          // Cycles.balance() at query time
+        officialCyclesBalance : Nat; // The mAIner's tracked official baseline
+    };
+    public type CycleBalanceResult = Result<CycleBalanceRecord, ApiError>;
+    //-------------------------------------------------------------------------
     public type GameStateTresholds = {
         thresholdArchiveClosedChallenges : Nat;
         thresholdMaxOpenChallenges : Nat;

src/mAIner/README.md

@@ -6,7 +6,8 @@
 make docker-build-base
 make docker-build-wasm
 
-# Deploy the pre-built wasm
+# Deploy the pre-built wasm for ShareService
+# See also `smoketest` target in Makefile
 # Note: Post-SNS, this step is replaced with SNS governed deployment.
 dfx canister --network $NETWORK stop mainer_service_canister
 dfx canister --network $NETWORK snapshot create mainer_service_canister
@@ -19,6 +20,16 @@ dfx canister --network $NETWORK start mainer_service_canister
 make docker-verify-wasm VERIFY_NETWORK=$NETWORK
 ```
 
+# Deploy the pre-built wasm for mainer_ctrlb_canister_0, for testing
+# See also `smoketest` target in Makefile
+dfx canister --network $NETWORK stop mainer_ctrlb_canister_0
+dfx canister --network $NETWORK snapshot create mainer_ctrlb_canister_0
+dfx canister install --wasm out/mainer_service_canister.wasm \
+    --network $NETWORK --mode upgrade --wasm-memory-persistence keep \
+    mainer_ctrlb_canister_0
+dfx canister --network $NETWORK start mainer_ctrlb_canister_0
+```
+
 # Available Makefile targets
 
 ```bash