@githolon/dsl 0.105.23 → 0.105.24

package/dart/pubspec.lock

@@ -191,7 +191,7 @@ packages:
       path: "../dart_types"
       relative: true
     source: path
-    version: "0.8.7"
+    version: "0.8.8"
   package_config:
     dependency: "direct main"
     description:

package/dart/pubspec.yaml

@@ -7,7 +7,7 @@ repository: https://github.com/Captain-App/nomos2
 description: >-
   Nomos 2 Dart client — generated domain values, intent payloads and application
   lifecycle types over the typed Nomos kernel protocol and USDA custody model.
-version: 0.64.37
+version: 0.64.39
 
 environment:
   sdk: ^3.5.0
@@ -16,7 +16,7 @@ dependencies:
   # The pure-data core (wire types, offer codec, NomosReads, schema validation, error
   # info). nomos_client depends on and re-exports it, so existing imports are unchanged.
   # For local monorepo dev, pubspec_overrides.yaml points this at ../dart_types.
-  nomos_types: ^0.8.7
+  nomos_types: ^0.8.8
   json_schema: ^5.2.2
   crypto: ^3.0.0
   package_config: ^2.1.0

package/dart_types/CHANGELOG.md

@@ -1,3 +1,8 @@
+## 0.8.8
+
+- Name incompatible runtime selections as OSGi contract failures rather than referring to the retired
+  custom kernel-capability vocabulary.
+
 ## 0.8.7
 
 - Decode only the kernel's stamped structural map-entry envelope as an envelope. Ordinary domain

package/dart_types/lib/src/errors.dart

@@ -162,7 +162,8 @@ class OwnedRecoveryPending extends NomosBridgeError {
       stage: attr('stage') ?? 'request',
       recoveryPrincipal:
           attr('recoveryPrincipal') ?? attr('recovery_principal'),
-      recommendedAction: attr('recommendedAction') ??
+      recommendedAction:
+          attr('recommendedAction') ??
           attr('recommended_action') ??
           NomosRecommendedAction.waitForRecoveryPrincipal,
       info: info,
@@ -170,7 +171,8 @@ class OwnedRecoveryPending extends NomosBridgeError {
   }
 
   @override
-  String toString() => 'OwnedRecoveryPending(stage: $stage'
+  String toString() =>
+      'OwnedRecoveryPending(stage: $stage'
       '${recoveryPrincipal != null ? ', recoveryPrincipal: $recoveryPrincipal' : ''}, '
       'recommendedAction: $recommendedAction): $message';
 }
@@ -224,7 +226,8 @@ class LawMismatchError extends NomosBridgeError {
     }
 
     bool? compat() {
-      final v = info.attributes['nomos.law.structurallyCompatible'] ??
+      final v =
+          info.attributes['nomos.law.structurallyCompatible'] ??
           info.attributes['structurallyCompatible'] ??
           info.attributes['structurally_compatible'];
       if (v is bool) return v;
@@ -245,10 +248,12 @@ class LawMismatchError extends NomosBridgeError {
           attr('workspaceRuns') ?? attr('workspace_runs') ?? attr('installed'),
       operation: info.operation ?? attr('operation'),
       structurallyCompatible: compat(),
-      incompatibleMember: attr('incompatibleMember') ??
+      incompatibleMember:
+          attr('incompatibleMember') ??
           attr('incompatible_member') ??
           attr('member'),
-      recommendedAction: attr('recommendedAction') ??
+      recommendedAction:
+          attr('recommendedAction') ??
           attr('recommended_action') ??
           NomosRecommendedAction.recompileClient,
       info: info,
@@ -263,8 +268,8 @@ class LawMismatchError extends NomosBridgeError {
     final verdict = structurallyCompatible == true
         ? 'structurally compatible — proceeding'
         : (incompatibleMember != null
-            ? 'structurally incompatible on $incompatibleMember'
-            : 'structurally incompatible');
+              ? 'structurally incompatible on $incompatibleMember'
+              : 'structurally incompatible');
     return 'client generated for law $x, workspace runs law $y; $verdict — ${NomosRecommendedAction.sentence(recommendedAction)}';
   }
 
@@ -362,7 +367,8 @@ class AuthzRefusedError extends NomosBridgeError {
       relation: fields.relation,
       directiveId: fields.directiveId,
       cause: cause,
-      recommendedAction: attr('recommendedAction') ??
+      recommendedAction:
+          attr('recommendedAction') ??
           attr('recommended_action') ??
           NomosRecommendedAction.none,
       info: info,
@@ -392,19 +398,18 @@ class ParentSignerEnrollmentMissing extends AuthzRefusedError {
     String? directiveId,
     NomosErrorInfo? info,
   }) : super(
-          code: 'nomos.authz.signer_enrollment_missing',
-          message: message,
-          workspace: workspace,
-          actor: actor,
-          keyHash: keyHash,
-          object: object,
-          relation: 'signer',
-          directiveId: directiveId,
-          cause: 'missing-signer-enrollment',
-          recommendedAction:
-              NomosRecommendedAction.ensureParentSignerEnrollment,
-          info: info,
-        );
+         code: 'nomos.authz.signer_enrollment_missing',
+         message: message,
+         workspace: workspace,
+         actor: actor,
+         keyHash: keyHash,
+         object: object,
+         relation: 'signer',
+         directiveId: directiveId,
+         cause: 'missing-signer-enrollment',
+         recommendedAction: NomosRecommendedAction.ensureParentSignerEnrollment,
+         info: info,
+       );
 }
 
 /// AUTH — the auth-provider token was missing/malformed/expired/rejected, or its issuer does not match the
@@ -448,7 +453,8 @@ class AuthError extends NomosBridgeError {
       workspace: info.workspace,
       issuer: attr('issuer'),
       operation: info.operation ?? attr('operation'),
-      recommendedAction: attr('recommendedAction') ??
+      recommendedAction:
+          attr('recommendedAction') ??
           attr('recommended_action') ??
           NomosRecommendedAction.reauth,
       info: info,
@@ -498,7 +504,8 @@ class LoadError extends NomosBridgeError {
       message: info.message,
       artifact: attr('artifact'),
       sourceUrl: attr('sourceUrl') ?? attr('source_url') ?? attr('url'),
-      recommendedAction: attr('recommendedAction') ??
+      recommendedAction:
+          attr('recommendedAction') ??
           attr('recommended_action') ??
           NomosRecommendedAction.retry,
       info: info,
@@ -558,9 +565,10 @@ class SourceSessionNotMounted extends NomosBridgeError {
       from: attr('from'),
       sourceWorkspace:
           attr('source_workspace') ?? attr('sourceWorkspace') ?? info.workspace,
-      queryId:
-          (info.attributes['nomos.query_id'] ?? attr('queryId'))?.toString(),
-      recommendedAction: attr('recommendedAction') ??
+      queryId: (info.attributes['nomos.query_id'] ?? attr('queryId'))
+          ?.toString(),
+      recommendedAction:
+          attr('recommendedAction') ??
           attr('recommended_action') ??
           NomosRecommendedAction.mountSourceSession,
       info: info,
@@ -568,23 +576,18 @@ class SourceSessionNotMounted extends NomosBridgeError {
   }
 
   @override
-  String toString() => 'SourceSessionNotMounted(source: $sourceWorkspace'
+  String toString() =>
+      'SourceSessionNotMounted(source: $sourceWorkspace'
       '${queryId != null ? ', query: $queryId' : ''}, recommendedAction: $recommendedAction): $message';
 }
 
-/// KERNEL COHERENCE SKEW (`kernel-capability-skew`) — the cloud this client connected to runs a kernel that
-/// does NOT support a capability this law requires (e.g. a compound-key query `.key(a, b)` needs
-/// `compoundKeys`, and the cloud's kernel is a STALE build that predates the compound-key read router). The
-/// generated client asserts this at bind (from its baked `requiresKernel`) against the cloud's advertised
-/// `/v1/runtime/capabilities`, so a stale/mismatched kernel is caught UP FRONT with a named reason — instead
-/// of the opaque "the read router supports exactly one" refusal deep in a law fold. Remedy: point at a cloud
-/// whose kernel is coherent with this release, or upgrade the cloud's kernel.
+/// The provider-selected OSGi resource does not satisfy the generated law's Contract Namespace requirements.
 class KernelCoherenceError extends NomosBridgeError {
-  /// The stable machine code — always `kernel-capability-skew`.
+  /// The stable machine code — always `kernel-contract-incompatible`.
   final String code;
 
   KernelCoherenceError({
-    this.code = 'kernel-capability-skew',
+    this.code = 'kernel-contract-incompatible',
     required String message,
     NomosErrorInfo? info,
   }) : super(message, info: info);
@@ -676,7 +679,8 @@ class CustodyError extends NomosBridgeError {
         orElse: () => CustodySource.unknown,
       ),
       recoverable: attr('recoverable') != 'false',
-      recommendedAction: attr('recommended_action') ??
+      recommendedAction:
+          attr('recommended_action') ??
           attr('recommendedAction') ??
           'refetchFullHistoryAndRetry',
       info: info,
@@ -701,8 +705,10 @@ class AuthTokenInvalid extends NomosBridgeError {
   final String code = 'nomos.auth.token_invalid';
   final String recommendedAction = NomosRecommendedAction.reauth;
   AuthTokenInvalid([String? message])
-      : super(message ??
-            'the auth-provider token was missing or rejected (the cloud refused 401) — a birth needs a verified principal');
+    : super(
+        message ??
+            'the auth-provider token was missing or rejected (the cloud refused 401) — a birth needs a verified principal',
+      );
 }
 
 /// The workspace name the cloud reported for the born home does NOT equal `homeNameOf(subject)`. The home's
@@ -717,10 +723,14 @@ class HomeNameMismatch extends NomosBridgeError {
 
   /// What the cloud reported (its status `lineage.id` / the name it served).
   final String reported;
-  HomeNameMismatch(
-      {required this.expected, required this.reported, String? message})
-      : super(message ??
-            'the cloud reported home "$reported" but this subject hashes to "$expected" — refusing to mount a home whose name does not bind its owner');
+  HomeNameMismatch({
+    required this.expected,
+    required this.reported,
+    String? message,
+  }) : super(
+         message ??
+             'the cloud reported home "$reported" but this subject hashes to "$expected" — refusing to mount a home whose name does not bind its owner',
+       );
 }
 
 /// The workspace exists and is born, but the HOME LAW is not installed/active on it — so it is a plain
@@ -734,8 +744,10 @@ class HomeLawMissing extends NomosBridgeError {
   /// The workspace that is missing the home law.
   final String workspace;
   HomeLawMissing({required this.workspace, String? message})
-      : super(message ??
-            'workspace "$workspace" is born but the home law is not installed/active on it — refusing to mount a plain workspace as a home');
+    : super(
+        message ??
+            'workspace "$workspace" is born but the home law is not installed/active on it — refusing to mount a plain workspace as a home',
+      );
 }
 
 /// The offer to the home's birth lane was REFUSED by the parent's gate (the law denied the birth — e.g. the
@@ -751,8 +763,10 @@ class BirthRejected extends NomosBridgeError {
   /// The HTTP status the cloud answered, when known.
   final int? statusCode;
   BirthRejected({String? message, this.directiveId, this.statusCode})
-      : super(message ??
-            'the home birth offer was refused by the law${directiveId != null ? ' (directive "$directiveId")' : ''}${statusCode != null ? ' [$statusCode]' : ''}');
+    : super(
+        message ??
+            'the home birth offer was refused by the law${directiveId != null ? ' (directive "$directiveId")' : ''}${statusCode != null ? ' [$statusCode]' : ''}',
+      );
 }
 
 /// A pack the cloud returned (or the local holon produced) was malformed — it could not be parsed/applied as
@@ -763,8 +777,10 @@ class PackMalformed extends NomosBridgeError {
   final String recommendedAction =
       NomosRecommendedAction.refetchFullHistoryAndRetry;
   PackMalformed([String? message])
-      : super(message ??
-            'a returned pack was malformed and could not be applied (custody integrity fault)');
+    : super(
+        message ??
+            'a returned pack was malformed and could not be applied (custody integrity fault)',
+      );
 }
 
 /// The home law's content hash could not be resolved — the cloud reported no current law for the home's
@@ -777,8 +793,10 @@ class LawHashUnavailable extends NomosBridgeError {
   /// The workspace whose current law hash could not be resolved.
   final String workspace;
   LawHashUnavailable({required this.workspace, String? message})
-      : super(message ??
-            'could not resolve the current law hash for "$workspace" — the cloud reported no installed law for the home');
+    : super(
+        message ??
+            'could not resolve the current law hash for "$workspace" — the cloud reported no installed law for the home',
+      );
 }
 
 /// AUTHORITY IS UNFORGEABLE-BY-CONSTRUCTION: a GATED directive (one carrying a `.requires(relation)` write
@@ -795,11 +813,13 @@ class MissingOfferAuthority extends NomosBridgeError {
 
   /// The relation the law requires the author to hold (e.g. `admin`).
   final String requires;
-  MissingOfferAuthority(
-      {required this.domain,
-      required this.directiveId,
-      required this.requires,
-      String? message})
-      : super(message ??
-            '$domain/$directiveId requires the "$requires" relation — construct the client with an actor (the verified principal) to author it; a gated offer cannot be made without an authority');
+  MissingOfferAuthority({
+    required this.domain,
+    required this.directiveId,
+    required this.requires,
+    String? message,
+  }) : super(
+         message ??
+             '$domain/$directiveId requires the "$requires" relation — construct the client with an actor (the verified principal) to author it; a gated offer cannot be made without an authority',
+       );
 }

package/dart_types/pubspec.yaml

@@ -9,7 +9,7 @@ description: >-
   Pure kernel wire/data types for Nomos Dart frontends — no transport, no bridge,
   no runtime. Typed protobuf and USDA boundary values plus the offer codec,
   reactive read engine, schema validation, and data-only error/trace types.
-version: 0.8.7
+version: 0.8.8
 
 environment:
   sdk: ^3.5.0

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@githolon/dsl",
-  "version": "0.105.23",
+  "version": "0.105.24",
   "type": "module",
   "sideEffects": false,
   "description": "Nomos 2 domain-authoring DSL: aggregates + directives in TS, executed and encoded to the Rust kernel's wire shapes.",