ain-ork

ain-ork is a TypeScript toolkit for ontology-based, deterministic reasoning with:

• domain packs
• ontology-grounded planning
• baseline strategies
• rule evaluation
• reasoning runs
• MCP tool exposure

The runtime treats ontology as load-bearing data. Each baseline recipe and rule is an asset with an inline ontology binding; the reasoner grounds an incoming query against the ontology, expands related fact scopes through concept relations, selects the highest-scoring baseline asset, and evaluates the rule assets that apply to the generated plan.

Authoring shape:

• ontology carries concepts and relations only. Concepts can declare metricKeys/scopeIds (used to seed the concept closure) and parentIds (traversed as is_a).
• ontology.relations use fromConceptId / toConceptId; the closure traverses all outgoing relations from grounded concepts.
• baselines: [] is the single source of truth. Each baseline is { id, recipe, binding? }.
• rules: [] may carry an inline binding. Rules with a binding are filtered by target; rules without a binding always run. The runtime never silently drops an unbound rule.

The first implementation in this repository focuses on:

• a reusable core
• an ergonomic sdk
• a MongoDB adapter contract
• an MCP-facing tool layer
• example domain packs under examples/

Consumers can still provide display-only ui.ontologyGraph overrides, but the sales demo derives its graph from definition.ontology, definition.baselines, and the rules' inline bindings by default.

Key reference:

• docs/design.md — structure, design philosophy, and ain-ork's position in the broader connector / dashboard / agent stack