deploy space from main

.gitattributes

@@ -33,3 +33,4 @@ saved_model/**/* filter=lfs diff=lfs merge=lfs -text
 *.zip filter=lfs diff=lfs merge=lfs -text
 *.zst filter=lfs diff=lfs merge=lfs -text
 *tfevents* filter=lfs diff=lfs merge=lfs -text
+static/fonts/InstrumentSans.ttf filter=lfs diff=lfs merge=lfs -text

static/fonts.css

@@ -0,0 +1,8 @@
+/* Instrument Sans is bundled under the SIL Open Font License; see fonts/OFL.txt. */
+@font-face {
+  font-family: "Instrument Sans";
+  src: url("fonts/InstrumentSans.ttf") format("truetype");
+  font-style: normal;
+  font-weight: 400 700;
+  font-display: swap;
+}

static/fonts/InstrumentSans.ttf

@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:b24f1812584816958afcf22e22d08e44318c5e51651e25d2438efdde389b33b1
+size 194336

static/fonts/OFL.txt

@@ -0,0 +1,93 @@
+Copyright 2022 The Instrument Sans Project Authors (https://github.com/Instrument/instrument-sans)
+
+This Font Software is licensed under the SIL Open Font License, Version 1.1.
+This license is copied below, and is also available with a FAQ at:
+https://scripts.sil.org/OFL
+
+
+-----------------------------------------------------------
+SIL OPEN FONT LICENSE Version 1.1 - 26 February 2007
+-----------------------------------------------------------
+
+PREAMBLE
+The goals of the Open Font License (OFL) are to stimulate worldwide
+development of collaborative font projects, to support the font creation
+efforts of academic and linguistic communities, and to provide a free and
+open framework in which fonts may be shared and improved in partnership
+with others.
+
+The OFL allows the licensed fonts to be used, studied, modified and
+redistributed freely as long as they are not sold by themselves. The
+fonts, including any derivative works, can be bundled, embedded, 
+redistributed and/or sold with any software provided that any reserved
+names are not used by derivative works. The fonts and derivatives,
+however, cannot be released under any other type of license. The
+requirement for fonts to remain under this license does not apply
+to any document created using the fonts or their derivatives.
+
+DEFINITIONS
+"Font Software" refers to the set of files released by the Copyright
+Holder(s) under this license and clearly marked as such. This may
+include source files, build scripts and documentation.
+
+"Reserved Font Name" refers to any names specified as such after the
+copyright statement(s).
+
+"Original Version" refers to the collection of Font Software components as
+distributed by the Copyright Holder(s).
+
+"Modified Version" refers to any derivative made by adding to, deleting,
+or substituting -- in part or in whole -- any of the components of the
+Original Version, by changing formats or by porting the Font Software to a
+new environment.
+
+"Author" refers to any designer, engineer, programmer, technical
+writer or other person who contributed to the Font Software.
+
+PERMISSION & CONDITIONS
+Permission is hereby granted, free of charge, to any person obtaining
+a copy of the Font Software, to use, study, copy, merge, embed, modify,
+redistribute, and sell modified and unmodified copies of the Font
+Software, subject to the following conditions:
+
+1) Neither the Font Software nor any of its individual components,
+in Original or Modified Versions, may be sold by itself.
+
+2) Original or Modified Versions of the Font Software may be bundled,
+redistributed and/or sold with any software, provided that each copy
+contains the above copyright notice and this license. These can be
+included either as stand-alone text files, human-readable headers or
+in the appropriate machine-readable metadata fields within text or
+binary files as long as those fields can be easily viewed by the user.
+
+3) No Modified Version of the Font Software may use the Reserved Font
+Name(s) unless explicit written permission is granted by the corresponding
+Copyright Holder. This restriction only applies to the primary font name as
+presented to the users.
+
+4) The name(s) of the Copyright Holder(s) or the Author(s) of the Font
+Software shall not be used to promote, endorse or advertise any
+Modified Version, except to acknowledge the contribution(s) of the
+Copyright Holder(s) and the Author(s) or with their explicit written
+permission.
+
+5) The Font Software, modified or unmodified, in part or in whole,
+must be distributed entirely under this license, and must not be
+distributed under any other license. The requirement for fonts to
+remain under this license does not apply to any document created
+using the Font Software.
+
+TERMINATION
+This license becomes null and void if any of the above conditions are
+not met.
+
+DISCLAIMER
+THE FONT SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,
+EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO ANY WARRANTIES OF
+MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT
+OF COPYRIGHT, PATENT, TRADEMARK, OR OTHER RIGHT. IN NO EVENT SHALL THE
+COPYRIGHT HOLDER BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY,
+INCLUDING ANY GENERAL, SPECIAL, INDIRECT, INCIDENTAL, OR CONSEQUENTIAL
+DAMAGES, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING
+FROM, OUT OF THE USE OR INABILITY TO USE THE FONT SOFTWARE OR FROM
+OTHER DEALINGS IN THE FONT SOFTWARE.

static/index.html

@@ -2,6 +2,7 @@
 <html lang="en"><head>
 <meta charset="utf-8"><meta name="viewport" content="width=device-width, initial-scale=1">
 <title>procgrep · query agent traces, live</title>
+<link rel="stylesheet" href="/static/fonts.css">
 <link rel="stylesheet" href="/static/theme.css">
 <link rel="stylesheet" href="/static/style.css">
 <style>
@@ -11,10 +12,10 @@
    arXiv, and GitHub. The eval content keeps the live query + compare views and
    talks to this same backend over same-origin relative paths. */
 body{padding-left:212px}
-.railnav{position:fixed;left:0;top:0;bottom:0;width:212px;padding:22px 14px;overflow:auto;background:#EFEAE2;display:flex;flex-direction:column}
+.railnav{position:fixed;left:0;top:0;bottom:0;width:212px;padding:22px 14px;overflow:auto;background:#f1f1ef;display:flex;flex-direction:column}
 .railnav .mark{margin:0 6px 14px;font-weight:600;display:inline-flex;align-items:center;gap:9px;color:var(--ink);text-decoration:none}
 .railnav .mark::before{content:"";width:8px;height:8px;background:var(--copper);border-radius:1px}
-.railnav .surf{display:flex;gap:3px;margin:0 0 16px;background:#E2DBD0;border-radius:7px;padding:3px}
+.railnav .surf{display:flex;gap:3px;margin:0 0 16px;background:#e7e7e4;border-radius:7px;padding:3px}
 .railnav .surf button{flex:1;text-align:center;font:11px var(--mono);border:0;background:transparent;color:var(--olive);padding:6px 3px;border-radius:5px;cursor:pointer}
 .railnav .surf button.on{background:var(--ink);color:#fff}
 .railnav .railfoot{margin-top:auto;border-top:1px solid var(--rule);padding-top:10px;display:flex;flex-direction:column;gap:1px}
@@ -30,7 +31,7 @@ body{padding-left:212px}
 .railnav #sesslist .sessitem.act .smeta{color:#cfc9bf}
 .railnav h2{font-size:10px;letter-spacing:.07em;text-transform:uppercase;color:var(--olive);margin:0 0 12px;font-weight:600}
 .railnav .ritem{display:block;width:100%;text-align:left;font-family:var(--mono);font-size:13px;border:0;background:transparent;color:var(--ink);padding:8px 10px;border-radius:6px;cursor:pointer;margin:0 0 2px}
-.railnav .ritem:hover{background:#ECE7DF}
+.railnav .ritem:hover{background:#e6e6e3}
 .railnav .ritem.act{background:var(--ink);color:#fff}
 .cgroup{display:contents}
 body.corpus-eval .cgroup[data-c="sess"]{display:none}
@@ -42,8 +43,8 @@ body.corpus-sess .cgroup[data-c="eval"]{display:none}
 .sesscallout code{background:#efeae2;padding:1px 6px;border-radius:3px;color:var(--ink)}
 @media(max-width:720px){
   body{padding-left:0}
-  .railnav{position:static;width:auto;height:auto;padding:12px 16px;background:#EFEAE2;
-    display:flex;flex-wrap:wrap;align-items:center;gap:4px}
+  .railnav{position:static;width:auto;height:auto;padding:12px 16px;background:#f1f1ef;
+    display:flex;flex-direction:row;flex-wrap:wrap;align-items:center;gap:4px}
   .railnav h2{margin:0 4px 0 0;font-size:9px}
   .railnav .ritem{display:inline-block;width:auto;padding:6px 9px;margin:0}
   .railnav .railfoot{flex-direction:row;flex-wrap:wrap;margin:0 0 0 8px;border:0;padding:0}
@@ -87,7 +88,7 @@ body.corpus-sess .cgroup[data-c="eval"]{display:none}
   <a id="dsource" class="dim src" target="_blank" rel="noopener"></a>
 </div>
 <p class="note prov">These are public agent-rollout corpora on Hugging Face (SWE-agent and OpenHands
-scaffolds solving SWE-bench-family GitHub issues). ProcGrep canonicalizes each trajectory into an action spine; nothing is re-hosted.</p>
+scaffolds solving SWE-bench-family GitHub issues).</p>
 <div class="qbar"><span class="mag">⌕</span>
   <input id="q" placeholder="atom pattern like (edit ){5,}, or an English question + Enter (BYO Anthropic key)" autocomplete="off"></div>
 <div class="tryline">try: <span id="trychips"></span> <span class="chip" id="noisetog">hide think/other</span></div>

static/style.css

@@ -1,13 +1,11 @@
 /* ProcGrep explorer styles. Editorial palette shared with the static essay. */
 :root{
-  --paper:#F7F5F2; --ink:#14110E; --rule:#d9d4cc; --copper:#CB4D20; --blue:#5692E5;
-  --teal:#20A380; --olive:#585E53; --gray:#b7b1a7;
   --mono:ui-monospace,"SFMono-Regular",Menlo,monospace;
 }
 *{box-sizing:border-box}
-body{margin:0;background:var(--paper);color:var(--ink);font-family:var(--mono);font-size:13px;line-height:1.5}
+body{margin:0;background:var(--paper);color:var(--ink);font-family:'Instrument Sans',Arial,sans-serif;font-size:13px;line-height:1.5}
 .wrap{max-width:1000px;margin:0 auto;padding:40px 32px 90px}
-h1{font-family:Georgia,serif;font-weight:400;font-size:27px;margin:0 0 6px}
+h1{font-family:'Instrument Sans',Arial,sans-serif;font-weight:400;font-size:27px;margin:0 0 6px}
 .sub{color:var(--olive);max-width:64ch;margin:0 0 22px}
 .dsbar{display:flex;align-items:center;gap:10px;flex-wrap:wrap;margin:2px 0 16px;color:var(--olive)}
 select,input{font-family:var(--mono);font-size:12px;padding:6px 8px;border:1px solid var(--rule);background:#fff;color:var(--ink)}

static/theme.css

@@ -3,12 +3,12 @@
    panel's atom and outcome colors, its lighter rule shade) stay with the page
    that uses them and alias these where they match. */
 :root{
-  --paper:#F7F5F2;
-  --ink:#14110E;
-  --copper:#CB4D20;
-  --blue:#5692E5;
-  --teal:#20A380;
-  --olive:#585E53;
-  --rule:#d9d4cc;
+  --paper:#fcfcfb;
+  --ink:#1a1917;
+  --copper:#c04472;
+  --blue:#2f6be0;
+  --teal:#139d9a;
+  --olive:#5f5b54;
+  --rule:#c9c5bd;
   --gray:#b7b1a7;
 }