@adammcarter/use-cases 0.1.0

package/packages/core/dist/markers/scanner.js

@@ -0,0 +1,292 @@
+// Explicit-span scanner + Swift inferred-span wiring (spec sections 2, 3, 4.4, 9).
+//
+// Pure core: given a file path and its contents, find use-case markers, pair
+// explicit start/end markers, canonicalize each span, and emit a current
+// binding record per matched span (spec 4.4). Every integrity problem is
+// reported as a distinct INVALID with a stable error code; nothing is
+// best-effort.
+//
+// A start marker with no explicit end is resolved as follows:
+//   * Swift file (`//` prefix, `.swift`)  -> the Swift function recognizer
+//     (spec section 9). It either proves an inferred span (extent_kind
+//     "swift_func_inferred") or fails closed with a 9.4 code.
+//   * any other file                       -> UNSUPPORTED_INFERENCE (spec 2.1
+//     rule 5). Explicit end always wins (spec 2.1 rule 6).
+import { sha256 } from "./canonicalJson.js";
+import { EXPLICIT_RECOGNIZER_ID, SPAN_CANON_ID, SWIFT_FUNC_RECOGNIZER_ID } from "./constants.js";
+import { MarkerErrorCode, parseMarkerLine, splitSlug } from "./markerLine.js";
+import { canonicalizeSpanLines } from "./spanCanon.js";
+import { fileExtension, resolveCommentPrefix } from "./commentPrefix.js";
+import { splitPhysicalLines } from "./physicalLines.js";
+import { recognizeSwiftFuncSpan, SwiftFuncErrorCode } from "./swiftFuncRecognizer.js";
+function buildExplicitRecord(filePath, commentPrefix, lines, start, end) {
+    const slug = start.parse.slug;
+    const parts = splitSlug(slug);
+    const startIdx = start.lineIndex;
+    const endIdx = end.lineIndex;
+    // Span body = complete lines strictly between the two marker lines.
+    const firstBody = startIdx + 1;
+    const lastBody = endIdx - 1;
+    let bodyTexts;
+    let startLine;
+    let endLine;
+    let startByte;
+    let endByte;
+    if (firstBody <= lastBody) {
+        const body = lines.slice(firstBody, lastBody + 1);
+        bodyTexts = body.map((line) => line.text);
+        startLine = firstBody + 1;
+        endLine = lastBody + 1;
+        startByte = body[0].byteStart;
+        endByte = body[body.length - 1].byteEnd;
+    }
+    else {
+        // Empty span body (markers on adjacent lines).
+        bodyTexts = [];
+        startLine = firstBody + 1;
+        endLine = lastBody + 1; // end_line < start_line signals an empty span
+        startByte = lines[startIdx].byteEnd;
+        endByte = lines[startIdx].byteEnd;
+    }
+    const canonical = canonicalizeSpanLines(bodyTexts);
+    return {
+        binding_slug: slug,
+        row_id: parts ? parts.row_id : slug,
+        suffix: parts ? parts.suffix : null,
+        file_path: filePath,
+        comment_prefix: commentPrefix,
+        extent_kind: "explicit",
+        recognizer_id: EXPLICIT_RECOGNIZER_ID,
+        span_canon_id: SPAN_CANON_ID,
+        start_marker: { line: startIdx + 1, column: start.parse.column },
+        end_marker: { line: endIdx + 1, column: end.parse.column },
+        span: {
+            start_line: startLine,
+            end_line: endLine,
+            start_byte: startByte,
+            end_byte: endByte,
+            sha256: sha256(canonical)
+        },
+        diagnostic: { inferred: false }
+    };
+}
+// Resolve a lone start marker (no explicit end). Swift files go through the
+// function recognizer; everything else is unsupported inference. Returns either
+// an inferred binding record or a MarkerError (fail-closed).
+function resolveLoneStart(filePath, commentPrefix, contents, lines, start) {
+    const slug = start.parse.slug;
+    const isSwift = commentPrefix === "//" && fileExtension(filePath) === ".swift";
+    if (!isSwift) {
+        return {
+            error: {
+                code: MarkerErrorCode.UNSUPPORTED_INFERENCE,
+                message: `start marker for ${slug} has no explicit end; inferred end is only supported for Swift func, requires explicit end`,
+                file_path: filePath,
+                line: start.lineIndex + 1,
+                slug
+            }
+        };
+    }
+    const result = recognizeSwiftFuncSpan(contents, start.lineIndex, {
+        markerCommentPrefix: commentPrefix
+    });
+    if (!result.ok) {
+        return {
+            error: {
+                code: result.code,
+                message: `${result.message}; fix: add an explicit "${commentPrefix}: @use-case: end ${slug}" or move the marker`,
+                file_path: filePath,
+                line: start.lineIndex + 1,
+                slug
+            }
+        };
+    }
+    const parts = splitSlug(slug);
+    const canonical = canonicalizeSpanLines(result.body_lines);
+    return {
+        binding: {
+            binding_slug: slug,
+            row_id: parts ? parts.row_id : slug,
+            suffix: parts ? parts.suffix : null,
+            file_path: filePath,
+            comment_prefix: commentPrefix,
+            extent_kind: "swift_func_inferred",
+            recognizer_id: SWIFT_FUNC_RECOGNIZER_ID,
+            span_canon_id: SPAN_CANON_ID,
+            start_marker: { line: start.lineIndex + 1, column: start.parse.column },
+            end_marker: null,
+            span: {
+                start_line: result.span.start_line,
+                end_line: result.span.end_line,
+                start_byte: result.span.start_byte,
+                end_byte: result.span.end_byte,
+                sha256: sha256(canonical)
+            },
+            diagnostic: {
+                symbol_kind: "swift_func",
+                symbol_name: result.symbol_name,
+                inferred: true
+            }
+        }
+    };
+}
+// Scan a single file's contents for markers (pure; no filesystem).
+export function scanFileForMarkers(filePath, contents, options) {
+    const commentPrefix = resolveCommentPrefix(filePath, options?.config, contents);
+    if (commentPrefix === null) {
+        // No configured prefix => the file cannot carry markers; skip it.
+        return { file_path: filePath, comment_prefix: null, bindings: [], errors: [] };
+    }
+    const lines = splitPhysicalLines(contents);
+    const errors = [];
+    const bindings = [];
+    const markers = [];
+    // Pass 1: parse every line; collect markers and report malformed/forbidden ones.
+    for (let i = 0; i < lines.length; i += 1) {
+        const parse = parseMarkerLine(lines[i].text, commentPrefix);
+        if (parse.kind === "none") {
+            continue;
+        }
+        if (parse.kind === "invalid") {
+            errors.push({
+                code: parse.code,
+                message: parse.message,
+                file_path: filePath,
+                line: i + 1,
+                ...(parse.slug !== undefined ? { slug: parse.slug } : {})
+            });
+            continue;
+        }
+        markers.push({ lineIndex: i, parse });
+    }
+    // Pass 2: duplicate full start-slug detection (spec 1.3 rule 2, within file).
+    const seenStart = new Map();
+    for (const hit of markers) {
+        if (hit.parse.kind !== "start") {
+            continue;
+        }
+        const slug = hit.parse.slug;
+        if (seenStart.has(slug)) {
+            errors.push({
+                code: MarkerErrorCode.DUPLICATE_BINDING_SLUG,
+                message: `duplicate start marker for slug ${slug} (first at line ${(seenStart.get(slug) ?? 0) + 1})`,
+                file_path: filePath,
+                line: hit.lineIndex + 1,
+                slug
+            });
+        }
+        else {
+            seenStart.set(slug, hit.lineIndex);
+        }
+    }
+    // Pass 3: pair explicit start/end markers with a stack. Nested and overlapping
+    // spans are invalid in v1, so a matched end that leaves another span open is a
+    // NESTED_SPAN and suppresses every involved binding. Starts that are never
+    // closed are lone starts -> inference candidates.
+    const stack = [];
+    const tainted = new Set();
+    const explicitPairs = [];
+    for (const hit of markers) {
+        if (hit.parse.kind === "start") {
+            stack.push(hit);
+            continue;
+        }
+        // end marker
+        const startHit = stack.pop();
+        if (startHit === undefined) {
+            errors.push({
+                code: MarkerErrorCode.END_WITHOUT_START,
+                message: `end marker for ${hit.parse.slug} has no matching start`,
+                file_path: filePath,
+                line: hit.lineIndex + 1,
+                slug: hit.parse.slug
+            });
+            continue;
+        }
+        if (startHit.parse.slug !== hit.parse.slug) {
+            errors.push({
+                code: MarkerErrorCode.MISMATCHED_END_MARKER,
+                message: `end slug ${hit.parse.slug} does not match start slug ${startHit.parse.slug} (line ${startHit.lineIndex + 1})`,
+                file_path: filePath,
+                line: hit.lineIndex + 1,
+                slug: hit.parse.slug
+            });
+            continue; // span broken; do not emit a binding
+        }
+        if (stack.length > 0) {
+            // The just-closed span sits inside another still-open span.
+            errors.push({
+                code: MarkerErrorCode.NESTED_SPAN,
+                message: `nested span: ${hit.parse.slug} closes inside ${stack[stack.length - 1].parse.slug} (line ${stack[stack.length - 1].lineIndex + 1})`,
+                file_path: filePath,
+                line: hit.lineIndex + 1,
+                slug: hit.parse.slug
+            });
+            tainted.add(startHit);
+            for (const open of stack) {
+                tainted.add(open);
+            }
+            continue;
+        }
+        if (tainted.has(startHit)) {
+            continue; // container of a nested span; binding suppressed
+        }
+        explicitPairs.push({ start: startHit, end: hit });
+    }
+    for (const pair of explicitPairs) {
+        bindings.push(buildExplicitRecord(filePath, commentPrefix, lines, pair.start, pair.end));
+    }
+    // Pass 4: lone (unclosed) start markers -> Swift inference or unsupported.
+    for (const lone of stack) {
+        const { binding, error } = resolveLoneStart(filePath, commentPrefix, contents, lines, lone);
+        if (binding) {
+            bindings.push(binding);
+        }
+        if (error) {
+            errors.push(error);
+        }
+    }
+    return { file_path: filePath, comment_prefix: commentPrefix, bindings, errors };
+}
+// Scan many files (pure aggregator). Also reports repo-wide duplicate full start
+// slugs across files (spec 1.3 rule 2: unique among start markers in the repo).
+export function scanFiles(inputs, options) {
+    const files = inputs.map((input) => scanFileForMarkers(input.file_path, input.contents, options));
+    const bindings = files.flatMap((file) => file.bindings);
+    const errors = files.flatMap((file) => file.errors);
+    // Cross-file duplicate full start slugs.
+    const firstSeen = new Map();
+    for (const binding of bindings) {
+        const prior = firstSeen.get(binding.binding_slug);
+        if (prior) {
+            errors.push({
+                code: MarkerErrorCode.DUPLICATE_BINDING_SLUG,
+                message: `duplicate start marker for slug ${binding.binding_slug} across files (first in ${prior.file_path})`,
+                file_path: binding.file_path,
+                line: binding.start_marker.line,
+                slug: binding.binding_slug
+            });
+        }
+        else {
+            firstSeen.set(binding.binding_slug, binding);
+        }
+    }
+    return { files, bindings, errors };
+}
+// Format the spec 8.2 "INFERRED SWIFT SPAN" CI report block for an inferred
+// binding record. Returns null for explicit bindings (nothing to print).
+export function formatInferredSwiftSpanReport(binding) {
+    if (binding.extent_kind !== "swift_func_inferred" || !binding.diagnostic.inferred) {
+        return null;
+    }
+    return [
+        "INFERRED SWIFT SPAN",
+        `row: ${binding.row_id}`,
+        `binding: ${binding.binding_slug}`,
+        `file: ${binding.file_path}`,
+        `symbol: ${binding.diagnostic.symbol_name}`,
+        `span: lines ${binding.span.start_line}-${binding.span.end_line}`,
+        `span_sha256: ${binding.span.sha256}`
+    ].join("\n");
+}
+//# sourceMappingURL=scanner.js.map

package/packages/core/dist/markers/scanner.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"scanner.js","sourceRoot":"","sources":["../../src/markers/scanner.ts"],"names":[],"mappings":"AAAA,mFAAmF;AACnF,EAAE;AACF,6EAA6E;AAC7E,yEAAyE;AACzE,yEAAyE;AACzE,sEAAsE;AACtE,eAAe;AACf,EAAE;AACF,8DAA8D;AAC9D,2EAA2E;AAC3E,uEAAuE;AACvE,8DAA8D;AAC9D,8EAA8E;AAC9E,2DAA2D;AAC3D,OAAO,EAAE,MAAM,EAAE,MAAM,oBAAoB,CAAC;AAC5C,OAAO,EACL,sBAAsB,EACtB,aAAa,EACb,wBAAwB,EACzB,MAAM,gBAAgB,CAAC;AACxB,OAAO,EACL,eAAe,EACf,eAAe,EACf,SAAS,EAEV,MAAM,iBAAiB,CAAC;AACzB,OAAO,EAAE,qBAAqB,EAAE,MAAM,gBAAgB,CAAC;AACvD,OAAO,EACL,aAAa,EACb,oBAAoB,EAErB,MAAM,oBAAoB,CAAC;AAC5B,OAAO,EAAE,kBAAkB,EAAqB,MAAM,oBAAoB,CAAC;AAC3E,OAAO,EACL,sBAAsB,EACtB,kBAAkB,EACnB,MAAM,0BAA0B,CAAC;AAyElC,SAAS,mBAAmB,CAC1B,QAAgB,EAChB,aAAqB,EACrB,KAAqB,EACrB,KAAgB,EAChB,GAAc;IAEd,MAAM,IAAI,GAAG,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC;IAC9B,MAAM,KAAK,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC;IAC9B,MAAM,QAAQ,GAAG,KAAK,CAAC,SAAS,CAAC;IACjC,MAAM,MAAM,GAAG,GAAG,CAAC,SAAS,CAAC;IAE7B,oEAAoE;IACpE,MAAM,SAAS,GAAG,QAAQ,GAAG,CAAC,CAAC;IAC/B,MAAM,QAAQ,GAAG,MAAM,GAAG,CAAC,CAAC;IAE5B,IAAI,SAAmB,CAAC;IACxB,IAAI,SAAiB,CAAC;IACtB,IAAI,OAAe,CAAC;IACpB,IAAI,SAAiB,CAAC;IACtB,IAAI,OAAe,CAAC;IACpB,IAAI,SAAS,IAAI,QAAQ,EAAE,CAAC;QAC1B,MAAM,IAAI,GAAG,KAAK,CAAC,KAAK,CAAC,SAAS,EAAE,QAAQ,GAAG,CAAC,CAAC,CAAC;QAClD,SAAS,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC1C,SAAS,GAAG,SAAS,GAAG,CAAC,CAAC;QAC1B,OAAO,GAAG,QAAQ,GAAG,CAAC,CAAC;QACvB,SAAS,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QAC9B,OAAO,GAAG,IAAI,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC;IAC1C,CAAC;SAAM,CAAC;QACN,+CAA+C;QAC/C,SAAS,GAAG,EAAE,CAAC;QACf,SAAS,GAAG,SAAS,GAAG,CAAC,CAAC;QAC1B,OAAO,GAAG,QAAQ,GAAG,CAAC,CAAC,CAAC,8CAA8C;QACtE,SAAS,GAAG,KAAK,CAAC,QAAQ,CAAC,CAAC,OAAO,CAAC;QACpC,OAAO,GAAG,KAAK,CAAC,QAAQ,CAAC,CAAC,OAAO,CAAC;IACpC,CAAC;IAED,MAAM,SAAS,GAAG,qBAAqB,CAAC,SAAS,CAAC,CAAC;IAEnD,OAAO;QACL,YAAY,EAAE,IAAI;QAClB,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI;QACnC,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI;QACnC,SAAS,EAAE,QAAQ;QACnB,cAAc,EAAE,aAAa;QAC7B,WAAW,EAAE,UAAU;QACvB,aAAa,EAAE,sBAAsB;QACrC,aAAa,EAAE,aAAa;QAC5B,YAAY,EAAE,EAAE,IAAI,EAAE,QAAQ,GAAG,CAAC,EAAE,MAAM,EAAE,KAAK,CAAC,KAAK,CAAC,MAAM,EAAE;QAChE,UAAU,EAAE,EAAE,IAAI,EAAE,MAAM,GAAG,CAAC,EAAE,MAAM,EAAE,GAAG,CAAC,KAAK,CAAC,MAAM,EAAE;QAC1D,IAAI,EAAE;YACJ,UAAU,EAAE,SAAS;YACrB,QAAQ,EAAE,OAAO;YACjB,UAAU,EAAE,SAAS;YACrB,QAAQ,EAAE,OAAO;YACjB,MAAM,EAAE,MAAM,CAAC,SAAS,CAAC;SAC1B;QACD,UAAU,EAAE,EAAE,QAAQ,EAAE,KAAK,EAAE;KAChC,CAAC;AACJ,CAAC;AAED,4EAA4E;AAC5E,gFAAgF;AAChF,6DAA6D;AAC7D,SAAS,gBAAgB,CACvB,QAAgB,EAChB,aAAqB,EACrB,QAAgB,EAChB,KAAqB,EACrB,KAAgB;IAEhB,MAAM,IAAI,GAAG,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC;IAC9B,MAAM,OAAO,GAAG,aAAa,KAAK,IAAI,IAAI,aAAa,CAAC,QAAQ,CAAC,KAAK,QAAQ,CAAC;IAE/E,IAAI,CAAC,OAAO,EAAE,CAAC;QACb,OAAO;YACL,KAAK,EAAE;gBACL,IAAI,EAAE,eAAe,CAAC,qBAAqB;gBAC3C,OAAO,EAAE,oBAAoB,IAAI,4FAA4F;gBAC7H,SAAS,EAAE,QAAQ;gBACnB,IAAI,EAAE,KAAK,CAAC,SAAS,GAAG,CAAC;gBACzB,IAAI;aACL;SACF,CAAC;IACJ,CAAC;IAED,MAAM,MAAM,GAAG,sBAAsB,CAAC,QAAQ,EAAE,KAAK,CAAC,SAAS,EAAE;QAC/D,mBAAmB,EAAE,aAAa;KACnC,CAAC,CAAC;IACH,IAAI,CAAC,MAAM,CAAC,EAAE,EAAE,CAAC;QACf,OAAO;YACL,KAAK,EAAE;gBACL,IAAI,EAAE,MAAM,CAAC,IAAI;gBACjB,OAAO,EAAE,GAAG,MAAM,CAAC,OAAO,2BAA2B,aAAa,oBAAoB,IAAI,sBAAsB;gBAChH,SAAS,EAAE,QAAQ;gBACnB,IAAI,EAAE,KAAK,CAAC,SAAS,GAAG,CAAC;gBACzB,IAAI;aACL;SACF,CAAC;IACJ,CAAC;IAED,MAAM,KAAK,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC;IAC9B,MAAM,SAAS,GAAG,qBAAqB,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;IAC3D,OAAO;QACL,OAAO,EAAE;YACP,YAAY,EAAE,IAAI;YAClB,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI;YACnC,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI;YACnC,SAAS,EAAE,QAAQ;YACnB,cAAc,EAAE,aAAa;YAC7B,WAAW,EAAE,qBAAqB;YAClC,aAAa,EAAE,wBAAwB;YACvC,aAAa,EAAE,aAAa;YAC5B,YAAY,EAAE,EAAE,IAAI,EAAE,KAAK,CAAC,SAAS,GAAG,CAAC,EAAE,MAAM,EAAE,KAAK,CAAC,KAAK,CAAC,MAAM,EAAE;YACvE,UAAU,EAAE,IAAI;YAChB,IAAI,EAAE;gBACJ,UAAU,EAAE,MAAM,CAAC,IAAI,CAAC,UAAU;gBAClC,QAAQ,EAAE,MAAM,CAAC,IAAI,CAAC,QAAQ;gBAC9B,UAAU,EAAE,MAAM,CAAC,IAAI,CAAC,UAAU;gBAClC,QAAQ,EAAE,MAAM,CAAC,IAAI,CAAC,QAAQ;gBAC9B,MAAM,EAAE,MAAM,CAAC,SAAS,CAAC;aAC1B;YACD,UAAU,EAAE;gBACV,WAAW,EAAE,YAAY;gBACzB,WAAW,EAAE,MAAM,CAAC,WAAW;gBAC/B,QAAQ,EAAE,IAAI;aACf;SACF;KACF,CAAC;AACJ,CAAC;AAED,mEAAmE;AACnE,MAAM,UAAU,kBAAkB,CAChC,QAAgB,EAChB,QAAgB,EAChB,OAAwB;IAExB,MAAM,aAAa,GAAG,oBAAoB,CAAC,QAAQ,EAAE,OAAO,EAAE,MAAM,EAAE,QAAQ,CAAC,CAAC;IAChF,IAAI,aAAa,KAAK,IAAI,EAAE,CAAC;QAC3B,kEAAkE;QAClE,OAAO,EAAE,SAAS,EAAE,QAAQ,EAAE,cAAc,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC;IACjF,CAAC;IAED,MAAM,KAAK,GAAG,kBAAkB,CAAC,QAAQ,CAAC,CAAC;IAC3C,MAAM,MAAM,GAAkB,EAAE,CAAC;IACjC,MAAM,QAAQ,GAA2B,EAAE,CAAC;IAC5C,MAAM,OAAO,GAAgB,EAAE,CAAC;IAEhC,iFAAiF;IACjF,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;QACzC,MAAM,KAAK,GAAG,eAAe,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,aAAa,CAAC,CAAC;QAC5D,IAAI,KAAK,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;YAC1B,SAAS;QACX,CAAC;QACD,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;YAC7B,MAAM,CAAC,IAAI,CAAC;gBACV,IAAI,EAAE,KAAK,CAAC,IAAI;gBAChB,OAAO,EAAE,KAAK,CAAC,OAAO;gBACtB,SAAS,EAAE,QAAQ;gBACnB,IAAI,EAAE,CAAC,GAAG,CAAC;gBACX,GAAG,CAAC,KAAK,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;aAC1D,CAAC,CAAC;YACH,SAAS;QACX,CAAC;QACD,OAAO,CAAC,IAAI,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC;IACxC,CAAC;IAED,8EAA8E;IAC9E,MAAM,SAAS,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC5C,KAAK,MAAM,GAAG,IAAI,OAAO,EAAE,CAAC;QAC1B,IAAI,GAAG,CAAC,KAAK,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;YAC/B,SAAS;QACX,CAAC;QACD,MAAM,IAAI,GAAG,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC;QAC5B,IAAI,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;YACxB,MAAM,CAAC,IAAI,CAAC;gBACV,IAAI,EAAE,eAAe,CAAC,sBAAsB;gBAC5C,OAAO,EAAE,mCAAmC,IAAI,mBAC9C,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,CAC/B,GAAG;gBACH,SAAS,EAAE,QAAQ;gBACnB,IAAI,EAAE,GAAG,CAAC,SAAS,GAAG,CAAC;gBACvB,IAAI;aACL,CAAC,CAAC;QACL,CAAC;aAAM,CAAC;YACN,SAAS,CAAC,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,SAAS,CAAC,CAAC;QACrC,CAAC;IACH,CAAC;IAED,+EAA+E;IAC/E,+EAA+E;IAC/E,2EAA2E;IAC3E,kDAAkD;IAClD,MAAM,KAAK,GAAgB,EAAE,CAAC;IAC9B,MAAM,OAAO,GAAG,IAAI,GAAG,EAAa,CAAC;IACrC,MAAM,aAAa,GAAgD,EAAE,CAAC;IACtE,KAAK,MAAM,GAAG,IAAI,OAAO,EAAE,CAAC;QAC1B,IAAI,GAAG,CAAC,KAAK,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;YAC/B,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YAChB,SAAS;QACX,CAAC;QACD,aAAa;QACb,MAAM,QAAQ,GAAG,KAAK,CAAC,GAAG,EAAE,CAAC;QAC7B,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;YAC3B,MAAM,CAAC,IAAI,CAAC;gBACV,IAAI,EAAE,eAAe,CAAC,iBAAiB;gBACvC,OAAO,EAAE,kBAAkB,GAAG,CAAC,KAAK,CAAC,IAAI,wBAAwB;gBACjE,SAAS,EAAE,QAAQ;gBACnB,IAAI,EAAE,GAAG,CAAC,SAAS,GAAG,CAAC;gBACvB,IAAI,EAAE,GAAG,CAAC,KAAK,CAAC,IAAI;aACrB,CAAC,CAAC;YACH,SAAS;QACX,CAAC;QACD,IAAI,QAAQ,CAAC,KAAK,CAAC,IAAI,KAAK,GAAG,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC;YAC3C,MAAM,CAAC,IAAI,CAAC;gBACV,IAAI,EAAE,eAAe,CAAC,qBAAqB;gBAC3C,OAAO,EAAE,YAAY,GAAG,CAAC,KAAK,CAAC,IAAI,8BAA8B,QAAQ,CAAC,KAAK,CAAC,IAAI,UAClF,QAAQ,CAAC,SAAS,GAAG,CACvB,GAAG;gBACH,SAAS,EAAE,QAAQ;gBACnB,IAAI,EAAE,GAAG,CAAC,SAAS,GAAG,CAAC;gBACvB,IAAI,EAAE,GAAG,CAAC,KAAK,CAAC,IAAI;aACrB,CAAC,CAAC;YACH,SAAS,CAAC,qCAAqC;QACjD,CAAC;QACD,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACrB,4DAA4D;YAC5D,MAAM,CAAC,IAAI,CAAC;gBACV,IAAI,EAAE,eAAe,CAAC,WAAW;gBACjC,OAAO,EAAE,gBAAgB,GAAG,CAAC,KAAK,CAAC,IAAI,kBACrC,KAAK,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,IAChC,UAAU,KAAK,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,SAAS,GAAG,CAAC,GAAG;gBAClD,SAAS,EAAE,QAAQ;gBACnB,IAAI,EAAE,GAAG,CAAC,SAAS,GAAG,CAAC;gBACvB,IAAI,EAAE,GAAG,CAAC,KAAK,CAAC,IAAI;aACrB,CAAC,CAAC;YACH,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;YACtB,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;gBACzB,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YACpB,CAAC;YACD,SAAS;QACX,CAAC;QACD,IAAI,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC;YAC1B,SAAS,CAAC,iDAAiD;QAC7D,CAAC;QACD,aAAa,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,QAAQ,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC;IACpD,CAAC;IAED,KAAK,MAAM,IAAI,IAAI,aAAa,EAAE,CAAC;QACjC,QAAQ,CAAC,IAAI,CAAC,mBAAmB,CAAC,QAAQ,EAAE,aAAa,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;IAC3F,CAAC;IAED,2EAA2E;IAC3E,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,EAAE,OAAO,EAAE,KAAK,EAAE,GAAG,gBAAgB,CAAC,QAAQ,EAAE,aAAa,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC;QAC5F,IAAI,OAAO,EAAE,CAAC;YACZ,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACzB,CAAC;QACD,IAAI,KAAK,EAAE,CAAC;YACV,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACrB,CAAC;IACH,CAAC;IAED,OAAO,EAAE,SAAS,EAAE,QAAQ,EAAE,cAAc,EAAE,aAAa,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC;AAClF,CAAC;AAED,iFAAiF;AACjF,gFAAgF;AAChF,MAAM,UAAU,SAAS,CAAC,MAAgC,EAAE,OAAwB;IAClF,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CACjC,kBAAkB,CAAC,KAAK,CAAC,SAAS,EAAE,KAAK,CAAC,QAAQ,EAAE,OAAO,CAAC,CAC7D,CAAC;IAEF,MAAM,QAAQ,GAAG,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IACxD,MAAM,MAAM,GAAG,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IAEpD,yCAAyC;IACzC,MAAM,SAAS,GAAG,IAAI,GAAG,EAAgC,CAAC;IAC1D,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;QAC/B,MAAM,KAAK,GAAG,SAAS,CAAC,GAAG,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC;QAClD,IAAI,KAAK,EAAE,CAAC;YACV,MAAM,CAAC,IAAI,CAAC;gBACV,IAAI,EAAE,eAAe,CAAC,sBAAsB;gBAC5C,OAAO,EAAE,mCAAmC,OAAO,CAAC,YAAY,2BAA2B,KAAK,CAAC,SAAS,GAAG;gBAC7G,SAAS,EAAE,OAAO,CAAC,SAAS;gBAC5B,IAAI,EAAE,OAAO,CAAC,YAAY,CAAC,IAAI;gBAC/B,IAAI,EAAE,OAAO,CAAC,YAAY;aAC3B,CAAC,CAAC;QACL,CAAC;aAAM,CAAC;YACN,SAAS,CAAC,GAAG,CAAC,OAAO,CAAC,YAAY,EAAE,OAAO,CAAC,CAAC;QAC/C,CAAC;IACH,CAAC;IAED,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC;AACrC,CAAC;AAED,4EAA4E;AAC5E,yEAAyE;AACzE,MAAM,UAAU,6BAA6B,CAAC,OAA6B;IACzE,IAAI,OAAO,CAAC,WAAW,KAAK,qBAAqB,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,QAAQ,EAAE,CAAC;QAClF,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO;QACL,qBAAqB;QACrB,QAAQ,OAAO,CAAC,MAAM,EAAE;QACxB,YAAY,OAAO,CAAC,YAAY,EAAE;QAClC,SAAS,OAAO,CAAC,SAAS,EAAE;QAC5B,WAAW,OAAO,CAAC,UAAU,CAAC,WAAW,EAAE;QAC3C,eAAe,OAAO,CAAC,IAAI,CAAC,UAAU,IAAI,OAAO,CAAC,IAAI,CAAC,QAAQ,EAAE;QACjE,gBAAgB,OAAO,CAAC,IAAI,CAAC,MAAM,EAAE;KACtC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACf,CAAC"}

package/packages/core/dist/markers/schemas/binding-registry-event.schema.json

@@ -0,0 +1,41 @@
+{
+  "$schema": "https://json-schema.org/draft/2020-12/schema",
+  "$id": "ucase-binding-registry-event-v1",
+  "type": "object",
+  "additionalProperties": false,
+  "required": [
+    "schema",
+    "event_type",
+    "event_id",
+    "created_at",
+    "created_by",
+    "row_id",
+    "binding_slug",
+    "reason"
+  ],
+  "properties": {
+    "schema": { "const": "ucase-binding-registry-event-v1" },
+    "event_type": { "const": "binding_registered" },
+    "event_id": { "type": "string", "minLength": 1 },
+    "created_at": { "type": "string", "minLength": 1 },
+    "created_by": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": ["tool", "command", "version"],
+      "properties": {
+        "tool": { "type": "string", "minLength": 1 },
+        "command": { "type": "string", "minLength": 1 },
+        "version": { "type": "string", "minLength": 1 }
+      }
+    },
+    "row_id": {
+      "type": "string",
+      "pattern": "^[a-z][a-z0-9_]*(\\.[a-z][a-z0-9_]*)*$"
+    },
+    "binding_slug": {
+      "type": "string",
+      "pattern": "^[a-z][a-z0-9_]*(\\.[a-z][a-z0-9_]*)*(#[a-z][a-z0-9_-]*(\\.[a-z][a-z0-9_-]*)*)?$"
+    },
+    "reason": { "type": "string", "minLength": 1 }
+  }
+}

package/packages/core/dist/markers/schemas/freshness-status.schema.json

@@ -0,0 +1,134 @@
+{
+  "$schema": "https://json-schema.org/draft/2020-12/schema",
+  "$id": "ucase-freshness-status-v1",
+  "type": "object",
+  "additionalProperties": false,
+  "required": [
+    "schema",
+    "generated_at",
+    "tool",
+    "product_root",
+    "policy_mode",
+    "guard_ok",
+    "summary",
+    "integrity_errors",
+    "rows"
+  ],
+  "$defs": {
+    "hash": { "type": "string", "pattern": "^sha256:[0-9a-f]{64}$" },
+    "proof_ref": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": ["event_id", "created_at", "commit"],
+      "properties": {
+        "event_id": { "type": "string", "minLength": 1 },
+        "created_at": { "type": "string", "minLength": 1 },
+        "commit": { "type": "string", "minLength": 1 }
+      }
+    },
+    "reason": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": ["code"],
+      "properties": {
+        "code": { "type": "string", "minLength": 1 },
+        "binding_slug": { "type": "string" },
+        "expected_span_sha256": { "type": "string" },
+        "actual_span_sha256": { "type": "string" },
+        "expected_file_path": { "type": "string" },
+        "actual_file_path": { "type": "string" },
+        "message": { "type": "string" }
+      }
+    },
+    "current_binding": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": [
+        "binding_slug",
+        "file_path",
+        "extent_kind",
+        "recognizer_id",
+        "span_canon_id",
+        "span_sha256",
+        "span_start_line",
+        "span_end_line"
+      ],
+      "properties": {
+        "binding_slug": { "type": "string", "minLength": 1 },
+        "file_path": { "type": "string", "minLength": 1 },
+        "extent_kind": { "enum": ["explicit", "swift_func_inferred"] },
+        "recognizer_id": { "type": "string", "minLength": 1 },
+        "span_canon_id": { "type": "string", "minLength": 1 },
+        "span_sha256": { "$ref": "#/$defs/hash" },
+        "span_start_line": { "type": "integer", "minimum": 1 },
+        "span_end_line": { "type": "integer", "minimum": 1 }
+      }
+    },
+    "row": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": ["row_id", "status"],
+      "properties": {
+        "row_id": { "type": "string", "minLength": 1 },
+        "row_hash": { "$ref": "#/$defs/hash" },
+        "verification_policy_hash": { "$ref": "#/$defs/hash" },
+        "approval_policy_hash": { "$ref": "#/$defs/hash" },
+        "status": { "enum": ["FRESH", "SUSPECT", "UNPROVEN", "UNBOUND", "INVALID"] },
+        "local_status": {
+          "oneOf": [
+            { "type": "null" },
+            { "enum": ["VERIFIED_LOCAL", "STALE_LOCAL", "UNVERIFIED_LOCAL"] }
+          ]
+        },
+        "local_reason": { "type": ["string", "null"] },
+        "policy_block": { "type": "boolean" },
+        "reasons": { "type": "array", "items": { "$ref": "#/$defs/reason" } },
+        "known_binding_slugs": { "type": "array", "items": { "type": "string" } },
+        "current_binding_slugs": { "type": "array", "items": { "type": "string" } },
+        "missing_registered_binding_slugs": { "type": "array", "items": { "type": "string" } },
+        "unregistered_current_binding_slugs": { "type": "array", "items": { "type": "string" } },
+        "current_binding_set_hash": { "$ref": "#/$defs/hash" },
+        "current_bindings": { "type": "array", "items": { "$ref": "#/$defs/current_binding" } },
+        "matching_proof_event": {
+          "oneOf": [{ "type": "null" }, { "$ref": "#/$defs/proof_ref" }]
+        },
+        "latest_trusted_proof_event": {
+          "oneOf": [{ "type": "null" }, { "$ref": "#/$defs/proof_ref" }]
+        },
+        "required_action": { "type": ["string", "null"] },
+        "required_for_release": { "type": "boolean" }
+      }
+    }
+  },
+  "properties": {
+    "schema": { "const": "ucase-freshness-status-v1" },
+    "generated_at": { "type": "string", "minLength": 1 },
+    "tool": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": ["name", "version"],
+      "properties": {
+        "name": { "type": "string", "minLength": 1 },
+        "version": { "type": "string", "minLength": 1 }
+      }
+    },
+    "product_root": { "type": "string", "minLength": 1 },
+    "policy_mode": { "enum": ["feature", "release", "custom"] },
+    "guard_ok": { "type": "boolean" },
+    "summary": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": ["fresh", "suspect", "unproven", "unbound", "invalid", "policy_blocked"],
+      "properties": {
+        "fresh": { "type": "integer", "minimum": 0 },
+        "suspect": { "type": "integer", "minimum": 0 },
+        "unproven": { "type": "integer", "minimum": 0 },
+        "unbound": { "type": "integer", "minimum": 0 },
+        "invalid": { "type": "integer", "minimum": 0 },
+        "policy_blocked": { "type": "integer", "minimum": 0 }
+      }
+    },
+    "integrity_errors": { "type": "array", "items": { "type": "object" } },
+    "rows": { "type": "array", "items": { "$ref": "#/$defs/row" } }
+  }
+}

package/packages/core/dist/markers/schemas/proof-event.schema.json

@@ -0,0 +1,170 @@
+{
+  "$schema": "https://json-schema.org/draft/2020-12/schema",
+  "$id": "ucase-proof-event-v1",
+  "type": "object",
+  "additionalProperties": false,
+  "required": [
+    "schema",
+    "event_type",
+    "event_id",
+    "created_at",
+    "producer",
+    "row",
+    "bindings",
+    "verification",
+    "signature"
+  ],
+  "$defs": {
+    "hash": { "type": "string", "pattern": "^sha256:[0-9a-f]{64}$" },
+    "authority": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": ["type", "provider"],
+      "properties": {
+        "type": { "enum": ["ci", "local"] },
+        "provider": { "enum": ["github-actions", "gitlab-ci", "circleci", "generic"] },
+        "repository": { "type": "string", "minLength": 1 },
+        "ref": { "type": "string", "minLength": 1 },
+        "commit": { "type": "string", "minLength": 1 },
+        "run_id": { "type": "string", "minLength": 1 },
+        "actor": { "type": "string", "minLength": 1 },
+        "protected_ref": { "type": ["boolean", "null"] },
+        "event": { "type": "string", "minLength": 1 }
+      }
+    }
+  },
+  "properties": {
+    "schema": { "const": "ucase-proof-event-v1" },
+    "event_type": { "const": "row_proof_passed" },
+    "event_id": { "type": "string", "minLength": 1 },
+    "created_at": { "type": "string", "minLength": 1 },
+    "producer": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": ["kind", "id", "version", "ci_run_id", "repo", "commit"],
+      "properties": {
+        "kind": { "const": "trusted-ci-prover" },
+        "id": { "type": "string", "minLength": 1 },
+        "version": { "type": "string", "minLength": 1 },
+        "ci_run_id": { "type": "string", "minLength": 1 },
+        "repo": { "type": "string", "minLength": 1 },
+        "commit": { "type": "string", "minLength": 1 }
+      }
+    },
+    "row": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": [
+        "row_id",
+        "row_hash_id",
+        "row_hash",
+        "verification_policy_hash",
+        "approval_policy_hash"
+      ],
+      "properties": {
+        "row_id": { "type": "string", "minLength": 1 },
+        "row_hash_id": { "type": "string", "minLength": 1 },
+        "row_hash": { "$ref": "#/$defs/hash" },
+        "verification_policy_hash": { "$ref": "#/$defs/hash" },
+        "approval_policy_hash": { "$ref": "#/$defs/hash" }
+      }
+    },
+    "bindings": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": ["binding_set_hash_id", "binding_set_hash", "span_canon_id", "items"],
+      "properties": {
+        "binding_set_hash_id": { "const": "ucase-binding-set-v1" },
+        "binding_set_hash": { "$ref": "#/$defs/hash" },
+        "span_canon_id": { "type": "string", "minLength": 1 },
+        "items": {
+          "type": "array",
+          "minItems": 1,
+          "items": {
+            "type": "object",
+            "additionalProperties": false,
+            "required": [
+              "binding_slug",
+              "row_id",
+              "file_path",
+              "extent_kind",
+              "recognizer_id",
+              "span_canon_id",
+              "span_sha256",
+              "span_start_line",
+              "span_end_line"
+            ],
+            "properties": {
+              "binding_slug": { "type": "string", "minLength": 1 },
+              "row_id": { "type": "string", "minLength": 1 },
+              "file_path": { "type": "string", "minLength": 1 },
+              "extent_kind": { "enum": ["explicit", "swift_func_inferred"] },
+              "recognizer_id": { "type": "string", "minLength": 1 },
+              "span_canon_id": { "type": "string", "minLength": 1 },
+              "span_sha256": { "$ref": "#/$defs/hash" },
+              "span_start_line": { "type": "integer", "minimum": 1 },
+              "span_end_line": { "type": "integer", "minimum": 1 }
+            }
+          }
+        }
+      }
+    },
+    "verification": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": [
+        "command_id",
+        "result",
+        "started_at",
+        "completed_at",
+        "artifacts",
+        "context_hash_id",
+        "context_hash"
+      ],
+      "properties": {
+        "command_id": { "type": "string", "minLength": 1 },
+        "result": { "const": "pass" },
+        "started_at": { "type": "string", "minLength": 1 },
+        "completed_at": { "type": "string", "minLength": 1 },
+        "context_hash_id": { "const": "ucase-verification-context-hash-v1" },
+        "context_hash": { "$ref": "#/$defs/hash" },
+        "artifacts": {
+          "type": "array",
+          "items": {
+            "type": "object",
+            "additionalProperties": false,
+            "required": ["kind", "path", "sha256"],
+            "properties": {
+              "kind": { "type": "string", "minLength": 1 },
+              "path": { "type": "string", "minLength": 1 },
+              "sha256": { "$ref": "#/$defs/hash" }
+            }
+          }
+        }
+      }
+    },
+    "signature": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": ["alg", "key_id", "value"],
+      "properties": {
+        "alg": { "const": "ed25519" },
+        "key_id": { "type": "string", "minLength": 1 },
+        "value": { "type": "string", "minLength": 1 }
+      }
+    },
+    "entry_index": {
+      "type": "integer",
+      "minimum": 0,
+      "description": "OPTIONAL tamper-evident chain field: the entry's absolute 0-based position in the ledger. Omitted on legacy proofs minted before the chain existed."
+    },
+    "previous_entry_hash": {
+      "$ref": "#/$defs/hash",
+      "description": "OPTIONAL tamper-evident chain field: sha256 of the previous entry's full canonical JSON, or the genesis sentinel (sha256:<64 zeros>) for the first entry. Omitted on legacy proofs."
+    },
+    "authority": {
+      "$ref": "#/$defs/authority",
+      "description": "OPTIONAL CI-neutral provenance authority (mirrors authority.schema.json). Provider-agnostic who/where minted the proof. Omitted on legacy proofs minted before it existed, which must still validate and stay FRESH. When present it is signed (built into the event before signing)."
+    }
+  }
+}

package/packages/core/dist/markers/spanCanon.d.ts

@@ -0,0 +1,4 @@
+export declare function normalizeNewlines(content: string): string;
+export declare function canonicalizeSpanLines(lines: ReadonlyArray<string>): string;
+export declare function hashSpanLines(lines: ReadonlyArray<string>): string;
+//# sourceMappingURL=spanCanon.d.ts.map

package/packages/core/dist/markers/spanCanon.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"spanCanon.d.ts","sourceRoot":"","sources":["../../src/markers/spanCanon.ts"],"names":[],"mappings":"AAkBA,wBAAgB,iBAAiB,CAAC,OAAO,EAAE,MAAM,GAAG,MAAM,CAEzD;AAcD,wBAAgB,qBAAqB,CAAC,KAAK,EAAE,aAAa,CAAC,MAAM,CAAC,GAAG,MAAM,CAK1E;AAGD,wBAAgB,aAAa,CAAC,KAAK,EAAE,aAAa,CAAC,MAAM,CAAC,GAAG,MAAM,CAElE"}