Resource implementation

.cargo/config.toml

@@ -1,6 +1,3 @@
-[alias]
-xtask = "run --package xtask --quiet --" 
-
 [build]
 # Configure rustflags for different build operations
 
@@ -10,4 +7,7 @@ rustflags = ["--cfg=coverage"]
 
 # For llvm-cov, define a "coverage" flag to disable problematic modules
 [target.'cfg(llvm_coverage)']
-rustflags = ["--cfg=coverage"] 
+rustflags = ["--cfg=coverage"]
+
+[env]
+RUSTFMT = { value = "/Users/r/git/wrt2/rustfmt-local", force = true } 

.clippy.toml

@@ -1,20 +1,25 @@
-# Fixed clippy config
-warn-on-all-wildcard-imports = true
-doc-valid-idents = ["WebAssembly", "WASI"]
+# Clippy configuration for PulseEngine code quality
 
-# Lint configurations
-msrv = "1.86.0"  # Minimum supported Rust version
+# Enforce documentation
+missing-docs-in-crate-items = true
 
-# Clippy is strict about the following lints
+# MSRV (Minimum Supported Rust Version)
+msrv = "1.75.0"
+
+# Cognitive complexity threshold
 cognitive-complexity-threshold = 30
-type-complexity-threshold = 500
-too-many-arguments-threshold = 10
-too-many-lines-threshold = 500
 
-# Explicitly disallow some patterns
-disallowed-names = []
-disallowed-methods = []
-disallowed-types = []
+# Function size limits
+too-many-lines-threshold = 100
+
+# Type complexity
+type-complexity-threshold = 250
+
+# Disallowed names
+disallowed-names = ["foo", "bar", "baz", "quux"]
+
+# Allow some common patterns in no_std
+allow-expect-in-tests = true
+allow-unwrap-in-tests = true
 
-# Documentation checks
-missing-docs-in-crate-items = true  # Instead of missing-docs-in-private-items
+# Note: undocumented-unsafe-blocks lint not available in current Rust version

.githooks/pre-commit

@@ -0,0 +1,59 @@
+#!/bin/bash
+# Pre-commit hook to prevent test files in src/ directories
+
+# Colors for output
+RED='\033[0;31m'
+GREEN='\033[0;32m'
+YELLOW='\033[1;33m'
+NC='\033[0m' # No Color
+
+echo "🔍 Checking for test files in src/ directories..."
+
+# Find all test files in src/ directories
+test_files=$(find . -path "./target" -prune -o -path "./.git" -prune -o -path "./src/*" -name "*_test.rs" -print -o -path "./src/*" -name "*_tests.rs" -print -o -path "./src/*" -name "test.rs" -print -o -path "./src/*" -name "tests.rs" -print | grep -v target | grep -v .git)
+
+if [ -n "$test_files" ]; then
+    echo -e "${RED}❌ Error: Test files found in src/ directories!${NC}"
+    echo -e "${YELLOW}Test files should be placed in the tests/ directory, not in src/${NC}"
+    echo ""
+    echo "Found test files:"
+    echo "$test_files" | while read -r file; do
+        echo -e "  ${RED}$file${NC}"
+    done
+    echo ""
+    echo "Please move these files to the appropriate tests/ directory before committing."
+    exit 1
+fi
+
+# Check if cargo-wrt is available
+if command -v cargo-wrt &> /dev/null; then
+    # Run validation check using cargo-wrt
+    echo "🔍 Running cargo-wrt validation checks..."
+    if ! cargo-wrt validate --check-test-files; then
+        echo -e "${RED}❌ Validation failed!${NC}"
+        exit 1
+    fi
+else
+    echo -e "${YELLOW}⚠️  Warning: cargo-wrt not found. Install it for better validation:${NC}"
+    echo "  cargo install --path cargo-wrt"
+fi
+
+echo -e "${GREEN}✅ No test files found in src/ directories${NC}"
+
+# Run cargo fmt check
+echo ""
+echo "🔍 Checking code formatting with cargo fmt..."
+
+# Use the project's unified build tool for formatting check
+if ! cargo-wrt check --strict; then
+    echo -e "${RED}❌ Error: Code formatting issues detected!${NC}"
+    echo ""
+    echo "Please run 'cargo-wrt check' or 'cargo fmt' to format your code before committing."
+    echo ""
+    echo "To bypass this check (not recommended), use:"
+    echo "  git commit --no-verify"
+    exit 1
+fi
+
+echo -e "${GREEN}✅ Code formatting check passed${NC}"
+exit 0

.github/kani-badge.json

@@ -0,0 +1,10 @@
+{
+  "schemaVersion": 1,
+  "label": "formal verification",
+  "message": "KANI",
+  "color": "brightgreen",
+  "namedLogo": "rust",
+  "logoColor": "white",
+  "style": "for-the-badge",
+  "cacheSeconds": 86400
+}

.github/workflows/capability_tests.yml

@@ -0,0 +1,137 @@
+name: Capability Engine Tests
+
+on: 
+  push:
+    branches: [ main, resource-implementation ]
+  pull_request:
+    branches: [ main ]
+
+env:
+  RUST_BACKTRACE: 1
+
+jobs:
+  test-matrix:
+    name: Test ${{ matrix.name }}
+    runs-on: ubuntu-latest
+    strategy:
+      fail-fast: false
+      matrix:
+        include:
+          - name: "Default"
+            features: ""
+            package: "wrtd"
+          - name: "QM"
+            features: "qm"
+            package: "wrtd"
+          - name: "ASIL-A"
+            features: "asil-a"
+            package: "wrtd"
+          - name: "ASIL-B"
+            features: "asil-b"
+            package: "wrtd"
+          - name: "Minimal"
+            features: "--no-default-features"
+            package: "wrtd"
+            no_default: true
+          - name: "Runtime STD"
+            features: "std"
+            package: "wrt-runtime"
+          - name: "Runtime Alloc"
+            features: "alloc"
+            package: "wrt-runtime"
+          - name: "WRT QM"
+            features: "qm"
+            package: "wrt"
+          - name: "WRT ASIL-A"
+            features: "asil-a"
+            package: "wrt"
+          - name: "WRT ASIL-B"
+            features: "asil-b"
+            package: "wrt"
+
+    steps:
+    - uses: actions/checkout@v4
+
+    - uses: dtolnay/rust-toolchain@stable
+      with:
+        components: clippy
+
+    - uses: actions/cache@v4
+      with:
+        path: |
+          ~/.cargo/registry
+          ~/.cargo/git
+          target
+        key: ${{ runner.os }}-cargo-${{ matrix.name }}-${{ hashFiles('**/Cargo.lock') }}
+
+    - name: Build ${{ matrix.name }}
+      run: |
+        if [ "${{ matrix.no_default }}" = "true" ]; then
+          cargo build -p ${{ matrix.package }} --no-default-features
+        elif [ "${{ matrix.features }}" = "" ]; then
+          cargo build -p ${{ matrix.package }}
+        else
+          cargo build -p ${{ matrix.package }} --features ${{ matrix.features }}
+        fi
+
+    - name: Clippy ${{ matrix.name }}
+      run: |
+        if [ "${{ matrix.no_default }}" = "true" ]; then
+          cargo clippy -p ${{ matrix.package }} --no-default-features -- -D warnings
+        elif [ "${{ matrix.features }}" = "" ]; then
+          cargo clippy -p ${{ matrix.package }} -- -D warnings
+        else
+          cargo clippy -p ${{ matrix.package }} --features ${{ matrix.features }} -- -D warnings
+        fi
+
+    - name: Test ${{ matrix.name }}
+      if: matrix.package != 'wrtd'
+      run: |
+        if [ "${{ matrix.features }}" = "" ]; then
+          cargo test -p ${{ matrix.package }} capability
+        else
+          cargo test -p ${{ matrix.package }} --features ${{ matrix.features }} capability
+        fi
+
+  integration-tests:
+    name: Integration Tests
+    runs-on: ubuntu-latest
+    steps:
+    - uses: actions/checkout@v4
+
+    - uses: dtolnay/rust-toolchain@stable
+
+    - uses: actions/cache@v4
+      with:
+        path: |
+          ~/.cargo/registry
+          ~/.cargo/git
+          target
+        key: ${{ runner.os }}-cargo-integration-${{ hashFiles('**/Cargo.lock') }}
+
+    - name: Install wat2wasm
+      run: |
+        curl -sSL https://github.com/WebAssembly/wabt/releases/download/1.0.34/wabt-1.0.34-ubuntu.tar.gz | tar xz
+        echo "$PWD/wabt-1.0.34/bin" >> $GITHUB_PATH
+
+    - name: Run capability integration tests
+      run: cargo test -p wrt capability_integration_tests -- --nocapture
+
+    - name: Run build matrix script
+      run: ./scripts/test_build_matrix.sh
+
+  summary:
+    name: Test Summary
+    runs-on: ubuntu-latest
+    needs: [test-matrix, integration-tests]
+    if: always()
+    steps:
+    - name: Summary
+      run: |
+        if [ "${{ needs.test-matrix.result }}" = "success" ] && [ "${{ needs.integration-tests.result }}" = "success" ]; then
+          echo "✅ All capability engine tests passed!"
+          exit 0
+        else
+          echo "❌ Some capability engine tests failed"
+          exit 1
+        fi