@orkestrel/reason 0.0.9 → 0.0.11

package/README.md

@@ -1,18 +1,14 @@
 # @orkestrel/reason
 
-A synchronous, deterministic **reasoning engine**: declarative,
-JSON-serializable **definitions** are evaluated against **subjects** (plain
-data records) to produce traceable **results**. Four strategies behind one
-dispatch surface — `quantitative` (factor-based numeric scoring), `logical`
-(rule-based boolean deduction with forward / backward chaining), `symbolic`
-(algebraic equation solving by variable isolation), `inferential` (fact
-derivation with unification variables and proof trees) — each a
-`ReasonerInterface` registered on the thin `Reason` orchestrator, with three
-injectable operators (`Evaluator` / `Transformer` / `Aggregator`) doing the
-shared arithmetic. Every result is a fresh object carrying `success`, a
-human-readable `trace`, and accumulated `errors`; nothing mutates its inputs.
-Environment-agnostic — no I/O, no browser or server assumptions. Part of the
-`@orkestrel` line.
+> A synchronous, deterministic reasoning engine: declarative JSON-serializable
+> definitions evaluated against plain subject records to produce traceable
+> results, through the `quantitative`, `logical`, `symbolic`, and `inferential`
+> strategies behind one dispatch surface.
+
+Register the reasoners you need on an orchestrator with the `createReason`
+function, build a definition as plain data, then call `reason` with a subject
+and read the traceable result it returns. Environment-agnostic — no I/O, no
+browser or server assumptions. Part of the `@orkestrel` line.
 
 ## Install
 
@@ -51,18 +47,18 @@ if (result.reasoning === 'quantitative') result.value // 35 — narrow by the di
 result.trace // the step-by-step account of how the value came to be
 ```
 
-`reason` dispatches by `definition.reasoning` — pass an ARRAY of subjects and
-the batch overload maps them in order to an equal-length result array.
+`reason` dispatches by `definition.reasoning` — pass an array of subjects and
+the batch overload maps them in order onto an equal-length result array.
 Results are a discriminated union (`reasoning` names the axis): narrow with
 the discriminant and read the strategy-specific payload (`value` /
 `conclusion` / `solutions` / `derived`).
 
 ## Guide
 
-For the full surface — the orchestrator, the four reasoners, the three
-operators, the definitions & subjects capability layer, the two workspace
-builders (`DefinitionBuilder` / `SubjectBuilder`), validators, errors, and the
-observation surface — see [`guides/reason.md`](guides/reason.md).
+For the full surface — the orchestrator, the reasoners, the operators, the
+definitions & subjects capability layer, the `DefinitionBuilder` and
+`SubjectBuilder` workspaces, validators, errors, and the observation surface —
+see [`guides/reason.md`](guides/reason.md).
 
 ## Package