@skastr0/pulsar-core 0.1.0

package/dist/elicitation/proposal-revealed-preference.js

@@ -0,0 +1,72 @@
+import { weightOf } from "../vector.js";
+import { formatSigned, roundNumber, roundSupport, sortedUniqueFiles, } from "./proposal-utils.js";
+export const deriveRevealedPreferenceProposal = (input) => {
+    const deltas = Object.entries(input.weights)
+        .flatMap(([signalId, proposedWeight]) => {
+        const previousWeight = weightOf(signalId, input.vector);
+        const support = roundSupport(input.support[signalId]);
+        if (Math.abs(proposedWeight - previousWeight) < 0.05)
+            return [];
+        return [
+            {
+                signal_id: signalId,
+                previous_weight: roundNumber(previousWeight),
+                proposed_weight: roundNumber(proposedWeight),
+                support,
+                rationale: support >= 0
+                    ? `Accepted history favored stronger ${signalId} scores (support +${support.toFixed(2)} across ${input.sampleCount} labeled events).`
+                    : `Accepted history tolerated lighter ${signalId} pressure (support ${support.toFixed(2)} across ${input.sampleCount} labeled events).`,
+            },
+        ];
+    })
+        .sort((left, right) => Math.abs(right.proposed_weight - right.previous_weight) -
+        Math.abs(left.proposed_weight - left.previous_weight) ||
+        left.signal_id.localeCompare(right.signal_id));
+    if (deltas.length === 0)
+        return undefined;
+    const topSignals = deltas.slice(0, 3).map((delta) => delta.signal_id);
+    const sufficientData = input.sampleCount >= input.minimumSampleCount;
+    return {
+        schema_version: 1,
+        id: input.proposalId,
+        source: "revealed-preference",
+        domain: input.vector?.domain ?? "typescript",
+        created_at: input.createdAt,
+        status: "pending-confirmation",
+        confidence: revealedPreferenceConfidence(input.sampleCount, input.minimumSampleCount),
+        summary: `Repo history suggests ${topSignals.join(", ")} should shape the vector more explicitly.`,
+        changed_files: sortedUniqueFiles(input.changedFiles),
+        evidence: [
+            {
+                kind: "proposal",
+                summary: `Revealed-preference bootstrap labeled ${input.sampleCount} events using ${input.algorithm}.`,
+                signal_ids: topSignals,
+                ...(input.reportPath !== undefined ? { artifact_path: input.reportPath } : {}),
+                metadata: {
+                    algorithm: input.algorithm,
+                    sample_count: input.sampleCount,
+                    minimum_sample_count: input.minimumSampleCount,
+                    compared_pairs: input.comparedPairs,
+                    sufficient_data: sufficientData,
+                    accepted: input.outcomeCounts.accepted,
+                    revised: input.outcomeCounts.revised,
+                    reverted: input.outcomeCounts.reverted,
+                },
+            },
+            ...deltas.slice(0, 5).map((delta) => ({
+                kind: "score-delta",
+                summary: `${delta.signal_id} support ${formatSigned(delta.support ?? 0)} -> weight ${delta.previous_weight.toFixed(2)} -> ${delta.proposed_weight.toFixed(2)}`,
+                signal_ids: [delta.signal_id],
+                metadata: {
+                    support: delta.support ?? 0,
+                    previous_weight: delta.previous_weight,
+                    proposed_weight: delta.proposed_weight,
+                },
+            })),
+        ],
+        deltas,
+        mode_deltas: [],
+    };
+};
+const revealedPreferenceConfidence = (sampleCount, minimumSampleCount) => roundNumber(Math.max(0.35, Math.min(0.95, sampleCount / minimumSampleCount)));
+//# sourceMappingURL=proposal-revealed-preference.js.map

package/dist/elicitation/proposal-revealed-preference.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"proposal-revealed-preference.js","sourceRoot":"","sources":["../../src/elicitation/proposal-revealed-preference.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAqB,MAAM,cAAc,CAAA;AAK1D,OAAO,EACL,YAAY,EACZ,WAAW,EACX,YAAY,EACZ,iBAAiB,GAClB,MAAM,qBAAqB,CAAA;AAE5B,MAAM,CAAC,MAAM,gCAAgC,GAAG,CAAC,KAiBhD,EAAoC,EAAE;IACrC,MAAM,MAAM,GAAG,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC;SACzC,OAAO,CAAC,CAAC,CAAC,QAAQ,EAAE,cAAc,CAAC,EAAE,EAAE;QACtC,MAAM,cAAc,GAAG,QAAQ,CAAC,QAAQ,EAAE,KAAK,CAAC,MAAM,CAAC,CAAA;QACvD,MAAM,OAAO,GAAG,YAAY,CAAC,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAA;QACrD,IAAI,IAAI,CAAC,GAAG,CAAC,cAAc,GAAG,cAAc,CAAC,GAAG,IAAI;YAAE,OAAO,EAAE,CAAA;QAC/D,OAAO;YACL;gBACE,SAAS,EAAE,QAAQ;gBACnB,eAAe,EAAE,WAAW,CAAC,cAAc,CAAC;gBAC5C,eAAe,EAAE,WAAW,CAAC,cAAc,CAAC;gBAC5C,OAAO;gBACP,SAAS,EACP,OAAO,IAAI,CAAC;oBACV,CAAC,CAAC,qCAAqC,QAAQ,qBAAqB,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,WAAW,KAAK,CAAC,WAAW,mBAAmB;oBACrI,CAAC,CAAC,sCAAsC,QAAQ,sBAAsB,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,WAAW,KAAK,CAAC,WAAW,mBAAmB;aACxG;SACtC,CAAA;IACH,CAAC,CAAC;SACD,IAAI,CACH,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CACd,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,eAAe,GAAG,KAAK,CAAC,eAAe,CAAC;QACrD,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,eAAe,GAAG,IAAI,CAAC,eAAe,CAAC;QACvD,IAAI,CAAC,SAAS,CAAC,aAAa,CAAC,KAAK,CAAC,SAAS,CAAC,CAChD,CAAA;IAEH,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,SAAS,CAAA;IAEzC,MAAM,UAAU,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,CAAA;IACrE,MAAM,cAAc,GAAG,KAAK,CAAC,WAAW,IAAI,KAAK,CAAC,kBAAkB,CAAA;IAEpE,OAAO;QACL,cAAc,EAAE,CAAC;QACjB,EAAE,EAAE,KAAK,CAAC,UAAU;QACpB,MAAM,EAAE,qBAAqB;QAC7B,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,MAAM,IAAI,YAAY;QAC5C,UAAU,EAAE,KAAK,CAAC,SAAS;QAC3B,MAAM,EAAE,sBAAsB;QAC9B,UAAU,EAAE,4BAA4B,CAAC,KAAK,CAAC,WAAW,EAAE,KAAK,CAAC,kBAAkB,CAAC;QACrF,OAAO,EAAE,yBAAyB,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,2CAA2C;QAClG,aAAa,EAAE,iBAAiB,CAAC,KAAK,CAAC,YAAY,CAAC;QACpD,QAAQ,EAAE;YACR;gBACE,IAAI,EAAE,UAAU;gBAChB,OAAO,EAAE,yCAAyC,KAAK,CAAC,WAAW,iBAAiB,KAAK,CAAC,SAAS,GAAG;gBACtG,UAAU,EAAE,UAAU;gBACtB,GAAG,CAAC,KAAK,CAAC,UAAU,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,aAAa,EAAE,KAAK,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;gBAC9E,QAAQ,EAAE;oBACR,SAAS,EAAE,KAAK,CAAC,SAAS;oBAC1B,YAAY,EAAE,KAAK,CAAC,WAAW;oBAC/B,oBAAoB,EAAE,KAAK,CAAC,kBAAkB;oBAC9C,cAAc,EAAE,KAAK,CAAC,aAAa;oBACnC,eAAe,EAAE,cAAc;oBAC/B,QAAQ,EAAE,KAAK,CAAC,aAAa,CAAC,QAAQ;oBACtC,OAAO,EAAE,KAAK,CAAC,aAAa,CAAC,OAAO;oBACpC,QAAQ,EAAE,KAAK,CAAC,aAAa,CAAC,QAAQ;iBACvC;aACF;YACD,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;gBACpC,IAAI,EAAE,aAAsB;gBAC5B,OAAO,EAAE,GAAG,KAAK,CAAC,SAAS,YAAY,YAAY,CAAC,KAAK,CAAC,OAAO,IAAI,CAAC,CAAC,cAAc,KAAK,CAAC,eAAe,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,KAAK,CAAC,eAAe,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE;gBAC9J,UAAU,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC;gBAC7B,QAAQ,EAAE;oBACR,OAAO,EAAE,KAAK,CAAC,OAAO,IAAI,CAAC;oBAC3B,eAAe,EAAE,KAAK,CAAC,eAAe;oBACtC,eAAe,EAAE,KAAK,CAAC,eAAe;iBACvC;aACF,CAAC,CAAC;SACJ;QACD,MAAM;QACN,WAAW,EAAE,EAAE;KAChB,CAAA;AACH,CAAC,CAAA;AAED,MAAM,4BAA4B,GAAG,CACnC,WAAmB,EACnB,kBAA0B,EAClB,EAAE,CAAC,WAAW,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,WAAW,GAAG,kBAAkB,CAAC,CAAC,CAAC,CAAA"}

package/dist/elicitation/proposal-schema.d.ts

@@ -0,0 +1,62 @@
+import { Schema } from "effect";
+export declare const PulsarVectorProposalSource: Schema.Literal<["passive-extraction", "revealed-preference", "ai-assisted-detection"]>;
+export type PulsarVectorProposalSource = typeof PulsarVectorProposalSource.Type;
+export declare const PulsarVectorProposalStatus: Schema.Literal<["pending-confirmation", "accepted", "rejected"]>;
+export type PulsarVectorProposalStatus = typeof PulsarVectorProposalStatus.Type;
+export declare const PulsarVectorProposalDelta: Schema.Struct<{
+    signal_id: typeof Schema.String;
+    previous_score: Schema.optional<typeof Schema.Number>;
+    current_score: Schema.optional<typeof Schema.Number>;
+    previous_weight: typeof Schema.Number;
+    proposed_weight: typeof Schema.Number;
+    support: Schema.optional<Schema.filter<typeof Schema.Number>>;
+    rationale: typeof Schema.String;
+}>;
+export type PulsarVectorProposalDelta = typeof PulsarVectorProposalDelta.Type;
+export declare const PulsarVectorProposalModeDelta: Schema.Struct<{
+    mode: Schema.Literal<["ai_assisted"]>;
+    previous: typeof Schema.Boolean;
+    proposed: typeof Schema.Boolean;
+    rationale: typeof Schema.String;
+}>;
+export type PulsarVectorProposalModeDelta = typeof PulsarVectorProposalModeDelta.Type;
+export declare const PulsarVectorProposal: Schema.Struct<{
+    schema_version: Schema.Literal<[1]>;
+    id: typeof Schema.String;
+    source: Schema.Literal<["passive-extraction", "revealed-preference", "ai-assisted-detection"]>;
+    domain: typeof Schema.String;
+    created_at: typeof Schema.String;
+    status: Schema.Literal<["pending-confirmation", "accepted", "rejected"]>;
+    confidence: Schema.optionalWith<Schema.filter<typeof Schema.Number>, {
+        default: () => number;
+    }>;
+    reviewed_at: Schema.optional<typeof Schema.String>;
+    summary: typeof Schema.String;
+    changed_files: Schema.Array$<typeof Schema.String>;
+    evidence: Schema.Array$<Schema.Struct<{
+        kind: Schema.Literal<["preset", "quiz", "observation", "score-delta", "proposal"]>;
+        summary: typeof Schema.String;
+        signal_ids: Schema.optional<Schema.Array$<typeof Schema.String>>;
+        artifact_path: Schema.optional<typeof Schema.String>;
+        metadata: Schema.optional<Schema.Record$<typeof Schema.String, typeof Schema.Unknown>>;
+    }>>;
+    deltas: Schema.Array$<Schema.Struct<{
+        signal_id: typeof Schema.String;
+        previous_score: Schema.optional<typeof Schema.Number>;
+        current_score: Schema.optional<typeof Schema.Number>;
+        previous_weight: typeof Schema.Number;
+        proposed_weight: typeof Schema.Number;
+        support: Schema.optional<Schema.filter<typeof Schema.Number>>;
+        rationale: typeof Schema.String;
+    }>>;
+    mode_deltas: Schema.optionalWith<Schema.Array$<Schema.Struct<{
+        mode: Schema.Literal<["ai_assisted"]>;
+        previous: typeof Schema.Boolean;
+        proposed: typeof Schema.Boolean;
+        rationale: typeof Schema.String;
+    }>>, {
+        default: () => never[];
+    }>;
+}>;
+export type PulsarVectorProposal = typeof PulsarVectorProposal.Type;
+//# sourceMappingURL=proposal-schema.d.ts.map

package/dist/elicitation/proposal-schema.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"proposal-schema.d.ts","sourceRoot":"","sources":["../../src/elicitation/proposal-schema.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAG/B,eAAO,MAAM,0BAA0B,wFAItC,CAAA;AACD,MAAM,MAAM,0BAA0B,GAAG,OAAO,0BAA0B,CAAC,IAAI,CAAA;AAE/E,eAAO,MAAM,0BAA0B,kEAItC,CAAA;AACD,MAAM,MAAM,0BAA0B,GAAG,OAAO,0BAA0B,CAAC,IAAI,CAAA;AAE/E,eAAO,MAAM,yBAAyB;;;;;;;;EAQpC,CAAA;AACF,MAAM,MAAM,yBAAyB,GAAG,OAAO,yBAAyB,CAAC,IAAI,CAAA;AAE7E,eAAO,MAAM,6BAA6B;;;;;EAKxC,CAAA;AACF,MAAM,MAAM,6BAA6B,GAAG,OAAO,6BAA6B,CAAC,IAAI,CAAA;AAErF,eAAO,MAAM,oBAAoB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAkB/B,CAAA;AACF,MAAM,MAAM,oBAAoB,GAAG,OAAO,oBAAoB,CAAC,IAAI,CAAA"}

package/dist/elicitation/proposal-schema.js

@@ -0,0 +1,39 @@
+import { Schema } from "effect";
+import { PulsarVectorEvidence } from "../vector.js";
+export const PulsarVectorProposalSource = Schema.Literal("passive-extraction", "revealed-preference", "ai-assisted-detection");
+export const PulsarVectorProposalStatus = Schema.Literal("pending-confirmation", "accepted", "rejected");
+export const PulsarVectorProposalDelta = Schema.Struct({
+    signal_id: Schema.String,
+    previous_score: Schema.optional(Schema.Number),
+    current_score: Schema.optional(Schema.Number),
+    previous_weight: Schema.Number,
+    proposed_weight: Schema.Number,
+    support: Schema.optional(Schema.Number.pipe(Schema.between(-1, 1))),
+    rationale: Schema.String,
+});
+export const PulsarVectorProposalModeDelta = Schema.Struct({
+    mode: Schema.Literal("ai_assisted"),
+    previous: Schema.Boolean,
+    proposed: Schema.Boolean,
+    rationale: Schema.String,
+});
+export const PulsarVectorProposal = Schema.Struct({
+    schema_version: Schema.Literal(1),
+    id: Schema.String,
+    source: PulsarVectorProposalSource,
+    domain: Schema.String,
+    created_at: Schema.String,
+    status: PulsarVectorProposalStatus,
+    confidence: Schema.optionalWith(Schema.Number.pipe(Schema.between(0, 1)), {
+        default: () => 1,
+    }),
+    reviewed_at: Schema.optional(Schema.String),
+    summary: Schema.String,
+    changed_files: Schema.Array(Schema.String),
+    evidence: Schema.Array(PulsarVectorEvidence),
+    deltas: Schema.Array(PulsarVectorProposalDelta),
+    mode_deltas: Schema.optionalWith(Schema.Array(PulsarVectorProposalModeDelta), {
+        default: () => [],
+    }),
+});
+//# sourceMappingURL=proposal-schema.js.map

package/dist/elicitation/proposal-schema.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"proposal-schema.js","sourceRoot":"","sources":["../../src/elicitation/proposal-schema.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAC/B,OAAO,EAAE,oBAAoB,EAAE,MAAM,cAAc,CAAA;AAEnD,MAAM,CAAC,MAAM,0BAA0B,GAAG,MAAM,CAAC,OAAO,CACtD,oBAAoB,EACpB,qBAAqB,EACrB,uBAAuB,CACxB,CAAA;AAGD,MAAM,CAAC,MAAM,0BAA0B,GAAG,MAAM,CAAC,OAAO,CACtD,sBAAsB,EACtB,UAAU,EACV,UAAU,CACX,CAAA;AAGD,MAAM,CAAC,MAAM,yBAAyB,GAAG,MAAM,CAAC,MAAM,CAAC;IACrD,SAAS,EAAE,MAAM,CAAC,MAAM;IACxB,cAAc,EAAE,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC;IAC9C,aAAa,EAAE,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC;IAC7C,eAAe,EAAE,MAAM,CAAC,MAAM;IAC9B,eAAe,EAAE,MAAM,CAAC,MAAM;IAC9B,OAAO,EAAE,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IACnE,SAAS,EAAE,MAAM,CAAC,MAAM;CACzB,CAAC,CAAA;AAGF,MAAM,CAAC,MAAM,6BAA6B,GAAG,MAAM,CAAC,MAAM,CAAC;IACzD,IAAI,EAAE,MAAM,CAAC,OAAO,CAAC,aAAa,CAAC;IACnC,QAAQ,EAAE,MAAM,CAAC,OAAO;IACxB,QAAQ,EAAE,MAAM,CAAC,OAAO;IACxB,SAAS,EAAE,MAAM,CAAC,MAAM;CACzB,CAAC,CAAA;AAGF,MAAM,CAAC,MAAM,oBAAoB,GAAG,MAAM,CAAC,MAAM,CAAC;IAChD,cAAc,EAAE,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC;IACjC,EAAE,EAAE,MAAM,CAAC,MAAM;IACjB,MAAM,EAAE,0BAA0B;IAClC,MAAM,EAAE,MAAM,CAAC,MAAM;IACrB,UAAU,EAAE,MAAM,CAAC,MAAM;IACzB,MAAM,EAAE,0BAA0B;IAClC,UAAU,EAAE,MAAM,CAAC,YAAY,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE;QACxE,OAAO,EAAE,GAAG,EAAE,CAAC,CAAC;KACjB,CAAC;IACF,WAAW,EAAE,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC;IAC3C,OAAO,EAAE,MAAM,CAAC,MAAM;IACtB,aAAa,EAAE,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC;IAC1C,QAAQ,EAAE,MAAM,CAAC,KAAK,CAAC,oBAAoB,CAAC;IAC5C,MAAM,EAAE,MAAM,CAAC,KAAK,CAAC,yBAAyB,CAAC;IAC/C,WAAW,EAAE,MAAM,CAAC,YAAY,CAAC,MAAM,CAAC,KAAK,CAAC,6BAA6B,CAAC,EAAE;QAC5E,OAAO,EAAE,GAAG,EAAE,CAAC,EAAE;KAClB,CAAC;CACH,CAAC,CAAA"}

package/dist/elicitation/proposal-utils.d.ts

@@ -0,0 +1,6 @@
+export declare const sortedUniqueFiles: (files: ReadonlyArray<string>) => Array<string>;
+export declare const clampWeight: (value: number) => number;
+export declare const roundNumber: (value: number) => number;
+export declare const roundSupport: (value: number | undefined) => number;
+export declare const formatSigned: (value: number) => string;
+//# sourceMappingURL=proposal-utils.d.ts.map

package/dist/elicitation/proposal-utils.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"proposal-utils.d.ts","sourceRoot":"","sources":["../../src/elicitation/proposal-utils.ts"],"names":[],"mappings":"AAEA,eAAO,MAAM,iBAAiB,GAAI,OAAO,aAAa,CAAC,MAAM,CAAC,KAAG,KAAK,CAAC,MAAM,CAC/C,CAAA;AAE9B,eAAO,MAAM,WAAW,GAAI,OAAO,MAAM,KAAG,MAAsD,CAAA;AAElG,eAAO,MAAM,WAAW,GAAI,OAAO,MAAM,KAAG,MAAkC,CAAA;AAE9E,eAAO,MAAM,YAAY,GAAI,OAAO,MAAM,GAAG,SAAS,KAAG,MACxB,CAAA;AAEjC,eAAO,MAAM,YAAY,GAAI,OAAO,MAAM,KAAG,MAAuD,CAAA"}

package/dist/elicitation/proposal-utils.js

@@ -0,0 +1,7 @@
+import { sortedUniqueFilePaths } from "../file-taxonomy.js";
+export const sortedUniqueFiles = (files) => sortedUniqueFilePaths(files);
+export const clampWeight = (value) => roundNumber(Math.max(0, Math.min(2, value)));
+export const roundNumber = (value) => Number(value.toFixed(2));
+export const roundSupport = (value) => Number((value ?? 0).toFixed(3));
+export const formatSigned = (value) => `${value >= 0 ? "+" : ""}${value.toFixed(2)}`;
+//# sourceMappingURL=proposal-utils.js.map

package/dist/elicitation/proposal-utils.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"proposal-utils.js","sourceRoot":"","sources":["../../src/elicitation/proposal-utils.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,qBAAqB,EAAE,MAAM,qBAAqB,CAAA;AAE3D,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAAC,KAA4B,EAAiB,EAAE,CAC/E,qBAAqB,CAAC,KAAK,CAAC,CAAA;AAE9B,MAAM,CAAC,MAAM,WAAW,GAAG,CAAC,KAAa,EAAU,EAAE,CAAC,WAAW,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,CAAA;AAElG,MAAM,CAAC,MAAM,WAAW,GAAG,CAAC,KAAa,EAAU,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAA;AAE9E,MAAM,CAAC,MAAM,YAAY,GAAG,CAAC,KAAyB,EAAU,EAAE,CAChE,MAAM,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAA;AAEjC,MAAM,CAAC,MAAM,YAAY,GAAG,CAAC,KAAa,EAAU,EAAE,CAAC,GAAG,KAAK,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAA"}

package/dist/elicitation/proposals.d.ts

@@ -0,0 +1,6 @@
+export { PulsarVectorProposal, PulsarVectorProposalDelta, PulsarVectorProposalModeDelta, PulsarVectorProposalSource, PulsarVectorProposalStatus, } from "./proposal-schema.js";
+export { derivePassiveVectorProposal } from "./proposal-passive.js";
+export { deriveAiAssistedModeProposal } from "./proposal-ai-assisted-mode.js";
+export { deriveRevealedPreferenceProposal } from "./proposal-revealed-preference.js";
+export { applyPulsarVectorProposal, resolvePulsarVectorProposal, } from "./proposal-resolution.js";
+//# sourceMappingURL=proposals.d.ts.map

package/dist/elicitation/proposals.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"proposals.d.ts","sourceRoot":"","sources":["../../src/elicitation/proposals.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,oBAAoB,EACpB,yBAAyB,EACzB,6BAA6B,EAC7B,0BAA0B,EAC1B,0BAA0B,GAC3B,MAAM,sBAAsB,CAAA;AAC7B,OAAO,EAAE,2BAA2B,EAAE,MAAM,uBAAuB,CAAA;AACnE,OAAO,EAAE,4BAA4B,EAAE,MAAM,gCAAgC,CAAA;AAC7E,OAAO,EAAE,gCAAgC,EAAE,MAAM,mCAAmC,CAAA;AACpF,OAAO,EACL,yBAAyB,EACzB,2BAA2B,GAC5B,MAAM,0BAA0B,CAAA"}

package/dist/elicitation/proposals.js

@@ -0,0 +1,6 @@
+export { PulsarVectorProposal, PulsarVectorProposalDelta, PulsarVectorProposalModeDelta, PulsarVectorProposalSource, PulsarVectorProposalStatus, } from "./proposal-schema.js";
+export { derivePassiveVectorProposal } from "./proposal-passive.js";
+export { deriveAiAssistedModeProposal } from "./proposal-ai-assisted-mode.js";
+export { deriveRevealedPreferenceProposal } from "./proposal-revealed-preference.js";
+export { applyPulsarVectorProposal, resolvePulsarVectorProposal, } from "./proposal-resolution.js";
+//# sourceMappingURL=proposals.js.map

package/dist/elicitation/proposals.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"proposals.js","sourceRoot":"","sources":["../../src/elicitation/proposals.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,oBAAoB,EACpB,yBAAyB,EACzB,6BAA6B,EAC7B,0BAA0B,EAC1B,0BAA0B,GAC3B,MAAM,sBAAsB,CAAA;AAC7B,OAAO,EAAE,2BAA2B,EAAE,MAAM,uBAAuB,CAAA;AACnE,OAAO,EAAE,4BAA4B,EAAE,MAAM,gCAAgC,CAAA;AAC7E,OAAO,EAAE,gCAAgC,EAAE,MAAM,mCAAmC,CAAA;AACpF,OAAO,EACL,yBAAyB,EACzB,2BAA2B,GAC5B,MAAM,0BAA0B,CAAA"}

package/dist/elicitation/quiz.d.ts

@@ -0,0 +1,72 @@
+import { Effect, Schema } from "effect";
+import { type PulsarVector } from "../vector.js";
+export declare const QuizSignalScores: Schema.Record$<typeof Schema.String, Schema.filter<typeof Schema.Number>>;
+export type QuizSignalScores = typeof QuizSignalScores.Type;
+export declare const QuizItem: Schema.Struct<{
+    id: typeof Schema.String;
+    domain: typeof Schema.String;
+    prompt: typeof Schema.String;
+    a_title: typeof Schema.String;
+    b_title: typeof Schema.String;
+    a_code: typeof Schema.String;
+    b_code: typeof Schema.String;
+    a_signals: Schema.Record$<typeof Schema.String, Schema.filter<typeof Schema.Number>>;
+    b_signals: Schema.Record$<typeof Schema.String, Schema.filter<typeof Schema.Number>>;
+    tags: Schema.optional<Schema.Array$<typeof Schema.String>>;
+}>;
+export type QuizItem = typeof QuizItem.Type;
+export declare const QuizAnswer: Schema.Literal<["a", "b", "equal", "skip"]>;
+export type QuizAnswer = typeof QuizAnswer.Type;
+export declare const QuizResponse: Schema.Struct<{
+    item_id: typeof Schema.String;
+    answer: Schema.Literal<["a", "b", "equal", "skip"]>;
+    answered_at: typeof Schema.String;
+}>;
+export type QuizResponse = typeof QuizResponse.Type;
+export declare const QuizSession: Schema.Struct<{
+    schema_version: Schema.Literal<[1]>;
+    session_id: typeof Schema.String;
+    created_at: typeof Schema.String;
+    updated_at: typeof Schema.String;
+    domain: typeof Schema.String;
+    item_target: typeof Schema.Number;
+    output_path: typeof Schema.String;
+    base_vector: typeof Schema.Unknown;
+    asked_item_ids: Schema.Array$<typeof Schema.String>;
+    responses: Schema.Array$<Schema.Struct<{
+        item_id: typeof Schema.String;
+        answer: Schema.Literal<["a", "b", "equal", "skip"]>;
+        answered_at: typeof Schema.String;
+    }>>;
+    completed: typeof Schema.Boolean;
+}>;
+export type QuizSession = Omit<typeof QuizSession.Type, "base_vector"> & {
+    readonly base_vector: PulsarVector;
+};
+export interface QuizSignalPreference {
+    readonly seen: number;
+    readonly evidence: number;
+    readonly magnitude: number;
+}
+export interface QuizInference {
+    readonly answeredCount: number;
+    readonly bySignal: Readonly<Record<string, QuizSignalPreference>>;
+}
+export declare const loadQuizItems: (domain?: string) => Effect.Effect<ReadonlyArray<QuizItem>, Error, never>;
+export declare const accumulateQuizInference: (items: ReadonlyArray<QuizItem>, responses: ReadonlyArray<QuizResponse>) => QuizInference;
+export declare const selectNextQuizItem: (input: {
+    readonly items: ReadonlyArray<QuizItem>;
+    readonly responses: ReadonlyArray<QuizResponse>;
+}) => QuizItem | undefined;
+export declare const summarizeQuizTradeoff: (item: QuizItem) => string;
+export declare const inferPulsarVectorFromQuiz: (input: {
+    readonly baseVector: PulsarVector | undefined;
+    readonly responses: ReadonlyArray<QuizResponse>;
+    readonly items: ReadonlyArray<QuizItem>;
+    readonly vectorId: string;
+    readonly description?: string;
+    readonly outputPath?: string;
+    readonly recordedAt?: string;
+}) => PulsarVector;
+export declare const decodeQuizSession: (value: unknown) => Effect.Effect<QuizSession, Error, never>;
+//# sourceMappingURL=quiz.d.ts.map

package/dist/elicitation/quiz.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"quiz.d.ts","sourceRoot":"","sources":["../../src/elicitation/quiz.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AACvC,OAAO,EAKL,KAAK,YAAY,EAClB,MAAM,cAAc,CAAA;AAIrB,eAAO,MAAM,gBAAgB,2EAG3B,CAAA;AACF,MAAM,MAAM,gBAAgB,GAAG,OAAO,gBAAgB,CAAC,IAAI,CAAA;AAE3D,eAAO,MAAM,QAAQ;;;;;;;;;;;EAWnB,CAAA;AACF,MAAM,MAAM,QAAQ,GAAG,OAAO,QAAQ,CAAC,IAAI,CAAA;AAE3C,eAAO,MAAM,UAAU,6CAA4C,CAAA;AACnE,MAAM,MAAM,UAAU,GAAG,OAAO,UAAU,CAAC,IAAI,CAAA;AAE/C,eAAO,MAAM,YAAY;;;;EAIvB,CAAA;AACF,MAAM,MAAM,YAAY,GAAG,OAAO,YAAY,CAAC,IAAI,CAAA;AAEnD,eAAO,MAAM,WAAW;;;;;;;;;;;;;;;;EAYtB,CAAA;AACF,MAAM,MAAM,WAAW,GAAG,IAAI,CAAC,OAAO,WAAW,CAAC,IAAI,EAAE,aAAa,CAAC,GAAG;IACvE,QAAQ,CAAC,WAAW,EAAE,YAAY,CAAA;CACnC,CAAA;AAED,MAAM,WAAW,oBAAoB;IACnC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAA;IACzB,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAA;CAC3B;AAED,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAA;IAC9B,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,oBAAoB,CAAC,CAAC,CAAA;CAClE;AAED,eAAO,MAAM,aAAa,GACxB,eAAqB,KACpB,MAAM,CAAC,MAAM,CAAC,aAAa,CAAC,QAAQ,CAAC,EAAE,KAAK,EAAE,KAAK,CAiBlD,CAAA;AAOJ,eAAO,MAAM,uBAAuB,GAClC,OAAO,aAAa,CAAC,QAAQ,CAAC,EAC9B,WAAW,aAAa,CAAC,YAAY,CAAC,KACrC,aA4BF,CAAA;AAED,eAAO,MAAM,kBAAkB,GAAI,OAAO;IACxC,QAAQ,CAAC,KAAK,EAAE,aAAa,CAAC,QAAQ,CAAC,CAAA;IACvC,QAAQ,CAAC,SAAS,EAAE,aAAa,CAAC,YAAY,CAAC,CAAA;CAChD,KAAG,QAAQ,GAAG,SAed,CAAA;AAED,eAAO,MAAM,qBAAqB,GAAI,MAAM,QAAQ,KAAG,MAetD,CAAA;AAED,eAAO,MAAM,yBAAyB,GAAI,OAAO;IAC/C,QAAQ,CAAC,UAAU,EAAE,YAAY,GAAG,SAAS,CAAA;IAC7C,QAAQ,CAAC,SAAS,EAAE,aAAa,CAAC,YAAY,CAAC,CAAA;IAC/C,QAAQ,CAAC,KAAK,EAAE,aAAa,CAAC,QAAQ,CAAC,CAAA;IACvC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAA;IACzB,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAA;IAC7B,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAA;IAC5B,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAA;CAC7B,KAAG,YAiDH,CAAA;AAED,eAAO,MAAM,iBAAiB,GAAI,OAAO,OAAO,KAAG,MAAM,CAAC,MAAM,CAAC,WAAW,EAAE,KAAK,EAAE,KAAK,CAQtF,CAAA"}

package/dist/elicitation/quiz.js

@@ -0,0 +1,189 @@
+import { Effect, Schema } from "effect";
+import { appendVectorProvenance, decodePulsarVector, weightOf, } from "../vector.js";
+import typescriptQuizItems from "../../quiz-items/typescript.json" with { type: "json" };
+import { clampWeight } from "./proposal-utils.js";
+export const QuizSignalScores = Schema.Record({
+    key: Schema.String,
+    value: Schema.Number.pipe(Schema.between(0, 2)),
+});
+export const QuizItem = Schema.Struct({
+    id: Schema.String,
+    domain: Schema.String,
+    prompt: Schema.String,
+    a_title: Schema.String,
+    b_title: Schema.String,
+    a_code: Schema.String,
+    b_code: Schema.String,
+    a_signals: QuizSignalScores,
+    b_signals: QuizSignalScores,
+    tags: Schema.optional(Schema.Array(Schema.String)),
+});
+export const QuizAnswer = Schema.Literal("a", "b", "equal", "skip");
+export const QuizResponse = Schema.Struct({
+    item_id: Schema.String,
+    answer: QuizAnswer,
+    answered_at: Schema.String,
+});
+export const QuizSession = Schema.Struct({
+    schema_version: Schema.Literal(1),
+    session_id: Schema.String,
+    created_at: Schema.String,
+    updated_at: Schema.String,
+    domain: Schema.String,
+    item_target: Schema.Number,
+    output_path: Schema.String,
+    base_vector: Schema.Unknown,
+    asked_item_ids: Schema.Array(Schema.String),
+    responses: Schema.Array(QuizResponse),
+    completed: Schema.Boolean,
+});
+export const loadQuizItems = (domain = "typescript") => Effect.gen(function* () {
+    const decoded = yield* decodeQuizItemFile(typescriptQuizItems).pipe(Effect.mapError(asError));
+    const flattened = decoded
+        .flat()
+        .filter((item) => item.domain === domain)
+        .sort((left, right) => left.id.localeCompare(right.id));
+    const seen = new Set();
+    for (const item of flattened) {
+        if (seen.has(item.id)) {
+            return yield* Effect.fail(new Error(`Duplicate quiz item id: ${item.id}`));
+        }
+        seen.add(item.id);
+    }
+    return flattened;
+});
+const decodeQuizItemFile = (parsed) => Array.isArray(parsed)
+    ? Effect.forEach(parsed, (item) => Schema.decodeUnknown(QuizItem)(item))
+    : Effect.map(Schema.decodeUnknown(QuizItem)(parsed), (item) => [item]);
+export const accumulateQuizInference = (items, responses) => {
+    const byId = new Map(items.map((item) => [item.id, item]));
+    const state = new Map();
+    for (const response of responses) {
+        const item = byId.get(response.item_id);
+        if (item === undefined)
+            continue;
+        const deltas = quizSignalDeltas(item);
+        if (response.answer === "skip")
+            continue;
+        for (const delta of deltas) {
+            const entry = state.get(delta.signalId) ?? { seen: 0, evidence: 0, magnitude: 0 };
+            entry.seen += 1;
+            entry.magnitude += Math.abs(delta.delta);
+            if (response.answer === "a")
+                entry.evidence += delta.delta;
+            if (response.answer === "b")
+                entry.evidence -= delta.delta;
+            state.set(delta.signalId, entry);
+        }
+    }
+    return {
+        answeredCount: responses.filter((response) => response.answer !== "skip").length,
+        bySignal: Object.fromEntries([...state.entries()]
+            .sort((left, right) => left[0].localeCompare(right[0]))
+            .map(([signalId, entry]) => [signalId, { ...entry }])),
+    };
+};
+export const selectNextQuizItem = (input) => {
+    const answered = new Set(input.responses.map((response) => response.item_id));
+    const inference = accumulateQuizInference(input.items, input.responses);
+    const scored = input.items
+        .filter((item) => !answered.has(item.id))
+        .map((item) => ({
+        item,
+        informationGain: scoreQuizItemInformationGain(item, inference.bySignal),
+    }))
+        .sort((left, right) => right.informationGain - left.informationGain || left.item.id.localeCompare(right.item.id));
+    return scored[0]?.item;
+};
+export const summarizeQuizTradeoff = (item) => {
+    const deltas = quizSignalDeltas(item)
+        .filter((delta) => Math.abs(delta.delta) >= 0.2)
+        .sort((left, right) => Math.abs(right.delta) - Math.abs(left.delta));
+    const strongest = deltas[0];
+    const second = deltas[1];
+    if (strongest === undefined)
+        return "This pair probes a balanced tradeoff with no dominant signal.";
+    const favored = strongest.delta > 0 ? item.a_title : item.b_title;
+    const opposed = strongest.delta > 0 ? item.b_title : item.a_title;
+    if (second === undefined) {
+        return `This favors ${favored} over ${opposed} through ${strongest.signalId}.`;
+    }
+    return `This favors ${favored} over ${opposed}, mostly through ${strongest.signalId} and ${second.signalId}.`;
+};
+export const inferPulsarVectorFromQuiz = (input) => {
+    const baseVector = input.baseVector ?? {
+        id: "all-defaults",
+        domain: "typescript",
+        signal_overrides: {},
+    };
+    const inference = accumulateQuizInference(input.items, input.responses);
+    const signalOverrides = { ...baseVector.signal_overrides };
+    for (const [signalId, preference] of Object.entries(inference.bySignal)) {
+        if (preference.seen === 0 || preference.magnitude === 0)
+            continue;
+        const normalized = preference.evidence / preference.magnitude;
+        const confidence = Math.min(1, preference.seen / 3);
+        const baseWeight = weightOf(signalId, baseVector);
+        const adjustedWeight = clampWeight(baseWeight + normalized * confidence * 0.5);
+        if (Math.abs(adjustedWeight - baseWeight) < 0.05)
+            continue;
+        signalOverrides[signalId] = {
+            ...signalOverrides[signalId],
+            weight: adjustedWeight,
+        };
+    }
+    return appendVectorProvenance({
+        ...baseVector,
+        id: input.vectorId,
+        description: input.description ??
+            `Pulsar vector elicited from ${inference.answeredCount} pairwise tradeoff answers.`,
+        signal_overrides: signalOverrides,
+    }, {
+        source: "quiz",
+        recorded_at: input.recordedAt ?? new Date().toISOString(),
+        summary: `Pairwise quiz elicitation (${inference.answeredCount} answered prompts)`,
+        artifact_path: input.outputPath,
+        evidence: [
+            {
+                kind: "quiz",
+                summary: `Answered ${inference.answeredCount} prompts across ${Object.keys(inference.bySignal).length} signals.`,
+                metadata: {
+                    answered_count: inference.answeredCount,
+                    item_ids: input.responses.map((response) => response.item_id),
+                },
+            },
+        ],
+    });
+};
+export const decodeQuizSession = (value) => Effect.gen(function* () {
+    const decoded = yield* Schema.decodeUnknown(QuizSession)(value).pipe(Effect.mapError(asError));
+    const baseVector = yield* decodePulsarVector(decoded.base_vector).pipe(Effect.mapError(asError));
+    return {
+        ...decoded,
+        base_vector: baseVector,
+    };
+});
+const asError = (cause) => cause instanceof Error ? cause : new Error(String(cause));
+const scoreQuizItemInformationGain = (item, bySignal) => {
+    let score = 0;
+    for (const delta of quizSignalDeltas(item)) {
+        const preference = bySignal[delta.signalId];
+        const seen = preference?.seen ?? 0;
+        const certainty = preference === undefined || preference.magnitude === 0
+            ? 0
+            : Math.min(1, Math.abs(preference.evidence / preference.magnitude));
+        const uncertainty = 1 / (1 + seen) + (1 - certainty);
+        score += Math.abs(delta.delta) * uncertainty;
+        if (seen === 0)
+            score += 0.25;
+    }
+    return Number(score.toFixed(4));
+};
+const quizSignalDeltas = (item) => {
+    const signalIds = [...new Set([...Object.keys(item.a_signals), ...Object.keys(item.b_signals)])];
+    return signalIds.map((signalId) => ({
+        signalId,
+        delta: (item.a_signals[signalId] ?? 0) - (item.b_signals[signalId] ?? 0),
+    }));
+};
+//# sourceMappingURL=quiz.js.map

package/dist/elicitation/quiz.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"quiz.js","sourceRoot":"","sources":["../../src/elicitation/quiz.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AACvC,OAAO,EACL,sBAAsB,EACtB,kBAAkB,EAClB,QAAQ,GAGT,MAAM,cAAc,CAAA;AACrB,OAAO,mBAAmB,MAAM,kCAAkC,CAAC,OAAO,IAAI,EAAE,MAAM,EAAE,CAAA;AACxF,OAAO,EAAE,WAAW,EAAE,MAAM,qBAAqB,CAAA;AAEjD,MAAM,CAAC,MAAM,gBAAgB,GAAG,MAAM,CAAC,MAAM,CAAC;IAC5C,GAAG,EAAE,MAAM,CAAC,MAAM;IAClB,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;CAChD,CAAC,CAAA;AAGF,MAAM,CAAC,MAAM,QAAQ,GAAG,MAAM,CAAC,MAAM,CAAC;IACpC,EAAE,EAAE,MAAM,CAAC,MAAM;IACjB,MAAM,EAAE,MAAM,CAAC,MAAM;IACrB,MAAM,EAAE,MAAM,CAAC,MAAM;IACrB,OAAO,EAAE,MAAM,CAAC,MAAM;IACtB,OAAO,EAAE,MAAM,CAAC,MAAM;IACtB,MAAM,EAAE,MAAM,CAAC,MAAM;IACrB,MAAM,EAAE,MAAM,CAAC,MAAM;IACrB,SAAS,EAAE,gBAAgB;IAC3B,SAAS,EAAE,gBAAgB;IAC3B,IAAI,EAAE,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;CACnD,CAAC,CAAA;AAGF,MAAM,CAAC,MAAM,UAAU,GAAG,MAAM,CAAC,OAAO,CAAC,GAAG,EAAE,GAAG,EAAE,OAAO,EAAE,MAAM,CAAC,CAAA;AAGnE,MAAM,CAAC,MAAM,YAAY,GAAG,MAAM,CAAC,MAAM,CAAC;IACxC,OAAO,EAAE,MAAM,CAAC,MAAM;IACtB,MAAM,EAAE,UAAU;IAClB,WAAW,EAAE,MAAM,CAAC,MAAM;CAC3B,CAAC,CAAA;AAGF,MAAM,CAAC,MAAM,WAAW,GAAG,MAAM,CAAC,MAAM,CAAC;IACvC,cAAc,EAAE,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC;IACjC,UAAU,EAAE,MAAM,CAAC,MAAM;IACzB,UAAU,EAAE,MAAM,CAAC,MAAM;IACzB,UAAU,EAAE,MAAM,CAAC,MAAM;IACzB,MAAM,EAAE,MAAM,CAAC,MAAM;IACrB,WAAW,EAAE,MAAM,CAAC,MAAM;IAC1B,WAAW,EAAE,MAAM,CAAC,MAAM;IAC1B,WAAW,EAAE,MAAM,CAAC,OAAO;IAC3B,cAAc,EAAE,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC;IAC3C,SAAS,EAAE,MAAM,CAAC,KAAK,CAAC,YAAY,CAAC;IACrC,SAAS,EAAE,MAAM,CAAC,OAAO;CAC1B,CAAC,CAAA;AAgBF,MAAM,CAAC,MAAM,aAAa,GAAG,CAC3B,MAAM,GAAG,YAAY,EACiC,EAAE,CACxD,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IAClB,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,kBAAkB,CAAC,mBAAmB,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAA;IAE7F,MAAM,SAAS,GAAG,OAAO;SACtB,IAAI,EAAE;SACN,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,KAAK,MAAM,CAAC;SACxC,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,aAAa,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAA;IACzD,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAA;IAC9B,KAAK,MAAM,IAAI,IAAI,SAAS,EAAE,CAAC;QAC7B,IAAI,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC;YACtB,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,KAAK,CAAC,2BAA2B,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC,CAAA;QAC5E,CAAC;QACD,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;IACnB,CAAC;IAED,OAAO,SAAS,CAAA;AAClB,CAAC,CAAC,CAAA;AAEJ,MAAM,kBAAkB,GAAG,CAAC,MAAe,EAAE,EAAE,CAC7C,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC;IACnB,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,MAAM,CAAC,aAAa,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC;IACxE,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,aAAa,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAA;AAE1E,MAAM,CAAC,MAAM,uBAAuB,GAAG,CACrC,KAA8B,EAC9B,SAAsC,EACvB,EAAE;IACjB,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC,CAAC,CAAA;IAC1D,MAAM,KAAK,GAAG,IAAI,GAAG,EAAiE,CAAA;IAEtF,KAAK,MAAM,QAAQ,IAAI,SAAS,EAAE,CAAC;QACjC,MAAM,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAA;QACvC,IAAI,IAAI,KAAK,SAAS;YAAE,SAAQ;QAChC,MAAM,MAAM,GAAG,gBAAgB,CAAC,IAAI,CAAC,CAAA;QACrC,IAAI,QAAQ,CAAC,MAAM,KAAK,MAAM;YAAE,SAAQ;QAExC,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;YAC3B,MAAM,KAAK,GAAG,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,CAAA;YACjF,KAAK,CAAC,IAAI,IAAI,CAAC,CAAA;YACf,KAAK,CAAC,SAAS,IAAI,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,CAAA;YACxC,IAAI,QAAQ,CAAC,MAAM,KAAK,GAAG;gBAAE,KAAK,CAAC,QAAQ,IAAI,KAAK,CAAC,KAAK,CAAA;YAC1D,IAAI,QAAQ,CAAC,MAAM,KAAK,GAAG;gBAAE,KAAK,CAAC,QAAQ,IAAI,KAAK,CAAC,KAAK,CAAA;YAC1D,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAA;QAClC,CAAC;IACH,CAAC;IAED,OAAO;QACL,aAAa,EAAE,SAAS,CAAC,MAAM,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,MAAM,KAAK,MAAM,CAAC,CAAC,MAAM;QAChF,QAAQ,EAAE,MAAM,CAAC,WAAW,CAC1B,CAAC,GAAG,KAAK,CAAC,OAAO,EAAE,CAAC;aACjB,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;aACtD,GAAG,CAAC,CAAC,CAAC,QAAQ,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,CAAC,QAAQ,EAAE,EAAE,GAAG,KAAK,EAAE,CAAC,CAAC,CACxD;KACF,CAAA;AACH,CAAC,CAAA;AAED,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAAC,KAGlC,EAAwB,EAAE;IACzB,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAA;IAC7E,MAAM,SAAS,GAAG,uBAAuB,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,SAAS,CAAC,CAAA;IACvE,MAAM,MAAM,GAAG,KAAK,CAAC,KAAK;SACvB,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;SACxC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;QACd,IAAI;QACJ,eAAe,EAAE,4BAA4B,CAAC,IAAI,EAAE,SAAS,CAAC,QAAQ,CAAC;KACxE,CAAC,CAAC;SACF,IAAI,CACH,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CACd,KAAK,CAAC,eAAe,GAAG,IAAI,CAAC,eAAe,IAAI,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,aAAa,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAC5F,CAAA;IAEH,OAAO,MAAM,CAAC,CAAC,CAAC,EAAE,IAAI,CAAA;AACxB,CAAC,CAAA;AAED,MAAM,CAAC,MAAM,qBAAqB,GAAG,CAAC,IAAc,EAAU,EAAE;IAC9D,MAAM,MAAM,GAAG,gBAAgB,CAAC,IAAI,CAAC;SAClC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,GAAG,CAAC;SAC/C,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAA;IACtE,MAAM,SAAS,GAAG,MAAM,CAAC,CAAC,CAAC,CAAA;IAC3B,MAAM,MAAM,GAAG,MAAM,CAAC,CAAC,CAAC,CAAA;IACxB,IAAI,SAAS,KAAK,SAAS;QAAE,OAAO,+DAA+D,CAAA;IAEnG,MAAM,OAAO,GAAG,SAAS,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAA;IACjE,MAAM,OAAO,GAAG,SAAS,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAA;IACjE,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;QACzB,OAAO,eAAe,OAAO,SAAS,OAAO,YAAY,SAAS,CAAC,QAAQ,GAAG,CAAA;IAChF,CAAC;IAED,OAAO,eAAe,OAAO,SAAS,OAAO,oBAAoB,SAAS,CAAC,QAAQ,QAAQ,MAAM,CAAC,QAAQ,GAAG,CAAA;AAC/G,CAAC,CAAA;AAED,MAAM,CAAC,MAAM,yBAAyB,GAAG,CAAC,KAQzC,EAAgB,EAAE;IACjB,MAAM,UAAU,GAAG,KAAK,CAAC,UAAU,IAAI;QACrC,EAAE,EAAE,cAAc;QAClB,MAAM,EAAE,YAAY;QACpB,gBAAgB,EAAE,EAAE;KACrB,CAAA;IACD,MAAM,SAAS,GAAG,uBAAuB,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,SAAS,CAAC,CAAA;IACvE,MAAM,eAAe,GAAmC,EAAE,GAAG,UAAU,CAAC,gBAAgB,EAAE,CAAA;IAE1F,KAAK,MAAM,CAAC,QAAQ,EAAE,UAAU,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC,QAAQ,CAAC,EAAE,CAAC;QACxE,IAAI,UAAU,CAAC,IAAI,KAAK,CAAC,IAAI,UAAU,CAAC,SAAS,KAAK,CAAC;YAAE,SAAQ;QACjE,MAAM,UAAU,GAAG,UAAU,CAAC,QAAQ,GAAG,UAAU,CAAC,SAAS,CAAA;QAC7D,MAAM,UAAU,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,UAAU,CAAC,IAAI,GAAG,CAAC,CAAC,CAAA;QACnD,MAAM,UAAU,GAAG,QAAQ,CAAC,QAAQ,EAAE,UAAU,CAAC,CAAA;QACjD,MAAM,cAAc,GAAG,WAAW,CAAC,UAAU,GAAG,UAAU,GAAG,UAAU,GAAG,GAAG,CAAC,CAAA;QAC9E,IAAI,IAAI,CAAC,GAAG,CAAC,cAAc,GAAG,UAAU,CAAC,GAAG,IAAI;YAAE,SAAQ;QAE1D,eAAe,CAAC,QAAQ,CAAC,GAAG;YAC1B,GAAG,eAAe,CAAC,QAAQ,CAAC;YAC5B,MAAM,EAAE,cAAc;SACvB,CAAA;IACH,CAAC;IAED,OAAO,sBAAsB,CAC3B;QACE,GAAG,UAAU;QACb,EAAE,EAAE,KAAK,CAAC,QAAQ;QAClB,WAAW,EACT,KAAK,CAAC,WAAW;YACjB,+BAA+B,SAAS,CAAC,aAAa,6BAA6B;QACrF,gBAAgB,EAAE,eAAe;KAClC,EACD;QACE,MAAM,EAAE,MAAM;QACd,WAAW,EAAE,KAAK,CAAC,UAAU,IAAI,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;QACzD,OAAO,EAAE,8BAA8B,SAAS,CAAC,aAAa,oBAAoB;QAClF,aAAa,EAAE,KAAK,CAAC,UAAU;QAC/B,QAAQ,EAAE;YACR;gBACE,IAAI,EAAE,MAAM;gBACZ,OAAO,EAAE,YAAY,SAAS,CAAC,aAAa,mBAAmB,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC,MAAM,WAAW;gBAChH,QAAQ,EAAE;oBACR,cAAc,EAAE,SAAS,CAAC,aAAa;oBACvC,QAAQ,EAAE,KAAK,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,OAAO,CAAC;iBAC9D;aACF;SACF;KACF,CACF,CAAA;AACH,CAAC,CAAA;AAED,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAAC,KAAc,EAA4C,EAAE,CAC5F,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IAClB,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,aAAa,CAAC,WAAW,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAA;IAC9F,MAAM,UAAU,GAAG,KAAK,CAAC,CAAC,kBAAkB,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAA;IAChG,OAAO;QACL,GAAG,OAAO;QACV,WAAW,EAAE,UAAU;KACF,CAAA;AACzB,CAAC,CAAC,CAAA;AAEJ,MAAM,OAAO,GAAG,CAAC,KAAc,EAAS,EAAE,CACxC,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAA;AAE3D,MAAM,4BAA4B,GAAG,CACnC,IAAc,EACd,QAAwD,EAChD,EAAE;IACV,IAAI,KAAK,GAAG,CAAC,CAAA;IACb,KAAK,MAAM,KAAK,IAAI,gBAAgB,CAAC,IAAI,CAAC,EAAE,CAAC;QAC3C,MAAM,UAAU,GAAG,QAAQ,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAA;QAC3C,MAAM,IAAI,GAAG,UAAU,EAAE,IAAI,IAAI,CAAC,CAAA;QAClC,MAAM,SAAS,GACb,UAAU,KAAK,SAAS,IAAI,UAAU,CAAC,SAAS,KAAK,CAAC;YACpD,CAAC,CAAC,CAAC;YACH,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC,QAAQ,GAAG,UAAU,CAAC,SAAS,CAAC,CAAC,CAAA;QACvE,MAAM,WAAW,GAAG,CAAC,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,SAAS,CAAC,CAAA;QACpD,KAAK,IAAI,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,WAAW,CAAA;QAC5C,IAAI,IAAI,KAAK,CAAC;YAAE,KAAK,IAAI,IAAI,CAAA;IAC/B,CAAC;IACD,OAAO,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAA;AACjC,CAAC,CAAA;AAED,MAAM,gBAAgB,GAAG,CAAC,IAAc,EAAE,EAAE;IAC1C,MAAM,SAAS,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAA;IAChG,OAAO,SAAS,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC;QAClC,QAAQ;QACR,KAAK,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;KACzE,CAAC,CAAC,CAAA;AACL,CAAC,CAAA"}

package/dist/elicitation/revealed-preference.d.ts

@@ -0,0 +1,24 @@
+import { Schema } from "effect";
+export declare const RevealedPreferenceOutcome: Schema.Literal<["accepted", "revised", "reverted"]>;
+export type RevealedPreferenceOutcome = typeof RevealedPreferenceOutcome.Type;
+export declare const RevealedPreferenceSample: Schema.Struct<{
+    id: typeof Schema.String;
+    outcome: Schema.Literal<["accepted", "revised", "reverted"]>;
+    signal_scores: Schema.Record$<typeof Schema.String, typeof Schema.Number>;
+    confidence: Schema.optionalWith<Schema.filter<typeof Schema.Number>, {
+        default: () => number;
+    }>;
+}>;
+export type RevealedPreferenceSample = typeof RevealedPreferenceSample.Type;
+export interface RevealedPreferenceResult {
+    readonly algorithm: "pairwise" | "frequency" | "prior-adjusted";
+    readonly sampleCount: number;
+    readonly comparedPairs: number;
+    readonly weights: Readonly<Record<string, number>>;
+    readonly support: Readonly<Record<string, number>>;
+}
+export declare const MINIMUM_REVEALED_PREFERENCE_SAMPLES: 24;
+export declare const inferRevealedPreferencePairwise: (samples: ReadonlyArray<RevealedPreferenceSample>, prior?: Readonly<Record<string, number>>) => RevealedPreferenceResult;
+export declare const inferRevealedPreferenceFrequency: (samples: ReadonlyArray<RevealedPreferenceSample>, prior?: Readonly<Record<string, number>>) => RevealedPreferenceResult;
+export declare const inferRevealedPreferencePriorAdjusted: (samples: ReadonlyArray<RevealedPreferenceSample>, prior?: Readonly<Record<string, number>>) => RevealedPreferenceResult;
+//# sourceMappingURL=revealed-preference.d.ts.map

package/dist/elicitation/revealed-preference.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"revealed-preference.d.ts","sourceRoot":"","sources":["../../src/elicitation/revealed-preference.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAG/B,eAAO,MAAM,yBAAyB,qDAAoD,CAAA;AAC1F,MAAM,MAAM,yBAAyB,GAAG,OAAO,yBAAyB,CAAC,IAAI,CAAA;AAE7E,eAAO,MAAM,wBAAwB;;;;;;;EAOnC,CAAA;AACF,MAAM,MAAM,wBAAwB,GAAG,OAAO,wBAAwB,CAAC,IAAI,CAAA;AAE3E,MAAM,WAAW,wBAAwB;IACvC,QAAQ,CAAC,SAAS,EAAE,UAAU,GAAG,WAAW,GAAG,gBAAgB,CAAA;IAC/D,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAA;IAC5B,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAA;IAC9B,QAAQ,CAAC,OAAO,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAA;IAClD,QAAQ,CAAC,OAAO,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAA;CACnD;AAED,eAAO,MAAM,mCAAmC,EAAG,EAAW,CAAA;AAE9D,eAAO,MAAM,+BAA+B,GAC1C,SAAS,aAAa,CAAC,wBAAwB,CAAC,EAChD,QAAO,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAM,KAC3C,wBA8BF,CAAA;AAED,eAAO,MAAM,gCAAgC,GAC3C,SAAS,aAAa,CAAC,wBAAwB,CAAC,EAChD,QAAO,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAM,KAC3C,wBA2BF,CAAA;AAED,eAAO,MAAM,oCAAoC,GAC/C,SAAS,aAAa,CAAC,wBAAwB,CAAC,EAChD,QAAO,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAM,KAC3C,wBAkBF,CAAA"}