lampson 0.1.3 → 0.1.4
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/.env.example +9 -0
- package/README.md +55 -1
- package/chat.syn +123 -0
- package/lampson.ps1 +17 -3
- package/lampson.sh +17 -3
- package/lib/agents.syn +1 -1
- package/lib/approvals.syn +176 -0
- package/lib/permission.syn +18 -0
- package/lib/sched_run.syn +161 -0
- package/lib/schedule.syn +660 -0
- package/lib/session.syn +38 -1
- package/lib/settings.syn +55 -0
- package/lib/tools.syn +94 -2
- package/package.json +1 -1
- package/public/css/chat.css +56 -0
- package/public/css/layout.css +97 -0
- package/public/css/panel.css +125 -0
- package/public/css/sidebar.css +80 -0
- package/public/css/tokens.css +57 -0
- package/public/index.html +49 -1197
- package/public/js/agents.js +31 -0
- package/public/js/app.js +21 -0
- package/public/js/approvals.js +26 -0
- package/public/js/chat.js +92 -0
- package/public/js/config.js +98 -0
- package/public/js/core.js +88 -0
- package/public/js/events.js +31 -0
- package/public/js/lamps.js +112 -0
- package/public/js/lsp.js +81 -0
- package/public/js/mcp.js +74 -0
- package/public/js/memory.js +17 -0
- package/public/js/panel.js +101 -0
- package/public/js/procs.js +45 -0
- package/public/js/schedules.js +118 -0
- package/public/js/sessions.js +69 -0
- package/public/js/sidebar.js +33 -0
- package/public/js/terminal.js +49 -0
- package/public/js/theme.js +6 -0
- package/public/js/todo.js +10 -0
- package/public/js/tree.js +53 -0
- package/public/js/update.js +14 -0
- package/skills/lampson/SKILL.md +16 -0
- package/web.syn +106 -15
|
@@ -0,0 +1,57 @@
|
|
|
1
|
+
/* tokens: fuentes, paleta (dark/light), base y botones — lo que todo lo demás asume */
|
|
2
|
+
/* Misma dirección que docs.synsema.com: tinta sobre papel, una superfamilia (IBM Plex) en dos
|
|
3
|
+
voces — la SERIF para lo que se lee (mensajes, hero), la MONO para estructura y maquinaria
|
|
4
|
+
(header, sidebar, pasos, código, controles). El color se raciona: azul = link / dónde estás,
|
|
5
|
+
rubric rojo = peligro y permisos (la única cosa que vale la pena ver desde lejos). */
|
|
6
|
+
@font-face{font-family:"Plex Serif";font-style:normal;font-weight:400;font-display:swap;src:url(/fonts/plex-serif-400-latin.woff2) format("woff2");unicode-range:U+0000-00FF,U+0131,U+0152-0153,U+02BB-02BC,U+02C6,U+02DA,U+02DC,U+0304,U+0308,U+0329,U+2000-206F,U+20AC,U+2122,U+2191,U+2193,U+2212,U+2215,U+FEFF,U+FFFD}
|
|
7
|
+
@font-face{font-family:"Plex Serif";font-style:normal;font-weight:400;font-display:swap;src:url(/fonts/plex-serif-400-latin-ext.woff2) format("woff2");unicode-range:U+0100-02BA,U+02BD-02C5,U+02C7-02CC,U+02CE-02D7,U+02DD-02FF,U+0304,U+0308,U+0329,U+1D00-1DBF,U+1E00-1E9F,U+1EF2-1EFF,U+2020,U+20A0-20AB,U+20AD-20C0,U+2113,U+2C60-2C7F,U+A720-A7FF}
|
|
8
|
+
@font-face{font-family:"Plex Serif";font-style:italic;font-weight:400;font-display:swap;src:url(/fonts/plex-serif-400i-latin.woff2) format("woff2");unicode-range:U+0000-00FF,U+0131,U+0152-0153,U+02BB-02BC,U+02C6,U+02DA,U+02DC,U+0304,U+0308,U+0329,U+2000-206F,U+20AC,U+2122,U+2191,U+2193,U+2212,U+2215,U+FEFF,U+FFFD}
|
|
9
|
+
@font-face{font-family:"Plex Serif";font-style:italic;font-weight:400;font-display:swap;src:url(/fonts/plex-serif-400i-latin-ext.woff2) format("woff2");unicode-range:U+0100-02BA,U+02BD-02C5,U+02C7-02CC,U+02CE-02D7,U+02DD-02FF,U+0304,U+0308,U+0329,U+1D00-1DBF,U+1E00-1E9F,U+1EF2-1EFF,U+2020,U+20A0-20AB,U+20AD-20C0,U+2113,U+2C60-2C7F,U+A720-A7FF}
|
|
10
|
+
@font-face{font-family:"Plex Serif";font-style:normal;font-weight:600;font-display:swap;src:url(/fonts/plex-serif-600-latin.woff2) format("woff2");unicode-range:U+0000-00FF,U+0131,U+0152-0153,U+02BB-02BC,U+02C6,U+02DA,U+02DC,U+0304,U+0308,U+0329,U+2000-206F,U+20AC,U+2122,U+2191,U+2193,U+2212,U+2215,U+FEFF,U+FFFD}
|
|
11
|
+
@font-face{font-family:"Plex Serif";font-style:normal;font-weight:600;font-display:swap;src:url(/fonts/plex-serif-600-latin-ext.woff2) format("woff2");unicode-range:U+0100-02BA,U+02BD-02C5,U+02C7-02CC,U+02CE-02D7,U+02DD-02FF,U+0304,U+0308,U+0329,U+1D00-1DBF,U+1E00-1E9F,U+1EF2-1EFF,U+2020,U+20A0-20AB,U+20AD-20C0,U+2113,U+2C60-2C7F,U+A720-A7FF}
|
|
12
|
+
@font-face{font-family:"Plex Mono";font-style:normal;font-weight:400;font-display:swap;src:url(/fonts/plex-mono-400-latin.woff2) format("woff2");unicode-range:U+0000-00FF,U+0131,U+0152-0153,U+02BB-02BC,U+02C6,U+02DA,U+02DC,U+0304,U+0308,U+0329,U+2000-206F,U+20AC,U+2122,U+2191,U+2193,U+2212,U+2215,U+FEFF,U+FFFD}
|
|
13
|
+
@font-face{font-family:"Plex Mono";font-style:normal;font-weight:400;font-display:swap;src:url(/fonts/plex-mono-400-latin-ext.woff2) format("woff2");unicode-range:U+0100-02BA,U+02BD-02C5,U+02C7-02CC,U+02CE-02D7,U+02DD-02FF,U+0304,U+0308,U+0329,U+1D00-1DBF,U+1E00-1E9F,U+1EF2-1EFF,U+2020,U+20A0-20AB,U+20AD-20C0,U+2113,U+2C60-2C7F,U+A720-A7FF}
|
|
14
|
+
@font-face{font-family:"Plex Mono";font-style:normal;font-weight:600;font-display:swap;src:url(/fonts/plex-mono-600-latin.woff2) format("woff2");unicode-range:U+0000-00FF,U+0131,U+0152-0153,U+02BB-02BC,U+02C6,U+02DA,U+02DC,U+0304,U+0308,U+0329,U+2000-206F,U+20AC,U+2122,U+2191,U+2193,U+2212,U+2215,U+FEFF,U+FFFD}
|
|
15
|
+
@font-face{font-family:"Plex Mono";font-style:normal;font-weight:600;font-display:swap;src:url(/fonts/plex-mono-600-latin-ext.woff2) format("woff2");unicode-range:U+0100-02BA,U+02BD-02C5,U+02C7-02CC,U+02CE-02D7,U+02DD-02FF,U+0304,U+0308,U+0329,U+1D00-1DBF,U+1E00-1E9F,U+1EF2-1EFF,U+2020,U+20A0-20AB,U+20AD-20C0,U+2113,U+2C60-2C7F,U+A720-A7FF}
|
|
16
|
+
|
|
17
|
+
:root, :root[data-theme=dark] {
|
|
18
|
+
--paper:#131412; --paper-2:#1b1c19; --paper-3:#212320;
|
|
19
|
+
--ink:#e9e8df; --ink-2:#9b9c90; --ink-3:#848678;
|
|
20
|
+
--rule:#2b2c27; --rule-2:#3c3d36;
|
|
21
|
+
--accent:#8fb4dc; --accent-bg:#1b2836;
|
|
22
|
+
--rubric:#d98670; --str:#a8bd84; --amber:#d9b26f;
|
|
23
|
+
--sel:#33465b; --term-blue:#4f86d1;
|
|
24
|
+
--serif:"Plex Serif",Georgia,"Times New Roman",serif;
|
|
25
|
+
--mono:"Plex Mono",ui-monospace,SFMono-Regular,Consolas,"Liberation Mono",monospace;
|
|
26
|
+
--r:3px; --side:280px;
|
|
27
|
+
}
|
|
28
|
+
:root[data-theme=light] {
|
|
29
|
+
--paper:#fcfcfa; --paper-2:#f4f3ee; --paper-3:#ecebe3;
|
|
30
|
+
--ink:#1a1b18; --ink-2:#56584f; --ink-3:#6a6c61;
|
|
31
|
+
--rule:#e4e3da; --rule-2:#cfcec2;
|
|
32
|
+
--accent:#21578c; --accent-bg:#e9eef4;
|
|
33
|
+
--rubric:#99372a; --str:#4a6b3f; --amber:#8a6a1f;
|
|
34
|
+
--sel:#cfe0f0; --term-blue:#21578c;
|
|
35
|
+
}
|
|
36
|
+
|
|
37
|
+
* { box-sizing:border-box; }
|
|
38
|
+
html, body { height:100%; }
|
|
39
|
+
body { margin:0; background:var(--paper); color:var(--ink); font:400 14.5px/1.6 var(--serif); -webkit-font-smoothing:antialiased; text-rendering:optimizeLegibility; }
|
|
40
|
+
::selection { background:var(--sel); }
|
|
41
|
+
:focus-visible { outline:2px solid var(--accent); outline-offset:2px; border-radius:1px; }
|
|
42
|
+
button, select, textarea { font-family:inherit; }
|
|
43
|
+
.spacer { flex:1; }
|
|
44
|
+
|
|
45
|
+
/* botones: el primario es tinta sobre papel, el secundario solo borde */
|
|
46
|
+
button { font:600 10.5px/1 var(--mono); text-transform:uppercase; letter-spacing:.09em; color:var(--ink-2); background:none; border:1px solid var(--rule-2); border-radius:2px; padding:7px 12px; cursor:pointer; }
|
|
47
|
+
button:hover { color:var(--ink); border-color:var(--ink-3); }
|
|
48
|
+
button.primary { color:var(--paper); background:var(--ink); border-color:var(--ink); }
|
|
49
|
+
button.primary:hover { opacity:.85; color:var(--paper); }
|
|
50
|
+
button:disabled { opacity:.45; cursor:default; }
|
|
51
|
+
|
|
52
|
+
/* barras de scroll finas y del color del tema (las nativas de Windows son gruesas y grises) */
|
|
53
|
+
* { scrollbar-width:thin; scrollbar-color:var(--rule-2) transparent; }
|
|
54
|
+
*::-webkit-scrollbar { width:7px; height:7px; }
|
|
55
|
+
*::-webkit-scrollbar-track { background:transparent; }
|
|
56
|
+
*::-webkit-scrollbar-thumb { background:var(--rule-2); border-radius:4px; }
|
|
57
|
+
*::-webkit-scrollbar-thumb:hover { background:var(--ink-3); }
|