@habitat-ai/service 0.2.0

package/dist/service/modules/catalog/contract/catalog.d.ts

@@ -0,0 +1,252 @@
+import { type TypeBoxStandardSchema } from "@habitat-ai/typebox-adapter";
+/** Catalog procedure group exposed through the module contract face. */
+export declare const catalog: {
+    resolve: import("@orpc/contract").ProcedureContractBuilderWithInputOutput<TypeBoxStandardSchema<import("typebox").TObject<{}>>, 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").ProcedureContractBuilderWithInputOutput<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>;
+        }>>;
+    }>>, 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>;
+};

package/dist/service/modules/catalog/contract/catalog.js

@@ -0,0 +1,13 @@
+import { standard } from "@habitat-ai/typebox-adapter";
+import { oc } from "@orpc/contract";
+import { ResolveCatalogInputSchema, ResolveCatalogResultSchema } from "../model/dto/catalog.js";
+import { CheckCatalogInputSchema, CheckCatalogResultSchema } from "../model/dto/check.js";
+const resolveInput = standard(ResolveCatalogInputSchema);
+const resolveOutput = standard(ResolveCatalogResultSchema);
+const checkInput = standard(CheckCatalogInputSchema);
+const checkOutput = standard(CheckCatalogResultSchema);
+/** Catalog procedure group exposed through the module contract face. */
+export const catalog = {
+    resolve: oc.input(resolveInput).output(resolveOutput),
+    check: oc.input(checkInput).output(checkOutput),
+};

package/dist/service/modules/catalog/contract/index.d.ts

@@ -0,0 +1,3 @@
+import { catalog } from "./catalog.js";
+/** Catalog module contract exposed through its single composition face. */
+export declare const contract: typeof catalog;

package/dist/service/modules/catalog/contract/index.js

@@ -0,0 +1,3 @@
+import { catalog } from "./catalog.js";
+/** Catalog module contract exposed through its single composition face. */
+export const contract = { ...catalog };

package/dist/service/modules/catalog/model/dto/catalog.d.ts

@@ -0,0 +1,276 @@
+import { type Static, Type } from "typebox";
+/** Maximum stable issues returned by one rejected resolution. */
+export declare const MAX_CATALOG_ISSUES = 100;
+/** npm metadata fields that own selected policy-pack package identity. */
+export declare const PolicyPackPackageJsonSchema: Type.TObject<{
+    name: Type.TString;
+    version: Type.TString;
+}>;
+/** Closed selected policy-pack protocol 1 manifest. */
+export declare const PolicyPackManifestSchema: Type.TObject<{
+    protocolVersion: Type.TLiteral<1>;
+    blueprints: Type.TArray<Type.TObject<{
+        id: Type.TString;
+        version: Type.TInteger;
+        path: Type.TString;
+    }>>;
+}>;
+/** Closed schema for one version 3 blueprint definition document. */
+export declare const BlueprintDefinitionSchema: Type.TObject<{
+    schemaVersion: Type.TLiteral<1>;
+    id: Type.TString;
+    version: Type.TInteger;
+    rules: Type.TArray<Type.TObject<{
+        id: Type.TString;
+        lane: Type.TUnion<[Type.TLiteral<"enforced">, Type.TLiteral<"advisory">]>;
+        message: Type.TString;
+        remediate: Type.TUnion<[Type.TString, Type.TNull]>;
+        runner: Type.TUnion<[Type.TObject<{
+            name: Type.TLiteral<"habitat">;
+            mode: Type.TLiteral<"structure">;
+            structure: Type.TString;
+        }>, Type.TObject<{
+            name: Type.TLiteral<"grit">;
+            pattern: Type.TString;
+            patternName: Type.TString;
+            acquisition: Type.TObject<{
+                kind: Type.TUnion<[Type.TLiteral<"check">, Type.TLiteral<"apply-dry-run">]>;
+                rootRoles: Type.TArray<Type.TString>;
+                selections: Type.TArray<Type.TString>;
+            }>;
+        }>]>;
+    }>>;
+    instance: Type.TObject<{
+        manifest: Type.TLiteral<"habitat.toml">;
+        anchorRoot: Type.TString;
+        roots: Type.TArray<Type.TObject<{
+            id: Type.TString;
+            required: Type.TBoolean;
+            kind: Type.TUnion<[Type.TLiteral<"directory">, Type.TLiteral<"file">]>;
+        }>>;
+        selections: Type.TArray<Type.TObject<{
+            id: Type.TString;
+            root: Type.TString;
+            kind: Type.TUnion<[Type.TLiteral<"directory">, Type.TLiteral<"file">]>;
+            memberPattern: Type.TString;
+            pathTemplate: Type.TString;
+        }>>;
+    }>;
+}>;
+/** Closed schema for one version 3 local instance document. */
+export declare const HabitatInstanceManifestSchema: Type.TObject<{
+    schemaVersion: Type.TLiteral<1>;
+    id: Type.TString;
+    ownerProject: Type.TString;
+    blueprint: Type.TString;
+    blueprintVersion: Type.TInteger;
+    roots: Type.TRecord<"^.*$", Type.TString>;
+    selections: Type.TRecord<"^.*$", Type.TArray<Type.TString>>;
+}>;
+/** Closed compatibility index source schema. */
+export declare const CompatibilityIndexSchema: Type.TObject<{
+    $comment: Type.TOptional<Type.TString>;
+    schemaVersion: Type.TLiteral<2>;
+    ownerRoots: Type.TRecord<"^.*$", Type.TString>;
+}>;
+/** Minimum TypeBox admission schema for an inert legacy rule manifest. */
+export declare const CompatibilityRuleSourceSchema: Type.TObject<{
+    schemaVersion: Type.TLiteral<2>;
+    id: Type.TString;
+    ownerProject: Type.TString;
+}>;
+/** Closed empty request; the service owns repository authority enumeration. */
+export declare const ResolveCatalogInputSchema: Type.TObject<{}>;
+/** Closed stable issue schema returned for expected admission failures. */
+export declare const CatalogIssueSchema: Type.TObject<{
+    code: Type.TUnion<[Type.TLiteral<"authority-anchor-mismatch">, Type.TLiteral<"authority-blueprint-missing">, Type.TLiteral<"authority-compatibility-invalid">, Type.TLiteral<"authority-definition-invalid">, Type.TLiteral<"authority-definition-kind-mismatch">, Type.TLiteral<"authority-duplicate-blueprint">, Type.TLiteral<"authority-duplicate-instance">, Type.TLiteral<"authority-duplicate-rule">, Type.TLiteral<"authority-filesystem-failed">, Type.TLiteral<"authority-json-invalid">, Type.TLiteral<"authority-manifest-invalid">, Type.TLiteral<"authority-order-invalid">, Type.TLiteral<"authority-path-escape">, Type.TLiteral<"authority-path-invalid">, Type.TLiteral<"authority-path-kind-mismatch">, Type.TLiteral<"authority-path-missing">, Type.TLiteral<"authority-package-name-mismatch">, Type.TLiteral<"authority-policy-pack-members-unsupported">, Type.TLiteral<"authority-resolution-failed">, Type.TLiteral<"authority-rule-invalid">, Type.TLiteral<"authority-schema-invalid">, Type.TLiteral<"authority-toml-invalid">, Type.TLiteral<"authority-version-mismatch">, Type.TLiteral<"authority-workspace-root-invalid">]>;
+    path: Type.TString;
+    message: Type.TString;
+}>;
+/** Closed resolved/rejected result union for catalog resolution. */
+export declare const ResolveCatalogResultSchema: Type.TUnion<[Type.TObject<{
+    _tag: Type.TLiteral<"Resolved">;
+    catalog: Type.TObject<{
+        schemaVersion: Type.TLiteral<3>;
+        policyPack: Type.TObject<{
+            name: Type.TString;
+            version: Type.TString;
+            protocolVersion: Type.TLiteral<1>;
+            blueprints: Type.TArray<Type.TObject<{
+                id: Type.TString;
+                version: Type.TInteger;
+                path: Type.TString;
+            }>>;
+        }>;
+        blueprints: Type.TArray<Type.TObject<{
+            definition: Type.TObject<{
+                schemaVersion: Type.TLiteral<1>;
+                id: Type.TString;
+                version: Type.TInteger;
+                rules: Type.TArray<Type.TObject<{
+                    id: Type.TString;
+                    lane: Type.TUnion<[Type.TLiteral<"enforced">, Type.TLiteral<"advisory">]>;
+                    message: Type.TString;
+                    remediate: Type.TUnion<[Type.TString, Type.TNull]>;
+                    runner: Type.TUnion<[Type.TObject<{
+                        name: Type.TLiteral<"habitat">;
+                        mode: Type.TLiteral<"structure">;
+                        structure: Type.TString;
+                    }>, Type.TObject<{
+                        name: Type.TLiteral<"grit">;
+                        pattern: Type.TString;
+                        patternName: Type.TString;
+                        acquisition: Type.TObject<{
+                            kind: Type.TUnion<[Type.TLiteral<"check">, Type.TLiteral<"apply-dry-run">]>;
+                            rootRoles: Type.TArray<Type.TString>;
+                            selections: Type.TArray<Type.TString>;
+                        }>;
+                    }>]>;
+                }>>;
+                instance: Type.TObject<{
+                    manifest: Type.TLiteral<"habitat.toml">;
+                    anchorRoot: Type.TString;
+                    roots: Type.TArray<Type.TObject<{
+                        id: Type.TString;
+                        required: Type.TBoolean;
+                        kind: Type.TUnion<[Type.TLiteral<"directory">, Type.TLiteral<"file">]>;
+                    }>>;
+                    selections: Type.TArray<Type.TObject<{
+                        id: Type.TString;
+                        root: Type.TString;
+                        kind: Type.TUnion<[Type.TLiteral<"directory">, Type.TLiteral<"file">]>;
+                        memberPattern: Type.TString;
+                        pathTemplate: Type.TString;
+                    }>>;
+                }>;
+            }>;
+            provenance: Type.TObject<{
+                kind: Type.TLiteral<"local">;
+                authorityRoot: Type.TString;
+                relativePath: Type.TString;
+            }>;
+        }>>;
+        instances: Type.TArray<Type.TObject<{
+            id: Type.TString;
+            ownerProject: Type.TString;
+            blueprint: Type.TString;
+            blueprintVersion: Type.TInteger;
+            manifestPath: Type.TString;
+            roots: Type.TArray<Type.TObject<{
+                id: Type.TString;
+                required: Type.TBoolean;
+                kind: Type.TUnion<[Type.TLiteral<"directory">, Type.TLiteral<"file">]>;
+                path: Type.TString;
+            }>>;
+            selections: Type.TArray<Type.TObject<{
+                id: Type.TString;
+                root: Type.TString;
+                members: Type.TArray<Type.TObject<{
+                    id: Type.TString;
+                    kind: Type.TUnion<[Type.TLiteral<"directory">, Type.TLiteral<"file">]>;
+                    path: Type.TString;
+                }>>;
+            }>>;
+        }>>;
+        applications: Type.TArray<Type.TObject<{
+            ownerProject: Type.TString;
+            instanceId: Type.TString;
+            blueprint: Type.TString;
+            blueprintVersion: Type.TInteger;
+            ruleId: Type.TString;
+            manifestPath: Type.TString;
+            lane: Type.TUnion<[Type.TLiteral<"enforced">, Type.TLiteral<"advisory">]>;
+            message: Type.TString;
+            remediate: Type.TUnion<[Type.TString, Type.TNull]>;
+            provenance: Type.TObject<{
+                kind: Type.TLiteral<"local">;
+                authorityRoot: Type.TString;
+                relativePath: Type.TString;
+            }>;
+            runner: Type.TUnion<[Type.TObject<{
+                name: Type.TLiteral<"habitat">;
+                mode: Type.TLiteral<"structure">;
+                structure: Type.TObject<{
+                    provenance: Type.TObject<{
+                        kind: Type.TLiteral<"local">;
+                        authorityRoot: Type.TString;
+                        relativePath: Type.TString;
+                    }>;
+                    relativePath: Type.TString;
+                    absolutePath: Type.TString;
+                }>;
+                rootBindings: Type.TArray<Type.TObject<{
+                    rootRole: Type.TString;
+                    required: Type.TBoolean;
+                    kind: Type.TUnion<[Type.TLiteral<"directory">, Type.TLiteral<"file">]>;
+                    path: Type.TOptional<Type.TString>;
+                }>>;
+            }>, Type.TObject<{
+                name: Type.TLiteral<"grit">;
+                pattern: Type.TObject<{
+                    provenance: Type.TObject<{
+                        kind: Type.TLiteral<"local">;
+                        authorityRoot: Type.TString;
+                        relativePath: Type.TString;
+                    }>;
+                    relativePath: Type.TString;
+                    absolutePath: Type.TString;
+                }>;
+                patternName: Type.TString;
+                acquisition: Type.TObject<{
+                    kind: Type.TUnion<[Type.TLiteral<"check">, Type.TLiteral<"apply-dry-run">]>;
+                    entries: Type.TArray<Type.TObject<{
+                        source: Type.TUnion<[Type.TObject<{
+                            kind: Type.TLiteral<"root-role">;
+                            id: Type.TString;
+                        }>, Type.TObject<{
+                            kind: Type.TLiteral<"selection">;
+                            id: Type.TString;
+                            member: Type.TString;
+                        }>]>;
+                        kind: Type.TUnion<[Type.TLiteral<"directory">, Type.TLiteral<"file">]>;
+                        path: Type.TString;
+                    }>>;
+                }>;
+            }>]>;
+        }>>;
+        compatibility: Type.TObject<{
+            schemaVersion: Type.TLiteral<2>;
+            ownerRoots: Type.TRecord<"^.*$", Type.TString>;
+            rules: Type.TArray<Type.TObject<{
+                id: Type.TString;
+                ownerProject: Type.TString;
+                manifestPath: Type.TString;
+            }>>;
+        }>;
+    }>;
+}>, Type.TObject<{
+    _tag: Type.TLiteral<"Rejected">;
+    issues: Type.TArray<Type.TObject<{
+        code: Type.TUnion<[Type.TLiteral<"authority-anchor-mismatch">, Type.TLiteral<"authority-blueprint-missing">, Type.TLiteral<"authority-compatibility-invalid">, Type.TLiteral<"authority-definition-invalid">, Type.TLiteral<"authority-definition-kind-mismatch">, Type.TLiteral<"authority-duplicate-blueprint">, Type.TLiteral<"authority-duplicate-instance">, Type.TLiteral<"authority-duplicate-rule">, Type.TLiteral<"authority-filesystem-failed">, Type.TLiteral<"authority-json-invalid">, Type.TLiteral<"authority-manifest-invalid">, Type.TLiteral<"authority-order-invalid">, Type.TLiteral<"authority-path-escape">, Type.TLiteral<"authority-path-invalid">, Type.TLiteral<"authority-path-kind-mismatch">, Type.TLiteral<"authority-path-missing">, Type.TLiteral<"authority-package-name-mismatch">, Type.TLiteral<"authority-policy-pack-members-unsupported">, Type.TLiteral<"authority-resolution-failed">, Type.TLiteral<"authority-rule-invalid">, Type.TLiteral<"authority-schema-invalid">, Type.TLiteral<"authority-toml-invalid">, Type.TLiteral<"authority-version-mismatch">, Type.TLiteral<"authority-workspace-root-invalid">]>;
+        path: Type.TString;
+        message: Type.TString;
+    }>>;
+}>]>;
+/** One admitted blueprint definition document. */
+export type BlueprintDefinition = Static<typeof BlueprintDefinitionSchema>;
+/** Selected npm package metadata admitted for a policy pack. */
+export type PolicyPackPackageJson = Static<typeof PolicyPackPackageJsonSchema>;
+/** Closed selected policy-pack protocol manifest. */
+export type PolicyPackManifest = Static<typeof PolicyPackManifestSchema>;
+/** One admitted local instance manifest document. */
+export type HabitatInstanceManifest = Static<typeof HabitatInstanceManifestSchema>;
+/** One validated inert compatibility index. */
+export type CompatibilityIndex = Static<typeof CompatibilityIndexSchema>;
+/** One validated inert compatibility rule source identity. */
+export type CompatibilityRuleSource = Static<typeof CompatibilityRuleSourceSchema>;
+/** Caller request for one catalog resolution. */
+export type ResolveCatalogInput = Static<typeof ResolveCatalogInputSchema>;
+/** Public resolved/rejected catalog outcome. */
+export type ResolveCatalogResult = Static<typeof ResolveCatalogResultSchema>;
+/** One bounded stable catalog issue. */
+export type CatalogIssue = Static<typeof CatalogIssueSchema>;
+/** Successful catalog payload extracted from the public result union. */
+export type HabitatCatalog = Extract<ResolveCatalogResult, {
+    _tag: "Resolved";
+}>["catalog"];