@orkestrel/reason 0.0.13 → 0.0.14

package/dist/src/core/index.d.cts

@@ -368,7 +368,7 @@ export declare interface AggregatorOptions {
          * Names how a chaining reasoner walks its rules: `forward` (data-driven fixpoint) or
          * `backward` (goal-driven proving).
          */
-        export declare type ChainingStrategy = 'forward' | 'backward';
+        export declare type ChainStrategy = 'forward' | 'backward';
 
         /**
          * Represents a single field predicate: resolves `field` from the subject and compares it
@@ -2941,7 +2941,7 @@ export declare interface AggregatorOptions {
          * `proof` is produced only by the backward pass, and only when a conclusion was
          * proved.
          */
-        export declare interface InferentialChainingResult {
+        export declare interface InferentialChainResult {
             readonly derived: readonly Fact[];
             readonly proof?: ProofNode;
         }
@@ -2969,7 +2969,7 @@ export declare interface AggregatorOptions {
             readonly description?: string;
             readonly inferences: readonly Inference[];
             readonly facts: readonly Fact[];
-            readonly strategy: ChainingStrategy;
+            readonly strategy: ChainStrategy;
             readonly depth?: number;
         }
 
@@ -3181,20 +3181,20 @@ export declare interface AggregatorOptions {
           export declare function isBounds(value: unknown): value is Bounds;
 
           /**
-           * Determines whether a value is a {@link ChainingStrategy} literal.
+           * Determines whether a value is a {@link ChainStrategy} literal.
            *
            * @param value - The value to test
            * @returns True if `value` is `'forward'` or `'backward'`; false otherwise
            *
            * @example
            * ```ts
-           * import { isChainingStrategy } from '@src/core'
+           * import { isChainStrategy } from '@src/core'
            *
-           * isChainingStrategy('forward') // true
-           * isChainingStrategy('upward')  // false
+           * isChainStrategy('forward') // true
+           * isChainStrategy('upward')  // false
            * ```
            */
-          export declare const isChainingStrategy: Guard<ChainingStrategy>;
+          export declare const isChainStrategy: Guard<ChainStrategy>;
 
           /**
            * Determines whether a value is a {@link Check} — a field / operator / value
@@ -3708,6 +3708,13 @@ export declare interface AggregatorOptions {
           /**
            * Narrows an unknown caught value to a {@link ReasonError}.
            *
+           * @remarks
+           * Accepts errors from another installed copy and subclasses regardless of `name`.
+           * Requires the own self-valued `Symbol.for('@orkestrel/reason.ReasonError')`
+           * brand, a non-base global `Error` prototype, and valid declared members.
+           * Plain objects, unbranded look-alikes, and transparent proxies are rejected.
+           * Hostile reads return false through the contract intrinsics inside `holds`.
+           *
            * @param value - The value to test (typically a `catch` binding)
            * @returns True if `value` is a {@link ReasonError}; false otherwise
            *
@@ -3960,6 +3967,16 @@ export declare interface AggregatorOptions {
            */
           export declare function isTransform(value: unknown): value is Transform;
 
+          /**
+           * Iterates nonnegative indices below a numeric limit without allocating a range.
+           *
+           * @example
+           * ```ts
+           * [...iterateIndices(2.5)] // [0, 1, 2]
+           * ```
+           */
+          export declare function iterateIndices(limit: number): Generator<number>;
+
           /** Names the default `id` for a `LogicalReasoner`. */
           export declare const LOGICAL_ID = "logical";
 
@@ -3971,7 +3988,7 @@ export declare interface AggregatorOptions {
            * The shared return shape of the forward-fixpoint and backward-proving passes;
            * `LogicalResult.count` is derived from `rules` rather than carried here.
            */
-          export declare interface LogicalChainingResult {
+          export declare interface LogicalChainResult {
               readonly conclusion: boolean;
               readonly rules: readonly RuleResult[];
           }
@@ -3995,7 +4012,7 @@ export declare interface AggregatorOptions {
               readonly name: string;
               readonly description?: string;
               readonly rules: readonly Rule[];
-              readonly strategy: ChainingStrategy;
+              readonly strategy: ChainStrategy;
               readonly depth?: number;
           }
 

package/dist/src/core/index.d.ts

@@ -368,7 +368,7 @@ export declare interface AggregatorOptions {
          * Names how a chaining reasoner walks its rules: `forward` (data-driven fixpoint) or
          * `backward` (goal-driven proving).
          */
-        export declare type ChainingStrategy = 'forward' | 'backward';
+        export declare type ChainStrategy = 'forward' | 'backward';
 
         /**
          * Represents a single field predicate: resolves `field` from the subject and compares it
@@ -2941,7 +2941,7 @@ export declare interface AggregatorOptions {
          * `proof` is produced only by the backward pass, and only when a conclusion was
          * proved.
          */
-        export declare interface InferentialChainingResult {
+        export declare interface InferentialChainResult {
             readonly derived: readonly Fact[];
             readonly proof?: ProofNode;
         }
@@ -2969,7 +2969,7 @@ export declare interface AggregatorOptions {
             readonly description?: string;
             readonly inferences: readonly Inference[];
             readonly facts: readonly Fact[];
-            readonly strategy: ChainingStrategy;
+            readonly strategy: ChainStrategy;
             readonly depth?: number;
         }
 
@@ -3181,20 +3181,20 @@ export declare interface AggregatorOptions {
           export declare function isBounds(value: unknown): value is Bounds;
 
           /**
-           * Determines whether a value is a {@link ChainingStrategy} literal.
+           * Determines whether a value is a {@link ChainStrategy} literal.
            *
            * @param value - The value to test
            * @returns True if `value` is `'forward'` or `'backward'`; false otherwise
            *
            * @example
            * ```ts
-           * import { isChainingStrategy } from '@src/core'
+           * import { isChainStrategy } from '@src/core'
            *
-           * isChainingStrategy('forward') // true
-           * isChainingStrategy('upward')  // false
+           * isChainStrategy('forward') // true
+           * isChainStrategy('upward')  // false
            * ```
            */
-          export declare const isChainingStrategy: Guard<ChainingStrategy>;
+          export declare const isChainStrategy: Guard<ChainStrategy>;
 
           /**
            * Determines whether a value is a {@link Check} — a field / operator / value
@@ -3708,6 +3708,13 @@ export declare interface AggregatorOptions {
           /**
            * Narrows an unknown caught value to a {@link ReasonError}.
            *
+           * @remarks
+           * Accepts errors from another installed copy and subclasses regardless of `name`.
+           * Requires the own self-valued `Symbol.for('@orkestrel/reason.ReasonError')`
+           * brand, a non-base global `Error` prototype, and valid declared members.
+           * Plain objects, unbranded look-alikes, and transparent proxies are rejected.
+           * Hostile reads return false through the contract intrinsics inside `holds`.
+           *
            * @param value - The value to test (typically a `catch` binding)
            * @returns True if `value` is a {@link ReasonError}; false otherwise
            *
@@ -3960,6 +3967,16 @@ export declare interface AggregatorOptions {
            */
           export declare function isTransform(value: unknown): value is Transform;
 
+          /**
+           * Iterates nonnegative indices below a numeric limit without allocating a range.
+           *
+           * @example
+           * ```ts
+           * [...iterateIndices(2.5)] // [0, 1, 2]
+           * ```
+           */
+          export declare function iterateIndices(limit: number): Generator<number>;
+
           /** Names the default `id` for a `LogicalReasoner`. */
           export declare const LOGICAL_ID = "logical";
 
@@ -3971,7 +3988,7 @@ export declare interface AggregatorOptions {
            * The shared return shape of the forward-fixpoint and backward-proving passes;
            * `LogicalResult.count` is derived from `rules` rather than carried here.
            */
-          export declare interface LogicalChainingResult {
+          export declare interface LogicalChainResult {
               readonly conclusion: boolean;
               readonly rules: readonly RuleResult[];
           }
@@ -3995,7 +4012,7 @@ export declare interface AggregatorOptions {
               readonly name: string;
               readonly description?: string;
               readonly rules: readonly Rule[];
-              readonly strategy: ChainingStrategy;
+              readonly strategy: ChainStrategy;
               readonly depth?: number;
           }