@kanonak-protocol/sdk 5.26.0 → 5.28.0

package/dist/transformations/v3/CompiledTransformationV3.d.ts

@@ -90,7 +90,7 @@ export interface CompiledFormatOverrideV3 {
      *  doctype + style + metadata <dl>; analogous in other backends). */
     omitWrapper?: boolean | undefined;
 }
-export type CompiledExpressionV3 = CompiledStringLiteralV3 | CompiledIntegerLiteralV3 | CompiledDecimalLiteralV3 | CompiledBooleanLiteralV3 | CompiledVarRefV3 | CompiledPropertyReadV3 | CompiledTraverseV3 | CompiledBuildAstNodeV3 | CompiledWhenV3 | CompiledConcatV3 | CompiledFallbackV3 | CompiledUriNameV3 | CompiledUriPublisherV3 | CompiledUriPackageV3 | CompiledUriVersionV3 | CompiledSubjectUriV3 | CompiledUriLiteralV3 | CompiledDisplayLabelV3 | CompiledResolveRefV3 | CompiledNormalizeV3 | CompiledUnescapedStringV3 | CompiledIsSetV3 | CompiledCallFragmentV3 | CompiledJoinV3 | CompiledCountV3 | CompiledSumV3 | CompiledMinV3 | CompiledMaxV3 | CompiledAverageV3 | CompiledForEachV3 | CompiledListMapV3 | CompiledFilterV3 | CompiledPartitionByV3 | CompiledDistinctByV3 | CompiledAllStatementsV3 | CompiledStatementPredicateV3 | CompiledStatementValueV3 | CompiledDateFormatV3 | CompiledAddV3 | CompiledSubtractV3 | CompiledMultiplyV3 | CompiledDivideV3 | CompiledReverseV3 | CompiledWindowedMapV3 | CompiledPairwiseMapV3 | CompiledScanV3 | CompiledListItemAtV3 | CompiledEqualsV3 | CompiledGreaterThanV3 | CompiledLessThanV3 | CompiledGreaterThanOrEqualV3 | CompiledLessThanOrEqualV3 | CompiledNotV3 | CompiledAndV3 | CompiledOrV3 | CompiledContainsV3 | CompiledAbsV3 | CompiledNegateV3 | CompiledIsReferenceV3 | CompiledIsEmbeddedV3 | CompiledIsListV3 | CompiledStatementObjectV3 | CompiledIsStringV3 | CompiledIsNumberV3 | CompiledIsBooleanV3 | CompiledLetV3 | CompiledGetStatementByNameV3 | CompiledRenderMarkdownV3;
+export type CompiledExpressionV3 = CompiledStringLiteralV3 | CompiledIntegerLiteralV3 | CompiledDecimalLiteralV3 | CompiledBooleanLiteralV3 | CompiledVarRefV3 | CompiledPropertyReadV3 | CompiledTraverseV3 | CompiledBuildAstNodeV3 | CompiledWhenV3 | CompiledConcatV3 | CompiledFallbackV3 | CompiledUriNameV3 | CompiledUriPublisherV3 | CompiledUriPackageV3 | CompiledUriVersionV3 | CompiledSubjectUriV3 | CompiledUriLiteralV3 | CompiledDisplayLabelV3 | CompiledResolveRefV3 | CompiledNormalizeV3 | CompiledUnescapedStringV3 | CompiledIsSetV3 | CompiledCallFragmentV3 | CompiledJoinV3 | CompiledCountV3 | CompiledSumV3 | CompiledMinV3 | CompiledMaxV3 | CompiledAverageV3 | CompiledForEachV3 | CompiledListMapV3 | CompiledFilterV3 | CompiledPartitionByV3 | CompiledDistinctByV3 | CompiledAllStatementsV3 | CompiledStatementPredicateV3 | CompiledStatementValueV3 | CompiledDateFormatV3 | CompiledNumberFormatV3 | CompiledAddV3 | CompiledSubtractV3 | CompiledMultiplyV3 | CompiledDivideV3 | CompiledReverseV3 | CompiledWindowedMapV3 | CompiledPairwiseMapV3 | CompiledScanV3 | CompiledListItemAtV3 | CompiledEqualsV3 | CompiledGreaterThanV3 | CompiledLessThanV3 | CompiledGreaterThanOrEqualV3 | CompiledLessThanOrEqualV3 | CompiledNotV3 | CompiledAndV3 | CompiledOrV3 | CompiledContainsV3 | CompiledAbsV3 | CompiledNegateV3 | CompiledIsReferenceV3 | CompiledIsEmbeddedV3 | CompiledIsListV3 | CompiledStatementObjectV3 | CompiledIsStringV3 | CompiledIsNumberV3 | CompiledIsBooleanV3 | CompiledLetV3 | CompiledGetStatementByNameV3 | CompiledRenderMarkdownV3;
 export interface CompiledStringLiteralV3 {
     kind: 'string-literal';
     value: string;
@@ -212,6 +212,22 @@ export interface CompiledDateFormatV3 {
     source: CompiledExpressionV3;
     format: DateFormatKindV3;
 }
+/**
+ * Presentation styles for the NumberFormat primitive. Deliberately
+ * ORTHOGONAL to `fractionDigits`: a style says how the number is scaled and
+ * decorated, precision is a separate slot, so any style composes with any
+ * precision without a named format per pair (`percent-1`, `percent-2`, …).
+ */
+export type NumberStyleV3 = 'decimal' | 'percent' | 'basis-points' | 'currency' | 'compact';
+export interface CompiledNumberFormatV3 {
+    kind: 'number-format';
+    source: CompiledExpressionV3;
+    style: NumberStyleV3;
+    /** Undefined = render the number's own digits, no padding or rounding. */
+    fractionDigits?: number;
+    /** ISO 4217; only meaningful for the `currency` style. Defaults to USD. */
+    currencyCode?: string;
+}
 export interface CompiledAddV3 {
     kind: 'add';
     left: CompiledExpressionV3;

package/dist/transformations/v3/TransformationUriConstantsV3.d.ts

@@ -151,6 +151,11 @@ export declare const TX_V3: {
     readonly DateFormat: EntityUri;
     readonly dateSource: EntityUri;
     readonly dateFormat: EntityUri;
+    readonly NumberFormat: EntityUri;
+    readonly numberSource: EntityUri;
+    readonly numberStyle: EntityUri;
+    readonly fractionDigits: EntityUri;
+    readonly currencyCode: EntityUri;
     readonly BinaryArithmetic: EntityUri;
     readonly arithLeft: EntityUri;
     readonly arithRight: EntityUri;

package/dist/uri-helpers/UriHelpers.d.ts

@@ -55,6 +55,25 @@ export declare function toCanonicalUrl(uri: CanonicalUriParts): string;
  * True when a `Kanonak` is a `DefinedKanonak` whose `type` statement's
  * object URI matches the given class URI.
  */
+/**
+ * The canonical URIs of a defined kanonak's declared type(s), whether the
+ * `type` statement was authored as a single reference or a list.
+ *
+ * THE one way to ask "what is this?" before a subsumption walk. Three private
+ * copies of this read had grown up independently (`LookRenderer`,
+ * `findDerivation`, `look/displayValue`); consolidating them is tracked
+ * separately — new code uses this.
+ */
+export declare function typeReferenceUris(kanonak: Kanonak): KanonakUri[];
+/**
+ * The canonical URIs a reference-valued property points at, whether it was
+ * authored as a single reference or a list. Non-reference values are skipped.
+ *
+ * THE one way to read "which resources does this property name?" — the shape
+ * every cascade needs before a `subClassOf` or type walk.
+ * {@link typeReferenceUris} is the `rdf:type` case by name.
+ */
+export declare function referenceUris(kanonak: Kanonak, property: EntityUri): KanonakUri[];
 export declare function hasType(kanonak: Kanonak, target: EntityUri): boolean;
 /**
  * Filter a list of parsed kanonaks down to `SubjectKanonak`s whose type

package/dist/uri-helpers/index.d.ts

@@ -1,3 +1,3 @@
-export { uriKey, uriMatches, toCanonicalUrl, hasType, hasProperty, findSubjectsByType, findSubjectByUri, findAllResourcesByCanonicalUri, getDatatypeValue, getStringValue, getReferenceUri, getEmbeddedValue, getListValues, } from './UriHelpers.js';
+export { typeReferenceUris, referenceUris, uriKey, uriMatches, toCanonicalUrl, hasType, hasProperty, findSubjectsByType, findSubjectByUri, findAllResourcesByCanonicalUri, getDatatypeValue, getStringValue, getReferenceUri, getEmbeddedValue, getListValues, } from './UriHelpers.js';
 export type { EntityUri, CanonicalUriParts } from './UriHelpers.js';
 export { SingleDocumentRepository } from './SingleDocumentRepository.js';

package/dist/uri-helpers/index.js

@@ -1 +1 @@
-import{m as a,n as b,o as c,p as d,q as e,r as f,s as g,t as h,u as i,v as j,w as k,x as l,y as m,z as n}from"../chunk-H6UAD2LP.js";import"../chunk-FUUTGGJS.js";import"../chunk-QILEJIFU.js";export{n as SingleDocumentRepository,g as findAllResourcesByCanonicalUri,f as findSubjectByUri,e as findSubjectsByType,i as getDatatypeValue,l as getEmbeddedValue,m as getListValues,k as getReferenceUri,j as getStringValue,h as hasProperty,d as hasType,c as toCanonicalUrl,a as uriKey,b as uriMatches};
+import{A as o,B as p,m as a,n as b,o as c,p as d,q as e,r as f,s as g,t as h,u as i,v as j,w as k,x as l,y as m,z as n}from"../chunk-N3XODYH5.js";import"../chunk-FUUTGGJS.js";import"../chunk-QILEJIFU.js";export{p as SingleDocumentRepository,i as findAllResourcesByCanonicalUri,h as findSubjectByUri,g as findSubjectsByType,k as getDatatypeValue,n as getEmbeddedValue,o as getListValues,m as getReferenceUri,l as getStringValue,j as hasProperty,f as hasType,e as referenceUris,c as toCanonicalUrl,d as typeReferenceUris,a as uriKey,b as uriMatches};

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, LookBandPathRule, 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, TxExpressionCompilesRule, 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,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-CYXNYNE7.js";import"../chunk-BRCVOR7A.js";import"../chunk-AUXSXDZB.js";import"../chunk-6VIUXP4N.js";import"../chunk-ITI65NHP.js";import"../chunk-KOWDHKBN.js";import"../chunk-PEJALHXK.js";import"../chunk-EKSYQ6CU.js";import"../chunk-H6UAD2LP.js";import"../chunk-FUUTGGJS.js";import"../chunk-QILEJIFU.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};
+import{A,B,C,D,E,F,G,H,I,L as J,M as K,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-SR6I5ZSI.js";import"../chunk-BRCVOR7A.js";import"../chunk-TW7NJDMW.js";import"../chunk-6VIUXP4N.js";import"../chunk-SUXSCSHO.js";import"../chunk-KOWDHKBN.js";import"../chunk-PEJALHXK.js";import"../chunk-BA4HAURJ.js";import"../chunk-N3XODYH5.js";import"../chunk-FUUTGGJS.js";import"../chunk-QILEJIFU.js";export{u as AmbiguousReferenceRule,A as ClassDefinitionRule,n as ClassHierarchyCycleRule,J as DiamondNameClashRule,C as DisplayLensScopeRule,k as EmbeddedKanonakTypeRule,l as ImportExistenceRule,K as KanonakObjectValidator,F as LookBandPathRule,D as LookSemanticSvgPathRule,B as MarkdownLinkRule,s as NamespaceImportCycleRule,f as NamespacePrefixRule,w as ObjectPropertyValueValidationRule,c as OntologyValidationError,a as OntologyValidationResult,I 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,H as ShaclShapeRule,q as SubClassOfReferenceRule,r as SubPropertyOfReferenceRule,i as SubjectKanonakTypeRequiredRule,E as TxExpressionCompilesRule,G as TxExpressionPathRule,t as UnresolvedPredicateRule,m as UnresolvedReferenceRule,e as ValidationCache,d as ValidationContext,b as ValidationSeverity};

package/dist/validation/rules/repository/TxExpressionCompilesRule.d.ts

@@ -0,0 +1,62 @@
+import type { IKanonakDocumentRepository } from '@kanonak-protocol/types/document/models';
+import type { KanonakDocument } from '@kanonak-protocol/types/document/models/types';
+import { OntologyValidationError } from '../../OntologyValidationError.js';
+import type { IRepositoryValidationRule } from './IRepositoryValidationRule.js';
+import type { ValidationCache } from '../../ValidationCache.js';
+/**
+ * Every authored `tx.Expression` must COMPILE — checked at
+ * `kanonak validate` time, where the author can act on it
+ * (kanonak-protocol/typescript#107 A1).
+ *
+ * `TransformationLoaderV3` already refuses an expression whose node class
+ * no runner implements, with a message naming the offending node. What was
+ * missing is anyone asking it before render. `math@1.0.0` extends `tx`
+ * exactly as designed — its classes subclass `tx.UnaryNumericOp` and reuse
+ * `tx.value` — so every structural rule passed it, `kanonak validate`
+ * reported 0 errors, and the failure only appeared as a value silently
+ * absent from a rendered page.
+ *
+ * This rule closes the gap by ATTEMPTING THE COMPILE rather than keeping a
+ * second list of node classes. The loader is the one authority on what the
+ * runner implements; a parallel list here would drift from it the moment a
+ * primitive is added (`feedback_one_canonical_way`), and drift in a
+ * validator is worse than no validator — it would pass authored input the
+ * runner then rejects.
+ *
+ * Scope: expression ROOTS only. An expression tree is compiled from its
+ * root, and the loader's error already carries the path to the offending
+ * node inside it, so compiling nested nodes independently would report one
+ * problem several times. A node is a root when its parent is not itself an
+ * expression — determined by object identity during the walk, not by
+ * naming the properties that carry expressions (which would be a magic-
+ * string list, and would miss every slot added later).
+ *
+ * Sibling rules cover the INSIDE of an expression that does compile:
+ * `TxExpressionPathRule` and `LookSemanticSvgPathRule` check that each
+ * `PropertyRead` / `Traverse` step is in scope for its context type. This
+ * rule is the prior question — whether the tree is a tree the runner can
+ * even build.
+ *
+ * SCOPE — and why this rule is NOT "every tx.Expression must compile".
+ *
+ * `tx.Expression` is open for extension: a publisher may subclass it with
+ * their own node classes and evaluate them with their OWN runner. That is the
+ * designed pattern, stated by `kanonak.org/math` itself — "the per-language
+ * primitive implementations live in the runners, keyed on the node class" —
+ * and it is in real use (e.g. a streaming vocabulary whose `VarRef` is
+ * `subClassOf tx.Expression`, evaluated by a stream processor that has never
+ * heard of this SDK).
+ *
+ * So the v3 loader is the authority on what THIS SDK's engine implements, and
+ * on nothing else. An expression carried by someone else's property is not
+ * this validator's business, and flagging it was a closed-world assumption in
+ * an open-world protocol. The rule therefore checks only expressions sitting
+ * in a slot one of the SDK's three consumers will actually evaluate
+ * ({@link SDK_EVALUATED_VOCABULARIES}) — where an uncompilable tree really
+ * does mean a value that silently never appears.
+ */
+export declare class TxExpressionCompilesRule implements IRepositoryValidationRule {
+    readonly ruleName = "TxExpressionCompiles";
+    validateAsync(document: KanonakDocument, repository: IKanonakDocumentRepository, cache?: ValidationCache): Promise<OntologyValidationError[]>;
+    private toError;
+}

package/dist/validation/rules/repository/index.d.ts

@@ -19,6 +19,7 @@ export { EmbeddedKanonakTypeRule } from './EmbeddedKanonakTypeRule.js';
 export { MarkdownLinkRule } from './MarkdownLinkRule.js';
 export { DisplayLensScopeRule } from './DisplayLensScopeRule.js';
 export { LookSemanticSvgPathRule } from './LookSemanticSvgPathRule.js';
+export { TxExpressionCompilesRule } from './TxExpressionCompilesRule.js';
 export { LookBandPathRule } from './LookBandPathRule.js';
 export { UnrenderableBandRule } from './UnrenderableBandRule.js';
 export { TxExpressionPathRule } from './TxExpressionPathRule.js';

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@kanonak-protocol/sdk",
-  "version": "5.26.0",
+  "version": "5.28.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,7 +126,7 @@
   ],
   "dependencies": {
     "@kanonak-protocol/canonical": "^0.1.3",
-    "@kanonak-protocol/types": "^5.26.0",
+    "@kanonak-protocol/types": "^5.28.0",
     "ignore": "^7.0.5",
     "js-yaml": "^4.1.0",
     "yaml": "^2.7.0",