@sayoriqwq/effect-harness 0.0.4 → 0.1.1

package/provider/docs/quality-policy.md

@@ -1,68 +0,0 @@
----
-audience: [agent, human]
-authors:
-  - codex
-reviewed_by: []
-purpose: 说明 target 接入 effect-harness 后 lint、test 与 verify policy 的受管口径。
-status: active
-sources:
-  - provider/effect-harness.provider.json
-  - harness/diagnostic-layers.md
-  - harness/feedback-loop.md
-  - harness/effect-routes.md
-updated: 2026-07-02
----
-
-# Quality Policy
-
-## Lint
-
-lint policy 负责 repository boundary 和 syntax-level guardrails。
-
-target 的 lint entry 由 provider package contribution 暴露为 `pnpm lint`，底层脚本是 `eslint`。
-需要 hard gate 时，verification policy 使用 `pnpm lint --max-warnings 0`。
-
-lint policy SHOULD block provider-internal source imports、`@effect/cli` imports、`node:test` imports、
-从 `vitest` 导入测试入口（`describe`、`it`、`test`）、`Context.Tag` service definitions、指定 Effect
-member，以及关闭 Schema validation 的写法。
-
-lint policy SHOULD allow Vitest mock/lifecycle API（例如 `vi`、`beforeEach`）直接从 `vitest` 导入，因为
-Vitest 的 mock transformer 依赖直接导入。
-
-lint policy MUST NOT 替代 tsgo diagnostics。Effect semantic diagnostics、type requirement diagnostics 和
-strict rule severity map 由 tsgo policy 负责。
-
-## Tests
-
-test policy 使用 `@effect/vitest`。
-
-target 的 test entry 由 provider package contribution 暴露为 `pnpm test`，底层脚本是
-`vitest run`。
-
-Effect tests SHOULD 使用 `it.effect`、`it.live` 或 layer 组织。
-
-target SHOULD 保留 provider record 中声明的 test entry pattern，并通过 package script 执行测试。
-
-## Verification
-
-`pnpm verify` 是 completion gate。
-
-verification policy 描述 local diagnostic commands 和 stage semantics，但不实现 Prelude target lifecycle。
-
-Prelude 仍负责 target materialization、provider record maintain、drift handling 和 target-level verify
-orchestration。target 的总 `pnpm verify` MAY include build、knip 或 release gates；effect-harness
-必须至少把 `pnpm typecheck`、`pnpm test` 和 `pnpm lint --max-warnings 0` 组合进 target verify。
-
-## Stages
-
-source-pins stage 负责 source identity 与 pinned upstream source contract。
-
-harness-contract stage 负责 provider contract 与 self-conformance。
-
-tsgo-diagnostics stage 负责 Effect semantic diagnostics。
-
-tests stage 负责 behavior regression。
-
-lint stage 负责 repository boundary 和 syntax-level guardrails。
-
-knip stage 负责 package surface hygiene。

package/provider/docs/source-identity.md

@@ -1,48 +0,0 @@
----
-audience: [agent, human]
-authors:
-  - codex
-reviewed_by: []
-purpose: 说明 target 如何接收 effect-harness provider-internal source pin 的 identity。
-status: active
-sources:
-  - provider/effect-harness.provider.json
-  - harness/source.md
-  - repos/effect.subtree.json
-  - repos/tsgo.subtree.json
-updated: 2026-07-02
----
-
-# Source Identity
-
-## Model
-
-effect-harness 在 provider 仓内部 pin 住 Effect 和 tsgo source entries。
-
-target 不接收 source tree 本体。target 只通过 provider record 接收 artifact/source identity。
-
-source tree、subtree contract、anchor docs 和 route docs 是 provider artifact reference。它们随
-effect-harness package artifact 可供审计或 agent 读取，但 delivery mode 是 artifact-only。
-
-## Target Record
-
-provider record SHOULD 记录：
-
-- provider id、contract version、provider version 和 profile。
-- provider artifact identity。
-- Effect source identity。
-- tsgo source identity。
-- managed surfaces 和 verification record id。
-
-source identity 表示 provider 建设随着上游 source pin 住且可更新。它不是 target 本地源码目录。
-
-## Boundary
-
-target MUST NOT materialize `repos/effect/`、`repos/tsgo/`、`repos/effect.subtree.json` 或
-`repos/tsgo.subtree.json`。
-
-target delivery 只允许 identity-only 字段，例如 source name、contract path、GitHub ref 和 subtree
-split。
-
-source pin lifecycle 由 Partita 处理。effect-harness 维护 Effect/tsgo source identity 与 provider
-artifact reference。target update 由 Prelude maintain 处理。