👷 ci: remove spore checkout fallback

Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>

Author: zrr1999

.github/workflows/ci-tests.yml

@@ -42,71 +42,32 @@ jobs:
     steps:
       - uses: actions/checkout@v6
 
-      - name: Probe spore compiler access
-        id: spore-source
-        env:
-          SPORE_CHECKOUT_TOKEN: ${{ secrets.SPORE_REPO_READ_TOKEN != '' && secrets.SPORE_REPO_READ_TOKEN || github.token }}
-          HAS_SPORE_REPO_READ_TOKEN: ${{ secrets.SPORE_REPO_READ_TOKEN != '' }}
-        run: |
-          echo "::add-mask::$SPORE_CHECKOUT_TOKEN"
-          api_url="https://api.github.com/repos/${SPORE_REPOSITORY}/git/commits/${SPORE_REF}"
-          status="$(curl --silent --show-error --output /dev/null --write-out '%{http_code}' \
-            -H "Authorization: Bearer ${SPORE_CHECKOUT_TOKEN}" \
-            -H 'Accept: application/vnd.github+json' \
-            "${api_url}")"
-
-          if [ "${status}" = "200" ]; then
-            echo "available=true" >> "$GITHUB_OUTPUT"
-            exit 0
-          fi
-
-          echo "available=false" >> "$GITHUB_OUTPUT"
-
-          if [ "${HAS_SPORE_REPO_READ_TOKEN}" = "true" ]; then
-            echo "::error::Configured secrets.SPORE_REPO_READ_TOKEN cannot read ${SPORE_REPOSITORY}@${SPORE_REF} (HTTP ${status})."
-            exit 1
-          fi
-
-          if [ "${status}" != "404" ]; then
-            echo "::error::Unexpected response probing ${SPORE_REPOSITORY}@${SPORE_REF} without secrets.SPORE_REPO_READ_TOKEN (HTTP ${status})."
-            exit 1
-          fi
-
-          echo "::warning::Skipping compiler-backed Spore checks because github.token cannot read private ${SPORE_REPOSITORY}. Configure secrets.SPORE_REPO_READ_TOKEN with read access to enable the full suite."
-
       - uses: actions/checkout@v6
-        if: steps.spore-source.outputs.available == 'true'
         with:
           repository: ${{ env.SPORE_REPOSITORY }}
           ref: ${{ env.SPORE_REF }}
           path: _spore
-          token: ${{ secrets.SPORE_REPO_READ_TOKEN != '' && secrets.SPORE_REPO_READ_TOKEN || github.token }}
+          token: ${{ secrets.SPORE_REPO_READ_TOKEN }}
 
       - uses: dtolnay/rust-toolchain@stable
-        if: steps.spore-source.outputs.available == 'true'
         with:
           toolchain: stable
 
       - uses: Swatinem/rust-cache@v2
-        if: steps.spore-source.outputs.available == 'true'
         with:
           workspaces: _spore
 
       - name: Build spore compiler
-        if: steps.spore-source.outputs.available == 'true'
         run: cargo build --release --manifest-path _spore/Cargo.toml --bin spore
 
       - name: Format Spore files
-        if: steps.spore-source.outputs.available == 'true'
         run: |
           # `src/host.sp` is a legacy compatibility shim; validate package-backed behavior
           # via the example and platform modules rather than standalone file-mode checks.
           # Standalone file examples
           find examples -maxdepth 1 -name '*.sp' -type f | sort | xargs _spore/target/release/spore format
           # Project-mode examples (format their src files)
-          if [ -d examples/hello-app/src ]; then
-            find examples/hello-app/src -name '*.sp' -type f | sort | xargs _spore/target/release/spore format
-          fi
+          find examples/hello-app/src -name '*.sp' -type f | sort | xargs _spore/target/release/spore format
           # Platform API modules
           find src/basic_cli -name '*.sp' -type f | sort | xargs _spore/target/release/spore format
           # Check tests if they exist
@@ -116,7 +77,6 @@ jobs:
           git diff --exit-code
 
       - name: Check Spore files
-        if: steps.spore-source.outputs.available == 'true'
         run: |
           # `src/host.sp` is a legacy compatibility shim; validate package-backed behavior
           # via the example and platform modules rather than standalone file-mode checks.
@@ -125,20 +85,17 @@ jobs:
           # Platform API modules
           find src/basic_cli -name '*.sp' -type f | sort | xargs -n 1 _spore/target/release/spore check
           # Project-mode examples: validate with spore check
-          if [ -d examples/hello-app ]; then
-            (
-              cd examples/hello-app
-              echo "✓ Checking project-mode example src/main.sp"
-              ../../_spore/target/release/spore check src/main.sp
-            )
-          fi
+          (
+            cd examples/hello-app
+            echo "✓ Checking project-mode example src/main.sp"
+            ../../_spore/target/release/spore check src/main.sp
+          )
           # Check tests if they exist
           if [ -d tests ]; then
             find tests -name '*.sp' -type f | sort | xargs -n 1 _spore/target/release/spore check
           fi
 
       - name: Build Spore files
-        if: steps.spore-source.outputs.available == 'true'
         run: |
           # `src/host.sp` is a legacy compatibility shim; validate package-backed behavior
           # via the example and platform modules rather than standalone file-mode builds.
@@ -147,59 +104,31 @@ jobs:
           # Platform API modules
           find src/basic_cli -name '*.sp' -type f | sort | xargs -n 1 _spore/target/release/spore build
           # Project-mode examples: validate with spore build
-          if [ -d examples/hello-app ]; then
-            (
-              cd examples/hello-app
-              echo "✓ Building project-mode example src/main.sp"
-              ../../_spore/target/release/spore build src/main.sp
-            )
-          fi
+          (
+            cd examples/hello-app
+            echo "✓ Building project-mode example src/main.sp"
+            ../../_spore/target/release/spore build src/main.sp
+          )
           # Check tests if they exist
           if [ -d tests ]; then
             find tests -name '*.sp' -type f | sort | xargs -n 1 _spore/target/release/spore build
           fi
 
       - name: Run standalone hello example
-        if: steps.spore-source.outputs.available == 'true'
         run: _spore/target/release/spore run examples/hello.sp
 
       - name: Run project-mode hello-app example
-        if: steps.spore-source.outputs.available == 'true'
         run: |
-          if [ -d examples/hello-app ]; then
-            (
-              cd examples/hello-app
-              echo "✓ Running project-mode example src/main.sp"
-              ../../_spore/target/release/spore run src/main.sp
-            )
-          fi
+          (
+            cd examples/hello-app
+            echo "✓ Running project-mode example src/main.sp"
+            ../../_spore/target/release/spore run src/main.sp
+          )
 
       - name: Run Spore spec tests
-        if: steps.spore-source.outputs.available == 'true'
         run: |
           if [ ! -d tests ]; then
             echo "No Spore spec tests yet; skipping spore test."
             exit 0
           fi
           find tests -name '*.sp' -type f | sort | xargs -r -n 1 _spore/target/release/spore test
-
-      - name: Validate Spore package wiring fallback
-        if: steps.spore-source.outputs.available != 'true'
-        run: |
-          python - <<'PY'
-          import tomllib
-          from pathlib import Path
-
-          manifest = tomllib.loads(Path("spore.toml").read_text(encoding="utf-8"))
-          assert manifest["package"]["type"] == "platform"
-          assert manifest["platform"]["contract-module"] == "platform_contract"
-          assert "Console" in manifest["platform"]["handled-effects"]
-
-          app_manifest = tomllib.loads(Path("examples/hello-app/spore.toml").read_text(encoding="utf-8"))
-          assert app_manifest["project"]["platform"] == "basic-cli"
-          assert app_manifest["dependencies"]["basic-cli"]["path"] == "../.."
-          PY
-
-          test -f examples/hello.sp
-          test -f src/platform_contract.sp
-          find src/basic_cli examples -name '*.sp' -type f | sort