githolon 0.103.19 → 0.104.1

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: "c71ea1a3", hash: "c71ea1a3bbe0c7b4be944106e44387f37bc9da43aeb0747631c7c4e89012c757", version: "kernel-c71ea1a3", note: "production (this candidate)", features: ["compoundKeys", "capturedReads", "invariantGate", "surfacedMerge", "fieldProvenance", "nullSemantics", "attestedReads", "conflictSnapshots", "ownedAudience", "temporalEnum"] },
-  { prefix: "11503b51", hash: "11503b51eaa2b7f2a059b0a94725faa1f7ab4c96c0648b955f2cf5010974d259", version: "kernel-11503b51", 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";

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "githolon",
-  "version": "0.103.19",
+  "version": "0.104.1",
   "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.19",
+    "@githolon/dsl": "^0.104.1",
     "isomorphic-git": "^1.38.4",
     "tsx": "^4.19.2"
   },