@attalabs/vinaya 0.8.0 → 0.8.2

package/dist/checks/bin/check-registry-gates.js

@@ -1220,7 +1220,8 @@ function mapForgeFacts(raw) {
     reviewDecision: mapReviewDecision(raw.pullRequest?.reviewDecision),
     stateReason: mapStateReason(raw.issue.stateReason),
     closedAt: raw.issue.closedAt ?? null,
-    mergedAt: raw.pullRequest?.mergedAt ?? null
+    mergedAt: raw.pullRequest?.mergedAt ?? null,
+    closedByActor: raw.closedByActor ?? null
   };
 }
 function mapStateReason(reason) {
@@ -1313,6 +1314,7 @@ function buildBatchQuery(tranche, tasks) {
       timelineItems(last: 1, itemTypes: [CLOSED_EVENT]) {
         nodes {
           ... on ClosedEvent {
+            actor { login }
             closer {
               ... on PullRequest {
                 number
@@ -1350,7 +1352,8 @@ function extractRawFromResponse(repository, alias) {
   const issue = repository[`${alias}_issue`];
   const ref = repository[`${alias}_ref`];
   const prs = repository[`${alias}_prs`];
-  const rawCloser = issue?.timelineItems?.nodes?.[0]?.closer ?? null;
+  const timelineNode = issue?.timelineItems?.nodes?.[0];
+  const rawCloser = timelineNode?.closer ?? null;
   const closingPr = rawCloser && typeof rawCloser.number === "number" && typeof rawCloser.url === "string" ? rawCloser : null;
   const branchPr = prs && prs.nodes.length > 0 && prs.nodes[0] ? prs.nodes[0] : null;
   return {
@@ -1362,7 +1365,8 @@ function extractRawFromResponse(repository, alias) {
       labels: issue.labels.nodes.map((n) => n.name)
     } : null,
     refExists: Boolean(ref && ref.name.length > 0),
-    pullRequest: closingPr ?? branchPr
+    pullRequest: closingPr ?? branchPr,
+    closedByActor: timelineNode?.actor?.login ?? null
   };
 }
 function describeError(err) {
@@ -1500,6 +1504,11 @@ var FORGE_FACT_INPUTS = [
     fact: "mergedAt",
     readsFrom: "PullRequest.mergedAt",
     meaning: "Timestamp for the coherence oracle grandfather cutoff. No derivation rule reads it."
+  },
+  {
+    fact: "closedByActor",
+    readsFrom: "ClosedEvent.actor.login (most recent timeline CLOSED_EVENT)",
+    meaning: "GitHub login that hand-closed the Issue. No task-status derivation rule reads it — it is consumed by dispatch-gate.ts/coherence-checks.ts A1 to recognize a hand-closed dependency as resolved (task vinaya-engine-v1 21, #99), not by this status model."
   }
 ];
 var DERIVED_STATUSES = [
@@ -1979,7 +1988,7 @@ function isGrandfathered(isoDate) {
   return isoDate.slice(0, 10) < COHERENCE_ENFORCED_FROM;
 }
 var R1_GRANDFATHERED_ISSUES = new Set([279, 280, 281, 282]);
-function checkA1(entries) {
+function checkA1(entries, principalAllowlist = PRINCIPAL_ALLOWLIST) {
   const failures = [];
   for (const e of entries) {
     if (!e.facts)
@@ -1987,6 +1996,9 @@ function checkA1(entries) {
     if (e.facts.stateReason === "not_planned")
       continue;
     if (e.facts.issueState === "closed" && e.facts.prState !== "merged") {
+      const handClosed = e.facts.stateReason === "completed" && isPrincipal(e.facts.closedByActor, principalAllowlist);
+      if (handClosed)
+        continue;
       failures.push({
         issue: e.task.issue,
         tranche: e.trancheSlug,
@@ -2676,9 +2688,13 @@ function parseGlossaryTerms(glossaryContent) {
   return terms;
 }
 // ../../packages/aeg-core/src/dispatch-gate.ts
+function isHandClosedByRecognizedPrincipal(dep, principalAllowlist) {
+  return dep.issueState === "closed" && dep.stateReason === "completed" && isPrincipal(dep.closedByActor ?? null, principalAllowlist);
+}
 function checkDispatchReadiness(input) {
   const { trancheSlug, task } = input;
   const taskLabel = `task ${task.id} (tranche ${trancheSlug})`;
+  const principalAllowlist = input.principalAllowlist ?? PRINCIPAL_ALLOWLIST;
   const blockers = [];
   if (task.issue === null) {
     blockers.push(`dispatch-gate issue-existence: ${taskLabel} has no Issue (#TBD or blank) in the topology — not dispatchable until the Planner cuts the Issue.`);
@@ -2689,7 +2705,7 @@ function checkDispatchReadiness(input) {
     blockers.push(`dispatch-gate rationale: Issue #${input.issue.number} for ${taskLabel} fails the rationale gate (checkIssueRationale) — the Planner must complete the eight-field rationale before this task is dispatchable.`);
   }
   for (const dep of input.dependsOn) {
-    if (!dep.merged) {
+    if (!dep.merged && !isHandClosedByRecognizedPrincipal(dep, principalAllowlist)) {
       const issueStr = dep.issue !== null ? ` (#${dep.issue})` : "";
       blockers.push(`dispatch-gate depends-on: ${taskLabel} depends on ${dep.id}${issueStr}, whose PR is not merged yet — not dispatchable, it serializes behind it.`);
     }

package/dist/checks/bin/check-review-gate.js

@@ -1218,7 +1218,8 @@ function mapForgeFacts(raw) {
     reviewDecision: mapReviewDecision(raw.pullRequest?.reviewDecision),
     stateReason: mapStateReason(raw.issue.stateReason),
     closedAt: raw.issue.closedAt ?? null,
-    mergedAt: raw.pullRequest?.mergedAt ?? null
+    mergedAt: raw.pullRequest?.mergedAt ?? null,
+    closedByActor: raw.closedByActor ?? null
   };
 }
 function mapStateReason(reason) {
@@ -1311,6 +1312,7 @@ function buildBatchQuery(tranche, tasks) {
       timelineItems(last: 1, itemTypes: [CLOSED_EVENT]) {
         nodes {
           ... on ClosedEvent {
+            actor { login }
             closer {
               ... on PullRequest {
                 number
@@ -1348,7 +1350,8 @@ function extractRawFromResponse(repository, alias) {
   const issue = repository[`${alias}_issue`];
   const ref = repository[`${alias}_ref`];
   const prs = repository[`${alias}_prs`];
-  const rawCloser = issue?.timelineItems?.nodes?.[0]?.closer ?? null;
+  const timelineNode = issue?.timelineItems?.nodes?.[0];
+  const rawCloser = timelineNode?.closer ?? null;
   const closingPr = rawCloser && typeof rawCloser.number === "number" && typeof rawCloser.url === "string" ? rawCloser : null;
   const branchPr = prs && prs.nodes.length > 0 && prs.nodes[0] ? prs.nodes[0] : null;
   return {
@@ -1360,7 +1363,8 @@ function extractRawFromResponse(repository, alias) {
       labels: issue.labels.nodes.map((n) => n.name)
     } : null,
     refExists: Boolean(ref && ref.name.length > 0),
-    pullRequest: closingPr ?? branchPr
+    pullRequest: closingPr ?? branchPr,
+    closedByActor: timelineNode?.actor?.login ?? null
   };
 }
 function describeError(err) {
@@ -1498,6 +1502,11 @@ var FORGE_FACT_INPUTS = [
     fact: "mergedAt",
     readsFrom: "PullRequest.mergedAt",
     meaning: "Timestamp for the coherence oracle grandfather cutoff. No derivation rule reads it."
+  },
+  {
+    fact: "closedByActor",
+    readsFrom: "ClosedEvent.actor.login (most recent timeline CLOSED_EVENT)",
+    meaning: "GitHub login that hand-closed the Issue. No task-status derivation rule reads it — it is consumed by dispatch-gate.ts/coherence-checks.ts A1 to recognize a hand-closed dependency as resolved (task vinaya-engine-v1 21, #99), not by this status model."
   }
 ];
 var DERIVED_STATUSES = [
@@ -1977,7 +1986,7 @@ function isGrandfathered(isoDate) {
   return isoDate.slice(0, 10) < COHERENCE_ENFORCED_FROM;
 }
 var R1_GRANDFATHERED_ISSUES = new Set([279, 280, 281, 282]);
-function checkA1(entries) {
+function checkA1(entries, principalAllowlist = PRINCIPAL_ALLOWLIST) {
   const failures = [];
   for (const e of entries) {
     if (!e.facts)
@@ -1985,6 +1994,9 @@ function checkA1(entries) {
     if (e.facts.stateReason === "not_planned")
       continue;
     if (e.facts.issueState === "closed" && e.facts.prState !== "merged") {
+      const handClosed = e.facts.stateReason === "completed" && isPrincipal(e.facts.closedByActor, principalAllowlist);
+      if (handClosed)
+        continue;
       failures.push({
         issue: e.task.issue,
         tranche: e.trancheSlug,
@@ -2674,9 +2686,13 @@ function parseGlossaryTerms(glossaryContent) {
   return terms;
 }
 // ../../packages/aeg-core/src/dispatch-gate.ts
+function isHandClosedByRecognizedPrincipal(dep, principalAllowlist) {
+  return dep.issueState === "closed" && dep.stateReason === "completed" && isPrincipal(dep.closedByActor ?? null, principalAllowlist);
+}
 function checkDispatchReadiness(input) {
   const { trancheSlug, task } = input;
   const taskLabel = `task ${task.id} (tranche ${trancheSlug})`;
+  const principalAllowlist = input.principalAllowlist ?? PRINCIPAL_ALLOWLIST;
   const blockers = [];
   if (task.issue === null) {
     blockers.push(`dispatch-gate issue-existence: ${taskLabel} has no Issue (#TBD or blank) in the topology — not dispatchable until the Planner cuts the Issue.`);
@@ -2687,7 +2703,7 @@ function checkDispatchReadiness(input) {
     blockers.push(`dispatch-gate rationale: Issue #${input.issue.number} for ${taskLabel} fails the rationale gate (checkIssueRationale) — the Planner must complete the eight-field rationale before this task is dispatchable.`);
   }
   for (const dep of input.dependsOn) {
-    if (!dep.merged) {
+    if (!dep.merged && !isHandClosedByRecognizedPrincipal(dep, principalAllowlist)) {
       const issueStr = dep.issue !== null ? ` (#${dep.issue})` : "";
       blockers.push(`dispatch-gate depends-on: ${taskLabel} depends on ${dep.id}${issueStr}, whose PR is not merged yet — not dispatchable, it serializes behind it.`);
     }

package/dist/checks/bin/check-single-plan-pr.js

@@ -1218,7 +1218,8 @@ function mapForgeFacts(raw) {
     reviewDecision: mapReviewDecision(raw.pullRequest?.reviewDecision),
     stateReason: mapStateReason(raw.issue.stateReason),
     closedAt: raw.issue.closedAt ?? null,
-    mergedAt: raw.pullRequest?.mergedAt ?? null
+    mergedAt: raw.pullRequest?.mergedAt ?? null,
+    closedByActor: raw.closedByActor ?? null
   };
 }
 function mapStateReason(reason) {
@@ -1311,6 +1312,7 @@ function buildBatchQuery(tranche, tasks) {
       timelineItems(last: 1, itemTypes: [CLOSED_EVENT]) {
         nodes {
           ... on ClosedEvent {
+            actor { login }
             closer {
               ... on PullRequest {
                 number
@@ -1348,7 +1350,8 @@ function extractRawFromResponse(repository, alias) {
   const issue = repository[`${alias}_issue`];
   const ref = repository[`${alias}_ref`];
   const prs = repository[`${alias}_prs`];
-  const rawCloser = issue?.timelineItems?.nodes?.[0]?.closer ?? null;
+  const timelineNode = issue?.timelineItems?.nodes?.[0];
+  const rawCloser = timelineNode?.closer ?? null;
   const closingPr = rawCloser && typeof rawCloser.number === "number" && typeof rawCloser.url === "string" ? rawCloser : null;
   const branchPr = prs && prs.nodes.length > 0 && prs.nodes[0] ? prs.nodes[0] : null;
   return {
@@ -1360,7 +1363,8 @@ function extractRawFromResponse(repository, alias) {
       labels: issue.labels.nodes.map((n) => n.name)
     } : null,
     refExists: Boolean(ref && ref.name.length > 0),
-    pullRequest: closingPr ?? branchPr
+    pullRequest: closingPr ?? branchPr,
+    closedByActor: timelineNode?.actor?.login ?? null
   };
 }
 function describeError(err) {
@@ -1498,6 +1502,11 @@ var FORGE_FACT_INPUTS = [
     fact: "mergedAt",
     readsFrom: "PullRequest.mergedAt",
     meaning: "Timestamp for the coherence oracle grandfather cutoff. No derivation rule reads it."
+  },
+  {
+    fact: "closedByActor",
+    readsFrom: "ClosedEvent.actor.login (most recent timeline CLOSED_EVENT)",
+    meaning: "GitHub login that hand-closed the Issue. No task-status derivation rule reads it — it is consumed by dispatch-gate.ts/coherence-checks.ts A1 to recognize a hand-closed dependency as resolved (task vinaya-engine-v1 21, #99), not by this status model."
   }
 ];
 var DERIVED_STATUSES = [
@@ -1977,7 +1986,7 @@ function isGrandfathered(isoDate) {
   return isoDate.slice(0, 10) < COHERENCE_ENFORCED_FROM;
 }
 var R1_GRANDFATHERED_ISSUES = new Set([279, 280, 281, 282]);
-function checkA1(entries) {
+function checkA1(entries, principalAllowlist = PRINCIPAL_ALLOWLIST) {
   const failures = [];
   for (const e of entries) {
     if (!e.facts)
@@ -1985,6 +1994,9 @@ function checkA1(entries) {
     if (e.facts.stateReason === "not_planned")
       continue;
     if (e.facts.issueState === "closed" && e.facts.prState !== "merged") {
+      const handClosed = e.facts.stateReason === "completed" && isPrincipal(e.facts.closedByActor, principalAllowlist);
+      if (handClosed)
+        continue;
       failures.push({
         issue: e.task.issue,
         tranche: e.trancheSlug,
@@ -2674,9 +2686,13 @@ function parseGlossaryTerms(glossaryContent) {
   return terms;
 }
 // ../../packages/aeg-core/src/dispatch-gate.ts
+function isHandClosedByRecognizedPrincipal(dep, principalAllowlist) {
+  return dep.issueState === "closed" && dep.stateReason === "completed" && isPrincipal(dep.closedByActor ?? null, principalAllowlist);
+}
 function checkDispatchReadiness(input) {
   const { trancheSlug, task } = input;
   const taskLabel = `task ${task.id} (tranche ${trancheSlug})`;
+  const principalAllowlist = input.principalAllowlist ?? PRINCIPAL_ALLOWLIST;
   const blockers = [];
   if (task.issue === null) {
     blockers.push(`dispatch-gate issue-existence: ${taskLabel} has no Issue (#TBD or blank) in the topology — not dispatchable until the Planner cuts the Issue.`);
@@ -2687,7 +2703,7 @@ function checkDispatchReadiness(input) {
     blockers.push(`dispatch-gate rationale: Issue #${input.issue.number} for ${taskLabel} fails the rationale gate (checkIssueRationale) — the Planner must complete the eight-field rationale before this task is dispatchable.`);
   }
   for (const dep of input.dependsOn) {
-    if (!dep.merged) {
+    if (!dep.merged && !isHandClosedByRecognizedPrincipal(dep, principalAllowlist)) {
       const issueStr = dep.issue !== null ? ` (#${dep.issue})` : "";
       blockers.push(`dispatch-gate depends-on: ${taskLabel} depends on ${dep.id}${issueStr}, whose PR is not merged yet — not dispatchable, it serializes behind it.`);
     }

package/dist/checks/bin/check-test-plan.js

@@ -1215,7 +1215,8 @@ function mapForgeFacts(raw) {
     reviewDecision: mapReviewDecision(raw.pullRequest?.reviewDecision),
     stateReason: mapStateReason(raw.issue.stateReason),
     closedAt: raw.issue.closedAt ?? null,
-    mergedAt: raw.pullRequest?.mergedAt ?? null
+    mergedAt: raw.pullRequest?.mergedAt ?? null,
+    closedByActor: raw.closedByActor ?? null
   };
 }
 function mapStateReason(reason) {
@@ -1308,6 +1309,7 @@ function buildBatchQuery(tranche, tasks) {
       timelineItems(last: 1, itemTypes: [CLOSED_EVENT]) {
         nodes {
           ... on ClosedEvent {
+            actor { login }
             closer {
               ... on PullRequest {
                 number
@@ -1345,7 +1347,8 @@ function extractRawFromResponse(repository, alias) {
   const issue = repository[`${alias}_issue`];
   const ref = repository[`${alias}_ref`];
   const prs = repository[`${alias}_prs`];
-  const rawCloser = issue?.timelineItems?.nodes?.[0]?.closer ?? null;
+  const timelineNode = issue?.timelineItems?.nodes?.[0];
+  const rawCloser = timelineNode?.closer ?? null;
   const closingPr = rawCloser && typeof rawCloser.number === "number" && typeof rawCloser.url === "string" ? rawCloser : null;
   const branchPr = prs && prs.nodes.length > 0 && prs.nodes[0] ? prs.nodes[0] : null;
   return {
@@ -1357,7 +1360,8 @@ function extractRawFromResponse(repository, alias) {
       labels: issue.labels.nodes.map((n) => n.name)
     } : null,
     refExists: Boolean(ref && ref.name.length > 0),
-    pullRequest: closingPr ?? branchPr
+    pullRequest: closingPr ?? branchPr,
+    closedByActor: timelineNode?.actor?.login ?? null
   };
 }
 function describeError(err) {
@@ -1495,6 +1499,11 @@ var FORGE_FACT_INPUTS = [
     fact: "mergedAt",
     readsFrom: "PullRequest.mergedAt",
     meaning: "Timestamp for the coherence oracle grandfather cutoff. No derivation rule reads it."
+  },
+  {
+    fact: "closedByActor",
+    readsFrom: "ClosedEvent.actor.login (most recent timeline CLOSED_EVENT)",
+    meaning: "GitHub login that hand-closed the Issue. No task-status derivation rule reads it — it is consumed by dispatch-gate.ts/coherence-checks.ts A1 to recognize a hand-closed dependency as resolved (task vinaya-engine-v1 21, #99), not by this status model."
   }
 ];
 var DERIVED_STATUSES = [
@@ -1974,7 +1983,7 @@ function isGrandfathered(isoDate) {
   return isoDate.slice(0, 10) < COHERENCE_ENFORCED_FROM;
 }
 var R1_GRANDFATHERED_ISSUES = new Set([279, 280, 281, 282]);
-function checkA1(entries) {
+function checkA1(entries, principalAllowlist = PRINCIPAL_ALLOWLIST) {
   const failures = [];
   for (const e of entries) {
     if (!e.facts)
@@ -1982,6 +1991,9 @@ function checkA1(entries) {
     if (e.facts.stateReason === "not_planned")
       continue;
     if (e.facts.issueState === "closed" && e.facts.prState !== "merged") {
+      const handClosed = e.facts.stateReason === "completed" && isPrincipal(e.facts.closedByActor, principalAllowlist);
+      if (handClosed)
+        continue;
       failures.push({
         issue: e.task.issue,
         tranche: e.trancheSlug,
@@ -2671,9 +2683,13 @@ function parseGlossaryTerms(glossaryContent) {
   return terms;
 }
 // ../../packages/aeg-core/src/dispatch-gate.ts
+function isHandClosedByRecognizedPrincipal(dep, principalAllowlist) {
+  return dep.issueState === "closed" && dep.stateReason === "completed" && isPrincipal(dep.closedByActor ?? null, principalAllowlist);
+}
 function checkDispatchReadiness(input) {
   const { trancheSlug, task } = input;
   const taskLabel = `task ${task.id} (tranche ${trancheSlug})`;
+  const principalAllowlist = input.principalAllowlist ?? PRINCIPAL_ALLOWLIST;
   const blockers = [];
   if (task.issue === null) {
     blockers.push(`dispatch-gate issue-existence: ${taskLabel} has no Issue (#TBD or blank) in the topology — not dispatchable until the Planner cuts the Issue.`);
@@ -2684,7 +2700,7 @@ function checkDispatchReadiness(input) {
     blockers.push(`dispatch-gate rationale: Issue #${input.issue.number} for ${taskLabel} fails the rationale gate (checkIssueRationale) — the Planner must complete the eight-field rationale before this task is dispatchable.`);
   }
   for (const dep of input.dependsOn) {
-    if (!dep.merged) {
+    if (!dep.merged && !isHandClosedByRecognizedPrincipal(dep, principalAllowlist)) {
       const issueStr = dep.issue !== null ? ` (#${dep.issue})` : "";
       blockers.push(`dispatch-gate depends-on: ${taskLabel} depends on ${dep.id}${issueStr}, whose PR is not merged yet — not dispatchable, it serializes behind it.`);
     }

package/dist/index.js

@@ -424,6 +424,11 @@ var FORGE_FACT_INPUTS = [
     fact: "mergedAt",
     readsFrom: "PullRequest.mergedAt",
     meaning: "Timestamp for the coherence oracle grandfather cutoff. No derivation rule reads it."
+  },
+  {
+    fact: "closedByActor",
+    readsFrom: "ClosedEvent.actor.login (most recent timeline CLOSED_EVENT)",
+    meaning: "GitHub login that hand-closed the Issue. No task-status derivation rule reads it — it is consumed by dispatch-gate.ts/coherence-checks.ts A1 to recognize a hand-closed dependency as resolved (task vinaya-engine-v1 21, #99), not by this status model."
   }
 ];
 var DERIVED_STATUSES = [
@@ -2965,8 +2970,7 @@ function coreCheckRegistry() {
         BASE_SHA: { optional: true },
         PR_BODY: { optional: true },
         PR_BODY_FILE: { optional: true },
-        PR_LABELS: { optional: true },
-        WAIVER_LABEL_ACTOR: { optional: true },
+        PR_NUMBER: { optional: true },
         GITHUB_REPOSITORY: { optional: true },
         GITHUB_TOKEN: { optional: true },
         GH_TOKEN: { optional: true }

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@attalabs/vinaya",
-  "version": "0.8.0",
+  "version": "0.8.2",
   "description": "Vinaya — Agentic Engineering Harness. Deterministic checks every AI coding agent must satisfy before merge.",
   "type": "module",
   "license": "Apache-2.0",
@@ -50,10 +50,10 @@
     "zod": "3.25.76"
   },
   "devDependencies": {
-    "@atta/aeg-core": "workspace:*",
-    "@atta/aeg-forge-state": "workspace:*",
+    "@attalabs/aeg-core": "workspace:*",
+    "@attalabs/aeg-forge-state": "workspace:*",
     "@atta/typescript-config": "workspace:*",
-    "@atta/vinaya-sources": "workspace:*",
+    "@attalabs/vinaya-sources": "workspace:*",
     "@types/bun": "latest",
     "typescript": "^5.5.0"
   }