githolon 0.103.18 → 0.104.0

package/dist/dev-server.mjs

@@ -2640,8 +2640,8 @@ function resolveGatewayOperation(spec, opName, method) {
 
 // ../cloud/cloudflare-shell/src/kernel-registry.generated.ts
 var DEPLOYED_KERNELS = [
-  { prefix: "8a39dd10", hash: "8a39dd1041ce56b820ee321eab4d10cb5e53131f216a6ab8f1135799a2cc5f98", version: "kernel-8a39dd10", note: "production (this candidate)", features: ["compoundKeys", "capturedReads", "invariantGate", "surfacedMerge", "fieldProvenance", "nullSemantics", "attestedReads", "conflictSnapshots", "ownedAudience", "temporalEnum"] },
-  { prefix: "4ec42988", hash: "4ec42988fffc7dd1c4f5553aec83720a7a9bc3f27eb35da211254e66eac2661c", version: "kernel-4ec42988", note: "test-mint (this candidate) \u2014 feature-equivalent to production", features: ["compoundKeys", "capturedReads", "invariantGate", "surfacedMerge", "fieldProvenance", "nullSemantics", "attestedReads", "conflictSnapshots", "ownedAudience", "temporalEnum"] }
+  { prefix: "7d3fcc35", hash: "7d3fcc3501bef23849493026e10ce75b3ef3d1400f789181d03f4a3b0b5b1fdb", version: "kernel-7d3fcc35", note: "production (this candidate)", features: ["compoundKeys", "capturedReads", "invariantGate", "surfacedMerge", "fieldProvenance", "nullSemantics", "attestedReads", "conflictSnapshots", "ownedAudience", "temporalEnum"] },
+  { prefix: "0ae2f9ba", hash: "0ae2f9ba0fa5ec2eccb798fdcb99f46a82d76c03d851a9fc62eed47ffc25c394", version: "kernel-0ae2f9ba", note: "test-mint (this candidate) \u2014 feature-equivalent to production", features: ["compoundKeys", "capturedReads", "invariantGate", "surfacedMerge", "fieldProvenance", "nullSemantics", "attestedReads", "conflictSnapshots", "ownedAudience", "temporalEnum"] }
 ];
 
 // ../cloud/cloudflare-shell/src/staged-intents.ts

package/dist/full-cli.mjs

@@ -727,6 +727,18 @@ function aggregate(id, fields, opts) {
     );
   }
   const { stored, hasMany: hasMany2 } = partitionFields(fields);
+  if (opts?.fulfils !== void 0) {
+    const decl = opts.fulfils;
+    for (const reserved of [decl.name, decl.blockedField]) {
+      if (stored[reserved] !== void 0) {
+        throw new Error(
+          `aggregate '${id}': field '${reserved}' collides with the fulfilment '${decl.name}' (it owns '${decl.name}' + '${decl.blockedField}') \u2014 rename your field`
+        );
+      }
+    }
+    stored[decl.name] = t.enum(decl.tiers).merge(Lww).optional();
+    stored[decl.blockedField] = t.string().merge(Lww).optional();
+  }
   for (const [name, field] of Object.entries(stored)) {
     const fref = field.foreignRef;
     if (fref === void 0) continue;
@@ -824,6 +836,12 @@ function aggregate(id, fields, opts) {
   const metaFields = Object.entries(stored).filter(([, f]) => f.isMeta === true).map(([name]) => name).sort();
   const fromBirthFields = Object.entries(stored).filter(([, f]) => f.isFromBirth === true).map(([name]) => name).sort();
   const userInvariant = opts?.invariant;
+  const fulfils = opts?.fulfils;
+  const afterFulfilment = fulfils !== void 0 ? (snapshot2) => {
+    const verdict = fulfils.invariant(snapshot2);
+    if ("reject" in verdict) return { reject: `${id}: ${verdict.reject}` };
+    return userInvariant !== void 0 ? userInvariant(snapshot2) : { accept: true };
+  } : userInvariant;
   const composedInvariant = fromBirthFields.length > 0 ? (snapshot2) => {
     for (const name of fromBirthFields) {
       const v = snapshot2[name];
@@ -831,13 +849,14 @@ function aggregate(id, fields, opts) {
         return { reject: `${id}.${name} is fromBirth() \u2014 every ${id} must carry it from creation (the plan left it unset)` };
       }
     }
-    return userInvariant !== void 0 ? userInvariant(snapshot2) : { accept: true };
-  } : userInvariant;
+    return afterFulfilment !== void 0 ? afterFulfilment(snapshot2) : { accept: true };
+  } : afterFulfilment;
   const base = {
     id,
     fields: stored,
     hasMany: hasMany2,
     __isAggregateHandle: true,
+    ...opts?.fulfils !== void 0 ? { fulfilment: opts.fulfils } : {},
     ...composedInvariant !== void 0 ? { hasInvariant: true, invariant: composedInvariant } : {},
     ...fromBirthFields.length > 0 ? { fromBirthFields } : {},
     // VALUE-FREE INVARIANT (nomosFlowGate rule 4a): when the ONLY invariant is the synthesized
@@ -953,6 +972,7 @@ var init_aggregate = __esm({
     "use strict";
     init_fields();
     init_contract();
+    init_drivers();
     READ_CAP_NAME_RE = /^[A-Za-z0-9][A-Za-z0-9_.:-]{0,127}$/;
     OWNER_FIELD = "__nomos_owner_principal_7c1f5e";
     OWNED_READ_RELATION = "nomos_internal_owned_reader_7c1f5e";
@@ -7017,7 +7037,8 @@ ${String(commit).toLowerCase()}`;
     try {
       const outcome = await offerDirective("nomos", "promoteDomain", prepared.payload, {
         actor: connectionPrincipal,
-        returnCreated: false
+        returnCreated: false,
+        domainHash: String(currentLawInner()?.["nomos"] ?? "")
       });
       const head = typeof outcome === "string" ? outcome : String(outcome?.head ?? "");
       const readiness2 = await prepareDomainReady(domain, candidateHash);

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "githolon",
-  "version": "0.103.18",
+  "version": "0.104.0",
   "type": "module",
   "description": "githolon — the Nomos developer CLI: Rails-style generators for @githolon/dsl domains + the package compiler. Kernel-independent.",
   "license": "SEE LICENSE IN LICENSE.md",
@@ -30,7 +30,7 @@
   "dependencies": {
     "@bjorn3/browser_wasi_shim": "0.4.2",
     "@bufbuild/protobuf": "^2.13.0",
-    "@githolon/dsl": "^0.103.18",
+    "@githolon/dsl": "^0.104.0",
     "isomorphic-git": "^1.38.4",
     "tsx": "^4.19.2"
   },