Fix: Latest fix

.github/workflows/deploy-verify.yml

@@ -0,0 +1,32 @@
+name: Deployment Verification
+
+on:
+  push:
+    branches: [master, main]
+    paths:
+      - 'src/commands/deploy*.rs'
+      - 'src/utils/deploy*.rs'
+      - 'src/utils/deployment_verify.rs'
+  pull_request:
+    paths:
+      - 'src/commands/deploy*.rs'
+      - 'src/utils/deploy*.rs'
+      - 'src/utils/deployment_verify.rs'
+
+jobs:
+  deploy-verify:
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v4
+
+      - name: Install Rust toolchain
+        uses: dtolnay/rust-toolchain@stable
+
+      - name: Install system dependencies
+        run: sudo apt-get update && sudo apt-get install -y libudev-dev
+
+      - name: Build starforge
+        run: cargo build --locked
+
+      - name: Run deployment verification tests
+        run: cargo test --locked deployment_verify network_sim bridge -- --nocapture

.github/workflows/verify.yml

@@ -0,0 +1,46 @@
+name: Formal Verification
+
+on:
+  push:
+    branches: [master, main]
+    paths:
+      - '**.rs'
+      - '**.wasm'
+      - 'Cargo.toml'
+      - 'Cargo.lock'
+  pull_request:
+    paths:
+      - '**.rs'
+      - '**.wasm'
+      - 'Cargo.toml'
+      - 'Cargo.lock'
+
+jobs:
+  verify:
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v4
+
+      - name: Install Rust toolchain
+        uses: dtolnay/rust-toolchain@stable
+
+      - name: Install system dependencies
+        run: sudo apt-get update && sudo apt-get install -y libudev-dev
+
+      - name: Build starforge
+        run: cargo build --locked
+
+      - name: Run formal verification (if WASM artifact exists)
+        run: |
+          WASM="target/wasm32-unknown-unknown/release/contract.wasm"
+          if [ -f "$WASM" ]; then
+            cargo run -- verify run \
+              --wasm "$WASM" \
+              --contract my-contract \
+              --network testnet \
+              --fail-on-critical true
+            cargo run -- verify report --contract my-contract
+          else
+            echo "No WASM artifact found — skipping on-chain verification run"
+            cargo run -- verify ci --platform github --contract my-contract
+          fi

PR_DESCRIPTION.md

@@ -1,171 +1,52 @@
-# Implement Contract Testing Automation, Social Features, Documentation Portal, and Deployment Orchestration
-
-This PR implements four major features for the StarForge project:
-
-## Summary of Changes
-
-### 1. Contract Testing Automation (#398 D-61)
-- **Test Case Generation**: Automated test case generation from contract source code
-- **Parallel Test Execution**: Multi-threaded test runner with configurable worker count
-- **Coverage Analysis**: Comprehensive coverage reporting including lines, functions, and branches
-- **Result Aggregation**: Centralized test result collection and reporting
-- **Failure Analysis**: Detailed failure analysis with suggested fixes
-- **Reporting Dashboard**: HTML, JSON, and JUnit report generation
-
-**Files Added:**
-- `src/utils/test_automation.rs` - Core testing automation infrastructure
-- Updated `src/commands/test.rs` - Added test generation and parallel execution flags
-- Updated `src/utils/mod.rs` - Added test_automation module
-
-**Usage:**
-```bash
-starforge test --wasm contract.wasm --generate --parallel --workers 4 --contract-path ./src
-```
-
----
-
-### 2. Contract Social Features and Collaboration (#402 D-54)
-- **Team Collaboration**: Create and manage teams with role-based access control
-- **Code Review Workflows**: Full code review system with comments, approvals, and status tracking
-- **Contract Sharing**: Share contracts with configurable permissions (read/write/admin)
-- **Community Discussion**: Discussion threads with voting and replies
-- **Contribution Tracking**: Track contributions with point-based reputation system
-- **Social Reputation**: Leaderboard and badge system for community recognition
-
-**Files Added:**
-- `src/utils/social.rs` - Social features and collaboration infrastructure
-- `src/commands/social.rs` - CLI commands for social features
-- Updated `src/commands/mod.rs` - Added social module
-- Updated `src/main.rs` - Added social command routing
-
-**Usage:**
-```bash
-starforge social team create my-team --description "My development team" --wallet alice
-starforge social review create repo-id contract-id "Review title" "Description" --wallet alice --required-approvals 2
-starforge social discussion share contract-id "Discussion title" "Content" --wallet alice
-starforge social contribution record --wallet alice --contract-id C... --contribution-type code_commit --description "Fixed bug" --points 10
-starforge social leaderboard --limit 10
-```
-
----
-
-### 3. Contract Documentation Portal (#408 D-60)
-- **Documentation Generation**: Auto-generate documentation from WASM files
-- **Interactive API Explorer**: HTML portal with search and filtering
-- **Usage Examples**: Add and display usage examples for contracts
-- **Documentation Hosting**: Local documentation storage and indexing
-- **Search Functionality**: Full-text search across documented contracts
-- **Documentation Versioning**: Version control for documentation with changelogs
-
-**Files Added:**
-- `src/utils/documentation.rs` - Documentation generation and portal infrastructure
-- `src/commands/docs.rs` - CLI commands for documentation management
-- Updated `src/commands/mod.rs` - Added docs module
-- Updated `src/main.rs` - Added docs command routing
-
-**Usage:**
-```bash
-starforge docs generate --wasm contract.wasm --contract-id C... --name "My Contract" --description "Description" --wallet alice
-starforge docs search "token"
-starforge docs view C... --format html --output contract.html
-starforge docs portal --output ./docs-portal
-starforge docs version create C... --version 2.0.0 --changelog "Added new features"
-```
-
----
-
-### 4. Contract Deployment Orchestration (#394 D-57)
-- **Orchestration Engine**: Design and implementation of deployment orchestration system
-- **Dependency Resolution**: Topological sorting for deployment order calculation
-- **Deployment Ordering**: Automatic deployment order based on dependencies
-- **Rollback Orchestration**: Automated rollback with reverse deployment order
-- **State Management**: Track deployment state and execution history
-- **Orchestration Visualization**: Generate dependency graphs and execution timelines
-
-**Files Added:**
-- `src/utils/orchestration.rs` - Deployment orchestration infrastructure
-- `src/commands/orchestrate.rs` - CLI commands for orchestration
-- Updated `src/commands/mod.rs` - Added orchestrate module
-- Updated `src/main.rs` - Added orchestrate command routing
-
-**Usage:**
-```bash
-starforge orchestrate create my-plan --description "Multi-contract deployment"
-starforge orchestrate add-contract plan-id --name "Token" --wasm token.wasm --network testnet --wallet alice
-starforge orchestrate add-dependency plan-id token-contract-id depends-on base-contract-id
-starforge orchestrate finalize plan-id
-starforge orchestrate execute plan-id
-starforge orchestrate rollback execution-id
-starforge orchestrate visualize plan-id --format dot --output graph.dot
-```
-
----
-
-## Testing
-
-All features include:
-- Comprehensive error handling
-- Input validation
-- Status reporting
-- File system operations with proper error handling
-- JSON serialization/deserialization for persistence
-
-## Acceptance Criteria Met
-
-### #398 D-61: Contract Testing Automation
-- ✅ Test case generation works
-- ✅ Parallel execution
-- ✅ Coverage analysis
-- ✅ Result aggregation
-- ✅ Failure analysis
-- ✅ Reporting dashboard
-
-### #402 D-54: Contract Social Features and Collaboration
-- ✅ Team collaboration works
-- ✅ Code review workflows functional
-- ✅ Contract sharing mechanisms
-- ✅ Community discussion tools
-- ✅ Contribution tracking
-- ✅ Reputation system
-
-### #408 D-60: Contract Documentation Portal
-- ✅ Documentation generation works
-- ✅ Interactive API explorer
-- ✅ Usage examples
-- ✅ Documentation hosting
-- ✅ Search functionality
-- ✅ Documentation versioning
-
-### #394 D-57: Contract Deployment Orchestration
-- ✅ Orchestration engine works
-- ✅ Dependency resolution
-- ✅ Deployment ordering
-- ✅ Rollback orchestration
-- ✅ State management
-- ✅ Orchestration visualization
-
----
-
-## Breaking Changes
-
-No breaking changes. All new features are additive and do not modify existing functionality.
-
-## Dependencies Added
-
-All dependencies are already present in the project:
-- `serde` and `serde_json` for serialization
-- `chrono` for timestamps
-- `uuid` for unique identifiers
-- `dirs` for home directory access
-- `anyhow` for error handling
-
-## Checklist
-
-- [x] Code follows project style guidelines
-- [x] All new files added to module system
-- [x] Commands integrated into main CLI
-- [x] Error handling implemented
-- [x] Documentation comments added
-- [x] Acceptance criteria met for all tasks
-
-Closes #398, Closes #402, Closes #408, Closes #394
+## Summary
+
+This PR adds four major capabilities to StarForge: a local network simulation environment, cross-chain bridge support, formal verification integration, and an automated deployment verification system.
+
+### #337 — Network Simulation and Testing Environment
+
+- Added `src/utils/network_sim.rs` — deterministic in-memory ledger simulator with seeded execution
+- Added `starforge simulate` CLI with subcommands: `run`, `snapshot`, `restore`, `time`, `fail`, `scenario`, `list`
+- Supports state snapshot/restore, virtual time and ledger control, failure injection, and built-in test scenarios
+- Integration tests in `tests/network_simulation.rs`
+
+### #390 — Cross-Chain Bridge Support
+
+- Added `src/utils/bridge/` module (providers, routes, security, state sync, monitoring)
+- Added `starforge bridge` CLI with subcommands: `transfer`, `status`, `routes`, `configure`, `sync`, `verify`, `monitor`, `history`
+- Bridge config and transfer history persisted under `~/.starforge/bridge/`
+- Integration tests in `tests/bridge_integration.rs`
+
+### #389 — Contract Formal Verification Integration
+
+- Wired existing `starforge verify` command into the CLI (`main.rs`)
+- Added `verify visualize` for ASCII chart visualization of verification results
+- Added `.github/workflows/verify.yml` for continuous verification in CI
+- Existing harness generation, property specs, run/report, and CI snippet generation are now accessible
+
+### #369 — Contract Deployment Verification System
+
+- Added `src/utils/deployment_verify.rs` — automated bytecode, storage layout, and functionality checks
+- Extended `starforge deployments verify` with `--report` and `--json` flags
+- Added `deployments report` and `deployments ci` subcommands
+- Verification reports saved to `~/.starforge/deploy_verify/`
+- Added `.github/workflows/deploy-verify.yml`
+- Integration tests in `tests/deployment_verification.rs`
+
+## Test plan
+
+- [ ] `starforge simulate list` — lists built-in scenarios
+- [ ] `starforge simulate scenario --name basic-deploy-invoke` — runs deterministic scenario
+- [ ] `starforge simulate fail --mode timeout` — confirms failure injection
+- [ ] `starforge bridge routes` — lists available cross-chain routes
+- [ ] `starforge bridge verify --source stellar-testnet --dest ethereum-sepolia --amount 1000000 --sender G... --recipient 0x...` — security checks
+- [ ] `starforge verify harness --wasm <path>` — generates verification harness
+- [ ] `starforge verify property add/list` — property registry
+- [ ] `starforge verify visualize --contract <name>` — ASCII result chart
+- [ ] `starforge deployments verify --id <id> --save --report` — full deployment verification
+- [ ] `starforge deployments report --id <id>` — shows saved report
+- [ ] `cargo test network_simulation bridge_integration deployment_verification`
+
+closes #337
+closes #390
+closes #389
+closes #369