@voltro/plan 0.86.0 → 0.88.0

package/THIRD-PARTY-NOTICES.md

@@ -1,6 +1,6 @@
 # Third-Party Notices — @voltro/plan
 
-This package uses the open-source software listed below. Each is the
+This package uses the third-party software listed below. Each is the
 property of its respective copyright holders and is used under the terms of
 its license. This file is provided for attribution; it grants no rights in
 @voltro/plan itself, which is proprietary (see LICENSE).

package/dist/canonical.js

@@ -1,4 +1,4 @@
-//#region src/canonical.ts
+// src/canonical.ts
 var e = (e) => JSON.stringify(t(e)), t = (e) => {
 	if (Array.isArray(e)) return e.map(t);
 	if (typeof e == "object" && e) {
@@ -114,5 +114,4 @@ var e = (e) => JSON.stringify(t(e)), t = (e) => {
 	}
 	return [...o].map((e) => e.toString(16).padStart(8, "0")).join("");
 }, i = (t) => `sha256:${r(e(t))}`;
-//#endregion
 export { e as canonicalJson, i as fingerprint, r as sha256Hex };

package/dist/closure.js

@@ -1,6 +1,6 @@
 import { fingerprint as e } from "./canonical.js";
 import { Schema as t } from "effect";
-//#region src/closure.ts
+// src/closure.ts
 var n = "voltro-plan-closure/v1", r = t.String.pipe(t.check(t.isMinLength(1))), i = t.String.pipe(t.check(t.isPattern(/^\d{4}-\d{2}-\d{2}T\d{2}:\d{2}(:\d{2}(\.\d+)?)?(Z|[+-]\d{2}:\d{2})$/))), a = t.String.pipe(t.check(t.isPattern(/^sha256:[a-f0-9]{64}$/))), o = (e) => {
 	let o = e.grammar, s = (e) => t.String.pipe(t.check(t.isPattern(e))), c = t.Struct({
 		id: s(o.closureRun),
@@ -112,5 +112,4 @@ var n = "voltro-plan-closure/v1", r = t.String.pipe(t.check(t.isMinLength(1))),
 		certificate: y
 	};
 };
-//#endregion
 export { n as CLOSURE_SCHEMA_VERSION, o as closureFileSchema, c as closureState, d as decideClosure, s as planRevision };

package/dist/diagnostics.js

@@ -1,8 +1,7 @@
-//#region src/diagnostics.ts
+// src/diagnostics.ts
 var e = {
 	security: 0,
 	error: 1,
 	warning: 2
 }, t = (e, t) => (e ?? "") < (t ?? "") ? -1 : +((e ?? "") > (t ?? "")), n = (n) => [...n].sort((n, r) => e[n.severity] - e[r.severity] || t(n.locator.plan, r.locator.plan) || t(n.locator.workItem, r.locator.workItem) || t(n.ruleId, r.ruleId) || t(n.locator.file, r.locator.file) || t(n.locator.path, r.locator.path) || t(n.message, r.message)), r = (e, t = !1) => e.some((e) => e.severity !== "warning" || t);
-//#endregion
 export { r as blocks, n as sortDiagnostics };

package/dist/envelope.js

@@ -1,4 +1,4 @@
-//#region src/envelope.ts
+// src/envelope.ts
 var e = "voltro-plan-command/v1", t = (t) => ({
 	schemaVersion: e,
 	...t
@@ -12,5 +12,4 @@ var e = "voltro-plan-command/v1", t = (t) => ({
 	security: 6,
 	internal: 70
 };
-//#endregion
 export { e as COMMAND_SCHEMA_VERSION, n as EXIT, t as envelope };

package/dist/evidence.js

@@ -1,7 +1,7 @@
 import { canonicalJson as e } from "./canonical.js";
 import { EVIDENCE_KINDS as t } from "./schema.js";
 import { EXIT as n } from "./envelope.js";
-//#region src/evidence.ts
+// src/evidence.ts
 var r = (e, t, n, r, i, a) => ({
 	outcome: "refused",
 	exit: a,
@@ -61,7 +61,13 @@ var r = (e, t, n, r, i, a) => ({
 			} : r("evidence/idempotency-conflict", "error", `the key "${s.idempotencyKey}" was used for other evidence (${t.id})`, "Use a new key for new evidence.", c.id, n.conflict);
 		}
 	}
-	let d = `EVD-${c.id}-`, f = a.evidence.filter((e) => e.id.startsWith(d)).map((e) => Number(e.id.slice(d.length))), p = String(Math.max(0, ...f) + 1).padStart(3, "0");
+	let d = `EVD-${c.id}-`, f = 0n;
+	for (let e of a.evidence) {
+		if (!e.id.startsWith(d)) continue;
+		let t = BigInt(e.id.slice(d.length));
+		t > f && (f = t);
+	}
+	let p = String(f + 1n).padStart(3, "0");
 	return o.evidence.test(`${d}${p}`) ? {
 		outcome: "add",
 		evidence: {
@@ -70,7 +76,6 @@ var r = (e, t, n, r, i, a) => ({
 			observedAt: s.observedAt,
 			...s.idempotencyKey === void 0 ? {} : { idempotencyKey: s.idempotencyKey }
 		}
-	} : r("evidence/exhausted", "error", `${c.id} has no evidence number left`, "Supersede the item.", c.id, n.failed);
+	} : r("evidence/identifier", "error", `${c.id} cannot form a valid evidence identifier`, "Check the program identifier grammar.", c.id, n.failed);
 };
-//#endregion
 export { a as decideEvidence };

package/dist/ids.js

@@ -1,4 +1,4 @@
-//#region src/ids.ts
+// src/ids.ts
 var e = /^[A-Z][A-Z0-9]{1,9}$/, t = (t) => {
 	if (!e.test(t)) throw Error(`plan id prefix "${t}" is not 2 to 10 capital letters or digits, starting with a letter`);
 	return {
@@ -8,7 +8,7 @@ var e = /^[A-Z][A-Z0-9]{1,9}$/, t = (t) => {
 		acceptance: RegExp(`^${t}-[0-9]{2}-[0-9]{3}-A[0-9]{2}$`),
 		requirement: RegExp(`^${t}-[0-9]{2}-[0-9]{3}-E[0-9]{2}$`),
 		source: RegExp(`^SRC-${t}-[0-9]{2}-[0-9]{3}-[0-9]{3}$`),
-		evidence: RegExp(`^EVD-${t}-[0-9]{2}-[0-9]{3}-[0-9]{3}$`),
+		evidence: RegExp(`^EVD-${t}-[0-9]{2}-[0-9]{3}-[0-9]{3,}$`),
 		finding: RegExp(`^FND-${t}-[0-9]{2}-[0-9]{3}-[0-9]{3}$`),
 		adr: RegExp(`^ADR-${t}-[0-9]{3}$`),
 		closureRun: RegExp(`^CLR-${t}-[0-9]{2}-[0-9]{3}$`),
@@ -21,5 +21,4 @@ var e = /^[A-Z][A-Z0-9]{1,9}$/, t = (t) => {
 	let n = RegExp(`(?:^|-)(${e.prefix}-[0-9]{2}-[0-9]{3})(?:-|$)`).exec(t);
 	return n === null ? null : n[1];
 };
-//#endregion
 export { t as idGrammar, r as ownerItemOf, n as planNumberOf };

package/dist/impact.js

@@ -1,4 +1,4 @@
-//#region src/impact.ts
+// src/impact.ts
 var e = [
 	".",
 	":",
@@ -61,5 +61,4 @@ var e = [
 		unknown: a
 	};
 };
-//#endregion
 export { n as impactOf };

package/dist/lint.js

@@ -4,7 +4,7 @@ import { sortDiagnostics as a } from "./diagnostics.js";
 import { DERIVED as o, TRANSITIONS as s, derivedStatus as c, indexEvidence as l, verificationGaps as u } from "./state.js";
 import { closureFileSchema as d, closureState as f, planRevision as p } from "./closure.js";
 import { Cause as m, Exit as h, Schema as g, SchemaIssue as _ } from "effect";
-//#region src/lint.ts
+// src/lint.ts
 var v = (e, t, n, r, i, a = []) => ({
 	ruleId: e,
 	severity: t,
@@ -269,5 +269,4 @@ var v = (e, t, n, r, i, a = []) => ({
 		diagnostics: a(y)
 	};
 };
-//#endregion
 export { C as dependencyCycles, w as lintProgram };

package/dist/manifest.js

@@ -1,5 +1,5 @@
 import { Schema as e } from "effect";
-//#region src/manifest.ts
+// src/manifest.ts
 var t = "voltro-plan-manifest/v1", n = e.String.pipe(e.check(e.isMinLength(1)), e.check(e.makeFilter((e) => !e.startsWith("/") && !/^[A-Za-z]:/.test(e) && !e.split("/").includes("..") || "a path stays inside the project root"))), r = e.Struct({
 	schemaVersion: e.Literal(t),
 	prefix: e.String.pipe(e.check(e.isPattern(/^[A-Z][A-Z0-9]{1,9}$/))),
@@ -12,5 +12,4 @@ var t = "voltro-plan-manifest/v1", n = e.String.pipe(e.check(e.isMinLength(1)),
 	adrDir: e.optional(n),
 	findings: e.optional(e.Array(n))
 });
-//#endregion
 export { t as MANIFEST_SCHEMA_VERSION, r as Manifest };

package/dist/next.js

@@ -1,4 +1,4 @@
-//#region src/next.ts
+// src/next.ts
 var e = {
 	P0: 0,
 	P1: 1,
@@ -60,5 +60,4 @@ var e = {
 		file: f?.entry.file ?? null
 	};
 };
-//#endregion
 export { t as nextItem };

package/dist/schema.js

@@ -1,5 +1,5 @@
 import { Schema as e } from "effect";
-//#region src/schema.ts
+// src/schema.ts
 var t = e.String.pipe(e.check(e.isMinLength(1))), n = e.String.pipe(e.check(e.isPattern(/^\d{4}-\d{2}-\d{2}T\d{2}:\d{2}(:\d{2}(\.\d+)?)?(Z|[+-]\d{2}:\d{2})$/))), r = e.String.pipe(e.check(e.isPattern(/^sha256:[a-f0-9]{64}$/))), i = (t) => e.Array(t).pipe(e.check(e.makeFilter((e) => new Set(e).size === e.length || "items are listed twice"))), a = (t) => e.Array(t).pipe(e.check(e.isMinLength(1))), o = e.String.pipe(e.check(e.isPattern(/^[a-z0-9]+(?:[.:/-][a-z0-9]+)*$/))), s = [
 	"proposed",
 	"ready",
@@ -212,5 +212,4 @@ var t = e.String.pipe(e.check(e.isMinLength(1))), n = e.String.pipe(e.check(e.is
 	openedAt: n,
 	resolvedAt: e.optional(n)
 });
-//#endregion
 export { l as EVIDENCE_KINDS, d as ITEM_KINDS, c as PLAN_STATUSES, u as PRIORITIES, s as WORK_ITEM_STATUSES, m as evidenceSchema, h as findingSchema, p as planInstanceSchema };

package/dist/state.js

@@ -1,4 +1,4 @@
-//#region src/state.ts
+// src/state.ts
 var e = {
 	proposed: ["ready", "blocked"],
 	ready: [
@@ -63,5 +63,4 @@ var e = {
 	}
 	return a;
 }, a = (e, n) => n.length === 0 ? "verified" : t.has(e.status) ? "active" : e.status;
-//#endregion
 export { t as DERIVED, e as TRANSITIONS, a as derivedStatus, n as indexEvidence, i as verificationGaps };

package/dist/status.js

@@ -1,5 +1,5 @@
 import { WORK_ITEM_STATUSES as e } from "./schema.js";
-//#region src/status.ts
+// src/status.ts
 var t = () => Object.fromEntries(e.map((e) => [e, 0])), n = (e) => {
 	let n = t();
 	return {
@@ -31,5 +31,4 @@ var t = () => Object.fromEntries(e.map((e) => [e, 0])), n = (e) => {
 		items: e.items.size
 	};
 };
-//#endregion
 export { n as programStatus };

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@voltro/plan",
-  "version": "0.86.0",
+  "version": "0.88.0",
   "description": "The executable plan contract: ids, the v1 schema, lint, derived state, status and the next item — pure and browser-safe; the voltro plan CLI feeds it.",
   "keywords": [
     "voltro",
@@ -34,7 +34,7 @@
   },
   "dependencies": {},
   "peerDependencies": {
-    "effect": "4.0.1"
+    "effect": "4.1.0"
   },
   "publishConfig": {
     "access": "public"