@gmickel/gno 2.3.3 → 2.5.1

package/src/serve/public/lib/metadata-filter.ts

@@ -0,0 +1,28 @@
+import { ZodError } from "zod";
+
+import {
+  normalizeMetadataPredicate,
+  type MetadataPredicate,
+} from "../../../core/typed-metadata";
+
+export function parseMetadataFilter(text: string): {
+  filter?: MetadataPredicate;
+  error?: string;
+} {
+  if (!text.trim()) return {};
+  try {
+    return { filter: normalizeMetadataPredicate(JSON.parse(text)) };
+  } catch (error) {
+    if (error instanceof ZodError) {
+      const issue = error.issues[0];
+      const path = issue?.path.length ? `.${issue.path.join(".")}` : "";
+      return {
+        error: `filter${path}: ${issue?.message ?? "Invalid predicate"}. Check the operator, key, and JSON value type.`,
+      };
+    }
+    return {
+      error:
+        "filter: Invalid JSON. Use quoted strings, finite numbers, booleans, or arrays of one type.",
+    };
+  }
+}

package/src/serve/public/lib/retrieval-filters.ts

@@ -8,6 +8,7 @@ export interface QueryModeEntry {
 }
 
 export interface RetrievalFiltersState {
+  filter?: string;
   collection: string;
   intent: string;
   candidateLimit: string;
@@ -123,6 +124,7 @@ export function parseFiltersFromSearch(
   const tags = parseTagsCsv(tagsAll ?? tagsAny ?? "");
 
   return {
+    filter: params.get("filter") ?? defaults.filter ?? "",
     collection: params.get("collection") ?? defaults.collection ?? "",
     intent: params.get("intent") ?? defaults.intent ?? "",
     candidateLimit:
@@ -151,6 +153,7 @@ export function applyFiltersToUrl(
     }
   };
 
+  setOrDelete("filter", filters.filter ?? "");
   setOrDelete("collection", filters.collection);
   setOrDelete("intent", filters.intent);
   setOrDelete("candidateLimit", filters.candidateLimit);

package/src/serve/public/lib/workspace-tabs.ts

@@ -65,6 +65,8 @@ function getLocationLabel(location: string): string {
       return "Connectors";
     case "/graph":
       return "Graph";
+    case "/context/compiled":
+      return "Compiled context";
     case "/traces":
       return "Trace history";
     case "/doc":

package/src/serve/public/pages/Ask.tsx

@@ -25,6 +25,7 @@ import {
   type AskVerification,
   AskVerificationPanel,
 } from "../components/AskVerificationPanel";
+import { MetadataFilter } from "../components/MetadataFilter";
 import {
   ThoroughnessSelector,
   type Thoroughness,
@@ -48,6 +49,7 @@ import {
 import { Textarea } from "../components/ui/textarea";
 import { apiFetch } from "../hooks/use-api";
 import { useKeyboardShortcuts } from "../hooks/useKeyboardShortcuts";
+import { parseMetadataFilter } from "../lib/metadata-filter";
 import {
   parseTagsCsv,
   type QueryModeEntry,
@@ -92,6 +94,7 @@ interface AskResponse {
   citations?: Citation[];
   results: SearchResult[];
   meta: {
+    warnings?: { code: string; message: string }[];
     expanded: boolean;
     reranked: boolean;
     vectorsUsed: boolean;
@@ -200,14 +203,21 @@ export default function Ask({ navigate }: PageProps) {
   const [activePreset, setActivePreset] = useState("slim-tuned");
   const [verify, setVerify] = useState(false);
 
-  const [showAdvanced, setShowAdvanced] = useState(false);
-  const [selectedCollection, setSelectedCollection] = useState("");
+  const [showAdvanced, setShowAdvanced] = useState(
+    Boolean(new URLSearchParams(window.location.search).get("filter"))
+  );
+  const [selectedCollection, setSelectedCollection] = useState(
+    new URLSearchParams(window.location.search).get("collection") ?? ""
+  );
   const [intent, setIntent] = useState("");
   const [candidateLimit, setCandidateLimit] = useState("");
   const [exclude, setExclude] = useState("");
   const [since, setSince] = useState("");
   const [until, setUntil] = useState("");
   const [category, setCategory] = useState("");
+  const [metadataFilter, setMetadataFilter] = useState(
+    new URLSearchParams(window.location.search).get("filter") ?? ""
+  );
   const [author, setAuthor] = useState("");
   const [tagMode, setTagMode] = useState<TagMode>("any");
   const [tagsInput, setTagsInput] = useState("");
@@ -255,6 +265,16 @@ export default function Ask({ navigate }: PageProps) {
     void bootstrap();
   }, []);
 
+  useEffect(() => {
+    const url = new URL(window.location.href);
+    if (selectedCollection.trim())
+      url.searchParams.set("collection", selectedCollection.trim());
+    else url.searchParams.delete("collection");
+    if (metadataFilter) url.searchParams.set("filter", metadataFilter);
+    else url.searchParams.delete("filter");
+    window.history.replaceState({}, "", url.toString());
+  }, [metadataFilter, selectedCollection]);
+
   const cycleThoroughness = useCallback(() => {
     setThoroughness((current) => {
       if (!hybridAvailable) {
@@ -262,7 +282,7 @@ export default function Ask({ navigate }: PageProps) {
       }
       const currentIdx = THOROUGHNESS_ORDER.indexOf(current);
       const nextIdx = (currentIdx + 1) % THOROUGHNESS_ORDER.length;
-      return THOROUGHNESS_ORDER[nextIdx];
+      return THOROUGHNESS_ORDER[nextIdx] ?? current;
     });
   }, [hybridAvailable]);
 
@@ -304,12 +324,19 @@ export default function Ask({ navigate }: PageProps) {
       if (!query.trim()) {
         return;
       }
+      const parsedFilter = parseMetadataFilter(metadataFilter);
+      if (parsedFilter.error) {
+        setQueryModeError(parsedFilter.error);
+        setShowAdvanced(true);
+        return;
+      }
       if (!structuredQueryState.ok) {
         setQueryModeError(structuredQueryState.error.message);
         setShowAdvanced(true);
         return;
       }
 
+      setQueryModeError(null);
       const entryId = crypto.randomUUID();
       const currentQuery = query.trim();
 
@@ -334,6 +361,7 @@ export default function Ask({ navigate }: PageProps) {
         verify,
       };
 
+      if (parsedFilter.filter) requestBody.filter = parsedFilter.filter;
       if (selectedCollection) {
         requestBody.collection = selectedCollection;
       }
@@ -393,6 +421,7 @@ export default function Ask({ navigate }: PageProps) {
       );
     },
     [
+      metadataFilter,
       author,
       candidateLimit,
       activePreset,
@@ -428,6 +457,7 @@ export default function Ask({ navigate }: PageProps) {
     setUntil("");
     setCategory("");
     setAuthor("");
+    setMetadataFilter("");
     setTagsInput("");
     setTagMode("any");
     setQueryModes([]);
@@ -454,6 +484,7 @@ export default function Ask({ navigate }: PageProps) {
     since ? `since:${since}` : null,
     until ? `until:${until}` : null,
     category.trim() ? `category:${category.trim()}` : null,
+    metadataFilter.trim() ? "custom metadata" : null,
     author.trim() ? `author:${author.trim()}` : null,
     parseTagsCsv(tagsInput).length > 0
       ? `${tagMode}:${parseTagsCsv(tagsInput).join(",")}`
@@ -687,6 +718,11 @@ export default function Ask({ navigate }: PageProps) {
                     </div>
                   </div>
 
+                  <MetadataFilter
+                    onChange={setMetadataFilter}
+                    value={metadataFilter}
+                  />
+
                   <div className="flex flex-wrap items-center gap-2">
                     <span className="text-muted-foreground text-xs">
                       Tag match:
@@ -857,6 +893,15 @@ export default function Ask({ navigate }: PageProps) {
 
                 {entry.response && (
                   <>
+                    {entry.response.meta.warnings?.map((warning) => (
+                      <p
+                        className="rounded border border-secondary/30 bg-secondary/10 p-3 text-sm"
+                        key={warning.code}
+                        role="status"
+                      >
+                        {warning.message}
+                      </p>
+                    ))}
                     {entry.response.answer && (
                       <div className="prose prose-sm prose-invert max-w-none rounded-lg border border-border/30 bg-card/60 p-5 shadow-[0_0_30px_-10px_hsl(var(--primary)/0.08)]">
                         <p className="whitespace-pre-wrap leading-relaxed">

package/src/serve/public/pages/CompiledContext.tsx

@@ -0,0 +1,364 @@
+import { ArrowLeftIcon, DownloadIcon } from "lucide-react";
+import { useState } from "react";
+
+import type {
+  CompiledContextPreview as Preview,
+  CompiledContextCheck as Check,
+} from "../../../core/compiled-context";
+
+import { Button } from "../components/ui/button";
+import {
+  Card,
+  CardContent,
+  CardHeader,
+  CardTitle,
+} from "../components/ui/card";
+import { Input } from "../components/ui/input";
+import { Textarea } from "../components/ui/textarea";
+import { apiFetch } from "../hooks/use-api";
+
+const MAX_BYTES = 4 * 1024 * 1024;
+const byteLength = (value: string): number =>
+  new TextEncoder().encode(value).length;
+
+export default function CompiledContext({
+  navigate,
+}: {
+  navigate: (to: string | number) => void;
+}) {
+  const [capsule, setCapsule] = useState("");
+  const [markdown, setMarkdown] = useState("");
+  const [tokens, setTokens] = useState("12000");
+  const [bytes, setBytes] = useState("");
+  const [preview, setPreview] = useState<Preview | null>(null);
+  const [check, setCheck] = useState<Check | null>(null);
+  const [busy, setBusy] = useState(false);
+  const [error, setError] = useState<string | null>(null);
+
+  const invalidate = () => {
+    setPreview(null);
+    setCheck(null);
+    setError(null);
+  };
+  const upload = async (
+    file: File | undefined,
+    kind: "capsule" | "markdown"
+  ) => {
+    if (!file) return;
+    invalidate();
+    if (kind === "capsule") setCapsule("");
+    else setMarkdown("");
+    if (file.size > MAX_BYTES) {
+      setError("Files must be 4 MiB or smaller.");
+      return;
+    }
+    setBusy(true);
+    try {
+      const text = await file.text();
+      if (kind === "capsule") setCapsule(text);
+      else setMarkdown(text);
+    } catch {
+      setError("Could not read this file.");
+    } finally {
+      setBusy(false);
+    }
+  };
+  const run = async (kind: "preview" | "check") => {
+    invalidate();
+    setBusy(true);
+    try {
+      if (byteLength(capsule) > MAX_BYTES || byteLength(markdown) > MAX_BYTES)
+        throw new Error("Inputs must be 4 MiB or smaller.");
+      const parsed: unknown = JSON.parse(capsule);
+      if (!parsed || typeof parsed !== "object" || Array.isArray(parsed))
+        throw new Error("Supply a Capsule JSON object.");
+      if (kind === "preview") {
+        const budgetTokens = Number(tokens);
+        const budgetBytes = bytes === "" ? undefined : Number(bytes);
+        if (
+          !Number.isInteger(budgetTokens) ||
+          budgetTokens < 1 ||
+          budgetTokens > 1_000_000 ||
+          (budgetBytes !== undefined &&
+            (!Number.isInteger(budgetBytes) ||
+              budgetBytes < 1 ||
+              budgetBytes > MAX_BYTES))
+        )
+          throw new Error(
+            "Choose a positive budget: at most 1,000,000 tokens and 4 MiB."
+          );
+        const result = await apiFetch<Preview>(
+          "/api/context/compiled/preview",
+          {
+            method: "POST",
+            body: JSON.stringify({
+              capsule: parsed,
+              budgetTokens,
+              budgetBytes,
+            }),
+          }
+        );
+        if (result.error || !result.data)
+          throw new Error(result.error ?? "No preview returned.");
+        setPreview(result.data);
+      } else {
+        if (!markdown.trim())
+          throw new Error("Supply the compiled Markdown to check.");
+        const result = await apiFetch<Check>("/api/context/compiled/check", {
+          method: "POST",
+          body: JSON.stringify({ capsule: parsed, markdown }),
+        });
+        if (result.error || !result.data)
+          throw new Error(result.error ?? "No check returned.");
+        setCheck(result.data);
+      }
+    } catch (cause) {
+      setError(cause instanceof Error ? cause.message : "Request failed.");
+    } finally {
+      setBusy(false);
+    }
+  };
+  const download = () => {
+    if (!preview) return;
+    const url = URL.createObjectURL(
+      new Blob([preview.markdown], { type: "text/markdown;charset=utf-8" })
+    );
+    const link = document.createElement("a");
+    link.href = url;
+    link.download = "project.gno-context.md";
+    link.click();
+    setTimeout(() => URL.revokeObjectURL(url), 1000);
+  };
+
+  return (
+    <main className="container mx-auto max-w-5xl space-y-6 px-4 py-8">
+      <Button onClick={() => navigate("/")} variant="ghost">
+        <ArrowLeftIcon className="size-4" /> Dashboard
+      </Button>
+      <header className="space-y-2">
+        <h1 className="font-serif text-3xl">Compiled project context</h1>
+        <p className="text-muted-foreground">
+          Turn a verified Context Capsule into a compact, cited Markdown file.
+          Source passages remain untrusted evidence, not agent instructions.
+        </p>
+      </header>
+      <form
+        onSubmit={(event) => {
+          event.preventDefault();
+          void run("preview");
+        }}
+      >
+        <fieldset className="min-w-0 space-y-4" disabled={busy}>
+          <legend className="sr-only">Compile a Context Capsule</legend>
+          <Card>
+            <CardHeader>
+              <CardTitle>1. Supply a Capsule</CardTitle>
+            </CardHeader>
+            <CardContent className="space-y-3">
+              <p className="text-sm text-muted-foreground">
+                Use a Capsule from this GNO instance. Verification checks
+                current sources and access before returning evidence. Inputs are
+                limited to 4 MiB each.
+              </p>
+              <label className="block space-y-2" htmlFor="capsule-file">
+                <span>Upload Capsule JSON</span>
+                <Input
+                  accept=".json,application/json"
+                  id="capsule-file"
+                  onChange={(event) =>
+                    void upload(event.target.files?.[0], "capsule")
+                  }
+                  type="file"
+                />
+              </label>
+              <label className="block space-y-2" htmlFor="capsule-json">
+                <span>Or paste Capsule JSON</span>
+                <Textarea
+                  className="h-40 min-w-0 field-sizing-fixed font-mono text-xs"
+                  id="capsule-json"
+                  onChange={(event) => {
+                    invalidate();
+                    setCapsule(event.target.value);
+                  }}
+                  spellCheck={false}
+                  value={capsule}
+                />
+              </label>
+              <div className="grid gap-4 sm:grid-cols-2">
+                <label className="space-y-2" htmlFor="context-tokens">
+                  <span>Token budget</span>
+                  <Input
+                    id="context-tokens"
+                    max={1_000_000}
+                    min={1}
+                    onChange={(event) => {
+                      invalidate();
+                      setTokens(event.target.value);
+                    }}
+                    required
+                    type="number"
+                    value={tokens}
+                  />
+                </label>
+                <label className="space-y-2" htmlFor="context-bytes">
+                  <span>Byte budget (optional)</span>
+                  <Input
+                    id="context-bytes"
+                    max={MAX_BYTES}
+                    min={1}
+                    onChange={(event) => {
+                      invalidate();
+                      setBytes(event.target.value);
+                    }}
+                    type="number"
+                    value={bytes}
+                  />
+                </label>
+              </div>
+              <Button type="submit">
+                {busy ? "Verifying…" : "Preview verified context"}
+              </Button>
+            </CardContent>
+          </Card>
+          <Card>
+            <CardHeader>
+              <CardTitle>2. Check an existing artifact</CardTitle>
+            </CardHeader>
+            <CardContent className="space-y-3">
+              <label className="block space-y-2" htmlFor="context-file">
+                <span>Upload compiled Markdown</span>
+                <Input
+                  accept=".md,text/markdown"
+                  id="context-file"
+                  onChange={(event) =>
+                    void upload(event.target.files?.[0], "markdown")
+                  }
+                  type="file"
+                />
+              </label>
+              <label className="block space-y-2" htmlFor="context-markdown">
+                <span>Or paste compiled Markdown</span>
+                <Textarea
+                  className="h-32 min-w-0 field-sizing-fixed font-mono text-xs"
+                  id="context-markdown"
+                  onChange={(event) => {
+                    invalidate();
+                    setMarkdown(event.target.value);
+                  }}
+                  spellCheck={false}
+                  value={markdown}
+                />
+              </label>
+              <Button
+                onClick={() => void run("check")}
+                type="button"
+                variant="outline"
+              >
+                Check freshness
+              </Button>
+            </CardContent>
+          </Card>
+        </fieldset>
+      </form>
+      {error && (
+        <p className="break-words text-destructive" role="alert">
+          {error}
+        </p>
+      )}
+      {check && (
+        <Card>
+          <CardHeader>
+            <CardTitle>Artifact: {check.status}</CardTitle>
+          </CardHeader>
+          <CardContent aria-live="polite">
+            <ul className="list-inside list-disc">
+              {check.reasons.map((reason) => (
+                <li key={reason}>{reason}</li>
+              ))}
+            </ul>
+            <p className="mt-2 text-sm text-muted-foreground">
+              Check is read-only. Conflicts require inspecting manual edits;
+              stale evidence requires an explicit local refresh.
+            </p>
+          </CardContent>
+        </Card>
+      )}
+      {preview && (
+        <Card>
+          <CardHeader>
+            <CardTitle>Verified preview</CardTitle>
+          </CardHeader>
+          <CardContent className="min-w-0 space-y-4 break-words">
+            <p>
+              {preview.budget.usedTokens.toLocaleString()} tokens ·{" "}
+              {preview.budget.usedBytes.toLocaleString()} bytes ·{" "}
+              {preview.budget.estimator}
+            </p>
+            <p>
+              {preview.coverage.complete
+                ? "Required facets covered"
+                : "Incomplete coverage"}
+            </p>
+            <p>
+              Covered facets:{" "}
+              {preview.coverage.coveredFacets.join(", ") || "None"}
+            </p>
+            <p>
+              Unresolved facets:{" "}
+              {preview.coverage.unresolvedFacets.join(", ") || "None"}
+            </p>
+            <details>
+              <summary className="cursor-pointer">
+                Evidence and verification
+              </summary>
+              <div className="space-y-2 break-all font-mono text-xs">
+                <p>Output digest: {preview.digest}</p>
+                <p>Verification digest: {preview.verificationDigest}</p>
+                <p>Evidence: {preview.evidenceIds.join(", ") || "None"}</p>
+                <ul>
+                  {preview.omissions.map((item) => (
+                    <li key={item.evidenceId}>
+                      {item.evidenceId}: {item.reason}
+                    </li>
+                  ))}
+                </ul>
+              </div>
+            </details>
+            <pre
+              aria-label="Compiled Markdown preview"
+              className="max-h-[32rem] overflow-auto whitespace-pre-wrap break-all rounded-md border bg-muted/30 p-4 font-mono text-xs"
+            >
+              {preview.markdown}
+            </pre>
+            <Button onClick={download}>
+              <DownloadIcon className="size-4" /> Download Markdown
+            </Button>
+            <p className="text-sm text-muted-foreground">
+              Download contains exactly the preview bytes. It does not create a
+              local refresh sidecar or update your agent instructions.
+            </p>
+          </CardContent>
+        </Card>
+      )}
+      <Card>
+        <CardHeader>
+          <CardTitle>Refresh local files explicitly</CardTitle>
+        </CardHeader>
+        <CardContent className="space-y-3">
+          <p className="text-sm text-muted-foreground">
+            For managed refresh, first compile locally with an explicit Capsule
+            file. Run gno update after source edits: checks use indexed state.
+            Choose a fresh Capsule output filename for each stale refresh.
+            Refresh preserves hand edits by reporting a conflict. Nothing
+            refreshes in the background.
+          </p>
+          <pre className="overflow-auto whitespace-pre-wrap break-all rounded-md bg-muted/30 p-4 text-xs">
+            {
+              "gno context compiled compile --capsule capsule.json --budget 12000 --output project.gno-context.md\ngno context compiled check project.gno-context.md\ngno context compiled refresh project.gno-context.md --capsule-output project.gno-context.capsule.json"
+            }
+          </pre>
+        </CardContent>
+      </Card>
+    </main>
+  );
+}

package/src/serve/public/pages/Dashboard.tsx

@@ -540,6 +540,13 @@ export default function Dashboard({ navigate }: PageProps) {
             <HistoryIcon className="size-4" />
             Trace history
           </Button>
+          <Button
+            onClick={() => navigate("/context/compiled")}
+            size="lg"
+            variant="outline"
+          >
+            Compiled context
+          </Button>
         </nav>
 
         {error && (

package/src/serve/public/pages/DocView.tsx

@@ -29,6 +29,7 @@ import {
   useState,
 } from "react";
 
+import type { TypedMetadata } from "../../../core/typed-metadata";
 import type { PdfFallbackReason } from "../lib/pdf";
 
 import {
@@ -167,6 +168,8 @@ interface PageProps {
 }
 
 interface DocData {
+  typedMetadata?: TypedMetadata | null;
+  metadataError?: string | null;
   docid: string;
   uri: string;
   title: string | null;
@@ -1326,12 +1329,41 @@ export default function DocView({ navigate }: PageProps) {
     </nav>
   );
 
+  const storedMetadata =
+    doc?.metadataError ||
+    (doc?.typedMetadata && Object.keys(doc.typedMetadata).length > 0) ? (
+      <section
+        aria-label="Indexed custom metadata"
+        className="space-y-2 border-border/20 border-t px-3 py-3"
+      >
+        <h3 className="font-mono text-muted-foreground text-xs">
+          Indexed custom metadata
+        </h3>
+        {doc.metadataError ? (
+          <p className="break-words text-destructive text-xs" role="alert">
+            {doc.metadataError}. Correct the source and sync again; this
+            document is excluded from custom metadata filters.
+          </p>
+        ) : (
+          <dl className="space-y-1 text-xs">
+            {Object.entries(doc.typedMetadata ?? {}).map(([key, value]) => (
+              <div key={key}>
+                <dt className="break-all text-muted-foreground">{key}</dt>
+                <dd className="break-all font-mono">{JSON.stringify(value)}</dd>
+              </div>
+            ))}
+          </dl>
+        )}
+      </section>
+    ) : null;
+
   /** Left rail — metadata + outline */
   const renderDocumentFactsRail = () => (
     <nav
       aria-label="Document facts"
       className="w-full min-w-0 max-w-full space-y-0 overflow-x-hidden"
     >
+      {storedMetadata}
       {/* Frontmatter + tags */}
       {(hasFrontmatter || showStandaloneTags) && (
         <>
@@ -1623,6 +1655,7 @@ export default function DocView({ navigate }: PageProps) {
           </div>
         </div>
 
+        {storedMetadata}
         {(hasFrontmatter || showStandaloneTags) && (
           <div className="rounded-lg border border-border/40 bg-muted/10 p-2.5">
             {hasFrontmatter && (