Skip to content

Commit 760c497

Browse files
committed
Add ASCII REPL dashboard + GitHub Pages kernel resort
- docs/repl.html: Terminal REPL page with ASCII/Glyph mode toggle - docs/repl.js: REPL engine with commands: status, agents, twins, debate, query, seal, help, mode, clear - docs/repl.css: Terminal styling with scanline effect for glyph mode - docs/state/ascii_registry.json: ASCII art templates for all 9 agents + pipeline states - docs/index.html: Redesigned as central landing page with card grid linking to all pages - All pages now link to REPL in nav bar - Doctor checks expanded to 36/36 (REPL files + nav links verified) - 93/93 tests passing
1 parent f1c6025 commit 760c497

10 files changed

Lines changed: 628 additions & 51 deletions

File tree

docs/agents.html

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -46,6 +46,8 @@
4646
<a href="query.html">query</a>
4747
<a href="twins.html">twins</a>
4848
<a href="agents.html" class="active">agents</a>
49+
<a href="debate.html">debate</a>
50+
<a href="repl.html">repl</a>
4951
</div>
5052
</nav>
5153
<div class="container">

docs/debate.html

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -87,6 +87,7 @@
8787
<a href="twins.html">twins</a>
8888
<a href="agents.html">agents</a>
8989
<a href="debate.html" class="active">debate</a>
90+
<a href="repl.html">repl</a>
9091
</div>
9192
</nav>
9293
<div class="container">

docs/index.html

Lines changed: 64 additions & 51 deletions
Original file line numberDiff line numberDiff line change
@@ -6,62 +6,75 @@
66
<style>
77
*{margin:0;padding:0;box-sizing:border-box}
88
body{background:#0a0a0a;color:#b0b0b0;font-family:'Courier New',monospace;min-height:100vh}
9-
.header{padding:20px;border-bottom:1px solid #1a1a1a;text-align:center}
10-
.header h1{color:#e0e0e0;font-size:18px;letter-spacing:3px;text-transform:uppercase}
11-
.header p{color:#555;font-size:11px;margin-top:4px}
12-
.container{display:flex;height:calc(100vh - 70px)}
13-
.sidebar{width:220px;border-right:1px solid #1a1a1a;padding:16px;overflow-y:auto}
14-
.main{flex:1;display:flex;flex-direction:column}
15-
canvas{flex:1;display:block;background:#050505}
16-
.status-bar{border-top:1px solid #1a1a1a;padding:12px 16px;font-size:11px;color:#555;display:flex;justify-content:space-between}
17-
.sidebar h2{color:#888;font-size:10px;letter-spacing:2px;text-transform:uppercase;margin-bottom:12px}
18-
.agent-card{border:1px solid #1a1a1a;padding:10px;margin-bottom:8px;cursor:pointer;transition:border-color 0.2s}
19-
.agent-card:hover{border-color:#333}
20-
.agent-card.active{border-color:#555}
21-
.agent-name{color:#e0e0e0;font-size:12px;font-weight:bold}
22-
.agent-emoji{font-size:18px;margin-right:6px}
23-
.agent-role{color:#555;font-size:10px;margin-top:2px}
24-
.agent-zone{color:#444;font-size:9px}
25-
.query-box{border-top:1px solid #1a1a1a;padding:12px 16px}
26-
.query-input{width:100%;background:#111;border:1px solid #1a1a1a;color:#e0e0e0;padding:8px 12px;font-family:'Courier New',monospace;font-size:12px;outline:none}
27-
.query-input:focus{border-color:#333}
28-
.query-input::placeholder{color:#333}
29-
.log{border-top:1px solid #1a1a1a;max-height:200px;overflow-y:auto;padding:8px 16px;font-size:10px}
30-
.log-entry{padding:2px 0;color:#555}
31-
.log-entry .time{color:#333}
32-
.log-entry .agent{font-weight:bold}
33-
.log-entry .scribe{color:#4a9}
34-
.log-entry .judge{color:#a84}
35-
.log-entry .prophet{color:#a44}
36-
.log-entry .sentinel{color:#44a}
37-
.log-entry .ledge{color:#888}
9+
.top-bar{display:flex;justify-content:space-between;align-items:center;padding:12px 20px;border-bottom:1px solid #1a1a1a}
10+
.top-bar .brand{color:#e0e0e0;font-size:14px;letter-spacing:2px}
11+
.top-bar .links a{color:#555;text-decoration:none;margin-left:12px;font-size:11px}
12+
.top-bar .links a:hover{color:#e0e0e0}
13+
.hero{text-align:center;padding:60px 20px 40px}
14+
.hero h1{color:#e0e0e0;font-size:24px;letter-spacing:4px;margin-bottom:8px}
15+
.hero p{color:#555;font-size:12px;margin-bottom:4px}
16+
.hero .tagline{color:#4a9;font-size:11px;margin-top:12px;letter-spacing:1px}
17+
.grid{display:grid;grid-template-columns:repeat(auto-fit,minmax(260px,1fr));gap:16px;max-width:900px;margin:0 auto;padding:0 20px 40px}
18+
.card{border:1px solid #1a1a1a;padding:20px;cursor:pointer;transition:border-color 0.2s;text-decoration:none;color:inherit;display:block}
19+
.card:hover{border-color:#333}
20+
.card .emoji{font-size:24px;margin-bottom:8px}
21+
.card h3{color:#e0e0e0;font-size:13px;margin-bottom:4px;letter-spacing:1px}
22+
.card p{color:#555;font-size:10px;line-height:1.5}
23+
.status-bar{border-top:1px solid #1a1a1a;padding:12px 20px;font-size:10px;color:#333;display:flex;justify-content:space-between}
3824
</style>
3925
</head>
4026
<body>
41-
<div class="header">
42-
<h1>Holy Agents</h1>
27+
<div class="top-bar">
28+
<div class="brand">HOLY AGENTS</div>
29+
<div class="links">
30+
<a href="index.html" style="color:#e0e0e0">home</a>
31+
<a href="query.html">query</a>
32+
<a href="agents.html">agents</a>
33+
<a href="twins.html">twins</a>
34+
<a href="debate.html">debate</a>
35+
<a href="repl.html">repl</a>
36+
</div>
37+
</div>
38+
<div class="hero">
39+
<h1>HOLY AGENTS</h1>
4340
<p>Faith-governed agent runtime · v0.1.0</p>
41+
<p class="tagline">"One cockpit. Many agents. No token tax."</p>
4442
</div>
45-
<div class="container">
46-
<div class="sidebar">
47-
<h2>Agents</h2>
48-
<div id="agent-list"></div>
49-
<h2 style="margin-top:16px">RTRUST Rules</h2>
50-
<div id="rule-list" style="font-size:10px;color:#555"></div>
51-
</div>
52-
<div class="main">
53-
<canvas id="canvas"></canvas>
54-
<div class="query-box">
55-
<input class="query-input" id="query" placeholder="🔍📖 search scripture, 🔍📚 dictionary, 🔍🌐 wikipedia" />
56-
</div>
57-
<div class="log" id="log"></div>
58-
<div class="status-bar">
59-
<span id="chain-status">chain: loading</span>
60-
<span id="agent-count">agents: 5</span>
61-
<span id="last-verdict">verdict: —</span>
62-
</div>
63-
</div>
43+
<div class="grid">
44+
<a class="card" href="query.html">
45+
<div class="emoji">🔍📖</div>
46+
<h3>QUERY</h3>
47+
<p>Search scripture, dictionary, Wikipedia, Enoch, theology. 13 source adapters. Truth gate enforced.</p>
48+
</a>
49+
<a class="card" href="agents.html">
50+
<div class="emoji">⚖️🧠</div>
51+
<h3>AGENTS</h3>
52+
<p>SCRIBE · JUDGE · ENKI · ADVERSARY · MISCONCEPTION · NOISE · PROPHET · SENTINEL · LEDGE</p>
53+
</a>
54+
<a class="card" href="twins.html">
55+
<div class="emoji">🪞</div>
56+
<h3>TWINS</h3>
57+
<p>Digital twin audit — security, logic, performance. Parallel verification with failure loop.</p>
58+
</a>
59+
<a class="card" href="debate.html">
60+
<div class="emoji">🔮⚔️</div>
61+
<h3>DEBATE ARENA</h3>
62+
<p>ENKI vs ADVERSARY. Step through or auto play. Claim badges, scoring, WORM seal.</p>
63+
</a>
64+
<a class="card" href="repl.html">
65+
<div class="emoji">💻</div>
66+
<h3>ASCII REPL</h3>
67+
<p>Terminal interface. Run queries, debates, audits. ASCII and glyph visual modes.</p>
68+
</a>
69+
<a class="card" href="https://github.com/SNAPKITTYWEST/holy-agents">
70+
<div class="emoji">📦</div>
71+
<h3>SOURCE</h3>
72+
<p>GitHub repo — 93 tests, WORM ledger, RTRUST constitution, Lean verification.</p>
73+
</a>
74+
</div>
75+
<div class="status-bar">
76+
<span>holy-agents v0.1.0 · 93/93 tests · 9 agents · GitHub Pages</span>
77+
<span>faith-governed · no backend required</span>
6478
</div>
65-
<script src="visualizer.js"></script>
6679
</body>
6780
</html>

docs/query.html

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -91,6 +91,8 @@
9191
<a href="query.html" class="active">query</a>
9292
<a href="twins.html">twins</a>
9393
<a href="agents.html">agents</a>
94+
<a href="debate.html">debate</a>
95+
<a href="repl.html">repl</a>
9496
</div>
9597
</nav>
9698
<div class="container">

docs/repl.css

Lines changed: 31 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,31 @@
1+
*{margin:0;padding:0;box-sizing:border-box}
2+
body{background:#0a0a0a;color:#0f0;font-family:'Courier New',monospace;height:100vh;display:flex;flex-direction:column;overflow:hidden}
3+
.top-bar{display:flex;justify-content:space-between;align-items:center;padding:8px 16px;border-bottom:1px solid #1a1a1a;background:#050505}
4+
.top-bar .brand{color:#0f0;font-size:12px;letter-spacing:2px}
5+
.top-bar .links a{color:#555;text-decoration:none;margin-left:12px;font-size:10px}
6+
.top-bar .links a:hover{color:#0f0}
7+
.mode-toggle{display:flex;gap:4px}
8+
.mode-btn{background:#111;border:1px solid #1a1a1a;color:#555;padding:3px 10px;font-family:'Courier New',monospace;font-size:9px;cursor:pointer;text-transform:uppercase;letter-spacing:1px}
9+
.mode-btn.active{border-color:#0f0;color:#0f0}
10+
.mode-btn:hover{border-color:#333}
11+
.terminal{flex:1;overflow-y:auto;padding:16px;font-size:12px;line-height:1.6}
12+
.terminal .line{white-space:pre-wrap;word-break:break-all}
13+
.terminal .line.input-line{color:#0f0}
14+
.terminal .line.error{color:#f44}
15+
.terminal .line.info{color:#888}
16+
.terminal .line.success{color:#0f0}
17+
.terminal .line.warning{color:#fa0}
18+
.terminal .line.agent{color:#0ff}
19+
.terminal .line.system{color:#555}
20+
.input-bar{display:flex;align-items:center;padding:8px 16px;border-top:1px solid #1a1a1a;background:#050505}
21+
.prompt{color:#0f0;margin-right:8px;font-size:12px}
22+
.input-bar input{flex:1;background:transparent;border:none;color:#0f0;font-family:'Courier New',monospace;font-size:12px;outline:none}
23+
.input-bar input::placeholder{color:#1a3a1a}
24+
.scanline{position:fixed;top:0;left:0;right:0;bottom:0;pointer-events:none;z-index:100}
25+
.scanline.on{background:repeating-linear-gradient(0deg,rgba(0,255,0,0.03) 0px,transparent 1px,transparent 2px)}
26+
.glyph-mode .terminal .line{color:#e0e0e0}
27+
.glyph-mode .prompt{color:#e0e0e0}
28+
.glyph-mode .input-bar input{color:#e0e0e0}
29+
.glyph-mode .input-bar input::placeholder{color:#333}
30+
.glyph-mode .top-bar .brand{color:#e0e0e0}
31+
.glyph-mode .mode-btn.active{border-color:#e0e0e0;color:#e0e0e0}

docs/repl.html

Lines changed: 31 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,31 @@
1+
<!DOCTYPE html>
2+
<html lang="en">
3+
<head>
4+
<meta charset="UTF-8"><meta name="viewport" content="width=device-width,initial-scale=1.0">
5+
<title>repl · holy-agents</title>
6+
<link rel="stylesheet" href="repl.css">
7+
</head>
8+
<body>
9+
<div class="top-bar">
10+
<div class="brand">HOLY AGENTS REPL</div>
11+
<div class="mode-toggle">
12+
<button class="mode-btn active" data-mode="ascii">ASCII MODE</button>
13+
<button class="mode-btn" data-mode="glyph">GLYPH MODE</button>
14+
</div>
15+
<div class="links">
16+
<a href="index.html">home</a>
17+
<a href="query.html">query</a>
18+
<a href="agents.html">agents</a>
19+
<a href="twins.html">twins</a>
20+
<a href="debate.html">debate</a>
21+
</div>
22+
</div>
23+
<div class="terminal" id="terminal"></div>
24+
<div class="input-bar">
25+
<span class="prompt">holy-agents $</span>
26+
<input id="cmd-input" placeholder="type a command — try 'help'" autofocus />
27+
</div>
28+
<div class="scanline" id="scanline"></div>
29+
<script src="repl.js"></script>
30+
</body>
31+
</html>

0 commit comments

Comments
 (0)