@githolon/dsl 0.108.0 → 0.108.2

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 (95) hide show
  1. package/dart/CHANGELOG.md +5 -0
  2. package/dart/lib/src/application_framework_calls.dart +299 -0
  3. package/dart/lib/src/generated_call.dart +96 -0
  4. package/dart/lib/src/nms_generated_runtime.dart +29 -0
  5. package/dart/lib/src/node_runner_transport.dart +77 -1
  6. package/dart/lib/src/result_usda.dart +487 -0
  7. package/dart/lib/src/runner/node-entry.mjs +6401 -2102
  8. package/dart/lib/src/runner/offline-install.mjs +1538 -163
  9. package/dart/lib/src/runtime_v2_gateway.dart +54 -0
  10. package/dart/lib/src/runtime_v2_transport.dart +117 -0
  11. package/dart/lib/src/session_bound.dart +7 -2
  12. package/dart/lib/src/test_harness.dart +193 -112
  13. package/dart/lib/src/webview_bridge.dart +2120 -569
  14. package/dart/pubspec.yaml +2 -2
  15. package/dart/test/acquire_session_credentials_test.dart +1 -1
  16. package/dart/test/acquire_session_test.dart +68 -14
  17. package/dart/test/adv_realm_interference_test.dart +6 -4
  18. package/dart/test/cluster_births_test.dart +11 -8
  19. package/dart/test/cluster_local_autosync_test.dart +1 -1
  20. package/dart/test/cluster_scale_test.dart +3 -2
  21. package/dart/test/dlq_session_surface_test.dart +52 -35
  22. package/dart/test/first_app_gauntlet_test.dart +1 -1
  23. package/dart/test/local_sync_inert_test.dart +23 -26
  24. package/dart/test/offer_authentication_proof_test.dart +193 -0
  25. package/dart/test/result_usda_test.dart +49 -0
  26. package/dart/test/session_bound_test.dart +8 -11
  27. package/dart/test/stale_bundle_test.dart +18 -3
  28. package/dart/test/test_harness_test.dart +14 -27
  29. package/dart/test/webview_bridge_test.dart +504 -83
  30. package/dart_types/CHANGELOG.md +7 -0
  31. package/dart_types/lib/nomos_kernel_protocol.dart +3 -2
  32. package/dart_types/lib/src/custody.dart +64 -19
  33. package/dart_types/lib/src/local_work_rejected.dart +30 -45
  34. package/dart_types/lib/src/proto/nomos/custody/v1/snapshot.pb.dart +169 -0
  35. package/dart_types/lib/src/proto/nomos/custody/v1/snapshot.pbenum.dart +11 -0
  36. package/dart_types/lib/src/proto/nomos/kernel/v1/kernel.pb.dart +2021 -234
  37. package/dart_types/lib/src/proto/nomos/kernel/v1/kernel.pbenum.dart +175 -8
  38. package/dart_types/lib/src/proto/nomos/runtime/v2/runtime.pb.dart +8664 -0
  39. package/dart_types/lib/src/proto/nomos/runtime/v2/runtime.pbenum.dart +369 -0
  40. package/dart_types/lib/src/surfaced.dart +30 -25
  41. package/dart_types/pubspec.yaml +1 -1
  42. package/dart_types/test/surfaced_test.dart +2 -1
  43. package/package.json +1 -1
  44. package/runtime/generated-application-host.js +5736 -2047
  45. package/src/authoring.ts +3 -2
  46. package/src/births.ts +21 -0
  47. package/src/build_package.ts +30 -0
  48. package/src/business_birth.ts +39 -35
  49. package/src/codegen_call_usda.ts +1111 -0
  50. package/src/codegen_dart.ts +207 -282
  51. package/src/codegen_dart_application.ts +195 -252
  52. package/src/codegen_dart_client.ts +1978 -593
  53. package/src/codegen_dart_framework_calls.ts +291 -0
  54. package/src/codegen_dart_scenario.ts +7 -0
  55. package/src/codegen_proof.ts +3 -4
  56. package/src/codegen_provider_dart.ts +21 -7
  57. package/src/codegen_query_usda.ts +214 -0
  58. package/src/codegen_result_usda.ts +685 -0
  59. package/src/codegen_ts.ts +3945 -1111
  60. package/src/compile_package_main.ts +360 -32
  61. package/src/directive.ts +19 -4
  62. package/src/engine_entry.ts +45 -4
  63. package/src/framework/application_home.ts +2 -0
  64. package/src/framework/auth_provider_law.ts +262 -20
  65. package/src/framework/home.ts +32 -28
  66. package/src/framework/owned_custody.ts +19 -11
  67. package/src/framework/owned_custody_value.ts +51 -0
  68. package/src/framework/relations.ts +57 -21
  69. package/src/framework/signing_identity.ts +34 -0
  70. package/src/framework/workspaces.ts +31 -9
  71. package/src/framework_call_definitions.ts +53 -0
  72. package/src/framework_read_definitions.ts +45 -0
  73. package/src/identity_frontier.ts +58 -0
  74. package/src/index.ts +20 -1
  75. package/src/intent.ts +216 -16
  76. package/src/law_check.ts +19 -1
  77. package/src/law_graph.ts +57 -8
  78. package/src/law_graph_usda.ts +73 -5
  79. package/src/law_value_type.ts +106 -19
  80. package/src/read.ts +47 -0
  81. package/src/read_projection_namespace.ts +7 -0
  82. package/src/shape_compat.ts +38 -39
  83. package/src/stable_ids.ts +37 -2
  84. package/src/stable_ids_for_module.ts +64 -4
  85. package/src/test_call_usda.ts +83 -0
  86. package/src/wire.ts +36 -2
  87. package/src/wire_encode.ts +45 -1
  88. package/src/workspace_sharing.ts +27 -10
  89. package/dart_types/lib/src/proto/nomos/kernel/v1/kernel.pbjson.dart +0 -6096
  90. package/dart_types/lib/src/proto/nomos/kernel/v1/kernel.pbserver.dart +0 -50
  91. package/dart_types/lib/src/proto/nomos/kernel/v1/progress.pbjson.dart +0 -178
  92. package/dart_types/lib/src/proto/nomos/runtime/v1/runtime.pb.dart +0 -828
  93. package/dart_types/lib/src/proto/nomos/runtime/v1/runtime.pbenum.dart +0 -465
  94. package/dart_types/lib/src/proto/nomos/runtime/v1/runtime.pbjson.dart +0 -573
  95. package/dart_types/lib/src/proto/nomos/runtime/v1/runtime.pbserver.dart +0 -50
package/dart_types/lib/src/proto/nomos/kernel/v1/kernel.pbenum.dart CHANGED
@@ -337,17 +337,186 @@ class VerifyChainWalk extends $pb.ProtobufEnum {
337
337
  const VerifyChainWalk._(super.value, super.name);
338
338
  }
339
339
 
340
+ /// Exact framework lifecycle authoring. The candidate itself remains the opaque, content-addressed
341
+ /// `law_usdz` package below; the kernel derives its identity and dependency closure after opening it.
342
+ /// This intent exists so an installed controller can judge its successor using the controller's own
343
+ /// nominal field identities. A client must never manufacture candidate-schema USDA for that transition.
344
+ class ModelLifecycleOperation extends $pb.ProtobufEnum {
345
+ static const ModelLifecycleOperation MODEL_LIFECYCLE_OPERATION_UNSPECIFIED =
346
+ ModelLifecycleOperation._(
347
+ 0, _omitEnumNames ? '' : 'MODEL_LIFECYCLE_OPERATION_UNSPECIFIED');
348
+ static const ModelLifecycleOperation MODEL_LIFECYCLE_OPERATION_INSTALL =
349
+ ModelLifecycleOperation._(
350
+ 1, _omitEnumNames ? '' : 'MODEL_LIFECYCLE_OPERATION_INSTALL');
351
+ static const ModelLifecycleOperation MODEL_LIFECYCLE_OPERATION_STAGE =
352
+ ModelLifecycleOperation._(
353
+ 2, _omitEnumNames ? '' : 'MODEL_LIFECYCLE_OPERATION_STAGE');
354
+ static const ModelLifecycleOperation MODEL_LIFECYCLE_OPERATION_PROMOTE =
355
+ ModelLifecycleOperation._(
356
+ 3, _omitEnumNames ? '' : 'MODEL_LIFECYCLE_OPERATION_PROMOTE');
357
+
358
+ static const $core.List<ModelLifecycleOperation> values =
359
+ <ModelLifecycleOperation>[
360
+ MODEL_LIFECYCLE_OPERATION_UNSPECIFIED,
361
+ MODEL_LIFECYCLE_OPERATION_INSTALL,
362
+ MODEL_LIFECYCLE_OPERATION_STAGE,
363
+ MODEL_LIFECYCLE_OPERATION_PROMOTE,
364
+ ];
365
+
366
+ static final $core.List<ModelLifecycleOperation?> _byValue =
367
+ $pb.ProtobufEnum.$_initByValueList(values, 3);
368
+ static ModelLifecycleOperation? valueOf($core.int value) =>
369
+ value < 0 || value >= _byValue.length ? null : _byValue[value];
370
+
371
+ const ModelLifecycleOperation._(super.value, super.name);
372
+ }
373
+
374
+ class ProviderTokenVerificationStatus extends $pb.ProtobufEnum {
375
+ static const ProviderTokenVerificationStatus
376
+ PROVIDER_TOKEN_VERIFICATION_STATUS_UNSPECIFIED =
377
+ ProviderTokenVerificationStatus._(
378
+ 0,
379
+ _omitEnumNames
380
+ ? ''
381
+ : 'PROVIDER_TOKEN_VERIFICATION_STATUS_UNSPECIFIED');
382
+ static const ProviderTokenVerificationStatus
383
+ PROVIDER_TOKEN_VERIFICATION_STATUS_VALID =
384
+ ProviderTokenVerificationStatus._(
385
+ 1, _omitEnumNames ? '' : 'PROVIDER_TOKEN_VERIFICATION_STATUS_VALID');
386
+ static const ProviderTokenVerificationStatus
387
+ PROVIDER_TOKEN_VERIFICATION_STATUS_NO_MATCHING_KEY =
388
+ ProviderTokenVerificationStatus._(
389
+ 2,
390
+ _omitEnumNames
391
+ ? ''
392
+ : 'PROVIDER_TOKEN_VERIFICATION_STATUS_NO_MATCHING_KEY');
393
+ static const ProviderTokenVerificationStatus
394
+ PROVIDER_TOKEN_VERIFICATION_STATUS_EXPIRED =
395
+ ProviderTokenVerificationStatus._(3,
396
+ _omitEnumNames ? '' : 'PROVIDER_TOKEN_VERIFICATION_STATUS_EXPIRED');
397
+ static const ProviderTokenVerificationStatus
398
+ PROVIDER_TOKEN_VERIFICATION_STATUS_NOT_YET_VALID =
399
+ ProviderTokenVerificationStatus._(
400
+ 4,
401
+ _omitEnumNames
402
+ ? ''
403
+ : 'PROVIDER_TOKEN_VERIFICATION_STATUS_NOT_YET_VALID');
404
+ static const ProviderTokenVerificationStatus
405
+ PROVIDER_TOKEN_VERIFICATION_STATUS_ISSUER_MISMATCH =
406
+ ProviderTokenVerificationStatus._(
407
+ 5,
408
+ _omitEnumNames
409
+ ? ''
410
+ : 'PROVIDER_TOKEN_VERIFICATION_STATUS_ISSUER_MISMATCH');
411
+ static const ProviderTokenVerificationStatus
412
+ PROVIDER_TOKEN_VERIFICATION_STATUS_AUDIENCE_MISMATCH =
413
+ ProviderTokenVerificationStatus._(
414
+ 6,
415
+ _omitEnumNames
416
+ ? ''
417
+ : 'PROVIDER_TOKEN_VERIFICATION_STATUS_AUDIENCE_MISMATCH');
418
+ static const ProviderTokenVerificationStatus
419
+ PROVIDER_TOKEN_VERIFICATION_STATUS_BAD_SIGNATURE =
420
+ ProviderTokenVerificationStatus._(
421
+ 7,
422
+ _omitEnumNames
423
+ ? ''
424
+ : 'PROVIDER_TOKEN_VERIFICATION_STATUS_BAD_SIGNATURE');
425
+ static const ProviderTokenVerificationStatus
426
+ PROVIDER_TOKEN_VERIFICATION_STATUS_MALFORMED =
427
+ ProviderTokenVerificationStatus._(8,
428
+ _omitEnumNames ? '' : 'PROVIDER_TOKEN_VERIFICATION_STATUS_MALFORMED');
429
+ static const ProviderTokenVerificationStatus
430
+ PROVIDER_TOKEN_VERIFICATION_STATUS_UNSUPPORTED_ALGORITHM =
431
+ ProviderTokenVerificationStatus._(
432
+ 9,
433
+ _omitEnumNames
434
+ ? ''
435
+ : 'PROVIDER_TOKEN_VERIFICATION_STATUS_UNSUPPORTED_ALGORITHM');
436
+ static const ProviderTokenVerificationStatus
437
+ PROVIDER_TOKEN_VERIFICATION_STATUS_BAD_KEY =
438
+ ProviderTokenVerificationStatus._(10,
439
+ _omitEnumNames ? '' : 'PROVIDER_TOKEN_VERIFICATION_STATUS_BAD_KEY');
440
+ static const ProviderTokenVerificationStatus
441
+ PROVIDER_TOKEN_VERIFICATION_STATUS_MISSING_SUBJECT =
442
+ ProviderTokenVerificationStatus._(
443
+ 11,
444
+ _omitEnumNames
445
+ ? ''
446
+ : 'PROVIDER_TOKEN_VERIFICATION_STATUS_MISSING_SUBJECT');
447
+ static const ProviderTokenVerificationStatus
448
+ PROVIDER_TOKEN_VERIFICATION_STATUS_NO_VERIFIER =
449
+ ProviderTokenVerificationStatus._(
450
+ 12,
451
+ _omitEnumNames
452
+ ? ''
453
+ : 'PROVIDER_TOKEN_VERIFICATION_STATUS_NO_VERIFIER');
454
+ static const ProviderTokenVerificationStatus
455
+ PROVIDER_TOKEN_VERIFICATION_STATUS_MISSING_TOKEN =
456
+ ProviderTokenVerificationStatus._(
457
+ 13,
458
+ _omitEnumNames
459
+ ? ''
460
+ : 'PROVIDER_TOKEN_VERIFICATION_STATUS_MISSING_TOKEN');
461
+
462
+ static const $core.List<ProviderTokenVerificationStatus> values =
463
+ <ProviderTokenVerificationStatus>[
464
+ PROVIDER_TOKEN_VERIFICATION_STATUS_UNSPECIFIED,
465
+ PROVIDER_TOKEN_VERIFICATION_STATUS_VALID,
466
+ PROVIDER_TOKEN_VERIFICATION_STATUS_NO_MATCHING_KEY,
467
+ PROVIDER_TOKEN_VERIFICATION_STATUS_EXPIRED,
468
+ PROVIDER_TOKEN_VERIFICATION_STATUS_NOT_YET_VALID,
469
+ PROVIDER_TOKEN_VERIFICATION_STATUS_ISSUER_MISMATCH,
470
+ PROVIDER_TOKEN_VERIFICATION_STATUS_AUDIENCE_MISMATCH,
471
+ PROVIDER_TOKEN_VERIFICATION_STATUS_BAD_SIGNATURE,
472
+ PROVIDER_TOKEN_VERIFICATION_STATUS_MALFORMED,
473
+ PROVIDER_TOKEN_VERIFICATION_STATUS_UNSUPPORTED_ALGORITHM,
474
+ PROVIDER_TOKEN_VERIFICATION_STATUS_BAD_KEY,
475
+ PROVIDER_TOKEN_VERIFICATION_STATUS_MISSING_SUBJECT,
476
+ PROVIDER_TOKEN_VERIFICATION_STATUS_NO_VERIFIER,
477
+ PROVIDER_TOKEN_VERIFICATION_STATUS_MISSING_TOKEN,
478
+ ];
479
+
480
+ static final $core.List<ProviderTokenVerificationStatus?> _byValue =
481
+ $pb.ProtobufEnum.$_initByValueList(values, 13);
482
+ static ProviderTokenVerificationStatus? valueOf($core.int value) =>
483
+ value < 0 || value >= _byValue.length ? null : _byValue[value];
484
+
485
+ const ProviderTokenVerificationStatus._(super.value, super.name);
486
+ }
487
+
488
+ class QueryResultFormat extends $pb.ProtobufEnum {
489
+ static const QueryResultFormat QUERY_RESULT_FORMAT_UNSPECIFIED =
490
+ QueryResultFormat._(
491
+ 0, _omitEnumNames ? '' : 'QUERY_RESULT_FORMAT_UNSPECIFIED');
492
+
493
+ /// Temporary compatibility arm while generated domain clients move together.
494
+ static const QueryResultFormat QUERY_RESULT_FORMAT_LEGACY_VALUE =
495
+ QueryResultFormat._(
496
+ 1, _omitEnumNames ? '' : 'QUERY_RESULT_FORMAT_LEGACY_VALUE');
497
+ static const QueryResultFormat QUERY_RESULT_FORMAT_NOMINAL_USDA =
498
+ QueryResultFormat._(
499
+ 2, _omitEnumNames ? '' : 'QUERY_RESULT_FORMAT_NOMINAL_USDA');
500
+
501
+ static const $core.List<QueryResultFormat> values = <QueryResultFormat>[
502
+ QUERY_RESULT_FORMAT_UNSPECIFIED,
503
+ QUERY_RESULT_FORMAT_LEGACY_VALUE,
504
+ QUERY_RESULT_FORMAT_NOMINAL_USDA,
505
+ ];
506
+
507
+ static final $core.List<QueryResultFormat?> _byValue =
508
+ $pb.ProtobufEnum.$_initByValueList(values, 2);
509
+ static QueryResultFormat? valueOf($core.int value) =>
510
+ value < 0 || value >= _byValue.length ? null : _byValue[value];
511
+
512
+ const QueryResultFormat._(super.value, super.name);
513
+ }
514
+
340
515
  class QueryOperation extends $pb.ProtobufEnum {
341
516
  static const QueryOperation QUERY_OPERATION_UNSPECIFIED =
342
517
  QueryOperation._(0, _omitEnumNames ? '' : 'QUERY_OPERATION_UNSPECIFIED');
343
518
  static const QueryOperation QUERY_OPERATION_EXTREMUM =
344
519
  QueryOperation._(1, _omitEnumNames ? '' : 'QUERY_OPERATION_EXTREMUM');
345
- static const QueryOperation QUERY_OPERATION_PENDING_CONFLICTS =
346
- QueryOperation._(
347
- 2, _omitEnumNames ? '' : 'QUERY_OPERATION_PENDING_CONFLICTS');
348
- static const QueryOperation QUERY_OPERATION_PENDING_CONFLICT_SUMMARY =
349
- QueryOperation._(
350
- 3, _omitEnumNames ? '' : 'QUERY_OPERATION_PENDING_CONFLICT_SUMMARY');
351
520
  static const QueryOperation QUERY_OPERATION_READ_POSTURE =
352
521
  QueryOperation._(4, _omitEnumNames ? '' : 'QUERY_OPERATION_READ_POSTURE');
353
522
  static const QueryOperation QUERY_OPERATION_CURRENT_LAW =
@@ -453,8 +622,6 @@ class QueryOperation extends $pb.ProtobufEnum {
453
622
  static const $core.List<QueryOperation> values = <QueryOperation>[
454
623
  QUERY_OPERATION_UNSPECIFIED,
455
624
  QUERY_OPERATION_EXTREMUM,
456
- QUERY_OPERATION_PENDING_CONFLICTS,
457
- QUERY_OPERATION_PENDING_CONFLICT_SUMMARY,
458
625
  QUERY_OPERATION_READ_POSTURE,
459
626
  QUERY_OPERATION_CURRENT_LAW,
460
627
  QUERY_OPERATION_INTERFACE_OFFER,