@adammcarter/use-cases 0.1.0

package/packages/core/dist/evidence/linkEvidence.js

@@ -0,0 +1,53 @@
+//: @use-case: evidence.ledger.product_proof_map
+export function linkEvidenceToMatrix(evidence, matrix) {
+    const links = [];
+    for (const aggregate of evidence.aggregates) {
+        for (const target of aggregate.targetLinks) {
+            const resolved = matrix.resolveUseCase(target.use_case_id);
+            if (!matrix.complete && resolved.kind === "missing") {
+                links.push({
+                    evidenceId: aggregate.evidenceId,
+                    useCaseId: target.use_case_id,
+                    scenarioId: target.scenario_id,
+                    resolution: "unknown_due_to_matrix_incomplete",
+                    semanticHash: "unknown",
+                    sourcePath: null
+                });
+                continue;
+            }
+            if (resolved.kind === "missing") {
+                links.push({
+                    evidenceId: aggregate.evidenceId,
+                    useCaseId: target.use_case_id,
+                    scenarioId: target.scenario_id,
+                    resolution: "missing",
+                    semanticHash: "unknown",
+                    sourcePath: null
+                });
+                continue;
+            }
+            if (resolved.kind === "ambiguous") {
+                links.push({
+                    evidenceId: aggregate.evidenceId,
+                    useCaseId: target.use_case_id,
+                    scenarioId: target.scenario_id,
+                    resolution: "ambiguous",
+                    semanticHash: "unknown",
+                    sourcePath: null
+                });
+                continue;
+            }
+            links.push({
+                evidenceId: aggregate.evidenceId,
+                useCaseId: target.use_case_id,
+                scenarioId: target.scenario_id,
+                resolution: "resolved",
+                semanticHash: resolved.useCase.semanticHash === target.use_case_semantic_hash ? "match" : "mismatch",
+                sourcePath: resolved.useCase.source.path
+            });
+        }
+    }
+    return links.sort((left, right) => `${left.evidenceId}:${left.useCaseId}`.localeCompare(`${right.evidenceId}:${right.useCaseId}`));
+}
+//: @use-case: end evidence.ledger.product_proof_map
+//# sourceMappingURL=linkEvidence.js.map

package/packages/core/dist/evidence/linkEvidence.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"linkEvidence.js","sourceRoot":"","sources":["../../src/evidence/linkEvidence.ts"],"names":[],"mappings":"AAGA,gDAAgD;AAChD,MAAM,UAAU,oBAAoB,CAClC,QAA0B,EAC1B,MAAsB;IAEtB,MAAM,KAAK,GAAyB,EAAE,CAAC;IACvC,KAAK,MAAM,SAAS,IAAI,QAAQ,CAAC,UAAU,EAAE,CAAC;QAC5C,KAAK,MAAM,MAAM,IAAI,SAAS,CAAC,WAAW,EAAE,CAAC;YAC3C,MAAM,QAAQ,GAAG,MAAM,CAAC,cAAc,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC;YAC3D,IAAI,CAAC,MAAM,CAAC,QAAQ,IAAI,QAAQ,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;gBACpD,KAAK,CAAC,IAAI,CAAC;oBACT,UAAU,EAAE,SAAS,CAAC,UAAU;oBAChC,SAAS,EAAE,MAAM,CAAC,WAAW;oBAC7B,UAAU,EAAE,MAAM,CAAC,WAAW;oBAC9B,UAAU,EAAE,kCAAkC;oBAC9C,YAAY,EAAE,SAAS;oBACvB,UAAU,EAAE,IAAI;iBACjB,CAAC,CAAC;gBACH,SAAS;YACX,CAAC;YACD,IAAI,QAAQ,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;gBAChC,KAAK,CAAC,IAAI,CAAC;oBACT,UAAU,EAAE,SAAS,CAAC,UAAU;oBAChC,SAAS,EAAE,MAAM,CAAC,WAAW;oBAC7B,UAAU,EAAE,MAAM,CAAC,WAAW;oBAC9B,UAAU,EAAE,SAAS;oBACrB,YAAY,EAAE,SAAS;oBACvB,UAAU,EAAE,IAAI;iBACjB,CAAC,CAAC;gBACH,SAAS;YACX,CAAC;YACD,IAAI,QAAQ,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;gBAClC,KAAK,CAAC,IAAI,CAAC;oBACT,UAAU,EAAE,SAAS,CAAC,UAAU;oBAChC,SAAS,EAAE,MAAM,CAAC,WAAW;oBAC7B,UAAU,EAAE,MAAM,CAAC,WAAW;oBAC9B,UAAU,EAAE,WAAW;oBACvB,YAAY,EAAE,SAAS;oBACvB,UAAU,EAAE,IAAI;iBACjB,CAAC,CAAC;gBACH,SAAS;YACX,CAAC;YACD,KAAK,CAAC,IAAI,CAAC;gBACT,UAAU,EAAE,SAAS,CAAC,UAAU;gBAChC,SAAS,EAAE,MAAM,CAAC,WAAW;gBAC7B,UAAU,EAAE,MAAM,CAAC,WAAW;gBAC9B,UAAU,EAAE,UAAU;gBACtB,YAAY,EACV,QAAQ,CAAC,OAAO,CAAC,YAAY,KAAK,MAAM,CAAC,sBAAsB,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,UAAU;gBACxF,UAAU,EAAE,QAAQ,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI;aACzC,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAChC,GAAG,IAAI,CAAC,UAAU,IAAI,IAAI,CAAC,SAAS,EAAE,CAAC,aAAa,CAAC,GAAG,KAAK,CAAC,UAAU,IAAI,KAAK,CAAC,SAAS,EAAE,CAAC,CAC/F,CAAC;AACJ,CAAC;AACD,oDAAoD"}

package/packages/core/dist/evidence/replayEvidence.d.ts

@@ -0,0 +1,6 @@
+import type { ResolvedWorkspaceContext } from "../roots.js";
+import type { EvidenceSnapshot } from "./types.js";
+export declare function replayEvidence(options: {
+    context: ResolvedWorkspaceContext;
+}): EvidenceSnapshot;
+//# sourceMappingURL=replayEvidence.d.ts.map

package/packages/core/dist/evidence/replayEvidence.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"replayEvidence.d.ts","sourceRoot":"","sources":["../../src/evidence/replayEvidence.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,wBAAwB,EAAE,MAAM,aAAa,CAAC;AAG5D,OAAO,KAAK,EAA8D,gBAAgB,EAAE,MAAM,YAAY,CAAC;AAE/G,wBAAgB,cAAc,CAAC,OAAO,EAAE;IAAE,OAAO,EAAE,wBAAwB,CAAA;CAAE,GAAG,gBAAgB,CAuC/F"}

package/packages/core/dist/evidence/replayEvidence.js

@@ -0,0 +1,216 @@
+import { canonicalJson } from "../markers/canonicalJson.js";
+import { deriveEvidenceAssurance } from "./assurance.js";
+import { diagnostic, readEvidenceLedgers } from "./jsonlLedger.js";
+export function replayEvidence(options) {
+    const read = readEvidenceLedgers(options.context);
+    const diagnostics = [...read.diagnostics];
+    const uniqueEvents = dedupeEvents(read.events, diagnostics);
+    const grouped = groupByAggregate(uniqueEvents.events);
+    const invalidAggregates = new Set(uniqueEvents.invalidAggregates);
+    const aggregates = Array.from(grouped.entries())
+        .map(([aggregateId, events]) => projectAggregate(aggregateId, events, diagnostics, invalidAggregates))
+        .sort((left, right) => left.evidenceId.localeCompare(right.evidenceId));
+    markSupersessionCycles(aggregates, diagnostics);
+    const invalidAggregateCount = aggregates.filter((item) => item.status === "invalid").length;
+    const tornTailCount = read.ledgers.filter((ledger) => ledger.torn_tail).length;
+    const unknownScopeDamage = read.ledgers.some((ledger) => ledger.unknown_scope_damage);
+    const complete = diagnostics.length === 0 && invalidAggregateCount === 0 && tornTailCount === 0 && !unknownScopeDamage;
+    const activeCount = aggregates.filter((item) => item.status === "active").length;
+    const state = complete ? "clean" : activeCount > 0 ? "partial" : "unusable";
+    return {
+        complete,
+        integrity: {
+            state,
+            unknownScopeDamage,
+            invalidAggregateCount,
+            tornTailCount
+        },
+        ledgers: read.ledgers,
+        aggregates,
+        diagnostics,
+        counts: {
+            ledgers: read.ledgers.length,
+            events_loaded: uniqueEvents.events.length,
+            aggregates_total: aggregates.length,
+            aggregates_active: activeCount,
+            aggregates_invalid: invalidAggregateCount
+        },
+        events: uniqueEvents.events
+    };
+}
+function dedupeEvents(events, diagnostics) {
+    const byEventId = new Map();
+    const invalidAggregates = new Set();
+    const kept = [];
+    for (const event of events) {
+        const previous = byEventId.get(event.event_id);
+        if (!previous) {
+            byEventId.set(event.event_id, event);
+            kept.push(event);
+            continue;
+        }
+        if (canonicalJson(previous) === canonicalJson(event)) {
+            diagnostics.push(diagnostic("evidence_duplicate_event_id", "Duplicate identical event ID projected once.", nullPath(event), event.aggregate_id));
+            continue;
+        }
+        invalidAggregates.add(previous.aggregate_id);
+        invalidAggregates.add(event.aggregate_id);
+        diagnostics.push(diagnostic("evidence_duplicate_event_id", "Conflicting duplicate event ID.", nullPath(event), event.aggregate_id));
+    }
+    return { events: kept, invalidAggregates };
+}
+function projectAggregate(aggregateId, events, diagnostics, invalidAggregates) {
+    const eventIds = events.map((event) => event.event_id);
+    if (invalidAggregates.has(aggregateId)) {
+        return invalidAggregate(aggregateId, eventIds);
+    }
+    const sequences = new Map();
+    for (const event of events) {
+        const current = sequences.get(event.sequence) ?? [];
+        current.push(event);
+        sequences.set(event.sequence, current);
+    }
+    if (Array.from(sequences.values()).some((items) => items.length > 1)) {
+        diagnostics.push(diagnostic("evidence_sequence_conflict", "Duplicate aggregate sequence.", null, aggregateId));
+        return invalidAggregate(aggregateId, eventIds);
+    }
+    const ordered = events.slice().sort((left, right) => left.sequence - right.sequence);
+    for (let index = 0; index < ordered.length; index += 1) {
+        if (ordered[index].sequence !== index + 1) {
+            diagnostics.push(diagnostic("evidence_sequence_gap", "Aggregate sequence must start at 1 and be contiguous.", null, aggregateId));
+            return invalidAggregate(aggregateId, eventIds);
+        }
+    }
+    if (ordered.filter((event) => event.event_type === "evidence_recorded").length !== 1 || ordered[0]?.event_type !== "evidence_recorded") {
+        diagnostics.push(diagnostic("evidence_invalid_transition", "Aggregate must contain exactly one initial evidence_recorded event.", null, aggregateId));
+        return invalidAggregate(aggregateId, eventIds);
+    }
+    let head = ordered[0];
+    let observation = normalizeObservation(ordered[0]);
+    let status = "active";
+    let replacementEvidenceId;
+    for (const event of ordered.slice(1)) {
+        if (event.target_event_id !== head.event_id) {
+            diagnostics.push(diagnostic("evidence_invalid_transition", "Event must target the current aggregate head.", null, aggregateId));
+            return invalidAggregate(aggregateId, eventIds);
+        }
+        if (event.event_type === "evidence_corrected") {
+            if (!event.replacement || event.sequence <= head.sequence) {
+                diagnostics.push(diagnostic("evidence_invalid_transition", "Correction must contain a replacement and target an earlier head.", null, aggregateId));
+                return invalidAggregate(aggregateId, eventIds);
+            }
+            observation = normalizeObservation(event);
+            head = event;
+            continue;
+        }
+        if (event.event_type === "evidence_voided") {
+            status = "voided";
+            head = event;
+            break;
+        }
+        if (event.event_type === "evidence_invalidated") {
+            status = "invalidated";
+            head = event;
+            break;
+        }
+        if (event.event_type === "evidence_superseded") {
+            if (event.replacement_evidence_id === aggregateId) {
+                diagnostics.push(diagnostic("evidence_supersession_cycle", "Evidence cannot supersede itself.", null, aggregateId));
+                return invalidAggregate(aggregateId, eventIds);
+            }
+            status = "superseded";
+            replacementEvidenceId = event.replacement_evidence_id;
+            head = event;
+            break;
+        }
+    }
+    return {
+        evidenceId: aggregateId,
+        status,
+        effectiveObservation: observation,
+        targetLinks: observation?.targets ?? [],
+        assurance: observation
+            ? deriveEvidenceAssurance({
+                kind: observation.kind,
+                origin: observation.producer.type,
+                captureMethod: observation.method.type === "structured_command" ? "executed" : observation.method.type,
+                executionMethod: observation.kind === "test_result" ? "test" : observation.kind === "command_result" ? "command" : "none"
+            })
+            : {},
+        freshnessInputs: {
+            captured_at: observation?.captured_at,
+            use_case_semantic_hashes: (observation?.targets ?? []).map((target) => target.use_case_semantic_hash),
+            explicit_invalidation: status === "invalidated"
+        },
+        eventIds,
+        replacementEvidenceId
+    };
+}
+function normalizeObservation(event) {
+    const payload = event.replacement ?? event.payload;
+    if (!payload) {
+        return undefined;
+    }
+    return {
+        targets: payload.targets ??
+            (payload.use_case_ids ?? []).map((useCaseId) => ({
+                use_case_id: useCaseId,
+                use_case_semantic_hash: "sha256:0000000000000000000000000000000000000000000000000000000000000000"
+            })),
+        kind: payload.kind ?? payload.evidence_kind ?? "manual_observation",
+        captured_at: payload.captured_at ?? event.recorded_at,
+        result: payload.result ??
+            (payload.verdict === "pass" || payload.verdict === "fail" ? payload.verdict : "observed"),
+        summary: payload.summary,
+        producer: payload.producer ?? { type: payload.verifier?.type ?? event.actor_type },
+        method: payload.method ?? { type: "reported" },
+        evidence_kind: payload.evidence_kind,
+        use_case_ids: payload.use_case_ids,
+        verifier: payload.verifier,
+        verdict: payload.verdict
+    };
+}
+function markSupersessionCycles(aggregates, diagnostics) {
+    const byId = new Map(aggregates.map((aggregate) => [aggregate.evidenceId, aggregate]));
+    for (const aggregate of aggregates) {
+        const seen = new Set();
+        let cursor = aggregate;
+        while (cursor?.replacementEvidenceId) {
+            if (seen.has(cursor.evidenceId)) {
+                for (const id of seen) {
+                    const affected = byId.get(id);
+                    if (affected) {
+                        affected.status = "invalid";
+                    }
+                }
+                diagnostics.push(diagnostic("evidence_supersession_cycle", "Supersession graph contains a cycle.", null, aggregate.evidenceId));
+                break;
+            }
+            seen.add(cursor.evidenceId);
+            cursor = byId.get(cursor.replacementEvidenceId);
+        }
+    }
+}
+function invalidAggregate(evidenceId, eventIds) {
+    return {
+        evidenceId,
+        status: "invalid",
+        targetLinks: [],
+        assurance: {},
+        freshnessInputs: { use_case_semantic_hashes: [] },
+        eventIds
+    };
+}
+function groupByAggregate(events) {
+    const grouped = new Map();
+    for (const event of events) {
+        const current = grouped.get(event.aggregate_id) ?? [];
+        current.push(event);
+        grouped.set(event.aggregate_id, current);
+    }
+    return grouped;
+}
+function nullPath(_event) {
+    return null;
+}
+//# sourceMappingURL=replayEvidence.js.map

package/packages/core/dist/evidence/replayEvidence.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"replayEvidence.js","sourceRoot":"","sources":["../../src/evidence/replayEvidence.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,aAAa,EAAE,MAAM,6BAA6B,CAAC;AAG5D,OAAO,EAAE,uBAAuB,EAAE,MAAM,gBAAgB,CAAC;AACzD,OAAO,EAAE,UAAU,EAAE,mBAAmB,EAAE,MAAM,kBAAkB,CAAC;AAGnE,MAAM,UAAU,cAAc,CAAC,OAA8C;IAC3E,MAAM,IAAI,GAAG,mBAAmB,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;IAClD,MAAM,WAAW,GAAG,CAAC,GAAG,IAAI,CAAC,WAAW,CAAC,CAAC;IAC1C,MAAM,YAAY,GAAG,YAAY,CAAC,IAAI,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC;IAC5D,MAAM,OAAO,GAAG,gBAAgB,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC;IACtD,MAAM,iBAAiB,GAAG,IAAI,GAAG,CAAC,YAAY,CAAC,iBAAiB,CAAC,CAAC;IAClE,MAAM,UAAU,GAAG,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,EAAE,CAAC;SAC7C,GAAG,CAAC,CAAC,CAAC,WAAW,EAAE,MAAM,CAAC,EAAE,EAAE,CAAC,gBAAgB,CAAC,WAAW,EAAE,MAAM,EAAE,WAAW,EAAE,iBAAiB,CAAC,CAAC;SACrG,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,IAAI,CAAC,UAAU,CAAC,aAAa,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC;IAE1E,sBAAsB,CAAC,UAAU,EAAE,WAAW,CAAC,CAAC;IAEhD,MAAM,qBAAqB,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,MAAM,CAAC;IAC5F,MAAM,aAAa,GAAG,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,MAAM,CAAC;IAC/E,MAAM,kBAAkB,GAAG,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,oBAAoB,CAAC,CAAC;IACtF,MAAM,QAAQ,GAAG,WAAW,CAAC,MAAM,KAAK,CAAC,IAAI,qBAAqB,KAAK,CAAC,IAAI,aAAa,KAAK,CAAC,IAAI,CAAC,kBAAkB,CAAC;IACvH,MAAM,WAAW,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,KAAK,QAAQ,CAAC,CAAC,MAAM,CAAC;IACjF,MAAM,KAAK,GAAG,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,WAAW,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,UAAU,CAAC;IAE5E,OAAO;QACL,QAAQ;QACR,SAAS,EAAE;YACT,KAAK;YACL,kBAAkB;YAClB,qBAAqB;YACrB,aAAa;SACd;QACD,OAAO,EAAE,IAAI,CAAC,OAAO;QACrB,UAAU;QACV,WAAW;QACX,MAAM,EAAE;YACN,OAAO,EAAE,IAAI,CAAC,OAAO,CAAC,MAAM;YAC5B,aAAa,EAAE,YAAY,CAAC,MAAM,CAAC,MAAM;YACzC,gBAAgB,EAAE,UAAU,CAAC,MAAM;YACnC,iBAAiB,EAAE,WAAW;YAC9B,kBAAkB,EAAE,qBAAqB;SAC1C;QACD,MAAM,EAAE,YAAY,CAAC,MAAM;KAC5B,CAAC;AACJ,CAAC;AAED,SAAS,YAAY,CAAC,MAAuB,EAAE,WAAyB;IAItE,MAAM,SAAS,GAAG,IAAI,GAAG,EAAyB,CAAC;IACnD,MAAM,iBAAiB,GAAG,IAAI,GAAG,EAAU,CAAC;IAC5C,MAAM,IAAI,GAAoB,EAAE,CAAC;IACjC,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QAC3B,MAAM,QAAQ,GAAG,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;QAC/C,IAAI,CAAC,QAAQ,EAAE,CAAC;YACd,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;YACrC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YACjB,SAAS;QACX,CAAC;QACD,IAAI,aAAa,CAAC,QAAQ,CAAC,KAAK,aAAa,CAAC,KAAK,CAAC,EAAE,CAAC;YACrD,WAAW,CAAC,IAAI,CAAC,UAAU,CAAC,6BAA6B,EAAE,8CAA8C,EAAE,QAAQ,CAAC,KAAK,CAAC,EAAE,KAAK,CAAC,YAAY,CAAC,CAAC,CAAC;YACjJ,SAAS;QACX,CAAC;QACD,iBAAiB,CAAC,GAAG,CAAC,QAAQ,CAAC,YAAY,CAAC,CAAC;QAC7C,iBAAiB,CAAC,GAAG,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC;QAC1C,WAAW,CAAC,IAAI,CAAC,UAAU,CAAC,6BAA6B,EAAE,iCAAiC,EAAE,QAAQ,CAAC,KAAK,CAAC,EAAE,KAAK,CAAC,YAAY,CAAC,CAAC,CAAC;IACtI,CAAC;IACD,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,iBAAiB,EAAE,CAAC;AAC7C,CAAC;AAED,SAAS,gBAAgB,CACvB,WAAmB,EACnB,MAAuB,EACvB,WAAyB,EACzB,iBAA8B;IAE9B,MAAM,QAAQ,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;IACvD,IAAI,iBAAiB,CAAC,GAAG,CAAC,WAAW,CAAC,EAAE,CAAC;QACvC,OAAO,gBAAgB,CAAC,WAAW,EAAE,QAAQ,CAAC,CAAC;IACjD,CAAC;IACD,MAAM,SAAS,GAAG,IAAI,GAAG,EAA2B,CAAC;IACrD,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QAC3B,MAAM,OAAO,GAAG,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAC;QACpD,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACpB,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;IACzC,CAAC;IACD,IAAI,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,EAAE,CAAC;QACrE,WAAW,CAAC,IAAI,CAAC,UAAU,CAAC,4BAA4B,EAAE,+BAA+B,EAAE,IAAI,EAAE,WAAW,CAAC,CAAC,CAAC;QAC/G,OAAO,gBAAgB,CAAC,WAAW,EAAE,QAAQ,CAAC,CAAC;IACjD,CAAC;IACD,MAAM,OAAO,GAAG,MAAM,CAAC,KAAK,EAAE,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,IAAI,CAAC,QAAQ,GAAG,KAAK,CAAC,QAAQ,CAAC,CAAC;IACrF,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,OAAO,CAAC,MAAM,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;QACvD,IAAI,OAAO,CAAC,KAAK,CAAC,CAAC,QAAQ,KAAK,KAAK,GAAG,CAAC,EAAE,CAAC;YAC1C,WAAW,CAAC,IAAI,CAAC,UAAU,CAAC,uBAAuB,EAAE,uDAAuD,EAAE,IAAI,EAAE,WAAW,CAAC,CAAC,CAAC;YAClI,OAAO,gBAAgB,CAAC,WAAW,EAAE,QAAQ,CAAC,CAAC;QACjD,CAAC;IACH,CAAC;IACD,IAAI,OAAO,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,UAAU,KAAK,mBAAmB,CAAC,CAAC,MAAM,KAAK,CAAC,IAAI,OAAO,CAAC,CAAC,CAAC,EAAE,UAAU,KAAK,mBAAmB,EAAE,CAAC;QACvI,WAAW,CAAC,IAAI,CAAC,UAAU,CAAC,6BAA6B,EAAE,qEAAqE,EAAE,IAAI,EAAE,WAAW,CAAC,CAAC,CAAC;QACtJ,OAAO,gBAAgB,CAAC,WAAW,EAAE,QAAQ,CAAC,CAAC;IACjD,CAAC;IAED,IAAI,IAAI,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;IACtB,IAAI,WAAW,GAAG,oBAAoB,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC;IACnD,IAAI,MAAM,GAAqC,QAAQ,CAAC;IACxD,IAAI,qBAAyC,CAAC;IAE9C,KAAK,MAAM,KAAK,IAAI,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;QACrC,IAAI,KAAK,CAAC,eAAe,KAAK,IAAI,CAAC,QAAQ,EAAE,CAAC;YAC5C,WAAW,CAAC,IAAI,CAAC,UAAU,CAAC,6BAA6B,EAAE,+CAA+C,EAAE,IAAI,EAAE,WAAW,CAAC,CAAC,CAAC;YAChI,OAAO,gBAAgB,CAAC,WAAW,EAAE,QAAQ,CAAC,CAAC;QACjD,CAAC;QACD,IAAI,KAAK,CAAC,UAAU,KAAK,oBAAoB,EAAE,CAAC;YAC9C,IAAI,CAAC,KAAK,CAAC,WAAW,IAAI,KAAK,CAAC,QAAQ,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;gBAC1D,WAAW,CAAC,IAAI,CAAC,UAAU,CAAC,6BAA6B,EAAE,mEAAmE,EAAE,IAAI,EAAE,WAAW,CAAC,CAAC,CAAC;gBACpJ,OAAO,gBAAgB,CAAC,WAAW,EAAE,QAAQ,CAAC,CAAC;YACjD,CAAC;YACD,WAAW,GAAG,oBAAoB,CAAC,KAAK,CAAC,CAAC;YAC1C,IAAI,GAAG,KAAK,CAAC;YACb,SAAS;QACX,CAAC;QACD,IAAI,KAAK,CAAC,UAAU,KAAK,iBAAiB,EAAE,CAAC;YAC3C,MAAM,GAAG,QAAQ,CAAC;YAClB,IAAI,GAAG,KAAK,CAAC;YACb,MAAM;QACR,CAAC;QACD,IAAI,KAAK,CAAC,UAAU,KAAK,sBAAsB,EAAE,CAAC;YAChD,MAAM,GAAG,aAAa,CAAC;YACvB,IAAI,GAAG,KAAK,CAAC;YACb,MAAM;QACR,CAAC;QACD,IAAI,KAAK,CAAC,UAAU,KAAK,qBAAqB,EAAE,CAAC;YAC/C,IAAI,KAAK,CAAC,uBAAuB,KAAK,WAAW,EAAE,CAAC;gBAClD,WAAW,CAAC,IAAI,CAAC,UAAU,CAAC,6BAA6B,EAAE,mCAAmC,EAAE,IAAI,EAAE,WAAW,CAAC,CAAC,CAAC;gBACpH,OAAO,gBAAgB,CAAC,WAAW,EAAE,QAAQ,CAAC,CAAC;YACjD,CAAC;YACD,MAAM,GAAG,YAAY,CAAC;YACtB,qBAAqB,GAAG,KAAK,CAAC,uBAAuB,CAAC;YACtD,IAAI,GAAG,KAAK,CAAC;YACb,MAAM;QACR,CAAC;IACH,CAAC;IAED,OAAO;QACL,UAAU,EAAE,WAAW;QACvB,MAAM;QACN,oBAAoB,EAAE,WAAW;QACjC,WAAW,EAAE,WAAW,EAAE,OAAO,IAAI,EAAE;QACvC,SAAS,EAAE,WAAW;YACpB,CAAC,CAAC,uBAAuB,CAAC;gBACtB,IAAI,EAAE,WAAW,CAAC,IAAI;gBACtB,MAAM,EAAE,WAAW,CAAC,QAAQ,CAAC,IAAI;gBACjC,aAAa,EAAE,WAAW,CAAC,MAAM,CAAC,IAAI,KAAK,oBAAoB,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,WAAW,CAAC,MAAM,CAAC,IAAI;gBACtG,eAAe,EAAE,WAAW,CAAC,IAAI,KAAK,aAAa,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,WAAW,CAAC,IAAI,KAAK,gBAAgB,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM;aAC1H,CAAC;YACJ,CAAC,CAAC,EAAE;QACN,eAAe,EAAE;YACf,WAAW,EAAE,WAAW,EAAE,WAAW;YACrC,wBAAwB,EAAE,CAAC,WAAW,EAAE,OAAO,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,sBAAsB,CAAC;YACrG,qBAAqB,EAAE,MAAM,KAAK,aAAa;SAChD;QACD,QAAQ;QACR,qBAAqB;KACtB,CAAC;AACJ,CAAC;AAED,SAAS,oBAAoB,CAAC,KAAoB;IAChD,MAAM,OAAO,GAAG,KAAK,CAAC,WAAW,IAAI,KAAK,CAAC,OAAO,CAAC;IACnD,IAAI,CAAC,OAAO,EAAE,CAAC;QACb,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,OAAO;QACL,OAAO,EACL,OAAO,CAAC,OAAO;YACf,CAAC,OAAO,CAAC,YAAY,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC;gBAC/C,WAAW,EAAE,SAAS;gBACtB,sBAAsB,EACpB,yEAAyE;aAC5E,CAAC,CAAC;QACL,IAAI,EAAE,OAAO,CAAC,IAAI,IAAI,OAAO,CAAC,aAAa,IAAI,oBAAoB;QACnE,WAAW,EAAE,OAAO,CAAC,WAAW,IAAI,KAAK,CAAC,WAAW;QACrD,MAAM,EACJ,OAAO,CAAC,MAAM;YACd,CAAC,OAAO,CAAC,OAAO,KAAK,MAAM,IAAI,OAAO,CAAC,OAAO,KAAK,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,UAAU,CAAC;QAC3F,OAAO,EAAE,OAAO,CAAC,OAAO;QACxB,QAAQ,EAAE,OAAO,CAAC,QAAQ,IAAI,EAAE,IAAI,EAAE,OAAO,CAAC,QAAQ,EAAE,IAAI,IAAI,KAAK,CAAC,UAAU,EAAE;QAClF,MAAM,EAAE,OAAO,CAAC,MAAM,IAAI,EAAE,IAAI,EAAE,UAAU,EAAE;QAC9C,aAAa,EAAE,OAAO,CAAC,aAAa;QACpC,YAAY,EAAE,OAAO,CAAC,YAAY;QAClC,QAAQ,EAAE,OAAO,CAAC,QAAQ;QAC1B,OAAO,EAAE,OAAO,CAAC,OAAO;KACzB,CAAC;AACJ,CAAC;AAED,SAAS,sBAAsB,CAAC,UAAoC,EAAE,WAAyB;IAC7F,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC,SAAS,CAAC,UAAU,EAAE,SAAS,CAAC,CAAC,CAAC,CAAC;IACvF,KAAK,MAAM,SAAS,IAAI,UAAU,EAAE,CAAC;QACnC,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;QAC/B,IAAI,MAAM,GAAuC,SAAS,CAAC;QAC3D,OAAO,MAAM,EAAE,qBAAqB,EAAE,CAAC;YACrC,IAAI,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,UAAU,CAAC,EAAE,CAAC;gBAChC,KAAK,MAAM,EAAE,IAAI,IAAI,EAAE,CAAC;oBACtB,MAAM,QAAQ,GAAG,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;oBAC9B,IAAI,QAAQ,EAAE,CAAC;wBACb,QAAQ,CAAC,MAAM,GAAG,SAAS,CAAC;oBAC9B,CAAC;gBACH,CAAC;gBACD,WAAW,CAAC,IAAI,CAAC,UAAU,CAAC,6BAA6B,EAAE,sCAAsC,EAAE,IAAI,EAAE,SAAS,CAAC,UAAU,CAAC,CAAC,CAAC;gBAChI,MAAM;YACR,CAAC;YACD,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;YAC5B,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,qBAAqB,CAAC,CAAC;QAClD,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,gBAAgB,CAAC,UAAkB,EAAE,QAAkB;IAC9D,OAAO;QACL,UAAU;QACV,MAAM,EAAE,SAAS;QACjB,WAAW,EAAE,EAAE;QACf,SAAS,EAAE,EAAE;QACb,eAAe,EAAE,EAAE,wBAAwB,EAAE,EAAE,EAAE;QACjD,QAAQ;KACT,CAAC;AACJ,CAAC;AAED,SAAS,gBAAgB,CAAC,MAAuB;IAC/C,MAAM,OAAO,GAAG,IAAI,GAAG,EAA2B,CAAC;IACnD,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QAC3B,MAAM,OAAO,GAAG,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,YAAY,CAAC,IAAI,EAAE,CAAC;QACtD,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACpB,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,YAAY,EAAE,OAAO,CAAC,CAAC;IAC3C,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,SAAS,QAAQ,CAAC,MAAqB;IACrC,OAAO,IAAI,CAAC;AACd,CAAC"}

package/packages/core/dist/evidence/results.d.ts

@@ -0,0 +1,4 @@
+import type { EvidenceAppendResultData, EvidenceSnapshot, EvidenceStatusResultData } from "./types.js";
+export declare function toEvidenceStatusResult(snapshot: EvidenceSnapshot): EvidenceStatusResultData;
+export declare function toEvidenceAppendResult(result: EvidenceAppendResultData): EvidenceAppendResultData;
+//# sourceMappingURL=results.d.ts.map

package/packages/core/dist/evidence/results.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"results.d.ts","sourceRoot":"","sources":["../../src/evidence/results.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,wBAAwB,EAAE,gBAAgB,EAAE,wBAAwB,EAAE,MAAM,YAAY,CAAC;AAEvG,wBAAgB,sBAAsB,CAAC,QAAQ,EAAE,gBAAgB,GAAG,wBAAwB,CAqB3F;AAED,wBAAgB,sBAAsB,CAAC,MAAM,EAAE,wBAAwB,GAAG,wBAAwB,CAQjG"}

package/packages/core/dist/evidence/results.js

@@ -0,0 +1,32 @@
+export function toEvidenceStatusResult(snapshot) {
+    return {
+        schema_version: 1,
+        complete: snapshot.complete,
+        integrity: {
+            state: snapshot.integrity.state,
+            unknown_scope_damage: snapshot.integrity.unknownScopeDamage,
+            invalid_aggregate_count: snapshot.integrity.invalidAggregateCount,
+            torn_tail_count: snapshot.integrity.tornTailCount
+        },
+        ledgers: snapshot.ledgers,
+        aggregates: snapshot.aggregates.map((aggregate) => ({
+            evidence_id: aggregate.evidenceId,
+            status: aggregate.status,
+            event_ids: aggregate.eventIds,
+            target_links: aggregate.targetLinks,
+            assurance: aggregate.assurance,
+            freshness_inputs: aggregate.freshnessInputs
+        })),
+        counts: snapshot.counts
+    };
+}
+export function toEvidenceAppendResult(result) {
+    return {
+        schema_version: 1,
+        appended: result.appended,
+        event: result.event,
+        ledger_path: result.ledger_path,
+        durability: result.durability
+    };
+}
+//# sourceMappingURL=results.js.map

package/packages/core/dist/evidence/results.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"results.js","sourceRoot":"","sources":["../../src/evidence/results.ts"],"names":[],"mappings":"AAEA,MAAM,UAAU,sBAAsB,CAAC,QAA0B;IAC/D,OAAO;QACL,cAAc,EAAE,CAAC;QACjB,QAAQ,EAAE,QAAQ,CAAC,QAAQ;QAC3B,SAAS,EAAE;YACT,KAAK,EAAE,QAAQ,CAAC,SAAS,CAAC,KAAK;YAC/B,oBAAoB,EAAE,QAAQ,CAAC,SAAS,CAAC,kBAAkB;YAC3D,uBAAuB,EAAE,QAAQ,CAAC,SAAS,CAAC,qBAAqB;YACjE,eAAe,EAAE,QAAQ,CAAC,SAAS,CAAC,aAAa;SAClD;QACD,OAAO,EAAE,QAAQ,CAAC,OAAO;QACzB,UAAU,EAAE,QAAQ,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC;YAClD,WAAW,EAAE,SAAS,CAAC,UAAU;YACjC,MAAM,EAAE,SAAS,CAAC,MAAM;YACxB,SAAS,EAAE,SAAS,CAAC,QAAQ;YAC7B,YAAY,EAAE,SAAS,CAAC,WAAW;YACnC,SAAS,EAAE,SAAS,CAAC,SAAS;YAC9B,gBAAgB,EAAE,SAAS,CAAC,eAAe;SAC5C,CAAC,CAAC;QACH,MAAM,EAAE,QAAQ,CAAC,MAAM;KACxB,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,sBAAsB,CAAC,MAAgC;IACrE,OAAO;QACL,cAAc,EAAE,CAAC;QACjB,QAAQ,EAAE,MAAM,CAAC,QAAQ;QACzB,KAAK,EAAE,MAAM,CAAC,KAAK;QACnB,WAAW,EAAE,MAAM,CAAC,WAAW;QAC/B,UAAU,EAAE,MAAM,CAAC,UAAU;KAC9B,CAAC;AACJ,CAAC"}

package/packages/core/dist/evidence/types.d.ts

@@ -0,0 +1,149 @@
+import type { Diagnostic } from "../schema/index.js";
+import type { HostSurface, MatrixSnapshot } from "../useCases/types.js";
+export type EvidenceEventType = "evidence_recorded" | "evidence_corrected" | "evidence_voided" | "evidence_superseded" | "evidence_invalidated";
+export type EvidenceResult = "pass" | "fail" | "inconclusive" | "observed";
+export type EvidenceKind = "manual_observation" | "agent_observation" | "command_result" | "test_result" | "live_demo" | "artifact_review" | "host_conformance" | "url";
+export type EvidenceTarget = {
+    use_case_id: string;
+    scenario_id?: string;
+    use_case_semantic_hash: string;
+};
+export type EvidenceObservation = {
+    targets: EvidenceTarget[];
+    kind: EvidenceKind;
+    captured_at: string;
+    result: EvidenceResult;
+    summary: string;
+    producer: {
+        type: "user" | "agent" | "script" | "system";
+        identity?: string;
+    };
+    method: {
+        type: "reported" | "observed" | "structured_command";
+        executable?: string;
+        argv?: string[];
+    };
+    evidence_kind?: EvidenceKind;
+    use_case_ids?: string[];
+    verifier?: {
+        type: "user" | "agent" | "script";
+    };
+    verdict?: "pass" | "partial" | "fail" | "waived" | "blocked";
+};
+export type EvidenceEvent = {
+    schema_version: number;
+    event_type: EvidenceEventType;
+    event_id: string;
+    aggregate_id: string;
+    sequence: number;
+    recorded_at: string;
+    actor_type: "user" | "agent" | "script" | "system";
+    host_surface: HostSurface;
+    idempotency_key: string;
+    intent_digest?: string;
+    payload?: EvidenceObservation;
+    replacement?: EvidenceObservation;
+    target_event_id?: string;
+    replacement_evidence_id?: string;
+    reason?: string;
+};
+export type EvidenceLedgerResult = {
+    path: string;
+    complete: boolean;
+    events_loaded: number;
+    torn_tail: boolean;
+    unknown_scope_damage: boolean;
+};
+export type EvidenceAssurance = {
+    origin: "user" | "agent" | "script" | "system";
+    capture_method: "reported" | "observed" | "executed" | "imported";
+    execution_method: "none" | "manual" | "command" | "test";
+    integrity: "none" | "caller_reported_digest" | "tool_computed_digest";
+    reproducibility: "none" | "instructions" | "structured_command";
+    result: EvidenceResult;
+    class: "reference" | "reported" | "observed" | "reproducible";
+};
+export type EvidenceAggregateState = {
+    evidenceId: string;
+    status: "active" | "voided" | "invalidated" | "superseded" | "invalid";
+    effectiveObservation?: EvidenceObservation;
+    targetLinks: EvidenceTarget[];
+    assurance: EvidenceAssurance | Record<string, never>;
+    freshnessInputs: {
+        captured_at?: string;
+        use_case_semantic_hashes: string[];
+        explicit_invalidation?: boolean;
+    };
+    eventIds: string[];
+    replacementEvidenceId?: string;
+};
+export type EvidenceSnapshot = {
+    complete: boolean;
+    integrity: {
+        state: "clean" | "partial" | "unusable";
+        unknownScopeDamage: boolean;
+        invalidAggregateCount: number;
+        tornTailCount: number;
+    };
+    ledgers: EvidenceLedgerResult[];
+    aggregates: EvidenceAggregateState[];
+    diagnostics: Diagnostic[];
+    counts: {
+        ledgers: number;
+        events_loaded: number;
+        aggregates_total: number;
+        aggregates_active: number;
+        aggregates_invalid: number;
+    };
+    events: EvidenceEvent[];
+};
+export type EvidenceStatusResultData = {
+    schema_version: 1;
+    complete: boolean;
+    integrity: {
+        state: EvidenceSnapshot["integrity"]["state"];
+        unknown_scope_damage: boolean;
+        invalid_aggregate_count: number;
+        torn_tail_count: number;
+    };
+    ledgers: Array<{
+        path: string;
+        complete: boolean;
+        events_loaded: number;
+        torn_tail: boolean;
+        unknown_scope_damage: boolean;
+    }>;
+    aggregates: Array<{
+        evidence_id: string;
+        status: EvidenceAggregateState["status"];
+        event_ids: string[];
+        target_links: EvidenceTarget[];
+        assurance: EvidenceAggregateState["assurance"];
+        freshness_inputs: EvidenceAggregateState["freshnessInputs"];
+    }>;
+    counts: EvidenceSnapshot["counts"];
+};
+export type EvidenceAppendResultData = {
+    schema_version: 1;
+    appended: boolean;
+    event: EvidenceEvent;
+    ledger_path: string;
+    durability: "file_synced" | "file_and_directory_synced" | "best_effort";
+};
+export type EvidenceMatrixLink = {
+    evidenceId: string;
+    useCaseId: string;
+    scenarioId?: string;
+    resolution: "resolved" | "missing" | "ambiguous" | "unknown_due_to_matrix_incomplete";
+    semanticHash: "match" | "mismatch" | "unknown";
+    sourcePath: string | null;
+};
+export type EvidenceFreshnessResult = {
+    state: "current" | "needs_review" | "stale" | "unknown" | "invalidated";
+    basis: string;
+};
+export type LinkEvidenceOptions = {
+    evidence: EvidenceSnapshot;
+    matrix: MatrixSnapshot;
+};
+//# sourceMappingURL=types.d.ts.map

package/packages/core/dist/evidence/types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../src/evidence/types.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,oBAAoB,CAAC;AACrD,OAAO,KAAK,EAAE,WAAW,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAC;AAExE,MAAM,MAAM,iBAAiB,GACzB,mBAAmB,GACnB,oBAAoB,GACpB,iBAAiB,GACjB,qBAAqB,GACrB,sBAAsB,CAAC;AAE3B,MAAM,MAAM,cAAc,GAAG,MAAM,GAAG,MAAM,GAAG,cAAc,GAAG,UAAU,CAAC;AAC3E,MAAM,MAAM,YAAY,GACpB,oBAAoB,GACpB,mBAAmB,GACnB,gBAAgB,GAChB,aAAa,GACb,WAAW,GACX,iBAAiB,GACjB,kBAAkB,GAClB,KAAK,CAAC;AAEV,MAAM,MAAM,cAAc,GAAG;IAC3B,WAAW,EAAE,MAAM,CAAC;IACpB,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,sBAAsB,EAAE,MAAM,CAAC;CAChC,CAAC;AAEF,MAAM,MAAM,mBAAmB,GAAG;IAChC,OAAO,EAAE,cAAc,EAAE,CAAC;IAC1B,IAAI,EAAE,YAAY,CAAC;IACnB,WAAW,EAAE,MAAM,CAAC;IACpB,MAAM,EAAE,cAAc,CAAC;IACvB,OAAO,EAAE,MAAM,CAAC;IAChB,QAAQ,EAAE;QACR,IAAI,EAAE,MAAM,GAAG,OAAO,GAAG,QAAQ,GAAG,QAAQ,CAAC;QAC7C,QAAQ,CAAC,EAAE,MAAM,CAAC;KACnB,CAAC;IACF,MAAM,EAAE;QACN,IAAI,EAAE,UAAU,GAAG,UAAU,GAAG,oBAAoB,CAAC;QACrD,UAAU,CAAC,EAAE,MAAM,CAAC;QACpB,IAAI,CAAC,EAAE,MAAM,EAAE,CAAC;KACjB,CAAC;IACF,aAAa,CAAC,EAAE,YAAY,CAAC;IAC7B,YAAY,CAAC,EAAE,MAAM,EAAE,CAAC;IACxB,QAAQ,CAAC,EAAE;QAAE,IAAI,EAAE,MAAM,GAAG,OAAO,GAAG,QAAQ,CAAA;KAAE,CAAC;IACjD,OAAO,CAAC,EAAE,MAAM,GAAG,SAAS,GAAG,MAAM,GAAG,QAAQ,GAAG,SAAS,CAAC;CAC9D,CAAC;AAEF,MAAM,MAAM,aAAa,GAAG;IAC1B,cAAc,EAAE,MAAM,CAAC;IACvB,UAAU,EAAE,iBAAiB,CAAC;IAC9B,QAAQ,EAAE,MAAM,CAAC;IACjB,YAAY,EAAE,MAAM,CAAC;IACrB,QAAQ,EAAE,MAAM,CAAC;IACjB,WAAW,EAAE,MAAM,CAAC;IACpB,UAAU,EAAE,MAAM,GAAG,OAAO,GAAG,QAAQ,GAAG,QAAQ,CAAC;IACnD,YAAY,EAAE,WAAW,CAAC;IAC1B,eAAe,EAAE,MAAM,CAAC;IACxB,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,OAAO,CAAC,EAAE,mBAAmB,CAAC;IAC9B,WAAW,CAAC,EAAE,mBAAmB,CAAC;IAClC,eAAe,CAAC,EAAE,MAAM,CAAC;IACzB,uBAAuB,CAAC,EAAE,MAAM,CAAC;IACjC,MAAM,CAAC,EAAE,MAAM,CAAC;CACjB,CAAC;AAEF,MAAM,MAAM,oBAAoB,GAAG;IACjC,IAAI,EAAE,MAAM,CAAC;IACb,QAAQ,EAAE,OAAO,CAAC;IAClB,aAAa,EAAE,MAAM,CAAC;IACtB,SAAS,EAAE,OAAO,CAAC;IACnB,oBAAoB,EAAE,OAAO,CAAC;CAC/B,CAAC;AAEF,MAAM,MAAM,iBAAiB,GAAG;IAC9B,MAAM,EAAE,MAAM,GAAG,OAAO,GAAG,QAAQ,GAAG,QAAQ,CAAC;IAC/C,cAAc,EAAE,UAAU,GAAG,UAAU,GAAG,UAAU,GAAG,UAAU,CAAC;IAClE,gBAAgB,EAAE,MAAM,GAAG,QAAQ,GAAG,SAAS,GAAG,MAAM,CAAC;IACzD,SAAS,EAAE,MAAM,GAAG,wBAAwB,GAAG,sBAAsB,CAAC;IACtE,eAAe,EAAE,MAAM,GAAG,cAAc,GAAG,oBAAoB,CAAC;IAChE,MAAM,EAAE,cAAc,CAAC;IACvB,KAAK,EAAE,WAAW,GAAG,UAAU,GAAG,UAAU,GAAG,cAAc,CAAC;CAC/D,CAAC;AAEF,MAAM,MAAM,sBAAsB,GAAG;IACnC,UAAU,EAAE,MAAM,CAAC;IACnB,MAAM,EAAE,QAAQ,GAAG,QAAQ,GAAG,aAAa,GAAG,YAAY,GAAG,SAAS,CAAC;IACvE,oBAAoB,CAAC,EAAE,mBAAmB,CAAC;IAC3C,WAAW,EAAE,cAAc,EAAE,CAAC;IAC9B,SAAS,EAAE,iBAAiB,GAAG,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;IACrD,eAAe,EAAE;QACf,WAAW,CAAC,EAAE,MAAM,CAAC;QACrB,wBAAwB,EAAE,MAAM,EAAE,CAAC;QACnC,qBAAqB,CAAC,EAAE,OAAO,CAAC;KACjC,CAAC;IACF,QAAQ,EAAE,MAAM,EAAE,CAAC;IACnB,qBAAqB,CAAC,EAAE,MAAM,CAAC;CAChC,CAAC;AAEF,MAAM,MAAM,gBAAgB,GAAG;IAC7B,QAAQ,EAAE,OAAO,CAAC;IAClB,SAAS,EAAE;QACT,KAAK,EAAE,OAAO,GAAG,SAAS,GAAG,UAAU,CAAC;QACxC,kBAAkB,EAAE,OAAO,CAAC;QAC5B,qBAAqB,EAAE,MAAM,CAAC;QAC9B,aAAa,EAAE,MAAM,CAAC;KACvB,CAAC;IACF,OAAO,EAAE,oBAAoB,EAAE,CAAC;IAChC,UAAU,EAAE,sBAAsB,EAAE,CAAC;IACrC,WAAW,EAAE,UAAU,EAAE,CAAC;IAC1B,MAAM,EAAE;QACN,OAAO,EAAE,MAAM,CAAC;QAChB,aAAa,EAAE,MAAM,CAAC;QACtB,gBAAgB,EAAE,MAAM,CAAC;QACzB,iBAAiB,EAAE,MAAM,CAAC;QAC1B,kBAAkB,EAAE,MAAM,CAAC;KAC5B,CAAC;IACF,MAAM,EAAE,aAAa,EAAE,CAAC;CACzB,CAAC;AAEF,MAAM,MAAM,wBAAwB,GAAG;IACrC,cAAc,EAAE,CAAC,CAAC;IAClB,QAAQ,EAAE,OAAO,CAAC;IAClB,SAAS,EAAE;QACT,KAAK,EAAE,gBAAgB,CAAC,WAAW,CAAC,CAAC,OAAO,CAAC,CAAC;QAC9C,oBAAoB,EAAE,OAAO,CAAC;QAC9B,uBAAuB,EAAE,MAAM,CAAC;QAChC,eAAe,EAAE,MAAM,CAAC;KACzB,CAAC;IACF,OAAO,EAAE,KAAK,CAAC;QACb,IAAI,EAAE,MAAM,CAAC;QACb,QAAQ,EAAE,OAAO,CAAC;QAClB,aAAa,EAAE,MAAM,CAAC;QACtB,SAAS,EAAE,OAAO,CAAC;QACnB,oBAAoB,EAAE,OAAO,CAAC;KAC/B,CAAC,CAAC;IACH,UAAU,EAAE,KAAK,CAAC;QAChB,WAAW,EAAE,MAAM,CAAC;QACpB,MAAM,EAAE,sBAAsB,CAAC,QAAQ,CAAC,CAAC;QACzC,SAAS,EAAE,MAAM,EAAE,CAAC;QACpB,YAAY,EAAE,cAAc,EAAE,CAAC;QAC/B,SAAS,EAAE,sBAAsB,CAAC,WAAW,CAAC,CAAC;QAC/C,gBAAgB,EAAE,sBAAsB,CAAC,iBAAiB,CAAC,CAAC;KAC7D,CAAC,CAAC;IACH,MAAM,EAAE,gBAAgB,CAAC,QAAQ,CAAC,CAAC;CACpC,CAAC;AAEF,MAAM,MAAM,wBAAwB,GAAG;IACrC,cAAc,EAAE,CAAC,CAAC;IAClB,QAAQ,EAAE,OAAO,CAAC;IAClB,KAAK,EAAE,aAAa,CAAC;IACrB,WAAW,EAAE,MAAM,CAAC;IACpB,UAAU,EAAE,aAAa,GAAG,2BAA2B,GAAG,aAAa,CAAC;CACzE,CAAC;AAEF,MAAM,MAAM,kBAAkB,GAAG;IAC/B,UAAU,EAAE,MAAM,CAAC;IACnB,SAAS,EAAE,MAAM,CAAC;IAClB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,UAAU,EAAE,UAAU,GAAG,SAAS,GAAG,WAAW,GAAG,kCAAkC,CAAC;IACtF,YAAY,EAAE,OAAO,GAAG,UAAU,GAAG,SAAS,CAAC;IAC/C,UAAU,EAAE,MAAM,GAAG,IAAI,CAAC;CAC3B,CAAC;AAEF,MAAM,MAAM,uBAAuB,GAAG;IACpC,KAAK,EAAE,SAAS,GAAG,cAAc,GAAG,OAAO,GAAG,SAAS,GAAG,aAAa,CAAC;IACxE,KAAK,EAAE,MAAM,CAAC;CACf,CAAC;AAEF,MAAM,MAAM,mBAAmB,GAAG;IAChC,QAAQ,EAAE,gBAAgB,CAAC;IAC3B,MAAM,EAAE,cAAc,CAAC;CACxB,CAAC"}

package/packages/core/dist/evidence/types.js

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=types.js.map

package/packages/core/dist/evidence/types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../../src/evidence/types.ts"],"names":[],"mappings":""}

package/packages/core/dist/host-profiles/claude.yml

@@ -0,0 +1,29 @@
+schema_version: 1
+profile_id: claude.cli.default
+host: claude
+surface: claude.cli
+profile_version: 1
+host_version:
+  min: null
+  tested: null
+  notes: null
+os_runtime:
+  supported: [darwin, linux]
+installation_mode:
+  expected: repo_projection
+permission_mode:
+  expected: workspace_write
+expected_capabilities:
+  skill_discovery: required
+  cli_access: required
+  mcp_access: optional
+  artifact_visibility: optional
+projection_targets:
+  - kind: activation_stub
+    path: .claude/use-cases.md
+    managed: true
+    content_policy: thin_stub
+doctor_checks: [profile_loaded, cli_available, projection_manifest_optional]
+conformance_checks: [projected_files_match_manifest, canonical_skill_hashes_match]
+known_limitations:
+  - Static profile only; live Claude behavior requires recorded host evidence.

package/packages/core/dist/host-profiles/codex.yml

@@ -0,0 +1,29 @@
+schema_version: 1
+profile_id: codex.cli.default
+host: codex
+surface: codex.cli
+profile_version: 1
+host_version:
+  min: null
+  tested: null
+  notes: null
+os_runtime:
+  supported: [darwin, linux]
+installation_mode:
+  expected: repo_projection
+permission_mode:
+  expected: workspace_write
+expected_capabilities:
+  skill_discovery: required
+  cli_access: required
+  mcp_access: optional
+  artifact_visibility: optional
+projection_targets:
+  - kind: activation_stub
+    path: .codex/use-cases.md
+    managed: true
+    content_policy: thin_stub
+doctor_checks: [profile_loaded, cli_available, projection_manifest_optional]
+conformance_checks: [projected_files_match_manifest, canonical_skill_hashes_match]
+known_limitations:
+  - Static profile only; live Codex behavior requires recorded host evidence.

package/packages/core/dist/host-profiles/copilot.yml

@@ -0,0 +1,29 @@
+schema_version: 1
+profile_id: copilot.cli.default
+host: copilot
+surface: copilot.cli
+profile_version: 1
+host_version:
+  min: null
+  tested: null
+  notes: null
+os_runtime:
+  supported: [darwin, linux, windows]
+installation_mode:
+  expected: repo_projection
+permission_mode:
+  expected: workspace_write
+expected_capabilities:
+  skill_discovery: required
+  cli_access: required
+  mcp_access: optional
+  artifact_visibility: optional
+projection_targets:
+  - kind: activation_stub
+    path: .github/copilot/use-cases.md
+    managed: true
+    content_policy: thin_stub
+doctor_checks: [profile_loaded, cli_available, projection_manifest_optional]
+conformance_checks: [projected_files_match_manifest, canonical_skill_hashes_match]
+known_limitations:
+  - Static profile only; live Copilot behavior requires recorded host evidence.

package/packages/core/dist/host-profiles/opencode.yml

@@ -0,0 +1,29 @@
+schema_version: 1
+profile_id: opencode.cli.default
+host: opencode
+surface: opencode.cli
+profile_version: 1
+host_version:
+  min: null
+  tested: null
+  notes: null
+os_runtime:
+  supported: [darwin, linux]
+installation_mode:
+  expected: repo_projection
+permission_mode:
+  expected: workspace_write
+expected_capabilities:
+  skill_discovery: required
+  cli_access: required
+  mcp_access: optional
+  artifact_visibility: optional
+projection_targets:
+  - kind: activation_stub
+    path: .opencode/use-cases.md
+    managed: true
+    content_policy: thin_stub
+doctor_checks: [profile_loaded, cli_available, projection_manifest_optional]
+conformance_checks: [projected_files_match_manifest, canonical_skill_hashes_match]
+known_limitations:
+  - Static profile only; live OpenCode behavior requires recorded host evidence.

package/packages/core/dist/hosts/conformanceStatus.d.ts

@@ -0,0 +1,16 @@
+import { type Diagnostic } from "../schema/index.js";
+import type { HostExecutableSmoke, HostProfile, HostSupportStatus } from "./types.js";
+export type HostConformanceDerivation = {
+    ok: boolean;
+    complete: boolean;
+    support_status: HostSupportStatus;
+    diagnostics: Diagnostic[];
+};
+export declare function deriveHostConformance(input: {
+    profile: HostProfile;
+    staticConformant: boolean;
+    evidenceEventIds: string[];
+    executableSmoke: HostExecutableSmoke;
+}): HostConformanceDerivation;
+export declare function runExecutableSmoke(profile: HostProfile): HostExecutableSmoke;
+//# sourceMappingURL=conformanceStatus.d.ts.map