@mnemom/mnemom 0.17.1 → 0.17.2-next.1

package/dist/commands/agent-sessions.d.ts

@@ -13,7 +13,7 @@
  * local sha is never printed as "the sealed hash" and no mismatch is flagged —
  * only the server's hash is shown, labelled "sealed hash".
  */
-import { type SessionRecord } from "../lib/agent-ledger.js";
+import { type GoalMode, type SessionRecord } from "../lib/agent-ledger.js";
 import { type AgentSessionResponse } from "../lib/api.js";
 export interface SessionCommandDeps {
     /** The ledger, newest first. */
@@ -47,8 +47,19 @@ export interface SessionRefAmbiguous {
  *   - nothing matches (or the ledger is empty) → null.
  */
 export declare function resolveSessionRef(records: SessionRecord[], ref?: string): SessionRefMatch | SessionRefAmbiguous | null;
-/** Goal alignment as the ledger recorded it: a contract at launch ⇒ on. */
-export declare function localGoalFlag(record: SessionRecord): "on" | "off";
+/**
+ * Goal-alignment mode as the ledger recorded it. Prefers the explicit
+ * `goal_mode` (which alone distinguishes `implicit` from `off`); records
+ * written before that field existed fall back to `contract ? "on" : "off"`.
+ */
+export declare function localGoalFlag(record: SessionRecord): GoalMode;
+/**
+ * Goal-alignment mode for the `show` view: the live gateway state wins when it
+ * is present (a sealed contract ⇒ `on`), otherwise the locally recorded mode.
+ * A gateway with no sealed contract can still be an `implicit` session, so the
+ * local `goal_mode` fills that in.
+ */
+export declare function resolveGoalMode(local: SessionRecord, remote: AgentSessionResponse | null): GoalMode;
 /**
  * Render the ledger as a table, newest first — the newest
  * `DEFAULT_SESSIONS_LIMIT` rows unless `all`, with a footer naming the rest.
@@ -69,7 +80,7 @@ export interface ShowJson {
     session: SessionRecord & {
         source: "local";
     };
-    goal_alignment: "on" | "off";
+    goal_alignment: GoalMode;
     live: {
         source: "gateway";
         available: true;

package/dist/commands/agent-sessions.js

@@ -55,15 +55,46 @@ export function resolveSessionRef(records, ref) {
     return null;
 }
 // ─── sessions table ───────────────────────────────────────────────────────────
-const COL = { session: 26, started: 16, agent: 22, goal: 6, conv: 8 };
+const COL = { session: 26, started: 16, agent: 22, goal: 10, conv: 8 };
 function cell(text, width) {
     const max = width - 2;
     const shown = text.length > max ? `${text.slice(0, max - 1)}…` : text;
     return shown.padEnd(width);
 }
-/** Goal alignment as the ledger recorded it: a contract at launch ⇒ on. */
+/**
+ * Goal-alignment mode as the ledger recorded it. Prefers the explicit
+ * `goal_mode` (which alone distinguishes `implicit` from `off`); records
+ * written before that field existed fall back to `contract ? "on" : "off"`.
+ */
 export function localGoalFlag(record) {
-    return record.contract ? "on" : "off";
+    return record.goal_mode ?? (record.contract ? "on" : "off");
+}
+/**
+ * Goal-alignment mode for the `show` view: the live gateway state wins when it
+ * is present (a sealed contract ⇒ `on`), otherwise the locally recorded mode.
+ * A gateway with no sealed contract can still be an `implicit` session, so the
+ * local `goal_mode` fills that in.
+ */
+export function resolveGoalMode(local, remote) {
+    if (remote) {
+        // Live truth wins: a sealed contract ⇒ on. When the gateway has NO sealed
+        // contract, the session is either implicit or off — and only the local
+        // `goal_mode` distinguishes those. A stale local "on" (a contract that has
+        // since cleared/expired/been revoked on the gateway) must NOT resurrect an
+        // "on" the live state contradicts, so only "implicit" is recovered here.
+        if (remote.sealed !== null)
+            return "on";
+        return local.goal_mode === "implicit" ? "implicit" : "off";
+    }
+    return localGoalFlag(local);
+}
+/** The badge for a goal mode: on → green, implicit → cyan, off → yellow. */
+function goalBadge(mode) {
+    if (mode === "on")
+        return fmt.badge("ON", "green");
+    if (mode === "implicit")
+        return fmt.badge("IMPLICIT", "cyan");
+    return fmt.badge("OFF", "yellow");
 }
 /**
  * Render the ledger as a table, newest first — the newest
@@ -123,8 +154,8 @@ export function buildShowView(local, remote, reason) {
         launchBits.push(`effort ${local.effort}`);
     L.push(fmt.label("launch:       ", launchBits.join(" · ")));
     L.push(fmt.label("conversation: ", local.conversation_id));
-    const goalOn = remote ? remote.sealed !== null : local.contract !== null;
-    L.push(fmt.label("goal alignment:", goalOn ? fmt.badge("ON", "green") : fmt.badge("OFF", "yellow")));
+    const goalMode = resolveGoalMode(local, remote);
+    L.push(fmt.label("goal alignment:", goalBadge(goalMode)));
     if (local.contract) {
         L.push(fmt.label("goal (at launch):", local.contract.statement));
     }
@@ -176,10 +207,9 @@ export function buildShowView(local, remote, reason) {
     return L;
 }
 export function buildShowJson(local, remote, reason) {
-    const goalOn = remote ? remote.sealed !== null : local.contract !== null;
     return {
         session: { ...local, source: "local" },
-        goal_alignment: goalOn ? "on" : "off",
+        goal_alignment: resolveGoalMode(local, remote),
         live: remote
             ? {
                 source: "gateway",

package/dist/commands/agent.d.ts

@@ -91,6 +91,7 @@ export declare function recordSessionLaunch(ctx: {
     options: AgentOptions;
     cli: ResolvedCli;
     envelope: SealedContractEnvelope | null;
+    goalMode: string | null;
 }): Promise<void>;
 /**
  * Resolve the Anthropic key with NO 1Password dependency (built for external

package/dist/commands/agent.js

@@ -231,6 +231,7 @@ export async function agentCommand(scenarioArg, options = {}) {
         options,
         cli,
         envelope,
+        goalMode,
     });
     logLaunch({ shape, door, agent, conversationId, cellNote, envelope, goalMode, cli });
     say(goalAlignmentLine(goalAlignmentMode(envelope, goalMode)));
@@ -292,6 +293,7 @@ export async function recordSessionLaunch(ctx) {
         effort: ctx.options.effort?.trim() || null,
         cli: ctx.cli.name,
         contract: toLedgerContract(ctx.envelope?.contract ?? null),
+        goal_mode: goalAlignmentMode(ctx.envelope, ctx.goalMode),
     }, { dir: MNEMOM_DIR, now: () => new Date(), pid: process.pid });
     if (!result.ok) {
         say(fmt.warn(`mnemom agent: could not record this session in ~/.mnemom/${LEDGER_FILE} (${result.error}) — launching anyway.`));

package/dist/lib/agent-ledger.d.ts

@@ -46,7 +46,18 @@ export interface SessionRecord {
     /** The coding-agent CLI's basename, e.g. "claude". */
     cli: string;
     contract: SessionRecordContract | null;
+    /**
+     * The goal-alignment mode the launch ran under: `"on"` (a sealed contract),
+     * `"implicit"` (`--implicit` — the gateway infers the goal, no sealed
+     * contract), or `"off"`. Optional: records written before this field existed
+     * omit it, and readers fall back to `contract ? "on" : "off"` (an old
+     * `--implicit` launch is indistinguishable from `off` — its mode was never
+     * captured).
+     */
+    goal_mode?: GoalMode;
 }
+/** Goal-alignment mode as recorded at launch. */
+export type GoalMode = "off" | "on" | "implicit";
 /** What the call site supplies — the ledger stamps `v` and `started_at`. */
 export type SessionRecordInput = Omit<SessionRecord, "v" | "started_at">;
 /** The injected environment of the ledger. */

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@mnemom/mnemom",
-  "version": "0.17.1",
+  "version": "0.17.2-next.1",
   "description": "Transparent AI agent tracing",
   "type": "module",
   "bin": {