verification_contract

Startup changes are complete only when:
- The production extension build succeeds and emits both `out/extension/main.cjs` and `out/extension/vendor/sql-asm.cjs`.
- The main bundle does not contain the sql. js asm implementation and imports the vendor lazily.
- The lazy vendor can initialize a database.
- Extension startup-gate and analytical lazy-service tests pass.
- Activity-bar shell paint is visually checked in a newly restarted F5 development host; activation failures are cached for the lifetime of a failed host session.
- Requirement analysis resolves the updated startup graph.

Status: done

Interactive page: verification_contract