@githolon/dsl 0.103.12 → 0.103.14

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (45) hide show
  1. package/dart/CHANGELOG.md +5 -0
  2. package/dart/lib/src/runner/node-entry.mjs +244 -173
  3. package/dart/lib/src/runner/offline-install.mjs +87 -112
  4. package/dart/lib/src/session_bound.dart +7 -4
  5. package/dart/lib/src/webview_bridge.dart +13 -11
  6. package/dart/pubspec.yaml +1 -1
  7. package/dart/test/webview_bridge_test.dart +10 -7
  8. package/dart_types/CHANGELOG.md +2 -2
  9. package/dart_types/lib/nomos_types.dart +4 -4
  10. package/dart_types/lib/src/versioned_nomos_ref.dart +13 -11
  11. package/dart_types/pubspec.yaml +1 -1
  12. package/package.json +1 -1
  13. package/runtime/generated-application-host.js +433 -239
  14. package/src/aggregate.ts +3 -1
  15. package/src/build_package.ts +77 -6
  16. package/src/check_package_main.ts +39 -16
  17. package/src/codegen_dart.ts +189 -52
  18. package/src/codegen_dart_application.ts +82 -16
  19. package/src/codegen_dart_client.ts +42 -14
  20. package/src/codegen_dot.ts +3 -3
  21. package/src/codegen_proof.ts +24 -2
  22. package/src/codegen_ts.ts +32 -19
  23. package/src/compile_package_main.ts +68 -11
  24. package/src/derived.ts +17 -0
  25. package/src/directive.ts +65 -0
  26. package/src/engine_entry.ts +22 -2
  27. package/src/enum_type.ts +71 -0
  28. package/src/fields.ts +135 -5
  29. package/src/flow_gate.ts +2 -1
  30. package/src/framework/workspaces.ts +73 -0
  31. package/src/idof_lint.ts +5 -1
  32. package/src/index.ts +20 -0
  33. package/src/kernel_capabilities.ts +12 -1
  34. package/src/law_check.ts +107 -28
  35. package/src/law_graph.ts +151 -20
  36. package/src/law_graph_usda.ts +23 -0
  37. package/src/law_value_type.ts +10 -3
  38. package/src/lsp_server.ts +26 -16
  39. package/src/package_config.ts +112 -9
  40. package/src/package_feature_topology.ts +174 -0
  41. package/src/plan_source_slice.ts +6 -0
  42. package/src/report.ts +6 -0
  43. package/src/stable_ids_for_module.ts +9 -4
  44. package/src/value_object.ts +9 -2
  45. package/src/workspace_sharding.ts +4 -4
package/dart_types/lib/src/versioned_nomos_ref.dart CHANGED
@@ -1,7 +1,7 @@
1
1
  // NOMOS — a version pin and its stable series (architecture/foreign_ref.md).
2
2
  //
3
3
  // This is deliberately a pure data type. The generated application owns the
4
- // effectful freshness check because it owns the authenticated multi-workspace
4
+ // effectful version-status check because it owns the authenticated multi-workspace
5
5
  // kernel bridge; a projected DTO never hides a runtime or global singleton.
6
6
  library;
7
7
 
@@ -35,29 +35,31 @@ final class VersionedNomosRef<TVersion, TSeries> {
35
35
  }
36
36
 
37
37
  /// The typed answer to a generated application's current-version check.
38
- sealed class ReferenceFreshness<TVersion> {
39
- const ReferenceFreshness();
38
+ sealed class ReferenceVersionStatus<TVersion> {
39
+ const ReferenceVersionStatus();
40
40
  }
41
41
 
42
42
  /// The pinned publication is still the series' current publication.
43
- final class ReferenceCurrent<TVersion> extends ReferenceFreshness<TVersion> {
43
+ final class ReferenceVersionCurrent<TVersion>
44
+ extends ReferenceVersionStatus<TVersion> {
44
45
  final NomosRef<TVersion> latest;
45
- const ReferenceCurrent(this.latest);
46
+ const ReferenceVersionCurrent(this.latest);
46
47
  }
47
48
 
48
49
  /// The series now points at [latest], while the reference remains pinned to an
49
50
  /// older immutable publication.
50
- final class ReferenceStale<TVersion> extends ReferenceFreshness<TVersion> {
51
+ final class ReferenceVersionOutdated<TVersion>
52
+ extends ReferenceVersionStatus<TVersion> {
51
53
  final NomosRef<TVersion> latest;
52
- const ReferenceStale(this.latest);
54
+ const ReferenceVersionOutdated(this.latest);
53
55
  }
54
56
 
55
- /// Nomos could not establish freshness without guessing (for example, the
57
+ /// Nomos could not establish the version status without guessing (for example, the
56
58
  /// series is not local, denied, missing, or does not satisfy the compiled law).
57
- final class ReferenceFreshnessUnavailable<TVersion>
58
- extends ReferenceFreshness<TVersion> {
59
+ final class ReferenceVersionUnavailable<TVersion>
60
+ extends ReferenceVersionStatus<TVersion> {
59
61
  final String reason;
60
- const ReferenceFreshnessUnavailable(this.reason);
62
+ const ReferenceVersionUnavailable(this.reason);
61
63
  }
62
64
 
63
65
  /// Framework-only construction and wire access for generated implementation
package/dart_types/pubspec.yaml CHANGED
@@ -9,7 +9,7 @@ description: >-
9
9
  Pure kernel wire/data types for Nomos Dart frontends — no transport, no bridge,
10
10
  no runtime. Typed protobuf and USDA boundary values plus the offer codec,
11
11
  reactive read engine, schema validation, and data-only error/trace types.
12
- version: 0.8.4
12
+ version: 0.8.5
13
13
 
14
14
  environment:
15
15
  sdk: ^3.5.0
package/package.json CHANGED
@@ -1,6 +1,6 @@
1
1
  {
2
2
  "name": "@githolon/dsl",
3
- "version": "0.103.12",
3
+ "version": "0.103.14",
4
4
  "type": "module",
5
5
  "sideEffects": false,
6
6
  "description": "Nomos 2 domain-authoring DSL: aggregates + directives in TS, executed and encoded to the Rust kernel's wire shapes.",