@habitat-ai/service 0.2.0

package/dist/client.d.ts

@@ -0,0 +1,16 @@
+import type { RouterContractClient } from "@orpc/contract";
+import type { Context } from "./service/base.js";
+import { type Contract, contract } from "./service/contract.js";
+export { type Contract, contract };
+/** Host-supplied ready Effect capabilities used by Habitat operations. */
+export type Deps = Context["deps"];
+/** Stable absolute workspace binding fixed at client construction. */
+export type Scope = Context["scope"];
+/** App-selected policy-pack locators admitted by the Habitat service. */
+export type Config = Context["config"];
+/** Public construction boundary for one local Habitat client. */
+export type CreateClientOptions = Pick<Context, "deps" | "scope" | "config">;
+/** Typed local caller surface derived from the public Habitat contract. */
+export type Client = RouterContractClient<Contract>;
+/** Constructs the sole public local client over the private Habitat router. */
+export declare function createClient({ deps, scope, config }: CreateClientOptions): Client;

package/dist/client.js

@@ -0,0 +1,16 @@
+import { createRouterClient } from "@orpc/server";
+import { contract } from "./service/contract.js";
+import { router } from "./service/router.js";
+export { contract };
+/** Constructs the sole public local client over the private Habitat router. */
+export function createClient({ deps, scope, config }) {
+    return createRouterClient(router, {
+        context: {
+            deps,
+            scope,
+            config,
+            invocation: {},
+            provided: {},
+        },
+    });
+}

package/dist/service/base.d.ts

@@ -0,0 +1,28 @@
+import type { RuleEvaluationResource } from "@habitat-ai/resource-rule-evaluation";
+import type { SourceInventoryResource } from "@habitat-ai/resource-source-inventory";
+import type { FileSystem, Path } from "effect";
+type EmptyContextLane = Readonly<Record<PropertyKey, never>>;
+/** One app-selected policy-pack installation admitted by the service. */
+export type SelectedPolicyPack = {
+    readonly name: string;
+    readonly packageJsonPath: string;
+    readonly manifestPath: string;
+};
+/** Host and invocation lanes admitted by the Habitat catalog boundary. */
+export type Context = {
+    readonly deps: {
+        readonly fileSystem: FileSystem.FileSystem;
+        readonly path: Path.Path;
+        readonly ruleEvaluation: RuleEvaluationResource<never>;
+        readonly sourceInventory: SourceInventoryResource<never>;
+    };
+    readonly scope: {
+        readonly workspaceRoot: string;
+    };
+    readonly config: {
+        readonly policyPack: SelectedPolicyPack;
+    };
+    readonly invocation: EmptyContextLane;
+    readonly provided: EmptyContextLane;
+};
+export {};

package/dist/service/base.js

@@ -0,0 +1 @@
+export {};

package/dist/service/contract.d.ts

@@ -0,0 +1,10 @@
+import { type AugmentedContractRouter } from "@orpc/contract";
+import { contract as catalog } from "./modules/catalog/contract/index.js";
+declare const routes: {
+    readonly catalog: typeof catalog;
+};
+/** Caller contract type re-exported by the public client face. */
+export type Contract = AugmentedContractRouter<typeof routes, object>;
+/** Root Habitat semantic contract composed from the catalog module. */
+export declare const contract: Contract;
+export {};

package/dist/service/contract.js

@@ -0,0 +1,5 @@
+import { oc } from "@orpc/contract";
+import { contract as catalog } from "./modules/catalog/contract/index.js";
+const routes = { catalog };
+/** Root Habitat semantic contract composed from the catalog module. */
+export const contract = oc.router(routes);

package/dist/service/impl.d.ts

@@ -0,0 +1,508 @@
+import "@orpc/experimental-effect/extensions/effect";
+import type { Context } from "./base.js";
+/** Unconfigured Habitat implementer used for aggregate router implementation. */
+export declare const impl: import("@orpc/server").Implementer<{
+    readonly catalog: {
+        resolve: import("@orpc/contract").ProcedureContract<import("packages/typebox-adapter/dist/index.js").TypeBoxStandardSchema<import("typebox").TObject<{}>>, import("packages/typebox-adapter/dist/index.js").TypeBoxStandardSchema<import("typebox").TUnion<[import("typebox").TObject<{
+            _tag: import("typebox").TLiteral<"Resolved">;
+            catalog: import("typebox").TObject<{
+                schemaVersion: import("typebox").TLiteral<3>;
+                policyPack: import("typebox").TObject<{
+                    name: import("typebox").TString;
+                    version: import("typebox").TString;
+                    protocolVersion: import("typebox").TLiteral<1>;
+                    blueprints: import("typebox").TArray<import("typebox").TObject<{
+                        id: import("typebox").TString;
+                        version: import("typebox").TInteger;
+                        path: import("typebox").TString;
+                    }>>;
+                }>;
+                blueprints: import("typebox").TArray<import("typebox").TObject<{
+                    definition: import("typebox").TObject<{
+                        schemaVersion: import("typebox").TLiteral<1>;
+                        id: import("typebox").TString;
+                        version: import("typebox").TInteger;
+                        rules: import("typebox").TArray<import("typebox").TObject<{
+                            id: import("typebox").TString;
+                            lane: import("typebox").TUnion<[import("typebox").TLiteral<"enforced">, import("typebox").TLiteral<"advisory">]>;
+                            message: import("typebox").TString;
+                            remediate: import("typebox").TUnion<[import("typebox").TString, import("typebox").TNull]>;
+                            runner: import("typebox").TUnion<[import("typebox").TObject<{
+                                name: import("typebox").TLiteral<"habitat">;
+                                mode: import("typebox").TLiteral<"structure">;
+                                structure: import("typebox").TString;
+                            }>, import("typebox").TObject<{
+                                name: import("typebox").TLiteral<"grit">;
+                                pattern: import("typebox").TString;
+                                patternName: import("typebox").TString;
+                                acquisition: import("typebox").TObject<{
+                                    kind: import("typebox").TUnion<[import("typebox").TLiteral<"check">, import("typebox").TLiteral<"apply-dry-run">]>;
+                                    rootRoles: import("typebox").TArray<import("typebox").TString>;
+                                    selections: import("typebox").TArray<import("typebox").TString>;
+                                }>;
+                            }>]>;
+                        }>>;
+                        instance: import("typebox").TObject<{
+                            manifest: import("typebox").TLiteral<"habitat.toml">;
+                            anchorRoot: import("typebox").TString;
+                            roots: import("typebox").TArray<import("typebox").TObject<{
+                                id: import("typebox").TString;
+                                required: import("typebox").TBoolean;
+                                kind: import("typebox").TUnion<[import("typebox").TLiteral<"directory">, import("typebox").TLiteral<"file">]>;
+                            }>>;
+                            selections: import("typebox").TArray<import("typebox").TObject<{
+                                id: import("typebox").TString;
+                                root: import("typebox").TString;
+                                kind: import("typebox").TUnion<[import("typebox").TLiteral<"directory">, import("typebox").TLiteral<"file">]>;
+                                memberPattern: import("typebox").TString;
+                                pathTemplate: import("typebox").TString;
+                            }>>;
+                        }>;
+                    }>;
+                    provenance: import("typebox").TObject<{
+                        kind: import("typebox").TLiteral<"local">;
+                        authorityRoot: import("typebox").TString;
+                        relativePath: import("typebox").TString;
+                    }>;
+                }>>;
+                instances: import("typebox").TArray<import("typebox").TObject<{
+                    id: import("typebox").TString;
+                    ownerProject: import("typebox").TString;
+                    blueprint: import("typebox").TString;
+                    blueprintVersion: import("typebox").TInteger;
+                    manifestPath: import("typebox").TString;
+                    roots: import("typebox").TArray<import("typebox").TObject<{
+                        id: import("typebox").TString;
+                        required: import("typebox").TBoolean;
+                        kind: import("typebox").TUnion<[import("typebox").TLiteral<"directory">, import("typebox").TLiteral<"file">]>;
+                        path: import("typebox").TString;
+                    }>>;
+                    selections: import("typebox").TArray<import("typebox").TObject<{
+                        id: import("typebox").TString;
+                        root: import("typebox").TString;
+                        members: import("typebox").TArray<import("typebox").TObject<{
+                            id: import("typebox").TString;
+                            kind: import("typebox").TUnion<[import("typebox").TLiteral<"directory">, import("typebox").TLiteral<"file">]>;
+                            path: import("typebox").TString;
+                        }>>;
+                    }>>;
+                }>>;
+                applications: import("typebox").TArray<import("typebox").TObject<{
+                    ownerProject: import("typebox").TString;
+                    instanceId: import("typebox").TString;
+                    blueprint: import("typebox").TString;
+                    blueprintVersion: import("typebox").TInteger;
+                    ruleId: import("typebox").TString;
+                    manifestPath: import("typebox").TString;
+                    lane: import("typebox").TUnion<[import("typebox").TLiteral<"enforced">, import("typebox").TLiteral<"advisory">]>;
+                    message: import("typebox").TString;
+                    remediate: import("typebox").TUnion<[import("typebox").TString, import("typebox").TNull]>;
+                    provenance: import("typebox").TObject<{
+                        kind: import("typebox").TLiteral<"local">;
+                        authorityRoot: import("typebox").TString;
+                        relativePath: import("typebox").TString;
+                    }>;
+                    runner: import("typebox").TUnion<[import("typebox").TObject<{
+                        name: import("typebox").TLiteral<"habitat">;
+                        mode: import("typebox").TLiteral<"structure">;
+                        structure: import("typebox").TObject<{
+                            provenance: import("typebox").TObject<{
+                                kind: import("typebox").TLiteral<"local">;
+                                authorityRoot: import("typebox").TString;
+                                relativePath: import("typebox").TString;
+                            }>;
+                            relativePath: import("typebox").TString;
+                            absolutePath: import("typebox").TString;
+                        }>;
+                        rootBindings: import("typebox").TArray<import("typebox").TObject<{
+                            rootRole: import("typebox").TString;
+                            required: import("typebox").TBoolean;
+                            kind: import("typebox").TUnion<[import("typebox").TLiteral<"directory">, import("typebox").TLiteral<"file">]>;
+                            path: import("typebox").TOptional<import("typebox").TString>;
+                        }>>;
+                    }>, import("typebox").TObject<{
+                        name: import("typebox").TLiteral<"grit">;
+                        pattern: import("typebox").TObject<{
+                            provenance: import("typebox").TObject<{
+                                kind: import("typebox").TLiteral<"local">;
+                                authorityRoot: import("typebox").TString;
+                                relativePath: import("typebox").TString;
+                            }>;
+                            relativePath: import("typebox").TString;
+                            absolutePath: import("typebox").TString;
+                        }>;
+                        patternName: import("typebox").TString;
+                        acquisition: import("typebox").TObject<{
+                            kind: import("typebox").TUnion<[import("typebox").TLiteral<"check">, import("typebox").TLiteral<"apply-dry-run">]>;
+                            entries: import("typebox").TArray<import("typebox").TObject<{
+                                source: import("typebox").TUnion<[import("typebox").TObject<{
+                                    kind: import("typebox").TLiteral<"root-role">;
+                                    id: import("typebox").TString;
+                                }>, import("typebox").TObject<{
+                                    kind: import("typebox").TLiteral<"selection">;
+                                    id: import("typebox").TString;
+                                    member: import("typebox").TString;
+                                }>]>;
+                                kind: import("typebox").TUnion<[import("typebox").TLiteral<"directory">, import("typebox").TLiteral<"file">]>;
+                                path: import("typebox").TString;
+                            }>>;
+                        }>;
+                    }>]>;
+                }>>;
+                compatibility: import("typebox").TObject<{
+                    schemaVersion: import("typebox").TLiteral<2>;
+                    ownerRoots: import("typebox").TRecord<"^.*$", import("typebox").TString>;
+                    rules: import("typebox").TArray<import("typebox").TObject<{
+                        id: import("typebox").TString;
+                        ownerProject: import("typebox").TString;
+                        manifestPath: import("typebox").TString;
+                    }>>;
+                }>;
+            }>;
+        }>, import("typebox").TObject<{
+            _tag: import("typebox").TLiteral<"Rejected">;
+            issues: import("typebox").TArray<import("typebox").TObject<{
+                code: import("typebox").TUnion<[import("typebox").TLiteral<"authority-anchor-mismatch">, import("typebox").TLiteral<"authority-blueprint-missing">, import("typebox").TLiteral<"authority-compatibility-invalid">, import("typebox").TLiteral<"authority-definition-invalid">, import("typebox").TLiteral<"authority-definition-kind-mismatch">, import("typebox").TLiteral<"authority-duplicate-blueprint">, import("typebox").TLiteral<"authority-duplicate-instance">, import("typebox").TLiteral<"authority-duplicate-rule">, import("typebox").TLiteral<"authority-filesystem-failed">, import("typebox").TLiteral<"authority-json-invalid">, import("typebox").TLiteral<"authority-manifest-invalid">, import("typebox").TLiteral<"authority-order-invalid">, import("typebox").TLiteral<"authority-path-escape">, import("typebox").TLiteral<"authority-path-invalid">, import("typebox").TLiteral<"authority-path-kind-mismatch">, import("typebox").TLiteral<"authority-path-missing">, import("typebox").TLiteral<"authority-package-name-mismatch">, import("typebox").TLiteral<"authority-policy-pack-members-unsupported">, import("typebox").TLiteral<"authority-resolution-failed">, import("typebox").TLiteral<"authority-rule-invalid">, import("typebox").TLiteral<"authority-schema-invalid">, import("typebox").TLiteral<"authority-toml-invalid">, import("typebox").TLiteral<"authority-version-mismatch">, import("typebox").TLiteral<"authority-workspace-root-invalid">]>;
+                path: import("typebox").TString;
+                message: import("typebox").TString;
+            }>>;
+        }>]>>, object>;
+        check: import("@orpc/contract").ProcedureContract<import("packages/typebox-adapter/dist/index.js").TypeBoxStandardSchema<import("typebox").TObject<{
+            selectors: import("typebox").TOptional<import("typebox").TObject<{
+                owner: import("typebox").TOptional<import("typebox").TString>;
+                instance: import("typebox").TOptional<import("typebox").TString>;
+                rule: import("typebox").TOptional<import("typebox").TString>;
+                rules: import("typebox").TOptional<import("typebox").TArray<import("typebox").TString>>;
+                runner: import("typebox").TOptional<import("typebox").TString>;
+            }>>;
+        }>>, import("packages/typebox-adapter/dist/index.js").TypeBoxStandardSchema<import("typebox").TUnion<[import("typebox").TObject<{
+            _tag: import("typebox").TLiteral<"CatalogRejected">;
+            issues: import("typebox").TArray<import("typebox").TObject<{
+                code: import("typebox").TUnion<[import("typebox").TLiteral<"authority-anchor-mismatch">, import("typebox").TLiteral<"authority-blueprint-missing">, import("typebox").TLiteral<"authority-compatibility-invalid">, import("typebox").TLiteral<"authority-definition-invalid">, import("typebox").TLiteral<"authority-definition-kind-mismatch">, import("typebox").TLiteral<"authority-duplicate-blueprint">, import("typebox").TLiteral<"authority-duplicate-instance">, import("typebox").TLiteral<"authority-duplicate-rule">, import("typebox").TLiteral<"authority-filesystem-failed">, import("typebox").TLiteral<"authority-json-invalid">, import("typebox").TLiteral<"authority-manifest-invalid">, import("typebox").TLiteral<"authority-order-invalid">, import("typebox").TLiteral<"authority-path-escape">, import("typebox").TLiteral<"authority-path-invalid">, import("typebox").TLiteral<"authority-path-kind-mismatch">, import("typebox").TLiteral<"authority-path-missing">, import("typebox").TLiteral<"authority-package-name-mismatch">, import("typebox").TLiteral<"authority-policy-pack-members-unsupported">, import("typebox").TLiteral<"authority-resolution-failed">, import("typebox").TLiteral<"authority-rule-invalid">, import("typebox").TLiteral<"authority-schema-invalid">, import("typebox").TLiteral<"authority-toml-invalid">, import("typebox").TLiteral<"authority-version-mismatch">, import("typebox").TLiteral<"authority-workspace-root-invalid">]>;
+                path: import("typebox").TString;
+                message: import("typebox").TString;
+            }>>;
+        }>, import("typebox").TObject<{
+            _tag: import("typebox").TLiteral<"SelectionRejected">;
+            issues: import("typebox").TArray<import("typebox").TObject<{
+                code: import("typebox").TUnion<[import("typebox").TLiteral<"selector-empty">, import("typebox").TLiteral<"selector-unknown">, import("typebox").TLiteral<"selector-wrong-namespace">, import("typebox").TLiteral<"runner-unsupported">]>;
+                selector: import("typebox").TString;
+                message: import("typebox").TString;
+            }>>;
+        }>, import("typebox").TObject<{
+            _tag: import("typebox").TLiteral<"Completed">;
+            ok: import("typebox").TBoolean;
+            applications: import("typebox").TArray<import("typebox").TUnion<[import("typebox").TObject<{
+                ownerProject: import("typebox").TString;
+                instanceId: import("typebox").TString;
+                ruleId: import("typebox").TString;
+                runner: import("typebox").TLiteral<"grit">;
+                lane: import("typebox").TUnion<[import("typebox").TLiteral<"enforced">, import("typebox").TLiteral<"advisory">]>;
+                locked: import("typebox").TLiteral<false>;
+                status: import("typebox").TUnion<[import("typebox").TLiteral<"pass">, import("typebox").TLiteral<"fail">, import("typebox").TLiteral<"advisory-findings">, import("typebox").TLiteral<"error">]>;
+                message: import("typebox").TString;
+                remediate: import("typebox").TUnion<[import("typebox").TString, import("typebox").TNull]>;
+                disposition: import("typebox").TUnion<[import("typebox").TObject<{
+                    kind: import("typebox").TLiteral<"evaluated">;
+                }>, import("typebox").TObject<{
+                    kind: import("typebox").TLiteral<"failed">;
+                    reason: import("typebox").TUnion<[import("typebox").TUnion<[import("typebox").TLiteral<"InvalidInput">, import("typebox").TLiteral<"SetupFailed">, import("typebox").TLiteral<"ExecutionFailed">, import("typebox").TLiteral<"TimedOut">, import("typebox").TLiteral<"InvalidOutput">]>, import("typebox").TLiteral<"PatternReadFailed">, import("typebox").TLiteral<"PatternInvalid">, import("typebox").TLiteral<"FindingPathInvalid">]>;
+                    detail: import("typebox").TString;
+                }>]>;
+                findings: import("typebox").TArray<import("typebox").TObject<{
+                    path: import("typebox").TString;
+                    start: import("typebox").TObject<{
+                        line: import("typebox").TReadonly<import("typebox").TInteger>;
+                        column: import("typebox").TReadonly<import("typebox").TInteger>;
+                        offset: import("typebox").TReadonly<import("typebox").TInteger>;
+                    }>;
+                    end: import("typebox").TObject<{
+                        line: import("typebox").TReadonly<import("typebox").TInteger>;
+                        column: import("typebox").TReadonly<import("typebox").TInteger>;
+                        offset: import("typebox").TReadonly<import("typebox").TInteger>;
+                    }>;
+                    message: import("typebox").TUnion<[import("typebox").TString, import("typebox").TNull]>;
+                    severity: import("typebox").TUnion<[import("typebox").TLiteral<"error">, import("typebox").TLiteral<"advisory">]>;
+                    baselined: import("typebox").TLiteral<false>;
+                }>>;
+            }>, import("typebox").TObject<{
+                ownerProject: import("typebox").TString;
+                instanceId: import("typebox").TString;
+                ruleId: import("typebox").TString;
+                runner: import("typebox").TLiteral<"habitat">;
+                lane: import("typebox").TUnion<[import("typebox").TLiteral<"enforced">, import("typebox").TLiteral<"advisory">]>;
+                locked: import("typebox").TLiteral<false>;
+                status: import("typebox").TUnion<[import("typebox").TLiteral<"pass">, import("typebox").TLiteral<"fail">, import("typebox").TLiteral<"advisory-findings">, import("typebox").TLiteral<"error">]>;
+                message: import("typebox").TString;
+                remediate: import("typebox").TUnion<[import("typebox").TString, import("typebox").TNull]>;
+                disposition: import("typebox").TUnion<[import("typebox").TObject<{
+                    kind: import("typebox").TLiteral<"evaluated">;
+                }>, import("typebox").TObject<{
+                    kind: import("typebox").TLiteral<"failed">;
+                    reason: import("typebox").TUnion<[import("typebox").TLiteral<"StructureReadFailed">, import("typebox").TLiteral<"StructureInvalid">, import("typebox").TLiteral<"InventoryFailed">, import("typebox").TLiteral<"StructureObservationFailed">]>;
+                    detail: import("typebox").TString;
+                }>]>;
+                findings: import("typebox").TArray<import("typebox").TObject<{
+                    path: import("typebox").TString;
+                    code: import("typebox").TUnion<[import("typebox").TLiteral<"root-missing">, import("typebox").TLiteral<"wrong-root-kind">, import("typebox").TLiteral<"missing-required-child">, import("typebox").TLiteral<"forbidden-child">, import("typebox").TLiteral<"unexpected-child">]>;
+                    message: import("typebox").TString;
+                    severity: import("typebox").TUnion<[import("typebox").TLiteral<"error">, import("typebox").TLiteral<"advisory">]>;
+                    baselined: import("typebox").TLiteral<false>;
+                }>>;
+            }>]>>;
+        }>]>>, object>;
+    };
+}, Context & object>;
+/** Root Habitat lineage with the official Effect-oRPC extension admitted once. */
+export declare const service: import("@orpc/server").Implementer<{
+    readonly catalog: {
+        resolve: import("@orpc/contract").ProcedureContract<import("packages/typebox-adapter/dist/index.js").TypeBoxStandardSchema<import("typebox").TObject<{}>>, import("packages/typebox-adapter/dist/index.js").TypeBoxStandardSchema<import("typebox").TUnion<[import("typebox").TObject<{
+            _tag: import("typebox").TLiteral<"Resolved">;
+            catalog: import("typebox").TObject<{
+                schemaVersion: import("typebox").TLiteral<3>;
+                policyPack: import("typebox").TObject<{
+                    name: import("typebox").TString;
+                    version: import("typebox").TString;
+                    protocolVersion: import("typebox").TLiteral<1>;
+                    blueprints: import("typebox").TArray<import("typebox").TObject<{
+                        id: import("typebox").TString;
+                        version: import("typebox").TInteger;
+                        path: import("typebox").TString;
+                    }>>;
+                }>;
+                blueprints: import("typebox").TArray<import("typebox").TObject<{
+                    definition: import("typebox").TObject<{
+                        schemaVersion: import("typebox").TLiteral<1>;
+                        id: import("typebox").TString;
+                        version: import("typebox").TInteger;
+                        rules: import("typebox").TArray<import("typebox").TObject<{
+                            id: import("typebox").TString;
+                            lane: import("typebox").TUnion<[import("typebox").TLiteral<"enforced">, import("typebox").TLiteral<"advisory">]>;
+                            message: import("typebox").TString;
+                            remediate: import("typebox").TUnion<[import("typebox").TString, import("typebox").TNull]>;
+                            runner: import("typebox").TUnion<[import("typebox").TObject<{
+                                name: import("typebox").TLiteral<"habitat">;
+                                mode: import("typebox").TLiteral<"structure">;
+                                structure: import("typebox").TString;
+                            }>, import("typebox").TObject<{
+                                name: import("typebox").TLiteral<"grit">;
+                                pattern: import("typebox").TString;
+                                patternName: import("typebox").TString;
+                                acquisition: import("typebox").TObject<{
+                                    kind: import("typebox").TUnion<[import("typebox").TLiteral<"check">, import("typebox").TLiteral<"apply-dry-run">]>;
+                                    rootRoles: import("typebox").TArray<import("typebox").TString>;
+                                    selections: import("typebox").TArray<import("typebox").TString>;
+                                }>;
+                            }>]>;
+                        }>>;
+                        instance: import("typebox").TObject<{
+                            manifest: import("typebox").TLiteral<"habitat.toml">;
+                            anchorRoot: import("typebox").TString;
+                            roots: import("typebox").TArray<import("typebox").TObject<{
+                                id: import("typebox").TString;
+                                required: import("typebox").TBoolean;
+                                kind: import("typebox").TUnion<[import("typebox").TLiteral<"directory">, import("typebox").TLiteral<"file">]>;
+                            }>>;
+                            selections: import("typebox").TArray<import("typebox").TObject<{
+                                id: import("typebox").TString;
+                                root: import("typebox").TString;
+                                kind: import("typebox").TUnion<[import("typebox").TLiteral<"directory">, import("typebox").TLiteral<"file">]>;
+                                memberPattern: import("typebox").TString;
+                                pathTemplate: import("typebox").TString;
+                            }>>;
+                        }>;
+                    }>;
+                    provenance: import("typebox").TObject<{
+                        kind: import("typebox").TLiteral<"local">;
+                        authorityRoot: import("typebox").TString;
+                        relativePath: import("typebox").TString;
+                    }>;
+                }>>;
+                instances: import("typebox").TArray<import("typebox").TObject<{
+                    id: import("typebox").TString;
+                    ownerProject: import("typebox").TString;
+                    blueprint: import("typebox").TString;
+                    blueprintVersion: import("typebox").TInteger;
+                    manifestPath: import("typebox").TString;
+                    roots: import("typebox").TArray<import("typebox").TObject<{
+                        id: import("typebox").TString;
+                        required: import("typebox").TBoolean;
+                        kind: import("typebox").TUnion<[import("typebox").TLiteral<"directory">, import("typebox").TLiteral<"file">]>;
+                        path: import("typebox").TString;
+                    }>>;
+                    selections: import("typebox").TArray<import("typebox").TObject<{
+                        id: import("typebox").TString;
+                        root: import("typebox").TString;
+                        members: import("typebox").TArray<import("typebox").TObject<{
+                            id: import("typebox").TString;
+                            kind: import("typebox").TUnion<[import("typebox").TLiteral<"directory">, import("typebox").TLiteral<"file">]>;
+                            path: import("typebox").TString;
+                        }>>;
+                    }>>;
+                }>>;
+                applications: import("typebox").TArray<import("typebox").TObject<{
+                    ownerProject: import("typebox").TString;
+                    instanceId: import("typebox").TString;
+                    blueprint: import("typebox").TString;
+                    blueprintVersion: import("typebox").TInteger;
+                    ruleId: import("typebox").TString;
+                    manifestPath: import("typebox").TString;
+                    lane: import("typebox").TUnion<[import("typebox").TLiteral<"enforced">, import("typebox").TLiteral<"advisory">]>;
+                    message: import("typebox").TString;
+                    remediate: import("typebox").TUnion<[import("typebox").TString, import("typebox").TNull]>;
+                    provenance: import("typebox").TObject<{
+                        kind: import("typebox").TLiteral<"local">;
+                        authorityRoot: import("typebox").TString;
+                        relativePath: import("typebox").TString;
+                    }>;
+                    runner: import("typebox").TUnion<[import("typebox").TObject<{
+                        name: import("typebox").TLiteral<"habitat">;
+                        mode: import("typebox").TLiteral<"structure">;
+                        structure: import("typebox").TObject<{
+                            provenance: import("typebox").TObject<{
+                                kind: import("typebox").TLiteral<"local">;
+                                authorityRoot: import("typebox").TString;
+                                relativePath: import("typebox").TString;
+                            }>;
+                            relativePath: import("typebox").TString;
+                            absolutePath: import("typebox").TString;
+                        }>;
+                        rootBindings: import("typebox").TArray<import("typebox").TObject<{
+                            rootRole: import("typebox").TString;
+                            required: import("typebox").TBoolean;
+                            kind: import("typebox").TUnion<[import("typebox").TLiteral<"directory">, import("typebox").TLiteral<"file">]>;
+                            path: import("typebox").TOptional<import("typebox").TString>;
+                        }>>;
+                    }>, import("typebox").TObject<{
+                        name: import("typebox").TLiteral<"grit">;
+                        pattern: import("typebox").TObject<{
+                            provenance: import("typebox").TObject<{
+                                kind: import("typebox").TLiteral<"local">;
+                                authorityRoot: import("typebox").TString;
+                                relativePath: import("typebox").TString;
+                            }>;
+                            relativePath: import("typebox").TString;
+                            absolutePath: import("typebox").TString;
+                        }>;
+                        patternName: import("typebox").TString;
+                        acquisition: import("typebox").TObject<{
+                            kind: import("typebox").TUnion<[import("typebox").TLiteral<"check">, import("typebox").TLiteral<"apply-dry-run">]>;
+                            entries: import("typebox").TArray<import("typebox").TObject<{
+                                source: import("typebox").TUnion<[import("typebox").TObject<{
+                                    kind: import("typebox").TLiteral<"root-role">;
+                                    id: import("typebox").TString;
+                                }>, import("typebox").TObject<{
+                                    kind: import("typebox").TLiteral<"selection">;
+                                    id: import("typebox").TString;
+                                    member: import("typebox").TString;
+                                }>]>;
+                                kind: import("typebox").TUnion<[import("typebox").TLiteral<"directory">, import("typebox").TLiteral<"file">]>;
+                                path: import("typebox").TString;
+                            }>>;
+                        }>;
+                    }>]>;
+                }>>;
+                compatibility: import("typebox").TObject<{
+                    schemaVersion: import("typebox").TLiteral<2>;
+                    ownerRoots: import("typebox").TRecord<"^.*$", import("typebox").TString>;
+                    rules: import("typebox").TArray<import("typebox").TObject<{
+                        id: import("typebox").TString;
+                        ownerProject: import("typebox").TString;
+                        manifestPath: import("typebox").TString;
+                    }>>;
+                }>;
+            }>;
+        }>, import("typebox").TObject<{
+            _tag: import("typebox").TLiteral<"Rejected">;
+            issues: import("typebox").TArray<import("typebox").TObject<{
+                code: import("typebox").TUnion<[import("typebox").TLiteral<"authority-anchor-mismatch">, import("typebox").TLiteral<"authority-blueprint-missing">, import("typebox").TLiteral<"authority-compatibility-invalid">, import("typebox").TLiteral<"authority-definition-invalid">, import("typebox").TLiteral<"authority-definition-kind-mismatch">, import("typebox").TLiteral<"authority-duplicate-blueprint">, import("typebox").TLiteral<"authority-duplicate-instance">, import("typebox").TLiteral<"authority-duplicate-rule">, import("typebox").TLiteral<"authority-filesystem-failed">, import("typebox").TLiteral<"authority-json-invalid">, import("typebox").TLiteral<"authority-manifest-invalid">, import("typebox").TLiteral<"authority-order-invalid">, import("typebox").TLiteral<"authority-path-escape">, import("typebox").TLiteral<"authority-path-invalid">, import("typebox").TLiteral<"authority-path-kind-mismatch">, import("typebox").TLiteral<"authority-path-missing">, import("typebox").TLiteral<"authority-package-name-mismatch">, import("typebox").TLiteral<"authority-policy-pack-members-unsupported">, import("typebox").TLiteral<"authority-resolution-failed">, import("typebox").TLiteral<"authority-rule-invalid">, import("typebox").TLiteral<"authority-schema-invalid">, import("typebox").TLiteral<"authority-toml-invalid">, import("typebox").TLiteral<"authority-version-mismatch">, import("typebox").TLiteral<"authority-workspace-root-invalid">]>;
+                path: import("typebox").TString;
+                message: import("typebox").TString;
+            }>>;
+        }>]>>, object>;
+        check: import("@orpc/contract").ProcedureContract<import("packages/typebox-adapter/dist/index.js").TypeBoxStandardSchema<import("typebox").TObject<{
+            selectors: import("typebox").TOptional<import("typebox").TObject<{
+                owner: import("typebox").TOptional<import("typebox").TString>;
+                instance: import("typebox").TOptional<import("typebox").TString>;
+                rule: import("typebox").TOptional<import("typebox").TString>;
+                rules: import("typebox").TOptional<import("typebox").TArray<import("typebox").TString>>;
+                runner: import("typebox").TOptional<import("typebox").TString>;
+            }>>;
+        }>>, import("packages/typebox-adapter/dist/index.js").TypeBoxStandardSchema<import("typebox").TUnion<[import("typebox").TObject<{
+            _tag: import("typebox").TLiteral<"CatalogRejected">;
+            issues: import("typebox").TArray<import("typebox").TObject<{
+                code: import("typebox").TUnion<[import("typebox").TLiteral<"authority-anchor-mismatch">, import("typebox").TLiteral<"authority-blueprint-missing">, import("typebox").TLiteral<"authority-compatibility-invalid">, import("typebox").TLiteral<"authority-definition-invalid">, import("typebox").TLiteral<"authority-definition-kind-mismatch">, import("typebox").TLiteral<"authority-duplicate-blueprint">, import("typebox").TLiteral<"authority-duplicate-instance">, import("typebox").TLiteral<"authority-duplicate-rule">, import("typebox").TLiteral<"authority-filesystem-failed">, import("typebox").TLiteral<"authority-json-invalid">, import("typebox").TLiteral<"authority-manifest-invalid">, import("typebox").TLiteral<"authority-order-invalid">, import("typebox").TLiteral<"authority-path-escape">, import("typebox").TLiteral<"authority-path-invalid">, import("typebox").TLiteral<"authority-path-kind-mismatch">, import("typebox").TLiteral<"authority-path-missing">, import("typebox").TLiteral<"authority-package-name-mismatch">, import("typebox").TLiteral<"authority-policy-pack-members-unsupported">, import("typebox").TLiteral<"authority-resolution-failed">, import("typebox").TLiteral<"authority-rule-invalid">, import("typebox").TLiteral<"authority-schema-invalid">, import("typebox").TLiteral<"authority-toml-invalid">, import("typebox").TLiteral<"authority-version-mismatch">, import("typebox").TLiteral<"authority-workspace-root-invalid">]>;
+                path: import("typebox").TString;
+                message: import("typebox").TString;
+            }>>;
+        }>, import("typebox").TObject<{
+            _tag: import("typebox").TLiteral<"SelectionRejected">;
+            issues: import("typebox").TArray<import("typebox").TObject<{
+                code: import("typebox").TUnion<[import("typebox").TLiteral<"selector-empty">, import("typebox").TLiteral<"selector-unknown">, import("typebox").TLiteral<"selector-wrong-namespace">, import("typebox").TLiteral<"runner-unsupported">]>;
+                selector: import("typebox").TString;
+                message: import("typebox").TString;
+            }>>;
+        }>, import("typebox").TObject<{
+            _tag: import("typebox").TLiteral<"Completed">;
+            ok: import("typebox").TBoolean;
+            applications: import("typebox").TArray<import("typebox").TUnion<[import("typebox").TObject<{
+                ownerProject: import("typebox").TString;
+                instanceId: import("typebox").TString;
+                ruleId: import("typebox").TString;
+                runner: import("typebox").TLiteral<"grit">;
+                lane: import("typebox").TUnion<[import("typebox").TLiteral<"enforced">, import("typebox").TLiteral<"advisory">]>;
+                locked: import("typebox").TLiteral<false>;
+                status: import("typebox").TUnion<[import("typebox").TLiteral<"pass">, import("typebox").TLiteral<"fail">, import("typebox").TLiteral<"advisory-findings">, import("typebox").TLiteral<"error">]>;
+                message: import("typebox").TString;
+                remediate: import("typebox").TUnion<[import("typebox").TString, import("typebox").TNull]>;
+                disposition: import("typebox").TUnion<[import("typebox").TObject<{
+                    kind: import("typebox").TLiteral<"evaluated">;
+                }>, import("typebox").TObject<{
+                    kind: import("typebox").TLiteral<"failed">;
+                    reason: import("typebox").TUnion<[import("typebox").TUnion<[import("typebox").TLiteral<"InvalidInput">, import("typebox").TLiteral<"SetupFailed">, import("typebox").TLiteral<"ExecutionFailed">, import("typebox").TLiteral<"TimedOut">, import("typebox").TLiteral<"InvalidOutput">]>, import("typebox").TLiteral<"PatternReadFailed">, import("typebox").TLiteral<"PatternInvalid">, import("typebox").TLiteral<"FindingPathInvalid">]>;
+                    detail: import("typebox").TString;
+                }>]>;
+                findings: import("typebox").TArray<import("typebox").TObject<{
+                    path: import("typebox").TString;
+                    start: import("typebox").TObject<{
+                        line: import("typebox").TReadonly<import("typebox").TInteger>;
+                        column: import("typebox").TReadonly<import("typebox").TInteger>;
+                        offset: import("typebox").TReadonly<import("typebox").TInteger>;
+                    }>;
+                    end: import("typebox").TObject<{
+                        line: import("typebox").TReadonly<import("typebox").TInteger>;
+                        column: import("typebox").TReadonly<import("typebox").TInteger>;
+                        offset: import("typebox").TReadonly<import("typebox").TInteger>;
+                    }>;
+                    message: import("typebox").TUnion<[import("typebox").TString, import("typebox").TNull]>;
+                    severity: import("typebox").TUnion<[import("typebox").TLiteral<"error">, import("typebox").TLiteral<"advisory">]>;
+                    baselined: import("typebox").TLiteral<false>;
+                }>>;
+            }>, import("typebox").TObject<{
+                ownerProject: import("typebox").TString;
+                instanceId: import("typebox").TString;
+                ruleId: import("typebox").TString;
+                runner: import("typebox").TLiteral<"habitat">;
+                lane: import("typebox").TUnion<[import("typebox").TLiteral<"enforced">, import("typebox").TLiteral<"advisory">]>;
+                locked: import("typebox").TLiteral<false>;
+                status: import("typebox").TUnion<[import("typebox").TLiteral<"pass">, import("typebox").TLiteral<"fail">, import("typebox").TLiteral<"advisory-findings">, import("typebox").TLiteral<"error">]>;
+                message: import("typebox").TString;
+                remediate: import("typebox").TUnion<[import("typebox").TString, import("typebox").TNull]>;
+                disposition: import("typebox").TUnion<[import("typebox").TObject<{
+                    kind: import("typebox").TLiteral<"evaluated">;
+                }>, import("typebox").TObject<{
+                    kind: import("typebox").TLiteral<"failed">;
+                    reason: import("typebox").TUnion<[import("typebox").TLiteral<"StructureReadFailed">, import("typebox").TLiteral<"StructureInvalid">, import("typebox").TLiteral<"InventoryFailed">, import("typebox").TLiteral<"StructureObservationFailed">]>;
+                    detail: import("typebox").TString;
+                }>]>;
+                findings: import("typebox").TArray<import("typebox").TObject<{
+                    path: import("typebox").TString;
+                    code: import("typebox").TUnion<[import("typebox").TLiteral<"root-missing">, import("typebox").TLiteral<"wrong-root-kind">, import("typebox").TLiteral<"missing-required-child">, import("typebox").TLiteral<"forbidden-child">, import("typebox").TLiteral<"unexpected-child">]>;
+                    message: import("typebox").TString;
+                    severity: import("typebox").TUnion<[import("typebox").TLiteral<"error">, import("typebox").TLiteral<"advisory">]>;
+                    baselined: import("typebox").TLiteral<false>;
+                }>>;
+            }>]>>;
+        }>]>>, object>;
+    };
+}, Context & object>;

package/dist/service/impl.js

@@ -0,0 +1,7 @@
+import "@orpc/experimental-effect/extensions/effect";
+import { implement } from "@orpc/server";
+import { contract } from "./contract.js";
+/** Unconfigured Habitat implementer used for aggregate router implementation. */
+export const impl = implement(contract).$context();
+/** Root Habitat lineage with the official Effect-oRPC extension admitted once. */
+export const service = impl;