@sayoriqwq/effect-harness 0.0.4 → 0.1.1

package/harness/tsgo.md

@@ -1,241 +0,0 @@
----
-audience: [agent, human]
-authors:
-  - codex
-reviewed_by: []
-purpose: 记录 effect-harness strict tsgo policy、ADR 决策和升级闭环。
-status: active
-sources:
-  - repos/tsgo/README.md
-  - repos/tsgo/_packages/tsgo/src/metadata.json
-  - repos/tsgo/_packages/tsgo/src/setup/consts.ts
-  - repos/tsgo/_packages/tsgo/src/setup/changes.ts
-  - repos/tsgo/etscore/options.go
-  - repos/tsgo/internal/rulerunner/diagnostics.go
-  - provider/effect-harness.provider.json
-  - tsconfig.json
-updated: 2026-07-01
----
-
-# Tsgo Policy
-
-## Decisions
-
-当前第三阶段采用 strict tsgo policy。目标不是“只要没有 TypeScript error 就通过”，而是
-`tsgo --noEmit` 对 Effect diagnostics 达到 0 error、0 warning、0 suggestion、0 message。
-
-`effect-tsgo patch` 只负责准备 native backend。类型检查和 Effect 语义诊断入口固定为：
-
-```bash
-tsgo --noEmit
-```
-
-## POLICY_NATIVE_BACKEND
-
-当前 native backend 固定为 `@typescript/native-preview@7.0.0-dev.20260630.1`。
-
-`@effect/tsgo@0.15.0` 可以识别 `@typescript/native-preview`，也可以识别 `typescript >= 7`。
-本仓 provider 默认只投影 `@typescript/native-preview`。
-
-`effect-tsgo` 是 setup/patch CLI。`tsgo` 是被 patch 后执行 `--noEmit` 的诊断 binary。
-
-`repos/tsgo` pin 到 `Effect-TS/tsgo` commit
-`43ed476270fb3cf78fe7afac2086d67340ca0486`，该 commit 对应当前 `@effect/tsgo@0.15.0`
-package baseline。
-
-## POLICY_DIAGNOSTIC_GATE
-
-provider strict profile 固定以下 gate：
-
-```json
-{
-  "diagnostics": true,
-  "includeSuggestionsInTsc": true,
-  "ignoreEffectSuggestionsInTscExitCode": false,
-  "ignoreEffectWarningsInTscExitCode": false,
-  "ignoreEffectErrorsInTscExitCode": false
-}
-```
-
-`diagnosticSeverity` MUST 是显式 object。`diagnosticSeverity: null` 表示关闭 Effect diagnostics，
-在本仓和 provider projection 中都不允许。
-
-## POLICY_RULE_MAP
-
-strict rule map 只覆盖 `supportedEffect` 包含 `v4` 的规则。当前 `@effect/tsgo@0.15.0`
-metadata 派生出 76 条 v4 规则。
-
-v4 correctness 规则中官方默认 `off` 的规则提升为 `error`。
-
-`effectNative` 规则全部提升为 `warning`。
-
-`antipattern` 和 `style` 里官方默认 `off` 的 v4 规则提升为 `warning`。
-
-官方默认为 `suggestion` 的规则保持 `suggestion`，由 diagnostic gate 让 suggestion 也参与
-exit-code hard gate。
-
-| Rule | Severity |
-| --- | --- |
-| `anyUnknownInErrorContext` | `error` |
-| `asyncFunction` | `warning` |
-| `catchAllToMapError` | `suggestion` |
-| `catchToOrElseSucceed` | `suggestion` |
-| `catchUnfailableEffect` | `suggestion` |
-| `classSelfMismatch` | `error` |
-| `cryptoRandomUUID` | `warning` |
-| `cryptoRandomUUIDInEffect` | `warning` |
-| `deterministicKeys` | `warning` |
-| `duplicatePackage` | `warning` |
-| `effectDoNotation` | `warning` |
-| `effectFnIife` | `warning` |
-| `effectFnImplicitAny` | `error` |
-| `effectFnOpportunity` | `suggestion` |
-| `effectGenUsesAdapter` | `warning` |
-| `effectInFailure` | `warning` |
-| `effectInVoidSuccess` | `warning` |
-| `effectMapFlatten` | `suggestion` |
-| `effectMapVoid` | `suggestion` |
-| `effectSucceedWithVoid` | `suggestion` |
-| `extendsNativeError` | `warning` |
-| `floatingEffect` | `error` |
-| `genericEffectServices` | `warning` |
-| `globalConsole` | `warning` |
-| `globalConsoleInEffect` | `warning` |
-| `globalDate` | `warning` |
-| `globalDateInEffect` | `warning` |
-| `globalErrorInEffectCatch` | `warning` |
-| `globalErrorInEffectFailure` | `warning` |
-| `globalFetch` | `warning` |
-| `globalFetchInEffect` | `warning` |
-| `globalRandom` | `warning` |
-| `globalRandomInEffect` | `warning` |
-| `globalTimers` | `warning` |
-| `globalTimersInEffect` | `warning` |
-| `instanceOfSchema` | `warning` |
-| `layerMergeAllWithDependencies` | `warning` |
-| `lazyEffect` | `suggestion` |
-| `lazyPromiseInEffectSync` | `warning` |
-| `leakingRequirements` | `suggestion` |
-| `missedPipeableOpportunity` | `warning` |
-| `missingEffectContext` | `error` |
-| `missingEffectError` | `error` |
-| `missingLayerContext` | `error` |
-| `missingReturnYieldStar` | `error` |
-| `missingStarInYieldEffectGen` | `error` |
-| `multipleCatchTag` | `suggestion` |
-| `multipleEffectProvide` | `warning` |
-| `nestedEffectGenYield` | `warning` |
-| `newPromise` | `warning` |
-| `newSchemaClass` | `warning` |
-| `nodeBuiltinImport` | `warning` |
-| `outdatedApi` | `warning` |
-| `overriddenSchemaConstructor` | `error` |
-| `preferSchemaOverJson` | `warning` |
-| `processEnv` | `warning` |
-| `processEnvInEffect` | `warning` |
-| `redundantMapError` | `suggestion` |
-| `redundantOrDie` | `suggestion` |
-| `redundantSchemaTagIdentifier` | `suggestion` |
-| `returnEffectInGen` | `suggestion` |
-| `runEffectInsideEffect` | `suggestion` |
-| `schemaNumber` | `suggestion` |
-| `schemaStructWithTag` | `suggestion` |
-| `serviceNotAsClass` | `warning` |
-| `strictBooleanExpressions` | `warning` |
-| `strictEffectProvide` | `warning` |
-| `tryCatchInEffectGen` | `suggestion` |
-| `unknownInEffectCatch` | `warning` |
-| `unnecessaryArrowBlock` | `warning` |
-| `unnecessaryEffectGen` | `suggestion` |
-| `unnecessaryFailYieldableError` | `suggestion` |
-| `unnecessaryPipe` | `suggestion` |
-| `unnecessaryPipeChain` | `suggestion` |
-| `unnecessaryTypeofType` | `suggestion` |
-| `unsafeEffectTypeAssertion` | `warning` |
-
-## POLICY_IMPORT_STYLE
-
-Effect import style 跟随官方用户文档。provider strict profile 固定：
-
-```json
-{
-  "barrelImportPackages": ["effect"],
-  "topLevelNamedReexports": "follow"
-}
-```
-
-本仓代码优先使用 `import { Effect, FileSystem, Path } from "effect"` 这一类 top-level named
-import。只有官方 package 仍要求不稳定子路径时，才使用 `effect/unstable/**`。
-
-## POLICY_OVERRIDES
-
-provider 默认不生成 `overrides`。
-
-普通源码和普通测试不得使用 `overrides` 降低 strict policy。
-
-generated code、fixture、vendored source 等明确 scope 可以在后续申请例外。例外不是默认 capability；
-必须先更新本 ADR，再更新 provider profile、`tsconfig.json` 和 verifier。
-
-## POLICY_SUPPRESSIONS
-
-`src/**`、`bin/**` 和普通 `tests/**` 禁止使用 `@effect-diagnostics ...:off` 或
-`@effect-diagnostics-next-line ...:off`。
-
-诊断通过修代码解决，不通过注释关闭。
-
-## POLICY_KEY_PATTERNS
-
-provider strict profile 固定以下 key policy：
-
-```json
-{
-  "keyPatterns": [
-    { "target": "service", "pattern": "default", "skipLeadingPath": ["src/"] },
-    { "target": "error", "pattern": "default", "skipLeadingPath": ["src/"] },
-    { "target": "custom", "pattern": "default", "skipLeadingPath": ["src/"] }
-  ],
-  "extendedKeyDetection": true
-}
-```
-
-## POLICY_LAYER_GRAPH
-
-provider strict profile 固定：
-
-```json
-{
-  "layerGraphFollowDepth": 1,
-  "noExternal": true,
-  "inlays": true,
-  "allowedDuplicatedPackages": [],
-  "pipeableMinArgCount": 2,
-  "effectFn": ["span"]
-}
-```
-
-需要 Mermaid 图时，由 harness 维护本地可读文档或 artifact。provider 默认不依赖外部 Mermaid 链接。
-
-## POLICY_UPGRADE_LOOP
-
-升级 `@effect/tsgo` 或 `@effect/language-service` 时，先读取 pinned `repos/tsgo` metadata。
-
-如果只是字段、版本或 commit 迁移，可以按当前 policy 直接迁移。
-
-如果规则语义发生改变，迁移必须 block，让用户 decide。
-
-如果新增 v4 rule 或新增影响 provider projection 的 capability，迁移必须 block，让用户 decide
-是否引入。用户确认后，先更新本 ADR，再更新 provider profile、`tsconfig.json` 和 verifier。
-
-## VERIFIER_CONTRACT
-
-`pnpm verify` MUST 通过 `harness-contract` 和 `tsgo-diagnostics` stages 检查：
-
-- `harness/tsgo.md` 包含所有稳定 policy keyword。
-- `harness/tsgo.md` 包含当前 strict v4 rule map 的所有 rule name。
-- `repos/tsgo/_packages/tsgo/src/metadata.json` 派生出的 v4 rule map 与
-  `src/harness/verify/TsgoPolicy.ts` 一致。
-- `tsconfig.json` 与 provider profile 的 `@effect/language-service` plugin policy 一致。
-- provider profile 的 `tsgoPolicy` 指向 `tsgo-official-source`。
-- `package.json` 使用 `effect-tsgo patch` 和 `tsgo --noEmit`。
-- 普通源码没有 Effect diagnostic suppress 注释。
-- `effect-tsgo --version` 与 `tsgo --version` 都能确认当前 `@effect/tsgo` baseline。

package/provider/docs/diagnostics.md

@@ -1,48 +0,0 @@
----
-audience: [agent, human]
-authors:
-  - codex
-reviewed_by: []
-purpose: 说明接入 effect-harness 后 target 内 strict tsgo diagnostic gate 的受管口径。
-status: active
-sources:
-  - provider/effect-harness.provider.json
-  - harness/tsgo.md
-  - repos/tsgo/README.md
-updated: 2026-07-02
----
-
-# Diagnostics
-
-## Commands
-
-target 的 Effect diagnostics 主路径是：
-
-```bash
-tsgo --noEmit
-```
-
-target 的 native backend 准备命令是：
-
-```bash
-effect-tsgo patch
-```
-
-Prelude materialization 应通过 provider profile 维护这些 script 指针。
-
-## Gate
-
-strict profile 要求 `tsgo --noEmit` 达到 0 error、0 warning、0 suggestion、0 message。
-
-`@effect/language-service` plugin MUST 保持 provider profile 声明的 strict v4 policy。
-
-target SHOULD 修复 diagnostics。target SHOULD NOT 用 local override、diagnostic suppress 注释或
-降级 rule map 绕过 provider gate。
-
-## Drift
-
-`package.json`、`tsconfig.json`、provider record、docs bundle 和 snippets 都是 provider-managed
-surface。
-
-target 修改这些 surface 后，Prelude maintain 应区分本地 drift、provider update 和可自动更新的
-base match。

package/provider/docs/discovery.md

@@ -1,104 +0,0 @@
----
-audience: [agent, human]
-authors:
-  - codex
-reviewed_by: []
-purpose: 说明 Prelude 如何通过 provider discovery 消费 effect-harness provider artifact。
-status: active
-sources:
-  - provider/effect-harness.provider.json
-  - src/harness/ProviderDiscovery.ts
-  - src/cli/Main.ts
-updated: 2026-07-02
----
-
-# Provider Discovery
-
-## Interface
-
-Prelude SHOULD 通过 package artifact 执行 discovery，而不是复制
-`provider/effect-harness.provider.json` 到 Prelude 源码中维护。
-
-稳定入口是：
-
-```bash
-npx --yes @sayoriqwq/effect-harness provider-discover
-```
-
-本仓 self-conformance 或本地调试 MAY 显式传入 artifact root：
-
-```bash
-node bin/effect-harness.ts provider-discover --harness .
-```
-
-discovery 输出是 machine-readable JSON。它从 provider profile 和 package manifest 派生，不是第二份
-profile 真源。
-
-## Shape
-
-discovery envelope MUST 暴露 provider identity：
-
-- provider id
-- contract version
-- provider version
-- default profile
-- selected profile
-
-discovery envelope MUST 暴露 package locator：
-
-- package name
-- package version
-- provider artifact root
-- provider profile path
-- package files
-- discovery command
-
-discovery envelope MUST 暴露 target-managed surfaces：
-
-- provider record surface
-- `package.json` contribution
-- `tsconfig.json` contribution
-- editor policy contribution
-- lint policy contribution
-- test policy contribution
-- verification policy contribution
-- docs bundle contribution
-- snippets contribution
-
-discovery envelope MUST 暴露 artifact-only references：
-
-- Effect source tree identity
-- Effect source contract identity
-- Effect anchor doc identity
-- Effect route doc identity
-- tsgo source tree identity
-- tsgo source contract identity
-- tsgo anchor doc identity
-- tsgo route doc identity
-
-discovery envelope MUST 暴露 internal harness surfaces，使 Prelude 能明确这些内容只服务
-effect-harness 本仓维护和 self-conformance。
-
-## Prelude
-
-Prelude 是 target lifecycle owner。Prelude SHOULD 把 discovery 输出转成自己的 provider record、
-materialization plan、drift record 和 maintain/update 流程。
-
-Prelude MUST NOT 把 provider profile 复制进 Prelude 代码并手写保持同步。
-
-Prelude MUST NOT 把 artifact-only references 当作 target-managed files 投递。`repos/effect/`、
-`repos/tsgo/`、subtree contracts、route docs 和 anchor docs 只随 provider artifact 保留，target record
-只记录 source identity。
-
-Prelude SHOULD materialize docs bundle 和 snippets，因为它们是 provider-managed contributions。
-
-Prelude SHOULD materialize package、tsconfig、editor、lint、test 和 verification contributions，
-并把它们纳入 target drift detection。
-
-## Boundary
-
-`provider-discover` 只做发现和声明。它不创建 `.prelude/**`，不修改 target 仓库，不运行
-maintain lifecycle，也不替 Prelude 决定 conflict policy。
-
-effect-harness 继续维护 provider artifact、source identity、strict tsgo policy、docs bundle 和
-snippets。Prelude 继续维护 target lifecycle。

package/provider/docs/editor-policy.md

@@ -1,55 +0,0 @@
----
-audience: [agent, human]
-authors:
-  - codex
-reviewed_by: []
-purpose: 说明 target 接入 effect-harness 后 editor policy contribution 的层级和边界。
-status: active
-sources:
-  - provider/effect-harness.provider.json
-  - harness/source.md
-  - repos/effect.subtree.json
-  - repos/tsgo.subtree.json
-updated: 2026-07-02
----
-
-# Editor Policy
-
-## Boundary
-
-editor policy 服务于 provider-internal source identity。
-
-target SHOULD 接收 editor settings contribution，但 target MUST NOT 接收 provider source tree 本体。
-
-`repos/**` 表示 provider artifact 内的 pinned source reference，不表示 target root 需要维护同名目录。
-
-## Levels
-
-auto-import exclusion 是 hard boundary。target editor SHOULD 排除 provider-internal source references，避免
-应用代码从 pinned source tree 自动 import。
-
-watch exclusion 是 recommended policy。target 可以按编辑器能力关闭 provider-internal source reference 的
-file watching。
-
-search exclusion 是 recommended policy。target 可以按编辑器能力关闭 provider-internal source reference 的
-default search。
-
-file visibility 是 preference。provider profile 只表达建议，不要求 target 隐藏所有 source identity。
-
-## VSCode
-
-VSCode projection SHOULD 设置 TypeScript 和 JavaScript auto-import exclude patterns。
-
-VSCode projection SHOULD 设置 watcher 与 search exclusion。
-
-VSCode projection MAY 设置 file visibility preference。
-
-Effect source identity 当前 file visibility preference 是 enabled。
-
-tsgo source identity 当前 file visibility preference 是 disabled。
-
-## Zed
-
-Zed projection SHOULD 使用 Zed 的 LSP settings shape 表达 auto-import exclusion。
-
-Zed projection MAY 使用 file scan exclusions 表达 watch、search 或 visibility preference。

package/provider/docs/effect-code.md

@@ -1,41 +0,0 @@
----
-audience: [agent, human]
-authors:
-  - codex
-reviewed_by: []
-purpose: 说明接入 effect-harness 后 target 内 Effect 代码应遵守的编码基线。
-status: active
-sources:
-  - provider/effect-harness.provider.json
-  - repos/effect/LLMS.md
-updated: 2026-07-02
----
-
-# Effect Code
-
-## Baseline
-
-target 接入 effect-harness 后，Effect 代码应以 provider profile 声明的 v4 beta package baseline
-为准。
-
-代码从已安装 package import。普通应用代码和测试代码 MUST NOT 从 provider-internal
-`repos/effect` 或 `repos/tsgo` import。
-
-## Patterns
-
-Effect 程序 SHOULD 优先使用 `Effect.gen` 和 `Effect.fn` 组织可读流程。
-
-Effect service definition 当前 SHOULD 使用 `Context.Service`。
-
-Node 入口 SHOULD 使用 `NodeRuntime.runMain`。
-
-Effect 测试 SHOULD 使用 `@effect/vitest` 的 `it.effect`、`it.live` 或 layer 组织。
-
-CLI 代码 SHOULD 使用 `effect/unstable/cli`。target 不应引入旧的 `@effect/cli` 口径。
-
-## Errors
-
-错误建模 SHOULD 使用 Effect v4 baseline 下的 typed error pattern，例如
-`Schema.TaggedErrorClass`。
-
-在 `Effect.gen` 中抛出终止性 Effect 时，SHOULD 使用 `return yield*` 让 TypeScript 正确理解控制流。

package/provider/docs/index.md

@@ -1,48 +0,0 @@
----
-audience: [agent, human]
-authors:
-  - codex
-reviewed_by: []
-purpose: 定义 effect-harness provider 投递给 target 的 docs bundle 文件清单和边界。
-status: active
-sources:
-  - provider/effect-harness.provider.json
-  - provider/docs/effect-code.md
-  - provider/docs/diagnostics.md
-  - provider/docs/discovery.md
-  - provider/docs/editor-policy.md
-  - provider/docs/managed-surfaces.md
-  - provider/docs/package-config.md
-  - provider/docs/quality-policy.md
-  - provider/docs/source-identity.md
-updated: 2026-07-02
----
-
-# Docs Bundle
-
-`provider/docs/**` 是 provider-managed target docs bundle 的 source。Prelude materialization
-应该把这些文件投递到 `.prelude/providers/effect-harness/docs/**`。
-
-## Files
-
-| Source | Target | Purpose |
-| --- | --- | --- |
-| `provider/docs/effect-code.md` | `.prelude/providers/effect-harness/docs/effect-code.md` | 说明 target 内 Effect 代码的编码基线。 |
-| `provider/docs/diagnostics.md` | `.prelude/providers/effect-harness/docs/diagnostics.md` | 说明 target 内 strict tsgo diagnostic gate。 |
-| `provider/docs/discovery.md` | `.prelude/providers/effect-harness/docs/discovery.md` | 说明 Prelude 如何通过 provider discovery 消费 package artifact。 |
-| `provider/docs/editor-policy.md` | `.prelude/providers/effect-harness/docs/editor-policy.md` | 说明 target 内 editor policy 的 hard、recommended 和 preference 层级。 |
-| `provider/docs/managed-surfaces.md` | `.prelude/providers/effect-harness/docs/managed-surfaces.md` | 说明 target 内受管 surface、artifact-only reference 和 feedback loop 边界。 |
-| `provider/docs/package-config.md` | `.prelude/providers/effect-harness/docs/package-config.md` | 说明 target 内 package baseline、script baseline 和 `tsconfig.json` projection。 |
-| `provider/docs/quality-policy.md` | `.prelude/providers/effect-harness/docs/quality-policy.md` | 说明 target 内 lint、test 和 verify policy。 |
-| `provider/docs/source-identity.md` | `.prelude/providers/effect-harness/docs/source-identity.md` | 说明 provider-internal source pin 如何以 identity 形式出现在 target record 中。 |
-
-## Boundary
-
-docs bundle MUST 面向 target 使用者说明受管能力。
-
-docs bundle MUST NOT 要求 target 拥有 `repos/effect/`、`repos/tsgo/`、subtree contracts、Codex
-runtime 资产、feedback intake、`.effect-harness.json` 或 effect-harness 管理的 `AGENTS.md`
-block。
-
-docs bundle SHOULD 只引用 target 可见 surface：provider record、package baseline、`tsconfig.json`
-projection、diagnostic scripts、docs bundle 和 snippets。

package/provider/docs/managed-surfaces.md

@@ -1,51 +0,0 @@
----
-audience: [agent, human]
-authors:
-  - codex
-reviewed_by: []
-purpose: 说明 target 接入 effect-harness 后哪些 surface 受管、哪些只是 artifact reference。
-status: active
-sources:
-  - provider/effect-harness.provider.json
-  - provider/docs/index.md
-  - harness/feedback-loop.md
-updated: 2026-07-02
----
-
-# Managed Surfaces
-
-## Target-Managed
-
-target-managed surfaces 是 exported harness 的本地投影。
-
-provider record、package baseline、`tsconfig.json` projection、editor settings projection、docs bundle、
-snippets、lint policy、test policy 和 verification policy 都属于 target 应记录的 provider-managed
-能力。
-
-target 修改这些 surface 后，Prelude maintain SHOULD 区分 local drift、provider update 和 base match。
-
-## Artifact-Only
-
-source identity、source pin contract、route docs 和 upstream source references 是 provider artifact
-reference。
-
-target 可以通过 provider record 读取 source identity，但 target MUST NOT 接收 provider-internal source
-tree、subtree contract 或 route docs 本体。
-
-## Snippets
-
-snippet 是 provider-managed source content。
-
-effect-harness 可以提供 snippet contribution，但 effect-harness MUST NOT 直接管理 target `AGENTS.md`
-block。
-
-target-local agent policy 可以 include、copy 或改写 snippet，并由 target owner 决定本地落点。
-
-## Feedback Loop
-
-verification policy 的 completion gate 是 `pnpm verify`。
-
-provider docs bundle 说明如何定位失败 stage、diagnostic layer 和受管 surface。
-
-feedback loop semantics 用于判断下一步读哪个 provider doc，不表示 effect-harness 接管 Prelude
-target lifecycle。

package/provider/docs/package-config.md

@@ -1,71 +0,0 @@
----
-audience: [agent, human]
-authors:
-  - codex
-reviewed_by: []
-purpose: 说明 target 接入 effect-harness 后 package 与 TypeScript 配置的受管口径。
-status: active
-sources:
-  - provider/effect-harness.provider.json
-  - harness/tsgo.md
-updated: 2026-07-02
----
-
-# Package Config
-
-## Package
-
-target 的 runtime dependencies MUST 包含 `effect` 和 `@effect/platform-node`。
-
-target 的 Effect testing dependency MUST 包含 `@effect/vitest`。
-
-target 的 test runner dependency MUST 包含 `vitest`。
-
-target 的 diagnostics dependencies MUST 包含 `@effect/tsgo` 和 `@effect/language-service`。
-
-target 的 native backend dependency MUST 包含 `@typescript/native-preview`。
-
-target 的 lint dependencies MUST 包含 `eslint` 和 `@antfu/eslint-config`。
-
-版本基线由 provider profile 管理。target 不应该用局部版本覆盖降低 Effect v4 beta、tsgo 或
-language-service baseline。
-
-## Scripts
-
-target 的 native backend setup script SHOULD 指向：
-
-```bash
-effect-tsgo patch
-```
-
-target 的 primary diagnostics script SHOULD 指向：
-
-```bash
-tsgo --noEmit
-```
-
-target 的 test script SHOULD 指向：
-
-```bash
-vitest run
-```
-
-target 的 lint script SHOULD 指向：
-
-```bash
-eslint
-```
-
-这些 script 是 provider-managed 指针。Prelude materialization 和 maintain 应按 provider record
-判断本地 drift。
-
-## Tsconfig
-
-target 的 `tsconfig.json` MUST 包含 `@effect/language-service` plugin。
-
-plugin fields MUST 保持 provider profile 声明的 strict v4 policy。
-
-`diagnosticSeverity` MUST 是 provider profile 投影出的显式 rule map。
-
-target SHOULD 修复 diagnostics，而不是在 `tsconfig.json` 里添加 local override、关闭
-`diagnosticSeverity` 或降低 diagnostic gate。