feat(levelcode): memory — Facts panel controls (confirm / not-true)

Completes the inferred→confirmed loop with a surface: the Memory tab now opens
with a Facts section above the sessions. Each fact shows its state — dimmed
"inferred" or accent "confirmed" — and how many sessions it was seen in; hover
gives Confirm (promote an inferred fact to load-bearing) and Not true (remove a
wrong one). Both immediately re-consolidate the injected digest, so confirming
or correcting a fact changes what the agent is told on the very next session.

- extension.js: listMemory now also serves factsList(); a factAction message is
  routed through handleFactAction (confirm / remove by the fact's key), which
  refreshes the panel + the welcome-back digest.
- media/sessionsView.html: factCardHtml (text + inferred/confirmed badge +
  "seen N×", with the line-2 hover-swap to Confirm / Not true); renderMemory
  now lays out Facts then Sessions; the list click handler routes data-fact
  buttons to factAction. Inferred cards are dimmer (low-trust); Not true tints
  danger, Confirm tints accent.
- tests: sessionsUi panel test now covers the facts controls. 31 files green.

Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>

Author: ndemianc

extensions/levelcode-ai/extension.js

@@ -838,11 +838,24 @@ async function handleMemoryAction(action, id, webview) {
 			if (text == null || !text.trim()) { return; }
 			m.refineSummary(id, text);
 		} else { return; }
-		if (webview) { try { webview.postMessage({ type: 'memoryList', items: m.memoryItems() }); } catch (e) { /* view closed */ } }
+		if (webview) { try { webview.postMessage({ type: 'memoryList', items: m.memoryItems(), facts: m.factsList() }); } catch (e) { /* view closed */ } }
 		postMemoryDigest();
 	} catch (e) { dbg('sessions.memoryAction.error', { action, id, msg: String((e && e.message) || e) }); }
 }
 
+// A fact-panel action (§M3/§6): Confirm promotes an inferred fact to load-bearing; Not-true removes it. Keyed
+// by the fact's normalized text (not a session). Refreshes the panel + the injected digest.
+async function handleFactAction(action, key, webview) {
+	const m = sessionsManager();
+	if (!m || !key) { return; }
+	dbg('sessions.factAction', { action, key });
+	try {
+		m.factAction(key, action === 'remove' ? 'remove' : 'confirm');
+		if (webview) { try { webview.postMessage({ type: 'memoryList', items: m.memoryItems(), facts: m.factsList() }); } catch (e) { /* view closed */ } }
+		postMemoryDigest();
+	} catch (e) { dbg('sessions.factAction.error', { action, key, msg: String((e && e.message) || e) }); }
+}
+
 // A card action from either surface. resume reopens the session; done/delete/rename/pin are append-only edits
 // (§4.9): Done archives (reversible, never deletes), Delete soft-trashes, Rename retitles, Pin toggles.
 // Done/Delete offer an Undo (restore) so an accidental click is recoverable. Best-effort — a History action
@@ -2071,9 +2084,10 @@ class SessionsViewProvider {
 				case 'listSessions': view.webview.postMessage({ type: 'sessions', entries: sessionList() }); break;
 				case 'newSession': newChat(); vscode.commands.executeCommand('levelcodeAi.chat.focus'); break;
 				case 'sessionAction': await handleSessionAction(msg.action, msg.id); break;
-				// Memory tab (§M3): list the recorded outcomes; act on them (resume / edit / forget); open the file.
-				case 'listMemory': { const mm = sessionsManager(); view.webview.postMessage({ type: 'memoryList', items: mm ? mm.memoryItems() : [] }); break; }
+				// Memory tab (§M3): list the recorded outcomes + facts; act on them; open the file.
+				case 'listMemory': { const mm = sessionsManager(); view.webview.postMessage({ type: 'memoryList', items: mm ? mm.memoryItems() : [], facts: mm ? mm.factsList() : [] }); break; }
 				case 'memoryAction': await handleMemoryAction(msg.action, msg.id, view.webview); break;
+				case 'factAction': await handleFactAction(msg.action, msg.key, view.webview); break;
 				case 'openMemory': await openMemory(); break;
 			}
 		});

extensions/levelcode-ai/media/sessionsView.html

@@ -46,6 +46,21 @@
   .memcard .memact { background: transparent; border: none; color: var(--cc-text2); border-radius: 4px; padding: 2px 8px; font: inherit; font-size: 11px; cursor: pointer; white-space: nowrap; }
   .memcard .memact:hover { background: color-mix(in srgb, var(--cc-text3) 20%, transparent); color: var(--cc-text); }
   .memcard .memact[data-act="forget"]:hover { background: color-mix(in srgb, var(--cc-danger) 18%, transparent); color: var(--cc-danger); }
+  /* Facts section (§M3/§6): durable truths, marked inferred vs confirmed, with confirm / not-true. */
+  .memsection { font-size: 10px; letter-spacing: .1em; text-transform: uppercase; color: var(--cc-text3); margin: 12px 4px 6px; }
+  .factcard { position: relative; padding: 8px 8px 9px; margin-bottom: 1px; border-radius: 6px; }
+  .factcard:hover { background: color-mix(in srgb, var(--cc-text3) 10%, transparent); }
+  .factcard.inferred { opacity: .82; }
+  .factcard .facttext { font-size: 13px; line-height: 1.5; color: var(--cc-text); }
+  .factbadge { font-size: 9.5px; letter-spacing: .05em; text-transform: uppercase; color: var(--cc-text3); border: 1px solid var(--cc-line); border-radius: 4px; padding: 0 4px; margin-left: 2px; white-space: nowrap; }
+  .factbadge.ok { color: var(--cc-accent); border-color: color-mix(in srgb, var(--cc-accent) 45%, var(--cc-line)); }
+  .factcard .memline2 { display: flex; align-items: center; min-height: 22px; margin-top: 3px; }
+  .factcard .memmeta { flex: 1 1 auto; font-size: 11px; color: var(--cc-text3); }
+  .factcard .memacts { display: none; align-items: center; gap: 4px; flex: 0 0 auto; }
+  .factcard:hover .memmeta, .factcard:focus-within .memmeta { display: none; }
+  .factcard:hover .memacts, .factcard:focus-within .memacts { display: flex; }
+  .factcard .memact[data-fact="remove"]:hover { background: color-mix(in srgb, var(--cc-danger) 18%, transparent); color: var(--cc-danger); }
+  .factcard .memact[data-fact="confirm"]:hover { background: color-mix(in srgb, var(--cc-accent) 18%, transparent); color: var(--cc-accent); }
   .sesslist { flex: 1 1 auto; overflow-y: auto; padding: 0 10px 12px; }
   .sessbucket { display: flex; justify-content: space-between; align-items: baseline; font-family: var(--vscode-editor-font-family, ui-monospace, monospace); font-size: 10px; letter-spacing: .1em; text-transform: uppercase; color: var(--cc-text3); margin: 12px 4px 7px; }
   .sessbucket .cnt { letter-spacing: 0; }
@@ -198,13 +213,28 @@
       + '<button type="button" class="memact" data-act="forget" title="Forget this session">Forget</button></span></div>'
       + '</div>';
   }
-  function renderMemory(items){
+  function factCardHtml(f){
+    const badge = f.confirmed ? '<span class="factbadge ok">confirmed</span>' : '<span class="factbadge">inferred</span>';
+    const acts = '<span class="memacts">'
+      + (f.confirmed ? '' : '<button type="button" class="memact" data-fact="confirm" title="Confirm — this is true">Confirm</button>')
+      + '<button type="button" class="memact" data-fact="remove" title="Not true — remove this fact">Not true</button>'
+      + '</span>';
+    return '<div class="factcard ' + (f.confirmed ? 'confirmed' : 'inferred') + '" data-key="' + escAttr(f.key || '') + '">'
+      + '<div class="facttext">' + esc(f.text || '') + ' ' + badge + '</div>'
+      + '<div class="memline2"><span class="memmeta">seen ' + (f.count || 0) + '×</span>' + acts + '</div></div>';
+  }
+  function renderMemory(msg){
     const list = document.getElementById('svMemList'); if (!list) { return; }
-    const arr = Array.isArray(items) ? items : [];
-    if (!arr.length){ list.innerHTML = '<div class="sessempty">Nothing remembered yet. As sessions finish, what they achieved appears here — plain text you can edit or forget.</div>'; return; }
-    list.innerHTML = arr.map(memCardHtml).join('');
+    const items = Array.isArray(msg && msg.items) ? msg.items : [];
+    const facts = Array.isArray(msg && msg.facts) ? msg.facts : [];
+    let html = '';
+    if (facts.length){ html += '<div class="memsection">Facts</div>' + facts.map(factCardHtml).join(''); }
+    if (items.length){ html += '<div class="memsection">Sessions</div>' + items.map(memCardHtml).join(''); }
+    list.innerHTML = html || '<div class="sessempty">Nothing remembered yet. As sessions finish, what they achieved appears here — plain text you can edit or forget.</div>';
   }
   document.getElementById('svMemList').addEventListener('click', (e) => {
+    const fbtn = e.target.closest && e.target.closest('[data-fact]');
+    if (fbtn){ const fc = fbtn.closest('.factcard'); vscode.postMessage({ type: 'factAction', action: fbtn.getAttribute('data-fact'), key: fc ? fc.getAttribute('data-key') : '' }); return; }
     const card = e.target.closest && e.target.closest('.memcard'); if (!card) { return; }
     const id = card.getAttribute('data-id'); const btn = e.target.closest('[data-act]');
     vscode.postMessage({ type: 'memoryAction', action: btn ? btn.getAttribute('data-act') : 'resume', id: id });
@@ -232,7 +262,7 @@
     vscode.postMessage({ type: 'sessionAction', action: 'restore', id: b.getAttribute('data-id') });
     document.getElementById('svUndo').hidden = true; clearTimeout(sessUndoTimer);
   });
-  window.addEventListener('message', (ev) => { const m = ev.data; if (m && m.type === 'sessions'){ sessData = Array.isArray(m.entries) ? m.entries : []; renderSessions(); } else if (m && m.type === 'memoryList'){ renderMemory(m.items); } else if (m && m.type === 'sessionUndo'){ showUndo(m); } });
+  window.addEventListener('message', (ev) => { const m = ev.data; if (m && m.type === 'sessions'){ sessData = Array.isArray(m.entries) ? m.entries : []; renderSessions(); } else if (m && m.type === 'memoryList'){ renderMemory(m); } else if (m && m.type === 'sessionUndo'){ showUndo(m); } });
   renderSessions();
   vscode.postMessage({ type: 'listSessions' });
 </script>

extensions/levelcode-ai/test/sessionsUi.test.js

@@ -196,6 +196,10 @@ test('MEMORY (panel M3): a Memory tab in the sidebar to view / edit / forget the
 	assert.match(ext, /case 'listMemory'/, 'the provider serves the memory list');
 	assert.match(ext, /async function handleMemoryAction/, 'and handles the actions');
 	assert.match(ext, /m\.forget\(id\)/, 'forget drops the contribution (session stays in History)');
+	// Facts controls (§6): inferred vs confirmed, with confirm / not-true
+	assert.match(view, /function factCardHtml/, 'facts render with an inferred/confirmed badge');
+	assert.match(view, /data-fact="confirm"|type: 'factAction'/, 'and a confirm / not-true control');
+	assert.match(ext, /async function handleFactAction/, 'the host confirms / removes a fact by key');
 });
 
 test('MEMORY (facts): the summarizer also extracts durable facts, recorded + injected (inferred until confirmed)', () => {