fix: remove no-op validate_address and document rationale

.github/workflows/contract-ci.yml

@@ -0,0 +1,131 @@
+name: Rust Smart Contract CI
+
+on:
+  push:
+    branches:
+      - main
+    paths:
+      - 'Cargo.toml'
+      - 'Cargo.lock'
+      - 'src/**'
+      - 'rust-toolchain.toml'
+      - '.github/workflows/contract-ci.yml'
+  pull_request:
+    branches:
+      - main
+    paths:
+      - 'Cargo.toml'
+      - 'Cargo.lock'
+      - 'src/**'
+      - 'rust-toolchain.toml'
+      - '.github/workflows/contract-ci.yml'
+
+env:
+  CARGO_TERM_COLOR: always
+  RUST_BACKTRACE: 1
+
+jobs:
+  test:
+    name: Test Suite
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v4
+
+      - name: Install Rust toolchain
+        uses: dtolnay/rust-toolchain@stable
+        with:
+          toolchain: stable
+
+      - name: Cache cargo registry
+        uses: actions/cache@v4
+        with:
+          path: ~/.cargo/registry
+          key: ${{ runner.os }}-cargo-registry-${{ hashFiles('**/Cargo.lock') }}
+
+      - name: Cache cargo index
+        uses: actions/cache@v4
+        with:
+          path: ~/.cargo/git
+          key: ${{ runner.os }}-cargo-git-${{ hashFiles('**/Cargo.lock') }}
+
+      - name: Cache cargo build
+        uses: actions/cache@v4
+        with:
+          path: target
+          key: ${{ runner.os }}-cargo-build-target-${{ hashFiles('**/Cargo.lock') }}
+
+      - name: Run tests
+        run: cargo test --verbose
+        continue-on-error: false
+
+  build-wasm:
+    name: Build WASM Binary
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v4
+
+      - name: Install Rust toolchain
+        uses: dtolnay/rust-toolchain@stable
+        with:
+          toolchain: stable
+          targets: wasm32-unknown-unknown
+
+      - name: Cache cargo registry
+        uses: actions/cache@v4
+        with:
+          path: ~/.cargo/registry
+          key: ${{ runner.os }}-cargo-registry-${{ hashFiles('**/Cargo.lock') }}
+
+      - name: Cache cargo index
+        uses: actions/cache@v4
+        with:
+          path: ~/.cargo/git
+          key: ${{ runner.os }}-cargo-git-${{ hashFiles('**/Cargo.lock') }}
+
+      - name: Cache cargo build
+        uses: actions/cache@v4
+        with:
+          path: target
+          key: ${{ runner.os }}-cargo-wasm-build-target-${{ hashFiles('**/Cargo.lock') }}
+
+      - name: Build WASM (Release)
+        run: cargo build --target wasm32-unknown-unknown --release --verbose
+
+      - name: Get WASM binary size
+        id: wasm-size
+        run: |
+          WASM_SIZE=$(stat -f%z "target/wasm32-unknown-unknown/release/swiftremit.wasm" 2>/dev/null || stat -c%s "target/wasm32-unknown-unknown/release/swiftremit.wasm" 2>/dev/null || echo "0")
+          WASM_SIZE_KB=$(echo "scale=2; $WASM_SIZE / 1024" | bc)
+          echo "size_bytes=$WASM_SIZE" >> $GITHUB_OUTPUT
+          echo "size_kb=$WASM_SIZE_KB" >> $GITHUB_OUTPUT
+
+      - name: Print WASM binary size
+        run: |
+          echo "WASM Binary Size: ${{ steps.wasm-size.outputs.size_kb }} KB (${{ steps.wasm-size.outputs.size_bytes }} bytes)"
+
+      - name: Upload WASM summary
+        uses: actions/github-script@v7
+        with:
+          script: |
+            const fs = require('fs');
+            const wasmSize = ${{ steps.wasm-size.outputs.size_bytes }};
+            const wasmSizeKb = ${{ steps.wasm-size.outputs.size_kb }};
+
+            const summary = `## WASM Build Report\n\n| Metric | Value |\n|--------|-------|\n| Binary Size | ${wasmSizeKb} KB |\n| Binary Size (bytes) | ${wasmSize} bytes |`;
+
+            core.summary.addRaw(summary);
+            await core.summary.write();
+
+  contract-ci:
+    name: Contract CI Status
+    runs-on: ubuntu-latest
+    needs: [test, build-wasm]
+    if: always()
+    steps:
+      - name: Check CI Status
+        run: |
+          if [[ "${{ needs.test.result }}" == "failure" || "${{ needs.build-wasm.result }}" == "failure" ]]; then
+            echo "❌ Contract CI failed"
+            exit 1
+          fi
+          echo "✅ Contract CI passed"

.github/workflows/env-example-validation.yml

@@ -0,0 +1,29 @@
+name: Validate .env.example Files
+
+on:
+  push:
+    branches: [main]
+    paths:
+      - '**/.env.example'
+      - 'scripts/validate-env-examples.js'
+      - 'backend/src/**'
+      - 'api/src/**'
+      - 'frontend/src/**'
+      - 'examples/**/*.js'
+  pull_request:
+    branches: [main]
+
+jobs:
+  validate:
+    name: Check .env.example sync
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v4
+
+      - name: Setup Node.js
+        uses: actions/setup-node@v4
+        with:
+          node-version: 20.x
+
+      - name: Run validation
+        run: node scripts/validate-env-examples.js

.github/workflows/property-tests.yml

@@ -0,0 +1,51 @@
+name: Rust Property Tests
+
+on:
+  push:
+    branches: [main, "feat/**", "test/**"]
+    paths:
+      - "src/**"
+      - "Cargo.toml"
+      - "Cargo.lock"
+      - ".github/workflows/property-tests.yml"
+  pull_request:
+    branches: [main]
+    paths:
+      - "src/**"
+      - "Cargo.toml"
+      - "Cargo.lock"
+      - ".github/workflows/property-tests.yml"
+
+env:
+  CARGO_TERM_COLOR: always
+  # Reduce proptest cases in CI to keep runs fast while still catching regressions
+  PROPTEST_CASES: 50
+
+jobs:
+  property-tests:
+    name: Property-Based Tests
+    runs-on: ubuntu-latest
+
+    steps:
+      - uses: actions/checkout@v4
+
+      - name: Install Rust toolchain
+        uses: dtolnay/rust-toolchain@stable
+        with:
+          targets: wasm32-unknown-unknown
+
+      - name: Cache Cargo registry
+        uses: actions/cache@v4
+        with:
+          path: |
+            ~/.cargo/registry
+            ~/.cargo/git
+            target
+          key: ${{ runner.os }}-cargo-${{ hashFiles('Cargo.lock') }}
+          restore-keys: ${{ runner.os }}-cargo-
+
+      - name: Run property tests (invariants)
+        run: cargo test test_invariants -- --nocapture
+
+      - name: Run all property tests
+        run: cargo test prop_ -- --nocapture

.gitignore

@@ -3,22 +3,12 @@ Cargo.lock
 *.wasm
 *.optimized.wasm
 .soroban/
-<<<<<<< HEAD
-.kiro/settings/
-# scratch/audit workfiles
-*.txt
-
-# Environment variables (may contain secrets)
-.env
-.env.local
-examples/.env
-examples/.env.local
-/node_modules
-=======
 .env
 
 # Frontend
 frontend/node_modules/
 frontend/dist/
 frontend/.env
->>>>>>> 927b448 (chore: local changes before syncing with main)
+backend/node_modules/
+
+.kiro