diff --git a/index.html b/index.html index 41d0f57..e929eb7 100644 --- a/index.html +++ b/index.html @@ -83,11 +83,44 @@ margin: 0 auto 2.5rem; } - /* --- Grid --- */ - .grid { + /* --- Category sections --- */ + .categories { max-width: 900px; margin: 0 auto; padding: 0 2rem 4rem; + } + + .category { + margin-bottom: 2.5rem; + } + + .category-header { + display: flex; + align-items: baseline; + gap: 0.75rem; + padding-bottom: 0.5rem; + border-bottom: 1px solid var(--border); + margin-bottom: 1.25rem; + } + + .category-header h2 { + font-family: "Fraunces", Georgia, serif; + font-weight: 300; + font-size: 1.3rem; + letter-spacing: -0.01em; + } + + .category-header .subtitle { + font-size: 0.85rem; + color: var(--text-dim); + } + + .category--research .category-header h2 { color: var(--negative); } + .category--infra .category-header h2 { color: var(--neutral); } + .category--formalization .category-header h2 { color: var(--positive); } + + /* --- Grid --- */ + .grid { display: grid; grid-template-columns: repeat(auto-fit, minmax(260px, 1fr)); gap: 1.25rem; @@ -104,6 +137,7 @@ } .card:hover { border-color: var(--accent-hover); } + .card--featured { border-color: var(--accent); } .card h3 { font-family: "Fraunces", Georgia, serif; @@ -169,9 +203,9 @@ margin-bottom: 0.75rem; } - .tier--lib { background: rgba(126, 184, 168, 0.12); color: var(--positive); } - .tier--tool { background: rgba(212, 165, 116, 0.12); color: var(--neutral); } .tier--research { background: rgba(196, 122, 122, 0.12); color: var(--negative); } + .tier--infra { background: rgba(212, 165, 116, 0.12); color: var(--neutral); } + .tier--formalization { background: rgba(126, 184, 168, 0.12); color: var(--positive); } /* --- Footer --- */ footer { @@ -194,7 +228,8 @@ @media (max-width: 600px) { .hero { padding: 4rem 1.5rem 2rem; } .hero h1 { font-size: 2rem; } - .grid { padding: 0 1.5rem 3rem; grid-template-columns: 1fr; } + .categories { padding: 0 1.5rem 3rem; } + .grid { grid-template-columns: 1fr; } } @@ -206,88 +241,131 @@

Project Navi

Research software for measurement, security, and formal verification. Zero-dependency libraries with audit-grade quality gates.

-
- -
- library -

navi-fractal

-

Sandbox fractal dimension estimation for complex networks. Quality gates refuse to emit a dimension unless positive evidence of power-law scaling exists.

-
- Docs - GitHub - PyPI -
-
- -
- tool -

grippy

-

AI code review agent with deterministic security rules and LLM-powered audit. MCP server, GitHub Action, and CLI. Works with any OpenAI-compatible endpoint.

-
- Docs - GitHub - PyPI -
-
+
-
- library -

navi-sanitize

-

Deterministic input sanitization for untrusted text. Homoglyphs, invisible chars, null bytes, NFKC normalization, template injection. Zero dependencies.

-
- Docs - GitHub - PyPI + +
+
+

Research

+ Instruments and theory
-
+
+ +
+ research +

creative determinant

+

Autopoietic closure as a nonlinear elliptic BVP on a compact Riemannian manifold. Existence conditions for self-sustaining creative systems.

+
+ Docs + GitHub +
+
+ +
+ research +

navi-SAD

+

Dynamical systems probe for LLM inference. Dual-path attention comparison with delay-coordinate attractor reconstruction via permutation entropy.

+
+ Docs + GitHub +
+
+ +
+ research +

navi-fractal

+

Sandbox fractal dimension estimation for complex networks. Quality gates refuse to emit a dimension unless positive evidence of power-law scaling exists.

+
+ Docs + GitHub + PyPI +
+
-
- tool -

navi-bootstrap

-

Spec-driven Jinja2 engine with 8 template packs for production-grade Python projects. CI, security, code review, and release pipelines out of the box.

-
- Docs - GitHub
-
- research -

creative determinant

-

Autopoietic closure as a nonlinear elliptic BVP on a compact Riemannian manifold. Existence conditions for self-sustaining creative systems.

-
- Docs - GitHub + +
+
+

Infrastructure

+ Libraries and tools
-
+
+ +
+ tool +

grippy-code-review

+

AI code review agent with deterministic security rules and LLM-powered audit. MCP server, GitHub Action, and CLI. Works with any OpenAI-compatible endpoint.

+
+ Docs + GitHub + PyPI +
+
+ +
+ library +

navi-sanitize

+

Deterministic input sanitization for untrusted text. Homoglyphs, invisible chars, null bytes, NFKC normalization, template injection. Zero dependencies.

+
+ Docs + GitHub + PyPI +
+
+ +
+ tool +

navi-bootstrap

+

Spec-driven Jinja2 engine with 8 template packs for production-grade Python projects. CI, security, code review, and release pipelines out of the box.

+
+ Docs + GitHub +
+
-
- research -

navi-SAD

-

Dynamical systems probe for LLM inference. Dual-path attention comparison with delay-coordinate attractor reconstruction via permutation entropy.

-
- Docs - GitHub
-
- formalization -

fd-formalization

-

Lean 4 + Mathlib formalization of (u,v)-flower graph dimension. Hub distance, log-ratio convergence, and construction proofs. Zero sorry.

-
- Docs - GitHub + +
+
+

Formalization

+ Machine-checked mathematics
-
+
+ +
+ formalization +

cd-formalization

+

Lean 4 + Mathlib formalization of the Creative Determinant framework. 15 theorems proved with zero sorry, CI-enforced via lake build.

+
+ Docs + GitHub +
+
+ +
+ formalization +

fd-formalization

+

Lean 4 + Mathlib formalization of (u,v)-flower graph dimension. Hub distance, log-ratio convergence, and construction proofs. Zero sorry.

+
+ Docs + GitHub +
+
+ +
+ formalization +

takens-formalization

+

Lean 4 + Mathlib formalization of delay embedding theory. 42 declarations, novel coincidence length result. Zero sorry.

+
+ Docs + GitHub +
+
-
- formalization -

cd-formalization

-

Lean 4 + Mathlib formalization of the Creative Determinant framework. 15 theorems proved with zero sorry, CI-enforced via lake build.

-
- Docs - GitHub