sneakoscope 4.8.6 → 5.1.2

package/dist/core/triwiki/agents-md-projector.js

@@ -0,0 +1,184 @@
+import path from 'node:path';
+import fsp from 'node:fs/promises';
+import { ensureDir, nowIso, readJson, readText, writeTextAtomic } from '../fsx.js';
+const BEGIN = '<!-- BEGIN SKS PROJECT MEMORY (auto) -->';
+const END = '<!-- END SKS PROJECT MEMORY -->';
+export async function projectTriwikiToAgentsMd(root, opts = {}) {
+    const pack = await readJson(path.join(root, '.sneakoscope', 'wiki', 'context-pack.json'), null);
+    if (!pack)
+        return { ok: false, reason: 'no_context_pack', written: [] };
+    const written = [];
+    const rootContent = buildRootSections(pack);
+    written.push(await upsertManagedBlock(path.join(root, 'AGENTS.md'), rootContent));
+    const hotDirs = await scoreComplexDirs(root, pack, opts.maxLocalFiles ?? 8);
+    for (const dir of hotDirs) {
+        written.push(await upsertManagedBlock(path.join(root, dir.path, 'AGENTS.md'), buildLocalSection(pack, dir)));
+    }
+    return { ok: true, reason: null, written, hot_dirs: hotDirs };
+}
+export async function removeTriwikiAgentsMdBlocks(root) {
+    const files = await collectAgentsMdFiles(root);
+    const changed = [];
+    for (const file of files) {
+        const prev = await readText(file, '');
+        const next = removeManagedBlock(String(prev || '')).trim();
+        if (next !== String(prev || '').trim()) {
+            await writeTextAtomic(file, next ? `${next}\n` : '');
+            changed.push(file);
+        }
+    }
+    return changed;
+}
+async function upsertManagedBlock(file, content) {
+    const prev = await readText(file, '');
+    const block = `${BEGIN}\n${content.trim()}\n${END}`;
+    const next = String(prev || '').includes(BEGIN)
+        ? String(prev || '').replace(new RegExp(`${escapeRe(BEGIN)}[\\s\\S]*?${escapeRe(END)}`), block)
+        : `${String(prev || '').trim()}\n\n${block}\n`;
+    if (next !== prev) {
+        await ensureDir(path.dirname(file));
+        await writeTextAtomic(file, next.trimStart());
+    }
+    return file;
+}
+function removeManagedBlock(text) {
+    return text.replace(new RegExp(`\\n?${escapeRe(BEGIN)}[\\s\\S]*?${escapeRe(END)}\\n?`, 'g'), '\n').replace(/\n{3,}/g, '\n\n');
+}
+function buildRootSections(pack) {
+    const claims = compactClaims(pack).slice(0, 8);
+    const modules = compactModules(pack).slice(0, 8);
+    const wrongness = compactWrongness(pack).slice(0, 5);
+    return [
+        `# SKS Project Memory`,
+        ``,
+        `Generated: ${nowIso()}`,
+        `Source: .sneakoscope/wiki/context-pack.json`,
+        ``,
+        `## Architecture Summary`,
+        claims.length ? claims.map((claim) => `- ${claim}`).join('\n') : '- No high-trust TriWiki claims available yet.',
+        ``,
+        `## Core Modules`,
+        modules.length ? modules.map((item) => `- ${item}`).join('\n') : '- No module map entries available yet.',
+        ``,
+        `## Recent Lessons`,
+        wrongness.length ? wrongness.map((item) => `- ${item}`).join('\n') : '- No wrongness-ledger lessons available yet.'
+    ].join('\n');
+}
+function buildLocalSection(pack, dir) {
+    const claims = compactClaims(pack)
+        .filter((claim) => claim.includes(dir.path))
+        .slice(0, 6);
+    return [
+        `# SKS Local Project Memory: ${dir.path}`,
+        ``,
+        `Generated: ${nowIso()}`,
+        ``,
+        `## Local Anchors`,
+        dir.files.slice(0, 8).map((file) => `- ${file}`).join('\n') || '- No file anchors available.',
+        ``,
+        `## TriWiki Notes`,
+        claims.length ? claims.map((claim) => `- ${claim}`).join('\n') : '- Use root AGENTS.md SKS Project Memory plus nearby source files as authority.'
+    ].join('\n');
+}
+async function scoreComplexDirs(root, pack, maxLocalFiles) {
+    const sourcePaths = extractSourcePaths(pack).filter((file) => !file.includes('node_modules') && !file.startsWith('.git/'));
+    const scores = new Map();
+    for (const file of sourcePaths) {
+        const dir = firstInterestingDir(file);
+        if (!dir)
+            continue;
+        const row = scores.get(dir) || { path: dir, score: 0, files: new Set() };
+        row.score += 2;
+        row.files.add(file);
+        scores.set(dir, row);
+    }
+    for (const dir of ['src/core', 'src/commands', 'src/scripts', 'src/cli']) {
+        const count = await countFiles(path.join(root, dir)).catch(() => 0);
+        if (!count)
+            continue;
+        const row = scores.get(dir) || { path: dir, score: 0, files: new Set() };
+        row.score += count;
+        scores.set(dir, row);
+    }
+    return [...scores.values()]
+        .filter((row) => row.path.split('/').length <= 3)
+        .sort((a, b) => b.score - a.score || a.path.localeCompare(b.path))
+        .slice(0, Math.max(0, maxLocalFiles))
+        .map((row) => ({ path: row.path, score: row.score, files: [...row.files].slice(0, 12) }));
+}
+function compactClaims(pack) {
+    const rows = flattenRecords(pack).filter((row) => typeof row.claim === 'string' || typeof row.text === 'string' || typeof row.summary === 'string');
+    return rows
+        .map((row) => sanitizeLine(row.claim || row.text || row.summary))
+        .filter(Boolean)
+        .slice(0, 40);
+}
+function compactModules(pack) {
+    const rows = flattenRecords(pack).filter((row) => row.path || row.source_path || row.file);
+    return rows
+        .map((row) => sanitizeLine(`${row.path || row.source_path || row.file}${row.summary ? ` - ${row.summary}` : ''}`))
+        .filter(Boolean)
+        .slice(0, 40);
+}
+function compactWrongness(pack) {
+    const rows = flattenRecords(pack).filter((row) => /wrong|lesson|mistake|stale|failure/i.test(String(row.kind || row.type || row.id || '')));
+    return rows.map((row) => sanitizeLine(row.lesson || row.summary || row.text || row.claim || row.id)).filter(Boolean).slice(0, 20);
+}
+function extractSourcePaths(pack) {
+    return [...new Set(flattenRecords(pack).flatMap((row) => [row.path, row.source_path, row.file, row.rel, row.relative_path]).map((value) => String(value || '').replace(/^\.\//, '')).filter((value) => value.includes('/')))];
+}
+function flattenRecords(value, depth = 0) {
+    if (depth > 5 || value == null)
+        return [];
+    if (Array.isArray(value))
+        return value.flatMap((item) => flattenRecords(item, depth + 1));
+    if (typeof value !== 'object')
+        return [];
+    const own = value;
+    return [own, ...Object.values(own).flatMap((child) => flattenRecords(child, depth + 1))];
+}
+function firstInterestingDir(file) {
+    const parts = file.split('/').filter(Boolean);
+    if (parts.length < 2)
+        return null;
+    if (parts[0] === 'src' && parts.length >= 3)
+        return `${parts[0]}/${parts[1]}`;
+    return parts[0] || null;
+}
+async function countFiles(dir) {
+    const rows = await fsp.readdir(dir, { withFileTypes: true });
+    let total = 0;
+    for (const row of rows) {
+        if (row.name === 'node_modules' || row.name === '.git' || row.name === 'dist')
+            continue;
+        const file = path.join(dir, row.name);
+        total += row.isDirectory() ? await countFiles(file) : row.isFile() ? 1 : 0;
+    }
+    return total;
+}
+async function collectAgentsMdFiles(root) {
+    const files = [];
+    async function walk(dir, depth) {
+        if (depth > 4)
+            return;
+        const rows = await fsp.readdir(dir, { withFileTypes: true }).catch(() => []);
+        for (const row of rows) {
+            if (['.git', 'node_modules', 'dist'].includes(row.name))
+                continue;
+            const file = path.join(dir, row.name);
+            if (row.isFile() && row.name === 'AGENTS.md')
+                files.push(file);
+            else if (row.isDirectory())
+                await walk(file, depth + 1);
+        }
+    }
+    await walk(root, 0);
+    return files;
+}
+function sanitizeLine(value) {
+    return String(value || '').replace(/\s+/g, ' ').trim().slice(0, 220);
+}
+function escapeRe(value) {
+    return value.replace(/[.*+?^${}()|[\]\\]/g, '\\$&');
+}
+//# sourceMappingURL=agents-md-projector.js.map

package/dist/core/triwiki-wrongness/wrongness-schema.js

@@ -140,7 +140,9 @@ export function createWrongnessRecord(input = {}) {
         corrective_action: normalizeCorrectiveAction(row.corrective_action),
         avoidance_rule: normalizeAvoidanceRule(row.avoidance_rule, kind, avoidanceText, severity),
         correction: normalizeCorrection(row.correction ?? row.corrected_anchor),
-        links: normalizeLinks(row.links)
+        links: normalizeLinks(row.links),
+        ...(row.rule_compiled === undefined ? {} : { rule_compiled: Boolean(row.rule_compiled) }),
+        ...(row.compiled_rule_id === undefined ? {} : { compiled_rule_id: stringOrNull(row.compiled_rule_id) })
     };
 }
 export function emptyWrongnessLedger(scope = 'project', missionId = null) {

package/dist/core/trust-kernel/trust-kernel-schema.js

@@ -5,6 +5,7 @@ export const TRUST_REPORT_SCHEMA = 'sks.trust-report.v1';
 export const TRUST_STATUSES = [
     'verified',
     'verified_partial',
+    'mock_only',
     'blocked',
     'failed',
     'not_verified'

package/dist/core/trust-kernel/trust-report.js

@@ -102,7 +102,7 @@ export function buildTrustReport({ proof = {}, evidenceIndex = {}, contract = {}
     return {
         schema: TRUST_REPORT_SCHEMA,
         ...trustKernelMetadata(),
-        ok: issues.length === 0 && !['blocked', 'failed', 'not_verified'].includes(finalStatus),
+        ok: issues.length === 0 && !['blocked', 'failed', 'not_verified', 'mock_only'].includes(finalStatus),
         mission_id: proof.mission_id || contract.mission_id || null,
         route: proof.route || contract.route || null,
         status: finalStatus,

package/dist/core/trust-kernel/trust-status.js

@@ -7,6 +7,8 @@ export function combineTrustStatus(statuses = []) {
         return 'blocked';
     if (values.includes('not_verified'))
         return 'not_verified';
+    if (values.includes('mock_only'))
+        return 'mock_only';
     if (values.includes('verified_partial'))
         return 'verified_partial';
     return values.length ? 'verified' : 'not_verified';

package/dist/core/ui/dashboard-html.js

@@ -0,0 +1,111 @@
+export const DASHBOARD_HTML = `<!doctype html>
+<html lang="en">
+<head>
+  <meta charset="utf-8">
+  <meta name="viewport" content="width=device-width, initial-scale=1">
+  <title>SKS Dashboard</title>
+  <style>
+    :root {
+      --bg:#0d1117; --card:#161b22; --line:#30363d; --text:#e6edf3; --muted:#8b949e;
+      --run:#3fb950; --fail:#f85149; --queue:#8b949e; --verify:#58a6ff; --warn:#d29922;
+    }
+    * { box-sizing: border-box; }
+    body { margin:0; background:var(--bg); color:var(--text); font:14px/1.45 ui-monospace,SFMono-Regular,Menlo,Consolas,monospace; }
+    header { display:grid; grid-template-columns: 1fr auto; gap:16px; align-items:center; padding:18px 22px; border-bottom:1px solid var(--line); background:#0b1016; position:sticky; top:0; z-index:2; }
+    h1 { margin:0; font-size:16px; font-weight:700; letter-spacing:0; }
+    .meta { color:var(--muted); margin-top:4px; display:flex; gap:12px; flex-wrap:wrap; }
+    .badge { display:inline-flex; align-items:center; min-height:28px; padding:0 10px; border:1px solid var(--line); background:var(--card); color:var(--muted); }
+    .badge.pass { color:var(--run); border-color:rgba(63,185,80,.55); }
+    .badge.fail { color:var(--fail); border-color:rgba(248,81,73,.55); }
+    main { display:grid; grid-template-columns:minmax(0,1fr) 360px; gap:18px; padding:18px; }
+    .strip { display:grid; grid-template-columns:repeat(6,minmax(92px,1fr)); gap:10px; margin-bottom:14px; }
+    .metric { border:1px solid var(--line); background:var(--card); padding:10px; min-height:64px; }
+    .metric b { display:block; font-size:20px; color:var(--text); }
+    .metric span { color:var(--muted); font-size:12px; }
+    .grid { display:grid; grid-template-columns:repeat(auto-fill,minmax(220px,1fr)); gap:10px; }
+    .slot { border:1px solid var(--line); border-left:4px solid var(--queue); background:var(--card); min-height:136px; padding:12px; overflow:hidden; }
+    .slot.running { border-left-color:var(--run); }
+    .slot.verifying { border-left-color:var(--verify); }
+    .slot.completed { border-left-color:var(--run); opacity:.86; }
+    .slot.failed { border-left-color:var(--fail); }
+    .slot h2 { margin:0 0 8px; font-size:13px; font-weight:700; overflow:hidden; text-overflow:ellipsis; white-space:nowrap; }
+    .row { display:flex; justify-content:space-between; gap:8px; color:var(--muted); font-size:12px; min-width:0; }
+    .model { color:var(--verify); overflow:hidden; text-overflow:ellipsis; white-space:nowrap; max-width:110px; }
+    .task { margin-top:10px; min-height:38px; color:var(--text); overflow:hidden; display:-webkit-box; -webkit-line-clamp:2; -webkit-box-orient:vertical; }
+    .bar { height:6px; background:#0b1016; border:1px solid var(--line); margin-top:12px; overflow:hidden; }
+    .bar i { display:block; height:100%; width:0; background:var(--verify); transition:width .25s ease; }
+    aside { display:grid; gap:14px; align-content:start; }
+    section { border-top:1px solid var(--line); padding-top:12px; }
+    section h2 { margin:0 0 10px; font-size:13px; }
+    .feed, .gates { display:grid; gap:8px; }
+    .event, .gate { background:var(--card); border:1px solid var(--line); padding:9px; color:var(--muted); min-height:34px; overflow-wrap:anywhere; }
+    .gate.pass { color:var(--run); }
+    .gate.fail { color:var(--fail); }
+    .pulse { display:inline-block; width:8px; height:8px; border-radius:50%; background:var(--run); margin-right:7px; animation:pulse 1.6s infinite; }
+    @keyframes pulse { 0%,100%{opacity:.35} 50%{opacity:1} }
+    @media (max-width: 900px) { main { grid-template-columns:1fr; } .strip { grid-template-columns:repeat(2,minmax(0,1fr)); } header { grid-template-columns:1fr; } }
+  </style>
+</head>
+<body>
+  <header>
+    <div>
+      <h1><span class="pulse"></span><span id="mission">SKS mission</span></h1>
+      <div class="meta"><span id="route">route</span><span id="elapsed">00:00</span><span id="updated">waiting</span></div>
+    </div>
+    <div id="gateBadge" class="badge">● proof pending</div>
+  </header>
+  <main>
+    <div>
+      <div class="strip" id="strip"></div>
+      <div class="grid" id="slots"></div>
+    </div>
+    <aside>
+      <section><h2>Events</h2><div class="feed" id="events"></div></section>
+      <section><h2>Gates</h2><div class="gates" id="gates"></div></section>
+    </aside>
+  </main>
+  <script>
+    const state = { started: Date.now() };
+    function render(payload) {
+      const data = payload && payload.snapshot ? payload : { snapshot: payload };
+      const snapshot = data.snapshot || {};
+      const gates = data.gates || [];
+      const events = data.events || [];
+      const slots = Object.values(snapshot.slots || {});
+      document.getElementById('mission').textContent = snapshot.mission_id || data.mission_id || 'latest';
+      document.getElementById('route').textContent = data.route || snapshot.route || 'SKS';
+      document.getElementById('elapsed').textContent = elapsed(state.started);
+      document.getElementById('updated').textContent = snapshot.updated_at || data.ts || 'waiting';
+      const blocked = gates.some(g => g.ok === false);
+      const passed = gates.length > 0 && gates.every(g => g.ok !== false);
+      const badge = document.getElementById('gateBadge');
+      badge.className = 'badge ' + (blocked ? 'fail' : passed ? 'pass' : '');
+      badge.textContent = blocked ? '✖ blocked' : passed ? '✔ gate passed' : '● proof pending';
+      const counts = snapshot.counts || {};
+      const spawned = slots.length;
+      document.getElementById('strip').innerHTML = [
+        ['run', counts.running || 0], ['verify', counts.verifying || 0], ['queue', counts.queued || 0],
+        ['done', counts.completed || 0], ['fail', counts.failed || 0], ['spawned', spawned]
+      ].map(([k,v]) => '<div class="metric"><b>'+v+'</b><span>'+k+'</span></div>').join('');
+      document.getElementById('slots').innerHTML = slots.map(slot => {
+        const status = String(slot.status || 'queued');
+        const progress = slot.progress && slot.progress.total ? Math.max(0, Math.min(100, Math.round(slot.progress.done / slot.progress.total * 100))) : (status === 'completed' ? 100 : 0);
+        return '<article class="slot '+status+'"><h2>'+esc(slot.slot_id || slot.worker_id || 'slot')+'</h2>'
+          + '<div class="row"><span>'+esc(slot.role || 'worker')+'</span><span class="model">'+esc(slot.model || slot.provider || slot.backend || slot.service_tier || '')+'</span></div>'
+          + '<div class="row"><span>'+esc(status)+'</span><span>'+esc(slot.latest_event_type || '')+'</span></div>'
+          + '<div class="task">'+esc(slot.task_title || slot.current_file || slot.log_tail || '')+'</div>'
+          + '<div class="bar"><i style="width:'+progress+'%"></i></div></article>';
+      }).join('') || '<div class="event">No live slots yet.</div>';
+      document.getElementById('events').innerHTML = events.slice(-30).reverse().map(e => '<div class="event">'+esc((e.ts || '')+' '+(e.type || e.event_type || e.event || 'event'))+'</div>').join('') || '<div class="event">No events yet.</div>';
+      document.getElementById('gates').innerHTML = gates.map(g => '<div class="gate '+(g.ok===false?'fail':'pass')+'">'+esc((g.ok===false?'✖ ':'✔ ')+(g.id || g.file || 'gate')+(g.missing&&g.missing.length?' missing '+g.missing.join(', '):''))+'</div>').join('') || '<div class="gate">No gate snapshot yet.</div>';
+    }
+    function esc(v) { return String(v == null ? '' : v).replace(/[&<>"']/g, c => ({'&':'&amp;','<':'&lt;','>':'&gt;','"':'&quot;',"'":'&#39;'}[c])); }
+    function elapsed(ms) { const s = Math.max(0, Math.floor((Date.now()-ms)/1000)); return String(Math.floor(s/60)).padStart(2,'0')+':'+String(s%60).padStart(2,'0'); }
+    fetch('/api/state').then(r => r.json()).then(render).catch(()=>{});
+    const source = new EventSource('/events' + location.search);
+    source.onmessage = (event) => render(JSON.parse(event.data));
+    setInterval(() => { document.getElementById('elapsed').textContent = elapsed(state.started); }, 1000);
+  </script>
+</body>
+</html>`;
+//# sourceMappingURL=dashboard-html.js.map