reqlanOverviewIdeasFilesCode filesClustersAttributesGraphPrint

Printable idea sheet

verification_contract

reqlan rq/extension/host/startup-performance.rq:140

Katz 0.040

Startup changes are complete only when:
- The production extension build succeeds and emits `out/extension/main.cjs`.
- The main bundle does not embed a sql. js vendor; index open requires the core native engine.
- Extension startup-gate, webview-claim, 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
tests
"../../../packages/extension/test/startup-gate.test.ts", "../../../packages/extension/test/safe-webview-post.test.ts", "../../../packages/analytical/src/index-store/workspace-index.ts"

Interactive page: verification_contract