@githolon/dsl 0.3.0 → 0.5.0

package/src/workspace_sharding.ts

@@ -75,6 +75,7 @@ import { directive } from "./directive.js";
 import { set, strike, withMarker, type PlannedOp } from "./ops.js";
 import { query } from "./query.js";
 import { sum } from "./sum.js";
+import { min, max } from "./extremum.js";
 import { refAs, workspaceInvariant } from "./framework/workspace_invariant.js";
 
 /** One packed axis the factory derives a placement lane for. */
@@ -291,7 +292,15 @@ export const canonicalSealFrontiers = (
  * the ABSOLUTE per-(shard, read, group) value, true at the shard commit `frontier`,
  * folded as plain Lww after the gate recomputed it from carried evidence. `bucket`
  * (= `readId group`) is the maintained estate-total's group key; `kind` records
- * what the value tallies (`count` | `sum` | `rows` — the load policy reads `rows`).
+ * what the value tallies (`count` | `sum` | `rows` — the load policy reads `rows` —
+ * and, SLICE 8, `min` | `max`: the shard's maintained extremum at the frontier).
+ *
+ * `empty` (slice 8, EXTREMUM kinds only): `1` = the shard's group has NO
+ * contributing member — an empty group has no extremum and `0` is a legitimate
+ * extremum value (the `extremum.ts` null law), so emptiness is a FLAG, never a
+ * sentinel value. The maintained estate extremums below exclude `empty:1` rows;
+ * additive kinds never set the field (their rows fold byte-identically to before
+ * it existed).
  */
 export const NomosSummarySubtotal = aggregate("NomosSummarySubtotal", {
   readId: t.string().merge(Lww),
@@ -301,6 +310,7 @@ export const NomosSummarySubtotal = aggregate("NomosSummarySubtotal", {
   bucket: t.string().merge(Lww),
   value: t.int().merge(Lww),
   frontier: t.string().merge(Lww),
+  empty: t.int().merge(Lww).optional(),
 });
 
 /** THE PER-SHARD DELTA FRONTIER watermark (§5.2 step 1 — contiguity law-state). */
@@ -608,16 +618,34 @@ export const nomosCheckpointSeal = directive("nomosCheckpointSeal")
 const summarySubtotalSchema = z.object({
   readId: z.string().min(1),
   group: z.string(), // "" = the grand-total group
-  kind: z.enum(["count", "sum", "rows"]),
-  prev: z.number().int(), // the CLAIMED previous absolute (gate-verified against held)
-  value: z.number().int(), // the CLAIMED new absolute (plan-verified against prev + Σ deltas)
+  // SLICE 8: `min`/`max` join the lane. Their `prev`/`value` are NULLABLE — null =
+  // "no contributing member" (the extremum.ts empty-group law; 0 is a legitimate
+  // extremum). The PLAN refuses a null on any additive kind (typed) — nullability
+  // is the extremum kinds' vocabulary, never a loosening of counts/sums/rows.
+  kind: z.enum(["count", "sum", "rows", "min", "max"]),
+  prev: z.number().int().nullable(), // the CLAIMED previous absolute (gate-verified against held)
+  value: z.number().int().nullable(), // the CLAIMED new absolute (plan-verified against prev + carried evidence)
+  /**
+   * THE DECLARED RETRACTION (slice 8, extremum kinds only): the covered range
+   * RETRACTED the extremum (a contributing row left/worsened — the non-monotone
+   * case), so `value` is the shard's SUFFIX RE-DERIVATION (its maintained
+   * projection extremum at `toOid`), not an extremize over `prev` + candidates.
+   * The plan REFUSES an undeclared non-monotone chain (a silent retraction can
+   * never fold); a declared one folds as a frontier-pinned, deep-verifiable
+   * fact — exactly the trust-chain posture of the strike-bearing close (§5.5).
+   */
+  rederived: z.boolean().optional(),
 });
 
 const summaryEventSchema = z.object({
   oid: z.string().min(1), // the shard commit (content address — deep-verify resolves it)
   intentId: z.string(),
+  // Additive kinds: `delta` is the increment. EXTREMUM kinds (slice 8): `delta`
+  // is the POST-INTENT ABSOLUTE extremum of the bucket (null = the group emptied)
+  // — the evidence chain the plan walks for monotonicity. Null on an additive
+  // kind refuses in the plan (typed).
   deltas: z
-    .array(z.object({ readId: z.string().min(1), group: z.string(), delta: z.number().int() }))
+    .array(z.object({ readId: z.string().min(1), group: z.string(), delta: z.number().int().nullable() }))
     .max(64),
 });
 
@@ -636,19 +664,34 @@ export const nomosPropagateSummary = directive("nomosPropagateSummary")
   )
   .plan((p) => {
     // ── THE GATE RECOMPUTATION, arithmetic half (ruling 4 — day one, in the law) ──
-    // Pure over the payload: every claimed absolute must equal the claimed previous
-    // plus the carried events' deltas, and every carried delta must land in a claimed
-    // subtotal (no hidden effects). The held-state half — fromOid == the recorded
-    // frontier, claimed prev == the held subtotal — is the `nomosSummaryGate`
-    // invariant's `pre:` reads. Together: held + carried evidence ⇒ claimed, or refuse.
+    // Pure over the payload. ADDITIVE kinds (count/sum/rows): every claimed absolute
+    // must equal the claimed previous plus the carried events' deltas. EXTREMUM
+    // kinds (slice 8 — min/max): the carried events are POST-INTENT ABSOLUTES; the
+    // plan walks the chain prev → e1 → … → en and verifies EXTREMIZE-ON-MONOTONE
+    // (every step only ever improves the extremum, and the final step IS the
+    // claim); a NON-MONOTONE step (a retraction — the extremum's row left or
+    // worsened) folds ONLY when the subtotal DECLARES it (`rederived: true`, the
+    // shard's suffix re-derivation) — silent retraction is a typed refusal, and a
+    // declared one stays deep-verifiable (mount the shard, recount, byte-compare).
+    // Every carried delta must land in a claimed subtotal (no hidden effects). The
+    // held-state half — fromOid == the recorded frontier, claimed prev == the held
+    // subtotal — is the `nomosSummaryGate` invariant's `pre:` reads. Together:
+    // held + carried evidence ⇒ claimed, or refuse.
     if (p.fromOid === p.toOid) {
       throw new Error(`summary-empty: fromOid and toOid are both '${p.toOid}' — an empty range propagates nothing`);
     }
-    const claimed = new Map<string, { prev: number; value: number; sum: number }>();
+    const isExtremum = (kind: string) => kind === "min" || kind === "max";
+    const claimed = new Map<
+      string,
+      { kind: string; prev: number | null; value: number | null; sum: number; running: number | null; touched: boolean; nonMonotone: boolean }
+    >();
     for (const s of p.subtotals) {
       const key = summaryBucket(s.readId, s.group);
       if (claimed.has(key)) throw new Error(`summary-duplicate: subtotal (${s.readId}, '${s.group}') claimed twice`);
-      claimed.set(key, { prev: s.prev, value: s.value, sum: 0 });
+      if (!isExtremum(s.kind) && (s.prev === null || s.value === null)) {
+        throw new Error(`summary-null:${s.readId}: a '${s.kind}' subtotal carries null — null is the extremum kinds' empty-group vocabulary, never an additive value`);
+      }
+      claimed.set(key, { kind: s.kind, prev: s.prev, value: s.value, sum: 0, running: s.prev, touched: false, nonMonotone: false });
     }
     for (const ev of p.events) {
       for (const d of ev.deltas) {
@@ -659,15 +702,43 @@ export const nomosPropagateSummary = directive("nomosPropagateSummary")
               `but no subtotal claims that group — every touched group must carry its absolute`,
           );
         }
-        c.sum += d.delta;
+        if (isExtremum(c.kind)) {
+          // The carried value is the post-intent ABSOLUTE; monotone = it only improves.
+          const v = d.delta;
+          const improves =
+            v !== null && (c.running === null || (c.kind === "min" ? v <= c.running : v >= c.running));
+          if (!improves && !(v === null && c.running === null)) c.nonMonotone = true;
+          c.running = v;
+          c.touched = true;
+        } else {
+          if (d.delta === null) {
+            throw new Error(`summary-null:${d.readId}: a '${c.kind}' event delta is null — only extremum kinds carry the empty-group null`);
+          }
+          c.sum += d.delta;
+        }
       }
     }
     for (const s of p.subtotals) {
       const c = claimed.get(summaryBucket(s.readId, s.group))!;
-      if (s.prev + c.sum !== s.value) {
+      if (isExtremum(s.kind)) {
+        const final = c.touched ? c.running : c.prev;
+        if (final !== s.value) {
+          throw new Error(
+            `summary-mismatch: (${s.readId}, '${s.group}') claims ${s.value === null ? "null" : s.value} but the ` +
+              `carried evidence chain ends at ${final === null ? "null" : final} — the evidence does not reproduce the claim`,
+          );
+        }
+        if (c.nonMonotone && s.rederived !== true) {
+          throw new Error(
+            `extremum-retraction:${s.readId}:${s.group}: the covered range retracts the ${s.kind} (a non-monotone ` +
+              `step) — a silent retraction never folds. Re-derive the absolute from the shard's projection and ` +
+              `declare it (rederived: true); deep-verify remains the recourse`,
+          );
+        }
+      } else if ((s.prev as number) + c.sum !== s.value) {
         throw new Error(
           `summary-mismatch: (${s.readId}, '${s.group}') claims ${s.value} but prev ${s.prev} + ` +
-            `carried deltas ${c.sum} = ${s.prev + c.sum} — the evidence does not reproduce the claim`,
+            `carried deltas ${c.sum} = ${(s.prev as number) + c.sum} — the evidence does not reproduce the claim`,
         );
       }
     }
@@ -680,8 +751,11 @@ export const nomosPropagateSummary = directive("nomosPropagateSummary")
         set(row, "shard", p.shard),
         set(row, "kind", s.kind),
         set(row, "bucket", summaryBucket(s.readId, s.group)),
-        set(row, "value", s.value),
+        set(row, "value", s.value ?? 0),
         set(row, "frontier", p.toOid),
+        // EXTREMUM kinds carry the emptiness FLAG (0 is a legitimate extremum);
+        // additive rows never set the field — byte-identical to the slice-3 shape.
+        ...(isExtremum(s.kind) ? [set(row, "empty", s.value === null ? 1 : 0)] : []),
       );
     }
     const wm = instance(NomosSummaryFrontier, summaryFrontierRowId(p.shard));
@@ -900,6 +974,23 @@ export function shardingLawModule(spec: ShardingLawSpec): Record<string, unknown
     // rows, grouped by `bucket` = readId group — O(1) by #31. A scoped read's
     // estate value = the coordinator's local tally + this sum at its bucket.
     nomosEstateSummary: sum("nomosEstateSummary", "value").of(NomosSummarySubtotal).by("bucket"),
+    // THE ESTATE EXTREMUMS (§5.2, slice 8): ORDINARY maintained min/max over the
+    // SAME committed subtotal rows, by bucket — extremums over disjoint shards
+    // compose by extremizing per-shard extremums, so the estate value is O(1) off
+    // the projection's long-maintained extrema lane (the #47 RPC reads it). Rows
+    // flagged `empty:1` (a shard whose group has no contributing member) are
+    // EXCLUDED — an empty group has no extremum, and 0 is a legitimate value.
+    // Buckets partition by readId, so additive rows never pollute an extremum
+    // read's bucket. A scoped min/max's estate value = extremize(the
+    // coordinator's local extremum, this read at its bucket).
+    nomosEstateExtremumMin: min("nomosEstateExtremumMin", "value")
+      .of(NomosSummarySubtotal)
+      .where((p) => p.field("empty").ne(1))
+      .by("bucket"),
+    nomosEstateExtremumMax: max("nomosEstateExtremumMax", "value")
+      .of(NomosSummarySubtotal)
+      .where((p) => p.field("empty").ne(1))
+      .by("bucket"),
   };
 
   // ── §5.2 step 1+2 — THE SUMMARY GATE (held state versus the claims, via `pre:`) ──
@@ -931,10 +1022,24 @@ export function shardingLawModule(spec: ShardingLawSpec): Record<string, unknown
       if (fromOid !== heldFrontier) {
         return { reject: `frontier-gap:${heldFrontier === "" ? "genesis" : heldFrontier}` };
       }
-      const subtotals = Array.isArray(intent["subtotals"]) ? (intent["subtotals"] as { readId?: unknown; group?: unknown; prev?: unknown }[]) : [];
+      const subtotals = Array.isArray(intent["subtotals"]) ? (intent["subtotals"] as { readId?: unknown; group?: unknown; prev?: unknown; kind?: unknown }[]) : [];
       for (let i = 0; i < subtotals.length; i++) {
         const s = subtotals[i]!;
-        const heldRaw = snapshots[`prev${i}`]?.["value"];
+        const heldRow = snapshots[`prev${i}`] ?? {};
+        const heldRaw = heldRow["value"];
+        if (s.kind === "min" || s.kind === "max") {
+          // EXTREMUM kinds (slice 8): the held prev is NULL when no row exists yet
+          // OR the held row is flagged empty — null is vocabulary, never 0.
+          const heldValue: number | null =
+            typeof heldRaw !== "number" || heldRow["empty"] === 1 ? null : heldRaw;
+          const claimedPrev = s.prev === null ? null : typeof s.prev === "number" ? s.prev : NaN;
+          if (claimedPrev !== heldValue) {
+            return {
+              reject: `summary-mismatch:${String(s.readId)}:held:${heldValue === null ? "null" : heldValue}:claimedPrev:${String(s.prev)}`,
+            };
+          }
+          continue;
+        }
         const heldValue = typeof heldRaw === "number" ? heldRaw : 0;
         const claimedPrev = typeof s.prev === "number" ? s.prev : NaN;
         if (claimedPrev !== heldValue) {

package/src/workspace_type.ts

@@ -561,10 +561,12 @@ export function validateWorkspaceTaxonomy(mod: {
 // ── estate-scope reads (sharding §2/§5 — slice 3) ─────────────────────────────────
 
 /**
- * Lift a declared `count(...)`/`sum(...)` read to ESTATE SCOPE (sharding §5): the
- * read's per-shard values ride the §5.2 delta lane as gate-recomputed committed
- * subtotals on the coordinator, and the logical workspace answers it O(1) from the
- * maintained estate total — never a scatter-gather.
+ * Lift a declared `count(...)`/`sum(...)`/`min(...)`/`max(...)` read to ESTATE
+ * SCOPE (sharding §5): the read's per-shard values ride the §5.2 delta lane as
+ * gate-recomputed committed subtotals on the coordinator, and the logical
+ * workspace answers it O(1) from the maintained estate total (counts/sums sum;
+ * extremums extremize over per-shard subtotal rows — slice 8) — never a
+ * scatter-gather.
  *
  *     export const fxSiteCount = scoped(count("fxSiteCount").of(Site), EstateWs);
  *
@@ -596,7 +598,7 @@ export function scoped<T extends { readonly id: string; readonly of: string }>(
   const r = read as { id?: unknown; of?: unknown; _where?: unknown };
   if (typeof r.id !== "string" || typeof r.of !== "string") {
     throw new Error(
-      `scoped(read, scope): the read must be a count/sum with .of(...) declared (a named, maintained read)`,
+      `scoped(read, scope): the read must be a count/sum/min/max with .of(...) declared (a named, maintained read)`,
     );
   }
   if ((r.id as string).includes("|")) {

package/dart/.dart_tool/package_config.json

@@ -1,328 +0,0 @@
-{
-  "configVersion": 2,
-  "packages": [
-    {
-      "name": "_fe_analyzer_shared",
-      "rootUri": "file:///Users/jack/.pub-cache/hosted/pub.dev/_fe_analyzer_shared-100.0.0",
-      "packageUri": "lib/",
-      "languageVersion": "3.11"
-    },
-    {
-      "name": "analyzer",
-      "rootUri": "file:///Users/jack/.pub-cache/hosted/pub.dev/analyzer-13.0.0",
-      "packageUri": "lib/",
-      "languageVersion": "3.9"
-    },
-    {
-      "name": "args",
-      "rootUri": "file:///Users/jack/.pub-cache/hosted/pub.dev/args-2.7.0",
-      "packageUri": "lib/",
-      "languageVersion": "3.3"
-    },
-    {
-      "name": "async",
-      "rootUri": "file:///Users/jack/.pub-cache/hosted/pub.dev/async-2.13.1",
-      "packageUri": "lib/",
-      "languageVersion": "3.4"
-    },
-    {
-      "name": "boolean_selector",
-      "rootUri": "file:///Users/jack/.pub-cache/hosted/pub.dev/boolean_selector-2.1.2",
-      "packageUri": "lib/",
-      "languageVersion": "3.1"
-    },
-    {
-      "name": "cli_config",
-      "rootUri": "file:///Users/jack/.pub-cache/hosted/pub.dev/cli_config-0.2.0",
-      "packageUri": "lib/",
-      "languageVersion": "3.0"
-    },
-    {
-      "name": "collection",
-      "rootUri": "file:///Users/jack/.pub-cache/hosted/pub.dev/collection-1.19.1",
-      "packageUri": "lib/",
-      "languageVersion": "3.4"
-    },
-    {
-      "name": "convert",
-      "rootUri": "file:///Users/jack/.pub-cache/hosted/pub.dev/convert-3.1.2",
-      "packageUri": "lib/",
-      "languageVersion": "3.4"
-    },
-    {
-      "name": "coverage",
-      "rootUri": "file:///Users/jack/.pub-cache/hosted/pub.dev/coverage-1.15.0",
-      "packageUri": "lib/",
-      "languageVersion": "3.4"
-    },
-    {
-      "name": "crypto",
-      "rootUri": "file:///Users/jack/.pub-cache/hosted/pub.dev/crypto-3.0.7",
-      "packageUri": "lib/",
-      "languageVersion": "3.4"
-    },
-    {
-      "name": "file",
-      "rootUri": "file:///Users/jack/.pub-cache/hosted/pub.dev/file-7.0.1",
-      "packageUri": "lib/",
-      "languageVersion": "3.0"
-    },
-    {
-      "name": "frontend_server_client",
-      "rootUri": "file:///Users/jack/.pub-cache/hosted/pub.dev/frontend_server_client-4.0.0",
-      "packageUri": "lib/",
-      "languageVersion": "3.0"
-    },
-    {
-      "name": "glob",
-      "rootUri": "file:///Users/jack/.pub-cache/hosted/pub.dev/glob-2.1.3",
-      "packageUri": "lib/",
-      "languageVersion": "3.3"
-    },
-    {
-      "name": "http",
-      "rootUri": "file:///Users/jack/.pub-cache/hosted/pub.dev/http-1.6.0",
-      "packageUri": "lib/",
-      "languageVersion": "3.4"
-    },
-    {
-      "name": "http_multi_server",
-      "rootUri": "file:///Users/jack/.pub-cache/hosted/pub.dev/http_multi_server-3.2.2",
-      "packageUri": "lib/",
-      "languageVersion": "3.2"
-    },
-    {
-      "name": "http_parser",
-      "rootUri": "file:///Users/jack/.pub-cache/hosted/pub.dev/http_parser-4.1.2",
-      "packageUri": "lib/",
-      "languageVersion": "3.4"
-    },
-    {
-      "name": "io",
-      "rootUri": "file:///Users/jack/.pub-cache/hosted/pub.dev/io-1.0.5",
-      "packageUri": "lib/",
-      "languageVersion": "3.4"
-    },
-    {
-      "name": "json_schema",
-      "rootUri": "file:///Users/jack/.pub-cache/hosted/pub.dev/json_schema-5.2.2",
-      "packageUri": "lib/",
-      "languageVersion": "2.12"
-    },
-    {
-      "name": "logging",
-      "rootUri": "file:///Users/jack/.pub-cache/hosted/pub.dev/logging-1.3.0",
-      "packageUri": "lib/",
-      "languageVersion": "3.4"
-    },
-    {
-      "name": "matcher",
-      "rootUri": "file:///Users/jack/.pub-cache/hosted/pub.dev/matcher-0.12.20",
-      "packageUri": "lib/",
-      "languageVersion": "3.10"
-    },
-    {
-      "name": "meta",
-      "rootUri": "file:///Users/jack/.pub-cache/hosted/pub.dev/meta-1.18.2",
-      "packageUri": "lib/",
-      "languageVersion": "3.5"
-    },
-    {
-      "name": "mime",
-      "rootUri": "file:///Users/jack/.pub-cache/hosted/pub.dev/mime-2.0.0",
-      "packageUri": "lib/",
-      "languageVersion": "3.2"
-    },
-    {
-      "name": "node_preamble",
-      "rootUri": "file:///Users/jack/.pub-cache/hosted/pub.dev/node_preamble-2.0.2",
-      "packageUri": "lib/",
-      "languageVersion": "2.12"
-    },
-    {
-      "name": "package_config",
-      "rootUri": "file:///Users/jack/.pub-cache/hosted/pub.dev/package_config-2.2.0",
-      "packageUri": "lib/",
-      "languageVersion": "3.4"
-    },
-    {
-      "name": "path",
-      "rootUri": "file:///Users/jack/.pub-cache/hosted/pub.dev/path-1.9.1",
-      "packageUri": "lib/",
-      "languageVersion": "3.4"
-    },
-    {
-      "name": "pool",
-      "rootUri": "file:///Users/jack/.pub-cache/hosted/pub.dev/pool-1.5.2",
-      "packageUri": "lib/",
-      "languageVersion": "3.4"
-    },
-    {
-      "name": "pub_semver",
-      "rootUri": "file:///Users/jack/.pub-cache/hosted/pub.dev/pub_semver-2.2.0",
-      "packageUri": "lib/",
-      "languageVersion": "3.4"
-    },
-    {
-      "name": "quiver",
-      "rootUri": "file:///Users/jack/.pub-cache/hosted/pub.dev/quiver-3.2.2",
-      "packageUri": "lib/",
-      "languageVersion": "2.17"
-    },
-    {
-      "name": "rfc_6901",
-      "rootUri": "file:///Users/jack/.pub-cache/hosted/pub.dev/rfc_6901-0.2.1",
-      "packageUri": "lib/",
-      "languageVersion": "3.0"
-    },
-    {
-      "name": "shelf",
-      "rootUri": "file:///Users/jack/.pub-cache/hosted/pub.dev/shelf-1.4.2",
-      "packageUri": "lib/",
-      "languageVersion": "3.4"
-    },
-    {
-      "name": "shelf_packages_handler",
-      "rootUri": "file:///Users/jack/.pub-cache/hosted/pub.dev/shelf_packages_handler-3.0.2",
-      "packageUri": "lib/",
-      "languageVersion": "2.17"
-    },
-    {
-      "name": "shelf_static",
-      "rootUri": "file:///Users/jack/.pub-cache/hosted/pub.dev/shelf_static-1.1.3",
-      "packageUri": "lib/",
-      "languageVersion": "3.3"
-    },
-    {
-      "name": "shelf_web_socket",
-      "rootUri": "file:///Users/jack/.pub-cache/hosted/pub.dev/shelf_web_socket-3.0.0",
-      "packageUri": "lib/",
-      "languageVersion": "3.5"
-    },
-    {
-      "name": "source_map_stack_trace",
-      "rootUri": "file:///Users/jack/.pub-cache/hosted/pub.dev/source_map_stack_trace-2.1.2",
-      "packageUri": "lib/",
-      "languageVersion": "3.3"
-    },
-    {
-      "name": "source_maps",
-      "rootUri": "file:///Users/jack/.pub-cache/hosted/pub.dev/source_maps-0.10.13",
-      "packageUri": "lib/",
-      "languageVersion": "3.3"
-    },
-    {
-      "name": "source_span",
-      "rootUri": "file:///Users/jack/.pub-cache/hosted/pub.dev/source_span-1.10.2",
-      "packageUri": "lib/",
-      "languageVersion": "3.1"
-    },
-    {
-      "name": "stack_trace",
-      "rootUri": "file:///Users/jack/.pub-cache/hosted/pub.dev/stack_trace-1.12.1",
-      "packageUri": "lib/",
-      "languageVersion": "3.4"
-    },
-    {
-      "name": "stream_channel",
-      "rootUri": "file:///Users/jack/.pub-cache/hosted/pub.dev/stream_channel-2.1.4",
-      "packageUri": "lib/",
-      "languageVersion": "3.3"
-    },
-    {
-      "name": "string_scanner",
-      "rootUri": "file:///Users/jack/.pub-cache/hosted/pub.dev/string_scanner-1.4.1",
-      "packageUri": "lib/",
-      "languageVersion": "3.1"
-    },
-    {
-      "name": "term_glyph",
-      "rootUri": "file:///Users/jack/.pub-cache/hosted/pub.dev/term_glyph-1.2.2",
-      "packageUri": "lib/",
-      "languageVersion": "3.1"
-    },
-    {
-      "name": "test",
-      "rootUri": "file:///Users/jack/.pub-cache/hosted/pub.dev/test-1.31.1",
-      "packageUri": "lib/",
-      "languageVersion": "3.10"
-    },
-    {
-      "name": "test_api",
-      "rootUri": "file:///Users/jack/.pub-cache/hosted/pub.dev/test_api-0.7.12",
-      "packageUri": "lib/",
-      "languageVersion": "3.10"
-    },
-    {
-      "name": "test_core",
-      "rootUri": "file:///Users/jack/.pub-cache/hosted/pub.dev/test_core-0.6.18",
-      "packageUri": "lib/",
-      "languageVersion": "3.10"
-    },
-    {
-      "name": "typed_data",
-      "rootUri": "file:///Users/jack/.pub-cache/hosted/pub.dev/typed_data-1.4.0",
-      "packageUri": "lib/",
-      "languageVersion": "3.5"
-    },
-    {
-      "name": "uri",
-      "rootUri": "file:///Users/jack/.pub-cache/hosted/pub.dev/uri-1.0.0",
-      "packageUri": "lib/",
-      "languageVersion": "2.12"
-    },
-    {
-      "name": "vm_service",
-      "rootUri": "file:///Users/jack/.pub-cache/hosted/pub.dev/vm_service-15.2.0",
-      "packageUri": "lib/",
-      "languageVersion": "3.5"
-    },
-    {
-      "name": "watcher",
-      "rootUri": "file:///Users/jack/.pub-cache/hosted/pub.dev/watcher-1.2.1",
-      "packageUri": "lib/",
-      "languageVersion": "3.4"
-    },
-    {
-      "name": "web",
-      "rootUri": "file:///Users/jack/.pub-cache/hosted/pub.dev/web-1.1.1",
-      "packageUri": "lib/",
-      "languageVersion": "3.4"
-    },
-    {
-      "name": "web_socket",
-      "rootUri": "file:///Users/jack/.pub-cache/hosted/pub.dev/web_socket-1.0.1",
-      "packageUri": "lib/",
-      "languageVersion": "3.4"
-    },
-    {
-      "name": "web_socket_channel",
-      "rootUri": "file:///Users/jack/.pub-cache/hosted/pub.dev/web_socket_channel-3.0.3",
-      "packageUri": "lib/",
-      "languageVersion": "3.3"
-    },
-    {
-      "name": "webkit_inspection_protocol",
-      "rootUri": "file:///Users/jack/.pub-cache/hosted/pub.dev/webkit_inspection_protocol-1.2.1",
-      "packageUri": "lib/",
-      "languageVersion": "3.0"
-    },
-    {
-      "name": "yaml",
-      "rootUri": "file:///Users/jack/.pub-cache/hosted/pub.dev/yaml-3.1.3",
-      "packageUri": "lib/",
-      "languageVersion": "3.4"
-    },
-    {
-      "name": "nomos_dsl",
-      "rootUri": "../",
-      "packageUri": "lib/",
-      "languageVersion": "3.5"
-    }
-  ],
-  "generator": "pub",
-  "generatorVersion": "3.11.5",
-  "flutterRoot": "file:///opt/homebrew/share/flutter",
-  "flutterVersion": "3.41.9",
-  "pubCache": "file:///Users/jack/.pub-cache"
-}