Skip to content

Commit 4ddd748

Browse files
project-navi-botproject-navi-bot
authored
Merge pull request #2 from Project-Navi/docs/3x3-grid-reorg
docs: reorganize landing into 3x3 grid
2 parents f4a41ab + 1a12538 commit 4ddd748

1 file changed

Lines changed: 152 additions & 74 deletions

File tree

‎index.html‎

Lines changed: 152 additions & 74 deletions
Original file line numberDiff line numberDiff line change
@@ -83,11 +83,44 @@
8383
margin: 0 auto 2.5rem;
8484
}
8585

86-
/* --- Grid --- */
87-
.grid {
86+
/* --- Category sections --- */
87+
.categories {
8888
max-width: 900px;
8989
margin: 0 auto;
9090
padding: 0 2rem 4rem;
91+
}
92+
93+
.category {
94+
margin-bottom: 2.5rem;
95+
}
96+
97+
.category-header {
98+
display: flex;
99+
align-items: baseline;
100+
gap: 0.75rem;
101+
padding-bottom: 0.5rem;
102+
border-bottom: 1px solid var(--border);
103+
margin-bottom: 1.25rem;
104+
}
105+
106+
.category-header h2 {
107+
font-family: "Fraunces", Georgia, serif;
108+
font-weight: 300;
109+
font-size: 1.3rem;
110+
letter-spacing: -0.01em;
111+
}
112+
113+
.category-header .subtitle {
114+
font-size: 0.85rem;
115+
color: var(--text-dim);
116+
}
117+
118+
.category--research .category-header h2 { color: var(--negative); }
119+
.category--infra .category-header h2 { color: var(--neutral); }
120+
.category--formalization .category-header h2 { color: var(--positive); }
121+
122+
/* --- Grid --- */
123+
.grid {
91124
display: grid;
92125
grid-template-columns: repeat(auto-fit, minmax(260px, 1fr));
93126
gap: 1.25rem;
@@ -104,6 +137,7 @@
104137
}
105138

106139
.card:hover { border-color: var(--accent-hover); }
140+
.card--featured { border-color: var(--accent); }
107141

108142
.card h3 {
109143
font-family: "Fraunces", Georgia, serif;
@@ -169,9 +203,9 @@
169203
margin-bottom: 0.75rem;
170204
}
171205

172-
.tier--lib { background: rgba(126, 184, 168, 0.12); color: var(--positive); }
173-
.tier--tool { background: rgba(212, 165, 116, 0.12); color: var(--neutral); }
174206
.tier--research { background: rgba(196, 122, 122, 0.12); color: var(--negative); }
207+
.tier--infra { background: rgba(212, 165, 116, 0.12); color: var(--neutral); }
208+
.tier--formalization { background: rgba(126, 184, 168, 0.12); color: var(--positive); }
175209

176210
/* --- Footer --- */
177211
footer {
@@ -194,7 +228,8 @@
194228
@media (max-width: 600px) {
195229
.hero { padding: 4rem 1.5rem 2rem; }
196230
.hero h1 { font-size: 2rem; }
197-
.grid { padding: 0 1.5rem 3rem; grid-template-columns: 1fr; }
231+
.categories { padding: 0 1.5rem 3rem; }
232+
.grid { grid-template-columns: 1fr; }
198233
}
199234
</style>
200235
</head>
@@ -206,88 +241,131 @@ <h1>Project Navi</h1>
206241
<p class="tagline">Research software for measurement, security, and formal verification. Zero-dependency libraries with audit-grade quality gates.</p>
207242
</div>
208243

209-
<div class="grid">
210-
211-
<div class="card">
212-
<span class="tier tier--lib">library</span>
213-
<h3><a href="/navi-fractal/">navi-fractal</a></h3>
214-
<p>Sandbox fractal dimension estimation for complex networks. Quality gates refuse to emit a dimension unless positive evidence of power-law scaling exists.</p>
215-
<div class="links">
216-
<a href="/navi-fractal/" class="primary">Docs</a>
217-
<a href="https://github.com/Project-Navi/navi-fractal">GitHub</a>
218-
<a href="https://pypi.org/project/navi-fractal/">PyPI</a>
219-
</div>
220-
</div>
221-
222-
<div class="card">
223-
<span class="tier tier--tool">tool</span>
224-
<h3><a href="/grippy-code-review/">grippy</a></h3>
225-
<p>AI code review agent with deterministic security rules and LLM-powered audit. MCP server, GitHub Action, and CLI. Works with any OpenAI-compatible endpoint.</p>
226-
<div class="links">
227-
<a href="/grippy-code-review/" class="primary">Docs</a>
228-
<a href="https://github.com/Project-Navi/grippy-code-review">GitHub</a>
229-
<a href="https://pypi.org/project/grippy-mcp/">PyPI</a>
230-
</div>
231-
</div>
244+
<div class="categories">
232245

233-
<div class="card">
234-
<span class="tier tier--lib">library</span>
235-
<h3><a href="/navi-sanitize/">navi-sanitize</a></h3>
236-
<p>Deterministic input sanitization for untrusted text. Homoglyphs, invisible chars, null bytes, NFKC normalization, template injection. Zero dependencies.</p>
237-
<div class="links">
238-
<a href="/navi-sanitize/" class="primary">Docs</a>
239-
<a href="https://github.com/Project-Navi/navi-sanitize">GitHub</a>
240-
<a href="https://pypi.org/project/navi-sanitize/">PyPI</a>
246+
<!-- Research -->
247+
<div class="category category--research">
248+
<div class="category-header">
249+
<h2>Research</h2>
250+
<span class="subtitle">Instruments and theory</span>
241251
</div>
242-
</div>
252+
<div class="grid">
253+
254+
<div class="card">
255+
<span class="tier tier--research">research</span>
256+
<h3><a href="/navi-creative-determinant/">creative determinant</a></h3>
257+
<p>Autopoietic closure as a nonlinear elliptic BVP on a compact Riemannian manifold. Existence conditions for self-sustaining creative systems.</p>
258+
<div class="links">
259+
<a href="/navi-creative-determinant/" class="primary">Docs</a>
260+
<a href="https://github.com/Project-Navi/navi-creative-determinant">GitHub</a>
261+
</div>
262+
</div>
263+
264+
<div class="card">
265+
<span class="tier tier--research">research</span>
266+
<h3><a href="/navi-SAD/">navi-SAD</a></h3>
267+
<p>Dynamical systems probe for LLM inference. Dual-path attention comparison with delay-coordinate attractor reconstruction via permutation entropy.</p>
268+
<div class="links">
269+
<a href="/navi-SAD/" class="primary">Docs</a>
270+
<a href="https://github.com/Project-Navi/navi-SAD">GitHub</a>
271+
</div>
272+
</div>
273+
274+
<div class="card">
275+
<span class="tier tier--research">research</span>
276+
<h3><a href="/navi-fractal/">navi-fractal</a></h3>
277+
<p>Sandbox fractal dimension estimation for complex networks. Quality gates refuse to emit a dimension unless positive evidence of power-law scaling exists.</p>
278+
<div class="links">
279+
<a href="/navi-fractal/" class="primary">Docs</a>
280+
<a href="https://github.com/Project-Navi/navi-fractal">GitHub</a>
281+
<a href="https://pypi.org/project/navi-fractal/">PyPI</a>
282+
</div>
283+
</div>
243284

244-
<div class="card">
245-
<span class="tier tier--tool">tool</span>
246-
<h3><a href="/navi-bootstrap/">navi-bootstrap</a></h3>
247-
<p>Spec-driven Jinja2 engine with 8 template packs for production-grade Python projects. CI, security, code review, and release pipelines out of the box.</p>
248-
<div class="links">
249-
<a href="/navi-bootstrap/" class="primary">Docs</a>
250-
<a href="https://github.com/Project-Navi/navi-bootstrap">GitHub</a>
251285
</div>
252286
</div>
253287

254-
<div class="card">
255-
<span class="tier tier--research">research</span>
256-
<h3><a href="/navi-creative-determinant/">creative determinant</a></h3>
257-
<p>Autopoietic closure as a nonlinear elliptic BVP on a compact Riemannian manifold. Existence conditions for self-sustaining creative systems.</p>
258-
<div class="links">
259-
<a href="/navi-creative-determinant/" class="primary">Docs</a>
260-
<a href="https://github.com/Project-Navi/navi-creative-determinant">GitHub</a>
288+
<!-- Infrastructure -->
289+
<div class="category category--infra">
290+
<div class="category-header">
291+
<h2>Infrastructure</h2>
292+
<span class="subtitle">Libraries and tools</span>
261293
</div>
262-
</div>
294+
<div class="grid">
295+
296+
<div class="card">
297+
<span class="tier tier--infra">tool</span>
298+
<h3><a href="/grippy-code-review/">grippy-code-review</a></h3>
299+
<p>AI code review agent with deterministic security rules and LLM-powered audit. MCP server, GitHub Action, and CLI. Works with any OpenAI-compatible endpoint.</p>
300+
<div class="links">
301+
<a href="/grippy-code-review/" class="primary">Docs</a>
302+
<a href="https://github.com/Project-Navi/grippy-code-review">GitHub</a>
303+
<a href="https://pypi.org/project/grippy-mcp/">PyPI</a>
304+
</div>
305+
</div>
306+
307+
<div class="card">
308+
<span class="tier tier--infra">library</span>
309+
<h3><a href="/navi-sanitize/">navi-sanitize</a></h3>
310+
<p>Deterministic input sanitization for untrusted text. Homoglyphs, invisible chars, null bytes, NFKC normalization, template injection. Zero dependencies.</p>
311+
<div class="links">
312+
<a href="/navi-sanitize/" class="primary">Docs</a>
313+
<a href="https://github.com/Project-Navi/navi-sanitize">GitHub</a>
314+
<a href="https://pypi.org/project/navi-sanitize/">PyPI</a>
315+
</div>
316+
</div>
317+
318+
<div class="card">
319+
<span class="tier tier--infra">tool</span>
320+
<h3><a href="/navi-bootstrap/">navi-bootstrap</a></h3>
321+
<p>Spec-driven Jinja2 engine with 8 template packs for production-grade Python projects. CI, security, code review, and release pipelines out of the box.</p>
322+
<div class="links">
323+
<a href="/navi-bootstrap/" class="primary">Docs</a>
324+
<a href="https://github.com/Project-Navi/navi-bootstrap">GitHub</a>
325+
</div>
326+
</div>
263327

264-
<div class="card">
265-
<span class="tier tier--research">research</span>
266-
<h3><a href="/navi-SAD/">navi-SAD</a></h3>
267-
<p>Dynamical systems probe for LLM inference. Dual-path attention comparison with delay-coordinate attractor reconstruction via permutation entropy.</p>
268-
<div class="links">
269-
<a href="/navi-SAD/" class="primary">Docs</a>
270-
<a href="https://github.com/Project-Navi/navi-SAD">GitHub</a>
271328
</div>
272329
</div>
273330

274-
<div class="card">
275-
<span class="tier tier--research">formalization</span>
276-
<h3><a href="/fd-formalization/">fd-formalization</a></h3>
277-
<p>Lean 4 + Mathlib formalization of (u,v)-flower graph dimension. Hub distance, log-ratio convergence, and construction proofs. Zero sorry.</p>
278-
<div class="links">
279-
<a href="/fd-formalization/" class="primary">Docs</a>
280-
<a href="https://github.com/Project-Navi/fd-formalization">GitHub</a>
331+
<!-- Formalization -->
332+
<div class="category category--formalization">
333+
<div class="category-header">
334+
<h2>Formalization</h2>
335+
<span class="subtitle">Machine-checked mathematics</span>
281336
</div>
282-
</div>
337+
<div class="grid">
338+
339+
<div class="card">
340+
<span class="tier tier--formalization">formalization</span>
341+
<h3><a href="/cd-formalization/">cd-formalization</a></h3>
342+
<p>Lean 4 + Mathlib formalization of the Creative Determinant framework. 15 theorems proved with zero sorry, CI-enforced via lake build.</p>
343+
<div class="links">
344+
<a href="/cd-formalization/" class="primary">Docs</a>
345+
<a href="https://github.com/Project-Navi/cd-formalization">GitHub</a>
346+
</div>
347+
</div>
348+
349+
<div class="card">
350+
<span class="tier tier--formalization">formalization</span>
351+
<h3><a href="/fd-formalization/">fd-formalization</a></h3>
352+
<p>Lean 4 + Mathlib formalization of (u,v)-flower graph dimension. Hub distance, log-ratio convergence, and construction proofs. Zero sorry.</p>
353+
<div class="links">
354+
<a href="/fd-formalization/" class="primary">Docs</a>
355+
<a href="https://github.com/Project-Navi/fd-formalization">GitHub</a>
356+
</div>
357+
</div>
358+
359+
<div class="card card--featured">
360+
<span class="tier tier--formalization">formalization</span>
361+
<h3><a href="/takens-formalization/">takens-formalization</a></h3>
362+
<p>Lean 4 + Mathlib formalization of delay embedding theory. 42 declarations, novel coincidence length result. Zero sorry.</p>
363+
<div class="links">
364+
<a href="/takens-formalization/" class="primary">Docs</a>
365+
<a href="https://github.com/Project-Navi/takens-formalization">GitHub</a>
366+
</div>
367+
</div>
283368

284-
<div class="card">
285-
<span class="tier tier--research">formalization</span>
286-
<h3><a href="/cd-formalization/">cd-formalization</a></h3>
287-
<p>Lean 4 + Mathlib formalization of the Creative Determinant framework. 15 theorems proved with zero sorry, CI-enforced via lake build.</p>
288-
<div class="links">
289-
<a href="/cd-formalization/" class="primary">Docs</a>
290-
<a href="https://github.com/Project-Navi/cd-formalization">GitHub</a>
291369
</div>
292370
</div>
293371

0 commit comments

Comments
 (0)