@githolon/dsl 0.108.7 → 0.110.0

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 (307) hide show
  1. package/assets/operation-contract.wasm +0 -0
  2. package/check_package.mjs +12 -15
  3. package/compile_package.mjs +17 -18
  4. package/compile_proof.mjs +16 -1
  5. package/dart/CHANGELOG.md +76 -1
  6. package/dart/README.md +25 -2
  7. package/dart/lib/src/admission_decision.dart +41 -0
  8. package/dart/lib/src/application_framework_calls.dart +52 -2
  9. package/dart/lib/src/application_model_adoption.dart +187 -0
  10. package/dart/lib/src/application_status.dart +73 -0
  11. package/dart/lib/src/console_enrolment.dart +271 -0
  12. package/dart/lib/src/console_http_io.dart +26 -0
  13. package/dart/lib/src/console_http_stub.dart +7 -0
  14. package/dart/lib/src/dev_cloud.dart +69 -22
  15. package/dart/lib/src/generated_call.dart +83 -23
  16. package/dart/lib/src/kernel_primitives.dart +119 -0
  17. package/dart/lib/src/nms_conformance_runtime.dart +1 -1
  18. package/dart/lib/src/nms_generated_runtime.dart +32 -10
  19. package/dart/lib/src/nms_test_environment.dart +1 -1
  20. package/dart/lib/src/node_runner_transport.dart +41 -46
  21. package/dart/lib/src/observed_session_directory.dart +70 -0
  22. package/dart/lib/src/operation_receipts.dart +112 -0
  23. package/dart/lib/src/peer_application_streams.dart +103 -0
  24. package/dart/lib/src/reception/dart_reception.dart +4280 -0
  25. package/dart/lib/src/reception/event_desk.dart +211 -0
  26. package/dart/lib/src/reception/extremum_read.dart +46 -0
  27. package/dart/lib/src/reception/local_copies.dart +371 -0
  28. package/dart/lib/src/reception/peer_office_connection.dart +11 -0
  29. package/dart/lib/src/reception/progress_desk.dart +267 -0
  30. package/dart/lib/src/reception/reception_contract.dart +11 -0
  31. package/dart/lib/src/reception/reception_session.dart +284 -0
  32. package/dart/lib/src/reception/sync_diagnostics.dart +26 -0
  33. package/dart/lib/src/reception/workspace_preparation_report.dart +126 -0
  34. package/dart/lib/src/replica_readiness.dart +123 -0
  35. package/dart/lib/src/runner/node-entry.mjs +23905 -15774
  36. package/dart/lib/src/runtime_v2_gateway.dart +56 -3
  37. package/dart/lib/src/runtime_v2_transport.dart +544 -3
  38. package/dart/lib/src/session_bound.dart +200 -311
  39. package/dart/lib/src/signing_identity_kernel.dart +84 -0
  40. package/dart/lib/src/sync_status_projection.dart +548 -0
  41. package/dart/lib/src/sync_status_reducer.dart +170 -0
  42. package/dart/lib/src/test_harness.dart +809 -1153
  43. package/dart/lib/src/testing/test_custody.dart +66 -0
  44. package/dart/lib/src/testing/test_peer.dart +328 -0
  45. package/dart/lib/src/typed_watch_registry.dart +169 -0
  46. package/dart/lib/src/workspace_open_progress.dart +27 -0
  47. package/dart/pubspec.lock +24 -1
  48. package/dart/pubspec.yaml +7 -2
  49. package/dart/pubspec_overrides.yaml +2 -0
  50. package/dart/test/admission_decision_test.dart +48 -0
  51. package/dart/test/background_model_adoption_test.dart +228 -0
  52. package/dart/test/bundle_version_pairing_test.dart +4 -4
  53. package/dart/test/child_authentication_repair_test.dart +359 -0
  54. package/dart/test/cloud_bound_local_shell_test.dart +119 -0
  55. package/dart/test/console_enrolment_refusal_test.dart +52 -0
  56. package/dart/test/console_enrolment_test.dart +227 -0
  57. package/dart/test/errors_test.dart +5 -5
  58. package/dart/test/event_plane_seam_test.dart +50 -164
  59. package/dart/test/extremum_read_test.dart +58 -0
  60. package/dart/test/fixtures/wedge/wedge-entry.mjs +3 -21
  61. package/dart/test/generated_query_test.dart +32 -0
  62. package/dart/test/harness_phase_timeout_test.dart +18 -23
  63. package/dart/test/kernel_author_after_read_test.dart +242 -0
  64. package/dart/test/kernel_fence_test.dart +137 -0
  65. package/dart/test/local_copies_test.dart +222 -0
  66. package/dart/test/model_adoption_test.dart +198 -0
  67. package/dart/test/node_peer_local_custody_test.dart +153 -0
  68. package/dart/test/offer_authentication_proof_test.dart +352 -52
  69. package/dart/test/operation_compatibility_test.dart +151 -0
  70. package/dart/test/platform_credential_effect_test.dart +386 -0
  71. package/dart/test/receiving_group_open_test.dart +213 -0
  72. package/dart/test/reception/workspace_preparation_report_test.dart +103 -0
  73. package/dart/test/reception_span_trace_test.dart +23 -0
  74. package/dart/test/replica_readiness_test.dart +156 -0
  75. package/dart/test/runtime_projections_test.dart +92 -0
  76. package/dart/test/runtime_v2_gateway_test.dart +131 -0
  77. package/dart/test/signing_identity_kernel_test.dart +75 -0
  78. package/dart/test/sync_status_preparation_report_test.dart +29 -0
  79. package/dart/test/sync_status_reducer_test.dart +419 -0
  80. package/dart/test/test_harness_test.dart +71 -95
  81. package/dart/test/typed_query_watch_test.dart +170 -0
  82. package/dart/test/typed_watch_registry_test.dart +249 -0
  83. package/dart_lints/README.md +18 -0
  84. package/dart_lints/lib/nomos_lints.dart +70 -0
  85. package/dart_lints/pubspec.lock +580 -0
  86. package/dart_lints/pubspec.yaml +12 -0
  87. package/dart_lints/test/reference_identity_test.dart +75 -0
  88. package/dart_types/CHANGELOG.md +18 -0
  89. package/dart_types/lib/nomos_kernel_protocol.dart +21 -1
  90. package/dart_types/lib/nomos_types.dart +9 -1
  91. package/dart_types/lib/src/admission_decision.dart +37 -0
  92. package/dart_types/lib/src/aggregate_meta.dart +1 -1
  93. package/dart_types/lib/src/approved_model.dart +65 -0
  94. package/dart_types/lib/src/custody.dart +10 -18
  95. package/dart_types/lib/src/error_info.dart +4 -4
  96. package/dart_types/lib/src/errors.dart +29 -29
  97. package/dart_types/lib/src/foreign_ref.dart +62 -33
  98. package/dart_types/lib/src/local_work_rejected.dart +3 -3
  99. package/dart_types/lib/src/nomos_ref.dart +3 -1
  100. package/dart_types/lib/src/principal.dart +2 -2
  101. package/dart_types/lib/src/proto/google/protobuf/any.pb.dart +163 -0
  102. package/dart_types/lib/src/proto/google/protobuf/any.pbenum.dart +11 -0
  103. package/dart_types/lib/src/proto/nomos/discovery/v1/workspace_placement.pb.dart +137 -0
  104. package/dart_types/lib/src/proto/nomos/discovery/v1/workspace_placement.pbenum.dart +11 -0
  105. package/dart_types/lib/src/proto/nomos/kernel/v1/kernel.pb.dart +20721 -10433
  106. package/dart_types/lib/src/proto/nomos/kernel/v1/kernel.pbenum.dart +555 -27
  107. package/dart_types/lib/src/proto/nomos/runtime/v2/application_desk.pb.dart +387 -0
  108. package/dart_types/lib/src/proto/nomos/runtime/v2/application_desk.pbenum.dart +46 -0
  109. package/dart_types/lib/src/proto/nomos/runtime/v2/application_readiness_desk.pb.dart +295 -0
  110. package/dart_types/lib/src/proto/nomos/runtime/v2/application_readiness_desk.pbenum.dart +139 -0
  111. package/dart_types/lib/src/proto/nomos/runtime/v2/authentication_desk.pb.dart +269 -0
  112. package/dart_types/lib/src/proto/nomos/runtime/v2/authentication_desk.pbenum.dart +103 -0
  113. package/dart_types/lib/src/proto/nomos/runtime/v2/compatibility_desk.pb.dart +417 -0
  114. package/dart_types/lib/src/proto/nomos/runtime/v2/compatibility_desk.pbenum.dart +62 -0
  115. package/dart_types/lib/src/proto/nomos/runtime/v2/correspondence_desk.pb.dart +9968 -0
  116. package/dart_types/lib/src/proto/nomos/runtime/v2/correspondence_desk.pbenum.dart +133 -0
  117. package/dart_types/lib/src/proto/nomos/runtime/v2/credentials_desk.pb.dart +204 -0
  118. package/dart_types/lib/src/proto/nomos/runtime/v2/credentials_desk.pbenum.dart +54 -0
  119. package/dart_types/lib/src/proto/nomos/runtime/v2/custody_desk.pb.dart +1550 -0
  120. package/dart_types/lib/src/proto/nomos/runtime/v2/custody_desk.pbenum.dart +11 -0
  121. package/dart_types/lib/src/proto/nomos/runtime/v2/framework.pb.dart +710 -0
  122. package/dart_types/lib/src/proto/nomos/runtime/v2/framework.pbenum.dart +11 -0
  123. package/dart_types/lib/src/proto/nomos/runtime/v2/identity_desk.pb.dart +845 -0
  124. package/dart_types/lib/src/proto/nomos/runtime/v2/identity_desk.pbenum.dart +11 -0
  125. package/dart_types/lib/src/proto/nomos/runtime/v2/interaction_desk.pb.dart +198 -0
  126. package/dart_types/lib/src/proto/nomos/runtime/v2/interaction_desk.pbenum.dart +11 -0
  127. package/dart_types/lib/src/proto/nomos/runtime/v2/law_desk.pb.dart +369 -0
  128. package/dart_types/lib/src/proto/nomos/runtime/v2/law_desk.pbenum.dart +11 -0
  129. package/dart_types/lib/src/proto/nomos/runtime/v2/maintenance_desk.pb.dart +609 -0
  130. package/dart_types/lib/src/proto/nomos/runtime/v2/maintenance_desk.pbenum.dart +65 -0
  131. package/dart_types/lib/src/proto/nomos/runtime/v2/model_adoption_desk.pb.dart +358 -0
  132. package/dart_types/lib/src/proto/nomos/runtime/v2/model_adoption_desk.pbenum.dart +100 -0
  133. package/dart_types/lib/src/proto/nomos/runtime/v2/observability_desk.pb.dart +2231 -0
  134. package/dart_types/lib/src/proto/nomos/runtime/v2/observability_desk.pbenum.dart +271 -0
  135. package/dart_types/lib/src/proto/nomos/runtime/v2/placement_desk.pb.dart +1286 -0
  136. package/dart_types/lib/src/proto/nomos/runtime/v2/placement_desk.pbenum.dart +11 -0
  137. package/dart_types/lib/src/proto/nomos/runtime/v2/receiving_group_desk.pb.dart +636 -0
  138. package/dart_types/lib/src/proto/nomos/runtime/v2/receiving_group_desk.pbenum.dart +116 -0
  139. package/dart_types/lib/src/proto/nomos/runtime/v2/records_desk.pb.dart +1637 -0
  140. package/dart_types/lib/src/proto/nomos/runtime/v2/records_desk.pbenum.dart +175 -0
  141. package/dart_types/lib/src/proto/nomos/runtime/v2/recovery_desk.pb.dart +1269 -0
  142. package/dart_types/lib/src/proto/nomos/runtime/v2/recovery_desk.pbenum.dart +129 -0
  143. package/dart_types/lib/src/proto/nomos/runtime/v2/residency_desk.pb.dart +2782 -0
  144. package/dart_types/lib/src/proto/nomos/runtime/v2/residency_desk.pbenum.dart +97 -0
  145. package/dart_types/lib/src/proto/nomos/runtime/v2/runtime.pb.dart +2232 -8627
  146. package/dart_types/lib/src/proto/nomos/runtime/v2/runtime.pbenum.dart +0 -358
  147. package/dart_types/lib/src/proto/nomos/runtime/v2/sealing_desk.pb.dart +1639 -0
  148. package/dart_types/lib/src/proto/nomos/runtime/v2/sealing_desk.pbenum.dart +46 -0
  149. package/dart_types/lib/src/runtime_outcome.dart +133 -0
  150. package/dart_types/lib/src/subscriptions.dart +116 -23
  151. package/dart_types/pubspec.yaml +1 -1
  152. package/dart_types/test/extremum_subscriptions_test.dart +40 -0
  153. package/dart_types/test/foreign_ref_resolution_test.dart +75 -0
  154. package/dart_types/test/nomos_ref_address_test.dart +25 -0
  155. package/dart_types/test/ordered_subscriptions_test.dart +34 -0
  156. package/operation_contract_check.mjs +24 -0
  157. package/package.json +11 -6
  158. package/src/aggregate.ts +70 -10
  159. package/src/application_topology.ts +18 -11
  160. package/src/attested.ts +3 -0
  161. package/src/attested_core.ts +46 -3
  162. package/src/birth_meter_ensure.ts +19 -7
  163. package/src/births.ts +29 -4
  164. package/src/build_package.ts +140 -13
  165. package/src/business_birth.ts +181 -4
  166. package/src/codegen_call_proto.ts +1274 -0
  167. package/src/codegen_call_usda.ts +49 -6
  168. package/src/codegen_dart.ts +79 -44
  169. package/src/codegen_dart_client.ts +458 -800
  170. package/src/{codegen_dart_application.ts → codegen_dart_facade.ts} +331 -582
  171. package/src/codegen_dart_framework_calls.ts +320 -37
  172. package/src/codegen_dart_indexed_variant.ts +159 -0
  173. package/src/codegen_dart_scenario.ts +42 -13
  174. package/src/codegen_proof.ts +3 -3
  175. package/src/codegen_provider_dart.ts +5 -0
  176. package/src/codegen_query_proto.ts +158 -0
  177. package/src/codegen_refusal.ts +189 -0
  178. package/src/codegen_result_proto.ts +931 -0
  179. package/src/codegen_result_usda.ts +4 -0
  180. package/src/codegen_ts.ts +464 -616
  181. package/src/codegen_workspace_access.ts +105 -0
  182. package/src/compatibility_graph.ts +759 -0
  183. package/src/compatibility_usda.ts +264 -0
  184. package/src/compile_package_main.ts +1994 -1189
  185. package/src/custody_placement.ts +156 -0
  186. package/src/custody_placement_usda.ts +91 -0
  187. package/src/decl_shapes.ts +21 -2
  188. package/src/describe_model.ts +1 -0
  189. package/src/directive.ts +59 -2
  190. package/src/drivers.ts +51 -0
  191. package/src/engine_entry.ts +52 -8
  192. package/src/evolve_preview.ts +11 -4
  193. package/src/exists.ts +2 -0
  194. package/src/fields.ts +75 -11
  195. package/src/flow_gate.ts +2 -1
  196. package/src/framework/application_home.ts +170 -18
  197. package/src/framework/attested_receipts.ts +8 -3
  198. package/src/framework/auth_provider_law.ts +169 -9
  199. package/src/framework/birth_certificate_law.ts +4 -0
  200. package/src/framework/capability.ts +34 -3
  201. package/src/framework/child_authentication.ts +346 -0
  202. package/src/framework/console_governance.ts +295 -0
  203. package/src/framework/delegated_roles.ts +301 -0
  204. package/src/framework/domain_lifecycle.ts +26 -13
  205. package/src/framework/founding_genesis.ts +193 -0
  206. package/src/framework/framework_aggregates.ts +1 -1
  207. package/src/framework/genesis.ts +6 -1
  208. package/src/framework/governance_relations.ts +19 -0
  209. package/src/framework/home.ts +5 -734
  210. package/src/framework/legacy/child_auth_provider_epoch.ts +73 -0
  211. package/src/framework/model_authority_repair.ts +116 -0
  212. package/src/framework/model_authority_seed.ts +185 -0
  213. package/src/framework/model_transition.ts +211 -0
  214. package/src/framework/owned_custody.ts +1 -1
  215. package/src/framework/principal_enrollment.ts +302 -0
  216. package/src/framework/receiving_group.ts +857 -0
  217. package/src/framework/receiving_group_recovery.ts +314 -0
  218. package/src/framework/relations.ts +4 -8
  219. package/src/framework/signing_identity.ts +242 -95
  220. package/src/framework/source_roster.ts +11 -5
  221. package/src/framework/workspace_access.ts +149 -0
  222. package/src/framework/workspace_invariant.ts +73 -52
  223. package/src/framework/workspaces.ts +407 -40
  224. package/src/framework_call_definitions.ts +32 -3
  225. package/src/generated_client_bundle_boundary.ts +97 -0
  226. package/src/generated_client_names.ts +1 -0
  227. package/src/identity_usda.ts +27 -0
  228. package/src/index.ts +183 -12
  229. package/src/indexed_variant.ts +83 -0
  230. package/src/intent.ts +173 -45
  231. package/src/law_check.ts +8 -5
  232. package/src/law_dependency_index.ts +231 -0
  233. package/src/law_graph.ts +508 -71
  234. package/src/law_graph_usda.ts +170 -24
  235. package/src/law_identity.ts +119 -81
  236. package/src/law_source_map.ts +4 -1
  237. package/src/law_units.ts +498 -0
  238. package/src/law_value_type.ts +7 -3
  239. package/src/member_authentication.ts +302 -0
  240. package/src/null_meta.ts +1 -1
  241. package/src/openusd_compiled_layer.ts +132 -0
  242. package/src/operation_contract_check.ts +31 -0
  243. package/src/ordered_read.ts +2 -1
  244. package/src/package_config.ts +33 -12
  245. package/src/package_dependencies.ts +1 -0
  246. package/src/plan_source_slice.ts +30 -1
  247. package/src/protobuf_field_number.ts +36 -0
  248. package/src/provenance_wire.ts +6 -0
  249. package/src/query.ts +2 -1
  250. package/src/read.ts +50 -0
  251. package/src/relation.ts +4 -1
  252. package/src/relation_schema.ts +15 -2
  253. package/src/report.ts +2 -2
  254. package/src/sqlite_computation_bundle.ts +78 -0
  255. package/src/sqlite_computed.ts +102 -0
  256. package/src/sqlite_counts.ts +154 -0
  257. package/src/sqlite_layout.ts +823 -0
  258. package/src/sqlite_reads.ts +275 -0
  259. package/src/sqlite_samples.ts +185 -0
  260. package/src/stable_id_identity_bridge.ts +1 -1
  261. package/src/stable_ids_for_module.ts +16 -4
  262. package/src/test_call_usda.ts +6 -6
  263. package/src/usda_relationship_integrity.ts +20 -3
  264. package/src/usda_text.ts +21 -1
  265. package/src/value_object.ts +81 -11
  266. package/src/wire.ts +22 -0
  267. package/src/wire_encode.ts +227 -20
  268. package/src/workspace_sharding.ts +15 -6
  269. package/src/workspace_sharing.ts +51 -49
  270. package/src/zod_introspection.ts +2 -0
  271. package/compat_package.mjs +0 -46
  272. package/dart/lib/src/home.dart +0 -15
  273. package/dart/lib/src/runner/offline-install.mjs +0 -15367
  274. package/dart/lib/src/source_trust.dart +0 -51
  275. package/dart/lib/src/webview_bridge.dart +0 -6540
  276. package/dart/lib/src/workspace_name.dart +0 -30
  277. package/dart/test/acquire_session_credentials_test.dart +0 -150
  278. package/dart/test/acquire_session_test.dart +0 -534
  279. package/dart/test/adv_realm_interference_test.dart +0 -600
  280. package/dart/test/cloud_bound_topology_test.dart +0 -168
  281. package/dart/test/cluster_births_test.dart +0 -202
  282. package/dart/test/cluster_device_keyed_acceptance_test.dart +0 -105
  283. package/dart/test/cluster_local_autosync_test.dart +0 -123
  284. package/dart/test/cluster_scale_test.dart +0 -122
  285. package/dart/test/compat_test.dart +0 -61
  286. package/dart/test/dlq_session_surface_test.dart +0 -222
  287. package/dart/test/first_app_gauntlet_test.dart +0 -386
  288. package/dart/test/fixtures/wedge/fake-install.mjs +0 -11
  289. package/dart/test/four_layer_nested_topology_test.dart +0 -290
  290. package/dart/test/home_parity_test.dart +0 -13
  291. package/dart/test/local_sync_inert_test.dart +0 -107
  292. package/dart/test/node_runner_transport_test.dart +0 -78
  293. package/dart/test/parent_signer_recovery_test.dart +0 -155
  294. package/dart/test/residency_refusal_test.dart +0 -49
  295. package/dart/test/sealing_client_test.dart +0 -181
  296. package/dart/test/session_bound_test.dart +0 -285
  297. package/dart/test/stale_bundle_test.dart +0 -80
  298. package/dart/test/vo_read_typing_test.dart +0 -131
  299. package/dart/test/watch_after_offer_stall_test.dart +0 -100
  300. package/dart/test/webview_bridge_test.dart +0 -1930
  301. package/dart/test/workspace_name_test.dart +0 -24
  302. package/runtime/generated-application-host.js +0 -22860
  303. package/src/codegen_query_usda.ts +0 -214
  304. package/src/compat_manifest.ts +0 -26
  305. package/src/compat_package_main.ts +0 -224
  306. package/src/shape_compat.ts +0 -352
  307. package/src/usd_state.ts +0 -505
@@ -0,0 +1,295 @@
1
+ // This is a generated file - do not edit.
2
+ //
3
+ // Generated from nomos/runtime/v2/application_readiness_desk.proto.
4
+
5
+ // @dart = 3.3
6
+
7
+ // ignore_for_file: annotate_overrides, camel_case_types, comment_references
8
+ // ignore_for_file: constant_identifier_names
9
+ // ignore_for_file: curly_braces_in_flow_control_structures
10
+ // ignore_for_file: deprecated_member_use_from_same_package, library_prefixes
11
+ // ignore_for_file: non_constant_identifier_names
12
+
13
+ import 'dart:core' as $core;
14
+
15
+ import 'package:protobuf/protobuf.dart' as $pb;
16
+
17
+ import '../../kernel/v1/kernel.pb.dart' as $0;
18
+ import 'application_readiness_desk.pbenum.dart';
19
+ import 'compatibility_desk.pb.dart' as $1;
20
+
21
+ export 'package:protobuf/protobuf.dart' show GeneratedMessageGenericExtensions;
22
+
23
+ export 'application_readiness_desk.pbenum.dart';
24
+
25
+ /// Immutable requirements supplied while a generated application facade is
26
+ /// composed. The shared Peer Office prepares them in declaration order.
27
+ class ApplicationDomainRequirement extends $pb.GeneratedMessage {
28
+ factory ApplicationDomainRequirement({
29
+ $core.String? domain,
30
+ $core.String? packageSha256,
31
+ }) {
32
+ final result = create();
33
+ if (domain != null) result.domain = domain;
34
+ if (packageSha256 != null) result.packageSha256 = packageSha256;
35
+ return result;
36
+ }
37
+
38
+ ApplicationDomainRequirement._();
39
+
40
+ factory ApplicationDomainRequirement.fromBuffer($core.List<$core.int> data,
41
+ [$pb.ExtensionRegistry registry = $pb.ExtensionRegistry.EMPTY]) =>
42
+ create()..mergeFromBuffer(data, registry);
43
+ factory ApplicationDomainRequirement.fromJson($core.String json,
44
+ [$pb.ExtensionRegistry registry = $pb.ExtensionRegistry.EMPTY]) =>
45
+ create()..mergeFromJson(json, registry);
46
+
47
+ static final $pb.BuilderInfo _i = $pb.BuilderInfo(
48
+ _omitMessageNames ? '' : 'ApplicationDomainRequirement',
49
+ package:
50
+ const $pb.PackageName(_omitMessageNames ? '' : 'nomos.runtime.v2'),
51
+ createEmptyInstance: create)
52
+ ..aOS(1, _omitFieldNames ? '' : 'domain')
53
+ ..aOS(2, _omitFieldNames ? '' : 'packageSha256')
54
+ ..hasRequiredFields = false;
55
+
56
+ @$core.Deprecated('See https://github.com/google/protobuf.dart/issues/998.')
57
+ ApplicationDomainRequirement clone() => deepCopy();
58
+ @$core.Deprecated('See https://github.com/google/protobuf.dart/issues/998.')
59
+ ApplicationDomainRequirement copyWith(
60
+ void Function(ApplicationDomainRequirement) updates) =>
61
+ super.copyWith(
62
+ (message) => updates(message as ApplicationDomainRequirement))
63
+ as ApplicationDomainRequirement;
64
+
65
+ @$core.override
66
+ $pb.BuilderInfo get info_ => _i;
67
+
68
+ @$core.pragma('dart2js:noInline')
69
+ static ApplicationDomainRequirement create() =>
70
+ ApplicationDomainRequirement._();
71
+ @$core.override
72
+ ApplicationDomainRequirement createEmptyInstance() => create();
73
+ @$core.pragma('dart2js:noInline')
74
+ static ApplicationDomainRequirement getDefault() => _defaultInstance ??=
75
+ $pb.GeneratedMessage.$_defaultFor<ApplicationDomainRequirement>(create);
76
+ static ApplicationDomainRequirement? _defaultInstance;
77
+
78
+ @$pb.TagNumber(1)
79
+ $core.String get domain => $_getSZ(0);
80
+ @$pb.TagNumber(1)
81
+ set domain($core.String value) => $_setString(0, value);
82
+ @$pb.TagNumber(1)
83
+ $core.bool hasDomain() => $_has(0);
84
+ @$pb.TagNumber(1)
85
+ void clearDomain() => $_clearField(1);
86
+
87
+ @$pb.TagNumber(2)
88
+ $core.String get packageSha256 => $_getSZ(1);
89
+ @$pb.TagNumber(2)
90
+ set packageSha256($core.String value) => $_setString(1, value);
91
+ @$pb.TagNumber(2)
92
+ $core.bool hasPackageSha256() => $_has(1);
93
+ @$pb.TagNumber(2)
94
+ void clearPackageSha256() => $_clearField(2);
95
+ }
96
+
97
+ /// One application-readiness procedure. Reception only transports this paper;
98
+ /// it does not sequence domain preparation or interpret compatibility.
99
+ class PrepareApplicationRequest extends $pb.GeneratedMessage {
100
+ factory PrepareApplicationRequest({
101
+ $core.String? session,
102
+ $core.Iterable<ApplicationDomainRequirement>? domains,
103
+ $core.List<$core.int>? applicationMatrixUsda,
104
+ }) {
105
+ final result = create();
106
+ if (session != null) result.session = session;
107
+ if (domains != null) result.domains.addAll(domains);
108
+ if (applicationMatrixUsda != null)
109
+ result.applicationMatrixUsda = applicationMatrixUsda;
110
+ return result;
111
+ }
112
+
113
+ PrepareApplicationRequest._();
114
+
115
+ factory PrepareApplicationRequest.fromBuffer($core.List<$core.int> data,
116
+ [$pb.ExtensionRegistry registry = $pb.ExtensionRegistry.EMPTY]) =>
117
+ create()..mergeFromBuffer(data, registry);
118
+ factory PrepareApplicationRequest.fromJson($core.String json,
119
+ [$pb.ExtensionRegistry registry = $pb.ExtensionRegistry.EMPTY]) =>
120
+ create()..mergeFromJson(json, registry);
121
+
122
+ static final $pb.BuilderInfo _i = $pb.BuilderInfo(
123
+ _omitMessageNames ? '' : 'PrepareApplicationRequest',
124
+ package:
125
+ const $pb.PackageName(_omitMessageNames ? '' : 'nomos.runtime.v2'),
126
+ createEmptyInstance: create)
127
+ ..aOS(1, _omitFieldNames ? '' : 'session')
128
+ ..pPM<ApplicationDomainRequirement>(2, _omitFieldNames ? '' : 'domains',
129
+ subBuilder: ApplicationDomainRequirement.create)
130
+ ..a<$core.List<$core.int>>(
131
+ 3, _omitFieldNames ? '' : 'applicationMatrixUsda', $pb.PbFieldType.OY)
132
+ ..hasRequiredFields = false;
133
+
134
+ @$core.Deprecated('See https://github.com/google/protobuf.dart/issues/998.')
135
+ PrepareApplicationRequest clone() => deepCopy();
136
+ @$core.Deprecated('See https://github.com/google/protobuf.dart/issues/998.')
137
+ PrepareApplicationRequest copyWith(
138
+ void Function(PrepareApplicationRequest) updates) =>
139
+ super.copyWith((message) => updates(message as PrepareApplicationRequest))
140
+ as PrepareApplicationRequest;
141
+
142
+ @$core.override
143
+ $pb.BuilderInfo get info_ => _i;
144
+
145
+ @$core.pragma('dart2js:noInline')
146
+ static PrepareApplicationRequest create() => PrepareApplicationRequest._();
147
+ @$core.override
148
+ PrepareApplicationRequest createEmptyInstance() => create();
149
+ @$core.pragma('dart2js:noInline')
150
+ static PrepareApplicationRequest getDefault() => _defaultInstance ??=
151
+ $pb.GeneratedMessage.$_defaultFor<PrepareApplicationRequest>(create);
152
+ static PrepareApplicationRequest? _defaultInstance;
153
+
154
+ @$pb.TagNumber(1)
155
+ $core.String get session => $_getSZ(0);
156
+ @$pb.TagNumber(1)
157
+ set session($core.String value) => $_setString(0, value);
158
+ @$pb.TagNumber(1)
159
+ $core.bool hasSession() => $_has(0);
160
+ @$pb.TagNumber(1)
161
+ void clearSession() => $_clearField(1);
162
+
163
+ @$pb.TagNumber(2)
164
+ $pb.PbList<ApplicationDomainRequirement> get domains => $_getList(1);
165
+
166
+ @$pb.TagNumber(3)
167
+ $core.List<$core.int> get applicationMatrixUsda => $_getN(2);
168
+ @$pb.TagNumber(3)
169
+ set applicationMatrixUsda($core.List<$core.int> value) =>
170
+ $_setBytes(2, value);
171
+ @$pb.TagNumber(3)
172
+ $core.bool hasApplicationMatrixUsda() => $_has(2);
173
+ @$pb.TagNumber(3)
174
+ void clearApplicationMatrixUsda() => $_clearField(3);
175
+ }
176
+
177
+ class ApplicationPrepared extends $pb.GeneratedMessage {
178
+ factory ApplicationPrepared({
179
+ $core.String? session,
180
+ $0.InterfaceCompatibilityResponse? compatibility,
181
+ $1.InterfaceCompatibilityVerdict? verdict,
182
+ ApplicationCompatibilityPosture? posture,
183
+ ApplicationCompatibilityGuidance? guidance,
184
+ }) {
185
+ final result = create();
186
+ if (session != null) result.session = session;
187
+ if (compatibility != null) result.compatibility = compatibility;
188
+ if (verdict != null) result.verdict = verdict;
189
+ if (posture != null) result.posture = posture;
190
+ if (guidance != null) result.guidance = guidance;
191
+ return result;
192
+ }
193
+
194
+ ApplicationPrepared._();
195
+
196
+ factory ApplicationPrepared.fromBuffer($core.List<$core.int> data,
197
+ [$pb.ExtensionRegistry registry = $pb.ExtensionRegistry.EMPTY]) =>
198
+ create()..mergeFromBuffer(data, registry);
199
+ factory ApplicationPrepared.fromJson($core.String json,
200
+ [$pb.ExtensionRegistry registry = $pb.ExtensionRegistry.EMPTY]) =>
201
+ create()..mergeFromJson(json, registry);
202
+
203
+ static final $pb.BuilderInfo _i = $pb.BuilderInfo(
204
+ _omitMessageNames ? '' : 'ApplicationPrepared',
205
+ package:
206
+ const $pb.PackageName(_omitMessageNames ? '' : 'nomos.runtime.v2'),
207
+ createEmptyInstance: create)
208
+ ..aOS(1, _omitFieldNames ? '' : 'session')
209
+ ..aOM<$0.InterfaceCompatibilityResponse>(
210
+ 2, _omitFieldNames ? '' : 'compatibility',
211
+ subBuilder: $0.InterfaceCompatibilityResponse.create)
212
+ ..aOM<$1.InterfaceCompatibilityVerdict>(3, _omitFieldNames ? '' : 'verdict',
213
+ subBuilder: $1.InterfaceCompatibilityVerdict.create)
214
+ ..aE<ApplicationCompatibilityPosture>(4, _omitFieldNames ? '' : 'posture',
215
+ enumValues: ApplicationCompatibilityPosture.values)
216
+ ..aE<ApplicationCompatibilityGuidance>(5, _omitFieldNames ? '' : 'guidance',
217
+ enumValues: ApplicationCompatibilityGuidance.values)
218
+ ..hasRequiredFields = false;
219
+
220
+ @$core.Deprecated('See https://github.com/google/protobuf.dart/issues/998.')
221
+ ApplicationPrepared clone() => deepCopy();
222
+ @$core.Deprecated('See https://github.com/google/protobuf.dart/issues/998.')
223
+ ApplicationPrepared copyWith(void Function(ApplicationPrepared) updates) =>
224
+ super.copyWith((message) => updates(message as ApplicationPrepared))
225
+ as ApplicationPrepared;
226
+
227
+ @$core.override
228
+ $pb.BuilderInfo get info_ => _i;
229
+
230
+ @$core.pragma('dart2js:noInline')
231
+ static ApplicationPrepared create() => ApplicationPrepared._();
232
+ @$core.override
233
+ ApplicationPrepared createEmptyInstance() => create();
234
+ @$core.pragma('dart2js:noInline')
235
+ static ApplicationPrepared getDefault() => _defaultInstance ??=
236
+ $pb.GeneratedMessage.$_defaultFor<ApplicationPrepared>(create);
237
+ static ApplicationPrepared? _defaultInstance;
238
+
239
+ @$pb.TagNumber(1)
240
+ $core.String get session => $_getSZ(0);
241
+ @$pb.TagNumber(1)
242
+ set session($core.String value) => $_setString(0, value);
243
+ @$pb.TagNumber(1)
244
+ $core.bool hasSession() => $_has(0);
245
+ @$pb.TagNumber(1)
246
+ void clearSession() => $_clearField(1);
247
+
248
+ /// Retained for older Runtime-v2 consumers. New consumers use `verdict`, which
249
+ /// also carries the Peer Office's independently observed custody currency.
250
+ @$pb.TagNumber(2)
251
+ $0.InterfaceCompatibilityResponse get compatibility => $_getN(1);
252
+ @$pb.TagNumber(2)
253
+ set compatibility($0.InterfaceCompatibilityResponse value) =>
254
+ $_setField(2, value);
255
+ @$pb.TagNumber(2)
256
+ $core.bool hasCompatibility() => $_has(1);
257
+ @$pb.TagNumber(2)
258
+ void clearCompatibility() => $_clearField(2);
259
+ @$pb.TagNumber(2)
260
+ $0.InterfaceCompatibilityResponse ensureCompatibility() => $_ensure(1);
261
+
262
+ @$pb.TagNumber(3)
263
+ $1.InterfaceCompatibilityVerdict get verdict => $_getN(2);
264
+ @$pb.TagNumber(3)
265
+ set verdict($1.InterfaceCompatibilityVerdict value) => $_setField(3, value);
266
+ @$pb.TagNumber(3)
267
+ $core.bool hasVerdict() => $_has(2);
268
+ @$pb.TagNumber(3)
269
+ void clearVerdict() => $_clearField(3);
270
+ @$pb.TagNumber(3)
271
+ $1.InterfaceCompatibilityVerdict ensureVerdict() => $_ensure(2);
272
+
273
+ @$pb.TagNumber(4)
274
+ ApplicationCompatibilityPosture get posture => $_getN(3);
275
+ @$pb.TagNumber(4)
276
+ set posture(ApplicationCompatibilityPosture value) => $_setField(4, value);
277
+ @$pb.TagNumber(4)
278
+ $core.bool hasPosture() => $_has(3);
279
+ @$pb.TagNumber(4)
280
+ void clearPosture() => $_clearField(4);
281
+
282
+ @$pb.TagNumber(5)
283
+ ApplicationCompatibilityGuidance get guidance => $_getN(4);
284
+ @$pb.TagNumber(5)
285
+ set guidance(ApplicationCompatibilityGuidance value) => $_setField(5, value);
286
+ @$pb.TagNumber(5)
287
+ $core.bool hasGuidance() => $_has(4);
288
+ @$pb.TagNumber(5)
289
+ void clearGuidance() => $_clearField(5);
290
+ }
291
+
292
+ const $core.bool _omitFieldNames =
293
+ $core.bool.fromEnvironment('protobuf.omit_field_names');
294
+ const $core.bool _omitMessageNames =
295
+ $core.bool.fromEnvironment('protobuf.omit_message_names');
@@ -0,0 +1,139 @@
1
+ // This is a generated file - do not edit.
2
+ //
3
+ // Generated from nomos/runtime/v2/application_readiness_desk.proto.
4
+
5
+ // @dart = 3.3
6
+
7
+ // ignore_for_file: annotate_overrides, camel_case_types, comment_references
8
+ // ignore_for_file: constant_identifier_names
9
+ // ignore_for_file: curly_braces_in_flow_control_structures
10
+ // ignore_for_file: deprecated_member_use_from_same_package, library_prefixes
11
+ // ignore_for_file: non_constant_identifier_names
12
+
13
+ import 'dart:core' as $core;
14
+
15
+ import 'package:protobuf/protobuf.dart' as $pb;
16
+
17
+ /// Structural posture of this generated client against the law installed at
18
+ /// the workspace's current local frontier. Partial is a useful operating mode:
19
+ /// available members remain callable while only the exact unsafe members are
20
+ /// refused before dispatch.
21
+ class ApplicationCompatibilityPosture extends $pb.ProtobufEnum {
22
+ static const ApplicationCompatibilityPosture
23
+ APPLICATION_COMPATIBILITY_POSTURE_UNSPECIFIED =
24
+ ApplicationCompatibilityPosture._(
25
+ 0,
26
+ _omitEnumNames
27
+ ? ''
28
+ : 'APPLICATION_COMPATIBILITY_POSTURE_UNSPECIFIED');
29
+
30
+ /// This client declared no compatibility matrix. Legacy clients may still be
31
+ /// admitted member-by-member by the kernel, but no proactive statement exists.
32
+ static const ApplicationCompatibilityPosture
33
+ APPLICATION_COMPATIBILITY_POSTURE_UNDECLARED =
34
+ ApplicationCompatibilityPosture._(1,
35
+ _omitEnumNames ? '' : 'APPLICATION_COMPATIBILITY_POSTURE_UNDECLARED');
36
+
37
+ /// Every declared member is exact or structurally compatible.
38
+ static const ApplicationCompatibilityPosture
39
+ APPLICATION_COMPATIBILITY_POSTURE_FULL =
40
+ ApplicationCompatibilityPosture._(
41
+ 2, _omitEnumNames ? '' : 'APPLICATION_COMPATIBILITY_POSTURE_FULL');
42
+
43
+ /// At least one declared member is usable and at least one is unavailable or
44
+ /// incompatible. This must never become a whole-application readiness error.
45
+ static const ApplicationCompatibilityPosture
46
+ APPLICATION_COMPATIBILITY_POSTURE_PARTIAL =
47
+ ApplicationCompatibilityPosture._(
48
+ 3, _omitEnumNames ? '' : 'APPLICATION_COMPATIBILITY_POSTURE_PARTIAL');
49
+
50
+ /// None of the declared members can safely be used at this frontier.
51
+ static const ApplicationCompatibilityPosture
52
+ APPLICATION_COMPATIBILITY_POSTURE_UNAVAILABLE =
53
+ ApplicationCompatibilityPosture._(
54
+ 4,
55
+ _omitEnumNames
56
+ ? ''
57
+ : 'APPLICATION_COMPATIBILITY_POSTURE_UNAVAILABLE');
58
+
59
+ static const $core.List<ApplicationCompatibilityPosture> values =
60
+ <ApplicationCompatibilityPosture>[
61
+ APPLICATION_COMPATIBILITY_POSTURE_UNSPECIFIED,
62
+ APPLICATION_COMPATIBILITY_POSTURE_UNDECLARED,
63
+ APPLICATION_COMPATIBILITY_POSTURE_FULL,
64
+ APPLICATION_COMPATIBILITY_POSTURE_PARTIAL,
65
+ APPLICATION_COMPATIBILITY_POSTURE_UNAVAILABLE,
66
+ ];
67
+
68
+ static final $core.List<ApplicationCompatibilityPosture?> _byValue =
69
+ $pb.ProtobufEnum.$_initByValueList(values, 4);
70
+ static ApplicationCompatibilityPosture? valueOf($core.int value) =>
71
+ value < 0 || value >= _byValue.length ? null : _byValue[value];
72
+
73
+ const ApplicationCompatibilityPosture._(super.value, super.name);
74
+ }
75
+
76
+ /// The strongest next-step statement the local peer can prove. Fleet policy
77
+ /// (including whether a client patch or workspace rollout is preferred) belongs
78
+ /// to the tenant control plane and is not guessed from structural differences.
79
+ class ApplicationCompatibilityGuidance extends $pb.ProtobufEnum {
80
+ static const ApplicationCompatibilityGuidance
81
+ APPLICATION_COMPATIBILITY_GUIDANCE_UNSPECIFIED =
82
+ ApplicationCompatibilityGuidance._(
83
+ 0,
84
+ _omitEnumNames
85
+ ? ''
86
+ : 'APPLICATION_COMPATIBILITY_GUIDANCE_UNSPECIFIED');
87
+ static const ApplicationCompatibilityGuidance
88
+ APPLICATION_COMPATIBILITY_GUIDANCE_NONE =
89
+ ApplicationCompatibilityGuidance._(
90
+ 1, _omitEnumNames ? '' : 'APPLICATION_COMPATIBILITY_GUIDANCE_NONE');
91
+
92
+ /// A remote replica exists but its frontier has not yet been observed.
93
+ static const ApplicationCompatibilityGuidance
94
+ APPLICATION_COMPATIBILITY_GUIDANCE_OBSERVE_REMOTE =
95
+ ApplicationCompatibilityGuidance._(
96
+ 2,
97
+ _omitEnumNames
98
+ ? ''
99
+ : 'APPLICATION_COMPATIBILITY_GUIDANCE_OBSERVE_REMOTE');
100
+
101
+ /// The peer has proved that local custody trails an observed remote frontier.
102
+ static const ApplicationCompatibilityGuidance
103
+ APPLICATION_COMPATIBILITY_GUIDANCE_WORKSPACE_UPDATE_PENDING =
104
+ ApplicationCompatibilityGuidance._(
105
+ 3,
106
+ _omitEnumNames
107
+ ? ''
108
+ : 'APPLICATION_COMPATIBILITY_GUIDANCE_WORKSPACE_UPDATE_PENDING');
109
+
110
+ /// Local custody is current but structural differences remain. Console must
111
+ /// combine this proof with release/client inventory before choosing workspace
112
+ /// rollout, client update, or patch.
113
+ static const ApplicationCompatibilityGuidance
114
+ APPLICATION_COMPATIBILITY_GUIDANCE_CONTROL_PLANE_DECISION_REQUIRED =
115
+ ApplicationCompatibilityGuidance._(
116
+ 4,
117
+ _omitEnumNames
118
+ ? ''
119
+ : 'APPLICATION_COMPATIBILITY_GUIDANCE_CONTROL_PLANE_DECISION_REQUIRED');
120
+
121
+ static const $core.List<ApplicationCompatibilityGuidance> values =
122
+ <ApplicationCompatibilityGuidance>[
123
+ APPLICATION_COMPATIBILITY_GUIDANCE_UNSPECIFIED,
124
+ APPLICATION_COMPATIBILITY_GUIDANCE_NONE,
125
+ APPLICATION_COMPATIBILITY_GUIDANCE_OBSERVE_REMOTE,
126
+ APPLICATION_COMPATIBILITY_GUIDANCE_WORKSPACE_UPDATE_PENDING,
127
+ APPLICATION_COMPATIBILITY_GUIDANCE_CONTROL_PLANE_DECISION_REQUIRED,
128
+ ];
129
+
130
+ static final $core.List<ApplicationCompatibilityGuidance?> _byValue =
131
+ $pb.ProtobufEnum.$_initByValueList(values, 4);
132
+ static ApplicationCompatibilityGuidance? valueOf($core.int value) =>
133
+ value < 0 || value >= _byValue.length ? null : _byValue[value];
134
+
135
+ const ApplicationCompatibilityGuidance._(super.value, super.name);
136
+ }
137
+
138
+ const $core.bool _omitEnumNames =
139
+ $core.bool.fromEnvironment('protobuf.omit_enum_names');