refactor: final WRT→Kiln sweep — enum variants, section names, templates, configs

Renames CrateId::Wrt/Wrtd to CrateId::Kiln/Kilnd, updates the
wrt.resource_limits custom section to kiln.resource_limits, fixes
GitHub URLs, disabled workflow files, platform templates, and
config files (gitignore, cspell, CODEOWNERS, memory_budget example).

Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>

Author: avrabe

.githooks/pre-commit.disabled

@@ -25,17 +25,17 @@ if [ -n "$test_files" ]; then
     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
+# Check if cargo-kiln is available
+if command -v cargo-kiln &> /dev/null; then
+    # Run validation check using cargo-kiln
+    echo "🔍 Running cargo-kiln validation checks..."
+    if ! cargo-kiln 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"
+    echo -e "${YELLOW}⚠️  Warning: cargo-kiln not found. Install it for better validation:${NC}"
+    echo "  cargo install --path cargo-kiln"
 fi
 
 echo -e "${GREEN}✅ No test files found in src/ directories${NC}"
@@ -45,10 +45,10 @@ echo ""
 echo "🔍 Checking code formatting with cargo fmt..."
 
 # Use the project's unified build tool for formatting check
-if ! cargo-wrt check --strict; then
+if ! cargo-kiln 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 "Please run 'cargo-kiln check' or 'cargo fmt' to format your code before committing."
     echo ""
     echo "To bypass this check (not recommended), use:"
     echo "  git commit --no-verify"

.github/CODEOWNERS

@@ -10,8 +10,8 @@
 # *.rs @rust-team
 
 # Specify owners for specific crates
-# wrt/src/ @wrt-core-team
-# wrt-component/src/ @wrt-component-team
+# kiln/src/ @kiln-core-team
+# kiln-component/src/ @kiln-component-team
 
 # Documentation files
 # docs/ @docs-team

.github/workflows/capability_tests.yml.disabled

@@ -19,26 +19,26 @@ jobs:
         include:
           - name: "Default"
             features: ""
-            package: "wrtd"
+            package: "kilnd"
           - name: "QM"
             features: "qm"
-            package: "wrtd"
+            package: "kilnd"
           - name: "ASIL-A"
             features: "asil-a"
-            package: "wrtd"
+            package: "kilnd"
           - name: "ASIL-B"
             features: "asil-b"
-            package: "wrtd"
+            package: "kilnd"
           - name: "Minimal"
             features: "--no-default-features"
-            package: "wrtd"
+            package: "kilnd"
             no_default: true
           - name: "Runtime STD"
             features: "std"
-            package: "wrt-runtime"
+            package: "kiln-runtime"
           - name: "Runtime Alloc"
             features: "alloc"
-            package: "wrt-runtime"
+            package: "kiln-runtime"
 
     steps:
     - uses: actions/checkout@v5
@@ -76,7 +76,7 @@ jobs:
         fi
 
     - name: Test ${{ matrix.name }}
-      if: matrix.package != 'wrtd'
+      if: matrix.package != 'kilnd'
       run: |
         if [ "${{ matrix.features }}" = "" ]; then
           cargo test -p ${{ matrix.package }} capability
@@ -106,7 +106,7 @@ jobs:
         echo "$PWD/wabt-1.0.34/bin" >> $GITHUB_PATH
 
     - name: Run capability integration tests
-      run: cargo test -p wrt-runtime capability_integration_tests -- --nocapture || true
+      run: cargo test -p kiln-runtime capability_integration_tests -- --nocapture || true
 
   summary:
     name: Test Summary

.github/workflows/deploy-verification.yml.disabled

@@ -53,11 +53,11 @@ jobs:
           target
         key: ${{ runner.os }}-deploy-${{ hashFiles('**/Cargo.lock') }}
 
-    - name: Install KANI and cargo-wrt
+    - name: Install KANI and cargo-kiln
       run: |
         cargo install --locked kani-verifier
         cargo kani setup
-        cargo install --path cargo-wrt --locked
+        cargo install --path cargo-kiln --locked
 
     - name: Run pre-deployment verification
       id: verify
@@ -77,7 +77,7 @@ jobs:
         EOF
 
         echo "## Build Verification" >> deployment-verification.md
-        if cargo-wrt build --output json > build-results.json 2>&1; then
+        if cargo-kiln build --output json > build-results.json 2>&1; then
           echo "✅ Build successful" >> deployment-verification.md
           echo "BUILD_STATUS=success" >> $GITHUB_ENV
         else
@@ -88,7 +88,7 @@ jobs:
 
         echo "" >> deployment-verification.md
         echo "## Test Suite Results" >> deployment-verification.md
-        if cargo-wrt test --output json > test-results.json 2>&1; then
+        if cargo-kiln test --output json > test-results.json 2>&1; then
           echo "✅ All tests passed" >> deployment-verification.md
           echo "TEST_STATUS=success" >> $GITHUB_ENV
         else
@@ -107,7 +107,7 @@ jobs:
         for level in a b c d; do
           echo "### ASIL-${level^^} Verification" >> deployment-verification.md
 
-          if cargo-wrt kani-verify --asil-profile $level --output json > kani-$level.json 2>&1; then
+          if cargo-kiln kani-verify --asil-profile $level --output json > kani-$level.json 2>&1; then
             echo "✅ ASIL-${level^^} verification passed" >> deployment-verification.md
 
             # Extract coverage info
@@ -180,15 +180,15 @@ jobs:
 
     - name: Install deployment tools
       run: |
-        cargo install --path cargo-wrt --locked
+        cargo install --path cargo-kiln --locked
 
     - name: Prepare staging deployment
       run: |
         echo "Preparing staging deployment..."
         echo "Verification hash: ${{ needs.prepare-verification.outputs.verification-hash }}"
 
         # Create deployment package
-        cargo-wrt build --release
+        cargo-kiln build --release
 
         # Create staging manifest
         cat > staging-manifest.json << EOF
@@ -200,9 +200,9 @@ jobs:
           "asil_level": "A",
           "deployment_target": "staging",
           "artifacts": [
-            "libwrt.rlib",
-            "libwrt_foundation.rlib",
-            "cargo-wrt"
+            "libkiln.rlib",
+            "libkiln_foundation.rlib",
+            "cargo-kiln"
           ]
         }
         EOF
@@ -266,14 +266,14 @@ jobs:
 
     - name: Install deployment tools
       run: |
-        cargo install --path cargo-wrt --locked
+        cargo install --path cargo-kiln --locked
 
     - name: Create production deployment
       run: |
         echo "Creating production deployment..."
 
         # Build with production optimizations
-        cargo-wrt build --release --profile production
+        cargo-kiln build --release --profile production
 
         # Create production manifest
         cat > production-manifest.json << EOF
@@ -287,9 +287,9 @@ jobs:
           "certification_ready": true,
           "safety_verified": true,
           "artifacts": [
-            "libwrt.rlib",
-            "libwrt_foundation.rlib", 
-            "cargo-wrt",
+            "libkiln.rlib",
+            "libkiln_foundation.rlib", 
+            "cargo-kiln",
             "verification-evidence.zip"
           ]
         }
@@ -337,14 +337,14 @@ jobs:
 
     - name: Install certification tools
       run: |
-        cargo install --path cargo-wrt --locked
+        cargo install --path cargo-kiln --locked
 
     - name: Generate certification package
       run: |
         echo "Generating certification evidence package..."
 
         # Create comprehensive verification report
-        cargo-wrt verify --asil d --output json > certification-verification.json
+        cargo-kiln verify --asil d --output json > certification-verification.json
 
         # Create certification manifest
         cat > certification-manifest.json << EOF

.github/workflows/kani-regression.yml.disabled

@@ -4,22 +4,22 @@ on:
   push:
     branches: [ main, develop, resource-implementation ]
     paths:
-      - 'wrt-foundation/src/**'
-      - 'wrt-component/src/**'
-      - 'wrt-runtime/src/**'
-      - 'wrt-decoder/src/**'
-      - 'wrt-format/src/**'
-      - 'cargo-wrt/**'
+      - 'kiln-foundation/src/**'
+      - 'kiln-component/src/**'
+      - 'kiln-runtime/src/**'
+      - 'kiln-decoder/src/**'
+      - 'kiln-format/src/**'
+      - 'cargo-kiln/**'
       - '.github/workflows/kani-regression.yml'
   pull_request:
     branches: [ main, develop ]
     paths:
-      - 'wrt-foundation/src/**'
-      - 'wrt-component/src/**'
-      - 'wrt-runtime/src/**'
-      - 'wrt-decoder/src/**'
-      - 'wrt-format/src/**'
-      - 'cargo-wrt/**'
+      - 'kiln-foundation/src/**'
+      - 'kiln-component/src/**'
+      - 'kiln-runtime/src/**'
+      - 'kiln-decoder/src/**'
+      - 'kiln-format/src/**'
+      - 'cargo-kiln/**'
       - '.github/workflows/kani-regression.yml'
   schedule:
     # Run nightly KANI verification at 2 AM UTC
@@ -112,15 +112,15 @@ jobs:
         # Verify installation
         kani --version
 
-    - name: Install cargo-wrt
+    - name: Install cargo-kiln
       run: |
-        cargo install --path cargo-wrt --locked
+        cargo install --path cargo-kiln --locked
 
     - name: Verify KANI installation
       run: |
         which kani
         kani --version
-        cargo-wrt setup --check || true
+        cargo-kiln setup --check || true
 
     - name: Run KANI verification
       id: verify
@@ -146,8 +146,8 @@ jobs:
           OUTPUT_FILE="kani-results-${{ matrix.asil_level }}.json"
         fi
 
-        echo "Running: cargo-wrt kani-verify $ARGS"
-        cargo-wrt kani-verify $ARGS 2>&1 | tee "$OUTPUT_FILE"
+        echo "Running: cargo-kiln kani-verify $ARGS"
+        cargo-kiln kani-verify $ARGS 2>&1 | tee "$OUTPUT_FILE"
         KANI_EXIT_CODE=$?
 
         # Parse results and set status

.github/workflows/kani-verification.yml.disabled

@@ -65,18 +65,18 @@ jobs:
             target/
           key: ${{ runner.os }}-cargo-kani-${{ hashFiles('**/Cargo.lock') }}
 
-      - name: Install and setup cargo-wrt with Kani
+      - name: Install and setup cargo-kiln with Kani
         run: |
-          cargo build --package cargo-wrt
-          cargo install --path cargo-wrt --force
-          cargo-wrt setup --all # Setup all tools including Kani automatically
+          cargo build --package cargo-kiln
+          cargo install --path cargo-kiln --force
+          cargo-kiln setup --all # Setup all tools including Kani automatically
 
       - name: Verify tool setup
-        run: cargo-wrt setup --check
+        run: cargo-kiln setup --check
 
       - name: Run Quick Verification
         run: |
-          cargo-wrt kani-verify --asil-profile a --package wrt-integration-tests
+          cargo-kiln kani-verify --asil-profile a --package kiln-integration-tests
         continue-on-error: true
 
       - name: Upload Quick Report
@@ -96,16 +96,16 @@ jobs:
       matrix:
         asil: [b, c]
         package: 
-          - wrt-foundation
-          - wrt-component
-          - wrt-sync
-          - wrt-integration-tests
+          - kiln-foundation
+          - kiln-component
+          - kiln-sync
+          - kiln-integration-tests
         include:
           # Add ASIL-D verification for critical packages only
           - asil: d
-            package: wrt-integration-tests
+            package: kiln-integration-tests
           - asil: d
-            package: wrt-foundation
+            package: kiln-foundation
 
     steps:
       - uses: actions/checkout@v5
@@ -127,18 +127,18 @@ jobs:
             target/
           key: ${{ runner.os }}-cargo-kani-${{ matrix.package }}-${{ hashFiles('**/Cargo.lock') }}
 
-      - name: Install and setup cargo-wrt with Kani
+      - name: Install and setup cargo-kiln with Kani
         run: |
-          cargo build --package cargo-wrt
-          cargo install --path cargo-wrt --force
-          cargo-wrt setup --all # Setup all tools including Kani automatically
+          cargo build --package cargo-kiln
+          cargo install --path cargo-kiln --force
+          cargo-kiln setup --all # Setup all tools including Kani automatically
 
       - name: Verify tool setup
-        run: cargo-wrt setup --check
+        run: cargo-kiln setup --check
 
       - name: Run Verification
         run: |
-          cargo-wrt kani-verify --asil-profile ${{ matrix.asil }} --package ${{ matrix.package }}
+          cargo-kiln kani-verify --asil-profile ${{ matrix.asil }} --package ${{ matrix.package }}
         timeout-minutes: 30
 
       - name: Upload Verification Report
@@ -179,24 +179,24 @@ jobs:
             target/
           key: ${{ runner.os }}-cargo-kani-comprehensive-${{ hashFiles('**/Cargo.lock') }}
 
-      - name: Install and setup cargo-wrt with Kani
+      - name: Install and setup cargo-kiln with Kani
         run: |
-          cargo build --package cargo-wrt
-          cargo install --path cargo-wrt --force
-          cargo-wrt setup --all # Setup all tools including Kani automatically
+          cargo build --package cargo-kiln
+          cargo install --path cargo-kiln --force
+          cargo-kiln setup --all # Setup all tools including Kani automatically
 
       - name: Verify tool setup
-        run: cargo-wrt setup --check
+        run: cargo-kiln setup --check
 
       - name: Run Comprehensive Verification
         run: |
           ASIL_LEVEL="${{ github.event.inputs.asil_level || 'c' }}"
           PACKAGE="${{ github.event.inputs.package || '' }}"
 
           if [ -n "$PACKAGE" ]; then
-            cargo-wrt kani-verify --asil-profile $ASIL_LEVEL --package $PACKAGE --verbose
+            cargo-kiln kani-verify --asil-profile $ASIL_LEVEL --package $PACKAGE --verbose
           else
-            cargo-wrt kani-verify --asil-profile $ASIL_LEVEL --verbose
+            cargo-kiln kani-verify --asil-profile $ASIL_LEVEL --verbose
           fi
         timeout-minutes: 60