[spec] Add a sync script for wasm-latest

Author: rossberg

specification/Makefile

@@ -37,7 +37,13 @@ check-all: check-1.0 check-2.0 check-3.0 check-latest
 	@echo All Wasm specs checked OK.
 
 check-diff:
-	./diff-wasm-latest.sh
+	bash ./diff-wasm-latest.sh
+
+
+# Sync
+
+sync-diff:
+	bash ./sync-wasm-latest.sh
 
 
 # Build

specification/diff-wasm-latest.sh

@@ -1,9 +1,10 @@
 #!/bin/bash
 
 # Identify the highest versioned directory
-HIGHEST_VER=$(ls -d wasm-[0-9]* 2>/dev/null | sort -V | tail -n 1)
+HIGHEST=$(ls -d wasm-[0-9]* 2>/dev/null | sort -V | tail -n 1)
 
-if [ -z "$HIGHEST_VER" ]; then
+# Check that a highest version exists
+if [ -z "$HIGHEST" ]; then
     echo "❌ Error: No wasm-X.Y versioned directories found in specification/"
     exit 1
 fi
@@ -17,14 +18,14 @@ if [ ! -d "$LATEST" ]; then
 fi
 
 # Diff the highest version with wasm-latest and check that the diff is empty
-echo "Checking for differences between $HIGHEST_VER and $LATEST..."
+echo "Checking for differences between $HIGHEST and $LATEST..."
 
-if diff -qr "$HIGHEST_VER" "$LATEST" > /dev/null; then
+if diff -qr "$HIGHEST" "$LATEST" > /dev/null; then
     echo "✅ Success: Contents match. No changes needed."
 else
     echo "🔍 Differences detected:"
     echo "--------------------------------"
-    diff -U0 -r "$HIGHEST_VER" "$LATEST"
+    diff -U0 -r "$HIGHEST" "$LATEST"
     echo "--------------------------------"
     exit 1
 fi

specification/sync-wasm-latest.sh

@@ -0,0 +1,64 @@
+#!/bin/bash
+
+# Identify the highest versioned directory
+HIGHEST=$(ls -d wasm-[0-9]* 2>/dev/null | sort -V | tail -n 1)
+
+# Check that highest exists
+if [ -z "$HIGHEST" ]; then
+    echo "❌ Error: No wasm-X.Y versioned directories found in specification/"
+    exit 1
+fi
+
+LATEST="wasm-latest"
+
+# Check that wasm-latest exists
+if [ ! -d "$LATEST" ]; then
+    echo "❌ Error: $LATEST does not exist."
+    exit 1
+fi
+
+# Sync the highest version with wasm-latest, depending on which is newer
+echo "Synchronizing $HIGHEST with $LATEST..."
+
+HIGHEST_FILES=$(cd $HIGHEST && ls *.spectec)
+LATEST_FILES=$(cd $LATEST && ls *.spectec)
+
+LATEST_CHANGED=0
+HIGHEST_CHANGED=0
+
+for FILE in $HIGHEST_FILES; do
+    if [ ! -f "$LATEST/$FILE" ]; then
+        echo "Added file $HIGHEST/$FILE"
+        ((++HIGHEST_CHANGED))
+    elif [ "$HIGHEST/$FILE" -nt "$LATEST/$FILE" ] && ! diff -q "$HIGHEST/$FILE" "$LATEST/$FILE" >/dev/null; then
+        echo "Modified file $HIGHEST/$FILE"
+        ((++HIGHEST_CHANGED))
+    fi
+done
+
+for FILE in $LATEST_FILES; do
+    if [ ! -f "$HIGHEST/$FILE" ]; then
+        echo "Added file $LATEST/$FILE"
+        ((++LATEST_CHANGED))
+    elif [ "$LATEST/$FILE" -nt "$HIGHEST/$FILE" ] && ! diff -q "$HIGHEST/$FILE" "$LATEST/$FILE" >/dev/null; then
+        echo "Modified file $LATEST/$FILE"
+        ((++LATEST_CHANGED))
+    fi
+done
+
+if [ $LATEST_CHANGED -gt 0 ] && [ $HIGHEST_CHANGED -gt 0 ]; then
+    echo "❌ Error: Changes in both $HIGHEST and $LATEST."
+    exit 1
+fi
+
+for FILE in $HIGHEST_FILES; do
+    if [ ! -f "$LATEST/$FILE" ] || ([ "$HIGHEST/$FILE" -nt "$LATEST/$FILE" ] && ! diff -q "$HIGHEST/$FILE" "$LATEST/$FILE" >/dev/null); then
+        cp "$HIGHEST/$FILE" "$LATEST/$FILE"
+    fi
+done
+
+for FILE in $LATEST_FILES; do
+    if [ ! -f "$HIGHEST/$FILE" ] || ([ "$LATEST/$FILE" -nt "$HIGHEST/$FILE" ] && ! diff -q "$HIGHEST/$FILE" "$LATEST/$FILE" >/dev/null); then
+        cp "$LATEST/$FILE" "$HIGHEST/$FILE"
+    fi
+done