@turing-machine-js/library-binary-numbers-bare 6.3.0 → 7.0.0-alpha.1

package/CHANGELOG.md

@@ -4,6 +4,22 @@ All notable changes to this project will be documented in this file.
 
 The format is based on [Keep a Changelog](https://keepachangelog.com/en/1.1.0/), and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0.html).
 
+## [6.4.0] - 2026-05-19
+
+Released in lockstep with `@turing-machine-js/machine` 6.4.0. No source or behavior changes in this package.
+
+## [6.3.0] - 2026-05-19
+
+Released in lockstep with `@turing-machine-js/machine` 6.3.0. No source or behavior changes in this package.
+
+## [6.2.0] - 2026-05-19 [SUPERSEDED by 6.3.0]
+
+> ⚠️ **Lockstep release with `@turing-machine-js/machine` 6.2.0**, which was itself superseded by 6.3.0. No source changes in this package. See the engine's [6.2.0 CHANGELOG entry](../machine/CHANGELOG.md) for context.
+
+## [6.1.0] - 2026-05-16
+
+Released in lockstep with `@turing-machine-js/machine` 6.1.0. No source or behavior changes in this package.
+
 ## [6.0.0] - 2026-05-09
 
 ### Changed (BREAKING)

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@turing-machine-js/library-binary-numbers-bare",
-  "version": "6.3.0",
+  "version": "7.0.0-alpha.1",
   "description": "Single-number binary arithmetic on a 3-symbol alphabet (blank, 0, 1) — same operations as @turing-machine-js/library-binary-numbers but without ^/$ markers. Side-by-side with the marker-based library for learning the trade-off.",
   "engines": {
     "npm": ">=7.0.0"
@@ -28,7 +28,7 @@
     "teaching"
   ],
   "peerDependencies": {
-    "@turing-machine-js/machine": "^6.0.0"
+    "@turing-machine-js/machine": "^7.0.0-alpha.1"
   },
   "scripts": {
     "build": "tsc --build --verbose tsconfig.build.json && node ../../scripts/build-node-entries.mjs --package=@turing-machine-js/library-binary-numbers-bare",
@@ -45,5 +45,5 @@
       "default": "./dist/index.mjs"
     }
   },
-  "gitHead": "6be43b1e88c4c562c9c11b495b285ff114f86b37"
+  "gitHead": "0d52695e614d12547ba73992c00cd48732b1e8c1"
 }

package/states.md

@@ -2,62 +2,70 @@
 
 ## plusOne
 
-*3 states (including `haltState`)*
+*3 states; 5 transitions; has cycles*
 
 ```mermaid
 flowchart TD
 %% alphabets: [[" ","0","1"]]
   s0(((halt)))
   s1["plusOneCarry"]
-  s2(("plusOne"))
-  s1 -- "1 → 0/L" --> s1
-  s1 -- "0 → 1/S" --> s0
-  s1 -- "- → 1/S" --> s0
-  s2 -- "0|1 → ·/R" --> s2
-  s2 -- "- → ·/L" --> s1
+  s2["plusOne"]
+  idle([idle])
+  idle -. enter .-> s2
+  s1 -- "['1'] → ['0']/[L]" --> s1
+  s1 -- "['0'] → ['1']/[S]" --> s0
+  s1 -- "[B] → ['1']/[S]" --> s0
+  s2 -- "['0']|['1'] → [K]/[R]" --> s2
+  s2 -- "[B] → [K]/[L]" --> s1
 ```
 
 ## minusOne
 
-*3 states (including `haltState`)*
+*3 states; 5 transitions; has cycles*
 
 ```mermaid
 flowchart TD
 %% alphabets: [[" ","0","1"]]
   s0(((halt)))
   s3["minusOneBorrow"]
-  s4(("minusOne"))
-  s3 -- "0 → 1/L" --> s3
-  s3 -- "1 → 0/S" --> s0
-  s3 -- "- → ·/S" --> s0
-  s4 -- "0|1 → ·/R" --> s4
-  s4 -- "- → ·/L" --> s3
+  s4["minusOne"]
+  idle([idle])
+  idle -. enter .-> s4
+  s3 -- "['0'] → ['1']/[L]" --> s3
+  s3 -- "['1'] → ['0']/[S]" --> s0
+  s3 -- "[B] → [K]/[S]" --> s0
+  s4 -- "['0']|['1'] → [K]/[R]" --> s4
+  s4 -- "[B] → [K]/[L]" --> s3
 ```
 
 ## invertNumber
 
-*2 states (including `haltState`)*
+*2 states; 3 transitions; has cycles*
 
 ```mermaid
 flowchart TD
 %% alphabets: [[" ","0","1"]]
   s0(((halt)))
-  s5(("invertNumber"))
-  s5 -- "0 → 1/R" --> s5
-  s5 -- "1 → 0/R" --> s5
-  s5 -- "- → ·/S" --> s0
+  s5["invertNumber"]
+  idle([idle])
+  idle -. enter .-> s5
+  s5 -- "['0'] → ['1']/[R]" --> s5
+  s5 -- "['1'] → ['0']/[R]" --> s5
+  s5 -- "[B] → [K]/[S]" --> s0
 ```
 
 ## normalizeNumber
 
-*2 states (including `haltState`)*
+*2 states; 3 transitions; has cycles*
 
 ```mermaid
 flowchart TD
 %% alphabets: [[" ","0","1"]]
   s0(((halt)))
-  s6(("normalizeNumber"))
-  s6 -- "0 → ⌫/R" --> s6
-  s6 -- "1 → ·/S" --> s0
-  s6 -- "- → 0/S" --> s0
+  s6["normalizeNumber"]
+  idle([idle])
+  idle -. enter .-> s6
+  s6 -- "['0'] → [E]/[R]" --> s6
+  s6 -- "['1'] → [K]/[S]" --> s0
+  s6 -- "[B] → ['0']/[S]" --> s0
 ```