@githolon/dsl 0.108.7 → 0.110.1

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 (308) 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 +80 -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 +214 -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 +268 -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 +23950 -15776
  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 +550 -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_event_desk_close_test.dart +16 -0
  74. package/dart/test/reception_span_trace_test.dart +23 -0
  75. package/dart/test/replica_readiness_test.dart +156 -0
  76. package/dart/test/runtime_projections_test.dart +92 -0
  77. package/dart/test/runtime_v2_gateway_test.dart +131 -0
  78. package/dart/test/signing_identity_kernel_test.dart +75 -0
  79. package/dart/test/sync_status_preparation_report_test.dart +29 -0
  80. package/dart/test/sync_status_reducer_test.dart +419 -0
  81. package/dart/test/test_harness_test.dart +71 -95
  82. package/dart/test/typed_query_watch_test.dart +170 -0
  83. package/dart/test/typed_watch_registry_test.dart +249 -0
  84. package/dart_lints/README.md +18 -0
  85. package/dart_lints/lib/nomos_lints.dart +70 -0
  86. package/dart_lints/pubspec.lock +580 -0
  87. package/dart_lints/pubspec.yaml +12 -0
  88. package/dart_lints/test/reference_identity_test.dart +75 -0
  89. package/dart_types/CHANGELOG.md +18 -0
  90. package/dart_types/lib/nomos_kernel_protocol.dart +21 -1
  91. package/dart_types/lib/nomos_types.dart +9 -1
  92. package/dart_types/lib/src/admission_decision.dart +37 -0
  93. package/dart_types/lib/src/aggregate_meta.dart +1 -1
  94. package/dart_types/lib/src/approved_model.dart +65 -0
  95. package/dart_types/lib/src/custody.dart +10 -18
  96. package/dart_types/lib/src/error_info.dart +4 -4
  97. package/dart_types/lib/src/errors.dart +29 -29
  98. package/dart_types/lib/src/foreign_ref.dart +62 -33
  99. package/dart_types/lib/src/local_work_rejected.dart +3 -3
  100. package/dart_types/lib/src/nomos_ref.dart +3 -1
  101. package/dart_types/lib/src/principal.dart +2 -2
  102. package/dart_types/lib/src/proto/google/protobuf/any.pb.dart +163 -0
  103. package/dart_types/lib/src/proto/google/protobuf/any.pbenum.dart +11 -0
  104. package/dart_types/lib/src/proto/nomos/discovery/v1/workspace_placement.pb.dart +137 -0
  105. package/dart_types/lib/src/proto/nomos/discovery/v1/workspace_placement.pbenum.dart +11 -0
  106. package/dart_types/lib/src/proto/nomos/kernel/v1/kernel.pb.dart +20721 -10433
  107. package/dart_types/lib/src/proto/nomos/kernel/v1/kernel.pbenum.dart +555 -27
  108. package/dart_types/lib/src/proto/nomos/runtime/v2/application_desk.pb.dart +387 -0
  109. package/dart_types/lib/src/proto/nomos/runtime/v2/application_desk.pbenum.dart +46 -0
  110. package/dart_types/lib/src/proto/nomos/runtime/v2/application_readiness_desk.pb.dart +295 -0
  111. package/dart_types/lib/src/proto/nomos/runtime/v2/application_readiness_desk.pbenum.dart +139 -0
  112. package/dart_types/lib/src/proto/nomos/runtime/v2/authentication_desk.pb.dart +269 -0
  113. package/dart_types/lib/src/proto/nomos/runtime/v2/authentication_desk.pbenum.dart +103 -0
  114. package/dart_types/lib/src/proto/nomos/runtime/v2/compatibility_desk.pb.dart +417 -0
  115. package/dart_types/lib/src/proto/nomos/runtime/v2/compatibility_desk.pbenum.dart +62 -0
  116. package/dart_types/lib/src/proto/nomos/runtime/v2/correspondence_desk.pb.dart +9968 -0
  117. package/dart_types/lib/src/proto/nomos/runtime/v2/correspondence_desk.pbenum.dart +133 -0
  118. package/dart_types/lib/src/proto/nomos/runtime/v2/credentials_desk.pb.dart +204 -0
  119. package/dart_types/lib/src/proto/nomos/runtime/v2/credentials_desk.pbenum.dart +54 -0
  120. package/dart_types/lib/src/proto/nomos/runtime/v2/custody_desk.pb.dart +1550 -0
  121. package/dart_types/lib/src/proto/nomos/runtime/v2/custody_desk.pbenum.dart +11 -0
  122. package/dart_types/lib/src/proto/nomos/runtime/v2/framework.pb.dart +710 -0
  123. package/dart_types/lib/src/proto/nomos/runtime/v2/framework.pbenum.dart +11 -0
  124. package/dart_types/lib/src/proto/nomos/runtime/v2/identity_desk.pb.dart +845 -0
  125. package/dart_types/lib/src/proto/nomos/runtime/v2/identity_desk.pbenum.dart +11 -0
  126. package/dart_types/lib/src/proto/nomos/runtime/v2/interaction_desk.pb.dart +198 -0
  127. package/dart_types/lib/src/proto/nomos/runtime/v2/interaction_desk.pbenum.dart +11 -0
  128. package/dart_types/lib/src/proto/nomos/runtime/v2/law_desk.pb.dart +369 -0
  129. package/dart_types/lib/src/proto/nomos/runtime/v2/law_desk.pbenum.dart +11 -0
  130. package/dart_types/lib/src/proto/nomos/runtime/v2/maintenance_desk.pb.dart +609 -0
  131. package/dart_types/lib/src/proto/nomos/runtime/v2/maintenance_desk.pbenum.dart +65 -0
  132. package/dart_types/lib/src/proto/nomos/runtime/v2/model_adoption_desk.pb.dart +358 -0
  133. package/dart_types/lib/src/proto/nomos/runtime/v2/model_adoption_desk.pbenum.dart +100 -0
  134. package/dart_types/lib/src/proto/nomos/runtime/v2/observability_desk.pb.dart +2231 -0
  135. package/dart_types/lib/src/proto/nomos/runtime/v2/observability_desk.pbenum.dart +271 -0
  136. package/dart_types/lib/src/proto/nomos/runtime/v2/placement_desk.pb.dart +1286 -0
  137. package/dart_types/lib/src/proto/nomos/runtime/v2/placement_desk.pbenum.dart +11 -0
  138. package/dart_types/lib/src/proto/nomos/runtime/v2/receiving_group_desk.pb.dart +636 -0
  139. package/dart_types/lib/src/proto/nomos/runtime/v2/receiving_group_desk.pbenum.dart +116 -0
  140. package/dart_types/lib/src/proto/nomos/runtime/v2/records_desk.pb.dart +1637 -0
  141. package/dart_types/lib/src/proto/nomos/runtime/v2/records_desk.pbenum.dart +175 -0
  142. package/dart_types/lib/src/proto/nomos/runtime/v2/recovery_desk.pb.dart +1269 -0
  143. package/dart_types/lib/src/proto/nomos/runtime/v2/recovery_desk.pbenum.dart +129 -0
  144. package/dart_types/lib/src/proto/nomos/runtime/v2/residency_desk.pb.dart +2782 -0
  145. package/dart_types/lib/src/proto/nomos/runtime/v2/residency_desk.pbenum.dart +97 -0
  146. package/dart_types/lib/src/proto/nomos/runtime/v2/runtime.pb.dart +2232 -8627
  147. package/dart_types/lib/src/proto/nomos/runtime/v2/runtime.pbenum.dart +0 -358
  148. package/dart_types/lib/src/proto/nomos/runtime/v2/sealing_desk.pb.dart +1639 -0
  149. package/dart_types/lib/src/proto/nomos/runtime/v2/sealing_desk.pbenum.dart +46 -0
  150. package/dart_types/lib/src/runtime_outcome.dart +133 -0
  151. package/dart_types/lib/src/subscriptions.dart +116 -23
  152. package/dart_types/pubspec.yaml +1 -1
  153. package/dart_types/test/extremum_subscriptions_test.dart +40 -0
  154. package/dart_types/test/foreign_ref_resolution_test.dart +75 -0
  155. package/dart_types/test/nomos_ref_address_test.dart +25 -0
  156. package/dart_types/test/ordered_subscriptions_test.dart +34 -0
  157. package/operation_contract_check.mjs +24 -0
  158. package/package.json +11 -6
  159. package/src/aggregate.ts +70 -10
  160. package/src/application_topology.ts +18 -11
  161. package/src/attested.ts +3 -0
  162. package/src/attested_core.ts +46 -3
  163. package/src/birth_meter_ensure.ts +19 -7
  164. package/src/births.ts +29 -4
  165. package/src/build_package.ts +140 -13
  166. package/src/business_birth.ts +181 -4
  167. package/src/codegen_call_proto.ts +1276 -0
  168. package/src/codegen_call_usda.ts +49 -6
  169. package/src/codegen_dart.ts +83 -44
  170. package/src/codegen_dart_client.ts +458 -800
  171. package/src/{codegen_dart_application.ts → codegen_dart_facade.ts} +331 -582
  172. package/src/codegen_dart_framework_calls.ts +320 -37
  173. package/src/codegen_dart_indexed_variant.ts +159 -0
  174. package/src/codegen_dart_scenario.ts +42 -13
  175. package/src/codegen_proof.ts +3 -3
  176. package/src/codegen_provider_dart.ts +5 -0
  177. package/src/codegen_query_proto.ts +158 -0
  178. package/src/codegen_refusal.ts +189 -0
  179. package/src/codegen_result_proto.ts +931 -0
  180. package/src/codegen_result_usda.ts +4 -0
  181. package/src/codegen_ts.ts +464 -616
  182. package/src/codegen_workspace_access.ts +105 -0
  183. package/src/compatibility_graph.ts +759 -0
  184. package/src/compatibility_usda.ts +264 -0
  185. package/src/compile_package_main.ts +2017 -1195
  186. package/src/custody_placement.ts +156 -0
  187. package/src/custody_placement_usda.ts +91 -0
  188. package/src/decl_shapes.ts +21 -2
  189. package/src/describe_model.ts +1 -0
  190. package/src/directive.ts +59 -2
  191. package/src/drivers.ts +51 -0
  192. package/src/engine_entry.ts +52 -8
  193. package/src/evolve_preview.ts +11 -4
  194. package/src/exists.ts +2 -0
  195. package/src/fields.ts +75 -11
  196. package/src/flow_gate.ts +2 -1
  197. package/src/framework/application_home.ts +170 -18
  198. package/src/framework/attested_receipts.ts +8 -3
  199. package/src/framework/auth_provider_law.ts +169 -9
  200. package/src/framework/birth_certificate_law.ts +4 -0
  201. package/src/framework/capability.ts +34 -3
  202. package/src/framework/child_authentication.ts +346 -0
  203. package/src/framework/console_governance.ts +295 -0
  204. package/src/framework/delegated_roles.ts +301 -0
  205. package/src/framework/domain_lifecycle.ts +26 -13
  206. package/src/framework/founding_genesis.ts +193 -0
  207. package/src/framework/framework_aggregates.ts +1 -1
  208. package/src/framework/genesis.ts +6 -1
  209. package/src/framework/governance_relations.ts +19 -0
  210. package/src/framework/home.ts +5 -734
  211. package/src/framework/legacy/child_auth_provider_epoch.ts +73 -0
  212. package/src/framework/model_authority_repair.ts +116 -0
  213. package/src/framework/model_authority_seed.ts +185 -0
  214. package/src/framework/model_transition.ts +211 -0
  215. package/src/framework/owned_custody.ts +1 -1
  216. package/src/framework/principal_enrollment.ts +302 -0
  217. package/src/framework/receiving_group.ts +857 -0
  218. package/src/framework/receiving_group_recovery.ts +314 -0
  219. package/src/framework/relations.ts +4 -8
  220. package/src/framework/signing_identity.ts +242 -95
  221. package/src/framework/source_roster.ts +11 -5
  222. package/src/framework/workspace_access.ts +149 -0
  223. package/src/framework/workspace_invariant.ts +73 -52
  224. package/src/framework/workspaces.ts +407 -40
  225. package/src/framework_call_definitions.ts +32 -3
  226. package/src/generated_client_bundle_boundary.ts +97 -0
  227. package/src/generated_client_names.ts +1 -0
  228. package/src/identity_usda.ts +27 -0
  229. package/src/index.ts +183 -12
  230. package/src/indexed_variant.ts +83 -0
  231. package/src/intent.ts +173 -45
  232. package/src/law_check.ts +8 -5
  233. package/src/law_dependency_index.ts +231 -0
  234. package/src/law_graph.ts +508 -71
  235. package/src/law_graph_usda.ts +170 -24
  236. package/src/law_identity.ts +119 -81
  237. package/src/law_source_map.ts +4 -1
  238. package/src/law_units.ts +498 -0
  239. package/src/law_value_type.ts +7 -3
  240. package/src/member_authentication.ts +302 -0
  241. package/src/null_meta.ts +1 -1
  242. package/src/openusd_compiled_layer.ts +132 -0
  243. package/src/operation_contract_check.ts +31 -0
  244. package/src/ordered_read.ts +2 -1
  245. package/src/package_config.ts +33 -12
  246. package/src/package_dependencies.ts +1 -0
  247. package/src/plan_source_slice.ts +30 -1
  248. package/src/protobuf_field_number.ts +36 -0
  249. package/src/provenance_wire.ts +6 -0
  250. package/src/query.ts +2 -1
  251. package/src/read.ts +50 -0
  252. package/src/relation.ts +4 -1
  253. package/src/relation_schema.ts +15 -2
  254. package/src/report.ts +2 -2
  255. package/src/sqlite_computation_bundle.ts +78 -0
  256. package/src/sqlite_computed.ts +102 -0
  257. package/src/sqlite_counts.ts +154 -0
  258. package/src/sqlite_layout.ts +823 -0
  259. package/src/sqlite_reads.ts +275 -0
  260. package/src/sqlite_samples.ts +185 -0
  261. package/src/stable_id_identity_bridge.ts +1 -1
  262. package/src/stable_ids_for_module.ts +16 -4
  263. package/src/test_call_usda.ts +6 -6
  264. package/src/usda_relationship_integrity.ts +20 -3
  265. package/src/usda_text.ts +21 -1
  266. package/src/value_object.ts +81 -11
  267. package/src/wire.ts +22 -0
  268. package/src/wire_encode.ts +227 -20
  269. package/src/workspace_sharding.ts +15 -6
  270. package/src/workspace_sharing.ts +51 -49
  271. package/src/zod_introspection.ts +2 -0
  272. package/compat_package.mjs +0 -46
  273. package/dart/lib/src/home.dart +0 -15
  274. package/dart/lib/src/runner/offline-install.mjs +0 -15367
  275. package/dart/lib/src/source_trust.dart +0 -51
  276. package/dart/lib/src/webview_bridge.dart +0 -6540
  277. package/dart/lib/src/workspace_name.dart +0 -30
  278. package/dart/test/acquire_session_credentials_test.dart +0 -150
  279. package/dart/test/acquire_session_test.dart +0 -534
  280. package/dart/test/adv_realm_interference_test.dart +0 -600
  281. package/dart/test/cloud_bound_topology_test.dart +0 -168
  282. package/dart/test/cluster_births_test.dart +0 -202
  283. package/dart/test/cluster_device_keyed_acceptance_test.dart +0 -105
  284. package/dart/test/cluster_local_autosync_test.dart +0 -123
  285. package/dart/test/cluster_scale_test.dart +0 -122
  286. package/dart/test/compat_test.dart +0 -61
  287. package/dart/test/dlq_session_surface_test.dart +0 -222
  288. package/dart/test/first_app_gauntlet_test.dart +0 -386
  289. package/dart/test/fixtures/wedge/fake-install.mjs +0 -11
  290. package/dart/test/four_layer_nested_topology_test.dart +0 -290
  291. package/dart/test/home_parity_test.dart +0 -13
  292. package/dart/test/local_sync_inert_test.dart +0 -107
  293. package/dart/test/node_runner_transport_test.dart +0 -78
  294. package/dart/test/parent_signer_recovery_test.dart +0 -155
  295. package/dart/test/residency_refusal_test.dart +0 -49
  296. package/dart/test/sealing_client_test.dart +0 -181
  297. package/dart/test/session_bound_test.dart +0 -285
  298. package/dart/test/stale_bundle_test.dart +0 -80
  299. package/dart/test/vo_read_typing_test.dart +0 -131
  300. package/dart/test/watch_after_offer_stall_test.dart +0 -100
  301. package/dart/test/webview_bridge_test.dart +0 -1930
  302. package/dart/test/workspace_name_test.dart +0 -24
  303. package/runtime/generated-application-host.js +0 -22860
  304. package/src/codegen_query_usda.ts +0 -214
  305. package/src/compat_manifest.ts +0 -26
  306. package/src/compat_package_main.ts +0 -224
  307. package/src/shape_compat.ts +0 -352
  308. 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');