wabachi 0.2.0 → 0.3.0

package/dist/working-set/conflicts.js

@@ -0,0 +1,97 @@
+import { CANDIDATE_WORKING_SET_LIMITS, } from "./model.js";
+/** V1 diagnostics that must remain visible instead of being resolved implicitly. */
+export const WORKING_SET_CONFLICT_KINDS = [
+    "ambiguity",
+    "disagreement",
+    "stale-evidence",
+    "mapping-gap",
+    "required-but-unauthorized",
+    "insufficient-evidence",
+];
+const CONFLICT_SUMMARIES = Object.freeze({
+    ambiguity: "candidate evidence has multiple possible interpretations",
+    disagreement: "provider evidence disagrees about the candidate context",
+    "stale-evidence": "evidence is not pinned to the current repository revision",
+    "mapping-gap": "required evidence has no unique Canon repository mapping",
+    "required-but-unauthorized": "required context is outside the supplied authorization comparison",
+    "insufficient-evidence": "available evidence is insufficient for a current derivation",
+});
+function compareText(left, right) {
+    if (left < right)
+        return -1;
+    if (left > right)
+        return 1;
+    return 0;
+}
+function evidenceKey(reference) {
+    return `${reference.artifact}\u0000${reference.reference}`;
+}
+function boundedEvidence(references) {
+    const unique = new Map();
+    for (const reference of references)
+        unique.set(evidenceKey(reference), reference);
+    return [...unique.values()]
+        .sort((left, right) => compareText(left.artifact, right.artifact) || compareText(left.reference, right.reference))
+        .slice(0, CANDIDATE_WORKING_SET_LIMITS.maxEvidenceReferencesPerEntry);
+}
+function boundedLocator(value) {
+    const normalized = value.normalize("NFC");
+    return normalized.length === 0 ? "unknown" : normalized.slice(0, CANDIDATE_WORKING_SET_LIMITS.maxTargetLocatorLength);
+}
+/** Creates one deterministic, unresolved conflict record from bounded evidence. */
+export function createWorkingSetConflict(input) {
+    const locator = boundedLocator(input.locator);
+    const kind = input.kind;
+    return Object.freeze({
+        kind,
+        target: Object.freeze({ kind: "unresolved", locator: boundedLocator(`conflict:${kind}:${locator}`) }),
+        reason: Object.freeze({ id: `conflict:${kind}`, summary: CONFLICT_SUMMARIES[kind] }),
+        evidence: Object.freeze(boundedEvidence(input.evidence ?? [])),
+    });
+}
+/** Converts the semantic conflict record into the existing artifact entry shape. */
+export function conflictToWorkingSetEntry(conflict) {
+    return {
+        state: "unresolved",
+        target: conflict.target,
+        reason: conflict.reason,
+        evidence: conflict.evidence,
+    };
+}
+/** Returns the machine-readable conflict class carried by an unresolved entry. */
+export function getWorkingSetConflictKind(entry) {
+    if (entry.state !== "unresolved" || entry.target.kind !== "unresolved")
+        return undefined;
+    const kind = entry.reason.id.startsWith("conflict:") ? entry.reason.id.slice("conflict:".length) : undefined;
+    return WORKING_SET_CONFLICT_KINDS.includes(kind)
+        ? kind
+        : undefined;
+}
+function isAuthorizationEntry(value) {
+    return "target" in value;
+}
+/** Canonicalizes the supported authorization comparison shapes without issuing authority. */
+export function authorizationEntries(input) {
+    const values = [...(input.targets ?? []), ...(input.entries ?? []), ...(input.authorizedTargets ?? [])].map((value) => (isAuthorizationEntry(value) ? value : { target: value }));
+    const unique = new Map();
+    for (const value of values) {
+        const key = `${value.target.kind}\u0000${value.target.locator}`;
+        const existing = unique.get(key);
+        if (existing === undefined) {
+            unique.set(key, value);
+            continue;
+        }
+        unique.set(key, {
+            target: existing.target,
+            evidence: boundedEvidence([...(existing.evidence ?? []), ...(value.evidence ?? [])]),
+        });
+    }
+    return [...unique.values()].sort((left, right) => compareText(left.target.kind, right.target.kind) || compareText(left.target.locator, right.target.locator));
+}
+export function workingSetTargetKey(target) {
+    return `${target.kind}\u0000${target.locator}`;
+}
+export function conflictSummary(kind) {
+    return CONFLICT_SUMMARIES[kind];
+}
+//# sourceMappingURL=conflicts.js.map

package/dist/working-set/conflicts.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"conflicts.js","sourceRoot":"","sources":["../../src/working-set/conflicts.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,4BAA4B,GAK7B,MAAM,YAAY,CAAC;AAEpB,oFAAoF;AACpF,MAAM,CAAC,MAAM,0BAA0B,GAAG;IACxC,WAAW;IACX,cAAc;IACd,gBAAgB;IAChB,aAAa;IACb,2BAA2B;IAC3B,uBAAuB;CACf,CAAC;AAGX,MAAM,kBAAkB,GAAqD,MAAM,CAAC,MAAM,CAAC;IACzF,SAAS,EAAE,0DAA0D;IACrE,YAAY,EAAE,yDAAyD;IACvE,gBAAgB,EAAE,2DAA2D;IAC7E,aAAa,EAAE,0DAA0D;IACzE,2BAA2B,EAAE,mEAAmE;IAChG,uBAAuB,EAAE,6DAA6D;CACvF,CAAC,CAAC;AAsCH,SAAS,WAAW,CAAC,IAAY,EAAE,KAAa;IAC9C,IAAI,IAAI,GAAG,KAAK;QAAE,OAAO,CAAC,CAAC,CAAC;IAC5B,IAAI,IAAI,GAAG,KAAK;QAAE,OAAO,CAAC,CAAC;IAC3B,OAAO,CAAC,CAAC;AACX,CAAC;AAED,SAAS,WAAW,CAAC,SAAsC;IACzD,OAAO,GAAG,SAAS,CAAC,QAAQ,SAAS,SAAS,CAAC,SAAS,EAAE,CAAC;AAC7D,CAAC;AAED,SAAS,eAAe,CAAC,UAAkD;IACzE,MAAM,MAAM,GAAG,IAAI,GAAG,EAAuC,CAAC;IAC9D,KAAK,MAAM,SAAS,IAAI,UAAU;QAAE,MAAM,CAAC,GAAG,CAAC,WAAW,CAAC,SAAS,CAAC,EAAE,SAAS,CAAC,CAAC;IAClF,OAAO,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC;SACxB,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,WAAW,CAAC,IAAI,CAAC,QAAQ,EAAE,KAAK,CAAC,QAAQ,CAAC,IAAI,WAAW,CAAC,IAAI,CAAC,SAAS,EAAE,KAAK,CAAC,SAAS,CAAC,CAAC;SACjH,KAAK,CAAC,CAAC,EAAE,4BAA4B,CAAC,6BAA6B,CAAC,CAAC;AAC1E,CAAC;AAED,SAAS,cAAc,CAAC,KAAa;IACnC,MAAM,UAAU,GAAG,KAAK,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;IAC1C,OAAO,UAAU,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,EAAE,4BAA4B,CAAC,sBAAsB,CAAC,CAAC;AACxH,CAAC;AAED,mFAAmF;AACnF,MAAM,UAAU,wBAAwB,CAAC,KAA8B;IACrE,MAAM,OAAO,GAAG,cAAc,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;IAC9C,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC;IACxB,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,IAAI;QACJ,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,YAAqB,EAAE,OAAO,EAAE,cAAc,CAAC,YAAY,IAAI,IAAI,OAAO,EAAE,CAAC,EAAE,CAAC;QAC9G,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,EAAE,EAAE,YAAY,IAAI,EAAE,EAAE,OAAO,EAAE,kBAAkB,CAAC,IAAI,CAAC,EAAE,CAAC;QACpF,QAAQ,EAAE,MAAM,CAAC,MAAM,CAAC,eAAe,CAAC,KAAK,CAAC,QAAQ,IAAI,EAAE,CAAC,CAAC;KAC/D,CAAC,CAAC;AACL,CAAC;AAED,oFAAoF;AACpF,MAAM,UAAU,yBAAyB,CAAC,QAA4B;IACpE,OAAO;QACL,KAAK,EAAE,YAAY;QACnB,MAAM,EAAE,QAAQ,CAAC,MAAM;QACvB,MAAM,EAAE,QAAQ,CAAC,MAAM;QACvB,QAAQ,EAAE,QAAQ,CAAC,QAAQ;KAC5B,CAAC;AACJ,CAAC;AAED,kFAAkF;AAClF,MAAM,UAAU,yBAAyB,CAAC,KAA+B;IACvE,IAAI,KAAK,CAAC,KAAK,KAAK,YAAY,IAAI,KAAK,CAAC,MAAM,CAAC,IAAI,KAAK,YAAY;QAAE,OAAO,SAAS,CAAC;IACzF,MAAM,IAAI,GAAG,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC,UAAU,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC,KAAK,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IAC7G,OAAO,0BAA0B,CAAC,QAAQ,CAAC,IAA8B,CAAC;QACxE,CAAC,CAAE,IAA+B;QAClC,CAAC,CAAC,SAAS,CAAC;AAChB,CAAC;AAED,SAAS,oBAAoB,CAC3B,KAAsD;IAEtD,OAAO,QAAQ,IAAI,KAAK,CAAC;AAC3B,CAAC;AAED,6FAA6F;AAC7F,MAAM,UAAU,oBAAoB,CAAC,KAAmC;IACtE,MAAM,MAAM,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,IAAI,EAAE,CAAC,EAAE,GAAG,CAAC,KAAK,CAAC,OAAO,IAAI,EAAE,CAAC,EAAE,GAAG,CAAC,KAAK,CAAC,iBAAiB,IAAI,EAAE,CAAC,CAAC,CAAC,GAAG,CACzG,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,oBAAoB,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC,CACrE,CAAC;IACF,MAAM,MAAM,GAAG,IAAI,GAAG,EAAwC,CAAC;IAC/D,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QAC3B,MAAM,GAAG,GAAG,GAAG,KAAK,CAAC,MAAM,CAAC,IAAI,SAAS,KAAK,CAAC,MAAM,CAAC,OAAO,EAAE,CAAC;QAChE,MAAM,QAAQ,GAAG,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACjC,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;YAC3B,MAAM,CAAC,GAAG,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;YACvB,SAAS;QACX,CAAC;QACD,MAAM,CAAC,GAAG,CAAC,GAAG,EAAE;YACd,MAAM,EAAE,QAAQ,CAAC,MAAM;YACvB,QAAQ,EAAE,eAAe,CAAC,CAAC,GAAG,CAAC,QAAQ,CAAC,QAAQ,IAAI,EAAE,CAAC,EAAE,GAAG,CAAC,KAAK,CAAC,QAAQ,IAAI,EAAE,CAAC,CAAC,CAAC;SACrF,CAAC,CAAC;IACL,CAAC;IACD,OAAO,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC,IAAI,CAC9B,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CACd,WAAW,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,WAAW,CAAC,IAAI,CAAC,MAAM,CAAC,OAAO,EAAE,KAAK,CAAC,MAAM,CAAC,OAAO,CAAC,CAC7G,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,mBAAmB,CAAC,MAAwB;IAC1D,OAAO,GAAG,MAAM,CAAC,IAAI,SAAS,MAAM,CAAC,OAAO,EAAE,CAAC;AACjD,CAAC;AAED,MAAM,UAAU,eAAe,CAAC,IAA4B;IAC1D,OAAO,kBAAkB,CAAC,IAAI,CAAC,CAAC;AAClC,CAAC"}

package/dist/working-set/derive.d.ts

@@ -0,0 +1,34 @@
+import { type FactNormalizationResult } from "../runtime/facts.js";
+import type { ArchitectureDocumentV1 } from "../architecture/canon/document.js";
+import { type CandidateWorkingSet } from "./model.js";
+import { type WorkingSetAuthorizationInput } from "./conflicts.js";
+import type { WorkingSetSeedResolutionResult } from "./seeds.js";
+/** Canon relationship classes admitted by the V1 derivation boundary. */
+export declare const CANON_V1_RELATIONSHIP_CLASSES: readonly ["depends-on", "calls", "uses", "data", "control"];
+export type CanonV1RelationshipClass = (typeof CANON_V1_RELATIONSHIP_CLASSES)[number];
+/** Provider predicates admitted by the V1 derivation boundary. */
+export declare const PROVIDER_V1_RELATIONSHIP_CLASSES: readonly ["depends-on", "imports", "calls", "references"];
+export type ProviderV1RelationshipClass = (typeof PROVIDER_V1_RELATIONSHIP_CLASSES)[number];
+export interface CandidateWorkingSetDerivationInput {
+    /** Seed resolutions are already bound to the task repository and revision. */
+    readonly seeds: WorkingSetSeedResolutionResult;
+    /** Existing normalized provider evidence and its correlation projection. */
+    readonly providerEvidence: FactNormalizationResult;
+    /** Existing read-only Architecture Canon. */
+    readonly canon: ArchitectureDocumentV1;
+    /** Optional artifact identity; the task identity is used when omitted. */
+    readonly workingSetId?: string;
+    /** Optional external authorization boundary used only as comparison evidence. */
+    readonly authorization?: WorkingSetAuthorizationInput;
+}
+/**
+ * Derives one authorization-neutral Candidate Working Set from bounded seed
+ * resolutions, normalized provider evidence, and the read-only Canon.
+ *
+ * The algorithm has two deliberate traversal boundaries: Canon `depends-on`
+ * may recurse only while the source and target retain the same non-empty
+ * boundary membership, and provider relationships are consumed only as a
+ * single evidence hop. Other admitted relationship classes add context but
+ * never create a transitive provider/repository graph.
+ */
+export declare function deriveCandidateWorkingSet(input: CandidateWorkingSetDerivationInput): CandidateWorkingSet;