Model assignments and guarded v0.5.0 RC publication

.github/workflows/ci.yml

@@ -30,7 +30,7 @@ jobs:
         env:
           BASE_SHA: ${{ github.event.pull_request.base.sha || github.event.before }}
         run: |
-          git fetch --no-tags --depth=1 origin "$BASE_SHA"
+          git fetch --no-tags origin "$BASE_SHA"
           git diff --name-only "$BASE_SHA" HEAD | ./scripts/check-small-sync.sh
           git diff --name-only "$BASE_SHA" HEAD | bash ./scripts/check-docs-sync.sh
       - name: Verify documentation contract and source-bound bundle
@@ -54,12 +54,15 @@ jobs:
         run: |
           go build -o "$RUNNER_TEMP/loopexec" ./cmd/loopexec
           go build -o "$RUNNER_TEMP/creative-workflow" ./examples/creative-workflow
+          go build -o "$RUNNER_TEMP/model-assignment" ./examples/model-assignment
       - name: Legacy proof
         run: ./scripts/dogfood-proof.sh "$RUNNER_TEMP/loopexec" .artifacts/dogfood
       - name: Creative proof
         run: ./scripts/creative-proof.sh "$RUNNER_TEMP/loopexec" "$RUNNER_TEMP/creative-workflow" .artifacts/creative
       - name: Scoped budget offline proof
         run: ./scripts/scoped-budget-proof.sh "$RUNNER_TEMP/loopexec" .artifacts/scoped-budget
+      - name: Model assignment offline proof
+        run: bash ./scripts/model-assignment-proof.sh "$RUNNER_TEMP/loopexec" "$RUNNER_TEMP/model-assignment" .artifacts/model-assignment
       - name: Fetch pinned SMALL release
         shell: bash
         run: |

.github/workflows/release.yml

@@ -53,7 +53,4 @@ jobs:
           GH_TOKEN: ${{ github.token }}
           RELEASE_TAG: ${{ github.ref_name }}
         run: |
-          gh release create "$RELEASE_TAG" dist/loopexec-*.tar.gz dist/loopexec-*.zip dist/checksums.txt \
-            --verify-tag --draft --title "LoopExec $RELEASE_TAG" --notes-file "docs/releases/$RELEASE_TAG.md"
-          go run ./tools/docs-continuity verify-site dist/documentation/manifest.json
-          gh release edit "$RELEASE_TAG" --draft=false --latest
+          bash scripts/publish-release.sh "$RELEASE_TAG" dist

.small-command-proofs/logs/f6bbda15d790df6d023dea340edd1b85ccac89c82db362652a1b656981e82d96/commands/20261015T180616.384840000Z.txt

@@ -0,0 +1 @@
+git add .github/workflows/ci.yml .github/workflows/release.yml CHANGELOG.md README.md SPEC.md cmd/loopexec/documentation_test.go cmd/loopexec/main.go cmd/loopexec/models.go cmd/loopexec/models_test.go cmd/loopexec/receipt.go cmd/loopexec/report.go cmd/loopexec/run.go cmd/loopexec/workflow.go

.small-command-proofs/logs/f6bbda15d790df6d023dea340edd1b85ccac89c82db362652a1b656981e82d96/commands/20261015T180616.528837000Z.txt

@@ -0,0 +1 @@
+git add docs/cli-reference.generated.md docs/cli.md docs/documentation-continuity.md docs/documentation-files.json docs/integrations.md docs/model-assignments.md docs/releases/v0.5.0-dev.md docs/releases/v0.5.0-rc.1.md docs/status-and-roadmap.md docs/workflows.md

.small-command-proofs/logs/f6bbda15d790df6d023dea340edd1b85ccac89c82db362652a1b656981e82d96/commands/20261015T180616.707108000Z.txt

@@ -0,0 +1 @@
+git add examples/model-assignment internal/modelpolicy internal/workflow/contract.go scripts/build-release.sh scripts/model-assignment-proof.sh scripts/publish-release.sh tools/release-policy tools/docs-continuity/main_test.go .small/plan.small.yml .small/progress.small.yml .small/handoff.small.yml .small/workspace.small.yml

.small-command-proofs/logs/f6bbda15d790df6d023dea340edd1b85ccac89c82db362652a1b656981e82d96/commands/20261015T180700.764203000Z.txt

@@ -0,0 +1 @@
+gh pr create --base main --head feature/model-assignments --title "Model assignments and guarded v0.5.0 RC publication" --body "Adds visible provider-neutral task/role profiles, no-spend planning and explicit model-bound adapter dispatch. Drift preserves incurred usage; existing budgets and acceptance remain unchanged. Includes canonical docs, generated CLI contract, offline proof and stable/RC release policy tests. Full Go suite, vet, internal race and isolated no-model consumer protocol smoke pass. Paired docs deployment and official readback remain required before RC publication; no live critic or stable promotion."

.small/handoff.small.yml

@@ -1,6 +1,6 @@
 small_version: "1.0.0"
 owner: agent
-summary: 'Prepared canonical documentation correction and enforced audit privacy: full Go tests, vet, privacy checks, strict SMALL and seven package checksums pass. Source bundle includes 22 canonical files; new tracking is portable and historical receipts remain unchanged. Hosted CI adoption, paired docs deployment, official-origin readback and v0.4.1 tag publication remain to finish. SMALL1.1.2 lacks a global pre-recording path guard; a separate upstream correction is needed. No new path-bearing captures, private caches or private handoffs are in this delivery.'
+summary: 'Model assignments and prerelease-safe publication locally verified for v0.5.0-rc.1. Full Go suite, vet, internal race tests, offline two-role proof and isolated consumer protocol rejection pass. Matching canonical docs prepared. Next: exact-head hosted checks, paired docs deployment and official readback, main merge, rehearsal and RC publication. Stable remains v0.4.1; no live critic or consumer budget reset.'
 resume:
     current_task_id: task-36
     next_steps:

.small/plan.small.yml

@@ -130,3 +130,9 @@ tasks:
     - id: task-42
       title: Enforce portable audit privacy and preserve local-only validation history
       status: completed
+    - id: task-43
+      title: Implement model profile assignments with offline proof and canonical documentation
+      status: completed
+    - id: task-44
+      title: Make v0.5.0-rc.1 publication prerelease-safe and verify before tag release
+      status: completed