monomind 1.6.0 → 1.6.1

package/packages/@monomind/guidance/dist/capabilities.d.ts

@@ -1,209 +0,0 @@
-/**
- * Capability Algebra
- *
- * All permissions become typed objects that can be composed, restricted,
- * delegated, revoked, and reasoned about. Supports delegation chains,
- * attestations, constraint evaluation, and set-theoretic composition
- * (intersection for actions, union for constraints).
- *
- * @module @monomind/guidance/capabilities
- */
-/**
- * Scope categories for capabilities
- */
-export type CapabilityScope = 'tool' | 'memory' | 'network' | 'file' | 'model' | 'system';
-/**
- * Constraint applied to a capability
- */
-export interface CapabilityConstraint {
-    /** Constraint type */
-    type: 'rate-limit' | 'budget' | 'time-window' | 'condition' | 'scope-restriction';
-    /** Type-specific parameters */
-    params: Record<string, unknown>;
-}
-/**
- * Cryptographic attestation for a capability
- */
-export interface Attestation {
-    /** ID of the attesting agent or authority */
-    attesterId: string;
-    /** When the attestation was made (ms since epoch) */
-    attestedAt: number;
-    /** Claim being attested (e.g., "agent passed security audit") */
-    claim: string;
-    /** Optional evidence supporting the claim */
-    evidence: string | null;
-    /** Signature over the claim (hex-encoded) */
-    signature: string;
-}
-/**
- * A typed permission object representing a granted capability
- */
-export interface Capability {
-    /** Unique capability identifier (UUID) */
-    id: string;
-    /** Scope category */
-    scope: CapabilityScope;
-    /** Target resource (tool name, namespace, path pattern, etc.) */
-    resource: string;
-    /** Allowed actions (e.g., 'read', 'write', 'execute', 'delete') */
-    actions: string[];
-    /** Active constraints on this capability */
-    constraints: CapabilityConstraint[];
-    /** Agent or authority that granted this capability */
-    grantedBy: string;
-    /** Agent this capability is granted to */
-    grantedTo: string;
-    /** When the capability was granted (ms since epoch) */
-    grantedAt: number;
-    /** When the capability expires, or null for no expiry */
-    expiresAt: number | null;
-    /** Whether this capability can be delegated to sub-agents */
-    delegatable: boolean;
-    /** Whether this capability has been revoked */
-    revoked: boolean;
-    /** When the capability was revoked, or null if not revoked */
-    revokedAt: number | null;
-    /** Attestations attached to this capability */
-    attestations: Attestation[];
-    /** Parent capability ID for delegation chains, or null for root grants */
-    parentCapabilityId: string | null;
-}
-/**
- * Result of evaluating a capability check
- */
-export interface CapabilityCheckResult {
-    /** Whether the requested action is allowed */
-    allowed: boolean;
-    /** Capabilities that matched the check criteria */
-    capabilities: Capability[];
-    /** Human-readable reason for the decision */
-    reason: string;
-    /** Active constraints that applied during evaluation */
-    constraints: CapabilityConstraint[];
-}
-/**
- * Capability Algebra
- *
- * Manages the lifecycle of typed capabilities: granting, restricting,
- * delegating, revoking, attesting, checking, and composing permissions.
- * All mutations produce new capability objects; the original is never
- * modified in place (except for revocation which is a state change).
- */
-export declare class CapabilityAlgebra {
-    /** All capabilities indexed by ID */
-    private readonly capabilities;
-    /** Index: agentId -> set of capability IDs */
-    private readonly agentIndex;
-    /** Index: parentCapabilityId -> set of child capability IDs */
-    private readonly delegationIndex;
-    /**
-     * Grant a new root capability.
-     *
-     * Creates a capability with no parent (it is a root grant from an
-     * authority to an agent).
-     */
-    grant(params: {
-        scope: CapabilityScope;
-        resource: string;
-        actions: string[];
-        grantedBy: string;
-        grantedTo: string;
-        constraints?: CapabilityConstraint[];
-        expiresAt?: number | null;
-        delegatable?: boolean;
-    }): Capability;
-    /**
-     * Restrict a capability, producing a new capability with tighter constraints.
-     *
-     * Restrictions can only narrow permissions, never widen them:
-     * - Actions can only be removed, never added
-     * - Constraints can only be added, never removed
-     * - Expiry can only be shortened, never extended
-     * - Delegatable can only be set to false, never promoted to true
-     */
-    restrict(capability: Capability, restrictions: Partial<Capability>): Capability;
-    /**
-     * Delegate a capability to another agent.
-     *
-     * Creates a child capability with the new grantedTo agent. The parent
-     * capability must have delegatable=true. Optional further restrictions
-     * can be applied during delegation.
-     *
-     * @throws Error if the capability is not delegatable
-     */
-    delegate(capability: Capability, toAgentId: string, restrictions?: Partial<Capability>): Capability;
-    /**
-     * Expire a capability immediately by setting expiresAt to now.
-     */
-    expire(capabilityId: string): void;
-    /**
-     * Revoke a capability and cascade revocation to all delegated children.
-     */
-    revoke(capabilityId: string, _reason?: string): void;
-    /**
-     * Add an attestation to a capability.
-     */
-    attest(capabilityId: string, attestation: Omit<Attestation, 'attestedAt'>): void;
-    /**
-     * Check whether an agent is allowed to perform an action on a resource.
-     *
-     * Finds all non-revoked, non-expired capabilities for the agent that
-     * match the requested scope and resource, checks if the requested action
-     * is allowed, and verifies all constraints are satisfied.
-     */
-    check(agentId: string, scope: CapabilityScope, resource: string, action: string, context?: Record<string, unknown>): CapabilityCheckResult;
-    /**
-     * Get all capabilities granted to a specific agent.
-     */
-    getCapabilities(agentId: string): Capability[];
-    /**
-     * Get a capability by ID.
-     */
-    getCapability(id: string): Capability | undefined;
-    /**
-     * Get the full delegation chain from root to the given capability.
-     *
-     * Returns an array ordered from the root ancestor to the given capability.
-     */
-    getDelegationChain(capabilityId: string): Capability[];
-    /**
-     * Compose two capabilities via intersection.
-     *
-     * - Actions = intersection of both action sets
-     * - Constraints = union of both constraint sets
-     * - Expiry = the tighter (earlier) of the two
-     * - Delegatable = true only if both are delegatable
-     * - Scope and resource must match; throws if they differ
-     *
-     * @throws Error if scope or resource do not match
-     */
-    compose(cap1: Capability, cap2: Capability): Capability;
-    /**
-     * Check if inner's permission set is a subset of outer's.
-     *
-     * Returns true if:
-     * - inner.scope === outer.scope
-     * - inner.resource === outer.resource
-     * - Every action in inner is present in outer
-     * - inner.expiresAt is <= outer.expiresAt (or outer has no expiry)
-     */
-    isSubset(inner: Capability, outer: Capability): boolean;
-    /**
-     * Evaluate whether all constraints on a capability are satisfied.
-     */
-    private satisfiesConstraints;
-    /**
-     * Cascade revocation to all delegated children of a capability.
-     */
-    private cascadeRevoke;
-    /**
-     * Store a capability and update indices.
-     */
-    private store;
-}
-/**
- * Create a CapabilityAlgebra instance
- */
-export declare function createCapabilityAlgebra(): CapabilityAlgebra;
-//# sourceMappingURL=capabilities.d.ts.map

package/packages/@monomind/guidance/dist/capabilities.js

@@ -1,485 +0,0 @@
-/**
- * Capability Algebra
- *
- * All permissions become typed objects that can be composed, restricted,
- * delegated, revoked, and reasoned about. Supports delegation chains,
- * attestations, constraint evaluation, and set-theoretic composition
- * (intersection for actions, union for constraints).
- *
- * @module @monomind/guidance/capabilities
- */
-import { randomUUID } from 'node:crypto';
-// ============================================================================
-// Capability Algebra
-// ============================================================================
-/**
- * Capability Algebra
- *
- * Manages the lifecycle of typed capabilities: granting, restricting,
- * delegating, revoking, attesting, checking, and composing permissions.
- * All mutations produce new capability objects; the original is never
- * modified in place (except for revocation which is a state change).
- */
-export class CapabilityAlgebra {
-    /** All capabilities indexed by ID */
-    capabilities = new Map();
-    /** Index: agentId -> set of capability IDs */
-    agentIndex = new Map();
-    /** Index: parentCapabilityId -> set of child capability IDs */
-    delegationIndex = new Map();
-    // =========================================================================
-    // Public API
-    // =========================================================================
-    /**
-     * Grant a new root capability.
-     *
-     * Creates a capability with no parent (it is a root grant from an
-     * authority to an agent).
-     */
-    grant(params) {
-        const capability = {
-            id: randomUUID(),
-            scope: params.scope,
-            resource: params.resource,
-            actions: [...params.actions],
-            constraints: params.constraints ? [...params.constraints] : [],
-            grantedBy: params.grantedBy,
-            grantedTo: params.grantedTo,
-            grantedAt: Date.now(),
-            expiresAt: params.expiresAt ?? null,
-            delegatable: params.delegatable ?? false,
-            revoked: false,
-            revokedAt: null,
-            attestations: [],
-            parentCapabilityId: null,
-        };
-        this.store(capability);
-        return capability;
-    }
-    /**
-     * Restrict a capability, producing a new capability with tighter constraints.
-     *
-     * Restrictions can only narrow permissions, never widen them:
-     * - Actions can only be removed, never added
-     * - Constraints can only be added, never removed
-     * - Expiry can only be shortened, never extended
-     * - Delegatable can only be set to false, never promoted to true
-     */
-    restrict(capability, restrictions) {
-        const restricted = {
-            ...capability,
-            id: randomUUID(),
-            grantedAt: Date.now(),
-            attestations: [],
-            parentCapabilityId: capability.id,
-        };
-        // Actions: only allow narrowing (intersection with original)
-        if (restrictions.actions) {
-            const originalSet = new Set(capability.actions);
-            restricted.actions = restrictions.actions.filter(a => originalSet.has(a));
-        }
-        // Constraints: only allow adding more (union)
-        if (restrictions.constraints) {
-            restricted.constraints = [
-                ...capability.constraints,
-                ...restrictions.constraints,
-            ];
-        }
-        // Expiry: only allow shortening (pick earlier)
-        if (restrictions.expiresAt !== undefined) {
-            if (restrictions.expiresAt !== null) {
-                if (capability.expiresAt === null) {
-                    restricted.expiresAt = restrictions.expiresAt;
-                }
-                else {
-                    restricted.expiresAt = Math.min(capability.expiresAt, restrictions.expiresAt);
-                }
-            }
-            // If restriction tries to set null (no expiry) but original has expiry, keep original
-        }
-        // Delegatable: can only be downgraded to false
-        if (restrictions.delegatable !== undefined) {
-            if (!restrictions.delegatable) {
-                restricted.delegatable = false;
-            }
-            // Cannot promote to delegatable if original is not
-        }
-        this.store(restricted);
-        return restricted;
-    }
-    /**
-     * Delegate a capability to another agent.
-     *
-     * Creates a child capability with the new grantedTo agent. The parent
-     * capability must have delegatable=true. Optional further restrictions
-     * can be applied during delegation.
-     *
-     * @throws Error if the capability is not delegatable
-     */
-    delegate(capability, toAgentId, restrictions) {
-        if (!capability.delegatable) {
-            throw new Error(`Capability ${capability.id} is not delegatable`);
-        }
-        if (capability.revoked) {
-            throw new Error(`Cannot delegate revoked capability ${capability.id}`);
-        }
-        if (capability.expiresAt !== null && capability.expiresAt <= Date.now()) {
-            throw new Error(`Cannot delegate expired capability ${capability.id}`);
-        }
-        const delegated = {
-            ...capability,
-            id: randomUUID(),
-            grantedBy: capability.grantedTo,
-            grantedTo: toAgentId,
-            grantedAt: Date.now(),
-            attestations: [],
-            parentCapabilityId: capability.id,
-        };
-        // Apply optional further restrictions
-        if (restrictions?.actions) {
-            const originalSet = new Set(capability.actions);
-            delegated.actions = restrictions.actions.filter(a => originalSet.has(a));
-        }
-        if (restrictions?.constraints) {
-            delegated.constraints = [
-                ...capability.constraints,
-                ...restrictions.constraints,
-            ];
-        }
-        if (restrictions?.expiresAt !== undefined && restrictions.expiresAt !== null) {
-            if (capability.expiresAt === null) {
-                delegated.expiresAt = restrictions.expiresAt;
-            }
-            else {
-                delegated.expiresAt = Math.min(capability.expiresAt, restrictions.expiresAt);
-            }
-        }
-        if (restrictions?.delegatable === false) {
-            delegated.delegatable = false;
-        }
-        this.store(delegated);
-        // Track delegation relationship
-        const children = this.delegationIndex.get(capability.id) ?? new Set();
-        children.add(delegated.id);
-        this.delegationIndex.set(capability.id, children);
-        return delegated;
-    }
-    /**
-     * Expire a capability immediately by setting expiresAt to now.
-     */
-    expire(capabilityId) {
-        const capability = this.capabilities.get(capabilityId);
-        if (!capability)
-            return;
-        capability.expiresAt = Date.now();
-    }
-    /**
-     * Revoke a capability and cascade revocation to all delegated children.
-     */
-    revoke(capabilityId, _reason) {
-        const capability = this.capabilities.get(capabilityId);
-        if (!capability)
-            return;
-        capability.revoked = true;
-        capability.revokedAt = Date.now();
-        this.cascadeRevoke(capabilityId);
-    }
-    /**
-     * Add an attestation to a capability.
-     */
-    attest(capabilityId, attestation) {
-        const capability = this.capabilities.get(capabilityId);
-        if (!capability)
-            return;
-        capability.attestations.push({
-            ...attestation,
-            attestedAt: Date.now(),
-        });
-    }
-    /**
-     * Check whether an agent is allowed to perform an action on a resource.
-     *
-     * Finds all non-revoked, non-expired capabilities for the agent that
-     * match the requested scope and resource, checks if the requested action
-     * is allowed, and verifies all constraints are satisfied.
-     */
-    check(agentId, scope, resource, action, context) {
-        const agentCapIds = this.agentIndex.get(agentId);
-        if (!agentCapIds || agentCapIds.size === 0) {
-            return {
-                allowed: false,
-                capabilities: [],
-                reason: `No capabilities found for agent "${agentId}"`,
-                constraints: [],
-            };
-        }
-        const now = Date.now();
-        const matchingCapabilities = [];
-        const activeConstraints = [];
-        for (const capId of agentCapIds) {
-            const cap = this.capabilities.get(capId);
-            if (!cap)
-                continue;
-            // Skip revoked
-            if (cap.revoked)
-                continue;
-            // Skip expired
-            if (cap.expiresAt !== null && cap.expiresAt <= now)
-                continue;
-            // Match scope and resource
-            if (cap.scope !== scope)
-                continue;
-            if (cap.resource !== resource && cap.resource !== '*')
-                continue;
-            // Check action
-            if (!cap.actions.includes(action) && !cap.actions.includes('*'))
-                continue;
-            // Check constraints
-            if (!this.satisfiesConstraints(cap, context))
-                continue;
-            matchingCapabilities.push(cap);
-            activeConstraints.push(...cap.constraints);
-        }
-        if (matchingCapabilities.length === 0) {
-            return {
-                allowed: false,
-                capabilities: [],
-                reason: `No matching capability for agent "${agentId}" to "${action}" on ${scope}:${resource}`,
-                constraints: [],
-            };
-        }
-        return {
-            allowed: true,
-            capabilities: matchingCapabilities,
-            reason: `Allowed by ${matchingCapabilities.length} capability(ies)`,
-            constraints: activeConstraints,
-        };
-    }
-    /**
-     * Get all capabilities granted to a specific agent.
-     */
-    getCapabilities(agentId) {
-        const capIds = this.agentIndex.get(agentId);
-        if (!capIds)
-            return [];
-        const result = [];
-        for (const id of capIds) {
-            const cap = this.capabilities.get(id);
-            if (cap)
-                result.push(cap);
-        }
-        return result;
-    }
-    /**
-     * Get a capability by ID.
-     */
-    getCapability(id) {
-        return this.capabilities.get(id);
-    }
-    /**
-     * Get the full delegation chain from root to the given capability.
-     *
-     * Returns an array ordered from the root ancestor to the given capability.
-     */
-    getDelegationChain(capabilityId) {
-        const chain = [];
-        let current = this.capabilities.get(capabilityId);
-        while (current) {
-            chain.unshift(current);
-            if (current.parentCapabilityId === null)
-                break;
-            current = this.capabilities.get(current.parentCapabilityId);
-        }
-        return chain;
-    }
-    /**
-     * Compose two capabilities via intersection.
-     *
-     * - Actions = intersection of both action sets
-     * - Constraints = union of both constraint sets
-     * - Expiry = the tighter (earlier) of the two
-     * - Delegatable = true only if both are delegatable
-     * - Scope and resource must match; throws if they differ
-     *
-     * @throws Error if scope or resource do not match
-     */
-    compose(cap1, cap2) {
-        if (cap1.scope !== cap2.scope) {
-            throw new Error(`Cannot compose capabilities with different scopes: "${cap1.scope}" vs "${cap2.scope}"`);
-        }
-        if (cap1.resource !== cap2.resource) {
-            throw new Error(`Cannot compose capabilities with different resources: "${cap1.resource}" vs "${cap2.resource}"`);
-        }
-        // Actions: intersection
-        const actionSet1 = new Set(cap1.actions);
-        const intersectedActions = cap2.actions.filter(a => actionSet1.has(a));
-        // Constraints: union
-        const combinedConstraints = [...cap1.constraints, ...cap2.constraints];
-        // Expiry: tightest
-        let expiresAt = null;
-        if (cap1.expiresAt !== null && cap2.expiresAt !== null) {
-            expiresAt = Math.min(cap1.expiresAt, cap2.expiresAt);
-        }
-        else if (cap1.expiresAt !== null) {
-            expiresAt = cap1.expiresAt;
-        }
-        else if (cap2.expiresAt !== null) {
-            expiresAt = cap2.expiresAt;
-        }
-        const composed = {
-            id: randomUUID(),
-            scope: cap1.scope,
-            resource: cap1.resource,
-            actions: intersectedActions,
-            constraints: combinedConstraints,
-            grantedBy: cap1.grantedBy,
-            grantedTo: cap1.grantedTo,
-            grantedAt: Date.now(),
-            expiresAt,
-            delegatable: cap1.delegatable && cap2.delegatable,
-            revoked: false,
-            revokedAt: null,
-            attestations: [],
-            parentCapabilityId: null,
-        };
-        this.store(composed);
-        return composed;
-    }
-    /**
-     * Check if inner's permission set is a subset of outer's.
-     *
-     * Returns true if:
-     * - inner.scope === outer.scope
-     * - inner.resource === outer.resource
-     * - Every action in inner is present in outer
-     * - inner.expiresAt is <= outer.expiresAt (or outer has no expiry)
-     */
-    isSubset(inner, outer) {
-        if (inner.scope !== outer.scope)
-            return false;
-        if (inner.resource !== outer.resource)
-            return false;
-        const outerActions = new Set(outer.actions);
-        for (const action of inner.actions) {
-            if (!outerActions.has(action))
-                return false;
-        }
-        // Expiry: inner must expire no later than outer (or outer has no expiry)
-        if (outer.expiresAt !== null) {
-            if (inner.expiresAt === null)
-                return false; // inner never expires but outer does
-            if (inner.expiresAt > outer.expiresAt)
-                return false;
-        }
-        return true;
-    }
-    // =========================================================================
-    // Private Methods
-    // =========================================================================
-    /**
-     * Evaluate whether all constraints on a capability are satisfied.
-     */
-    satisfiesConstraints(capability, context) {
-        for (const constraint of capability.constraints) {
-            switch (constraint.type) {
-                case 'time-window': {
-                    const now = Date.now();
-                    const start = constraint.params['start'];
-                    const end = constraint.params['end'];
-                    if (start !== undefined && now < start)
-                        return false;
-                    if (end !== undefined && now > end)
-                        return false;
-                    break;
-                }
-                case 'rate-limit': {
-                    // Rate-limit constraints are informational; enforcement is external.
-                    // If context provides current usage, check it.
-                    if (context) {
-                        const max = constraint.params['max'];
-                        const current = context['currentUsage'];
-                        if (max !== undefined && current !== undefined && current >= max) {
-                            return false;
-                        }
-                    }
-                    break;
-                }
-                case 'budget': {
-                    if (context) {
-                        const limit = constraint.params['limit'];
-                        const used = context['budgetUsed'];
-                        if (limit !== undefined && used !== undefined && used >= limit) {
-                            return false;
-                        }
-                    }
-                    break;
-                }
-                case 'condition': {
-                    // Condition constraints require a truthy context value at the specified key
-                    const key = constraint.params['key'];
-                    const expectedValue = constraint.params['value'];
-                    if (key && context) {
-                        if (expectedValue !== undefined) {
-                            if (context[key] !== expectedValue)
-                                return false;
-                        }
-                        else {
-                            if (!context[key])
-                                return false;
-                        }
-                    }
-                    break;
-                }
-                case 'scope-restriction': {
-                    // Scope restrictions limit to specific sub-resources
-                    const allowedPattern = constraint.params['pattern'];
-                    if (allowedPattern && context) {
-                        const targetResource = context['targetResource'];
-                        if (targetResource && !targetResource.startsWith(allowedPattern)) {
-                            return false;
-                        }
-                    }
-                    break;
-                }
-            }
-        }
-        return true;
-    }
-    /**
-     * Cascade revocation to all delegated children of a capability.
-     */
-    cascadeRevoke(capabilityId) {
-        const children = this.delegationIndex.get(capabilityId);
-        if (!children)
-            return;
-        const now = Date.now();
-        for (const childId of children) {
-            const child = this.capabilities.get(childId);
-            if (child && !child.revoked) {
-                child.revoked = true;
-                child.revokedAt = now;
-                // Recurse into grandchildren
-                this.cascadeRevoke(childId);
-            }
-        }
-    }
-    /**
-     * Store a capability and update indices.
-     */
-    store(capability) {
-        this.capabilities.set(capability.id, capability);
-        const agentCaps = this.agentIndex.get(capability.grantedTo) ?? new Set();
-        agentCaps.add(capability.id);
-        this.agentIndex.set(capability.grantedTo, agentCaps);
-    }
-}
-// ============================================================================
-// Factory
-// ============================================================================
-/**
- * Create a CapabilityAlgebra instance
- */
-export function createCapabilityAlgebra() {
-    return new CapabilityAlgebra();
-}
-//# sourceMappingURL=capabilities.js.map