Class: ReasoningLayerClient

@kortexya/reasoninglayer / ReasoningLayerClient

Class: ReasoningLayerClient

Defined in: src/client.ts:355

Main client for the Reasoning Layer API.

Provides access to all resource clients through a shared HTTP connection with configured authentication, retry, and timeout behavior.

Example

import { ReasoningLayerClient } from '@kortexya/reasoning-layer';

const client = new ReasoningLayerClient({
  baseUrl: 'http://localhost:8085',
  tenantId: 'my-tenant-uuid',
});

const sort = await client.sorts.createSort({ name: 'employee' });
const term = await client.terms.createTerm({ sort_id: sort.id, features: {} });

Constructors

Constructor

new ReasoningLayerClient(config): ReasoningLayerClient

Defined in: src/client.ts:893

Create a new ReasoningLayerClient.

Parameters

config

ClientConfig

Client configuration. At minimum, baseUrl and tenantId are required.

Returns

ReasoningLayerClient

Throws

If baseUrl or tenantId is missing.

Properties

actionReviews

readonly actionReviews: ActionReviewsClient

Defined in: src/client.ts:429

Action review operations (approve, reject, modify autonomous actions).

actions

readonly actions: ActionsClient

Defined in: src/client.ts:566

Typed-action engine — apply a typed action transactionally with multi-term edits.

admin

readonly admin: AdminClient

Defined in: src/client.ts:471

Administrative operations (factory reset, tenant listing).

agui

readonly agui: AguiClient

Defined in: src/client.ts:653

AG-UI protocol — streaming agent runs as Server-Sent AG-UI events.

analysis

readonly analysis: AnalysisClient

Defined in: src/client.ts:450

Analysis and FCA operations (sort discovery, attribute exploration).

anonymization

readonly anonymization: AnonymizationClient

Defined in: src/client.ts:680

GDPR/HIPAA batch anonymization (k-anonymity or Safe Harbor).

argumentation

readonly argumentation: ArgumentationClient

Defined in: src/client.ts:659

Grounded argumentation — label conflicting claims and surface the questions only the user can settle.

audit

readonly audit: AuditClient

Defined in: src/client.ts:488

The conversation audit chain the APPLICATION writes.

Remarks

Distinct from ReasoningLayerClient.compliance, which reads the receipt ledger the ENGINE writes for every mutating request.

authz

readonly authz: AuthzClient

Defined in: src/client.ts:647

Authorization policy dry-run — decide an action without enforcing it.

batch

readonly batch: BatchClient

Defined in: src/client.ts:497

Several reads answered in one request.

Remarks

A batch is ONE call to the outer middleware stack — rate limiting, metrics and the audit hash see a single request, not one per operation.

causal

readonly causal: CausalClient

Defined in: src/client.ts:387

Causal reasoning operations (Pearl’s hierarchy, interventions, counterfactuals).

cdl

readonly cdl: CdlClient

Defined in: src/client.ts:444

Categorical Deep Learning operations (differentiable FC, soft unification, safety).

channels

readonly channels: ChannelsClient

Defined in: src/client.ts:710

Messaging channels — adapters, account routes, outbound messages, and the inbound webhook.

chase

readonly chase: ChaseClient

Defined in: src/client.ts:623

Existential-rule (TGD) chase — fixpoint materialization with fresh witnesses.

cluster

readonly cluster: ClusterClient

Defined in: src/client.ts:635

Cluster-internal anti-entropy signalling (operational endpoint).

cognitive

readonly cognitive: CognitiveClient

Defined in: src/client.ts:369

Cognitive agent operations (BDI cycle, beliefs, goals, messaging).

coherence

readonly coherence: CoherenceClient

Defined in: src/client.ts:644

Coherence analysis over a document’s claims (certifying verdict with clash witnesses).

collections

readonly collections: CollectionsClient

Defined in: src/client.ts:381

Collection operations (CRUD, tagging).

communities

readonly communities: CommunitiesClient

Defined in: src/client.ts:420

Community detection operations (detect, memberships, search).

compliance

readonly compliance: ComplianceClient

Defined in: src/client.ts:560

Hash-chained audit ledger and prediction-snapshot validation.

complianceMarkings

readonly complianceMarkings: ComplianceMarkingsClient

Defined in: src/client.ts:569

Classification/clearance gating over the marking lattice (compliance markings).

conformal

readonly conformal: ConformalClient

Defined in: src/client.ts:674

Split-conformal prediction — calibrate a non-conformity threshold, then predict with coverage certificates.

conformance

readonly conformance: ConformanceClient

Defined in: src/client.ts:626

Ontology conformance checking and repair (rdfs:domain / rdfs:range axioms).

connectors

readonly connectors: ConnectorsClient

Defined in: src/client.ts:689

External data connectors — register / list / remove / connect / disconnect + OAuth callback.

constraints

readonly constraints: ConstraintsClient

Defined in: src/client.ts:375

Constraint operations (arithmetic solving, graph visualization).

context

readonly context: ContextClient

Defined in: src/client.ts:551

Knowledge graph context assembly operations (LLM prompt building).

control

readonly control: ControlClient

Defined in: src/client.ts:408

Proof control operations (cut, findall, forall, NAF, conditionals).

conversation

readonly conversation: ConversationClient

Defined in: src/client.ts:543

Conversational AI operations (NL → OSFQL with self-correction).

corpus

readonly corpus: CorpusClient

Defined in: src/client.ts:614

Cross-document corpus analysis — bridges, communities, cross-cutting concerns.

cron

readonly cron: CronClient

Defined in: src/client.ts:695

Cron scheduler — the caller’s scheduled agent jobs (create, list, pause, resume, run now, history).

demo

readonly demo: DemoClient

Defined in: src/client.ts:662

Demo substrate seeding — full SUMO + demo scenarios into the tenant substrate.

discovery

readonly discovery: DiscoveryClient

Defined in: src/client.ts:432

Causal discovery operations (effect discovery, prediction).

dl

readonly dl: DlClient

Defined in: src/client.ts:638

ALC Description Logic reasoning (concept satisfiability and subsumption).

documentCheck

readonly documentCheck: DocumentCheckClient

Defined in: src/client.ts:611

Contract correctness checking — extract, then analyze the OSF diff against references.

documents

readonly documents: DocumentsClient

Defined in: src/client.ts:438

Document compliance analysis (check document content against KB rules).

embeddings

readonly embeddings: EmbeddingsClient

Defined in: src/client.ts:692

Embedding-space ranking — cosine score per candidate against a query, index-aligned.

engine

readonly engine: EngineClient

Defined in: src/client.ts:701

Engine-wide read surface — the caller’s tenant’s term, rule and sort counts.

execution

readonly execution: ExecutionClient

Defined in: src/client.ts:384

Execution session operations (backtracking, goal stack).

extract

readonly extract: ExtractClient

Defined in: src/client.ts:435

Entity extraction operations.

feasibility

readonly feasibility: FeasibilityClient

Defined in: src/client.ts:572

Interactive constraint-model feasibility sessions (assume/retract with trichotomy classification).

flowNetworks

readonly flowNetworks: FlowNetworksClient

Defined in: src/client.ts:537

Generic flow-network resource: max-flow, min-cost max-flow, edge classification, min-cut over a persisted graph.

forecast

readonly forecast: ForecastClient

Defined in: src/client.ts:632

Certified forecasting over registered prediction domains (committed forecasts, abstention).

functions

readonly functions: FunctionsClient

Defined in: src/client.ts:456

LIFE-style user-defined function operations (register, evaluate).

fuzzy

readonly fuzzy: FuzzyClient

Defined in: src/client.ts:372

Fuzzy operations (unification, merge, subsumption, top-K search).

generation

readonly generation: GenerationClient

Defined in: src/client.ts:525

Evidence-grounded document generation operations.

guardrail

readonly guardrail: GuardrailClient

Defined in: src/client.ts:650

Hallucination guardrail — claim decomposition and certification against the knowledge base.

health

readonly health: HealthClient

Defined in: src/client.ts:468

Health check operations (status, components, build info).

ilp

readonly ilp: IlpClient

Defined in: src/client.ts:399

Inductive logic programming operations (pattern learning, synthesis).

imageExtraction

readonly imageExtraction: ImageExtractionClient

Defined in: src/client.ts:519

Image-based concept extraction operations (vision LLM).

inbox

readonly inbox: InboxClient

Defined in: src/client.ts:704

Unified inbox — the caller’s notifications (channel messages, cron triggers, agent chat).

inference

readonly inference: InferenceClient

Defined in: src/client.ts:363

Inference engine operations (backward/forward chaining, fuzzy, Bayesian, NAF).

ingestion

readonly ingestion: IngestionClient

Defined in: src/client.ts:390

Data ingestion operations (documents, markdown, RDF, session management).

ltn

readonly ltn: LtnClient

Defined in: src/client.ts:641

Logic Tensor Networks — fuzzy query, refutation, and predicate training.

marketplace

readonly marketplace: MarketplaceClient

Defined in: src/client.ts:587

Declarative plugin marketplace — catalog, publishing, installs, upgrades, yanks.

memory

readonly memory: MemoryClient

Defined in: src/client.ts:720

Tenant-scoped long-term memory — remember (deduplicating) and recall.

metrics

readonly metrics: MetricsClient

Defined in: src/client.ts:698

Usage metrics — the caller’s own LLM cost, token and request totals.

namespaces

readonly namespaces: NamespacesClient

Defined in: src/client.ts:378

Namespace operations (hierarchy, imports, metadata).

neuroSymbolic

readonly neuroSymbolic: NeuroSymbolicClient

Defined in: src/client.ts:447

Neuro-symbolic operations (training, embeddings, diagnostics).

ontology

readonly ontology: OntologyClient

Defined in: src/client.ts:522

Ontology generation operations (LLM-powered scenario generation).

ontologyAlignment

readonly ontologyAlignment: OntologyAlignmentClient

Defined in: src/client.ts:578

Ontology alignment to the upper ontology (BFO-2020).

ontologyBridge

readonly ontologyBridge: OntologyBridgeClient

Defined in: src/client.ts:584

Ontology bridge — OSF↔SQL bindings, OWL/Foundry import, OSFQL→SQL transpilation.

ontologyExport

readonly ontologyExport: OntologyExportClient

Defined in: src/client.ts:656

Ontology export — OWL ontology and SHACL shapes projected from the sort lattice.

ontologyFacade

readonly ontologyFacade: OntologyFacadeClient

Defined in: src/client.ts:581

Ontology facade — project object/link/interface/function/action types from the sort hierarchy.

operations

readonly operations: OperationsClient

Defined in: src/client.ts:563

Low-level term-graph operations (anti-unification / LGG).

optimize

readonly optimize: OptimizeClient

Defined in: src/client.ts:531

Linear program optimization (CLP(Q) simplex solver via backward chaining).

osfDiff

readonly osfDiff: OsfDiffClient

Defined in: src/client.ts:608

OSF structural diffing (terms, sequences, temporal snapshots, documents).

osfql

readonly osfql: OsfqlClient

Defined in: src/client.ts:540

OSFQL execution operations.

oversight

readonly oversight: OversightClient

Defined in: src/client.ts:441

FormalJudge oversight operations (safety verification, refinement).

pairing

readonly pairing: PairingClient

Defined in: src/client.ts:707

DM pairing — channel DM policies, sender allowlists, and pairing requests.

platform

readonly platform: PlatformClient

Defined in: src/client.ts:713

Platform administration — backups, config sections, connector health, diagnostics, identities, onboarding, skills.

plugins

readonly plugins: PluginsClient

Defined in: src/client.ts:718

Runtime native (WASM) plugins — register, list, enable, disable, delete. Restricted to the platform provisioning identity.

preferences

readonly preferences: PreferencesClient

Defined in: src/client.ts:453

Bayesian preference learning operations (selection recording, prediction).

proofEngine

readonly proofEngine: ProofEngineClient

Defined in: src/client.ts:465

Proof engine operations (term store, rule store, built-in evaluation).

propertyGraph

readonly propertyGraph: PropertyGraphClient

Defined in: src/client.ts:602

Property-graph compatibility (GQL, Cypher, Gremlin) lowered to OSFQL.

query

readonly query: QueryClient

Defined in: src/client.ts:366

Query operations (unification, structured search, validation).

rag

readonly rag: RagClient

Defined in: src/client.ts:528

Ontology RAG operations (embedding search + feature unification).

reasoning

readonly reasoning: ReasoningClient

Defined in: src/client.ts:402

Advanced reasoning operations (entailment, subsumption, resource coordination).

research

readonly research: ResearchClient

Defined in: src/client.ts:549

Verified scientific research pipeline operations.

reviews

readonly reviews: ReviewsClient

Defined in: src/client.ts:393

Human-in-the-loop review operations (approve, reject, merge, re-extract).

reward

readonly reward: RewardClient

Defined in: src/client.ts:665

Execution-free reward scoring for candidate queries (recall / precision).

rlTraining

readonly rlTraining: RlTrainingClient

Defined in: src/client.ts:554

Reinforcement learning training operations (standalone and cognitive-RL).

row

readonly row: RowClient

Defined in: src/client.ts:414

Row polymorphism operations (schema-flexible search, unification, integration).

sat

readonly sat: SatClient

Defined in: src/client.ts:617

Native CDCL SAT solver (CNF satisfiability, models, unsat cores).

scenarios

readonly scenarios: ScenariosClient

Defined in: src/client.ts:426

Scenario operations (CRUD, verification).

scheduling

readonly scheduling: SchedulingClient

Defined in: src/client.ts:534

Scheduling feasibility via capacitated bipartite b-matching (staff rostering, assignment problems).

smt

readonly smt: SmtClient

Defined in: src/client.ts:620

Native DPLL(T) SMT solver over the EUF theory (equality with uninterpreted functions).

snapshots

readonly snapshots: SnapshotsClient

Defined in: src/client.ts:479

Tenant snapshots — capture a whole tenant, move it, restore it.

Remarks

apply is destructive and every route answers 501 on an in-memory engine.

solver

readonly solver: SolverClient

Defined in: src/client.ts:575

External constraint solver — classify and solve generic optimization problems.

sorts

readonly sorts: SortsClient

Defined in: src/client.ts:357

Sort (type hierarchy) operations.

sources

readonly sources: SourcesClient

Defined in: src/client.ts:417

Data source operations (register, discover schema, ingest).

spaces

readonly spaces: SpacesClient

Defined in: src/client.ts:411

Computation space operations (create, clone, commit, search).

sparql

readonly sparql: SparqlClient

Defined in: src/client.ts:605

SPARQL 1.1 query and update over the OSF knowledge base.

speakers

readonly speakers: SpeakersClient

Defined in: src/client.ts:683

Speaker voiceprint enrollment + listing.

speech

readonly speech: SpeechClient

Defined in: src/client.ts:686

Speech synthesis / transcription / voice cloning + realtime session setup.

statistical

readonly statistical: StatisticalClient

Defined in: src/client.ts:405

Statistical analysis operations (correlation, causal discovery, independence tests).

streaming

readonly streaming: StreamingClient

Defined in: src/client.ts:671

Probabilistic streaming sketches (Count-Min frequency, Misra-Gries heavy hitters, Bloom membership).

subscriptions

readonly subscriptions: SubscriptionsClient

Defined in: src/client.ts:506

Durable term-change subscriptions — the engine POSTs what changed.

Remarks

⚠️ The subscription survives a restart; the EVENT does not. Delivery is best-effort and there is no outbox, so an exhausted event is lost.

synthetic

readonly synthetic: SyntheticClient

Defined in: src/client.ts:462

Synthetic data generation operations (generate, calibrate, verbalize, verify).

temporal

readonly temporal: TemporalClient

Defined in: src/client.ts:629

Temporal reasoning — CTL model checking and time-series derivation over terms.

terms

readonly terms: TermsClient

Defined in: src/client.ts:360

Psi-term CRUD operations.

thomas

readonly thomas: ThomasClient

Defined in: src/client.ts:516

Thomas regulatory networks — what a gene network can do, over every parameterisation consistent with what was observed.

Remarks

Answers carry a modality: certain holds under every admissible parameterisation, possible under some.

translation

readonly translation: TranslationClient

Defined in: src/client.ts:668

Language translation (text → target language, markdown preserved).

ui

readonly ui: UiClient

Defined in: src/client.ts:557

Sort-driven UI descriptor operations (describe, action, catalog).

utilities

readonly utilities: UtilitiesClient

Defined in: src/client.ts:423

Utility operations (strings, arithmetic, copy).

verification

readonly verification: VerificationClient

Defined in: src/client.ts:546

Validity-certificate lookup (per-answer soundness seals).

vision

readonly vision: VisionClient

Defined in: src/client.ts:677

Video-clip encoding (V-JEPA substrate; per-frame predicted-sort labels).

visualization

readonly visualization: VisualizationClient

Defined in: src/client.ts:396

Visualization operations (lattice, hypergraph, residuation state).

vocabulary

readonly vocabulary: VocabularyClient

Defined in: src/client.ts:599

Governed controlled vocabulary — candidates, assessments, review, approval, immutable releases and activation of the knowledge-organization records, plus label search and the legacy migration preview.

Remarks

Every mutation takes a required idempotencyKey and is made by the client’s authenticatedUser; separation of duties means an author and an approver are two clients.

webhookActions

readonly webhookActions: WebhookActionsClient

Defined in: src/client.ts:459

Webhook-based external action operations (register, invoke, complete, list).

Accessors

agents

Get Signature

get agents(): CognitiveClient

Defined in: src/client.ts:762

Cognitive agent operations (BDI cycle, beliefs, goals, messaging). Alias for cognitive.

Returns

CognitiveClient

ai

Get Signature

get ai(): AiGroup

Defined in: src/client.ts:783

AI and machine learning operations — agents, oversight, neuro-symbolic, RAG, generation, context, RL training.

Returns

AiGroup

analysisOps

Get Signature

get analysisOps(): AnalysisGroup

Defined in: src/client.ts:821

Analysis operations — causal, statistical, fuzzy, scenarios, communities, visualization.

Returns

AnalysisGroup

core

Get Signature

get core(): CoreGroup

Defined in: src/client.ts:769

Core knowledge base operations — types, records, rules, functions, constraints, and queries.

Returns

CoreGroup

data

Get Signature

get data(): DataGroup

Defined in: src/client.ts:839

Data ingestion and extraction operations — documents, sources, collections, images.

Returns

DataGroup

reasoningOps

Get Signature

get reasoningOps(): ReasoningGroup

Defined in: src/client.ts:800

Advanced reasoning operations — optimization, ILP, CDL, execution, preferences, discovery, scheduling, flow networks.

Returns

ReasoningGroup

records

Get Signature

get records(): TermsClient

Defined in: src/client.ts:746

Record CRUD operations. Alias for terms — “term” is logic programming jargon for a data record.

Returns

TermsClient

rules

Get Signature

get rules(): InferenceClient

Defined in: src/client.ts:754

Rule and fact operations (backward/forward chaining, fuzzy, Bayesian, NAF). Alias for inference.

Returns

InferenceClient

system

Get Signature

get system(): SystemGroup

Defined in: src/client.ts:866

System administration — health, admin, spaces, namespaces, utilities, ontology, vocabulary, snapshots.

Returns

SystemGroup

types

Get Signature

get types(): SortsClient

Defined in: src/client.ts:738

Type hierarchy operations. Alias for sorts — “sort” is domain jargon for “type” in order-sorted algebras.

Returns

SortsClient

workflow

Get Signature

get workflow(): WorkflowGroup

Defined in: src/client.ts:852

Workflow operations — control flow, reviews, action reviews, webhooks.

Returns

WorkflowGroup