Lab: extension source rm leaves stale @local/. rows in catalog, blocking later pulls of registry types

Summary

swamp extension source rm <path> reports success and swamp extension source list shows 0 sources, but the source's contributed types remain in _extension_catalog.db (bundle_types table) tagged as @local/.<repo-basename>@0.0.0. On the next swamp extension pull <X>, swamp's resolver re-discovers those stale rows and refuses to install when the pulled extension's type collides — failing the pull and rolling back the filesystem changes.

Steps to reproduce

swamp init a fresh repo at ~/.demo.
swamp extension source add /path/to/local-checkout --repo-dir ~/.demo where the checkout contains a model that claims type @hivemq/mudroom (or any registry-published type).
swamp extension source rm /path/to/local-checkout --repo-dir ~/.demo — CLI prints "Removed extension source" / "0 sources configured".
swamp extension source list --repo-dir ~/.demo — confirms "No extension sources configured."
swamp extension pull @hivemq/mudroom --repo-dir ~/.demo.

Expected

Pull succeeds — the only source contributing the conflicting type was just removed.

Actual

FTL error Error: 'Type "@hivemq/mudroom" (kind=model) is already claimed by
@hivemq/[email protected] at /Users/.../.demo/.swamp/pulled-extensions/@hivemq/mudroom/models/mudroom/mudroom.ts.
Cannot install @local/[email protected] at /path/to/local-checkout/extensions/models/mudroom/mudroom.ts —
filesystem changes rolled back.
Run `swamp extension rm @hivemq/mudroom` first if you intended to replace it.'

The suggested remediation (swamp extension rm @hivemq/mudroom) then errors with "Extension @hivemq/mudroom is not installed." because the rolled-back pull never registered it. The user is stuck.

Diagnosis

bundle_types retains rows for every type the removed source contributed, with extension_name = '@local/.<basename>' and source_path pointing into the removed source dir. In my repro, 13 rows persisted across source rm. The pull's atomic resolve picks them up as still-active local types.

Workaround

Surgical SQL on the catalog DB:

sqlite3 ~/.demo/.swamp/_extension_catalog.db \
  "DELETE FROM bundle_types WHERE extension_name = '@local/.<basename>';"

Then re-run swamp extension pull — succeeds.

Suggested fix

Have swamp extension source rm <path> purge bundle_types rows whose source_path is under <path> (DELETE FROM bundle_types WHERE source_path LIKE ? || '/%' OR source_path = ?) inside the same transaction that updates .swamp-sources.yaml. Optionally surface a misleading-error fix in the resolver: if the conflicting @local/.X rows don't correspond to any currently-registered source, drop them from the resolution set instead of rolling back.

Environment

swamp CLI: 20260509.235714.0-sha.7ace6b02
macOS 25.4.0 (Darwin arm64)
Repo affected: ~/.mudroom (custom MUDROOM_HOME), previously had /Users/.../hivemq/swamp-extensions registered as a source then removed.
Catalog state at time of failure: 14 rows in bundle_types (1 valid @bixu/mudroom, 13 stale @local/.mudroom).

extension unyank needs -y/--yes flag for non-interactive use

Step key parsing in execution_service uses naive split(":") and silently truncates colon-containing step names

Workflow-scope report artifacts unreachable via `swamp data get --workflow`

Add --stdin support to method run and workflow run for Unix pipe composition

Docs: add run namespace to CEL expressions reference

Fix invalidate-then-reconcile sequencing in doctor extensions; failure-mode RowStates unreachable in sourceDetails

doctor extensions invalidateAll does not trigger fingerprint recheck for existing Indexed rows

Extension failure recording has dual write paths (legacy buildIndex vs W3 reconcile)

Expose workflow run ID in CEL so resource keys can be run-scoped

Add `swamp doctor workflows` subcommand to surface workflow YAML parse errors during preflight

Add 'swamp issue comment' command for updating existing issues

Close #327 — fixed in 20260511.160514.0-sha.9d03b09a

Nested workflow task fails with 'Bad resource ID' when workflowIdOrName uses @collective/ prefix

Detect stale skill directories and prompt for repo upgrade

Improve skill trigger routing for cross-model edge cases

Add type search for driver, datastore, and report kinds

Surface ReconcileFromDisk dryRun transitions in swamp doctor extensions

Docs: update doctor extensions reference for W6 aggregate-state rendering + repair flags

swamp issue: check if reporter is on an outdated binary before opening

Implement W6: swamp doctor extensions aggregate-state rendering + repair surface (extension catalog rearchitecture)

extension pull fails referencing removed source after extension source rm

Investigate whether allExtensionMethodsAttached guard can be removed via registration-path consolidation

Trace context is lost: CLI ignores inbound TRACEPARENT and raw driver doesn't propagate active context into in-process methods

swamp model create --global-arg KEY=VALUE doesn't coerce strings to z.number() schemas

swamp model create --global-arg KEY=VALUE doesn't coerce strings to z.number() schemas

swamp issue get should rate-limit unauthenticated users instead of blocking

swamp issue get should not require authentication

telemetry: emit child entries for follow-up action method invocations

Publish release-candidate / unstable extension versions

extension source rm leaves stale @local/. rows in catalog, blocking later pulls of registry types

extension push drops binaries: field from re-emitted archive manifest.yaml

macOS launchd autoupdate (club.swamp.autoupdate) silently fails — binary stays stale

Clicking @hivemq/honeycomb extension card on /extensions shows 'Something went wrong'

Docs: Update model-definitions.md and workflows.md for direct type execution

Docs: document binaries manifest field in extension-manifest.md

Add an official @swamp/ssh extension for general-purpose SSH (brownfield-friendly)

Accept and display binaries field from extension push metadata

Direct type execution: collapse model create + method run into one command

Per-method telemetry events for workflow runs

Workflow run liveness: orphaned 'running' records when originating CLI process dies mid-run

Provide a CLI-shape primer for AI agents to reduce rediscovery overhead

quality rubric: don't penalize extensions whose upstream constrains them to a single platform

Extension update rejects multiple .ts files extending the same target type within one local extension (regression)

swamp extension push deadlocks when invoked from inside a swamp workflow step

Collective-scoped auth keys + OIDC federation for CI publishing

forEach self.* in modelIdOrName not resolved in runtime execution path

Award leaderboard points for referrals and collective invites

Add agent harness detection and AiTool to telemetry

Workflow-level runtime expressions (env.*, vault.*) not resolved in driverConfig — docker driver receives literal ${{ ... }} strings

Implement W5: Per-fingerprint import URLs + subprocess test harness (extension catalog rearchitecture)

swamp config set crashes with YAML serialization error

datastore compact: VACUUM fails in compiled binary (SQLITE_LIMIT_ATTACHED=0)

Repo-level version gating: minSwampVersion high-water mark for team consistency

Docs: document self.* expressions in modelIdOrName during forEach

Docs: How-to guide for background autoupdating

Manifest version bumps silently ignored for existing local extension aggregates

materialiseExtensions misclassifies pulled rows when manifest name collides with a pulled extension

Local extension edits don't reliably trigger rebundle

Missing unique indexes on user.email and user.username allow duplicate users

Resolve self.* expressions in modelIdOrName during forEach expansion

discord-bot double-sends sign_up notifications

Discord bot sends duplicate signup notifications

Add 'swamp workflow list' as alias for 'swamp workflow search'

Add 'swamp auth status' as alias for 'swamp auth whoami'

Extension bundle cache does not invalidate on source edits

extension pull fails on @local/[email protected] phantom-claim collision when local repo has its own extension

Lab search by numeric issue ID returns no results

W3 sourceToRow writes empty source_mtime — should carry filesystem mtime through Source entity

Warm-start rebundleAndUpdateCatalog should respect terminal RowStates set by reconcile

Implement W4: KindAdapter + unified loader (extension catalog rearchitecture)

Docs: add vault read-secret command to reference manual

Extension layer garbage collection: prune catalog rows + evict orphaned bundles

Docs: document workflow concurrency limits in reference manual

Locally-sourced extension: source_mtime updates without regenerating stale bundle

Extension push: allow shipping executable host helpers (bin/mudroom blocker)

Vault expressions silently deliver __SWAMP_VSEC__ sentinels under the docker driver

First-class shell-shim support for extensions, with registry-level visibility

Local extension model bundles don't rebuild when source changes (no rebuild CLI; manual cache delete breaks the runner)

Configurable concurrency limits for workflow fan-out (forEach, parallel jobs/steps)

feat(security): redact sensitive method arg values from audit log

Workflow-level runtime expressions (env., vault.) not resolved in driverConfig — docker driver receives literal ${{ ... }} strings