#506 workflow validate silently PASSES steps whose model type is a pulled extension (step-inputs skipped = false pass)

Summary

swamp workflow validate does not resolve pulled extension model types for step-input validation. It logs model type '<type>' not resolved, skipped and then reports Result: PASSED, so a step calling a non-existent method (or with wrong argument keys) validates as PASS. This silently masks real workflow bugs.

Environment

• swamp 20260531.214843.0-sha.ec32aaab
• deno 2.7.12, macOS (Apple Silicon)

Minimal reproduction (clean room)

1. swamp repo init /tmp/cr --tool none
2. Add an @hivemq/http-poll model instance (typeVersion 2026.04.10.2).
3. swamp extension pull @hivemq/http-poll@2026.04.10.2 --force — i.e. the pulled version matches the instance pin.
4. Create a workflow with a step: modelIdOrName: http-poll, methodName: pollUrl (pollUrl does NOT exist on @hivemq/http-poll; real methods are poll/checkDockerImage/checkMavenArtifact/checkJavadoc).
5. swamp workflow validate cleanroom-test:

✓ Step inputs for 'bogus-method' in job 'j' (http-poll.pollUrl) (model type '@hivemq/http-poll' not resolved, skipped)
Summary: 8/8 validations passed
Result: PASSED

Expected

• The pulled, version-matched type should resolve so step inputs are actually validated; http-poll.pollUrl should FAIL with Method 'pollUrl' not found.
• Even when a type genuinely cannot be resolved, validate must NOT report Result: PASSED — it should fail (or at least exit non-zero and warn loudly). Silent skip-as-pass is dangerous: it hid ~16 real contract bugs in our release workflows (wrong method names like pollUrl, wrong arg keys like maxWaitSeconds/expectedStatus).

Notes

• swamp model type describe @hivemq/http-poll DOES resolve the same type (shows poll/checkDockerImage/...), so the type is loadable — only workflow validate's step-input resolver fails to consult pulled extensions.
• Reproduced with both latest (2026.04.27.34) and the exact pinned (2026.04.10.2) versions — not version drift.
• Possibly related: swamp repo upgrade → ERR_SQLITE_ERROR: attempt to write a readonly database at ExtensionCatalogStore.addNewColumnsIfMissing (extension_catalog_store.ts:305), a schema migration on an older-swamp .swamp/_extension_catalog.db. Moving the local catalog DB aside (it is gitignored/regenerable) worked around it.

Asks

1. workflow validate should resolve pulled extension types for step-input checks (parity with model type describe).
2. Unresolved step-input types must never yield Result: PASSED — fail or exit non-zero.