@sayoriqwq/effect-harness 0.2.0 → 0.3.0

package/README.md

@@ -7,15 +7,27 @@ import effectHarnessEslintConfig from '@sayoriqwq/effect-harness/eslint'
 import { harnessModule } from '@sayoriqwq/effect-harness/prelude'
 ```
 
+The ESLint export contributes only two composable boundaries: application code
+must not import delivered `repos/effect/**` or `repos/tsgo/**` reference trees.
+tsgo is the sole authority for Effect and TypeScript semantics; Target owners
+choose all other ESLint rules in their own flat config.
+
 `harnessModule` plans a complete Integration-scoped managed knowledge tree,
-reference-only pinned source diagnostics, a bounded Control Root routing block,
-package-scoped TypeScript policy for each approved Package Root, editor
-configuration, requirements, checks, and target-state Issues. Planning is
-read-only; Prelude owns convergence and Target mutation.
+reference-only pinned source diagnostics, and a bounded Control Root routing
+block. Planning is read-only; Prelude owns convergence of those stable
+Harness-owned assets.
 
 Integration `feedback/**` is target-owned and never planned as an Output.
 Pinned Effect and tsgo sources are delivered offline from canonical archive
-files in the Artifact with immutable provenance; they
-are agent references, never application dependencies. The delivered Target Adaptation skill decides repository-specific
-package and TypeScript topology with the Target, then hands ongoing ownership
-back to that Target.
+files in the Artifact with immutable provenance; they are agent references,
+never application dependencies. The delivered Target Adaptation skill reads
+immutable managed Baseline and canonical policy data, observes repository-specific
+topology, obtains authorization before changing Target-owned package, lockfile,
+TypeScript, activation, lint, editor, or verification state, proves actual
+Effect-tsgo behavior, then hands ongoing ownership back to that Target.
+
+The reference publication authority chain is [Prelude Contract's normative
+archive protocol](https://github.com/yume-infra/prelude/blob/main/packages/harness-contract/README.md#canonical-tree-archive-protocol)
+→ [Partita production](https://github.com/sayoriqwq/partita#pins) → Effect
+Harness composition → [Prelude validation and
+materialization](https://github.com/yume-infra/prelude/blob/main/docs/v2-harness-convergence-contract.md#pinned-reference-trees).

package/artifact-assets/effect/managed/data/baseline.json

@@ -0,0 +1,83 @@
+{
+  "versions": {
+    "effect": "4.0.0-beta.97",
+    "tsgo": "0.19.0",
+    "typescript": "6.0.2",
+    "nativeTypescript": "7.0.2"
+  },
+  "typescriptTopology": {
+    "primaryCompiler": "nativeTypescript",
+    "effectSemanticAuthority": "tsgo",
+    "compilerApiCompatibility": "typescript"
+  },
+  "packages": {
+    "effect": {
+      "id": "runtime",
+      "packageName": "effect",
+      "range": "4.0.0-beta.97",
+      "installedIdentity": { "name": "effect", "version": "4.0.0-beta.97" },
+      "role": "runtime",
+      "target": { "presence": "required", "defaultSection": "dependencies", "peerFallbackSection": "devDependencies" },
+      "sourcePin": "effect"
+    },
+    "platformNode": {
+      "id": "platform-node",
+      "packageName": "@effect/platform-node",
+      "range": "4.0.0-beta.97",
+      "installedIdentity": { "name": "@effect/platform-node", "version": "4.0.0-beta.97" },
+      "role": "optional-platform",
+      "target": { "presence": "declared-or-manifest-unavailable", "defaultSection": "dependencies", "peerFallbackSection": "devDependencies" },
+      "sourcePin": "effect"
+    },
+    "effectVitest": {
+      "id": "vitest",
+      "packageName": "@effect/vitest",
+      "range": "4.0.0-beta.97",
+      "installedIdentity": { "name": "@effect/vitest", "version": "4.0.0-beta.97" },
+      "role": "effect-test-integration",
+      "target": { "presence": "required", "defaultSection": "devDependencies", "peerFallbackSection": "devDependencies" },
+      "sourcePin": "effect"
+    },
+    "tsgo": {
+      "id": "tsgo",
+      "packageName": "@effect/tsgo",
+      "range": "0.19.0",
+      "installedIdentity": { "name": "@effect/tsgo", "version": "0.19.0" },
+      "role": "effect-compiler-patch",
+      "target": { "presence": "required", "defaultSection": "devDependencies", "peerFallbackSection": "devDependencies" },
+      "sourcePin": "tsgo"
+    },
+    "typescript": {
+      "id": "typescript",
+      "packageName": "typescript",
+      "range": "npm:@typescript/typescript6@6.0.2",
+      "installedIdentity": { "name": "@typescript/typescript6", "version": "6.0.2" },
+      "role": "typescript-api",
+      "target": { "presence": "required", "defaultSection": "devDependencies", "peerFallbackSection": "devDependencies" },
+      "sourcePin": null
+    },
+    "nativeTypescript": {
+      "id": "native-typescript",
+      "packageName": "@typescript/native",
+      "range": "npm:typescript@7.0.2",
+      "installedIdentity": { "name": "typescript", "version": "7.0.2" },
+      "role": "native-compiler",
+      "target": { "presence": "required", "defaultSection": "devDependencies", "peerFallbackSection": "devDependencies" },
+      "sourcePin": null
+    }
+  },
+  "sourcePins": {
+    "effect": {
+      "publicationName": "effect",
+      "outputId": "effect.reference.effect",
+      "targetPath": "repos/effect",
+      "sourceUrl": "https://github.com/Effect-TS/effect-smol"
+    },
+    "tsgo": {
+      "publicationName": "tsgo",
+      "outputId": "effect.reference.tsgo",
+      "targetPath": "repos/tsgo",
+      "sourceUrl": "https://github.com/Effect-TS/tsgo"
+    }
+  }
+}

package/artifact-assets/effect/managed/data/tsgo-policy.json

@@ -0,0 +1,102 @@
+{
+  "name": "@effect/language-service",
+  "diagnostics": true,
+  "includeSuggestionsInTsc": true,
+  "ignoreEffectSuggestionsInTscExitCode": false,
+  "ignoreEffectWarningsInTscExitCode": false,
+  "ignoreEffectErrorsInTscExitCode": false,
+  "diagnosticSeverity": {
+    "anyUnknownInErrorContext": "error",
+    "asyncFunction": "warning",
+    "catchAllToMapError": "suggestion",
+    "catchToIgnore": "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",
+    "flatMapToMap": "suggestion",
+    "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"
+  },
+  "barrelImportPackages": ["effect"],
+  "topLevelNamedReexports": "follow",
+  "effectFn": ["span"],
+  "keyPatterns": [
+    { "target": "service", "pattern": "default", "skipLeadingPath": ["src/"] },
+    { "target": "error", "pattern": "default", "skipLeadingPath": ["src/"] },
+    { "target": "custom", "pattern": "default", "skipLeadingPath": ["src/"] }
+  ],
+  "extendedKeyDetection": true,
+  "layerGraphFollowDepth": 1,
+  "noExternal": true,
+  "inlays": true,
+  "allowedDuplicatedPackages": [],
+  "pipeableMinArgCount": 2
+}

package/artifact-assets/effect/managed/docs/diagnostic-layers.md

@@ -5,15 +5,19 @@ Each feedback layer has one job:
 - tsgo owns TypeScript and Effect semantics, including error/context/layer
   channels, generators, Schema behavior, v4 API drift, and Effect-native fixes.
 - tests own behavioral regression.
-- ESLint owns import boundaries, package conventions, Effect test entries, and
-  syntax-only repository rules that tsgo does not represent.
-- Harness verification owns policy equality, source provenance, route
-  reachability, suppression rejection, and packed Artifact completeness.
+- Harness ESLint owns only two architectural import boundaries: application
+  code must not import `repos/effect/**` or `repos/tsgo/**`.
+- Target owners compose every other ESLint rule, including package, test,
+  syntax, style, and project-specific policy.
+- Harness verification owns policy equality, diagnostic inventory, source
+  provenance, route reachability, and packed Artifact completeness.
 
-If tsgo and ESLint prescribe conflicting Effect code, keep the verified tsgo
-behavior and narrow ESLint. Both the public Target adapter and Effect Harness's
-repository self adapter intentionally permit `Effect.ignore` because the
-current tsgo policy can recommend it. They also apply the same canonical
-`effect-harness/no-disable-validation` rule and reject
-`{ disableValidation: true }`; only delivery and surrounding repository
-composition differ.
+The public Target adapter and Effect Harness's repository self adapter consume
+the same two canonical boundaries; only delivery and surrounding configuration
+differ. Harness ESLint does not express Effect API, Schema, test-entry, package
+migration, semantic, or style rules. If tsgo does not yet express an Effect or
+TypeScript constraint, the Harness leaves it unenforced until tsgo does; it does
+not add a syntax-only substitute.
+
+Suppression syntax and semantics belong to tsgo. Permission and rationale are
+Target-owned exceptions; Harness ESLint neither detects nor rejects them.

package/artifact-assets/effect/managed/docs/diagnostics.md

@@ -12,8 +12,12 @@ severity all matter to completion.
    `repos/tsgo/_packages/tsgo/src/metadata.json`.
 4. Follow [tsgo-source.md](./tsgo-source.md) to its implementation, quick fix,
    and fixture.
-5. Re-run the package-scoped Check that failed.
+5. Re-run the Target's real typecheck path that failed.
 
-Do not use Effect diagnostic suppression comments, local severity overrides, or
-weaker compiler settings to make the gate green. When ESLint conflicts with a
-supported tsgo rewrite, tsgo wins and the syntax rule must be narrowed.
+Fix diagnostics without weakening the canonical policy. Preserve existing
+Target-owned suppression decisions unless an audit was requested. Never add a
+suppression merely to make verification green; a new exception requires the
+smallest practical scope, an explained diagnostic and alternative, explicit
+authorization, and durable Target-owned rationale. tsgo owns suppression
+semantics and remains the sole Effect/TypeScript semantic authority; Harness
+ESLint only protects the two delivered pinned-reference import boundaries.

package/artifact-assets/effect/managed/docs/editor-policy.md

@@ -4,8 +4,9 @@ Delivered `.prelude/**/repos/**` source is searchable evidence, not application
 source. Keep it out of TypeScript compilation, auto-import candidates, file
 watching, and ordinary editor indexing.
 
-Prelude can safely materialize declared structured editor settings. The
-[adapt-effect-target skill](../skills/adapt-effect-target/SKILL.md) must inspect
-the real tsconfig inheritance and broad include globs, then propose any
-additional Target-owned exclusions. Do not assume one repository-wide setting
-covers every editor or project topology.
+The [adapt-effect-target skill](../skills/adapt-effect-target/SKILL.md) inspects
+which editors the Target actually uses, the real tsconfig inheritance, and broad
+include globs before proposing Target-owned exclusions or language-server
+settings. Verify that editor tooling resolves the same patched TypeScript 7
+backend as the command line. Do not create irrelevant editor state or assume one
+repository-wide setting covers every project topology.

package/artifact-assets/effect/managed/docs/effect-code.md

@@ -3,6 +3,11 @@
 Use installed `effect`, `@effect/platform-node`, and `@effect/vitest` packages.
 Never import the delivered `repos/**` reference trees.
 
+[`../data/baseline.json`](../data/baseline.json) is the machine-readable
+authority for package identities and roles. Formal TypeScript 7 is the primary
+compiler patched by Effect-tsgo; TypeScript 6 supplies compiler-API compatibility
+for tools that still require it and is not a second semantic authority.
+
 | Role | Package | Accepted range | Presence | Default section | Peer fallback |
 | --- | --- | --- | --- | --- | --- |
 | `runtime` | `effect` | `4.0.0-beta.97` | `required` | `dependencies` | `devDependencies` |
@@ -25,10 +30,9 @@ and placement; it does not change these accepted versions or roles.
   make a signature easier.
 - Use Effect resource and Scope operators instead of ad hoc cleanup.
 - Use `NodeRuntime.runMain` for Node entry points.
-- Use `effect/unstable/cli`, not the retired `@effect/cli` package.
-- Use `it.effect`, `it.live`, or `layer` from `@effect/vitest` for Effect tests.
-- Let tsgo own type-aware Effect idioms and quick fixes. Do not duplicate or
-  contradict them with syntax-only lint rules.
+- Let tsgo own type-aware Effect idioms and quick fixes. Harness ESLint does not
+  duplicate them with syntax-only rules; Target owners choose any additional
+  package, test, syntax, or style lint policy.
 
 For an unfamiliar API or behavior, follow [effect-source.md](./effect-source.md)
 instead of guessing from memory.

package/artifact-assets/effect/managed/docs/feedback-loop.md

@@ -2,14 +2,15 @@
 
 Use one small change and one named failure route at a time:
 
-1. Identify the selected package root and the failing Plan declaration or
-   Check.
-2. Read the route from [index.md](./index.md).
-3. Inspect delivered source only when managed guidance is insufficient.
+1. Converge the stable Harness-owned managed, routing, and reference Outputs.
+2. Enter [Control Handoff](../skills/adapt-effect-target/SKILL.md) and observe the
+   actual Target before proposing adaptation.
+3. Obtain authorization before any Target mutation.
 4. Make the smallest approved Target-owned change.
-5. Replan before Apply; after Apply, replan again before Checks.
-6. Run all declared Checks and review the resulting diff.
+5. Verify actual compiler activation and a representative unsuppressed
+   diagnostic through the Target's real typecheck path.
+6. Run the Target's own checks and review the resulting diff and durable evidence.
 
-An Output can converge atomically while a later Output or install fails. That
-state is incomplete: preserve the failure evidence, do not run Checks, do not
-claim convergence, and continue from a fresh Plan.
+Stable Output convergence does not prove Target Adaptation. If installation,
+activation, or a Target command fails, preserve the evidence and do not claim
+completion.

package/artifact-assets/effect/managed/docs/index.md

@@ -5,6 +5,10 @@ editor, lint, or diagnostic work in this Integration.
 
 ## Start here
 
+- Baseline package, compiler-role, or Source Pin data:
+  [`../data/baseline.json`](../data/baseline.json).
+- Complete canonical Effect-tsgo policy data:
+  [`../data/tsgo-policy.json`](../data/tsgo-policy.json).
 - First integration, upgrade, package selection, or tsconfig placement:
   [adapt-effect-target](../skills/adapt-effect-target/SKILL.md).
 - Effect implementation or tests: [effect-code.md](./effect-code.md), then
@@ -20,7 +24,7 @@ editor, lint, or diagnostic work in this Integration.
 
 ## Evidence order
 
-Use this order: the failing diagnostic or Check, managed policy, the delivered
+Use this order: the failing Target command, managed policy data, the delivered
 Effect source, then the delivered tsgo source for diagnostic internals. Do not
 scan large reference trees before the managed route identifies the relevant
 package, module, rule, or fixture.

package/artifact-assets/effect/managed/docs/managed-surfaces.md

@@ -9,6 +9,7 @@ One Integration Workspace contains three sibling zones:
 - `feedback/**`: Target-owned evidence and notes, never an Output and preserved
   across Apply and upgrade.
 
-The root routing block is Harness-owned inside `AGENTS.md`. Target package and
-executable configuration remain Target-owned except for the exact structured
-items declared as Prelude Outputs.
+The root routing block is Harness-owned inside `AGENTS.md`. Target package
+manifests, lockfiles, tsconfig files, compiler activation, executable lint
+configuration, editor state, verification scripts, and suppression rationale
+remain Target-owned and are adapted only after authorization.

package/artifact-assets/effect/managed/docs/package-config.md

@@ -1,23 +1,28 @@
-# Package, TypeScript, and ESLint configuration
-
-Run [adapt-effect-target](../skills/adapt-effect-target/SKILL.md) when selecting
-package roots or repairing TypeScript inheritance. The Harness declares the
-complete named language-service item at each approved root; the skill decides
-which roots actually author Effect and how secondary projects inherit it.
-The projected item is the same canonical policy that Effect Harness verifies
-for itself: diagnostics and tsc suggestions are enabled, every Effect
-diagnostic severity is explicit, and no warning, suggestion, or error is
-removed from the tsc exit code. Target placement and inheritance differ from
-Harness self-hosting, but the policy values do not. Do not replace the item
-with a partial plugin entry or local severity overrides.
-
-Dependencies are resolved before Apply. Review exact manifest and workspace
-lock changes, then replan. Apply performs only the approved frozen install and
-must not resolve a range again.
+# Package, TypeScript, activation, and ESLint configuration
+
+Run [adapt-effect-target](../skills/adapt-effect-target/SKILL.md) after Prelude
+delivers the stable Harness-owned Outputs. The skill reads the immutable
+[`../data/baseline.json`](../data/baseline.json) and
+[`../data/tsgo-policy.json`](../data/tsgo-policy.json), observes the repository,
+and proposes one reviewable Target-owned landing before mutation.
+
+The proposal selects Effect-authoring package roots, one toolchain root and
+Effect-tsgo activation owner, package-manager and lockfile changes, TypeScript 6
+compatibility needs, the tsconfig inheritance landing for the complete canonical
+policy, relevant editors, and actual verification commands. Folder names,
+package presence, or a plugin item alone are not convergence evidence.
+
+Formal TypeScript 7 is the primary compiler. Effect-tsgo running on that backend
+is the sole Effect/TypeScript semantic authority. TypeScript 6 remains an
+explicit compiler-API compatibility package where current tooling requires it.
+After authorization, use the Target's own package manager and lifecycle, then
+prove actual compiler identity, patch activation, and representative diagnostic
+exit behavior.
 
 ## ESLint composition
 
-Executable ESLint configuration is Target-owned. Compose the stable export:
+Executable ESLint configuration is Target-owned. Adapt its established
+composition framework to include the stable export:
 
 ```js
 import antfu from '@antfu/eslint-config'
@@ -27,4 +32,6 @@ export default antfu().append(...effectHarness)
 ```
 
 Antfu v9 returns a `FlatConfigComposer`; do not spread `antfu()` into an array.
-ESLint owns syntax and repository boundaries, while tsgo owns Effect semantics.
+Append the Harness export so later host or test overlays cannot replace its two
+pinned-reference import boundaries. Those boundaries are the complete
+Harness-owned ESLint policy. The Target owns every other lint rule.

package/artifact-assets/effect/managed/docs/quality-policy.md

@@ -1,18 +1,16 @@
 # Quality and completion policy
 
-An Integration is complete only after a fresh Plan is converged and every
-declared package-scoped Check passes. The standard Checks are strict Effect
-type checking, lint with zero warnings, and the Target's verification command.
+Stable Prelude Output convergence is the prerequisite for Control Handoff, not
+proof that a Target toolchain works. Target Adaptation is complete only when:
 
-Failure routes:
+- the authorized package, lockfile, tsconfig, activation, ESLint, editor, and
+  verification changes match the actual repository topology;
+- the selected TypeScript 7 and Effect-tsgo identities and patch activation are
+  proven through real tools;
+- a representative unsuppressed Effect diagnostic reaches the Target's real
+  typecheck path and affects its exit code under the canonical policy;
+- the Target's own lint, test, and verification commands pass; and
+- durable Target-owned rationale and verification evidence are reviewed.
 
-- Effect or TypeScript diagnostic: [diagnostics.md](./diagnostics.md).
-- Test behavior: [effect-code.md](./effect-code.md) and
-  [effect-source.md](./effect-source.md).
-- ESLint conflict or composition: [diagnostic-layers.md](./diagnostic-layers.md)
-  and [package-config.md](./package-config.md).
-- Source provenance or route: [source-identity.md](./source-identity.md).
-- Package selection or tsconfig landing: run the Target Adaptation skill.
-
-Never replace a named stage with a weaker proxy command and never claim Gate
-completion from schema validity alone.
+Schema validity, installed packages, or the presence of a plugin item are not
+substitutes for actual execution.

package/artifact-assets/effect/managed/skills/adapt-effect-target/SKILL.md

@@ -1,63 +1,73 @@
 ---
 name: adapt-effect-target
-description: Inspect a real repository, select the packages that author or compose Effect, and prepare reviewable Prelude V2 and TypeScript configuration changes. Use when first integrating or upgrading Effect Harness, when a monorepo package selection changes, or when the declared Effect tsconfig Output lands at the wrong project boundary.
+description: Adapt a delivered Effect Harness integration to a real Target repository through Control Handoff. Use for first integration, upgrades, package or project topology changes, compiler activation repair, or verification of Effect-tsgo behavior.
 ---
 
 # Adapt Effect Target
 
-Map the delivered Effect policy onto the Target's actual package and TypeScript
-topology, then hand control back through committed configuration and checks.
-
-## Workflow
-
-1. Read `../../docs/index.md`, `../../docs/package-config.md`, and the Target's
-   root `AGENTS.md` before proposing changes.
-2. Inspect workspace manifests, package manifests, direct Effect imports,
-   Layer and Service composition, runnable entries, and the `extends` graph of
-   relevant tsconfig files. Do not infer selection from folder names alone.
-3. Select a package root when that package directly authors or composes Effect
-   programs. Leave a consumer unselected only when its boundary is genuinely
-   Effect-opaque, such as a Promise or plain domain interface.
-4. Present the proposed nonempty `packageRoots` and every Target-owned config
-   repair before editing. Explain why each selected root owns an Effect policy
-   landing and how secondary build, test, or runtime projects inherit it.
-5. After user approval, record the selection in `.prelude/config.jsonc` and
-   make only the approved Target-owned tsconfig or executable-config repairs.
-   Never edit delivered `managed/**` or `repos/**` content.
-6. Run the installed Prelude plan flow. Verify that the Plan contains one
-   Integration-scoped managed tree and pinned reference set, plus one complete
-   language-service policy Output and package-scoped Requirements and Checks
-   for every selected root. Resolve locator or ownership surprises before
-   Apply.
-7. Apply only the approved Plan, replan, then run the declared Target Checks.
-   Inspect the resulting plugin item for local `overrides` or lowered
-   `diagnosticSeverity` entries, and inspect relevant source changes for
-   `@effect-diagnostics` suppression directives. Do not claim convergence when
-   policy was weakened, Apply is incomplete, or a Check is skipped.
-8. Leave durable reasoning in committed config, reviewable diffs, and, when
-   useful, Target-owned `feedback/**`; do not leave the selection rationale
-   only in chat. Hand ongoing ownership back to the Target.
-
-## Selection example
-
-For `packages/domain`, `packages/effect-runtime`, `apps/api`, and `apps/jobs`:
-
-- Select `packages/effect-runtime` when it defines shared Layers and Services.
-- Select `apps/jobs` when it directly composes and runs Effect workflows.
-- Select `apps/api` if it builds Effect routes itself; otherwise leave it out
-  only when it consumes an Effect-opaque interface from `effect-runtime`.
-- Leave `packages/domain` out when it contains plain domain types and logic.
-
-The package layout is evidence, not the answer. Confirm the actual imports,
-composition, execution, and tsconfig inheritance.
+Perform Target Adaptation only after Prelude delivers the stable Harness-owned
+managed tree, routing block, and pinned reference trees. The Target owns every
+repository-specific change.
+
+## Authority
+
+Read `../../data/baseline.json` and `../../data/tsgo-policy.json`; never copy
+versions or policy values from prose or memory. The Baseline names formal
+TypeScript 7 as the primary compiler, Effect-tsgo as the sole Effect/TypeScript
+semantic authority, and TypeScript 6 as compiler-API compatibility. Preserve
+TypeScript 6 wherever current Target tooling still requires it.
+
+Read `../../docs/index.md`, `../../docs/package-config.md`, and the Target's
+root instructions before acting. Treat delivered `managed/**` and `repos/**`
+as read-only evidence.
+
+## Control Handoff
+
+1. **Observe.** Inspect the package manager, workspace manifests and lockfile,
+   direct Effect authoring and Effect-opaque boundaries, tsconfig inheritance,
+   build/test/editor projects, existing compiler and patch lifecycle, executable
+   ESLint composition, editors actually used, verification commands and CI, and
+   existing suppression decisions. Do not infer ownership from folder names.
+2. **Propose.** Present one reviewable adaptation covering selected package
+   roots, one toolchain root and activation owner, TypeScript 6 compatibility,
+   the complete policy landing and inheritance, package and lockfile changes,
+   Effect-tsgo activation, ESLint composition, relevant editor changes,
+   verification scripts and commands, intended suppression changes, and the
+   location of durable evidence.
+3. **Authorize.** Obtain explicit authorization for that proposal before any
+   mutation. If discovery changes the proposal materially, stop and authorize
+   the revised proposal.
+4. **Mutate.** Make only authorized Target-owned changes to manifests, lockfiles,
+   tsconfig files, activation or prepare scripts, executable ESLint config,
+   relevant editor config, verification scripts, and durable configuration or
+   `feedback/**` evidence. Install with the Target's package manager and preserve
+   the complete canonical policy item and severity values.
+5. **Verify.** Run the actual compiler and prove the selected TypeScript 7 and
+   pinned Effect-tsgo identities and activation. Exercise a representative
+   unsuppressed Effect diagnostic through the Target's real typecheck path and
+   confirm its exit code, then run the Target's own lint, tests, and verification
+   commands. Package presence or a plugin item alone is not proof.
+6. **Hand back.** Review the diff, record the toolchain and project-selection
+   rationale in committed Target-owned state, report exact verification evidence,
+   and return ongoing control to the Target.
+
+## Suppression exceptions
+
+Suppression syntax and semantics belong to Effect-tsgo; permission and rationale
+belong to the Target. Preserve existing suppression decisions unless the Target
+requests an audit. Never add suppression merely to make verification pass.
+
+A new exception requires the explained diagnostic, the smallest practical
+scope, alternatives considered, explicit authorization, and durable
+Target-owned rationale. It must not lower the canonical policy for unsuppressed
+diagnostics.
 
 ## Guardrails
 
-- Never discover and silently claim every workspace package.
-- Never run Git fetch, clone, subtree, or `$pin` in the Target. Delivered
-  `repos/**` trees are read-only reference evidence owned by Effect Harness.
-- Never import delivered reference trees from application or test code.
-- Never weaken or suppress the canonical diagnostic policy to make a Check
-  pass; route failures through the managed diagnostic guidance.
-- Never describe Prelude core as proving business-topology coverage. This skill
-  owns selection correctness; Prelude owns safe materialization correctness.
+- Never mutate during observation or before authorization.
+- Never weaken, partially reproduce, or locally override the canonical policy.
+- Never patch once per package in a monorepo; use the authorized activation owner.
+- Never add package-manager, tsconfig, editor, executable-config, or activation
+  semantics to Prelude core or the Harness Module Plan.
+- Never import or edit delivered reference trees, and never run pin maintenance
+  commands in the Target.

package/artifact-assets/effect/managed/skills/adapt-effect-target/agents/openai.yaml

@@ -1,4 +1,4 @@
 interface:
   display_name: Adapt Effect Target
-  short_description: Map Effect policy onto a real target repository
-  default_prompt: Use $adapt-effect-target to select the Effect package roots and prepare their TypeScript configuration.
+  short_description: Authorize and verify Target-owned Effect adaptation
+  default_prompt: 'Use $adapt-effect-target to propose, authorize, apply, and verify this repository''s Effect toolchain adaptation.'