soulbridge 0.0.102 → 0.0.103

package/dist/packages/core/src/consolidate.js

@@ -245,8 +245,10 @@ export function parseProfileMerge(raw, allowed, expected) {
         // model mixed two lenses back together, which is the welding the split prevents.
         if (expected && dimension !== expected)
             continue;
-        const sourceField = fields.find((field) => field.startsWith('来源'));
-        const sources = (sourceField?.replace(/^来源\s*[=＝]\s*/, '') ?? '')
+        // One name for the field now; 来源 is accepted only so an older prompt in flight
+        // still parses.
+        const sourceField = fields.find((field) => /^(证据|来源)\s*[=＝]/.test(field));
+        const sources = (sourceField?.replace(/^(证据|来源)\s*[=＝]\s*/, '') ?? '')
             .split(/[,，、;；\s]+/)
             .map((id) => id.trim())
             .filter((id) => allowed.has(id));
@@ -277,7 +279,9 @@ export function parseProfileMerge(raw, allowed, expected) {
  * so both are read — a line that names its sources can never be merge input.
  */
 export function isDerivedProfileLine(fact) {
-    return (fact.slots ?? []).some((slot) => slot.slot === '来源' || slot.slot === '合并');
+    // 证据 is the one name for "this line cites its sources"; 来源 was the old spelling and 合并
+    // marks a merged line that has no sources of its own.
+    return (fact.slots ?? []).some((slot) => slot.slot === '证据' || slot.slot === '合并');
 }
 /**
  * Cut the merge input along dimensions before any model sees it.

package/dist/packages/core/src/index.js

@@ -181,7 +181,9 @@ export class Soul {
      * code would be the guess ADR 0027 forbids.
      */
     promotionCandidates(turnId) {
-        return this.store.factsByTurns([turnId]).filter((fact) => fact.slots.some((slot) => slot.slot === '原则候选' && slot.value.kind === 'text' && slot.value.value === '是'));
+        return this.store
+            .factsByTurns([turnId], { includeCandidates: true })
+            .filter((fact) => fact.role === 'lesson' && fact.status === 'candidate');
     }
     /**
      * Store one exchange (RFC 0007). Idempotent on `(sessionId, turn)`: a repeat is
@@ -494,11 +496,11 @@ export class Soul {
                 skipped.push({ what: statement, reason: 'duplicate' });
                 return null;
             }
-            // The promotion rules read this slot; they must not re-read the statement to
-            // guess whether it was a lesson, because that is the semantic call the model
-            // already made.
-            if (factDraft.principle)
-                slots.push({ slot: '原则候选', value: { kind: 'text', value: '是' } });
+            // An unclassified lesson is a candidate: a lesson the model flagged but did not
+            // place in a role. It is held and shown to the classifier, injected nowhere.
+            // This replaced the old `原则候选` slot, which was the same decision stored as text.
+            const role = factDraft.principle && !factDraft.role ? 'lesson' : factDraft.role;
+            const status = factDraft.principle && !factDraft.role ? 'candidate' : undefined;
             // ADR 0035: a fact from my side of the exchange is `inferred`, and inferred
             // claims must carry their evidence. The turn id is the evidence available here —
             // claims that need a tool or test result are kept out by the prompt instead.
@@ -510,7 +512,8 @@ export class Soul {
                 userId: this.userId,
                 statement,
                 holder,
-                role: factDraft.role,
+                role,
+                status,
                 typeName: factDraft.typeName,
                 at: factDraft.at,
                 atText: factDraft.atText,
@@ -747,7 +750,7 @@ export class Soul {
                 // More sources means more observations behind the line, so it ranks first.
                 confidence: Math.min(0.95, 0.6 + 0.05 * line.sources.length),
                 slots: [
-                    ...line.sources.map((id) => ({ slot: '来源', value: { kind: 'fact', factId: id } })),
+                    ...line.sources.map((id) => ({ slot: '证据', value: { kind: 'fact', factId: id } })),
                     // A merged line is not an original: re-merging merged lines loses detail.
                     { slot: '合并', value: { kind: 'text', value: '1' } },
                     { slot: '维度', value: { kind: 'text', value: line.dimension } },

package/dist/packages/core/src/profile-prompt.js

@@ -41,7 +41,7 @@ const PROFILE_RULES = `<rules>
 - 不许出现"一切/所有/总是/从不"，除非来源原文里就有。
 - 每行给一个维度：${dimensionChoices()}
 - 一行只讲一个维度。不同维度必须分行——跨维度拼成一句就是没拆。
-- 每条必须给来源：来源=fc_xxx,fc_yyy，只能引用 <input> 里出现过的 id；没有来源的整行不要。
+- 每条必须给证据：证据=fc_xxx,fc_yyy，只能引用 <input> 里出现过的 id；没有证据的整行不要。
 - 合并后 5–8 条；宁少不凑。
 - 输入里没有的新判断，不许出现。
 </rules>`;
@@ -68,8 +68,8 @@ const PROFILE_EXAMPLE = `<example>
 - fc_c | 用户很讨厌一件事反复讲，换工具又要重新交代
 </input>
 <output>
-画像: 要机制，不要靠 prompt 的自觉 | 维度=${PROFILE_DIMENSIONS[1]} | 来源=fc_a,fc_b
-画像: 讨厌重复交代，工具换了也不该重讲 | 维度=${PROFILE_DIMENSIONS[2]} | 来源=fc_c
+画像: 要机制，不要靠 prompt 的自觉 | 维度=${PROFILE_DIMENSIONS[1]} | 证据=fc_a,fc_b
+画像: 讨厌重复交代，工具换了也不该重讲 | 维度=${PROFILE_DIMENSIONS[2]} | 证据=fc_c
 </output>
 </example>`;
 /**

package/dist/packages/core/src/sqlite.d.ts

@@ -1,6 +1,6 @@
 import { DatabaseSync } from 'node:sqlite';
 import type { SoulStore } from './store.ts';
-export declare const SCHEMA_VERSION = 10;
+export declare const SCHEMA_VERSION = 11;
 export declare const AFFECT_RETENTION_MS: number;
 export declare class DbNewerThanBinaryError extends Error {
     readonly code = "DB_NEWER_THAN_BINARY";
@@ -13,6 +13,7 @@ export declare class DbNewerThanBinaryError extends Error {
  * old table stays as a read-only legacy copy.
  */
 /** v6 → v7: turn threads (a topic's turns need not be adjacent) plus turns.thread_id. */
+export declare function upgradeToV11(db: DatabaseSync): void;
 export declare function upgradeToV10(db: DatabaseSync): void;
 export declare function upgradeToV9(db: DatabaseSync): void;
 export declare function upgradeToV8(db: DatabaseSync): void;

package/dist/packages/core/src/sqlite.js

@@ -12,7 +12,7 @@ import { DEFAULT_EMOTION } from './types.js';
 import { FACT_STATUS, MEMORY_STATUS } from './config/status.js';
 import { FACT_ROLES } from './config/domains.js';
 import { bm25, buildCorpusStats, tokenize } from './scoring.js';
-export const SCHEMA_VERSION = 10;
+export const SCHEMA_VERSION = 11;
 /** How many recent pairs are considered before scoring. Bounded so recall stays O(candidates). */
 const RECALL_CANDIDATES = 500;
 export const AFFECT_RETENTION_MS = 30 * 24 * 60 * 60 * 1000;
@@ -299,6 +299,21 @@ function upgradeToV3(db) {
  * old table stays as a read-only legacy copy.
  */
 /** v6 → v7: turn threads (a topic's turns need not be adjacent) plus turns.thread_id. */
+export function upgradeToV11(db) {
+    // 原则候选 stored a decision as a slot; it is role+status now. The row becomes a lesson
+    // candidate — held and shown to the classifier, injected nowhere until it is placed.
+    db.exec(`UPDATE facts SET role = 'lesson', status = 'candidate'
+            WHERE id IN (SELECT fact_id FROM fact_slots WHERE slot = '原则候选' AND value_text = '是')`);
+    db.exec("DELETE FROM fact_slots WHERE slot = '原则候选'");
+    // One name for "this cites its sources": 来源 → 证据. Skip where the fact already cites
+    // the same row under the new name, then drop what is left of the old spelling.
+    db.exec(`UPDATE fact_slots SET slot = '证据'
+            WHERE slot = '来源'
+              AND NOT EXISTS (SELECT 1 FROM fact_slots x
+                               WHERE x.fact_id = fact_slots.fact_id AND x.slot = '证据'
+                                 AND x.ref_fact_id = fact_slots.ref_fact_id)`);
+    db.exec("DELETE FROM fact_slots WHERE slot = '来源'");
+}
 export function upgradeToV10(db) {
     // The four-state vocabulary (config/status.ts). Everything written under the old names
     // becomes one of the two states the code now reads; after this the fallbacks are gone.
@@ -448,8 +463,8 @@ export function openSqlite(file) {
                 upgradeToV7(db);
             if (version < 8)
                 upgradeToV8(db);
-            if (version < 10)
-                upgradeToV10(db);
+            if (version < 11)
+                upgradeToV11(db);
             // v6 adds tables only; SCHEMA creates them on every open, nothing to copy.
             setVersion(db, SCHEMA_VERSION);
             db.exec('COMMIT');
@@ -1006,12 +1021,19 @@ export function openSqlite(file) {
             const text = row ? String(row.user_text ?? '').trim() : '';
             return text === '' ? null : text;
         },
-        factsByTurns(turnIds) {
+        factsByTurns(turnIds, options = {}) {
             if (turnIds.length === 0)
                 return [];
             const placeholders = turnIds.map(() => '?').join(',');
+            // Only live facts. A retracted statement must not become evidence for the next
+            // consolidation; a candidate is held but unconfirmed, so it is evidence for nothing
+            // except the promotion step that decides its role.
+            const live = options.includeCandidates
+                ? `f.status IN ('${FACT_STATUS.active}','${FACT_STATUS.candidate}')`
+                : `f.status = '${FACT_STATUS.active}'`;
             const rows = db
-                .prepare(`SELECT f.* FROM facts f WHERE f.source_turn_id IN (${placeholders}) ORDER BY f.created_at ASC`)
+                .prepare(`SELECT f.* FROM facts f WHERE f.source_turn_id IN (${placeholders})
+             AND ${live} ORDER BY f.created_at ASC`)
                 .all(...turnIds);
             const slots = slotsOfRows(db, rows.map((row) => String(row.id)));
             return rows.map((row) => rowToFact(row, slots));

package/dist/packages/core/src/store.d.ts

@@ -88,8 +88,13 @@ export interface SoulStore {
     lastClosedThread(soulId: string, userId: string): TurnThread | null;
     /** Every turn of a thread, in order — the chapter, not one page. */
     threadTurns(threadId: string): TurnPair[];
-    /** Facts whose source turn belongs to the given turns. */
-    factsByTurns(turnIds: string[]): Fact[];
+    /**
+     * Facts whose source turn belongs to the given turns. Live facts only; candidates are
+     * included when asked, because promotion needs to see lessons not yet classified.
+     */
+    factsByTurns(turnIds: string[], options?: {
+        includeCandidates?: boolean;
+    }): Fact[];
     /** One turn by id, for expanding a fact back into its conversation. */
     turn(id: string): TurnPair | null;
     /** Retire a fact: the new one replaces it, the old row stays for the record. */

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "soulbridge",
-  "version": "0.0.102",
+  "version": "0.0.103",
   "description": "A personality layer for any agent: continuity, forgetting, and growth across tools.",
   "license": "Apache-2.0",
   "type": "module",