@okfit/profiles 0.7.4 → 0.8.0

package/Provenance.js

@@ -1,5 +1,5 @@
 import { Derivation } from "./Derivation.js";
-import { Diagnostic, OkfitConfig, Timestamp } from "@okfit/core";
+import { Diagnostic, DiagnosticRange, OkfitConfig, Timestamp } from "@okfit/core";
 import { DateTime, Effect, Path, Schema } from "effect";
 
 //#region src/Provenance.ts
@@ -27,8 +27,10 @@ const encodeAt = Schema.encodeSync(Timestamp);
 * The tier-2 fallback returns `[]` the moment a `NotARepositoryError`
 * surfaces: a bundle outside git has nothing to derive for any concept still
 * on tier 2, so the first occurrence short-circuits the whole walk, not just
-* the concept that triggered it (S-8). Emits no `range` (S-12, Judge note
-* 7): `Diagnostic.range` is `Schema.optionalKey` and is simply omitted.
+* the concept that triggered it (S-8). Ranges at the `generated.at` value
+* (phase 4 decision 2) via `DiagnosticRange.forFrontmatterPath`; omitted
+* (`Diagnostic.range` is `Schema.optionalKey`) when the concept's document has
+* no frontmatter block at all.
 *
 * `Provenance.lint` is total over severity (S-28, amending Judge note 3):
 * when `OkfitConfig.severityFor(config, "generated-at-drift")` resolves to
@@ -58,18 +60,23 @@ var Provenance = class {
 		const skipGitTier = options?.skipGitTier === true;
 		const path = yield* Path.Path;
 		const diagnostics = [];
+		/** Pushes a `generated-at-drift` diagnostic, ranged at `generated.at`'s own value when found. */
+		const pushDrift = (file, message, range) => {
+			diagnostics.push(Diagnostic.make({
+				file,
+				code: "generated-at-drift",
+				severity,
+				message,
+				...range === void 0 ? {} : { range }
+			}));
+		};
 		for (const [, concept] of bundle.concepts) {
 			if (concept.frontmatter.generated === void 0) continue;
 			const recordedDigest = concept.frontmatter.generated.body_sha256;
 			if (recordedDigest !== void 0) {
 				const currentDigest = yield* Derivation.bodyDigest(concept.document.source);
 				if (currentDigest === recordedDigest) continue;
-				diagnostics.push(Diagnostic.make({
-					file: concept.path,
-					code: "generated-at-drift",
-					severity,
-					message: `the body has changed since generated.at was last stamped: generated.body_sha256 is ${recordedDigest}, the current body hashes to ${currentDigest}`
-				}));
+				pushDrift(concept.path, `the body has changed since generated.at was last stamped: generated.body_sha256 is ${recordedDigest}, the current body hashes to ${currentDigest}`, DiagnosticRange.forFrontmatterPath(concept.document, ["generated", "at"]));
 				continue;
 			}
 			if (skipGitTier) continue;
@@ -79,12 +86,7 @@ var Provenance = class {
 			if (derived._tag === "uncommitted") continue;
 			const recorded = concept.frontmatter.generated.at;
 			if (recorded !== void 0 && DateTime.Equivalence(recorded, derived.at)) continue;
-			diagnostics.push(Diagnostic.make({
-				file: concept.path,
-				code: "generated-at-drift",
-				severity,
-				message: `generated.at is ${recorded === void 0 ? "missing" : encodeAt(recorded)}; the last body change was ${encodeAt(derived.at)} (${derived.sha.slice(0, 7)})`
-			}));
+			pushDrift(concept.path, `generated.at is ${recorded === void 0 ? "missing" : encodeAt(recorded)}; the last body change was ${encodeAt(derived.at)} (${derived.sha.slice(0, 7)})`, DiagnosticRange.forFrontmatterPath(concept.document, ["generated", "at"]));
 		}
 		return diagnostics;
 	});

package/SoftwareProject.js

@@ -1,3 +1,5 @@
+import { DiagnosticRange } from "@okfit/core";
+
 //#region src/SoftwareProject.ts
 /**
 * Hand-authored, typed `OkfitConfig` (P-25). Sets ONLY `concepts`, `types`,
@@ -258,11 +260,12 @@ const layout = {
 	]
 };
 const PROJECT_TYPE = "Project";
-const diagnostic = (file, code, message) => ({
+const diagnostic = (file, code, message, range) => ({
 	file,
 	code,
 	severity: "error",
-	message
+	message,
+	...range === void 0 ? {} : { range }
 });
 /** Plain code-unit order on `file` then `code` (decision 6); never locale-dependent. */
 const compare = (a, b) => {
@@ -277,7 +280,10 @@ const compare = (a, b) => {
 * (`CORE/Bundle.ts:98`; `Concept.type` `CORE/Concept.ts:27`). The rules are
 * independent: two Projects with one nested yield three diagnostics. The file
 * name `project.md` is layout guidance, not checked. Severity is always
-* `error`; no `range`. Output is sorted by `file` then `code`.
+* `error`. `project-multiple` and `project-not-at-root` range at the
+* misplaced concept's `type` value (phase 4 decision 2, via
+* `DiagnosticRange.forFrontmatterPath`); `project-missing` is bundle-level
+* (`file: ""`) and stays range-less. Output is sorted by `file` then `code`.
 */
 const check = (bundle) => {
 	const projects = [...bundle.concepts.values()].filter((concept) => concept.frontmatter.type === PROJECT_TYPE);
@@ -285,9 +291,9 @@ const check = (bundle) => {
 	if (projects.length === 0) out.push(diagnostic("", "project-missing", `No Project concept in the bundle; software-project expects exactly one at the bundle root (${layout.root.project})`));
 	if (projects.length > 1) for (const project of projects) {
 		const others = projects.filter((other) => other !== project).map((other) => other.path).sort();
-		out.push(diagnostic(project.path, "project-multiple", `Project concept "${project.path}" is one of ${projects.length}; software-project expects exactly one (others: ${others.join(", ")})`));
+		out.push(diagnostic(project.path, "project-multiple", `Project concept "${project.path}" is one of ${projects.length}; software-project expects exactly one (others: ${others.join(", ")})`, DiagnosticRange.forFrontmatterPath(project.document, ["type"])));
 	}
-	for (const project of projects) if (project.path.includes("/")) out.push(diagnostic(project.path, "project-not-at-root", `Project concept "${project.path}" is below the bundle root; software-project expects it beside ${layout.root.index}`));
+	for (const project of projects) if (project.path.includes("/")) out.push(diagnostic(project.path, "project-not-at-root", `Project concept "${project.path}" is below the bundle root; software-project expects it beside ${layout.root.index}`, DiagnosticRange.forFrontmatterPath(project.document, ["type"])));
 	return out.sort(compare);
 };
 /**

package/index.d.ts

@@ -410,8 +410,10 @@ export declare class Profiles {
  * The tier-2 fallback returns `[]` the moment a `NotARepositoryError`
  * surfaces: a bundle outside git has nothing to derive for any concept still
  * on tier 2, so the first occurrence short-circuits the whole walk, not just
- * the concept that triggered it (S-8). Emits no `range` (S-12, Judge note
- * 7): `Diagnostic.range` is `Schema.optionalKey` and is simply omitted.
+ * the concept that triggered it (S-8). Ranges at the `generated.at` value
+ * (phase 4 decision 2) via `DiagnosticRange.forFrontmatterPath`; omitted
+ * (`Diagnostic.range` is `Schema.optionalKey`) when the concept's document has
+ * no frontmatter block at all.
  *
  * `Provenance.lint` is total over severity (S-28, amending Judge note 3):
  * when `OkfitConfig.severityFor(config, "generated-at-drift")` resolves to

package/package.json

@@ -1,6 +1,6 @@
 {
 	"name": "@okfit/profiles",
-	"version": "0.7.4",
+	"version": "0.8.0",
 	"private": false,
 	"description": "Named OKF configuration profiles for okfit, starting with the software-project profile.",
 	"keywords": [
@@ -35,10 +35,10 @@
 		"./package.json": "./package.json"
 	},
 	"peerDependencies": {
-		"@effected/git": "^0.16.0",
-		"@effected/markdown": "^0.11.0",
-		"@okfit/core": "^0.7.2",
-		"effect": "4.0.0-rc.116"
+		"@effected/git": "^0.17.0",
+		"@effected/markdown": "^0.12.0",
+		"@okfit/core": "^0.8.0",
+		"effect": "4.0.0-rc.117"
 	},
 	"engines": {
 		"node": ">=24.11.0"