@githolon/dsl 0.17.0 → 0.19.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 (29) hide show
  1. package/dart/lib/nomos_client.dart +5 -0
  2. package/dart/lib/src/errors.dart +79 -0
  3. package/dart/lib/src/home.dart +20 -0
  4. package/dart/lib/src/webview_bridge.dart +68 -0
  5. package/dart/lib/src/wire.dart +117 -0
  6. package/dart/pubspec.lock +1 -1
  7. package/dart/pubspec.yaml +2 -1
  8. package/dart/test/home_parity_test.dart +9 -0
  9. package/dart/test/wire_test.dart +48 -0
  10. package/package.json +1 -1
  11. package/src/births.ts +106 -0
  12. package/src/build_package.ts +23 -27
  13. package/src/codegen_dart.ts +10 -0
  14. package/src/codegen_proof.ts +553 -84
  15. package/src/compile_package_main.ts +63 -111
  16. package/src/decl_shapes.ts +122 -0
  17. package/src/directive.ts +30 -0
  18. package/src/engine_entry.ts +109 -8
  19. package/src/framework/home.ts +179 -0
  20. package/src/framework/impure_capability.ts +8 -4
  21. package/src/framework/relations.ts +22 -0
  22. package/src/framework/signing_identity.ts +291 -2
  23. package/src/framework/workspace_invariant.ts +17 -2
  24. package/src/framework/workspaces.ts +193 -30
  25. package/src/index.ts +42 -0
  26. package/src/usd.ts +44 -0
  27. package/src/usd_layers.ts +41 -0
  28. package/src/wire.ts +13 -0
  29. package/src/wire_encode.ts +14 -2
package/src/codegen_dart.ts CHANGED
@@ -2454,6 +2454,16 @@ export interface DomainModule {
2454
2454
  * aggregate `hasInvariant` / a directive `plan`). See `docs/workspace_invariant.md`.
2455
2455
  */
2456
2456
  workspaceInvariants?: WorkspaceInvariantDecl[];
2457
+ /**
2458
+ * THE PEER-SOVEREIGN ROOT-OF-TRUST (the BirthAttestation cert chain). When TRUE, this law declares
2459
+ * it REQUIRES a parent-attested-birth: a warranted workspace running this law must travel with a
2460
+ * signed cert chain proving its founder was VERIFIED by its parent at birth, rooting at the pinned
2461
+ * `K_root`. Lowered to the `nomosParentAttestedBirth` USD era key (emitted iff true) — the kernel's
2462
+ * verify doors (author / receive / verify_chain) then verify the travelling cert chain OFFLINE (no
2463
+ * cross-ws read). ADDITIVE + OPTIONAL: a law that declares none omits the key and is byte-identical
2464
+ * to before it existed (the era rule); pre-feature + legacy/non-warranted workspaces replay green.
2465
+ */
2466
+ parentAttestedBirth?: boolean;
2457
2467
  /**
2458
2468
  * The domain's NATIVE ZANZIBAR RELATION SCHEMA (`relation_schema.ts` — the userset-rewrite law,
2459
2469
  * P1). Pure-data per-type relation rewrites lowered to the `nomosRelations` USD era key (NO JS on