@sayoriqwq/effect-harness 0.0.5 → 0.1.1

package/harness/feedback-loop.md

@@ -1,156 +0,0 @@
----
-audience: [agent, human]
-authors:
-  - codex
-reviewed_by: []
-purpose: 定义 effect-harness 第二阶段的 Codex feedback loop 和统一 verify pipeline。
-status: active
-sources:
-  - AGENTS.md
-  - HARNESS.md
-  - harness/index.md
-  - harness/offcial-guide.md
-  - harness/offcial-migrate.md
-  - harness/source.md
-  - harness/effect-routes.md
-  - harness/tsgo.md
-  - harness/tsgo-routes.md
-  - harness/diagnostic-layers.md
-  - src/harness/verify/Pipeline.ts
-  - src/harness/verify/VerifyStage.ts
-  - https://developers.openai.com/codex/learn/best-practices
-  - https://developers.openai.com/codex/prompting
-  - https://developers.openai.com/codex/guides/agents-md
-updated: 2026-07-02
----
-
-# Feedback Loop
-
-## BASELINE
-
-进入第二阶段 loop 前，当前仓库 MUST 已经满足干净基线。
-
-```bash
-pnpm verify
-```
-
-如果基线不为 0，MUST 先修复当前失败，再开始新的代码或文档修改。
-
-`pnpm verify` 是唯一完成命令。`source:verify`、`effect:verify`、`typecheck`、`test`、`lint`
-和 `knip` 只作为局部排错入口，不作为完成态替代命令。
-
-`pnpm verify` 同时是 self-conformance gate。它证明 provider repository 符合自己的 exported
-harness contract，但不生成 `.prelude/**` 或 Prelude target lifecycle state。
-
-## ROUTE_TABLE
-
-Codex 在本仓写 Effect 程序逻辑，或修改 source route、tsgo policy、provider profile、
-verify pipeline、harness 边界时，MUST 按以下闭环执行：
-
-1. 明确任务意图和涉及模块。
-2. 从 `harness/index.md` 找到对应路线。
-3. 按 `harness/effect-routes.md` 或 `harness/tsgo-routes.md` 读取 pinned source。
-4. 做一轮最小修改。
-5. 运行 `pnpm verify`。
-6. 如果失败，按失败 stage 的 route 回到对应文档和 source 修复。
-7. 重复到 `pnpm verify` 为 0。
-8. review diff，确认没有绕过 strict policy。
-
-MUST NOT 通过 suppress、override、恢复旧口径或从 `repos/**` import 来让 loop 变绿。
-
-agent 默认从 `harness/index.md` 和 route tables 选择读取路径。这里不维护额外 task intake
-分类，也不把任务强行归入单选 kind。
-
-如果修改前判断和失败后的 stage route 冲突，MUST 服从 failed stage route。
-
-## VERIFY_PIPELINE
-
-`pnpm verify` 由 Effect pipeline 组织，入口是 `effect-harness verify --harness .`。
-
-pipeline 采用 fail-fast。stage 按重要性排序，越接近真源和 harness contract 的检查越靠前。
-失败输出 MUST 包含 code-defined stage tag、title、route、routeHint 和底层工具原始输出。
-
-stage 真源是 `src/harness/verify/VerifyStage.ts`。本节只是 agent-readable projection。
-
-| Stage | Route | Summary | Route Hint |
-| --- | --- | --- | --- |
-| `source-pins` | `harness/source.md` | Verify pinned GitHub subtree source entries. | Read the source-entry contract and fix Partita source pin drift. |
-| `harness-contract` | `harness/index.md`、`harness/offcial-migrate.md`、`harness/feedback-loop.md` | Verify the provider repository contract and current harness baseline. | Read the harness index, migrate notes, and feedback loop contract before changing verifier behavior. |
-| `tsgo-diagnostics` | `harness/tsgo.md`、`harness/tsgo-routes.md` | Run tsgo --noEmit and enforce zero Effect diagnostics. | Use the tsgo diagnostic output first; read the tsgo policy and routes only when the diagnostic is not enough. |
-| `tests` | `harness/effect-routes.md` | Run the Effect test suite. | Read the Effect testing route and fix behavior through @effect/vitest patterns. |
-| `lint` | `harness/diagnostic-layers.md`、`AGENTS.md`、`eslint.config.mjs` | Run ESLint with zero warnings. | Read the diagnostic layering contract, agent rules, and lint config, then fix repository boundary violations without duplicating tsgo semantics. |
-| `knip` | `package.json` | Run knip and keep the package surface minimal. | Read package.json and source imports/exports, then remove unused package surface. |
-
-## STAGE_SOURCE_PINS
-
-失败时先读 `harness/source.md`。
-
-这一 stage 验证 provider-internal source entries 仍然由 Partita GitHub subtree pin 管理。
-
-常见修复方向：
-
-- contract 中的 `github.ref`、`subtree.split` 和 git history trailer 必须一致。
-- `repos/effect/` 和 `repos/tsgo/` 必须是 committed Git tree entries。
-- anchor 和 agent route 必须存在。
-- source prefix 不能变成 submodule 或 nested Git repository。
-
-## STAGE_HARNESS_CONTRACT
-
-失败时先读 `harness/index.md`、`harness/offcial-migrate.md` 和 `harness/feedback-loop.md`。
-
-这一 stage 验证当前仓库仍处于新基线。
-
-常见修复方向：
-
-- provider profile 必须保留当前 package baseline、source identities 和 strict tsgo policy。
-- provider repository 必须保持 self-conformance，不得 materialize `.prelude/**` 或 target
-  provider namespace。
-- legacy surfaces 不能恢复。
-- 应用代码和测试代码不能 import `repos/effect` 或 `repos/tsgo`。
-- CLI 必须使用 `effect/unstable/cli`，不能恢复 `@effect/cli`。
-- 当前 service definition baseline 是 `Context.Service`。
-
-## STAGE_TSGO_DIAGNOSTICS
-
-失败时先读 `harness/tsgo.md` 和 `harness/tsgo-routes.md`。
-
-这一 stage 是 Effect 语义 feedback 的主入口。
-
-修复时 SHOULD 先用 diagnostic name 定位 `repos/tsgo/_packages/tsgo/src/metadata.json`，再按
-`harness/tsgo-routes.md` 查具体 rule、fixture 或 quickfix 行为。
-
-MUST 修复代码或 policy。MUST NOT 用普通源码 suppressions、local override 或放宽 rule map
-绕过失败。
-
-## STAGE_TESTS
-
-失败时先读 `harness/effect-routes.md` 中 testing 路线。
-
-本仓测试使用 `@effect/vitest`。Effect 程序测试 SHOULD 使用 `it.effect`、`it.live` 或 `layer`
-组织，不用普通 `vitest` 入口替代。
-
-## STAGE_LINT
-
-失败时先读 `harness/diagnostic-layers.md`、`AGENTS.md` 和 `eslint.config.mjs`。
-
-lint stage 要求 0 error 和 0 warning。
-
-lint 规则用于补 tsgo 未覆盖的仓库边界，例如 import boundary、CLI baseline、测试入口和
-harness syntax-level guardrails。Effect 类型语义、Schema 语义、Layer 语义和 Effect-native
-API 偏好由 `tsgo-diagnostics` stage 负责。
-
-## STAGE_KNIP
-
-失败时先读 `package.json` 和相关 source exports/imports。
-
-knip stage 用于保持 provider package surface 最小。修复时 SHOULD 优先删除不需要的 exports、
-imports 或 package fields，而不是为了 silence knip 添加无意义引用。
-
-## DONE
-
-一次 loop 只有在以下条件同时满足时才完成：
-
-- `pnpm verify` 通过。
-- 失败过的 stage 已按对应 route 修复。
-- 没有新增 suppress、override、legacy surface 或 `repos/**` import。
-- diff 已 review，确认没有把第二阶段扩展成 Prelude target lifecycle 实现或 repo skill/hook/rules 建设。

package/harness/index.md

@@ -1,83 +0,0 @@
----
-audience: [agent, human]
-authors:
-  - codex
-reviewed_by: []
-purpose: 组织 effect-harness harness 层文档入口，并路由到根级 provider contract。
-status: active
-sources: []
-updated: 2026-07-02
----
-
-# Harness Index
-
-本仓文档按根级 `harness/` 和 `provider/` 拆分。`harness/` 维护本仓内部 source、route、
-policy 和 verifier；`provider/` 维护 target 接入时消费的 contract、docs bundle 和 snippets。
-
-本仓当前证明方式是 self-conformance。`pnpm verify` 验证 `effect-harness` 符合自己的
-provider contract，但本仓不 self-materialize `.prelude/**` 或 Prelude target lifecycle surface。
-
-## Documents
-
-| 文档 | 职责 | 不承载 |
-| --- | --- | --- |
-| `harness/offcial-guide.md` | 维护 Effect 官方 `Coding with LLMs` 小节的当前源口径、官方链接和官方段落。 | 本仓实践、迁移顺序、本机集成、provider profile、verifier 和 Prelude target surfaces。 |
-| `harness/offcial-migrate.md` | 描述官方三阶段建议在本仓的迁移状态、实现取舍、harness 与 provider 分层和集成判断。 | 官方原文镜像、通用 GitHub pin 流程和目标项目生命周期实现。 |
-| `harness/feedback-loop.md` | 投影第二阶段 Codex feedback loop、code-defined verify stages、stage route 和完成条件。 | Provider target materialization、repo skill/hook/rules 建设和通用 Partita pin 流程。 |
-| `harness/diagnostic-layers.md` | 定义 `tsgo-diagnostics`、`lint` 和 harness guardrails 的分层职责。 | strict tsgo rule map 本体、ESLint 规则实现和 package surface 维护。 |
-| `harness/code.md` | 说明本仓 TypeScript code surface 的职责和非职责。 | target runtime、业务 Effect application 和 Prelude lifecycle 实现。 |
-| `harness/source.md` | 描述本仓 provider-internal source entries、subtree pin 和 source boundary。 | 通用 Partita pin 设计和 Prelude target maintain 逻辑。 |
-| `harness/effect-routes.md` | 给 agent 提供读取 `repos/effect/` 的路线表。 | 目标项目 runtime assets 和 provider record materialization。 |
-| `harness/tsgo.md` | 记录 strict tsgo ADR、policy、rule map、exception 边界和 upgrade loop。 | Effect API 使用路线、通用 pin workflow 和 Prelude target lifecycle。 |
-| `harness/tsgo-routes.md` | 给 agent 提供读取 `repos/tsgo/` 的路线表。 | strict policy 决策和 provider target projection。 |
-| `provider/index.md` | 描述 target 消费 effect-harness provider profile、docs bundle 和 snippets 的方式。 | 本仓 source route 的完整内容和通用 pin workflow。 |
-
-## Harness
-
-这一层回答“`effect-harness` 本仓自己怎么运转”。
-
-| 意图 | 先读 | 真源 | 验证 |
-| --- | --- | --- | --- |
-| 理解官方三阶段路线 | `harness/offcial-guide.md` | Effect 官方 Introduction / Coding with LLMs | 不适用 |
-| 执行第二阶段 feedback loop | `harness/feedback-loop.md` | `src/harness/verify/VerifyStage.ts`、`src/harness/verify/Pipeline.ts`、`harness/effect-routes.md`、`harness/tsgo-routes.md` | `pnpm verify` |
-| 理解第一阶段 source access 实现 | `harness/offcial-migrate.md` | `repos/effect.subtree.json`、`harness/source.md`、`harness/effect-routes.md`、provider profile | `pnpm verify` |
-| 理解第三阶段 LSP/tsgo 实现 | `harness/offcial-migrate.md`、`harness/tsgo.md` | `repos/tsgo.subtree.json`、`repos/tsgo/_packages/tsgo/src/metadata.json`、`tsconfig.json`、provider profile | `pnpm verify` |
-| 理解 diagnostics/lint 分层 | `harness/diagnostic-layers.md` | `src/harness/verify/Pipeline.ts`、`src/harness/verify/VerifyStage.ts`、`eslint.config.mjs`、`src/harness/verify/TsgoPolicy.ts` | `pnpm verify` |
-| 理解仓内 TypeScript 代码用途 | `harness/code.md` | `bin/effect-harness.ts`、`src/harness/**`、`tests/*.test.ts` | `pnpm verify` |
-| 查看 source entry 契约 | `harness/source.md` | `repos/effect.subtree.json`、`repos/tsgo.subtree.json` | `pnpm verify` |
-| 按 agent 意图读取 Effect 源码 | `harness/effect-routes.md` | `repos/effect/LLMS.md`、`repos/effect/packages/**`、`repos/effect/ai-docs/src/**` | `pnpm verify` |
-| 按 agent 意图读取 tsgo 源码 | `harness/tsgo-routes.md` | `repos/tsgo/README.md`、`repos/tsgo/_packages/tsgo/src/**`、`repos/tsgo/internal/**`、`repos/tsgo/etscore/**` | `pnpm verify` |
-| 更新 source entries | `harness/source.md` | Partita GitHub subtree contracts、上游 Effect/tsgo repos | `pnpm source:update`、`pnpm verify`、subtree trailers |
-| 验证本仓边界 | `HARNESS.md` | `src/harness/**`、provider profile、source contract | `pnpm verify` |
-
-## Provider
-
-这一层回答“target 接入 effect-harness 时应该消费什么”。本仓声明 provider profile 和受管模板；
-实际生成、drift 和维护由 Prelude 执行。Prelude 本仓也可以作为 target 接入同一份 provider
-contract。
-
-| Prelude 消费内容 | 来源 | 由谁维护 | 目标项目是否接收源码 |
-| --- | --- | --- | --- |
-| provider profile、delivery modes 与 self-conformance contract | `provider/index.md`、`provider/effect-harness.provider.json` | effect-harness | 否 |
-| provider record 与 source identities | `provider/effect-harness.provider.json` | Prelude | 否 |
-| Effect package 基线 | provider profile | Prelude | 否 |
-| `tsgo --noEmit` 诊断路径 | provider profile、`harness/tsgo.md` | Prelude | 否 |
-| strict `@effect/language-service` policy | provider profile、`harness/tsgo.md` | Prelude | 否 |
-| target docs bundle | `provider/docs/index.md`、provider profile | Prelude | 否 |
-| target snippets | `provider/snippets/agents.md`、provider profile | Prelude | 否 |
-| 源码阅读路线 | `harness/effect-routes.md` | effect-harness | 仅 provider 仓内部使用 |
-| tsgo 源码阅读路线 | `harness/tsgo-routes.md` | effect-harness | 仅 provider 仓内部使用 |
-
-## 边界
-
-- Partita 负责 GitHub subtree pin 流程；effect-harness 不自建第二套 pin CLI。
-- effect-harness 负责 Effect/tsgo 源入口实例、路线、基线、provider profile、docs bundle、
-  snippets 和本仓验证。
-- effect-harness 使用 self-conformance 验证 exported harness contract，不生成 target provider
-  namespace。
-- Prelude 负责消费 provider profile，并在目标项目中维护 provider record、落地生成、drift、verify
-  和 maintain。
-- 业务代码和测试代码禁止从 `repos/effect` 或 `repos/tsgo` import。
-- 本仓不再分发 Codex skills 或目标 runtime 资产。
-- `.effect-harness.json`、effect-harness `.codex` 资产、反馈入口、effect-harness
-  `AGENTS.md` 管理块不属于当前 target surfaces。

package/harness/offcial-guide.md

@@ -1,50 +0,0 @@
----
-audience: [agent, human]
-authors:
-  - codex
-reviewed_by: []
-purpose: 维护 Effect 官方 Introduction 中 Coding with LLMs 小节的当前源口径。
-status: active
-sources:
-  - https://effect.website/docs/getting-started/introduction/
-  - https://effect.website/blog/the-one-weird-git-trick-that-makes-coding-agents-more-effect-ive/
-  - https://github.com/mikearnaldi/accountability
-  - https://github.com/Effect-TS/tsgo
-updated: 2026-07-01
----
-
-# Official Guide
-
-## Source
-
-官方来源是 Effect 文档
-[Getting Started / Introduction](https://effect.website/docs/getting-started/introduction/)
-中的 `Coding with LLMs` 小节。
-
-## Source Access
-
-> [!quote] Official excerpt
-> The following article describe how to use Effect with LLMs: https://effect.website/blog/the-one-weird-git-trick-that-makes-coding-agents-more-effect-ive/
-
-官方入口是
-[The One Weird Git Trick That Makes Coding Agents More Effect-ive](https://effect.website/blog/the-one-weird-git-trick-that-makes-coding-agents-more-effect-ive/)。
-
-源口径是：agent 应该能读取 Effect 真实源码作为上下文。
-
-## Feedback Loop
-
-> [!quote] Official excerpt
-> When using LLMs it is also very important to optimize the feedback loop to be as tight as possible, that can include writing custom linting rules to fit your style preferences and patterns, an example of a repository optimized for agentic coding can be found at: https://github.com/mikearnaldi/accountability
-
-官方入口是 [mikearnaldi/accountability](https://github.com/mikearnaldi/accountability)。
-
-源口径是：项目可以用自定义 lint rules、风格约束和 patterns 压短 agent 反馈回路。
-
-## LSP
-
-> [!quote] Official excerpt
-> A key part of optimizing the feedback loop (and the developer experience in general when using Effect) is to use the Effect LSP plugin, we advise using the latest “tsgo” implementation of it that can be found at: https://github.com/Effect-TS/tsgo
-
-官方入口是 [Effect-TS/tsgo](https://github.com/Effect-TS/tsgo)。
-
-源口径是：项目应该使用 Effect LSP plugin，并关注当前 `tsgo` 实现。

package/harness/offcial-migrate.md

@@ -1,220 +0,0 @@
----
-audience: [agent, human]
-authors:
-  - codex
-reviewed_by: []
-purpose: 说明 effect-harness 如何按官方 Coding with LLMs 三阶段建议完成当前迁移。
-status: active
-sources:
-  - harness/offcial-guide.md
-  - harness/source.md
-  - harness/effect-routes.md
-  - harness/tsgo.md
-  - harness/tsgo-routes.md
-  - provider/effect-harness.provider.json
-  - provider/docs/index.md
-  - provider/snippets/agents.md
-  - repos/effect.subtree.json
-  - repos/tsgo.subtree.json
-  - repos/effect/LLMS.md
-  - repos/tsgo/README.md
-  - https://effect.website/blog/the-one-weird-git-trick-that-makes-coding-agents-more-effect-ive/
-  - https://github.com/mikearnaldi/accountability
-  - https://github.com/Effect-TS/tsgo
-updated: 2026-07-02
----
-
-# Official Migrate
-
-## Scope
-
-官方 guide 在本仓被拆成三块推进：
-
-1. 让 agent 读取真实 Effect source。
-2. 参考项目级工程化反馈回路。
-3. 接入 Effect Language Service / tsgo，让 diagnostics 成为 hard gate。
-
-当前已经完成第一阶段、第二阶段的本仓 harness feedback loop、以及第三阶段。
-
-第二阶段不照抄 `mikearnaldi/accountability` 的业务、前端架构或旧 Effect 写法。本仓只迁移工程化
-理念：Codex 需要稳定入口、读取路线、可执行 hard gate 和失败后的回路。
-
-## Layering
-
-Harness 层维护 provider 仓内部事实：
-
-- `repos/effect/` 和 `repos/effect.subtree.json`
-- `repos/tsgo/` 和 `repos/tsgo.subtree.json`
-- `harness/effect-routes.md`
-- `harness/tsgo.md`
-- `harness/tsgo-routes.md`
-- `src/harness/**` verifier
-
-Provider 层把这些事实投影为 Prelude 可消费的 profile：
-
-- package baseline
-- source identities
-- `effect-tsgo patch`
-- `tsgo --noEmit`
-- strict `@effect/language-service` plugin policy
-- target-facing docs bundle
-- target-facing snippets
-- target 不接收 provider-internal source trees 的边界
-
-Prelude 负责目标项目 lifecycle、provider record、drift、verify 和 maintain。
-
-## Stage 1
-
-第一阶段对应官方文章的 source access 工作流。
-
-本仓通过 Partita GitHub subtree pin，把 Effect v4 beta 官方 source 固定到 `repos/effect/`。
-
-`repos/effect.subtree.json` 记录上游 repo、branch/ref、local prefix、split、anchor、agent route、
-editor policy、ownership 和 read-only/import block。
-
-`repos/effect/LLMS.md` 是 agent 写 Effect 程序逻辑前的 LLM anchor。
-
-`harness/effect-routes.md` 按 agent 意图组织读取路线，覆盖 API surface、tests、ai-docs、CLI、
-Node runtime、services、Schema、HTTP、AI、SQL、Cluster/RPC/Workflow 等路径。
-
-`src/harness/SourcePin.ts` 和 `src/harness/Guardrails.ts` 把以下边界变成 hard check：
-
-- source prefix 必须存在。
-- source prefix 必须是 committed Git tree entry，不能是 gitlink/submodule。
-- git history 必须有匹配 contract split 的 subtree trailer。
-- anchor 和 route 必须存在。
-- 应用代码和测试代码禁止从 source prefix import。
-- provider 仓 source pin 不投影到目标项目。
-
-## Stage 2
-
-第二阶段当前聚焦 `effect-harness` 本仓 harness 和 provider contract，不实现 Prelude target
-lifecycle。
-
-本仓把 Codex feedback loop 固定为：
-
-1. 进入 loop 前运行 `pnpm verify`，确认当前基线为 0。
-2. 按任务意图读取 `harness/index.md`、`harness/effect-routes.md` 和 `harness/tsgo-routes.md`。
-3. 做一轮最小修改。
-4. 运行 `pnpm verify`。
-5. 如果失败，按 verify stage 输出的 route 回到对应文档和 pinned source 修复。
-6. 重复到 `pnpm verify` 为 0。
-7. review diff，确认没有 suppress、override、`repos/**` import 或旧口径恢复。
-
-`pnpm verify` 由 Effect pipeline 组织，入口是 `effect-harness verify --harness .`。
-
-verify stage 真源是 `src/harness/verify/VerifyStage.ts`。`harness/feedback-loop.md` 只是
-agent-readable projection，并由 `harness-contract` stage 校验覆盖。
-
-pipeline 采用 fail-fast，stage 顺序是：
-
-| Stage | Route |
-| --- | --- |
-| `source-pins` | `harness/source.md` |
-| `harness-contract` | `harness/index.md`、`harness/offcial-migrate.md`、`harness/feedback-loop.md` |
-| `tsgo-diagnostics` | `harness/tsgo.md`、`harness/tsgo-routes.md` |
-| `tests` | `harness/effect-routes.md` |
-| `lint` | `harness/diagnostic-layers.md`、`AGENTS.md`、`eslint.config.mjs` |
-| `knip` | `package.json` |
-
-本阶段不引入：
-
-- accounting 业务规则。
-- React/TanStack 前端约束。
-- 参考仓旧 Effect service 写法。
-- 参考仓 language-service 配置。
-- auto agent loop。
-- repo skill。
-- Codex hook。
-- Codex rules。
-- 目标 runtime 模板。
-- feedback intake。
-- `.effect-harness.json` standalone state。
-- effect-harness 管理的目标 `AGENTS.md` block。
-
-## Stage 3
-
-第三阶段已经完成 strict tsgo 迁移。
-
-当前基线：
-
-- `@effect/tsgo@0.15.0`
-- `@effect/language-service@0.86.2`
-- `@typescript/native-preview@7.0.0-dev.20260630.1`
-
-本仓把 `Effect-TS/tsgo` pin 到 `repos/tsgo/`，commit 为
-`43ed476270fb3cf78fe7afac2086d67340ca0486`。该 commit 绑定当前 `@effect/tsgo@0.15.0`
-package baseline。
-
-`harness/tsgo.md` 记录 strict policy、rule map、diagnostic gate、import style、overrides、
-suppressions、key patterns、layer graph 和 upgrade loop。
-
-`harness/tsgo-routes.md` 按 agent 意图组织读取路线，覆盖 metadata、rules、fixtures、LSP、
-auto-import、setup、patch、schema/options、hooks 和 tests。
-
-`tsconfig.json` 和 provider profile 使用同一份 strict `@effect/language-service` plugin policy。
-
-`pnpm typecheck` 固定为：
-
-```bash
-tsgo --noEmit
-```
-
-`pnpm prepare` 固定为：
-
-```bash
-effect-tsgo patch
-```
-
-strict policy 要求 `tsgo --noEmit` 达到 0 error、0 warning、0 suggestion、0 message。warning
-和 suggestion 也通过 exit-code hard gate 参与失败判定。
-
-## Provider
-
-`provider/effect-harness.provider.json` 暴露两个 provider-internal source entries：
-
-- `effect-official-source`
-- `tsgo-official-source`
-
-provider profile 对目标项目的交付是 identity-only。目标项目接收 provider record 中的 source
-identity，不接收 `repos/effect/`、`repos/tsgo/` 或 subtree contract 本体。
-
-Provider target surfaces 保持受管且最小：
-
-- `.prelude/providers/effect-harness/provider.json`
-- `package.json` dependencies/devDependencies/script pointers
-- `tsconfig.json` language-service plugin projection
-- `.prelude/providers/effect-harness/docs/**`
-- `.prelude/providers/effect-harness/snippets/**`
-- provider artifact/source identities
-
-docs bundle 和 snippets 是 provider contributions。Prelude 本仓作为 target 时，也应该接收同一组
-managed surfaces。
-
-Provider 明确不交付：
-
-- `.codex` runtime files
-- effect-harness `AGENTS.md` managed block
-- `.effect-harness.json`
-- `.codex/effect-feedback`
-- target dispatcher scripts
-- relaxed/compatibility profile
-
-## Verification
-
-当前完成定义只认一个命令：
-
-```bash
-pnpm verify
-```
-
-`pnpm verify` 由 Effect pipeline 组织，按 `source-pins`、`harness-contract`、
-`tsgo-diagnostics`、`tests`、`lint`、`knip` 顺序 fail-fast 执行。
-
-`source-pins` stage 借用 Partita pin verifier。`harness-contract` stage 验证 source entries、
-provider profile、strict tsgo policy、package baseline、rule map、diagnostic suppressions 和
-import boundary。`tsgo-diagnostics` stage 运行 `tsgo --noEmit`，后续 stages 运行 tests、eslint
-和 knip。
-
-如果官方 guide、pinned source、tsgo metadata 或 provider profile 之间冲突，优先修正到官方真源
-和 pinned source，再更新最小 provider route。

package/harness/source.md

@@ -1,91 +0,0 @@
----
-audience: [agent, human]
-authors:
-  - codex
-reviewed_by: []
-purpose: 描述 effect-harness provider-internal source entries 与 source boundary。
-status: active
-sources:
-  - repos/effect.subtree.json
-  - repos/tsgo.subtree.json
-  - harness/effect-routes.md
-  - harness/tsgo-routes.md
-  - provider/effect-harness.provider.json
-updated: 2026-07-01
----
-
-# Source Entries
-
-## Contract
-
-本仓有两棵 provider-internal GitHub subtree source entries：
-
-| Name | Contract | Prefix | Anchor | Route | Split |
-| --- | --- | --- | --- | --- | --- |
-| `effect` | `repos/effect.subtree.json` | `repos/effect` | `repos/effect/LLMS.md` | `harness/effect-routes.md` | `e11cccc7d5fe631abccc7d6e3bd296938de0fa2e` |
-| `tsgo` | `repos/tsgo.subtree.json` | `repos/tsgo` | `repos/tsgo/README.md` | `harness/tsgo-routes.md` | `43ed476270fb3cf78fe7afac2086d67340ca0486` |
-
-两份 contract 都采用 Partita GitHub subtree pin shape：
-
-- `github.repository` 必须是 GitHub HTTPS URL。
-- `mechanism` 固定为 `git-subtree`。
-- `local.prefix` 是 provider 仓内部只读 source prefix。
-- `subtree.split` 必须等于 `github.ref`。
-- `subtree.trailer` 必须记录同一个 split。
-- `ownership.mode` 固定为 `provider`。
-- `boundaries.readOnly` 和 `boundaries.importBlock` 都是 `true`。
-
-## Boundary
-
-source entries 只给 agent 和本仓 verifier 读取，不投影到目标项目。
-
-目标项目可以接收 provider record 里的 source identity，但不接收 `repos/effect/`、`repos/tsgo/`
-或 subtree contract 本体。
-
-本仓应用代码和测试代码禁止从 `repos/effect` 或 `repos/tsgo` import。
-
-## Editor
-
-source entry 的 editor policy 是 contract 和 provider profile 的数据。
-
-`repos/**` auto-import exclude 是默认硬边界。
-
-watch/search exclude 是推荐项，需要按编辑器显式配置。
-
-files exclude 是用户偏好。Effect source entry 当前记录为 `enabled`，tsgo source entry 当前记录为
-`disabled`，因为 tsgo route/policy 迁移期间需要保持 source tree 可见。
-
-VSCode 和 Zed setting shape 分开记录。
-
-## Commands
-
-通用 source pin 流程由 Partita 提供：
-
-```bash
-pnpm source:status
-pnpm source:update
-pnpm source:verify
-```
-
-Partita 已发布为 `@sayoriqwq/partita@0.1.0`，bin 为 `partita`，source pin 子命令面是
-`partita pin plan/status/verify/add/update`。本仓 `source:*` scripts 和 provider-facing command
-strings 直接走 npm 包入口：
-
-```bash
-npx --yes @sayoriqwq/partita pin status --name effect --prefix repos/effect --contract repos/effect.subtree.json
-npx --yes @sayoriqwq/partita pin update --name effect --prefix repos/effect --contract repos/effect.subtree.json --dry-run
-npx --yes @sayoriqwq/partita pin verify --name effect --prefix repos/effect --contract repos/effect.subtree.json
-```
-
-`source:update` 当前仍是 dry-run 更新计划。真实 source pin 更新必须提交包含
-`git-subtree-dir` / `git-subtree-split` trailer 的 commit。
-
-完成态验证入口是：
-
-```bash
-pnpm verify
-```
-
-`pnpm verify` 的 `source-pins` stage 会调用 Partita pin verifier。`harness-contract` stage 会继续
-检查 source prefix、Git tree entry、subtree trailer、anchor、route、provider profile、
-package baseline 和 import boundary。

package/harness/tsgo-routes.md

@@ -1,58 +0,0 @@
----
-audience: [agent, human]
-authors:
-  - codex
-reviewed_by: []
-purpose: 给 agent 提供读取 pinned tsgo source 的路线表。
-status: active
-sources:
-  - repos/tsgo.subtree.json
-  - repos/tsgo/README.md
-  - repos/tsgo/_packages/tsgo/src/metadata.json
-  - repos/tsgo/_packages/tsgo/src/cli.ts
-  - repos/tsgo/_packages/tsgo/src/setup/
-  - repos/tsgo/etscore/
-  - repos/tsgo/internal/
-updated: 2026-07-01
----
-
-# Tsgo Source Routes
-
-## Boundary
-
-`repos/tsgo/` 是 provider 仓内部只读参考源，目标项目不接收这棵目录。
-
-应用代码和测试代码只能使用已安装 package 与 CLI，不从 `repos/tsgo` import。
-
-当前 pin 的 `Effect-TS/tsgo` commit 是 `43ed476270fb3cf78fe7afac2086d67340ca0486`，
-对应 `@effect/tsgo@0.15.0` package baseline。
-
-Partita package CLI 已发布为 `@sayoriqwq/partita@0.1.0`；本仓 `source:*` scripts 通过
-`npx --yes @sayoriqwq/partita pin ...` 执行，不依赖兄弟目录。
-
-## Routes
-
-| Agent 意图 | 先读 | 深入核对 | 适用输出 | 注意 |
-| --- | --- | --- | --- | --- |
-| 判断 tsgo pin 和 package baseline | `repos/tsgo.subtree.json`、`provider/effect-harness.provider.json` | `repos/tsgo/package.json`、`repos/tsgo/_packages/tsgo/package.json` | source identity、provider drift 判断 | commit 必须绑定当前 `@effect/tsgo` package version |
-| 理解 tsgo 在本仓的策略 | `harness/tsgo.md` | `tsconfig.json`、`src/harness/verify/TsgoPolicy.ts` | ADR、policy、verifier 修复 | policy 变化先改 ADR，再改 projection |
-| 理解官方 wrapper 和安装流程 | `repos/tsgo/README.md` | `repos/tsgo/_packages/tsgo/src/cli.ts` | setup/patch 解释、用户指令 | `effect-tsgo patch` 不是 typecheck binary |
-| 查 CLI 命令入口 | `repos/tsgo/_packages/tsgo/src/cli.ts` | `repos/tsgo/_packages/tsgo/src/setup/index.ts` | `setup`、`patch`、`unpatch`、`get-exe-path` 判断 | provider 只投影 `prepare` 和 `typecheck` 指针 |
-| 查 plugin option shape | `repos/tsgo/_packages/tsgo/src/config.ts`、`repos/tsgo/etscore/options.go` | `repos/tsgo/etscore/options_schema_test.go`、`repos/tsgo/etscore/options_test.go` | `tsconfig.json` plugin 字段 | 字段是顶层 plugin fields，不放进嵌套 `options` |
-| 查 diagnostic metadata | `repos/tsgo/_packages/tsgo/src/metadata.json` | `repos/tsgo/_packages/tsgo/src/presets.ts`、`repos/tsgo/_packages/tsgo/src/setup/rule-info.ts` | rule map、severity 决策 | 只采用 `supportedEffect` 包含 `v4` 的规则 |
-| 查 diagnostics 执行路径 | `repos/tsgo/internal/rulerunner/diagnostics.go` | `repos/tsgo/internal/rules/metadata.go`、`repos/tsgo/internal/rule/` | 诊断生命周期、rule dispatch 判断 | 不根据 README 摘要推断 rule 行为 |
-| 查具体 rule 行为 | `repos/tsgo/internal/rules/<rule>.go` | `repos/tsgo/internal/fixables/<rule>.go`、`repos/tsgo/internal/effecttest/` | 规则解释、修复建议 | 先看 metadata，再看实现和 fixture |
-| 查 quickfix 能力 | `repos/tsgo/internal/fixables/` | `repos/tsgo/internal/effecttest/quickfix_runner.go`、`quickfix_baseline.go` | 自动修复判断 | quickfix 存在不代表 provider 可以放宽 policy |
-| 查 refactor 能力 | `repos/tsgo/internal/refactors/` | `repos/tsgo/internal/effecttest/refactor_runner.go`、`refactor_baseline.go` | refactor route、编辑器能力 | refactor 属于 agent 可参考能力，不是 target 必装脚本 |
-| 查 completions | `repos/tsgo/internal/completions/` | `repos/tsgo/internal/completion/`、completion tests | snippet、completion 行为 | completion 只影响编辑体验，不改变 hard gate |
-| 查 auto-import 风格 | `repos/tsgo/internal/autoimportstyle/stylepolicy.go` | `repos/tsgo/internal/effecttest/autoimport_style_consistency_test.go` | import style 决策 | 本仓采用 official user docs 的 barrel named import |
-| 查 diagnostic suppress 指令 | `repos/tsgo/internal/directives/parser.go` | `repos/tsgo/internal/directives/parser_test.go`、`repos/tsgo/internal/completions/effect_diagnostics_comment.go` | suppress 检测和拒绝策略 | 本仓普通源码不允许 `:off` suppress |
-| 查 setup 修改逻辑 | `repos/tsgo/_packages/tsgo/src/setup/changes.ts` | `repos/tsgo/_packages/tsgo/src/setup/assessment.ts`、`target.ts` | package/tsconfig/editor projection 参考 | effect-harness 不复制 setup CLI，只声明 provider projection |
-| 查 native backend patch | `repos/tsgo/_packages/tsgo/src/setup/consts.ts` | `repos/tsgo/etscore/version_generated.go`、`repos/tsgo/etscore/climode.go` | native backend 判断 | 当前默认 `@typescript/native-preview` |
-| 查 language-server hooks | `repos/tsgo/etslshooks/` | `repos/tsgo/internal/effectconfigraw/hooks.go` | LSP 行为、document symbol、inlay hints | hooks 用于理解能力，不直接进 provider target |
-| 查 layer graph | `repos/tsgo/internal/layergraph/` | `repos/tsgo/internal/layergraph/*_test.go` | Mermaid、Layer 图推断 | 本仓需要图时维护本地 artifact，不默认外链 Mermaid |
-| 查 key builder | `repos/tsgo/internal/keybuilder/` | `repos/tsgo/internal/keybuilder/keybuilder_test.go` | deterministic key policy | provider 使用 service/error/custom default pattern |
-| 查 type parser | `repos/tsgo/internal/typeparser/` | `repos/tsgo/internal/typeparser/*_test.go` | rule 误报、类型识别排查 | 先确认 parser 能力，再判断是否需要 ADR 变化 |
-| 查 baselines 和 test harness | `repos/tsgo/internal/effecttest/` | `repos/tsgo/internal/effecttest/baseline.go`、`runner.go` | 回归排查、fixture 设计 | 本仓 verifier 不依赖 tsgo test harness |
-| 查 bundled Effect 识别 | `repos/tsgo/internal/bundledeffect/effect.go` | `repos/tsgo/internal/pluginoptions/resolver.go` | package/version 识别 | provider package baseline 仍以本仓 profile 为准 |
-| 升级 tsgo pin | `harness/tsgo.md`、`repos/tsgo.subtree.json` | 新旧 `repos/tsgo/_packages/tsgo/src/metadata.json` diff | upgrade plan、ADR 更新 | 新增 v4 rule 或语义变化必须让用户 decide |