@kanonak-protocol/sdk 5.17.1 → 5.19.0

package/dist/server/renderStack.d.ts

@@ -1,4 +1,5 @@
 import type { PublisherConfig } from '../repositories/index.js';
+import type { UnresolvedImportEdge } from './closure.js';
 /** A render-stack package by canonical (publisher, package). */
 export interface RenderPackageRef {
     readonly publisher: string;
@@ -74,4 +75,4 @@ export interface RenderStackReport {
  * package COSTS the page is part of the message — that's the insight a person
  * debugging "my site has no styles" needs, and it differs per package.
  */
-export declare function buildRenderStackWarnings(packages: readonly RenderPackageStatus[]): string[];
+export declare function buildRenderStackWarnings(packages: readonly RenderPackageStatus[], unresolvedEdges?: readonly UnresolvedImportEdge[]): string[];

package/dist/shacl/ConformanceEvaluator.d.ts

@@ -0,0 +1,53 @@
+import type { Kanonak } from '../kanonaks/Kanonak.js';
+import type { KanonakUri } from '../resolution/KanonakUri.js';
+import { type EntityUri } from '../uri-helpers/index.js';
+import type { ConformanceScope } from './ConformanceScope.js';
+import { type ShaclNodeShapeModel, type ShaclSeverity } from './ShapesModel.js';
+/**
+ * SHACL conformance over an explicit {@link ConformanceScope} — the evaluator
+ * half of the settled division:
+ *
+ *  - TARGETING is a host-side graph query (this module, over the scope
+ *    catalog + optional reasoning);
+ *  - kernel-expressible constraints evaluate through the PUBLISHED expression
+ *    runtime via the lowering (`Count`/`Contains`/`Matches`/ordering
+ *    comparisons) — this module never re-implements an operator;
+ *  - constraints whose evidence exists only in the host object model are
+ *    HOST PROJECTIONS: `sh:datatype` (the typed statement + the canonical
+ *    layer's carrier routing), `sh:class` (resolution + type closure),
+ *    `sh:nodeKind` (statement kind), `sh:closed` (the focus node's predicate
+ *    set vs. the shape's declared paths, over the scope).
+ *
+ * Every finding names its focus node, path, offending value, and constraint
+ * component — the material a ValidationReport is assembled from.
+ */
+export interface ShaclFinding {
+    /** Canonical URI key of the focus node (`publisher/package/name`). */
+    focusNode: string;
+    /** The focus node's full URI when it carries a resolvable version. */
+    focusUri?: KanonakUri | undefined;
+    /** The constrained property, for property-level findings. */
+    resultPath?: KanonakUri | undefined;
+    /** The offending literal value, when one exists. */
+    value?: string | number | boolean | undefined;
+    /** The offending reference value, when the value is a reference. */
+    valueRef?: KanonakUri | undefined;
+    /** WHICH constraint failed — a core-shacl ConstraintComponent member. */
+    constraintComponent: EntityUri;
+    severity: ShaclSeverity;
+    message: string;
+    /** The NodeShape that produced this finding. */
+    sourceShape: string;
+    sourceShapeUri?: KanonakUri | undefined;
+}
+export interface ShaclConformanceResult {
+    /** True when no finding carries Violation severity. */
+    conforms: boolean;
+    results: ShaclFinding[];
+}
+/**
+ * Evaluate every NodeShape in `shapes` against the scope. `shapes` may be a
+ * pre-built model or a catalog to read shapes from (commonly the scope's own
+ * catalog: shapes travel as packages like everything else).
+ */
+export declare function evaluateConformance(scope: ConformanceScope, shapes: ShaclNodeShapeModel[] | Kanonak[]): ShaclConformanceResult;

package/dist/shacl/ConformanceScope.d.ts

@@ -0,0 +1,72 @@
+import type { IKanonakDocumentRepository } from '@kanonak-protocol/types/document/models';
+import type { KanonakDocument } from '@kanonak-protocol/types/document/models/types';
+import type { Kanonak } from '../kanonaks/Kanonak.js';
+import type { ReasoningResult } from '../reasoning/ReasoningResult.js';
+/**
+ * The EXPLICIT data scope a conformance evaluation runs over — the answer to
+ * "which statements count as the statements about this node." Conformance —
+ * and `sh:closed` in particular — is never evaluated against the ambient open
+ * world: closed means closed over THIS scope, an authorized graph handle the
+ * caller constructs deliberately.
+ *
+ * Two modes:
+ *
+ *  - `merged` — the open-world merge over a pinned load-set (a repository
+ *    the caller controls: a workspace, a locked closure, a governance
+ *    load-set). Augmentations WITHIN the load-set are honored — that is what
+ *    the merge is for — and the reasoner's saturation is available so
+ *    `targetClass` sees subclass/equivalentClass closure.
+ *
+ *  - `standalone` — one document judged ON ITS OWN STATEMENTS, its imports
+ *    deliberately NOT resolved into data: the ingress case, where the
+ *    document is an untrusted payload and nothing it declares may pull more
+ *    graph into scope. References to entities outside the document stay
+ *    unresolved, which is exactly what a closed-world boundary check wants
+ *    (unknown = reject, fail closed).
+ */
+export interface ConformanceScope {
+    kind: 'merged' | 'standalone';
+    /** The statements in scope, as the parsed object model. */
+    catalog: Kanonak[];
+    /**
+     * The reasoned view of the scope, when the mode reasons (merged). Used for
+     * closure-aware `targetClass` and `sh:class` checks; absent in standalone
+     * mode, where checks fall back to the direct statements — an untrusted
+     * payload gets no inference.
+     */
+    reasoning?: ReasoningResult | undefined;
+}
+/**
+ * Build a merged scope from a repository — the pinned load-set. One parse
+ * (the same open-world merge every SDK consumer sees) + one reasoning pass
+ * over the same repository, so targeting and class checks are
+ * closure-aware. The caller owns WHAT is in the repository; that is the
+ * authorization boundary.
+ */
+export declare function scopeFromRepositoryAsync(repository: IKanonakDocumentRepository): Promise<ConformanceScope>;
+/**
+ * Build a merged scope from an already-parsed catalog (e.g. a validation
+ * pass's single-parse `ValidationCache.getKanonaks()`), optionally with an
+ * existing reasoning result — so a batch caller adds conformance without a
+ * second parse or reason.
+ */
+export declare function scopeFromCatalog(catalog: Kanonak[], reasoning?: ReasoningResult): ConformanceScope;
+/**
+ * Build a standalone scope from a single document — the ingress case. The
+ * split is DATA vs IDENTITY:
+ *
+ *  - DATA: only the payload's own subjects enter the scope
+ *    (`SingleDocumentRepository` exposes exactly this document), so the
+ *    payload cannot pull additional statements into what is judged — its
+ *    imports are not honored as data, and no reasoning runs (an untrusted
+ *    payload gets no inference).
+ *  - IDENTITY: the payload's predicates and type references resolve through
+ *    `identityRepository` — the TRUSTED closure the caller authorizes
+ *    (typically the same pinned load-set the shapes come from). Without
+ *    this, an adversarial payload's statements would fail to resolve and
+ *    silently vanish from the judged data — a fail-OPEN closed-shape check.
+ *    An import naming a package outside the trusted repository stays
+ *    unresolved, and its unresolvable statements are exactly what a closed
+ *    shape rejects.
+ */
+export declare function scopeFromDocumentAsync(document: KanonakDocument, identityRepository?: IKanonakDocumentRepository): Promise<ConformanceScope>;

package/dist/shacl/ReportBuilder.d.ts

@@ -0,0 +1,28 @@
+import type { IKanonakDocumentRepository } from '@kanonak-protocol/types/document/models';
+import { type BuiltPackage } from '../producer/PackageBuilder.js';
+import type { ShaclConformanceResult } from './ConformanceEvaluator.js';
+/**
+ * Assemble a {@link ShaclConformanceResult} into an AUTHORED
+ * `sh:ValidationReport` package — graph data, not tool prose — via the
+ * EphemeralPackage pattern: versionless, content-addressed (`q-<hex16>`),
+ * produced per invocation, and therefore hashable and signable into a
+ * provenance chain. This is the report half of the settled division:
+ * `explain()` is the evaluation MECHANISM; the report is authored vocabulary
+ * (`core-shacl@1.1.0`) any SHACL-aware tool can round-trip.
+ *
+ * Reference serialization is honest about what can be imported: a focus node
+ * (or path/shape/value) whose package carries a resolvable version is
+ * serialized as a true reference through the ImportBook; an entity from a
+ * versionless, content-addressed scope (an ingress EphemeralPackage) cannot
+ * be imported by version, so it is recorded as its canonical URI string —
+ * stated in the property's value rather than silently dropped.
+ */
+export declare function buildReportPackageAsync(args: {
+    result: ShaclConformanceResult;
+    /** The publisher the report package is authored under (the evaluator's operator). */
+    publisher: string;
+    /** Resolution context for content-hashing the report body. */
+    repository: IKanonakDocumentRepository;
+    /** Out-of-body provenance (e.g. `resolvedAt`, `id`) — never hashed. */
+    header?: Record<string, unknown> | undefined;
+}): Promise<BuiltPackage>;

package/dist/shacl/ShapesModel.d.ts

@@ -0,0 +1,59 @@
+import type { Kanonak } from '../kanonaks/Kanonak.js';
+import type { KanonakUri } from '../resolution/KanonakUri.js';
+/**
+ * The parsed, resolved model of the core-shacl shapes a catalog declares —
+ * the CONFORMANCE side's view (the introspection side keeps its own
+ * codegen-shaped `PropertyConstraints`; both read the same vocabulary through
+ * the shared `shacl/uris` identities). Everything resolves through the object
+ * model: shapes are recognized by durable core-shacl URI identity, references
+ * arrive as `KanonakUri`, and nothing matches on alias or local-name shape.
+ */
+/** The three node kinds, mapped from the sh:NodeKind members. */
+export type ShaclNodeKind = 'IRI' | 'BlankNode' | 'Literal';
+/** Result severity, mapped from the sh:Severity members. */
+export type ShaclSeverity = 'Violation' | 'Warning' | 'Info';
+export interface ShaclPropertyConstraint {
+    /** The constrained property's canonical URI (`sh:path`). */
+    path: KanonakUri;
+    minCount?: number | undefined;
+    maxCount?: number | undefined;
+    minLength?: number | undefined;
+    maxLength?: number | undefined;
+    minInclusive?: number | undefined;
+    maxInclusive?: number | undefined;
+    pattern?: {
+        regex: string;
+        flags?: string | undefined;
+    } | undefined;
+    /** `sh:in` literal members. */
+    inValues?: (string | number | boolean)[] | undefined;
+    /** `sh:in` reference members (named individuals). */
+    inRefs?: KanonakUri[] | undefined;
+    datatype?: KanonakUri | undefined;
+    classRef?: KanonakUri | undefined;
+    nodeKind?: ShaclNodeKind | undefined;
+    message?: string | undefined;
+    severity?: ShaclSeverity | undefined;
+}
+export interface ShaclNodeShapeModel {
+    /** The shape's local name (diagnostics + `sh:sourceShape`). */
+    name: string;
+    /** The shape's canonical URI, when it is a named subject. */
+    uri?: KanonakUri | undefined;
+    targetClass?: KanonakUri | undefined;
+    targetNodes: KanonakUri[];
+    targetSubjectsOf: KanonakUri[];
+    targetObjectsOf: KanonakUri[];
+    closed: boolean;
+    ignoredProperties: KanonakUri[];
+    severity?: ShaclSeverity | undefined;
+    properties: ShaclPropertyConstraint[];
+}
+/**
+ * Parse every `sh:NodeShape` in the shapes catalog into its resolved model.
+ * PropertyShapes are collected inline-embedded or by reference (resolved in
+ * the same catalog). A shape with no target of any kind constrains nothing
+ * and is still returned — the evaluator simply finds an empty focus set (the
+ * definition validator warns about it separately).
+ */
+export declare function buildShapesModel(shapesCatalog: Kanonak[]): ShaclNodeShapeModel[];

package/dist/shacl/index.d.ts

@@ -0,0 +1,9 @@
+export { scopeFromRepositoryAsync, scopeFromCatalog, scopeFromDocumentAsync, } from './ConformanceScope.js';
+export type { ConformanceScope } from './ConformanceScope.js';
+export { buildShapesModel } from './ShapesModel.js';
+export type { ShaclNodeShapeModel, ShaclPropertyConstraint, ShaclNodeKind, ShaclSeverity, } from './ShapesModel.js';
+export { lowerConstraint, foldFlagsIntoPattern } from './lowering.js';
+export type { LoweredCheck, LoweredExprNode } from './lowering.js';
+export { evaluateConformance } from './ConformanceEvaluator.js';
+export type { ShaclConformanceResult, ShaclFinding } from './ConformanceEvaluator.js';
+export { buildReportPackageAsync } from './ReportBuilder.js';

package/dist/shacl/lowering.d.ts

@@ -0,0 +1,26 @@
+import type { ShaclPropertyConstraint } from './ShapesModel.js';
+/** A node in the expression runtime's tree format (its `ExprNode`). */
+export interface LoweredExprNode {
+    type: string;
+    [operandOrValue: string]: unknown;
+}
+/** The variable names the evaluator binds when running lowered checks. */
+export declare const LOWERED_VALUES_VAR = "values";
+export declare const LOWERED_VALUE_VAR = "v";
+export declare const LOWERED_ALLOWED_VAR = "allowed";
+export interface LoweredCheck {
+    /** Which constraint this check enforces (the report's discriminant). */
+    component: 'minCount' | 'maxCount' | 'in' | 'pattern' | 'minLength' | 'maxLength' | 'minInclusive' | 'maxInclusive';
+    /** `node` = once per focus node (binds `values`); `value` = once per value (binds `v`, and `allowed` for `in`). */
+    per: 'node' | 'value';
+    expr: LoweredExprNode;
+}
+/**
+ * `sh:flags` folds into the runtime's whole-pattern flag prefix — the only
+ * flag mechanism in the pinned subset. Only `i`, `m`, `s` exist there; any
+ * other flag is outside the subset and must fail loudly rather than be
+ * silently dropped.
+ */
+export declare function foldFlagsIntoPattern(regex: string, flags: string | undefined): string;
+/** Lower one PropertyShape's kernel-expressible constraints. */
+export declare function lowerConstraint(c: ShaclPropertyConstraint): LoweredCheck[];

package/dist/shacl/uris.d.ts

@@ -0,0 +1,64 @@
+import type { EntityUri } from '../uri-helpers/index.js';
+/**
+ * THE canonical URI constants for the `kanonak.org/core-shacl` vocabulary —
+ * shared by the conformance layer, the constraint-enrichment index
+ * (`introspection/ShaclConstraints`), and the definition-validation rule
+ * (`ShaclShapeRule`), so the vocabulary's identity lives in exactly one
+ * module. Hardcoded URIs are the canonical-ontology contract (never
+ * alias/local-name heuristics).
+ */
+export declare const SHACL_PUBLISHER = "kanonak.org";
+export declare const SHACL_PACKAGE = "core-shacl";
+export declare const SH_NODE_SHAPE: EntityUri;
+export declare const SH_PROPERTY_SHAPE: EntityUri;
+export declare const SH_TARGET_CLASS: EntityUri;
+export declare const SH_PROPERTY: EntityUri;
+export declare const SH_PATH: EntityUri;
+export declare const SH_MIN_COUNT: EntityUri;
+export declare const SH_MAX_COUNT: EntityUri;
+export declare const SH_DATATYPE: EntityUri;
+export declare const SH_CLASS: EntityUri;
+export declare const SH_IN: EntityUri;
+export declare const SH_PATTERN: EntityUri;
+export declare const SH_FLAGS: EntityUri;
+export declare const SH_MIN_LENGTH: EntityUri;
+export declare const SH_MAX_LENGTH: EntityUri;
+export declare const SH_MIN_INCLUSIVE: EntityUri;
+export declare const SH_MAX_INCLUSIVE: EntityUri;
+export declare const SH_MESSAGE: EntityUri;
+export declare const SH_TARGET_NODE: EntityUri;
+export declare const SH_TARGET_SUBJECTS_OF: EntityUri;
+export declare const SH_TARGET_OBJECTS_OF: EntityUri;
+export declare const SH_CLOSED: EntityUri;
+export declare const SH_IGNORED_PROPERTIES: EntityUri;
+export declare const SH_NODE_KIND: EntityUri;
+export declare const SH_NODEKIND_IRI: EntityUri;
+export declare const SH_NODEKIND_BLANK_NODE: EntityUri;
+export declare const SH_NODEKIND_LITERAL: EntityUri;
+export declare const SH_SEVERITY: EntityUri;
+export declare const SH_VIOLATION: EntityUri;
+export declare const SH_WARNING: EntityUri;
+export declare const SH_INFO: EntityUri;
+export declare const SH_VALIDATION_REPORT: EntityUri;
+export declare const SH_CONFORMS: EntityUri;
+export declare const SH_RESULT: EntityUri;
+export declare const SH_VALIDATION_RESULT: EntityUri;
+export declare const SH_FOCUS_NODE: EntityUri;
+export declare const SH_RESULT_PATH: EntityUri;
+export declare const SH_RESULT_MESSAGE: EntityUri;
+export declare const SH_RESULT_SEVERITY: EntityUri;
+export declare const SH_SOURCE_SHAPE: EntityUri;
+export declare const SH_VALUE: EntityUri;
+export declare const SH_SOURCE_CONSTRAINT_COMPONENT: EntityUri;
+export declare const SH_COMP_MIN_COUNT: EntityUri;
+export declare const SH_COMP_MAX_COUNT: EntityUri;
+export declare const SH_COMP_DATATYPE: EntityUri;
+export declare const SH_COMP_CLASS: EntityUri;
+export declare const SH_COMP_IN: EntityUri;
+export declare const SH_COMP_PATTERN: EntityUri;
+export declare const SH_COMP_MIN_LENGTH: EntityUri;
+export declare const SH_COMP_MAX_LENGTH: EntityUri;
+export declare const SH_COMP_MIN_INCLUSIVE: EntityUri;
+export declare const SH_COMP_MAX_INCLUSIVE: EntityUri;
+export declare const SH_COMP_NODE_KIND: EntityUri;
+export declare const SH_COMP_CLOSED: EntityUri;

package/dist/transformations/index.js

@@ -1,4 +1,4 @@
-import{b as X,c as Un,d as Vn,e as pe,f as ve,g as M,h as Rn,i as q,j as G}from"../chunk-4PY3JJH3.js";import{a as le}from"../chunk-LYSCTQC2.js";import"../chunk-QHABFCRC.js";import"../chunk-4NO7MHS7.js";import"../chunk-5NH5XDGO.js";import"../chunk-PEJALHXK.js";import{a as ce,b as ue,c as de,e as $n,f as Tn,g as Bn,h as xn,m as fe}from"../chunk-V6KIDED2.js";import{a as se}from"../chunk-NJ3AZYQD.js";import{e as U}from"../chunk-SVUMCLK5.js";import{b as Y,c as D,d as E,g as $,h as T,i as B,j as w,k as me,l as x,n as N,o as S,r as A}from"../chunk-YW6P24RF.js";import"../chunk-FUUTGGJS.js";import{g as ie}from"../chunk-2ACBWC7K.js";var Le="kanonak.org",Oe="document-ast",i=e=>({publisher:Le,package_:Oe,name:e}),m={Document:i("Document"),Block:i("Block"),Inline:i("Inline"),StructuredValue:i("StructuredValue"),Heading:i("Heading"),Paragraph:i("Paragraph"),RawBlock:i("RawBlock"),Text:i("Text"),StructuredMap:i("StructuredMap"),StructuredEntry:i("StructuredEntry"),StructuredList:i("StructuredList"),StringScalar:i("StringScalar"),IntegerScalar:i("IntegerScalar"),EscapeHint:i("EscapeHint"),MediaType:i("MediaType"),metadata:i("metadata"),children:i("children"),level:i("level"),inlines:i("inlines"),text:i("text"),entries:i("entries"),key:i("key"),value:i("value"),escapeHint:i("escapeHint"),items:i("items"),stringValue:i("stringValue"),integerValue:i("integerValue"),rawContent:i("rawContent"),mediaType:i("mediaType"),mimeType:i("mimeType"),ESC_RAW:i("esc-raw"),ESC_YAML_SAFE:i("esc-yaml-safe"),ESC_TOML_STRING:i("esc-toml-string"),ESC_TOML_MULTILINE:i("esc-toml-multiline"),ESC_JSON:i("esc-json"),ESC_DYNAMODB_BOOL:i("esc-dynamodb-bool"),ESC_DYNAMODB_NUMBER:i("esc-dynamodb-number"),ESC_DYNAMODB_NULL:i("esc-dynamodb-null"),TEXT_PLAIN:i("text-plain"),TEXT_MARKDOWN:i("text-markdown"),TEXT_HTML:i("text-html"),TEXT_CSS:i("text-css"),APPLICATION_JSON:i("application-json"),TEXT_YAML:i("text-yaml"),IMAGE_SVG_XML:i("image-svg-xml"),ResourceLink:i("ResourceLink"),target:i("target"),linkLabel:i("linkLabel"),PropertyList:i("PropertyList"),propertyEntries:i("propertyEntries"),PropertyEntry:i("PropertyEntry"),propertyKey:i("propertyKey"),propertyValue:i("propertyValue"),Table:i("Table"),tableColumnLabels:i("tableColumnLabels"),tableRows:i("tableRows"),TableRow:i("TableRow"),tableCells:i("tableCells")};function ge(e,n){return e.publisher===n.publisher&&e.package_===n.package_&&e.name===n.name}var V=class{backendUri="kanonak.org/transformations/markdown-with-frontmatter";render(n,t){let r=Ie(n.metadata,t),o=Ke(n.children),s=["---",...r,"---","",o].join(`
+import{b as X,c as Un,d as Vn,e as pe,f as ve,g as M,h as Rn,i as q,j as G}from"../chunk-P36E2UV6.js";import{a as le}from"../chunk-LYSCTQC2.js";import"../chunk-QHABFCRC.js";import"../chunk-4NO7MHS7.js";import"../chunk-5NH5XDGO.js";import"../chunk-PEJALHXK.js";import{a as ce,b as ue,c as de,e as $n,f as Tn,g as Bn,h as xn,m as fe}from"../chunk-V6KIDED2.js";import{a as se}from"../chunk-NJ3AZYQD.js";import{e as U}from"../chunk-SVUMCLK5.js";import{b as Y,c as D,d as E,g as $,h as T,i as B,j as w,k as me,l as x,n as N,o as S,r as A}from"../chunk-YW6P24RF.js";import"../chunk-FUUTGGJS.js";import{g as ie}from"../chunk-2ACBWC7K.js";var Le="kanonak.org",Oe="document-ast",i=e=>({publisher:Le,package_:Oe,name:e}),m={Document:i("Document"),Block:i("Block"),Inline:i("Inline"),StructuredValue:i("StructuredValue"),Heading:i("Heading"),Paragraph:i("Paragraph"),RawBlock:i("RawBlock"),Text:i("Text"),StructuredMap:i("StructuredMap"),StructuredEntry:i("StructuredEntry"),StructuredList:i("StructuredList"),StringScalar:i("StringScalar"),IntegerScalar:i("IntegerScalar"),EscapeHint:i("EscapeHint"),MediaType:i("MediaType"),metadata:i("metadata"),children:i("children"),level:i("level"),inlines:i("inlines"),text:i("text"),entries:i("entries"),key:i("key"),value:i("value"),escapeHint:i("escapeHint"),items:i("items"),stringValue:i("stringValue"),integerValue:i("integerValue"),rawContent:i("rawContent"),mediaType:i("mediaType"),mimeType:i("mimeType"),ESC_RAW:i("esc-raw"),ESC_YAML_SAFE:i("esc-yaml-safe"),ESC_TOML_STRING:i("esc-toml-string"),ESC_TOML_MULTILINE:i("esc-toml-multiline"),ESC_JSON:i("esc-json"),ESC_DYNAMODB_BOOL:i("esc-dynamodb-bool"),ESC_DYNAMODB_NUMBER:i("esc-dynamodb-number"),ESC_DYNAMODB_NULL:i("esc-dynamodb-null"),TEXT_PLAIN:i("text-plain"),TEXT_MARKDOWN:i("text-markdown"),TEXT_HTML:i("text-html"),TEXT_CSS:i("text-css"),APPLICATION_JSON:i("application-json"),TEXT_YAML:i("text-yaml"),IMAGE_SVG_XML:i("image-svg-xml"),ResourceLink:i("ResourceLink"),target:i("target"),linkLabel:i("linkLabel"),PropertyList:i("PropertyList"),propertyEntries:i("propertyEntries"),PropertyEntry:i("PropertyEntry"),propertyKey:i("propertyKey"),propertyValue:i("propertyValue"),Table:i("Table"),tableColumnLabels:i("tableColumnLabels"),tableRows:i("tableRows"),TableRow:i("TableRow"),tableCells:i("tableCells")};function ge(e,n){return e.publisher===n.publisher&&e.package_===n.package_&&e.name===n.name}var V=class{backendUri="kanonak.org/transformations/markdown-with-frontmatter";render(n,t){let r=Ie(n.metadata,t),o=Ke(n.children),s=["---",...r,"---","",o].join(`
 `);return t?.trailingNewline&&(s.endsWith(`
 `)||(s+=`
 `)),s}};function Ie(e,n){if(!e)return[];let t=new Map;for(let c of e.entries)t.set(P(c.key),c);let r=new Map;if(n?.metadataRenames)for(let[c,u]of n.metadataRenames)r.set(P(c),u);let a=(n?.metadataKeys??e.entries.map(c=>c.key)).map(P),s=[];for(let c of a){let u=t.get(c);if(!u)continue;let f=r.get(c),l=P(f??c),d=ye(u.value,u.escapeHint);d!==void 0&&s.push(`${l}: ${d}`)}return s}function P(e){let n=e.lastIndexOf(".");return n===-1?e:e.substring(n+1)||e}function ye(e,n){switch(e.kind){case"StringScalar":return _e(e.stringValue,n);case"IntegerScalar":return String(e.integerValue);case"StructuredList":{let t=[];for(let r of e.items){let o=ye(r,n);o!==void 0&&t.push(o)}return t.join(", ")}case"StructuredMap":return;default:return}}function _e(e,n){return!n||ge(n,m.ESC_RAW)?e:ge(n,m.ESC_YAML_SAFE)?Ce(e):e}function Ce(e){return e.includes(`

package/dist/validation/index.d.ts

@@ -8,4 +8,4 @@ export { KanonakObjectValidator } from './KanonakObjectValidator.js';
 export type { IDocumentValidationRule } from './rules/document/IDocumentValidationRule.js';
 export type { IRepositoryValidationRule } from './rules/repository/IRepositoryValidationRule.js';
 export { NamespacePrefixRule, ResourceNamingRule, PropertyTypeSpecificityRule, SubjectKanonakTypeRequiredRule, PackageHeaderRule } from './rules/document/index.js';
-export { ImportExistenceRule, UnresolvedReferenceRule, ClassHierarchyCycleRule, PropertyHierarchyCycleRule, PropertyRangeRequiredRule, SubClassOfReferenceRule, SubPropertyOfReferenceRule, NamespaceImportCycleRule, UnresolvedPredicateRule, AmbiguousReferenceRule, PropertyRangeReferenceRule, ObjectPropertyValueValidationRule, PropertyDomainRule, PropertyKindRangeConsistencyRule, ReservedNameShadowRule, ClassDefinitionRule, EmbeddedKanonakTypeRule, MarkdownLinkRule, DisplayLensScopeRule, LookSemanticSvgPathRule, TxExpressionPathRule, ShaclShapeRule, OwlOneOfRule, DiamondNameClashRule } from './rules/repository/index.js';
+export { ImportExistenceRule, UnresolvedReferenceRule, ClassHierarchyCycleRule, PropertyHierarchyCycleRule, PropertyRangeRequiredRule, SubClassOfReferenceRule, SubPropertyOfReferenceRule, NamespaceImportCycleRule, UnresolvedPredicateRule, AmbiguousReferenceRule, PropertyRangeReferenceRule, ObjectPropertyValueValidationRule, PropertyDomainRule, PropertyKindRangeConsistencyRule, ReservedNameShadowRule, ClassDefinitionRule, EmbeddedKanonakTypeRule, MarkdownLinkRule, DisplayLensScopeRule, LookSemanticSvgPathRule, LookBandPathRule, TxExpressionPathRule, ShaclShapeRule, OwlOneOfRule, DiamondNameClashRule } from './rules/repository/index.js';

package/dist/validation/index.js

@@ -1 +1 @@
-import{A,B,C,D,E,F,G,J as H,K as I,a,b,c,d,e,f,g,h,i,j,k,l,m,n,o,p,q,r,s,t,u,v,w,x,y,z}from"../chunk-Q6XQ5IXW.js";import"../chunk-ITKOKDBG.js";import"../chunk-V6KIDED2.js";import"../chunk-NJ3AZYQD.js";import"../chunk-SVUMCLK5.js";import"../chunk-YW6P24RF.js";import"../chunk-FUUTGGJS.js";import"../chunk-2ACBWC7K.js";export{u as AmbiguousReferenceRule,A as ClassDefinitionRule,n as ClassHierarchyCycleRule,H as DiamondNameClashRule,C as DisplayLensScopeRule,k as EmbeddedKanonakTypeRule,l as ImportExistenceRule,I as KanonakObjectValidator,D as LookSemanticSvgPathRule,B as MarkdownLinkRule,s as NamespaceImportCycleRule,f as NamespacePrefixRule,w as ObjectPropertyValueValidationRule,c as OntologyValidationError,a as OntologyValidationResult,G as OwlOneOfRule,j as PackageHeaderRule,x as PropertyDomainRule,o as PropertyHierarchyCycleRule,y as PropertyKindRangeConsistencyRule,v as PropertyRangeReferenceRule,p as PropertyRangeRequiredRule,h as PropertyTypeSpecificityRule,z as ReservedNameShadowRule,g as ResourceNamingRule,F as ShaclShapeRule,q as SubClassOfReferenceRule,r as SubPropertyOfReferenceRule,i as SubjectKanonakTypeRequiredRule,E as TxExpressionPathRule,t as UnresolvedPredicateRule,m as UnresolvedReferenceRule,e as ValidationCache,d as ValidationContext,b as ValidationSeverity};
+import{A,B,C,D,E,F,G,H,K as I,L as J,a,b,c,d,e,f,g,h,i,j,k,l,m,n,o,p,q,r,s,t,u,v,w,x,y,z}from"../chunk-UYSEO3OT.js";import"../chunk-M443OYKT.js";import"../chunk-V6KIDED2.js";import"../chunk-NJ3AZYQD.js";import"../chunk-SVUMCLK5.js";import"../chunk-YW6P24RF.js";import"../chunk-FUUTGGJS.js";import"../chunk-2ACBWC7K.js";export{u as AmbiguousReferenceRule,A as ClassDefinitionRule,n as ClassHierarchyCycleRule,I as DiamondNameClashRule,C as DisplayLensScopeRule,k as EmbeddedKanonakTypeRule,l as ImportExistenceRule,J as KanonakObjectValidator,E as LookBandPathRule,D as LookSemanticSvgPathRule,B as MarkdownLinkRule,s as NamespaceImportCycleRule,f as NamespacePrefixRule,w as ObjectPropertyValueValidationRule,c as OntologyValidationError,a as OntologyValidationResult,H as OwlOneOfRule,j as PackageHeaderRule,x as PropertyDomainRule,o as PropertyHierarchyCycleRule,y as PropertyKindRangeConsistencyRule,v as PropertyRangeReferenceRule,p as PropertyRangeRequiredRule,h as PropertyTypeSpecificityRule,z as ReservedNameShadowRule,g as ResourceNamingRule,G as ShaclShapeRule,q as SubClassOfReferenceRule,r as SubPropertyOfReferenceRule,i as SubjectKanonakTypeRequiredRule,F as TxExpressionPathRule,t as UnresolvedPredicateRule,m as UnresolvedReferenceRule,e as ValidationCache,d as ValidationContext,b as ValidationSeverity};

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@kanonak-protocol/sdk",
-  "version": "5.17.1",
+  "version": "5.19.0",
   "description": "TypeScript SDK for the Kanonak Protocol — parse, resolve, validate, reason over, and render .kan.yml packages.",
   "type": "module",
   "main": "./dist/index.js",
@@ -126,10 +126,11 @@
   ],
   "dependencies": {
     "@kanonak-protocol/canonical": "^0.1.3",
-    "@kanonak-protocol/types": "^5.17.1",
+    "@kanonak-protocol/types": "^5.19.0",
     "ignore": "^7.0.5",
     "js-yaml": "^4.1.0",
-    "yaml": "^2.7.0"
+    "yaml": "^2.7.0",
+    "@kanonak-protocol/expression": "^0.3.0"
   },
   "optionalDependencies": {
     "@huggingface/transformers": "^3.8.1"

package/dist/chunk-ITKOKDBG.js

@@ -1 +0,0 @@
-import{e as u}from"./chunk-2ACBWC7K.js";function g(t){let n=t.metadata?.namespace_;return n?`${n.publisher}/${n.package_}`:void 0}function d(t){let n=t.metadata?.namespace_;if(n)return n.version?`${n.publisher}/${n.package_}@${u(n.version)}`:`${n.publisher}/${n.package_}`}async function h(t,n){let e=new Set,s=new Set,o=[...t];for(;o.length>0;){let r=o.shift(),c=g(r),i=d(r);if(!c||!i||s.has(i))continue;s.add(i),e.add(c);let a=r.metadata?.imports;if(a)for(let[p,y]of Object.entries(a))for(let D of y)try{let m=await n.getHighestCompatibleVersionAsync(p,D);m&&o.push(m)}catch{}}return e}var l=class{constructor(n,e){this.inner=n;this.scope=e}inner;scope;async getAllDocumentsAsync(){return(await this.inner.getAllDocumentsAsync()).filter(e=>{let s=g(e);return s!==void 0&&this.scope.has(s)})}getDocumentAsync(n){return this.inner.getDocumentAsync(n)}getDocumentsByNamespaceAsync(n,e){return this.inner.getDocumentsByNamespaceAsync(n,e)}getHighestCompatibleVersionAsync(n,e){return this.inner.getHighestCompatibleVersionAsync(n,e)}saveDocumentAsync(n,e){return this.inner.saveDocumentAsync(n,e)}deleteDocumentAsync(n){return this.inner.deleteDocumentAsync(n)}clearNamespaceAsync(n,e){return this.inner.clearNamespaceAsync(n,e)}getAllDocumentReferencesAsync(){return this.inner.getAllDocumentReferencesAsync()}getDocumentContentAsync(n){return this.inner.getDocumentContentAsync(n)}getDocumentUriAsync(n){return this.inner.getDocumentUriAsync(n)}};export{h as a,l as b};