@astrale-os/kernel-core 0.9.0-beta.8 → 0.9.0

package/dist/graph/reconcile/mutation/realize.js

@@ -23,4 +23,3 @@ export function realize(plan, profile) {
         }),
     });
 }
-//# sourceMappingURL=realize.js.map

package/dist/graph/reconcile/observation.d.ts

@@ -1,4 +1,4 @@
-import type { GraphData, LocalBinding } from '../graph/index.js';
+import type { GraphData, LocalAlias } from '../graph/index.js';
 import type { Node, NodeId } from '../node/index.js';
 import type { Correspondence, CorrespondenceEntry } from './correspondence.js';
 import type { EvidenceRequirement, ObservationEvidence } from './evidence.js';
@@ -16,12 +16,12 @@ export type ObservationConflict = {
     readonly kind: 'observation-evidence-contradiction';
     readonly requirement: EvidenceRequirement;
 };
-export interface ObservationAnalysis {
+interface ObservationAnalysis {
     readonly nodes: ReadonlyMap<NodeId, Node>;
     readonly edges: ReadonlyMap<string, Edge>;
     readonly evidence: readonly ObservationEvidence[];
     readonly conflicts: readonly ObservationConflict[];
 }
 /** Index finite facts and classify contradictory or duplicate evidence. */
-export declare function analyzeObservation(observation: Observation, correspondence: ReadonlyMap<LocalBinding, CorrespondenceEntry>): ObservationAnalysis;
-//# sourceMappingURL=observation.d.ts.map
+export declare function analyzeObservation(observation: Observation, correspondence: ReadonlyMap<LocalAlias, CorrespondenceEntry>): ObservationAnalysis;
+export {};

package/dist/graph/reconcile/observation.js

@@ -60,4 +60,3 @@ function evidenceContradicts(evidence, nodes, edges, correspondence) {
         return true;
     return [...correspondence.values()].some((entry) => entry.kind === 'present' && entry.node === requirement.node);
 }
-//# sourceMappingURL=observation.js.map

package/dist/graph/reconcile/planning/canonical.d.ts

@@ -2,6 +2,12 @@ import { type ObservationRequirement } from '#graph/reconcile/evidence';
 import type { Effect, PlanningBlocker, PlanningConflict, Premise, ReconciliationPlan } from './model.js';
 export declare function canonicalRequirements(values: readonly ObservationRequirement[]): ObservationRequirement[];
 export declare function canonicalPremises(values: readonly Premise[]): Premise[];
+/**
+ * Distinct desired refs can name one target: an explicit NodeId and a binding whose
+ * correspondence observes that Node. Effects with one key and equal content collapse; effects with
+ * one key and different content contradict the desired state, which no transition can establish.
+ */
+export declare function contradictoryEffects(values: readonly Effect[]): PlanningConflict[];
 export declare function canonicalEffects(values: readonly Effect[]): Effect[];
 export declare function canonicalConflicts(values: readonly PlanningConflict[]): PlanningConflict[];
 export declare function canonicalBlockers(values: readonly PlanningBlocker[]): PlanningBlocker[];
@@ -10,4 +16,3 @@ export declare function createPlan(input: {
     readonly effects: ReconciliationPlan['effects'];
     readonly establishes: ReconciliationPlan['establishes'];
 }): ReconciliationPlan;
-//# sourceMappingURL=canonical.d.ts.map

package/dist/graph/reconcile/planning/canonical.js

@@ -1,3 +1,4 @@
+import * as portable from '@astrale-os/kernel-dsl/value';
 import { freezeRequirement, requirementKey, } from '#graph/reconcile/evidence';
 import { encodeEdgeKey } from '../../edge/index.js';
 export function canonicalRequirements(values) {
@@ -8,6 +9,30 @@ export function canonicalRequirements(values) {
 export function canonicalPremises(values) {
     return [...new Map(values.map((value) => [premiseKey(value), value])).values()].sort(comparePremises);
 }
+/**
+ * Distinct desired refs can name one target: an explicit NodeId and a binding whose
+ * correspondence observes that Node. Effects with one key and equal content collapse; effects with
+ * one key and different content contradict the desired state, which no transition can establish.
+ */
+export function contradictoryEffects(values) {
+    const groups = new Map();
+    for (const value of values) {
+        const key = effectKey(value);
+        const group = groups.get(key) ?? new Map();
+        group.set(portable.json.serialize(value), value);
+        groups.set(key, group);
+    }
+    const conflicts = [];
+    for (const group of groups.values()) {
+        if (group.size < 2)
+            continue;
+        conflicts.push({
+            kind: 'desired-target-contradictory',
+            effects: [...group].sort(([left], [right]) => compare(left, right)).map(([, value]) => value),
+        });
+    }
+    return conflicts;
+}
 export function canonicalEffects(values) {
     return [...new Map(values.map((value) => [effectKey(value), value])).values()].sort(compareEffects);
 }
@@ -66,9 +91,11 @@ function freezeConflict(value) {
     if (value.kind === 'correspondence-noninjective') {
         return Object.freeze({ ...value, desired: Object.freeze([...value.desired]) });
     }
+    if (value.kind === 'desired-target-contradictory') {
+        return Object.freeze({ ...value, effects: Object.freeze([...value.effects]) });
+    }
     return Object.freeze({ ...value });
 }
 function compare(left, right) {
     return left < right ? -1 : left > right ? 1 : 0;
 }
-//# sourceMappingURL=canonical.js.map

package/dist/graph/reconcile/planning/comparison.d.ts

@@ -7,4 +7,3 @@ export declare function desiredSlugChange(current: EdgeSlug | undefined, desired
     readonly value?: EdgeSlug | null;
 };
 export declare function observedSlug(value: EdgeSlug | undefined): Expectation<EdgeSlug>;
-//# sourceMappingURL=comparison.d.ts.map

package/dist/graph/reconcile/planning/comparison.js

@@ -27,4 +27,3 @@ export function observedSlug(value) {
 function compare(left, right) {
     return left < right ? -1 : left > right ? 1 : 0;
 }
-//# sourceMappingURL=comparison.js.map

package/dist/graph/reconcile/planning/context.d.ts

@@ -2,15 +2,15 @@ import { type CorrespondenceEntry } from '#graph/reconcile/correspondence';
 import { type ObservationEvidence, type ObservationRequirement } from '#graph/reconcile/evidence';
 import { type Observation } from '#graph/reconcile/observation';
 import type { Edge } from '../../edge/index.js';
-import type { LocalBinding } from '../../graph/index.js';
+import type { LocalAlias } from '../../graph/index.js';
 import type { Node, NodeId } from '../../node/index.js';
 import type { Effect, PlanningBlocker, PlanningConflict, Premise } from './model.js';
 import { type DesiredProperties } from '../../properties/index.js';
 export interface PlanningContext {
     readonly nodes: ReadonlyMap<NodeId, Node>;
     readonly edges: ReadonlyMap<string, Edge>;
-    readonly correspondence: ReadonlyMap<LocalBinding, CorrespondenceEntry>;
-    readonly created: Set<LocalBinding>;
+    readonly correspondence: ReadonlyMap<LocalAlias, CorrespondenceEntry>;
+    readonly created: Set<LocalAlias>;
     readonly evidence: readonly ObservationEvidence[];
     readonly premises: Premise[];
     readonly effects: Effect[];
@@ -21,4 +21,3 @@ export interface PlanningContext {
 export declare function createPlanningContext(observation: Observation): PlanningContext;
 export declare function addPremise(context: PlanningContext, premise: Premise): void;
 export declare function emptyDesired(): DesiredProperties;
-//# sourceMappingURL=context.d.ts.map

package/dist/graph/reconcile/planning/context.js

@@ -26,4 +26,3 @@ export function addPremise(context, premise) {
 export function emptyDesired() {
     return normalizeDesiredProperties({});
 }
-//# sourceMappingURL=context.js.map

package/dist/graph/reconcile/planning/edge.d.ts

@@ -1,4 +1,3 @@
 import type { DesiredEdge } from '../condition/index.js';
 import { type PlanningContext } from './context.js';
 export declare function planEdge(desired: DesiredEdge, context: PlanningContext): void;
-//# sourceMappingURL=edge.d.ts.map

package/dist/graph/reconcile/planning/edge.js

@@ -85,4 +85,3 @@ function planUncreatedEndpoints(bindings, desired, context) {
         }
     }
 }
-//# sourceMappingURL=edge.js.map

package/dist/graph/reconcile/planning/evidence.d.ts

@@ -1,4 +1,3 @@
 import { type ObservationRequirement } from '#graph/reconcile/evidence';
 import { type PlanningContext } from './context.js';
 export declare function requireAbsence(requirement: ObservationRequirement, context: PlanningContext): void;
-//# sourceMappingURL=evidence.d.ts.map

package/dist/graph/reconcile/planning/evidence.js

@@ -7,4 +7,3 @@ export function requireAbsence(requirement, context) {
     else
         addPremise(context, { kind: 'query', ...evidence });
 }
-//# sourceMappingURL=evidence.js.map

package/dist/graph/reconcile/planning/index.d.ts

@@ -1,4 +1,3 @@
 export type { Effect, EdgePremise, NodePremise, PlanResult, PlanningBlocker, PlanningConflict, Premise, QueryPremise, ReconciliationPlan, ResolvedEdgeRef, ResolvedNodeRef, } from './model.js';
 export { plan } from './plan.js';
 export { ReconcileReference } from './reference.js';
-//# sourceMappingURL=index.d.ts.map

package/dist/graph/reconcile/planning/index.js

@@ -1,3 +1,2 @@
 export { plan } from './plan.js';
 export { ReconcileReference } from './reference.js';
-//# sourceMappingURL=index.js.map

package/dist/graph/reconcile/planning/model.d.ts

@@ -3,12 +3,12 @@ import type { CorrespondenceConflict } from '#graph/reconcile/correspondence';
 import type { ObservationRequirement, QueryObservation } from '#graph/reconcile/evidence';
 import type { ObservationConflict } from '#graph/reconcile/observation';
 import type { EdgeKey, EdgeSlug } from '../../edge/index.js';
-import type { LocalBinding } from '../../graph/index.js';
+import type { LocalAlias } from '../../graph/index.js';
 import type { NodeId } from '../../node/index.js';
 import type { Delta, DesiredProperties, Properties } from '../../properties/index.js';
 import type { DesiredFingerprint, DesiredSelection, Expectation, ReconcileConflict } from '../condition/index.js';
 export type ResolvedNodeRef = NodeId | {
-    readonly created: LocalBinding;
+    readonly created: LocalAlias;
 };
 export interface ResolvedEdgeRef {
     readonly source: ResolvedNodeRef;
@@ -35,7 +35,7 @@ export interface QueryPremise {
 }
 export type Effect = {
     readonly op: 'node.create';
-    readonly as: LocalBinding;
+    readonly as: LocalAlias;
     readonly class: ClassKey;
     readonly properties: Properties;
 } | {
@@ -63,7 +63,7 @@ export type Effect = {
 };
 export type PlanningConflict = ReconcileConflict | CorrespondenceConflict | ObservationConflict | {
     readonly kind: 'desired-binding-uncreated';
-    readonly desired: LocalBinding;
+    readonly desired: LocalAlias;
 } | {
     readonly kind: 'node-class-observed';
     readonly node: NodeId;
@@ -72,6 +72,10 @@ export type PlanningConflict = ReconcileConflict | CorrespondenceConflict | Obse
 } | {
     readonly kind: 'node-identity-absent';
     readonly node: NodeId;
+} | {
+    /** One effect target reached through aliasing refs with different desired content. */
+    readonly kind: 'desired-target-contradictory';
+    readonly effects: readonly Effect[];
 };
 export type PlanningBlocker = {
     readonly kind: 'selection-unsatisfied';
@@ -105,4 +109,3 @@ export type PlanResult = {
     readonly plan: ReconciliationPlan;
 };
 export {};
-//# sourceMappingURL=model.d.ts.map

package/dist/graph/reconcile/planning/model.js

@@ -1,2 +1 @@
 export {};
-//# sourceMappingURL=model.js.map

package/dist/graph/reconcile/planning/node.d.ts

@@ -1,4 +1,3 @@
 import type { DesiredNode } from '../condition/index.js';
 import { type PlanningContext } from './context.js';
 export declare function planNode(desired: DesiredNode, context: PlanningContext): void;
-//# sourceMappingURL=node.d.ts.map

package/dist/graph/reconcile/planning/node.js

@@ -111,4 +111,3 @@ function planCreatedNode(binding, desired, context) {
         properties: desired.properties.values,
     }));
 }
-//# sourceMappingURL=node.js.map

package/dist/graph/reconcile/planning/plan.d.ts

@@ -6,4 +6,3 @@ export declare function plan(input: {
     readonly observation: Observation;
     readonly desired: Desired;
 }): PlanResult;
-//# sourceMappingURL=plan.d.ts.map

package/dist/graph/reconcile/planning/plan.js

@@ -1,5 +1,5 @@
 import { fingerprint } from '../condition/index.js';
-import { canonicalBlockers, canonicalConflicts, canonicalEffects, canonicalPremises, canonicalRequirements, createPlan, } from './canonical.js';
+import { canonicalBlockers, canonicalConflicts, canonicalEffects, canonicalPremises, canonicalRequirements, contradictoryEffects, createPlan, } from './canonical.js';
 import { createPlanningContext } from './context.js';
 import { planEdge } from './edge.js';
 import { planNode } from './node.js';
@@ -13,6 +13,7 @@ export function plan(input) {
         planEdge(edge, context);
     for (const selection of input.desired.selections)
         planSelection(selection, context);
+    context.conflicts.push(...contradictoryEffects(context.effects));
     if (context.conflicts.length > 0) {
         return Object.freeze({
             kind: 'conflict',
@@ -47,4 +48,3 @@ export function plan(input) {
         }),
     });
 }
-//# sourceMappingURL=plan.js.map

package/dist/graph/reconcile/planning/reference.d.ts

@@ -8,4 +8,3 @@ export declare const ReconcileReference: {
         readonly desired: Desired;
     }): PlanResult;
 };
-//# sourceMappingURL=reference.d.ts.map

package/dist/graph/reconcile/planning/reference.js

@@ -5,4 +5,3 @@ export const ReconcileReference = Object.freeze({
         return plan(input);
     },
 });
-//# sourceMappingURL=reference.js.map

package/dist/graph/reconcile/planning/resolve.d.ts

@@ -3,4 +3,3 @@ import type { PlanningContext } from './context.js';
 import type { ResolvedEdgeRef, ResolvedNodeRef } from './model.js';
 export declare function resolveNode(ref: DesiredNodeRef, context: PlanningContext): ResolvedNodeRef | undefined;
 export declare function resolveEdge(ref: DesiredEdgeRef, context: PlanningContext): ResolvedEdgeRef | undefined;
-//# sourceMappingURL=resolve.d.ts.map

package/dist/graph/reconcile/planning/resolve.js

@@ -15,4 +15,3 @@ export function resolveEdge(ref, context) {
         ? undefined
         : Object.freeze({ source, target, class: ref.class });
 }
-//# sourceMappingURL=resolve.js.map

package/dist/graph/reconcile/planning/selection.d.ts

@@ -4,4 +4,3 @@ import type { PlanningContext } from './context.js';
 export declare function planSelection(desired: DesiredSelection, context: PlanningContext): void;
 /** Block a transition until its desired Query selection can be proved over proposed G1. */
 export declare function requireSelectionPoststateProof(desired: DesiredSelection, context: PlanningContext): void;
-//# sourceMappingURL=selection.d.ts.map

package/dist/graph/reconcile/planning/selection.js

@@ -28,4 +28,3 @@ function equalSelection(desired, observed) {
     return (desired.equals.kind === observed.kind &&
         JSON.stringify(desired.equals) === JSON.stringify(observed));
 }
-//# sourceMappingURL=selection.js.map

package/dist/graph/wire.d.ts

@@ -3,4 +3,3 @@ type Invalid = (path: string, message: string) => never;
 /** Apply one graph wire schema and translate its first issue into the codec's stable error family. */
 export declare function decodeWire<Schema extends z.ZodType>(schema: Schema, input: unknown, invalid: Invalid): z.output<Schema>;
 export {};
-//# sourceMappingURL=wire.d.ts.map

package/dist/graph/wire.js

@@ -13,4 +13,3 @@ export function decodeWire(schema, input, invalid) {
 function escapePointer(value) {
     return value.replaceAll('~', '~0').replaceAll('/', '~1');
 }
-//# sourceMappingURL=wire.js.map

package/dist/index.d.ts

@@ -8,4 +8,3 @@ export * from './dns-label.js';
 export * from './schema/index.js';
 export * from './events/index.js';
 export * from './auth/index.js';
-//# sourceMappingURL=index.d.ts.map

package/dist/index.js

@@ -8,4 +8,3 @@ export * from './dns-label.js';
 export * from './schema/index.js';
 export * from './events/index.js';
 export * from './auth/index.js';
-//# sourceMappingURL=index.js.map

package/dist/schema/authority/authority-relation.d.ts

@@ -1,3 +1,2 @@
 import { type builder } from '@astrale-os/kernel-dsl/v1';
 export declare function authorityRelation(target: builder.NodeClass, role: 'function' | 'class' | 'operation', description: string): builder.EdgeClass;
-//# sourceMappingURL=authority-relation.d.ts.map

package/dist/schema/authority/authority-relation.js

@@ -12,6 +12,8 @@ export function authorityRelation(target, role, description) {
         target: { as: role, accepts: [target], incoming: '0..*' },
         description,
         extends: [Edge],
+        // The installed authority map is observed through Identity.can, never read wholesale: only the
+        // Kernel Domain and Root read its Edges.
+        policies: { read: false, traverse: false },
     });
 }
-//# sourceMappingURL=authority-relation.js.map

package/dist/schema/authority/can-create.d.ts

@@ -1,3 +1,2 @@
 import type { builder } from '@astrale-os/kernel-dsl/v1';
 export declare const CanCreate: builder.EdgeClass;
-//# sourceMappingURL=can-create.d.ts.map

package/dist/schema/authority/can-create.js

@@ -1,4 +1,3 @@
 import { Class } from '../definitions/index.js';
 import { authorityRelation } from './authority-relation.js';
 export const CanCreate = authorityRelation(Class, 'class', 'An Identity may create instances of the target Class.');
-//# sourceMappingURL=can-create.js.map

package/dist/schema/authority/can-delete.d.ts

@@ -1,3 +1,2 @@
 import type { builder } from '@astrale-os/kernel-dsl/v1';
 export declare const CanDelete: builder.EdgeClass;
-//# sourceMappingURL=can-delete.d.ts.map

package/dist/schema/authority/can-delete.js

@@ -1,4 +1,3 @@
 import { Class } from '../definitions/index.js';
 import { authorityRelation } from './authority-relation.js';
 export const CanDelete = authorityRelation(Class, 'class', 'An Identity may delete instances of the target Class.');
-//# sourceMappingURL=can-delete.js.map

package/dist/schema/authority/can-grant.d.ts

@@ -1,3 +1,2 @@
 import type { builder } from '@astrale-os/kernel-dsl/v1';
 export declare const CanGrant: builder.EdgeClass;
-//# sourceMappingURL=can-grant.d.ts.map

package/dist/schema/authority/can-grant.js

@@ -1,4 +1,3 @@
 import { authorityRelation } from './authority-relation.js';
 import { Operation } from './operation-node.js';
 export const CanGrant = authorityRelation(Operation, 'operation', 'An Identity may create authority edges for the target Operation.');
-//# sourceMappingURL=can-grant.js.map

package/dist/schema/authority/can-read.d.ts

@@ -1,3 +1,2 @@
 import type { builder } from '@astrale-os/kernel-dsl/v1';
 export declare const CanRead: builder.EdgeClass;
-//# sourceMappingURL=can-read.d.ts.map

package/dist/schema/authority/can-read.js

@@ -1,4 +1,3 @@
 import { Class } from '../definitions/index.js';
 import { authorityRelation } from './authority-relation.js';
 export const CanRead = authorityRelation(Class, 'class', 'An Identity may read complete instances of the target Class; read also permits traversal.');
-//# sourceMappingURL=can-read.js.map

package/dist/schema/authority/can-revoke.d.ts

@@ -1,3 +1,2 @@
 import type { builder } from '@astrale-os/kernel-dsl/v1';
 export declare const CanRevoke: builder.EdgeClass;
-//# sourceMappingURL=can-revoke.d.ts.map

package/dist/schema/authority/can-revoke.js

@@ -1,4 +1,3 @@
 import { authorityRelation } from './authority-relation.js';
 import { Operation } from './operation-node.js';
 export const CanRevoke = authorityRelation(Operation, 'operation', 'An Identity may remove authority edges for the target Operation.');
-//# sourceMappingURL=can-revoke.js.map

package/dist/schema/authority/can-traverse.d.ts

@@ -1,3 +1,2 @@
 import type { builder } from '@astrale-os/kernel-dsl/v1';
 export declare const CanTraverse: builder.EdgeClass;
-//# sourceMappingURL=can-traverse.d.ts.map

package/dist/schema/authority/can-traverse.js

@@ -1,4 +1,3 @@
 import { Class } from '../definitions/index.js';
 import { authorityRelation } from './authority-relation.js';
 export const CanTraverse = authorityRelation(Class, 'class', 'An Identity may use instances of the target Class as structural Query witnesses without reading their values.');
-//# sourceMappingURL=can-traverse.js.map

package/dist/schema/authority/can-update.d.ts

@@ -1,3 +1,2 @@
 import type { builder } from '@astrale-os/kernel-dsl/v1';
 export declare const CanUpdate: builder.EdgeClass;
-//# sourceMappingURL=can-update.d.ts.map

package/dist/schema/authority/can-update.js

@@ -1,4 +1,3 @@
 import { Class } from '../definitions/index.js';
 import { authorityRelation } from './authority-relation.js';
 export const CanUpdate = authorityRelation(Class, 'class', 'An Identity may update instances of the target Class.');
-//# sourceMappingURL=can-update.js.map

package/dist/schema/authority/can-use.d.ts

@@ -1,3 +1,2 @@
 import type { builder } from '@astrale-os/kernel-dsl/v1';
 export declare const CanUse: builder.EdgeClass;
-//# sourceMappingURL=can-use.d.ts.map

package/dist/schema/authority/can-use.js

@@ -1,4 +1,3 @@
 import { Function } from '../callables/index.js';
 import { authorityRelation } from './authority-relation.js';
 export const CanUse = authorityRelation(Function, 'function', 'An Identity may invoke the exact target Function declaration.');
-//# sourceMappingURL=can-use.js.map

package/dist/schema/authority/claims.d.ts

@@ -1,28 +1,26 @@
-import { z } from 'zod';
 /** Exact reusable schema for one ClaimConstraint in a graph or callable contract. */
-export declare const claimConstraintSchema: z.ZodDiscriminatedUnion<[z.ZodObject<{
-    claim: z.ZodString;
-    op: z.ZodLiteral<"contains">;
-    value: z.ZodNonOptional<z.ZodUnknown>;
-}, z.core.$strict>, z.ZodObject<{
-    claim: z.ZodString;
-    op: z.ZodLiteral<"eq">;
-    value: z.ZodNonOptional<z.ZodUnknown>;
-}, z.core.$strict>, z.ZodObject<{
-    claim: z.ZodString;
-    op: z.ZodLiteral<"exists">;
-}, z.core.$strict>], "op">;
+export declare const claimConstraintSchema: import("zod").ZodDiscriminatedUnion<[import("zod").ZodObject<{
+    claim: import("zod").ZodString;
+    op: import("zod").ZodLiteral<"contains">;
+    value: import("zod").ZodNonOptional<import("zod").ZodUnknown>;
+}, import("zod/v4/core").$strict>, import("zod").ZodObject<{
+    claim: import("zod").ZodString;
+    op: import("zod").ZodLiteral<"eq">;
+    value: import("zod").ZodNonOptional<import("zod").ZodUnknown>;
+}, import("zod/v4/core").$strict>, import("zod").ZodObject<{
+    claim: import("zod").ZodString;
+    op: import("zod").ZodLiteral<"exists">;
+}, import("zod/v4/core").$strict>], "op">;
 /** Exact reusable bounded schema for an Identity's required ClaimConstraints. */
-export declare const requiredClaimsSchema: z.ZodArray<z.ZodDiscriminatedUnion<[z.ZodObject<{
-    claim: z.ZodString;
-    op: z.ZodLiteral<"contains">;
-    value: z.ZodNonOptional<z.ZodUnknown>;
-}, z.core.$strict>, z.ZodObject<{
-    claim: z.ZodString;
-    op: z.ZodLiteral<"eq">;
-    value: z.ZodNonOptional<z.ZodUnknown>;
-}, z.core.$strict>, z.ZodObject<{
-    claim: z.ZodString;
-    op: z.ZodLiteral<"exists">;
-}, z.core.$strict>], "op">>;
-//# sourceMappingURL=claims.d.ts.map
+export declare const requiredClaimsSchema: import("zod").ZodArray<import("zod").ZodDiscriminatedUnion<[import("zod").ZodObject<{
+    claim: import("zod").ZodString;
+    op: import("zod").ZodLiteral<"contains">;
+    value: import("zod").ZodNonOptional<import("zod").ZodUnknown>;
+}, import("zod/v4/core").$strict>, import("zod").ZodObject<{
+    claim: import("zod").ZodString;
+    op: import("zod").ZodLiteral<"eq">;
+    value: import("zod").ZodNonOptional<import("zod").ZodUnknown>;
+}, import("zod/v4/core").$strict>, import("zod").ZodObject<{
+    claim: import("zod").ZodString;
+    op: import("zod").ZodLiteral<"exists">;
+}, import("zod/v4/core").$strict>], "op">>;

package/dist/schema/authority/claims.js

@@ -1,13 +1,12 @@
-import { z } from 'zod';
+import { array, discriminatedUnion, literal, strictObject, string, unknown as unknownSchema, } from 'zod';
 import { claims } from '#auth';
-const claim = z.string().min(1);
-const portableValue = z.unknown().nonoptional();
+const claim = string().min(1);
+const portableValue = unknownSchema().nonoptional();
 /** Exact reusable schema for one ClaimConstraint in a graph or callable contract. */
-export const claimConstraintSchema = z.discriminatedUnion('op', [
-    z.strictObject({ claim, op: z.literal('contains'), value: portableValue }),
-    z.strictObject({ claim, op: z.literal('eq'), value: portableValue }),
-    z.strictObject({ claim, op: z.literal('exists') }),
+export const claimConstraintSchema = discriminatedUnion('op', [
+    strictObject({ claim, op: literal('contains'), value: portableValue }),
+    strictObject({ claim, op: literal('eq'), value: portableValue }),
+    strictObject({ claim, op: literal('exists') }),
 ]);
 /** Exact reusable bounded schema for an Identity's required ClaimConstraints. */
-export const requiredClaimsSchema = z.array(claimConstraintSchema).max(claims.MAX_REQUIRED_CLAIMS);
-//# sourceMappingURL=claims.js.map
+export const requiredClaimsSchema = array(claimConstraintSchema).max(claims.MAX_REQUIRED_CLAIMS);