reasonix 0.16.1 → 0.17.1

package/dashboard/app.css

@@ -665,7 +665,8 @@ button:disabled {
 }
 
 input[type="text"],
-input[type="search"] {
+input[type="search"],
+input[type="number"] {
   background: var(--bg-2);
   border: 1px solid var(--border);
   color: var(--fg-0);
@@ -678,6 +679,7 @@ input[type="search"] {
 
 input[type="text"]:focus,
 input[type="search"]:focus,
+input[type="number"]:focus,
 input[type="password"]:focus {
   border-color: var(--primary);
   outline: none;
@@ -712,7 +714,15 @@ select:focus {
 textarea {
   background: var(--bg-2);
   color: var(--fg-0);
+  border: 1px solid var(--border);
+  border-radius: var(--radius-sm);
+  padding: 8px 10px;
   font-family: var(--mono);
+  font-size: 12px;
+  line-height: 1.5;
+  resize: vertical;
+  width: 100%;
+  box-sizing: border-box;
 }
 textarea:focus {
   border-color: var(--primary);
@@ -2303,19 +2313,25 @@ textarea:focus {
 }
 
 /* Split view — left half source (CodeMirror), right half preview. */
-.editor-split {
+.editor-stage {
   flex: 1;
   display: flex;
   min-height: 0;
   overflow: hidden;
 }
-.editor-split-pane {
+.editor-stage > .editor-host,
+.editor-stage > .editor-md-preview {
   flex: 1;
   min-width: 0;
-  border: none;
-  border-radius: 0;
+  min-height: 0;
+}
+.editor-stage[data-mode="edit"] > .editor-md-preview {
+  display: none;
+}
+.editor-stage[data-mode="preview"] > .editor-host {
+  display: none;
 }
-.editor-split .editor-split-pane + .editor-split-pane {
+.editor-stage[data-mode="split"] > .editor-host + .editor-md-preview {
   border-left: 1px solid #181a1f;
 }
 
@@ -2538,3 +2554,140 @@ code,
   border: 1px dashed var(--border);
   border-radius: var(--radius-md);
 }
+
+/* ---------- Excludes settings (Semantic tab) ---------- */
+
+.excludes-toggle {
+  margin: 24px 0 12px;
+  display: flex;
+  align-items: baseline;
+  gap: 10px;
+  cursor: pointer;
+  user-select: none;
+}
+.excludes-toggle:hover {
+  color: var(--primary);
+}
+.excludes-toggle .caret {
+  font-size: 11px;
+  color: var(--fg-3);
+  width: 10px;
+  display: inline-block;
+}
+.excludes-toggle .label {
+  font-size: 11px;
+  letter-spacing: 0.1em;
+  text-transform: uppercase;
+  color: var(--fg-3);
+}
+.excludes-toggle:hover .label,
+.excludes-toggle:hover .caret {
+  color: var(--primary);
+}
+.excludes-toggle .hint {
+  font-size: 12px;
+  color: var(--fg-3);
+  font-weight: normal;
+}
+
+.excludes-card {
+  font-size: 13px;
+  display: flex;
+  flex-direction: column;
+  gap: 12px;
+}
+.excludes-card .lead {
+  color: var(--fg-2);
+  font-size: 12px;
+  line-height: 1.5;
+}
+.excludes-grid {
+  display: grid;
+  grid-template-columns: repeat(auto-fit, minmax(260px, 1fr));
+  gap: 14px;
+}
+.excludes-field label {
+  display: block;
+  font-size: 12px;
+  color: var(--fg-2);
+  margin-bottom: 4px;
+  font-weight: 500;
+}
+.excludes-field textarea {
+  min-height: 90px;
+}
+.excludes-options {
+  display: flex;
+  flex-wrap: wrap;
+  gap: 18px;
+  align-items: center;
+  padding-top: 4px;
+  font-size: 12px;
+  color: var(--fg-1);
+}
+.excludes-options label {
+  display: inline-flex;
+  align-items: center;
+  gap: 6px;
+}
+.excludes-options input[type="number"] {
+  width: 110px;
+}
+.excludes-actions {
+  display: flex;
+  gap: 10px;
+  flex-wrap: wrap;
+  margin-top: 4px;
+}
+
+.excludes-preview {
+  margin-top: 4px;
+  padding-top: 12px;
+  border-top: 1px solid var(--border);
+  font-size: 12px;
+  display: flex;
+  flex-direction: column;
+  gap: 8px;
+}
+.excludes-preview .summary {
+  font-size: 13px;
+  color: var(--fg-1);
+}
+.excludes-preview details {
+  background: var(--bg-2);
+  border: 1px solid var(--border);
+  border-radius: var(--radius-sm);
+  padding: 6px 10px;
+}
+.excludes-preview details[open] {
+  background: var(--bg-3);
+}
+.excludes-preview summary {
+  cursor: pointer;
+  color: var(--fg-1);
+  font-weight: 500;
+}
+.excludes-preview summary:hover {
+  color: var(--primary);
+}
+.excludes-preview ul {
+  margin: 6px 0 0 16px;
+  padding: 0;
+  font-size: 11.5px;
+  color: var(--fg-2);
+}
+.excludes-preview li {
+  margin: 2px 0;
+}
+.excludes-preview li code {
+  font-size: 11.5px;
+  background: transparent;
+  padding: 0;
+  color: var(--fg-1);
+}
+
+.skip-buckets {
+  margin-top: 4px;
+  font-size: 12px;
+  color: var(--fg-2);
+}

package/dashboard/app.js

@@ -3265,10 +3265,212 @@ function SemanticPanel() {
         <button disabled=${busy || running || !ready} onClick=${() => start(true)}>Rebuild (wipe + full)</button>
         <button disabled=${busy || !running} onClick=${stop}>Stop</button>
       </div>
+
+      <${SemanticExcludesCard} />
+    </div>
+  `;
+}
+
+function SemanticExcludesCard() {
+  const [data, setData] = useState(null);
+  const [draft, setDraft] = useState(null);
+  const [preview, setPreview] = useState(null);
+  const [busy, setBusy] = useState(false);
+  const [error, setError] = useState(null);
+  const [info, setInfo] = useState(null);
+  const [open, setOpen] = useState(false);
+
+  const load = useCallback(async () => {
+    try {
+      const r = await api("/index-config");
+      setData(r);
+      setDraft(toDraft(r.resolved));
+    } catch (err) {
+      setError(err.message);
+    }
+  }, []);
+
+  useEffect(() => {
+    if (open && !data) load();
+  }, [open, data, load]);
+
+  const reset = useCallback(() => {
+    if (data) setDraft(toDraft(data.defaults));
+    setPreview(null);
+  }, [data]);
+
+  const save = useCallback(async () => {
+    if (!draft) return;
+    setBusy(true);
+    setError(null);
+    setInfo(null);
+    try {
+      const payload = fromDraft(draft);
+      const r = await api("/index-config", { method: "POST", body: payload });
+      setInfo(`saved · ${r.changed.length || 0} fields updated · re-run index to apply`);
+      await load();
+    } catch (err) {
+      setError(err.message);
+    } finally {
+      setBusy(false);
+    }
+  }, [draft, load]);
+
+  const runPreview = useCallback(async () => {
+    if (!draft) return;
+    setBusy(true);
+    setError(null);
+    setInfo("running dry walk against project root…");
+    try {
+      const payload = fromDraft(draft);
+      const r = await api("/index-config/preview", { method: "POST", body: payload });
+      setPreview(r);
+      setInfo(null);
+    } catch (err) {
+      setError(err.message);
+      setInfo(null);
+    } finally {
+      setBusy(false);
+    }
+  }, [draft]);
+
+  return html`
+    <div class="excludes-toggle" onClick=${() => setOpen(!open)}>
+      <span class="caret">${open ? "▼" : "▶"}</span>
+      <span class="label">Excludes</span>
+      <span class="hint">config-driven skip rules applied during indexing</span>
+    </div>
+    ${
+      !open
+        ? null
+        : !draft
+          ? html`<div class="empty">loading…</div>`
+          : html`
+            <div class="card excludes-card">
+              ${info ? html`<div class="notice">${info}</div>` : null}
+              ${error ? html`<div class="notice err">${error}</div>` : null}
+              <div class="lead">
+                One value per line. Dirs / files match by basename. Patterns use picomatch syntax (e.g. <code>**/*.generated.ts</code>, <code>vendor/**</code>, <code>!keep-me</code>).
+              </div>
+              <div class="excludes-grid">
+                <${ExcludesField} label="Exclude dirs" value=${draft.excludeDirs} onChange=${(v) => setDraft({ ...draft, excludeDirs: v })} />
+                <${ExcludesField} label="Exclude files" value=${draft.excludeFiles} onChange=${(v) => setDraft({ ...draft, excludeFiles: v })} />
+                <${ExcludesField} label="Exclude extensions" value=${draft.excludeExts} onChange=${(v) => setDraft({ ...draft, excludeExts: v })} />
+                <${ExcludesField} label="Exclude patterns (glob)" value=${draft.excludePatterns} onChange=${(v) => setDraft({ ...draft, excludePatterns: v })} />
+              </div>
+              <div class="excludes-options">
+                <label>
+                  <input type="checkbox" checked=${draft.respectGitignore} onChange=${(e) => setDraft({ ...draft, respectGitignore: e.target.checked })} />
+                  Respect <code>.gitignore</code>
+                </label>
+                <label>
+                  Max file size
+                  <input type="number" min="1024" step="1024" value=${draft.maxFileBytes} onChange=${(e) => setDraft({ ...draft, maxFileBytes: Number(e.target.value) || 0 })} />
+                  <span class="muted">bytes</span>
+                </label>
+              </div>
+              <div class="excludes-actions">
+                <button class="primary" disabled=${busy} onClick=${save}>Save</button>
+                <button disabled=${busy} onClick=${runPreview}>Preview (dry-walk)</button>
+                <button disabled=${busy} onClick=${reset}>Reset to defaults</button>
+              </div>
+              ${preview ? html`<${ExcludesPreview} preview=${preview} />` : null}
+            </div>
+          `
+    }
+  `;
+}
+
+function ExcludesPreview({ preview }) {
+  const buckets = preview.skipBuckets || {};
+  const samples = preview.skipSamples || {};
+  const totalSkipped = Object.values(buckets).reduce((a, b) => a + (b || 0), 0);
+  const reasons = [
+    "gitignore",
+    "pattern",
+    "defaultDir",
+    "defaultFile",
+    "binaryExt",
+    "binaryContent",
+    "tooLarge",
+    "readError",
+  ].filter((k) => (buckets[k] || 0) > 0);
+  return html`
+    <div class="excludes-preview">
+      <div class="summary">
+        Preview — would index <strong>${preview.filesIncluded}</strong> file(s), skip <strong>${totalSkipped}</strong>
+      </div>
+      ${
+        reasons.length === 0
+          ? html`<div class="muted">nothing skipped — all walked files would be indexed.</div>`
+          : reasons.map(
+              (r) => html`
+                <details>
+                  <summary><strong>${r}: ${buckets[r]}</strong></summary>
+                  <ul>
+                    ${(samples[r] || []).map((p) => html`<li><code>${p}</code></li>`)}
+                    ${
+                      (buckets[r] || 0) > (samples[r] || []).length
+                        ? html`<li class="muted">…${buckets[r] - samples[r].length} more</li>`
+                        : null
+                    }
+                  </ul>
+                </details>
+              `,
+            )
+      }
+      ${
+        preview.sampleIncluded?.length
+          ? html`
+            <details>
+              <summary>first ${preview.sampleIncluded.length} included file(s)</summary>
+              <ul>
+                ${preview.sampleIncluded.map((p) => html`<li><code>${p}</code></li>`)}
+              </ul>
+            </details>
+          `
+          : null
+      }
     </div>
   `;
 }
 
+function ExcludesField({ label, value, onChange }) {
+  return html`
+    <div class="excludes-field">
+      <label>${label}</label>
+      <textarea rows="5" value=${value} onChange=${(e) => onChange(e.target.value)}></textarea>
+    </div>
+  `;
+}
+
+function toDraft(c) {
+  return {
+    excludeDirs: (c.excludeDirs ?? []).join("\n"),
+    excludeFiles: (c.excludeFiles ?? []).join("\n"),
+    excludeExts: (c.excludeExts ?? []).join("\n"),
+    excludePatterns: (c.excludePatterns ?? []).join("\n"),
+    respectGitignore: c.respectGitignore !== false,
+    maxFileBytes: c.maxFileBytes ?? 262144,
+  };
+}
+
+function fromDraft(d) {
+  const lines = (s) =>
+    s
+      .split(/\r?\n/)
+      .map((x) => x.trim())
+      .filter((x) => x.length > 0);
+  return {
+    excludeDirs: lines(d.excludeDirs),
+    excludeFiles: lines(d.excludeFiles),
+    excludeExts: lines(d.excludeExts),
+    excludePatterns: lines(d.excludePatterns),
+    respectGitignore: !!d.respectGitignore,
+    maxFileBytes: d.maxFileBytes,
+  };
+}
+
 function SemanticJobView({ job, running }) {
   const phaseLabel =
     {
@@ -3321,10 +3523,34 @@ function SemanticJobView({ job, running }) {
             } · ${(job.result.durationMs / 1000).toFixed(1)}s</div>`
           : null
       }
+      ${
+        job.result?.skipBuckets
+          ? html`<${SkipBucketsView} buckets=${job.result.skipBuckets} />`
+          : null
+      }
     </div>
   `;
 }
 
+function SkipBucketsView({ buckets }) {
+  const order = [
+    ["gitignore", "gitignore"],
+    ["pattern", "pattern"],
+    ["defaultDir", "defaultDir"],
+    ["defaultFile", "defaultFile"],
+    ["binaryExt", "binaryExt"],
+    ["binaryContent", "binaryContent"],
+    ["tooLarge", "tooLarge"],
+    ["readError", "readError"],
+  ];
+  const total = order.reduce((a, [k]) => a + (buckets[k] || 0), 0);
+  if (total === 0) return null;
+  const parts = order
+    .filter(([k]) => (buckets[k] || 0) > 0)
+    .map(([k, label]) => `${label}: ${buckets[k]}`);
+  return html`<div><span class="kv-key">skipped</span>${total} files <span class="muted">(${parts.join(", ")})</span></div>`;
+}
+
 function McpPanel() {
   const [data, setData] = useState(null);
   const [specs, setSpecs] = useState(null);
@@ -3753,7 +3979,13 @@ function EditorPanel({ onClose } = {}) {
         viewRef.current = null;
       }
     };
-  }, [cmReady, activeIdx, tabs[activeIdx]?.path, viewMode]);
+  }, [cmReady, activeIdx, tabs[activeIdx]?.path]);
+
+  // Becoming visible after display:none — CM6 measures lazily, force it.
+  useEffect(() => {
+    if (viewMode === "preview") return;
+    viewRef.current?.requestMeasure?.();
+  }, [viewMode]);
 
   const closeTab = useCallback((idx) => {
     const tab = tabsRef.current[idx];
@@ -3994,28 +4226,22 @@ function EditorPanel({ onClose } = {}) {
             ${(() => {
               const isMd = langFromPath(tab.path) === "markdown";
               const mode = isMd ? viewMode : "edit";
-              if (mode === "preview") {
-                return html`
-                  <div
-                    class="editor-host editor-md-preview md"
-                    dangerouslySetInnerHTML=${{ __html: previewMarked.parse(tab.content ?? "") }}
-                  ></div>
-                `;
-              }
-              if (mode === "split") {
-                return html`
-                  <div class="editor-split">
-                    <div ref=${editorContainerRef} class="editor-host editor-split-pane"></div>
-                    <div
-                      class="editor-host editor-md-preview md editor-split-pane"
-                      dangerouslySetInnerHTML=${{
-                        __html: previewMarked.parse(tab.content ?? ""),
-                      }}
-                    ></div>
-                  </div>
-                `;
-              }
-              return html`<div ref=${editorContainerRef} class="editor-host"></div>`;
+              // Stable DOM across mode toggles — CM-managed children + Preact reconciliation don't mix when the host moves.
+              return html`
+                <div class="editor-stage" data-mode=${mode}>
+                  <div ref=${editorContainerRef} class="editor-host"></div>
+                  ${
+                    isMd
+                      ? html`<div
+                          class="editor-md-preview md"
+                          dangerouslySetInnerHTML=${{
+                            __html: previewMarked.parse(tab.content ?? ""),
+                          }}
+                        ></div>`
+                      : null
+                  }
+                </div>
+              `;
             })()}
           `
             : html`