non-shrinkable proof of concept

StoneCypher · Jul 5, 2022 · 6ea28ba · 6ea28ba
1 parent 86706ce
commit 6ea28ba
Show file tree

Hide file tree

Showing 39 changed files with 77 additions and 171 deletions.
diff --git a/docs/assets/TCP IP.png b/docs/assets/TCP IP.png
diff --git a/docs/assets/atm quick start tutorial/0_EmptyWaiting.png b/docs/assets/atm quick start tutorial/0_EmptyWaiting.png
diff --git a/docs/assets/atm quick start tutorial/1_EjectCard.png b/docs/assets/atm quick start tutorial/1_EjectCard.png
diff --git a/docs/assets/atm quick start tutorial/2_InsertCard.png b/docs/assets/atm quick start tutorial/2_InsertCard.png
diff --git a/docs/assets/atm quick start tutorial/3_ReturnCard.png b/docs/assets/atm quick start tutorial/3_ReturnCard.png
diff --git a/docs/assets/atm quick start tutorial/4_WrongPin.png b/docs/assets/atm quick start tutorial/4_WrongPin.png
diff --git a/docs/assets/atm quick start tutorial/5_RightPin.png b/docs/assets/atm quick start tutorial/5_RightPin.png
diff --git a/docs/assets/atm quick start tutorial/6_CanCheckBalance.png b/docs/assets/atm quick start tutorial/6_CanCheckBalance.png
diff --git a/docs/assets/atm quick start tutorial/7_CanDepositMoney.png b/docs/assets/atm quick start tutorial/7_CanDepositMoney.png
diff --git a/docs/assets/atm quick start tutorial/8_CanWithdrawMoney.png b/docs/assets/atm quick start tutorial/8_CanWithdrawMoney.png
diff --git a/docs/assets/atm quick start tutorial/ncsu atm diagram.gif b/docs/assets/atm quick start tutorial/ncsu atm diagram.gif
diff --git a/docs/assets/bgp.png b/docs/assets/bgp.png
diff --git a/docs/assets/compile time claim.png b/docs/assets/compile time claim.png
diff --git a/docs/assets/doc light styled.png b/docs/assets/doc light styled.png
diff --git a/docs/assets/doc light unstyled.png b/docs/assets/doc light unstyled.png
diff --git a/docs/assets/eMMC transfer mode.png b/docs/assets/eMMC transfer mode.png
diff --git a/docs/assets/editor.png b/docs/assets/editor.png
diff --git a/docs/assets/http 1.0.png b/docs/assets/http 1.0.png
diff --git a/docs/assets/matter states heat cool.png b/docs/assets/matter states heat cool.png
diff --git a/docs/assets/performance 4.5.1 2015 mac.png b/docs/assets/performance 4.5.1 2015 mac.png
diff --git a/docs/assets/ryg proceed.png b/docs/assets/ryg proceed.png
diff --git a/docs/assets/ryg traffic light console screenshot.png b/docs/assets/ryg traffic light console screenshot.png
diff --git a/docs/assets/ryg.png b/docs/assets/ryg.png
diff --git a/docs/assets/sip.png b/docs/assets/sip.png
diff --git a/docs/assets/speed claim.png b/docs/assets/speed claim.png
diff --git a/docs/assets/traffic light quick start tutorial/Off To From RGY.png b/docs/assets/traffic light quick start tutorial/Off To From RGY.png
diff --git a/docs/assets/traffic light quick start tutorial/Off To RGY.png b/docs/assets/traffic light quick start tutorial/Off To RGY.png
diff --git a/docs/assets/traffic light quick start tutorial/Off To Red.png b/docs/assets/traffic light quick start tutorial/Off To Red.png
diff --git a/docs/docs/classes/jssm.Machine.html b/docs/docs/classes/jssm.Machine.html
diff --git a/docs/docs/classes/jssm_error.JssmError.html b/docs/docs/classes/jssm_error.JssmError.html
diff --git a/docs/docs/modules/jssm.html b/docs/docs/modules/jssm.html
diff --git a/docs/docs/modules/jssm_constants.html b/docs/docs/modules/jssm_constants.html
diff --git a/docs/docs/modules/jssm_types._internal_.html b/docs/docs/modules/jssm_types._internal_.html
diff --git a/docs/docs/modules/jssm_types.html b/docs/docs/modules/jssm_types.html
diff --git a/docs/docs/modules/jssm_util.html b/docs/docs/modules/jssm_util.html
diff --git a/docs/docs/modules/version.html b/docs/docs/modules/version.html
diff --git a/docs/index.html b/docs/index.html
diff --git a/docs/typedoc-addon.css b/docs/typedoc-addon.css
diff --git a/src/ts/tests/kitchen_sink_dragon.maximal.ts b/src/ts/tests/kitchen_sink_dragon.maximal.ts
@@ -21,6 +21,13 @@ const sm = jssm.sm;
 
 
 
+class AtomArb extends fc.NextArbitrary<T> {
+
+  generate(mrng, biasFactor): NextValue<T> {
+    mrng.
+  }
+
+};
 
 
 
@@ -66,7 +73,7 @@ describe('Test all the things', () => {
         function r_edgetype_1way() { return choose(['-', '-', '-', '-', '-', '=', '=', '~']); }
         function r_edgetype_2way() { return choose(['-', '-', '-', '-', '-', '=', '=', '~', '-', '-', '-', '-', '-', '=', '=', '~', '-=', '=-', '-~', '~-', '=~', '~-' ]); }
 
-        const has_nodes: Set<string> = new Set();
+        const has_nodes: string[] = [];
 
         let node_cursor = 0;
         function n() { return `n${node_cursor++}`; }
@@ -76,17 +83,35 @@ describe('Test all the things', () => {
               root_edge = shouldHalt? `${r_edgetype_1way()}>` : `<${r_edgetype_2way()}>`,
               [wsl,wsr] = [ ws(), ws() ];
 
-        has_nodes.add(root1);
-        has_nodes.add(root2);
+        has_nodes.push(root1);
+        has_nodes.push(root2);
+
+        let machine_string = `${root1}${wsl}${root_edge}${wsr}${root2};`,
+            nodes_left     = nodes_added;
+
+        let this_loop = '';
+        while (nodes_left) {
 
-        const machine_string = `${root1}${wsl}${root_edge}${wsr}${root2};`;
+          const left         = choose(has_nodes),
+                right        = choose(has_nodes);
 
-//          let machine;
-//              nodes_left  = nodes_added;
+          let this_count  = r_int(nodes_left-1) + 1,
+              prev        = left;
 
-        // while (nodes_left) {
-        //   const this_loop =
-        // }
+          nodes_left -= this_count;
+
+          while (this_count--) {
+            const should_chain = this_count? choose([true, true, false]) : false,
+                  new_node     = n(),
+                  [wsl,wsr]    = [ ws(), ws() ],
+                  arrow        = r_edgetype_1way() + '>';
+            this_loop += `${prev}${wsl}${arrow}${wsr}`;
+            if (should_chain === false) { this_loop += `${new_node};`; }
+            prev       = new_node;
+          }
+          machine_string += this_loop;
+
+        }
 
         let machine;
         try {
@@ -117,7 +142,7 @@ describe('Test all the things', () => {
 
         const sh = `${shouldHalt? '' : 'no '}halt`;
 
-        test(`${`#${nth++}`.padStart(3)}: ${shouldHalt? 'must ' : '  no-'}halt: ${machine_string}`, () => expect(halted).toBe(shouldHalt) );
+        test(`${`#${nth++}`.padStart(3)}: ${shouldHalt? 'must ' : '  no-'}halt: ${machine_string.substring(0,25)}`, () => expect(halted).toBe(shouldHalt) );
 
       }
     )