test(abi): wire airborne step-state contract test

Adds the ABS step-state contract test runner to both \`just test\`
and a dedicated \`just test-contract\` recipe, and registers the
new Layout.AirborneSubmarineSquadron module in typed-wasm.ipkg so
the contract's referenced types are part of the build surface.

Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com>

Author: hyperpolymath

Justfile

@@ -100,6 +100,9 @@ test *args:
     rescript build
     node tests/parser/ParserTests.mjs
     @echo ""
+    @echo "Running contract tests..."
+    node tests/contracts/airborne-step-state-contract.mjs
+    @echo ""
     @echo "Running Zig FFI tests..."
     cd ffi/zig && zig build test
     @echo ""
@@ -119,6 +122,11 @@ test-smoke:
     rescript build
     node tests/smoke/e2e-smoke.mjs
 
+# ABI contract tests
+test-contract:
+    @echo "Running ABI contract tests..."
+    node tests/contracts/airborne-step-state-contract.mjs
+
 # End-to-end test surface
 test-e2e:
     @echo "Running end-to-end tests..."

src/abi/typed-wasm.ipkg

@@ -25,3 +25,4 @@ modules = TypedWasm.ABI.Region
         , Layout.Types
         , Layout.ABI
         , Layout.Stdlib
+        , Layout.AirborneSubmarineSquadron