Refactor Constraint Machine

build.gradle

@@ -124,13 +124,11 @@ subprojects {
         tasks.named("checkstyleMain") { 
             configFile = rootProject.file('config/checkstyle/checkstyle.xml')
             exclude "**/org/radix/**/*.java"
-            exclude "**/examples/**/*.java"
         }
 
         tasks.named("checkstyleTest") { 
             configFile = rootProject.file('config/checkstyle/checkstyle_test.xml')
             exclude "**/org/radix/**/*.java"
-            exclude "**/examples/**/*.java"
         }
     }
 

radixdlt-core/radixdlt/src/main/java/com/radixdlt/application/NodeApplication.java

@@ -70,7 +70,7 @@ private void processRequest(NodeApplicationRequest request) {
 			this.inflightRequests.put(txn.getId(), request);
 			this.mempoolAddEventDispatcher.dispatch(MempoolAdd.create(txn));
 		} catch (TxBuilderException e) {
-			log.error("Faucet failed to fulfil request {}", request);
+			log.error("Failed to fulfil request {} reason: {}", request, e.getMessage());
 			request.onFailure(null, e.getMessage());
 		}
 	}

radixdlt-core/radixdlt/src/main/java/com/radixdlt/application/NodeApplicationRequest.java

@@ -71,4 +71,9 @@ public void onSuccess(Txn txn, AID aid) {
 	public void onFailure(Txn txn, String errorMessage) {
 		onError.accept(txn, errorMessage);
 	}
+
+	@Override
+	public String toString() {
+		return String.format("%s{%s}", this.getClass().getSimpleName(), this.actions);
+	}
 }

radixdlt-core/radixdlt/src/main/java/com/radixdlt/chaos/mempoolfiller/MempoolFiller.java

@@ -134,7 +134,7 @@ public EventProcessor<ScheduledMempoolFill> scheduledMempoolFillEventProcessor()
 
 			var actions = TxActionListBuilder.create()
 				.splitNative(nativeToken, fee.multiply(UInt256.TWO))
-				.burnNative(nativeToken, fee)
+				.burn(nativeToken, fee)
 				.build();
 
 			var shuttingDown = radixEngineMempool.getShuttingDownSubstates();

radixdlt-core/radixdlt/src/main/java/com/radixdlt/client/store/ActionEntry.java

@@ -50,10 +50,6 @@ private ActionEntry(ActionType type, RadixAddress from, RadixAddress to, UInt256
 
 	public static ActionEntry create(ActionType type, RadixAddress from, RadixAddress to, UInt256 amount, RRI rri) {
 		requireNonNull(type);
-		requireNonNull(from);
-		requireNonNull(to);
-		requireNonNull(amount);
-		requireNonNull(rri);
 		return new ActionEntry(type, from, to, amount, rri);
 	}
 

radixdlt-core/radixdlt/src/main/java/com/radixdlt/client/store/ClientApiStore.java

@@ -22,7 +22,7 @@
 import com.radixdlt.identifiers.AID;
 import com.radixdlt.identifiers.RRI;
 import com.radixdlt.identifiers.RadixAddress;
-import com.radixdlt.utils.UInt256;
+import com.radixdlt.utils.UInt384;
 import com.radixdlt.utils.functional.Result;
 
 import java.time.Instant;
@@ -55,7 +55,7 @@ public interface ClientApiStore {
 	 *
 	 * @return eventually consistent token supply
 	 */
-	Result<UInt256> getTokenSupply(RRI rri);
+	Result<UInt384> getTokenSupply(RRI rri);
 
 	/**
 	 * Retrieve token definition. Note that for mutable supply tokens supply is returned zero.

radixdlt-core/radixdlt/src/main/java/com/radixdlt/client/store/ParticleWithSpin.java

@@ -17,7 +17,7 @@
 
 package com.radixdlt.client.store;
 
-import com.radixdlt.constraintmachine.ParsedInstruction;
+import com.radixdlt.constraintmachine.REParsedInstruction;
 import com.radixdlt.constraintmachine.Particle;
 import com.radixdlt.constraintmachine.Spin;
 
@@ -32,8 +32,8 @@ private ParticleWithSpin(Particle particle, Spin spin) {
 		this.spin = spin;
 	}
 
-	public static ParticleWithSpin create(ParsedInstruction instruction) {
-		return create(instruction.getParticle(), instruction.getSpin());
+	public static ParticleWithSpin create(REParsedInstruction instruction) {
+		return create(instruction.getParticle(), instruction.getNextSpin());
 	}
 
 	public static ParticleWithSpin up(Particle particle) {

radixdlt-core/radixdlt/src/main/java/com/radixdlt/client/store/TokenBalance.java

@@ -17,6 +17,7 @@
 
 package com.radixdlt.client.store;
 
+import com.radixdlt.utils.UInt384;
 import org.json.JSONObject;
 
 import com.fasterxml.jackson.annotation.JsonCreator;
@@ -27,7 +28,6 @@
 import com.radixdlt.serialization.SerializerConstants;
 import com.radixdlt.serialization.SerializerDummy;
 import com.radixdlt.serialization.SerializerId2;
-import com.radixdlt.utils.UInt256;
 
 import java.util.Objects;
 
@@ -47,15 +47,15 @@ public class TokenBalance {
 
 	@JsonProperty("amount")
 	@DsonOutput(DsonOutput.Output.ALL)
-	private final UInt256 amount;
+	private final UInt384 amount;
 
-	private TokenBalance(RRI rri, UInt256 amount) {
+	private TokenBalance(RRI rri, UInt384 amount) {
 		this.rri = rri;
 		this.amount = amount;
 	}
 
 	@JsonCreator
-	public static TokenBalance create(RRI rri, UInt256 amount) {
+	public static TokenBalance create(RRI rri, UInt384 amount) {
 		requireNonNull(rri);
 		requireNonNull(amount);
 
@@ -70,7 +70,7 @@ public RRI getRri() {
 		return rri;
 	}
 
-	public UInt256 getAmount() {
+	public UInt384 getAmount() {
 		return amount;
 	}