/**
 * IR introspection helpers for AI agent consumption.
 * Pure functions that extract meaningful summaries from compiled IR.
 */
import type { IR, IRExpression, IRType } from '../ir';
import type { EntitySummary, EntityDetails, CommandSummary, CommandDetails, RelationshipGraph } from './types';
/** Standalone expression formatter — mirrors the algorithm from RuntimeEngine.formatExpression. */
export declare function formatExpression(expr: IRExpression): string;
export declare function formatIRType(type: IRType): string;
/**
 * List all entities as lightweight summaries.
 */
export declare function listEntities(ir: IR): EntitySummary[];
/**
 * Get detailed information about a single entity.
 */
export declare function describeEntity(ir: IR, name: string): EntityDetails | null;
/**
 * List all commands as lightweight summaries.
 * Optional filter by entity or module.
 */
export declare function listCommands(ir: IR, opts?: {
    entity?: string;
    module?: string;
}): CommandSummary[];
/**
 * Get detailed information about a single command.
 */
export declare function describeCommand(ir: IR, name: string, opts?: {
    includeGuardExpressions?: boolean;
    includeActionExpressions?: boolean;
}): CommandDetails | null;
/**
 * Get the relationship graph for an entity.
 * Shows both outgoing relationships (this entity → others) and incoming (others → this).
 */
export declare function getEntityRelationships(ir: IR, name: string): RelationshipGraph;
/**
 * Get entities that have commands — useful for showing which entities are "actionable".
 */
export declare function getActionableEntities(ir: IR): EntitySummary[];
//# sourceMappingURL=introspect.d.ts.map