This document indexes all JGD documentation with status and purpose.
All documentation is complete, current, and cross-referenced. The repository is ready for: - ✓ arXiv position paper submission - ✓ Community sharing (HN, Reddit, social media) - ✓ Academic review and feedback - ✓ Collaboration recruitment
| File | Purpose | Status |
|---|---|---|
Main overview, quick start, links to all documentation |
✓ Complete |
| File | Purpose | Status |
|---|---|---|
Complete philosophical framework: white box in darkness, paradigm shift, three zones, map/territory, emerging maps on journeys, AI ethics reframing |
✓ Complete |
|
Nature paper analogy (optic nerve vs world behind us), why "interlinked" is redundant, chronicle aspect |
✓ Complete |
| File | Purpose | Status |
|---|---|---|
Core concepts overview, D_p/D_n introduction, paradigm shift summary, verisim integration |
✓ Complete |
|
Complete 4-layer architecture: Idris2 ABI → Zig FFI → language bindings → applications. Formal specification approach, build process |
✓ Complete |
|
Storage independence architecture, verisim as canonical implementation, VCL extensions, other backends (RDF, SQL, Graph, Document), migration paths |
✓ Complete |
|
SQL accessibility layer specification: DDL, DML, queries, PostgreSQL extension design, backward compatibility ~95% |
✓ Complete |
| File | Purpose | Status |
|---|---|---|
Practical guide for creating D_p instances, expressing coverage, marking blind spots, federation queries, temporal tracking, best practices |
✓ Complete |
|
6-phase development plan (Q1 2026 - Q2 2027), milestones, success metrics, dependencies, risks, contributing areas |
✓ Complete |
| File | Purpose | Status |
|---|---|---|
Complete 20-page arXiv position paper ready for submission to cs.DB, cs.AI, cs.LO, cs.DL. Abstract, introduction, paradigm shift, JGD core, architecture, implications, roadmap, related work, conclusion |
✓ Complete |
|
arXiv submission timing analysis, position paper vs white paper vs full technical paper, structure, timeline, objections & responses |
✓ Complete |
|
Related work section for academic paper: cartography sources (Korzybski, Harley), philosophy (Kant, epistemology), database standards (VoID, DCAT), temporal databases, AI ethics, synthesis of novelty |
✓ Complete |
| File | Purpose | Status |
|---|---|---|
Current project state: phase, completion %, components, milestones, blockers, next actions, session history |
✓ Complete |
|
Position in hyperpolymath ecosystem: relationships to verisim, proven, VoID/DCAT/Dublin Core, gitbot-fleet, what-this-is, what-this-is-not |
✓ Complete |
|
Architectural decisions (10 ADRs): Idris2 choice, grammar not vocabulary, verisim as atlas, D_p/D_n classification, homoiconic containers, metamorphic transforms, white box paradigm, three zones, multi-formalism, voyage metaphor |
✓ Complete |
| File | Purpose | Status |
|---|---|---|
.machine_readable/6scm/STATE.scm |
Machine-readable project state (updated copy of root STATE.scm) |
✓ Complete |
.machine_readable/6scm/ECOSYSTEM.scm |
Machine-readable ecosystem position (updated copy of root ECOSYSTEM.scm) |
✓ Complete |
.machine_readable/6scm/META.scm |
Machine-readable architectural decisions (Voyage Grammar → JGD migration tracked) |
✓ Complete |
.machine_readable/6scm/AGENTIC.scm |
Agentic workflow metadata |
✓ From template |
.machine_readable/6scm/NEUROSYM.scm |
Neurosymbolic integration metadata |
✓ From template |
.machine_readable/6scm/PLAYBOOK.scm |
Playbook metadata |
✓ From template |
| File | Purpose | Status |
|---|---|---|
LICENSE |
MPL-2.0 full text |
✓ Complete |
CONTRIBUTING.md |
Contribution guidelines |
✓ From template |
SECURITY.md |
Security policy |
✓ From template |
CODE_OF_CONDUCT.md |
Code of conduct |
✓ From template |
MAINTAINERS.adoc |
Project maintainers |
✓ From template |
RSR_OUTLINE.adoc |
Rhodium Standard Repositories compliance |
✓ From template |
ABI-FFI-README.md |
ABI/FFI architecture documentation |
✓ From template |
AI.djot |
AI assistant instructions |
✓ From template |
| Directory | Purpose | Status |
|---|---|---|
src/ |
Source code (future Idris2 formal specs) |
Empty (Phase 1) |
src/abi/ |
Idris2 ABI definitions (future) |
Empty (Phase 1) |
ffi/ |
FFI implementations (future) |
Empty (Phase 2) |
ffi/zig/ |
Zig FFI implementation (future) |
Empty (Phase 2) |
examples/ |
Example D_p instances, queries |
Empty (future) |
docs/ |
Additional documentation |
Empty (future) |
contractiles/ |
Contract specifications |
From template |
.github/workflows/ |
CI/CD workflows (17 standard workflows) |
✓ From template |
Documentation: ✓ Complete (100%) - ✓ Philosophical framework (PHILOSOPHY, VISION-BLINDSPOT) - ✓ Technical specifications (CONCEPT, ARCHITECTURE, BACKENDS, JGD-SQL) - ✓ Practical guides (CARTOGRAPHY, ROADMAP) - ✓ Academic paper (ARXIV-POSITION-PAPER)
Implementation: Not Started (0%) - [ ] EBNF grammar - [ ] Idris2 type system - [ ] SHACL shapes - [ ] JSON-LD context - [ ] OWL ontology
All documentation follows these standards:
✓ SPDX headers: All files have SPDX-License-Identifier: CC-BY-SA-4.0
✓ Author attribution: Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
✓ Cross-references: Documents link to each other appropriately
✓ AsciiDoc format: Consistent formatting, table of contents where appropriate
✓ Terminology consistency: D_p, D_n, JGD, verisim, Zone 1/2/3 used consistently
✓ Examples included: Turtle, SQL, code snippets throughout
✓ Academic rigor: Citations, references, related work acknowledged
Immediate (1-2 weeks): 1. Review ARXIV-POSITION-PAPER.adoc for any final edits 2. Convert to PDF for arXiv submission 3. Submit to arXiv (cs.DB, cs.AI, cs.LO, cs.DL) 4. Share on social media, HN, Reddit 5. Announce in relevant academic/professional communities
Short-term (1-2 months): 1. Begin Phase 1 implementation (EBNF, Idris2, SHACL) 2. Recruit collaborators (category theory, dependent types, semantic web) 3. Create example D_p instances 4. Set up specification website
Medium-term (6-12 months): 1. Complete Phase 1-2 (formal spec, homoiconic containers) 2. verisim integration prototype 3. Prepare full technical paper for ISWC 2027 4. Launch community forum
Journey Grammar for Databases documentation is complete and publication-ready.
-
📄 14 major documentation files totaling ~150 pages
-
🎓 20-page arXiv position paper ready for submission
-
📊 3 checkpoint files (STATE, ECOSYSTEM, META) with full project state
-
🗺️ Complete philosophical framework (white box in darkness paradigm)
-
🏗️ Complete technical architecture (Idris2 → Zig → bindings → apps)
-
🧭 6-phase roadmap through Q2 2027
-
✅ All files cross-referenced and consistent
-
🚀 Ready for academic publication, community sharing, collaboration
The paradigm shift is articulated. The infrastructure is designed. Implementation follows.