halfcycle 0.12.0-rc.4 → 0.12.0-rc.6

package/.claude-plugin/plugin.json

@@ -1,6 +1,6 @@
 {
   "name": "halfcycle",
-  "version": "0.12.0-rc.4",
+  "version": "0.12.0-rc.6",
   "description": "Halfcycle Method bundle — resolution-stub slash commands, remote method-delivery registration, and governance-hook wiring for a Halfcycle engagement repo. It ships NO worker role files: a project's roles are authored from that project's own recorded decisions at orchestration kickoff (FX-2, W3-F-27).",
   "commands": [
     {

package/dist/check-criteria.d.ts

@@ -1,6 +1,6 @@
 /**
  * `npx halfcycle@latest check-criteria [<record file>] [--repo <root>]`
- * (`whole-phase-criteria-check` AC4, M1–M7; `edge-case-criteria` AC5, M8 and M9).
+ * (`whole-phase-criteria-check` AC4, M1–M7).
  *
  * OFFLINE, ALWAYS. This verb reads only files on the person's own machine — the
  * plan file `docs/build-records/task-plan.json`, each spec file the plan lists in
@@ -11,7 +11,7 @@
  * ONE HOME FOR EACH THING IT READS. The plan is parsed with `taskPlanSchema` through
  * `check-tasks.ts`'s `readJsonFile`, as `check-tasks` and `ready` read it; the spec
  * files are opened only by `readPlanSpecFiles`; the record only by
- * `readCriteriaRecordFile`, through the wire's own schema for it. The rules M1–M9, the
+ * `readCriteriaRecordFile`, through the wire's own schema for it. The rules M1–M7, the
  * clear line and every line's words are `checkCriteriaRecord` (`@halfcycle/core`),
  * which is pure. This module's whole job is reading the files, handing them over,
  * and turning the answer into an exit code: 0 clean, 1 any line, 2 a usage error or a

package/dist/cli.js

@@ -790,8 +790,6 @@ var taskPlanLineText = {
   V5: (c, m, b) => `"${c}" checks the finished phase, but ${m} also holds "${b}", which builds part of it. Give "${c}" to a crew member who holds no build task in this phase.`,
   V6Walk: (c, n, ids, w) => `${CRITERIA_RECORD_FILE} says "${c}" turned ${n} criteria into fix tasks: ${ids.join(", ")}. "${w}" must wait for a new check that waits for each of them: add a task of kind "check" with "criteriaCheck": true that waits for ${ids.join(", ")}, and add it to the dependsOn of "${w}".`,
   V6Missing: (x) => `${CRITERIA_RECORD_FILE} names "${x}" as a fix task, and the plan has no build task "${x}". Add it, citing the criterion it fixes.`,
-  E1: (crit) => `${crit} is an edge case, and no task writes its test before it is built. Add a build task, held by a crew member who builds none of ${crit}, that writes the test and names ${crit} in its criteria, and make each task that builds ${crit} wait for it.`,
-  E2: (t, crit, m, b) => `"${t}" writes the test for ${crit}, an edge case, but ${m} also holds "${b}", which builds it. Give "${t}" to a crew member who builds none of ${crit}.`,
   J1: (a) => `"${a}" says "cheapFirst", but it is not a build task. Remove "cheapFirst".`,
   J2: (a, m) => `"${a}" says "cheapFirst", but ${m} is not on the standard tier. Only a standard-tier task can start on the cheaper tier. Remove "cheapFirst" or give "${a}" to a standard-tier crew member.`,
   P: () => "The plan is clear: no two tasks that could run at once change the same thing, and every check is in place."
@@ -1148,10 +1146,6 @@ function liveCriterionNumbers(criteria) {
   const live = new Set(criteria.filter((c) => !c.retired).map((c) => c.number));
   return distinct(criteria.map((c) => c.number)).filter((n) => live.has(n));
 }
-function liveEdgeCriterionNumbers(criteria) {
-  const edge = new Set(criteria.filter((c) => !c.retired && c.kind === "edge").map((c) => c.number));
-  return liveCriterionNumbers(criteria).filter((n) => edge.has(n));
-}
 function specLines(plan, specFiles) {
   const folder2 = specFiles.folder;
   if (plan.specs === TASK_PLAN_SPECS_NONE)
@@ -1534,57 +1528,6 @@ function criteriaCheckLines(tasks, before, record2) {
   }
   return lines;
 }
-function edgeCriteriaAt(plan, specFiles, before) {
-  const criteriaOf = specCriteriaBySlug(specFiles);
-  const out = [];
-  for (const slug of planSpecNamesToRead(plan)) {
-    const criteria = criteriaOf.get(slug) ?? null;
-    if (criteria === null)
-      continue;
-    for (const n of liveEdgeCriterionNumbers(criteria)) {
-      const criterion = `${slug} AC${n}`;
-      const builders = [];
-      plan.tasks.forEach((task, i) => {
-        if (task.kind === "build" && Array.isArray(task.criteria) && task.criteria.includes(criterion)) {
-          builders.push(i);
-        }
-      });
-      const testTask = builders.length < 2 ? void 0 : builders.find((t) => builders.every((b) => b === t || hasBit(before[b], t)));
-      out.push({ criterion, slug, builders, testTask: testTask ?? null });
-    }
-  }
-  return out;
-}
-function edgeCriterionTests(plan, specFiles) {
-  const { before } = waitsFor(plan.tasks);
-  return edgeCriteriaAt(plan, specFiles, before).map((edge) => ({
-    criterion: edge.criterion,
-    slug: edge.slug,
-    builders: edge.builders.map((i) => plan.tasks[i].id),
-    testTask: edge.testTask === null ? null : plan.tasks[edge.testTask].id
-  }));
-}
-function edgeCaseLines(plan, specFiles, before) {
-  const tasks = plan.tasks;
-  const lines = [];
-  for (const edge of edgeCriteriaAt(plan, specFiles, before)) {
-    if (edge.builders.length === 0)
-      continue;
-    if (edge.testTask === null) {
-      lines.push(refusal("E1", taskPlanLineText.E1(edge.criterion)));
-      continue;
-    }
-    const t = edge.testTask;
-    const holder = tasks[t].agent;
-    if (holder === void 0)
-      continue;
-    const b = edge.builders.find((p) => p !== t && tasks[p].agent === holder);
-    if (b !== void 0) {
-      lines.push(refusal("E2", taskPlanLineText.E2(tasks[t].id, edge.criterion, holder, tasks[b].id)));
-    }
-  }
-  return lines;
-}
 function phasePlanUnusableWhy(unusable, asked) {
   switch (unusable.kind) {
     case "unreadable":
@@ -1732,7 +1675,6 @@ function checkTaskPlan(plan, request) {
   lines.push(...ownershipNotes(plan, request.specFiles));
   lines.push(...placementLines(tasks, before));
   lines.push(...criteriaCheckLines(tasks, before, request.criteriaRecord));
-  lines.push(...edgeCaseLines(plan, request.specFiles, before));
   const refused3 = lines.some((line) => line.refuses);
   if (!refused3)
     lines.push({ code: "P", text: taskPlanLineText.P(), refuses: false });
@@ -1748,10 +1690,6 @@ var criteriaRecordLineText = {
   M5: (file, x, folder2) => `${file} has a row for "${x}", which is not a live criterion of this phase's features in ${folder2}. Remove it, or correct it.`,
   M6: (crit) => `${crit} has more than one row. Keep one.`,
   M7: (crit, x) => `${crit} is fixed by "${x}", but the plan has no build task "${x}" that names ${crit} in its criteria. Add the task, or name it there.`,
-  M8Unmarked: (crit, folder2, slug) => `${crit} is not marked an edge case in ${folder2}/${slug}.md, so its row does not carry "edge".`,
-  M8Marked: (crit, folder2, slug) => `${crit} is marked an edge case in ${folder2}/${slug}.md, so its row carries "edge": true.`,
-  M9Evidence: (crit, t) => `${crit} is an edge case, so it is met only by the test written in "${t}", run on a task that builds it. Give its evidence as a test with "writtenIn": "${t}" and the task that built it.`,
-  M9NoTestTask: (crit) => `${crit} is an edge case, and the plan has no task that writes its test, so it cannot be counted as met. Run check-tasks and add that task.`,
   P: (met, fix) => `The record covers every criterion of this phase's features: ${met} met, ${fix} to fix.`
 };
 function criteriaRecordMismatch(record2, plan) {
@@ -1773,45 +1711,9 @@ function liveCriteria(specFiles) {
   }
   return out;
 }
-function liveEdgeCriteria(specFiles) {
-  const out = /* @__PURE__ */ new Set();
-  const seen = /* @__PURE__ */ new Set();
-  for (const entry of specFiles.entries) {
-    if (entry.criteria === null || seen.has(entry.slug))
-      continue;
-    seen.add(entry.slug);
-    for (const n of liveEdgeCriterionNumbers(entry.criteria))
-      out.add(`${entry.slug} AC${n}`);
-  }
-  return out;
-}
-function slugOf(criterion) {
-  return criterion.slice(0, criterion.lastIndexOf(" AC"));
-}
 function refusal2(code, text) {
   return { code, text, refuses: true };
 }
-function edgeRowLines(row, isEdge, testTask, plan, folder2) {
-  const crit = row.criterion;
-  const lines = [];
-  const marked = row.edge === true;
-  if (marked && !isEdge)
-    lines.push(refusal2("M8", criteriaRecordLineText.M8Unmarked(crit, folder2, slugOf(crit))));
-  if (!marked && isEdge)
-    lines.push(refusal2("M8", criteriaRecordLineText.M8Marked(crit, folder2, slugOf(crit))));
-  if (!isEdge || row.status !== "met")
-    return lines;
-  if (testTask === null) {
-    lines.push(refusal2("M9", criteriaRecordLineText.M9NoTestTask(crit)));
-    return lines;
-  }
-  const evidence = row.evidence;
-  const builtBy = (id) => id !== testTask && plan.tasks.some((task) => task.id === id && task.kind === "build" && Array.isArray(task.criteria) && task.criteria.includes(crit));
-  const held = evidence.kind === "test" && evidence.writtenIn === testTask && builtBy(evidence.task);
-  if (!held)
-    lines.push(refusal2("M9", criteriaRecordLineText.M9Evidence(crit, testTask)));
-  return lines;
-}
 function checkCriteriaRecord(record2, plan, request) {
   const { file, specFiles } = request;
   let met = 0;
@@ -1846,12 +1748,6 @@ function checkCriteriaRecord(record2, plan, request) {
   }
   const live = liveCriteria(specFiles);
   const liveSet = new Set(live);
-  const edges = liveEdgeCriteria(specFiles);
-  const testTaskOf = /* @__PURE__ */ new Map();
-  for (const edge of edgeCriterionTests(plan, specFiles)) {
-    if (!testTaskOf.has(edge.criterion))
-      testTaskOf.set(edge.criterion, edge.testTask);
-  }
   const named2 = /* @__PURE__ */ new Set();
   const told = /* @__PURE__ */ new Set();
   for (const row of record2.rows) {
@@ -1869,7 +1765,6 @@ function checkCriteriaRecord(record2, plan, request) {
       told.add(crit);
     }
     named2.add(crit);
-    lines.push(...edgeRowLines(row, edges.has(crit), testTaskOf.get(crit) ?? null, plan, specFiles.folder));
   }
   for (const row of record2.rows) {
     if (row.status !== "fix" || !liveSet.has(row.criterion))
@@ -10393,7 +10288,7 @@ if [ -n "$SESSION_ID" ]; then
 else
   MARKER_FILE="\${MARKER_DIR}/halfcycle-session-\${HASH}.ref"
 fi
-git -C "$REPO_ROOT" rev-parse HEAD > "$MARKER_FILE" 2>/dev/null || true
+( cd "$REPO_ROOT" && git rev-parse HEAD ) > "$MARKER_FILE" 2>/dev/null || true
 exit 0
 `;
 }