@githolon/dsl 0.97.0 → 0.97.1

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@githolon/dsl",
-  "version": "0.97.0",
+  "version": "0.97.1",
   "type": "module",
   "description": "Nomos 2 domain-authoring DSL: aggregates + directives in TS, executed and encoded to the Rust kernel's wire shapes.",
   "license": "SEE LICENSE IN LICENSE.md",

package/src/engine_entry.ts

@@ -54,6 +54,7 @@
 import { executeDirectiveToIntent } from "./wire_encode.js";
 import { expandCapabilityExports } from "./capability_exports.js";
 import { RelationTuple, __setDispatchContext } from "./framework/relations.js";
+import { BIRTH_METER_AGGREGATES } from "./birth_meter.js";
 import { namespacedAggregateIds, qualifyReadProjectionType, READ_PROJECTION_DELIMITER } from "./read_projection_namespace.js";
 import { isRelationTypeDecl } from "./relation_schema.js";
 import { synthesizePreconditionInvariants } from "./precondition.js";
@@ -301,6 +302,17 @@ function buildDomainSlice(mod: DomainModuleExports): DomainSlice {
   if (!aggs.has(RelationTuple.id) && [...dirs.values()].some((d) => d.aggregateId === RelationTuple.id)) {
     aggs.set(RelationTuple.id, RelationTuple);
   }
+  // BIRTH-METER AUTO-ENSURE (RelationTuple's sibling — co2 tenant DEFECT P2-001): a law re-exporting a
+  // meter directive (`grantBirthAllowance`/`setBirthPolicy`, `.ensures(BirthGrant/BirthPolicy)`) without
+  // ALSO exporting the framework aggregate handle would fall into the silent drop below — while the
+  // COMPILE side (build_package's declaresBirth auto-inject) counts it in the manifest: a manifest-vs-
+  // engine skew that dispatches as "no directive registered". The engine mirrors the compile injection,
+  // so the two can never disagree on the meter surface.
+  for (const fw of BIRTH_METER_AGGREGATES) {
+    if (!aggs.has(fw.id) && [...dirs.values()].some((d) => d.aggregateId === fw.id)) {
+      aggs.set(fw.id, fw);
+    }
+  }
   for (const [dirId, directive] of dirs) {
     const agg = aggs.get(directive.aggregateId);
     if (agg === undefined) {