@sayoriqwq/effect-harness 0.0.4 → 0.1.1

package/provider/effect-harness.provider.json

@@ -1,1020 +0,0 @@
-{
-  "schemaVersion": 1,
-  "provider": {
-    "id": "effect-harness",
-    "contractVersion": "1",
-    "providerVersion": "0.1.0",
-    "defaultProfile": "codex-effect-v4"
-  },
-  "deliveryModes": {
-    "internalHarness": {
-      "mode": "internal-harness",
-      "description": "Provider repository content used only to maintain effect-harness itself. It is checked by self-conformance but is not target materialized.",
-      "examples": [
-        "harness/**",
-        "src/harness/**",
-        "tests/**"
-      ]
-    },
-    "providerArtifactReference": {
-      "mode": "provider-artifact-reference",
-      "description": "Reference content carried by the provider artifact for audit and agent source access. Targets record identity but do not maintain these files locally.",
-      "examples": [
-        "repos/effect/**",
-        "repos/tsgo/**",
-        "repos/effect.subtree.json",
-        "repos/tsgo.subtree.json",
-        "harness/effect-routes.md",
-        "harness/tsgo-routes.md"
-      ]
-    },
-    "exportedHarness": {
-      "mode": "exported-harness",
-      "description": "Target-facing provider contribution that Prelude may materialize and maintain in a target repository.",
-      "examples": [
-        "provider record",
-        "package.json contribution",
-        "tsconfig.json contribution",
-        "provider-managed docs bundle",
-        "provider-managed snippets"
-      ]
-    }
-  },
-  "artifactReferences": {
-    "mode": "provider-artifact-reference",
-    "targetDelivery": "identity-only",
-    "packageSurface": [
-      "provider",
-      "harness",
-      "repos",
-      "repos/effect.subtree.json",
-      "repos/tsgo.subtree.json"
-    ],
-    "references": {
-      "effect-source-tree": {
-        "sourceEntry": "effect-official-source",
-        "path": "repos/effect",
-        "targetDelivery": "artifact-only"
-      },
-      "effect-source-contract": {
-        "sourceEntry": "effect-official-source",
-        "path": "repos/effect.subtree.json",
-        "targetDelivery": "artifact-only"
-      },
-      "effect-anchor-doc": {
-        "sourceEntry": "effect-official-source",
-        "path": "repos/effect/LLMS.md",
-        "targetDelivery": "artifact-only"
-      },
-      "effect-route-doc": {
-        "sourceEntry": "effect-official-source",
-        "path": "harness/effect-routes.md",
-        "targetDelivery": "artifact-only"
-      },
-      "tsgo-source-tree": {
-        "sourceEntry": "tsgo-official-source",
-        "path": "repos/tsgo",
-        "targetDelivery": "artifact-only"
-      },
-      "tsgo-source-contract": {
-        "sourceEntry": "tsgo-official-source",
-        "path": "repos/tsgo.subtree.json",
-        "targetDelivery": "artifact-only"
-      },
-      "tsgo-anchor-doc": {
-        "sourceEntry": "tsgo-official-source",
-        "path": "repos/tsgo/README.md",
-        "targetDelivery": "artifact-only"
-      },
-      "tsgo-route-doc": {
-        "sourceEntry": "tsgo-official-source",
-        "path": "harness/tsgo-routes.md",
-        "targetDelivery": "artifact-only"
-      }
-    }
-  },
-  "selfConformance": {
-    "mode": "provider-repository",
-    "conformsTo": "exported-harness",
-    "completionGate": "pnpm verify",
-    "selfMaterialization": false,
-    "forbiddenProviderRepositorySurfaces": [
-      ".prelude",
-      ".prelude/providers",
-      ".prelude/providers/effect-harness",
-      ".prelude/providers/effect-harness/provider.json",
-      ".prelude/providers/effect-harness/docs",
-      ".prelude/providers/effect-harness/snippets"
-    ],
-    "lifecycleOwner": "prelude"
-  },
-  "sourceEntries": {
-    "effect-official-source": {
-      "id": "effect-official-source",
-      "kind": "provider-internal-github-subtree",
-      "authority": "official",
-      "name": "effect",
-      "contract": {
-        "path": "repos/effect.subtree.json",
-        "owner": "partita",
-        "format": "github-subtree"
-      },
-      "commands": {
-        "update": "partita pin update --contract repos/effect.subtree.json --name effect --prefix repos/effect --dry-run",
-        "verify": "partita pin verify --contract repos/effect.subtree.json --name effect --prefix repos/effect"
-      },
-      "importBoundary": {
-        "applicationImportsForbidden": true,
-        "testImportsForbidden": true,
-        "message": "Do not import from repos/effect in application or test code."
-      }
-    },
-    "tsgo-official-source": {
-      "id": "tsgo-official-source",
-      "kind": "provider-internal-github-subtree",
-      "authority": "official",
-      "name": "tsgo",
-      "contract": {
-        "path": "repos/tsgo.subtree.json",
-        "owner": "partita",
-        "format": "github-subtree"
-      },
-      "commands": {
-        "update": "partita pin update --contract repos/tsgo.subtree.json --name tsgo --prefix repos/tsgo --dry-run",
-        "verify": "partita pin verify --contract repos/tsgo.subtree.json --name tsgo --prefix repos/tsgo"
-      },
-      "importBoundary": {
-        "applicationImportsForbidden": true,
-        "testImportsForbidden": true,
-        "message": "Do not import from repos/tsgo in application or test code."
-      }
-    }
-  },
-  "providerRecord": {
-    "requiredFields": [
-      "schemaVersion",
-      "id",
-      "contractVersion",
-      "providerVersion",
-      "profile",
-      "artifact",
-      "artifact.sourceIdentity",
-      "artifact.sourceIdentities",
-      "projectedContext",
-      "options",
-      "surfaces",
-      "surfaces.documentationBundle",
-      "surfaces.snippets",
-      "verificationRecordId"
-    ],
-    "manifestLookup": {
-      "path": ".prelude/manifest.json",
-      "providerList": "maintainProviders",
-      "idField": "id",
-      "recordPathField": "recordPath"
-    },
-    "sourceDelivery": {
-      "mode": "artifact-identity-only",
-      "description": "Prelude records provider artifact/source identities in the provider record. It does not materialize or maintain repos/effect or repos/tsgo in target repos."
-    }
-  },
-  "profiles": {
-    "codex-effect-v4": {
-      "sourceEntry": "effect-official-source",
-      "sourceBoundary": {
-        "providerRepoInternal": true,
-        "targetDelivery": "identity-only",
-        "targetMustNotReceive": [
-          "repos/effect",
-          "repos/effect.subtree.json",
-          "repos/effect/LLMS.md",
-          "harness/effect-routes.md",
-          "repos/tsgo",
-          "repos/tsgo.subtree.json",
-          "repos/tsgo/README.md",
-          "harness/tsgo-routes.md"
-        ],
-        "allowedTargetSourceIdentity": [
-          "artifact.sourceIdentity.name",
-          "artifact.sourceIdentity.contractPath",
-          "artifact.sourceIdentity.github",
-          "artifact.sourceIdentity.subtree",
-          "artifact.sourceIdentities[].name",
-          "artifact.sourceIdentities[].contractPath",
-          "artifact.sourceIdentities[].github",
-          "artifact.sourceIdentities[].subtree"
-        ]
-      },
-      "options": {
-        "effect": "v4",
-        "typecheck": "tsgo",
-        "languageService": true,
-        "packageScopes": [
-          "effect",
-          "@effect/*",
-          "@typescript/native-preview"
-        ]
-      },
-      "packageBaseline": {
-        "effect": "4.0.0-beta.92",
-        "@effect/platform-node": "4.0.0-beta.92",
-        "@effect/vitest": "4.0.0-beta.92",
-        "@effect/tsgo": "0.15.0",
-        "@effect/language-service": "0.86.2",
-        "@typescript/native-preview": "7.0.0-dev.20260630.1",
-        "@antfu/eslint-config": "^9.0.0",
-        "eslint": "^10.3.0",
-        "vitest": "^4.1.8"
-      },
-      "managedSurfaces": {
-        "targetReceives": [
-          "provider record at .prelude/providers/effect-harness/provider.json",
-          "package.json dependency and devDependency structured pointers",
-          "tsconfig.json @effect/language-service plugin structured pointer",
-          "editor policy structured pointer for target editor settings",
-          "eslint package baseline and lint script structured pointers",
-          "test package baseline and test script structured pointers",
-          "lint, test, and verification policy records",
-          "provider-managed docs bundle at .prelude/providers/effect-harness/docs",
-          "provider-managed snippets at .prelude/providers/effect-harness/snippets"
-        ],
-        "targetDoesNotReceive": [
-          "provider repo internal source pin repos/effect",
-          "provider repo internal subtree contract repos/effect.subtree.json",
-          "provider repo internal Effect LLMS route repos/effect/LLMS.md",
-          "provider repo internal Effect route harness/effect-routes.md",
-          "provider repo internal source pin repos/tsgo",
-          "provider repo internal subtree contract repos/tsgo.subtree.json",
-          "provider repo internal tsgo README route repos/tsgo/README.md",
-          "provider repo internal tsgo route harness/tsgo-routes.md",
-          "effect-harness runtime assets under .codex",
-          "effect-harness AGENTS.md managed block",
-          ".effect-harness.json standalone manifest",
-          ".codex/effect-feedback feedback intake"
-        ]
-      },
-      "contributions": {
-        "packageJson": {
-          "mode": "structured-merge",
-          "targetPath": "package.json",
-          "selfConformanceSpecifier": "catalog:",
-          "dependencyGroups": {
-            "runtime": {
-              "field": "dependencies",
-              "packages": {
-                "effect": "4.0.0-beta.92",
-                "@effect/platform-node": "4.0.0-beta.92"
-              }
-            },
-            "testing": {
-              "field": "devDependencies",
-              "packages": {
-                "@effect/vitest": "4.0.0-beta.92",
-                "vitest": "^4.1.8"
-              }
-            },
-            "diagnostics": {
-              "field": "devDependencies",
-              "packages": {
-                "@effect/tsgo": "0.15.0",
-                "@effect/language-service": "0.86.2"
-              }
-            },
-            "nativeBackend": {
-              "field": "devDependencies",
-              "packages": {
-                "@typescript/native-preview": "7.0.0-dev.20260630.1"
-              }
-            },
-            "linting": {
-              "field": "devDependencies",
-              "packages": {
-                "@antfu/eslint-config": "^9.0.0",
-                "eslint": "^10.3.0"
-              }
-            }
-          },
-          "scripts": {
-            "prepare": {
-              "semantic": "prepare Effect TypeScript-Go backend",
-              "defaultCommand": "effect-tsgo patch"
-            },
-            "typecheck": {
-              "semantic": "primary Effect diagnostics",
-              "defaultCommand": "tsgo --noEmit"
-            },
-            "test": {
-              "semantic": "run Effect tests",
-              "defaultCommand": "vitest run"
-            },
-            "lint": {
-              "semantic": "run ESLint guardrails",
-              "defaultCommand": "eslint"
-            }
-          }
-        },
-        "tsconfig": {
-          "mode": "structured-merge",
-          "targetPath": "tsconfig.json",
-          "tsgo": {
-            "diagnosticCommand": "tsgo --noEmit",
-            "nativeBackend": {
-              "package": "@typescript/native-preview",
-              "version": "7.0.0-dev.20260630.1",
-              "setupCommand": "effect-tsgo patch"
-            },
-            "diagnosticGate": {
-              "includeSuggestionsInTsc": true,
-              "ignoreEffectSuggestionsInTscExitCode": false,
-              "ignoreEffectWarningsInTscExitCode": false,
-              "ignoreEffectErrorsInTscExitCode": false
-            },
-            "ruleMapSource": {
-              "metadata": "repos/tsgo/_packages/tsgo/src/metadata.json",
-              "policy": "harness/tsgo.md",
-              "supportedEffect": "v4",
-              "ruleCount": 76
-            }
-          },
-          "compilerOptions": {
-            "plugins": [
-              {
-                "name": "@effect/language-service",
-                "diagnostics": true,
-                "includeSuggestionsInTsc": true,
-                "ignoreEffectSuggestionsInTscExitCode": false,
-                "ignoreEffectWarningsInTscExitCode": false,
-                "ignoreEffectErrorsInTscExitCode": false,
-                "diagnosticSeverity": {
-                  "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"
-                },
-                "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
-              }
-            ]
-          }
-        },
-        "editorPolicy": {
-          "mode": "structured-merge",
-          "targetPaths": [
-            ".vscode/settings.json",
-            ".zed/settings.json"
-          ],
-          "sourceIdentity": {
-            "providerInternalPatterns": [
-              "repos/**"
-            ],
-            "targetReceivesSourceTrees": false
-          },
-          "policies": {
-            "autoImportExclude": {
-              "level": "hard-boundary",
-              "sourceEntryContractField": "editorPolicy.autoImportExclude",
-              "expectedContractValue": "block",
-              "patterns": [
-                "repos/**"
-              ],
-              "vscode": {
-                "typescript.preferences.autoImportFileExcludePatterns": [
-                  "repos/**"
-                ],
-                "javascript.preferences.autoImportFileExcludePatterns": [
-                  "repos/**"
-                ]
-              },
-              "zed": {
-                "settingsPath": ".zed/settings.json",
-                "lsp": {
-                  "typescript-language-server": {
-                    "initialization_options": {
-                      "preferences": {
-                        "autoImportFileExcludePatterns": [
-                          "repos/**"
-                        ]
-                      }
-                    }
-                  }
-                }
-              }
-            },
-            "watchExclude": {
-              "level": "recommended",
-              "sourceEntryContractField": "editorPolicy.watcherExclude",
-              "expectedContractValue": "recommended",
-              "requiresConfiguration": true,
-              "patterns": [
-                "repos/**"
-              ],
-              "vscode": {
-                "files.watcherExclude": {
-                  "repos/**": true
-                }
-              },
-              "zed": {
-                "setting": "file_scan_exclusions",
-                "patterns": [
-                  "repos/**"
-                ],
-                "requiresExplicitOptIn": true
-              }
-            },
-            "searchExclude": {
-              "level": "recommended",
-              "sourceEntryContractField": "editorPolicy.searchExclude",
-              "expectedContractValue": "recommended",
-              "requiresConfiguration": true,
-              "patterns": [
-                "repos/**"
-              ],
-              "vscode": {
-                "search.exclude": {
-                  "repos/**": true
-                }
-              },
-              "zed": {
-                "setting": "file_scan_exclusions",
-                "patterns": [
-                  "repos/**"
-                ],
-                "requiresExplicitOptIn": true
-              }
-            },
-            "filesExclude": {
-              "level": "preference",
-              "sourceEntryContractField": "editorPolicy.filesExclude",
-              "requiresExplicitOptIn": true,
-              "sourceEntryDefaults": {
-                "effect-official-source": "enabled",
-                "tsgo-official-source": "disabled"
-              },
-              "vscode": {
-                "files.exclude": {
-                  "repos/effect/**": true
-                }
-              },
-              "zed": {
-                "setting": "file_scan_exclusions",
-                "patterns": [
-                  "repos/effect/**"
-                ]
-              }
-            }
-          }
-        },
-        "lintGuardrails": {
-          "mode": "command-policy",
-          "stage": "lint",
-          "command": "pnpm lint --max-warnings 0",
-          "configFiles": [
-            "eslint.config.mjs"
-          ],
-          "layers": {
-            "owns": [
-              "repository import boundary",
-              "Effect v4 CLI import boundary",
-              "Effect test entry",
-              "syntax-level Effect guardrails",
-              "schema validation disable guardrail"
-            ],
-            "doesNotOwn": [
-              "Effect semantic diagnostics",
-              "Effect type requirement diagnostics",
-              "tsgo rule severity map"
-            ]
-          },
-          "rules": {
-            "restrictedImports": [
-              "node:test",
-              "@effect/cli",
-              "@effect/cli/*",
-              "repos/effect/**",
-              "repos/tsgo/**"
-            ],
-            "restrictedVitestImports": [
-              "describe",
-              "it",
-              "test"
-            ],
-            "allowedVitestImports": [
-              "vi",
-              "beforeEach",
-              "afterEach",
-              "beforeAll",
-              "afterAll"
-            ],
-            "restrictedSyntax": [
-              "Context.Tag",
-              "Effect.catchAllCause",
-              "Effect.ignore",
-              "Effect.serviceOption",
-              "{ disableValidation: true }",
-              "plain it() in tests"
-            ],
-            "allowedTestEntrypoints": [
-              "it.effect",
-              "it.live",
-              "layer"
-            ]
-          }
-        },
-        "testPolicy": {
-          "mode": "command-policy",
-          "stage": "tests",
-          "command": "pnpm test",
-          "packageScript": "vitest run",
-          "framework": "@effect/vitest",
-          "expectedEntries": [
-            "tests/**/*.test.ts"
-          ],
-          "effectEntrypoints": [
-            "it.effect",
-            "it.live",
-            "layer"
-          ],
-          "disallowedImports": [
-            "node:test"
-          ],
-          "disallowedVitestImports": [
-            "describe",
-            "it",
-            "test"
-          ]
-        },
-        "verificationPolicy": {
-          "mode": "pipeline-policy",
-          "completionGate": "pnpm verify",
-          "packageScript": "node bin/effect-harness.ts verify --harness .",
-          "lifecycleOwner": "prelude",
-          "localCommands": {
-            "diagnostics": [
-              "pnpm typecheck"
-            ],
-            "tests": [
-              "pnpm test"
-            ],
-            "lint": [
-              "pnpm lint --max-warnings 0"
-            ],
-            "completion": [
-              "pnpm verify"
-            ]
-          },
-          "stages": [
-            {
-              "tag": "source-pins",
-              "summary": "Verify pinned GitHub subtree source entries."
-            },
-            {
-              "tag": "harness-contract",
-              "summary": "Verify the provider repository contract and current harness baseline."
-            },
-            {
-              "tag": "tsgo-diagnostics",
-              "summary": "Run tsgo --noEmit and enforce zero Effect diagnostics."
-            },
-            {
-              "tag": "tests",
-              "summary": "Run the Effect test suite."
-            },
-            {
-              "tag": "lint",
-              "summary": "Run ESLint with zero warnings."
-            },
-            {
-              "tag": "knip",
-              "summary": "Run knip and keep the package surface minimal."
-            }
-          ]
-        },
-        "documentationBundle": {
-          "mode": "managed-files",
-          "targetBasePath": ".prelude/providers/effect-harness/docs",
-          "files": [
-            {
-              "id": "effect-code",
-              "sourcePath": "provider/docs/effect-code.md",
-              "targetPath": "effect-code.md",
-              "contentType": "text/markdown",
-              "managed": true
-            },
-            {
-              "id": "diagnostics",
-              "sourcePath": "provider/docs/diagnostics.md",
-              "targetPath": "diagnostics.md",
-              "contentType": "text/markdown",
-              "managed": true
-            },
-            {
-              "id": "editor-policy",
-              "sourcePath": "provider/docs/editor-policy.md",
-              "targetPath": "editor-policy.md",
-              "contentType": "text/markdown",
-              "managed": true
-            },
-            {
-              "id": "managed-surfaces",
-              "sourcePath": "provider/docs/managed-surfaces.md",
-              "targetPath": "managed-surfaces.md",
-              "contentType": "text/markdown",
-              "managed": true
-            },
-            {
-              "id": "discovery",
-              "sourcePath": "provider/docs/discovery.md",
-              "targetPath": "discovery.md",
-              "contentType": "text/markdown",
-              "managed": true
-            },
-            {
-              "id": "package-config",
-              "sourcePath": "provider/docs/package-config.md",
-              "targetPath": "package-config.md",
-              "contentType": "text/markdown",
-              "managed": true
-            },
-            {
-              "id": "quality-policy",
-              "sourcePath": "provider/docs/quality-policy.md",
-              "targetPath": "quality-policy.md",
-              "contentType": "text/markdown",
-              "managed": true
-            },
-            {
-              "id": "source-identity",
-              "sourcePath": "provider/docs/source-identity.md",
-              "targetPath": "source-identity.md",
-              "contentType": "text/markdown",
-              "managed": true
-            }
-          ]
-        },
-        "snippets": {
-          "mode": "managed-files",
-          "targetBasePath": ".prelude/providers/effect-harness/snippets",
-          "files": [
-            {
-              "id": "agents-effect-harness",
-              "sourcePath": "provider/snippets/agents.md",
-              "targetPath": "agents.md",
-              "contentType": "text/markdown",
-              "managed": true,
-              "targetUsage": "manual-copy-or-include-only"
-            }
-          ]
-        }
-      },
-      "verification": {
-        "status": [
-          "provider internal Effect and tsgo source entries exist",
-          "Partita GitHub subtree contracts record source prefix, pin, anchor, route, and editor policy",
-          "provider profile records source identities, package baseline, strict tsgo policy, docs bundle, and snippets"
-        ],
-        "verify": [
-          "source pins exist as committed Git tree entries with subtree trailers",
-          "provider profile references the Partita GitHub subtree contracts",
-          "tsgo --noEmit is the primary Effect diagnostic path",
-          "@effect/language-service uses the strict v4 diagnostic rule map",
-          "provider docs bundle and snippets are declared as managed contributions",
-          "provider repository does not import from repos/effect, repos/tsgo, or @effect/cli"
-        ]
-      },
-      "sourceEntries": [
-        "effect-official-source",
-        "tsgo-official-source"
-      ],
-      "tsgoPolicy": {
-        "mode": "strict-v4",
-        "effectVersion": "4.0.0-beta.92",
-        "tsgoVersion": "0.15.0",
-        "languageServiceVersion": "0.86.2",
-        "sourceEntry": "tsgo-official-source",
-        "nativeBackend": {
-          "package": "@typescript/native-preview",
-          "version": "7.0.0-dev.20260630.1",
-          "alternative": "typescript >= 7 is recognized by @effect/tsgo but is not projected by this provider profile."
-        },
-        "diagnosticGate": {
-          "includeSuggestionsInTsc": true,
-          "ignoreEffectSuggestionsInTscExitCode": false,
-          "ignoreEffectWarningsInTscExitCode": false,
-          "ignoreEffectErrorsInTscExitCode": false
-        },
-        "ruleMapSource": {
-          "metadata": "repos/tsgo/_packages/tsgo/src/metadata.json",
-          "policy": "harness/tsgo.md",
-          "supportedEffect": "v4",
-          "ruleCount": 76
-        },
-        "diagnosticSeverity": {
-          "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"
-        },
-        "languageServicePlugin": {
-          "name": "@effect/language-service",
-          "diagnostics": true,
-          "includeSuggestionsInTsc": true,
-          "ignoreEffectSuggestionsInTscExitCode": false,
-          "ignoreEffectWarningsInTscExitCode": false,
-          "ignoreEffectErrorsInTscExitCode": false,
-          "diagnosticSeverity": {
-            "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"
-          },
-          "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
-        }
-      }
-    }
-  }
-}