@kanonak-protocol/types 4.13.0 → 4.15.0

package/dist/object/resolution/types.d.ts

@@ -67,14 +67,6 @@ export interface ResourceResolver {
      * Clears cache for a specific document.
      */
     clearCache(documentKey: string): void;
-    /**
-     * Checks if a class is a subclass of another class (direct or transitive)
-     */
-    isSubclassOfAsync(className: string, parentClassName: string, document: KanonakDocument): Promise<boolean>;
-    /**
-     * Checks if a property is a subproperty of another property (direct or transitive)
-     */
-    isSubpropertyOfAsync(propertyName: string, parentPropertyName: string, document: KanonakDocument): Promise<boolean>;
 }
 /**
  * Classifies Kanonak resources by their semantic type (Class, Property, Instance, etc.).     This is the canonical source of truth for resource type classification.     Uses resolved KanonakUri, NOT document-scoped aliases.

package/dist/object/validation/enums.d.ts

@@ -9,5 +9,10 @@ export declare enum ValidationSeverity {
     /**
      * Critical issue that must be fixed
      */
-    Error = 1
+    Error = 1,
+    /**
+     * Informational notice — resolution succeeds, but something is worth
+     * confirming (e.g. a local entity shadowing a reserved built-in name).
+     */
+    Info = 2
 }

package/dist/object/validation/enums.js

@@ -1 +1 @@
-var m=(g=>(g[g.Warning=0]="Warning",g[g.Error=1]="Error",g))(m||{});export{m as ValidationSeverity};
+var g=(f=>(f[f.Warning=0]="Warning",f[f.Error=1]="Error",f[f.Info=2]="Info",f))(g||{});export{g as ValidationSeverity};

package/dist/object/validation/rules/repository/types.d.ts

@@ -3,6 +3,27 @@ import { KanonakDocument } from '../../../../document/models/types';
 import { KanonakUri } from '../../../../object/uris/types';
 import { IRepositoryValidationRule } from '../../../../object/validation/rules/repository/index';
 import { OntologyValidationError } from '../../../../object/validation/types';
+/**
+ * Validates that a property's declared kind matches the nature of its range: a
+ * DatatypeProperty must range over a datatype (xsd type, rdfs.Literal, or a
+ * datatype-derived class), an ObjectProperty over a plain class. The nature is
+ * decided by walking the range's subClassOf chain (a datatype-derived class is
+ * datatype-valued even though rdfs.Datatype is a kind of rdfs.Class).
+ */
+export interface PropertyKindRangeConsistencyRule extends IRepositoryValidationRule {
+    readonly ruleName: string;
+    validateAsync(document: KanonakDocument, repository: IKanonakDocumentRepository): Promise<Array<OntologyValidationError>>;
+}
+/**
+ * INFO: a package defines a local entity whose name is a reserved built-in term
+ * homed in a different package (e.g. core-owl/Class shadows the built-in
+ * rdfs.Class). Usually intentional, but surfaced so a bare reference silently
+ * resolving to the local definition can't hide a mistake.
+ */
+export interface ReservedNameShadowRule extends IRepositoryValidationRule {
+    readonly ruleName: string;
+    validateAsync(document: KanonakDocument, repository: IKanonakDocumentRepository): Promise<Array<OntologyValidationError>>;
+}
 /**
  * Validates that references to entities or properties are unambiguous.     When multiple imports define the same entity/property name, namespace aliases     MUST be used to disambiguate (e.g., 'people.name' vs 'heroes.name').     When only one source defines an entity, aliases are optional.     Design Philosophy:     - Aliases are document-scoped only (not transitive)     - Aliases are required ONLY when ambiguity exists     - Aliases are optional when references are unambiguous
  */
@@ -24,13 +45,6 @@ export interface ClassHierarchyCycleRule extends IRepositoryValidationRule {
     readonly ruleName: string;
     validateAsync(document: KanonakDocument, repository: IKanonakDocumentRepository): Promise<Array<OntologyValidationError>>;
 }
-/**
- * Validates that properties used on Class and Property definitions are actually defined.     When a class or property definition uses a property (e.g., "icon: ✅"),     this rule ensures that the property "icon" is defined as an ObjectProperty     or DatatypeProperty either locally or in imported namespaces.
- */
-export interface DefinitionPropertyReferenceRule extends IRepositoryValidationRule {
-    readonly ruleName: string;
-    validateAsync(document: KanonakDocument, repository: IKanonakDocumentRepository): Promise<Array<OntologyValidationError>>;
-}
 export interface ImportErrorDetails {
     message: string;
     suggestion: string;
@@ -57,13 +71,6 @@ export interface NamespaceImportCycleRule extends IRepositoryValidationRule {
     readonly ruleName: string;
     validateAsync(document: KanonakDocument, repository: IKanonakDocumentRepository): Promise<Array<OntologyValidationError>>;
 }
-/**
- * Validates that namespaces for ObjectProperty range classes are imported
- */
-export interface ObjectPropertyImportRule extends IRepositoryValidationRule {
-    readonly ruleName: string;
-    validateAsync(document: KanonakDocument, repository: IKanonakDocumentRepository): Promise<Array<OntologyValidationError>>;
-}
 /**
  * Validates that ALL ObjectProperty values point to existing entities.     Uses TypeResolver to determine which properties are ObjectProperties (explicit or inferred from range).
  */
@@ -104,13 +111,6 @@ export interface PropertyRangeRequiredRule extends IRepositoryValidationRule {
     readonly ruleName: string;
     validateAsync(document: KanonakDocument, repository: IKanonakDocumentRepository): Promise<Array<OntologyValidationError>>;
 }
-/**
- * Validates that instance property values match their declared property types and ranges.     Prevents setting complex objects on DatatypeProperties and ensures ObjectProperty values are valid.
- */
-export interface PropertyValueTypeRule extends IRepositoryValidationRule {
-    readonly ruleName: string;
-    validateAsync(document: KanonakDocument, repository: IKanonakDocumentRepository): Promise<Array<OntologyValidationError>>;
-}
 /**
  * Validates that subClassOf references point to existing classes
  */
@@ -139,10 +139,3 @@ export interface UnresolvedReferenceRule extends IRepositoryValidationRule {
     readonly ruleName: string;
     validateAsync(document: KanonakDocument, repository: IKanonakDocumentRepository): Promise<Array<OntologyValidationError>>;
 }
-/**
- * Validates that XSD namespace is imported when DatatypeProperty uses XSD types
- */
-export interface XsdImportRule extends IRepositoryValidationRule {
-    readonly ruleName: string;
-    validateAsync(document: KanonakDocument, repository: IKanonakDocumentRepository): Promise<Array<OntologyValidationError>>;
-}

package/dist/object/validation/types.d.ts

@@ -99,9 +99,17 @@ export interface OntologyValidationResult {
      */
     warnings: Array<OntologyValidationError>;
     /**
-     * Total count of issues (errors + warnings)
+     * List of informational notices (never affect `isValid`)
+     */
+    infos: Array<OntologyValidationError>;
+    /**
+     * Total count of issues (errors + warnings + infos)
      */
     readonly totalIssues: number;
+    /**
+     * All diagnostics across every severity, errors first.
+     */
+    readonly allDiagnostics: Array<OntologyValidationError>;
 }
 /**
  * Context for validation operations, carrying metadata needed for type inference and validation

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@kanonak-protocol/types",
-  "version": "4.13.0",
+  "version": "4.15.0",
   "description": "Shared TypeScript type definitions for the Kanonak Protocol object model.",
   "type": "module",
   "main": "./dist/index.js",