@namzu/sdk 38.0.0 → 38.2.1

package/dist/manager/resident/initiative.js

@@ -0,0 +1,121 @@
+import { z } from 'zod';
+const boundedText = z.string().trim().min(1).max(256);
+const cost = z.number().finite().nonnegative();
+export const residentObservationSchema = z.object({
+    evidenceKey: boundedText,
+    source: boundedText,
+    progress: z.number().finite().min(0).max(1),
+    /** All observations and policy costs use the same host-defined resource unit. */
+    costUnits: cost.nullable(),
+});
+export const residentFeedbackSchema = z.object({
+    bestProgress: z.number().finite().min(0).max(1),
+    hasUnobservedSteps: z.boolean().default(false),
+    stagnantSteps: z.number().int().nonnegative().safe(),
+    observations: z
+        .array(residentObservationSchema.extend({
+        gain: z.number().finite().min(0).max(1),
+        step: z.number().int().positive().safe(),
+    }))
+        .min(1)
+        .max(8),
+});
+export function observeResidentStep(previous, input, step) {
+    const observation = residentObservationSchema.parse(input);
+    const best = previous?.bestProgress ?? 0;
+    const duplicate = previous?.observations.some((item) => item.evidenceKey === observation.evidenceKey);
+    // Rewording evidence, regression and recovery to an old best earn no credit.
+    const gain = duplicate ? 0 : Math.max(0, observation.progress - best);
+    return freezeResidentFeedback(residentFeedbackSchema.parse({
+        bestProgress: best + gain,
+        hasUnobservedSteps: (previous?.hasUnobservedSteps ?? false) ||
+            step !== (previous?.observations.at(-1)?.step ?? 0) + 1,
+        stagnantSteps: gain > 0 ? 0 : (previous?.stagnantSteps ?? 0) + 1,
+        observations: [...(previous?.observations ?? []), { ...observation, gain, step }].slice(-8),
+    }));
+}
+export function freezeResidentFeedback(value) {
+    return Object.freeze({
+        ...value,
+        observations: Object.freeze(value.observations.map((item) => Object.freeze({ ...item }))),
+    });
+}
+/**
+ * @experimental Cost-aware continuation with an explicit abstention choice.
+ * This is a measured-progress heuristic, not Bayesian value of computation.
+ * A finite bootstrap allowance permits delayed payoffs but may stop too early.
+ */
+export function createResidentSelector(config) {
+    const policy = z
+        .object({
+        progressValue: z.number().finite().positive(),
+        initialExpectedProgress: z.number().finite().positive().max(1),
+        initialExpectedCost: cost,
+        maxStagnantSteps: z.number().int().min(1).max(32).default(2),
+    })
+        .parse(config);
+    return (agenda, now) => {
+        z.number().int().nonnegative().safe().parse(now);
+        const finish = (pursuitId, reason, candidates) => Object.freeze({
+            agendaRevision: agenda.revision,
+            pursuitId,
+            reason,
+            candidates: Object.freeze(candidates.map((candidate) => Object.freeze(candidate))),
+        });
+        if (agenda.paused)
+            return finish(null, 'paused', []);
+        if (agenda.pursuits.some((p) => p.state.phase === 'running'))
+            return finish(null, 'unresolved', []);
+        const candidates = agenda.pursuits.map((p) => {
+            const reject = (reason) => ({
+                pursuitId: p.id,
+                reason,
+                expectedGain: null,
+                expectedCost: null,
+                score: null,
+            });
+            if (p.state.phase !== 'waiting' || p.state.wakeAt === null || p.state.wakeAt > now)
+                return reject('not-due');
+            if (p.state.stepsAdmitted > 0 &&
+                (!p.feedback ||
+                    p.feedback.hasUnobservedSteps ||
+                    p.feedback.observations.at(-1)?.step !== p.state.stepsAdmitted))
+                return reject('missing-observation');
+            const feedback = p.feedback;
+            if (feedback && feedback.stagnantSteps >= policy.maxStagnantSteps)
+                return reject('stalled');
+            if (feedback?.observations.some((item) => item.costUnits === null))
+                return reject('unknown-cost');
+            const recent = feedback?.observations ?? [];
+            const totalGain = recent.reduce((total, item) => total + item.gain, 0);
+            const bootstrap = p.state.stepsAdmitted < policy.maxStagnantSteps && totalGain === 0;
+            const expectedGain = recent.length === 0 || bootstrap
+                ? policy.initialExpectedProgress
+                : (totalGain + policy.initialExpectedProgress) / (recent.length + 1);
+            const expectedCost = recent.length === 0
+                ? policy.initialExpectedCost
+                : recent.reduce((total, item) => total + (item.costUnits ?? 0), 0) / recent.length;
+            const score = policy.progressValue * expectedGain - expectedCost;
+            return {
+                pursuitId: p.id,
+                reason: score > 0 ? 'eligible' : 'nonpositive-value',
+                expectedGain,
+                expectedCost,
+                score,
+            };
+        });
+        const eligible = candidates.filter((candidate) => candidate.reason === 'eligible');
+        eligible.sort((a, b) => {
+            const left = agenda.pursuits.find((p) => p.id === a.pursuitId);
+            const right = agenda.pursuits.find((p) => p.id === b.pursuitId);
+            if (!left || !right)
+                throw new Error('Resident candidate is missing.');
+            return ((b.score ?? 0) - (a.score ?? 0) ||
+                left.state.stepsAdmitted - right.state.stepsAdmitted ||
+                (left.state.wakeAt ?? 0) - (right.state.wakeAt ?? 0) ||
+                a.pursuitId.localeCompare(b.pursuitId));
+        });
+        return finish(eligible[0]?.pursuitId ?? null, eligible.length ? 'selected' : 'no-useful-work', candidates);
+    };
+}
+//# sourceMappingURL=initiative.js.map

package/dist/manager/resident/initiative.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"initiative.js","sourceRoot":"","sources":["../../../src/manager/resident/initiative.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAA;AAGvB,MAAM,WAAW,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;AACrD,MAAM,IAAI,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,MAAM,EAAE,CAAC,WAAW,EAAE,CAAA;AAC9C,MAAM,CAAC,MAAM,yBAAyB,GAAG,CAAC,CAAC,MAAM,CAAC;IACjD,WAAW,EAAE,WAAW;IACxB,MAAM,EAAE,WAAW;IACnB,QAAQ,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IAC3C,iFAAiF;IACjF,SAAS,EAAE,IAAI,CAAC,QAAQ,EAAE;CAC1B,CAAC,CAAA;AAKF,MAAM,CAAC,MAAM,sBAAsB,GAAG,CAAC,CAAC,MAAM,CAAC;IAC9C,YAAY,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IAC/C,kBAAkB,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC;IAC9C,aAAa,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,WAAW,EAAE,CAAC,IAAI,EAAE;IACpD,YAAY,EAAE,CAAC;SACb,KAAK,CACL,yBAAyB,CAAC,MAAM,CAAC;QAChC,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QACvC,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,QAAQ,EAAE,CAAC,IAAI,EAAE;KACxC,CAAC,CACF;SACA,GAAG,CAAC,CAAC,CAAC;SACN,GAAG,CAAC,CAAC,CAAC;CACR,CAAC,CAAA;AAWF,MAAM,UAAU,mBAAmB,CAClC,QAAsC,EACtC,KAA0B,EAC1B,IAAY;IAEZ,MAAM,WAAW,GAAG,yBAAyB,CAAC,KAAK,CAAC,KAAK,CAAC,CAAA;IAC1D,MAAM,IAAI,GAAG,QAAQ,EAAE,YAAY,IAAI,CAAC,CAAA;IACxC,MAAM,SAAS,GAAG,QAAQ,EAAE,YAAY,CAAC,IAAI,CAC5C,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,WAAW,KAAK,WAAW,CAAC,WAAW,CACtD,CAAA;IACD,6EAA6E;IAC7E,MAAM,IAAI,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,WAAW,CAAC,QAAQ,GAAG,IAAI,CAAC,CAAA;IACrE,OAAO,sBAAsB,CAC5B,sBAAsB,CAAC,KAAK,CAAC;QAC5B,YAAY,EAAE,IAAI,GAAG,IAAI;QACzB,kBAAkB,EACjB,CAAC,QAAQ,EAAE,kBAAkB,IAAI,KAAK,CAAC;YACvC,IAAI,KAAK,CAAC,QAAQ,EAAE,YAAY,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,IAAI,CAAC,CAAC,GAAG,CAAC;QACxD,aAAa,EAAE,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE,aAAa,IAAI,CAAC,CAAC,GAAG,CAAC;QAChE,YAAY,EAAE,CAAC,GAAG,CAAC,QAAQ,EAAE,YAAY,IAAI,EAAE,CAAC,EAAE,EAAE,GAAG,WAAW,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;KAC3F,CAAC,CACF,CAAA;AACF,CAAC;AAED,MAAM,UAAU,sBAAsB,CAAC,KAAuB;IAC7D,OAAO,MAAM,CAAC,MAAM,CAAC;QACpB,GAAG,KAAK;QACR,YAAY,EAAE,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,GAAG,IAAI,EAAE,CAAC,CAAC,CAAC;KACzF,CAAC,CAAA;AACH,CAAC;AAoCD;;;;GAIG;AACH,MAAM,UAAU,sBAAsB,CAAC,MAA+B;IACrE,MAAM,MAAM,GAAG,CAAC;SACd,MAAM,CAAC;QACP,aAAa,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;QAC7C,uBAAuB,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;QAC9D,mBAAmB,EAAE,IAAI;QACzB,gBAAgB,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC;KAC5D,CAAC;SACD,KAAK,CAAC,MAAM,CAAC,CAAA;IACf,OAAO,CAAC,MAAM,EAAE,GAAG,EAAE,EAAE;QACtB,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,WAAW,EAAE,CAAC,IAAI,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,CAAA;QAChD,MAAM,MAAM,GAAG,CACd,SAAwB,EACxB,MAAmC,EACnC,UAA+B,EACX,EAAE,CACtB,MAAM,CAAC,MAAM,CAAC;YACb,cAAc,EAAE,MAAM,CAAC,QAAQ;YAC/B,SAAS;YACT,MAAM;YACN,UAAU,EAAE,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC;SAClF,CAAC,CAAA;QACH,IAAI,MAAM,CAAC,MAAM;YAAE,OAAO,MAAM,CAAC,IAAI,EAAE,QAAQ,EAAE,EAAE,CAAC,CAAA;QACpD,IAAI,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,KAAK,SAAS,CAAC;YAC3D,OAAO,MAAM,CAAC,IAAI,EAAE,YAAY,EAAE,EAAE,CAAC,CAAA;QACtC,MAAM,UAAU,GAAG,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAqB,EAAE;YAC/D,MAAM,MAAM,GAAG,CAAC,MAAmC,EAAqB,EAAE,CAAC,CAAC;gBAC3E,SAAS,EAAE,CAAC,CAAC,EAAE;gBACf,MAAM;gBACN,YAAY,EAAE,IAAI;gBAClB,YAAY,EAAE,IAAI;gBAClB,KAAK,EAAE,IAAI;aACX,CAAC,CAAA;YACF,IAAI,CAAC,CAAC,KAAK,CAAC,KAAK,KAAK,SAAS,IAAI,CAAC,CAAC,KAAK,CAAC,MAAM,KAAK,IAAI,IAAI,CAAC,CAAC,KAAK,CAAC,MAAM,GAAG,GAAG;gBACjF,OAAO,MAAM,CAAC,SAAS,CAAC,CAAA;YACzB,IACC,CAAC,CAAC,KAAK,CAAC,aAAa,GAAG,CAAC;gBACzB,CAAC,CAAC,CAAC,CAAC,QAAQ;oBACX,CAAC,CAAC,QAAQ,CAAC,kBAAkB;oBAC7B,CAAC,CAAC,QAAQ,CAAC,YAAY,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,KAAK,CAAC,CAAC,KAAK,CAAC,aAAa,CAAC;gBAEhE,OAAO,MAAM,CAAC,qBAAqB,CAAC,CAAA;YACrC,MAAM,QAAQ,GAAG,CAAC,CAAC,QAAQ,CAAA;YAC3B,IAAI,QAAQ,IAAI,QAAQ,CAAC,aAAa,IAAI,MAAM,CAAC,gBAAgB;gBAAE,OAAO,MAAM,CAAC,SAAS,CAAC,CAAA;YAC3F,IAAI,QAAQ,EAAE,YAAY,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,SAAS,KAAK,IAAI,CAAC;gBACjE,OAAO,MAAM,CAAC,cAAc,CAAC,CAAA;YAC9B,MAAM,MAAM,GAAG,QAAQ,EAAE,YAAY,IAAI,EAAE,CAAA;YAC3C,MAAM,SAAS,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,IAAI,EAAE,EAAE,CAAC,KAAK,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,CAAA;YACtE,MAAM,SAAS,GAAG,CAAC,CAAC,KAAK,CAAC,aAAa,GAAG,MAAM,CAAC,gBAAgB,IAAI,SAAS,KAAK,CAAC,CAAA;YACpF,MAAM,YAAY,GACjB,MAAM,CAAC,MAAM,KAAK,CAAC,IAAI,SAAS;gBAC/B,CAAC,CAAC,MAAM,CAAC,uBAAuB;gBAChC,CAAC,CAAC,CAAC,SAAS,GAAG,MAAM,CAAC,uBAAuB,CAAC,GAAG,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,CAAA;YACtE,MAAM,YAAY,GACjB,MAAM,CAAC,MAAM,KAAK,CAAC;gBAClB,CAAC,CAAC,MAAM,CAAC,mBAAmB;gBAC5B,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,IAAI,EAAE,EAAE,CAAC,KAAK,GAAG,CAAC,IAAI,CAAC,SAAS,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,MAAM,CAAC,MAAM,CAAA;YACpF,MAAM,KAAK,GAAG,MAAM,CAAC,aAAa,GAAG,YAAY,GAAG,YAAY,CAAA;YAChE,OAAO;gBACN,SAAS,EAAE,CAAC,CAAC,EAAE;gBACf,MAAM,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,mBAAmB;gBACpD,YAAY;gBACZ,YAAY;gBACZ,KAAK;aACL,CAAA;QACF,CAAC,CAAC,CAAA;QACF,MAAM,QAAQ,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,MAAM,KAAK,UAAU,CAAC,CAAA;QAClF,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;YACtB,MAAM,IAAI,GAAG,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,SAAS,CAAC,CAAA;YAC9D,MAAM,KAAK,GAAG,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,SAAS,CAAC,CAAA;YAC/D,IAAI,CAAC,IAAI,IAAI,CAAC,KAAK;gBAAE,MAAM,IAAI,KAAK,CAAC,gCAAgC,CAAC,CAAA;YACtE,OAAO,CACN,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC;gBAC/B,IAAI,CAAC,KAAK,CAAC,aAAa,GAAG,KAAK,CAAC,KAAK,CAAC,aAAa;gBACpD,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,IAAI,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,IAAI,CAAC,CAAC;gBACpD,CAAC,CAAC,SAAS,CAAC,aAAa,CAAC,CAAC,CAAC,SAAS,CAAC,CACtC,CAAA;QACF,CAAC,CAAC,CAAA;QACF,OAAO,MAAM,CACZ,QAAQ,CAAC,CAAC,CAAC,EAAE,SAAS,IAAI,IAAI,EAC9B,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,gBAAgB,EAC/C,UAAU,CACV,CAAA;IACF,CAAC,CAAA;AACF,CAAC"}

package/dist/manager/resident/learning.d.ts

@@ -0,0 +1,483 @@
+import { z } from 'zod';
+import { type HarnessVerificationBatch } from '../../eval/harness-verification.js';
+export declare const residentLearningEvidenceSchema: z.ZodObject<{
+    key: z.ZodString;
+    source: z.ZodString;
+    reason: z.ZodString;
+}, "strip", z.ZodTypeAny, {
+    source: string;
+    key: string;
+    reason: string;
+}, {
+    source: string;
+    key: string;
+    reason: string;
+}>;
+/** @experimental Host provenance for a correction, evaluated activation or rollback. */
+export type ResidentLearningEvidence = Readonly<z.infer<typeof residentLearningEvidenceSchema>>;
+declare const candidateSchema: z.ZodObject<{
+    name: z.ZodString;
+    description: z.ZodString;
+    body: z.ZodString;
+}, "strip", z.ZodTypeAny, {
+    name: string;
+    description: string;
+    body: string;
+}, {
+    name: string;
+    description: string;
+    body: string;
+}>;
+/** @experimental Instructional guidance only; never executable assets or tool permissions. */
+export type ResidentSkillCandidate = Readonly<z.infer<typeof candidateSchema>>;
+declare const learnedSkillSchema: z.ZodObject<{
+    name: z.ZodString;
+    description: z.ZodString;
+    body: z.ZodString;
+} & {
+    hash: z.ZodString;
+    evidence: z.ZodObject<{
+        key: z.ZodString;
+        source: z.ZodString;
+        reason: z.ZodString;
+    }, "strip", z.ZodTypeAny, {
+        source: string;
+        key: string;
+        reason: string;
+    }, {
+        source: string;
+        key: string;
+        reason: string;
+    }>;
+    verification: z.ZodObject<{
+        baselineHash: z.ZodUnion<[z.ZodString, z.ZodLiteral<"none">]>;
+        candidateHash: z.ZodString;
+        evidenceDigest: z.ZodString;
+        verificationTasks: z.ZodNumber;
+        confirmationTasks: z.ZodNumber;
+    }, "strip", z.ZodTypeAny, {
+        baselineHash: string;
+        candidateHash: string;
+        evidenceDigest: string;
+        verificationTasks: number;
+        confirmationTasks: number;
+    }, {
+        baselineHash: string;
+        candidateHash: string;
+        evidenceDigest: string;
+        verificationTasks: number;
+        confirmationTasks: number;
+    }>;
+}, "strip", z.ZodTypeAny, {
+    name: string;
+    description: string;
+    verification: {
+        baselineHash: string;
+        candidateHash: string;
+        evidenceDigest: string;
+        verificationTasks: number;
+        confirmationTasks: number;
+    };
+    body: string;
+    hash: string;
+    evidence: {
+        source: string;
+        key: string;
+        reason: string;
+    };
+}, {
+    name: string;
+    description: string;
+    verification: {
+        baselineHash: string;
+        candidateHash: string;
+        evidenceDigest: string;
+        verificationTasks: number;
+        confirmationTasks: number;
+    };
+    body: string;
+    hash: string;
+    evidence: {
+        source: string;
+        key: string;
+        reason: string;
+    };
+}>;
+/** @experimental Immutable evaluated content and evidence identity. */
+export type ResidentLearnedSkill = Readonly<z.infer<typeof learnedSkillSchema>>;
+export declare const residentLearningSchema: z.ZodEffects<z.ZodObject<{
+    revision: z.ZodNumber;
+    identity: z.ZodOptional<z.ZodObject<{
+        text: z.ZodString;
+        evidence: z.ZodObject<{
+            key: z.ZodString;
+            source: z.ZodString;
+            reason: z.ZodString;
+        }, "strip", z.ZodTypeAny, {
+            source: string;
+            key: string;
+            reason: string;
+        }, {
+            source: string;
+            key: string;
+            reason: string;
+        }>;
+    }, "strip", z.ZodTypeAny, {
+        text: string;
+        evidence: {
+            source: string;
+            key: string;
+            reason: string;
+        };
+    }, {
+        text: string;
+        evidence: {
+            source: string;
+            key: string;
+            reason: string;
+        };
+    }>>;
+    preferences: z.ZodArray<z.ZodObject<{
+        key: z.ZodString;
+        value: z.ZodString;
+        evidence: z.ZodObject<{
+            key: z.ZodString;
+            source: z.ZodString;
+            reason: z.ZodString;
+        }, "strip", z.ZodTypeAny, {
+            source: string;
+            key: string;
+            reason: string;
+        }, {
+            source: string;
+            key: string;
+            reason: string;
+        }>;
+    }, "strip", z.ZodTypeAny, {
+        key: string;
+        value: string;
+        evidence: {
+            source: string;
+            key: string;
+            reason: string;
+        };
+    }, {
+        key: string;
+        value: string;
+        evidence: {
+            source: string;
+            key: string;
+            reason: string;
+        };
+    }>, "many">;
+    skills: z.ZodArray<z.ZodObject<{
+        name: z.ZodString;
+        description: z.ZodString;
+        body: z.ZodString;
+    } & {
+        hash: z.ZodString;
+        evidence: z.ZodObject<{
+            key: z.ZodString;
+            source: z.ZodString;
+            reason: z.ZodString;
+        }, "strip", z.ZodTypeAny, {
+            source: string;
+            key: string;
+            reason: string;
+        }, {
+            source: string;
+            key: string;
+            reason: string;
+        }>;
+        verification: z.ZodObject<{
+            baselineHash: z.ZodUnion<[z.ZodString, z.ZodLiteral<"none">]>;
+            candidateHash: z.ZodString;
+            evidenceDigest: z.ZodString;
+            verificationTasks: z.ZodNumber;
+            confirmationTasks: z.ZodNumber;
+        }, "strip", z.ZodTypeAny, {
+            baselineHash: string;
+            candidateHash: string;
+            evidenceDigest: string;
+            verificationTasks: number;
+            confirmationTasks: number;
+        }, {
+            baselineHash: string;
+            candidateHash: string;
+            evidenceDigest: string;
+            verificationTasks: number;
+            confirmationTasks: number;
+        }>;
+    }, "strip", z.ZodTypeAny, {
+        name: string;
+        description: string;
+        verification: {
+            baselineHash: string;
+            candidateHash: string;
+            evidenceDigest: string;
+            verificationTasks: number;
+            confirmationTasks: number;
+        };
+        body: string;
+        hash: string;
+        evidence: {
+            source: string;
+            key: string;
+            reason: string;
+        };
+    }, {
+        name: string;
+        description: string;
+        verification: {
+            baselineHash: string;
+            candidateHash: string;
+            evidenceDigest: string;
+            verificationTasks: number;
+            confirmationTasks: number;
+        };
+        body: string;
+        hash: string;
+        evidence: {
+            source: string;
+            key: string;
+            reason: string;
+        };
+    }>, "many">;
+    lastChange: z.ZodObject<{
+        key: z.ZodString;
+        source: z.ZodString;
+        reason: z.ZodString;
+    }, "strip", z.ZodTypeAny, {
+        source: string;
+        key: string;
+        reason: string;
+    }, {
+        source: string;
+        key: string;
+        reason: string;
+    }>;
+}, "strip", z.ZodTypeAny, {
+    skills: {
+        name: string;
+        description: string;
+        verification: {
+            baselineHash: string;
+            candidateHash: string;
+            evidenceDigest: string;
+            verificationTasks: number;
+            confirmationTasks: number;
+        };
+        body: string;
+        hash: string;
+        evidence: {
+            source: string;
+            key: string;
+            reason: string;
+        };
+    }[];
+    revision: number;
+    preferences: {
+        key: string;
+        value: string;
+        evidence: {
+            source: string;
+            key: string;
+            reason: string;
+        };
+    }[];
+    lastChange: {
+        source: string;
+        key: string;
+        reason: string;
+    };
+    identity?: {
+        text: string;
+        evidence: {
+            source: string;
+            key: string;
+            reason: string;
+        };
+    } | undefined;
+}, {
+    skills: {
+        name: string;
+        description: string;
+        verification: {
+            baselineHash: string;
+            candidateHash: string;
+            evidenceDigest: string;
+            verificationTasks: number;
+            confirmationTasks: number;
+        };
+        body: string;
+        hash: string;
+        evidence: {
+            source: string;
+            key: string;
+            reason: string;
+        };
+    }[];
+    revision: number;
+    preferences: {
+        key: string;
+        value: string;
+        evidence: {
+            source: string;
+            key: string;
+            reason: string;
+        };
+    }[];
+    lastChange: {
+        source: string;
+        key: string;
+        reason: string;
+    };
+    identity?: {
+        text: string;
+        evidence: {
+            source: string;
+            key: string;
+            reason: string;
+        };
+    } | undefined;
+}>, {
+    skills: {
+        name: string;
+        description: string;
+        verification: {
+            baselineHash: string;
+            candidateHash: string;
+            evidenceDigest: string;
+            verificationTasks: number;
+            confirmationTasks: number;
+        };
+        body: string;
+        hash: string;
+        evidence: {
+            source: string;
+            key: string;
+            reason: string;
+        };
+    }[];
+    revision: number;
+    preferences: {
+        key: string;
+        value: string;
+        evidence: {
+            source: string;
+            key: string;
+            reason: string;
+        };
+    }[];
+    lastChange: {
+        source: string;
+        key: string;
+        reason: string;
+    };
+    identity?: {
+        text: string;
+        evidence: {
+            source: string;
+            key: string;
+            reason: string;
+        };
+    } | undefined;
+}, {
+    skills: {
+        name: string;
+        description: string;
+        verification: {
+            baselineHash: string;
+            candidateHash: string;
+            evidenceDigest: string;
+            verificationTasks: number;
+            confirmationTasks: number;
+        };
+        body: string;
+        hash: string;
+        evidence: {
+            source: string;
+            key: string;
+            reason: string;
+        };
+    }[];
+    revision: number;
+    preferences: {
+        key: string;
+        value: string;
+        evidence: {
+            source: string;
+            key: string;
+            reason: string;
+        };
+    }[];
+    lastChange: {
+        source: string;
+        key: string;
+        reason: string;
+    };
+    identity?: {
+        text: string;
+        evidence: {
+            source: string;
+            key: string;
+            reason: string;
+        };
+    } | undefined;
+}>;
+/** @experimental Versioned behavioral overlay; the original resident mandate remains unchanged. */
+export interface ResidentLearningState {
+    readonly revision: number;
+    readonly identity?: {
+        readonly text: string;
+        readonly evidence: ResidentLearningEvidence;
+    };
+    readonly preferences: readonly {
+        readonly key: string;
+        readonly value: string;
+        readonly evidence: ResidentLearningEvidence;
+    }[];
+    readonly skills: readonly ResidentLearnedSkill[];
+    readonly lastChange: ResidentLearningEvidence;
+}
+/** @experimental Corrections name the current preference evidence they supersede. */
+export interface ResidentProfileUpdate {
+    readonly identity?: string;
+    readonly preferences?: readonly {
+        readonly key: string;
+        readonly value: string;
+        readonly supersedes: string | null;
+    }[];
+    readonly evidence: ResidentLearningEvidence;
+}
+/** @experimental Recorded paired runs; hosts own execution, scoring and independent attribution. */
+export interface ResidentSkillEvaluation {
+    readonly verification: HarnessVerificationBatch;
+    readonly confirmation?: HarnessVerificationBatch;
+}
+/** Internal immutable snapshot used by storage and admitted context. */
+export declare function freezeResidentLearning(input: ResidentLearningState): ResidentLearningState;
+/** Internal pure profile transition; storage owns exact agenda CAS and idle admission. */
+export declare function reviseResidentProfile(current: ResidentLearningState | undefined, input: ResidentProfileUpdate): ResidentLearningState;
+/** @experimental Bind evaluation to the exact normalized name, description and body. */
+export declare function hashResidentSkill(input: ResidentSkillCandidate): string;
+/** Internal pure activation; reuse the kernel's conservative two-round verification gate. */
+export declare function promoteResidentSkill(current: ResidentLearningState | undefined, input: ResidentSkillCandidate, evaluation: ResidentSkillEvaluation, inputEvidence: ResidentLearningEvidence): ResidentLearningState;
+/** Internal rollback appends a new learning version while preserving current profile values. */
+export declare function restoreResidentSkill(current: ResidentLearningState | undefined, historical: ResidentLearningState | undefined, skillName: string, inputEvidence: ResidentLearningEvidence): ResidentLearningState;
+/** @experimental Exact skill selection and a character cap, independent of provider token budgets. */
+export interface ResidentLearningProjectionOptions {
+    readonly maxChars: number;
+    readonly skillNames: readonly string[];
+}
+/** @experimental Omitted entries are counted; no partial skill instruction is emitted. */
+export interface ResidentLearningProjection {
+    readonly text: string;
+    readonly revision: number | null;
+    readonly includedSkills: readonly string[];
+    readonly omitted: number;
+}
+/** @experimental Bounded context data; never registers tools, loads files or executes a skill. */
+export declare function projectResidentLearning(current: ResidentLearningState | undefined, options: ResidentLearningProjectionOptions): ResidentLearningProjection;
+export {};
+//# sourceMappingURL=learning.d.ts.map

package/dist/manager/resident/learning.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"learning.d.ts","sourceRoot":"","sources":["../../../src/manager/resident/learning.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAA;AACvB,OAAO,EACN,KAAK,wBAAwB,EAE7B,MAAM,oCAAoC,CAAA;AAK3C,eAAO,MAAM,8BAA8B;;;;;;;;;;;;EAIzC,CAAA;AAEF,wFAAwF;AACxF,MAAM,MAAM,wBAAwB,GAAG,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,8BAA8B,CAAC,CAAC,CAAA;AAE/F,QAAA,MAAM,eAAe;;;;;;;;;;;;EAInB,CAAA;AAEF,8FAA8F;AAC9F,MAAM,MAAM,sBAAsB,GAAG,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,eAAe,CAAC,CAAC,CAAA;AAE9E,QAAA,MAAM,kBAAkB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAUtB,CAAA;AAEF,uEAAuE;AACvE,MAAM,MAAM,oBAAoB,GAAG,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,kBAAkB,CAAC,CAAC,CAAA;AAE/E,eAAO,MAAM,sBAAsB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAmChC,CAAA;AAEH,mGAAmG;AACnG,MAAM,WAAW,qBAAqB;IACrC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAA;IACzB,QAAQ,CAAC,QAAQ,CAAC,EAAE;QAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,QAAQ,EAAE,wBAAwB,CAAA;KAAE,CAAA;IAC1F,QAAQ,CAAC,WAAW,EAAE,SAAS;QAC9B,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAA;QACpB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;QACtB,QAAQ,CAAC,QAAQ,EAAE,wBAAwB,CAAA;KAC3C,EAAE,CAAA;IACH,QAAQ,CAAC,MAAM,EAAE,SAAS,oBAAoB,EAAE,CAAA;IAChD,QAAQ,CAAC,UAAU,EAAE,wBAAwB,CAAA;CAC7C;AAED,qFAAqF;AACrF,MAAM,WAAW,qBAAqB;IACrC,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAA;IAC1B,QAAQ,CAAC,WAAW,CAAC,EAAE,SAAS;QAC/B,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAA;QACpB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;QACtB,QAAQ,CAAC,UAAU,EAAE,MAAM,GAAG,IAAI,CAAA;KAClC,EAAE,CAAA;IACH,QAAQ,CAAC,QAAQ,EAAE,wBAAwB,CAAA;CAC3C;AAED,oGAAoG;AACpG,MAAM,WAAW,uBAAuB;IACvC,QAAQ,CAAC,YAAY,EAAE,wBAAwB,CAAA;IAC/C,QAAQ,CAAC,YAAY,CAAC,EAAE,wBAAwB,CAAA;CAChD;AAED,wEAAwE;AACxE,wBAAgB,sBAAsB,CAAC,KAAK,EAAE,qBAAqB,GAAG,qBAAqB,CA0B1F;AAgCD,0FAA0F;AAC1F,wBAAgB,qBAAqB,CACpC,OAAO,EAAE,qBAAqB,GAAG,SAAS,EAC1C,KAAK,EAAE,qBAAqB,GAC1B,qBAAqB,CAyCvB;AAED,wFAAwF;AACxF,wBAAgB,iBAAiB,CAAC,KAAK,EAAE,sBAAsB,GAAG,MAAM,CAKvE;AAED,6FAA6F;AAC7F,wBAAgB,oBAAoB,CACnC,OAAO,EAAE,qBAAqB,GAAG,SAAS,EAC1C,KAAK,EAAE,sBAAsB,EAC7B,UAAU,EAAE,uBAAuB,EACnC,aAAa,EAAE,wBAAwB,GACrC,qBAAqB,CA4CvB;AAED,gGAAgG;AAChG,wBAAgB,oBAAoB,CACnC,OAAO,EAAE,qBAAqB,GAAG,SAAS,EAC1C,UAAU,EAAE,qBAAqB,GAAG,SAAS,EAC7C,SAAS,EAAE,MAAM,EACjB,aAAa,EAAE,wBAAwB,GACrC,qBAAqB,CAYvB;AAED,sGAAsG;AACtG,MAAM,WAAW,iCAAiC;IACjD,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAA;IACzB,QAAQ,CAAC,UAAU,EAAE,SAAS,MAAM,EAAE,CAAA;CACtC;AAED,0FAA0F;AAC1F,MAAM,WAAW,0BAA0B;IAC1C,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,QAAQ,EAAE,MAAM,GAAG,IAAI,CAAA;IAChC,QAAQ,CAAC,cAAc,EAAE,SAAS,MAAM,EAAE,CAAA;IAC1C,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;CACxB;AAED,kGAAkG;AAClG,wBAAgB,uBAAuB,CACtC,OAAO,EAAE,qBAAqB,GAAG,SAAS,EAC1C,OAAO,EAAE,iCAAiC,GACxC,0BAA0B,CAsD5B"}