-
-
Notifications
You must be signed in to change notification settings - Fork 0
docs: align database language identities and implementation evidence #86
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
base: main
Are you sure you want to change the base?
Changes from all commits
e6e2a3e
0fa5379
5176d9e
File filter
Filter by extension
Conversations
Jump to
Diff view
Diff view
There are no files selected for viewing
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -1,3 +1,4 @@ | ||
| # This workflow is managed by gh actions-lock. | ||
| # SPDX-License-Identifier: MPL-2.0 | ||
| name: Label Triage | ||
|
|
||
|
|
||
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -1,3 +1,4 @@ | ||
| # This workflow is managed by gh actions-lock. | ||
| # SPDX-License-Identifier: MPL-2.0 | ||
| name: Labels | ||
|
|
||
|
|
||
This file was deleted.
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,38 @@ | ||
| # SPDX-License-Identifier: MPL-2.0 | ||
| # SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk> | ||
| # Coordination checkpoint; per-project implementation belongs in owning repos. | ||
|
|
||
| [metadata] | ||
| project = "nextgen-databases" | ||
| version = "0.1.0" | ||
| last-updated = "2026-09-07" | ||
| status = "active" | ||
|
|
||
| [project-context] | ||
| purpose = "Coordinate four database/language families and their integration evidence" | ||
| phase = "Establish and connect honest executable boundaries" | ||
| registry = "REGISTRY.adoc" | ||
| public-languages = ["VCL-UT", "GNPL", "KRL", "Hermeneia"] | ||
|
|
||
| [observation] | ||
| horizon = "Local canonical checkouts and focused commands on 2026-09-07; no remote CI, deployment or whole-estate correctness claim" | ||
| evidence-ledger = "EXPLAINME.adoc" | ||
| priorities = "ROADMAP.adoc" | ||
|
|
||
| [family-boundaries] | ||
| verisimdb = "Standalone VCL-UT parser/admissibility/wire tests pass; mandatory gate coverage across advertised VeriSimDB operations still needs integration evidence" | ||
| lithoglyph = "Unimplemented builtin proof verifiers refuse success; registered callback plumbing has positive and rejection controls" | ||
| gnpl = "Independent direct-evidence narration kernel and CLI now run; five Lean suites pass, including 35 narration checks. Withdrawal/order properties have an audited [propext] footprint. Live Lithoglyph adapter and Glyphbase path remain work." | ||
| quandledb = "KRL draft and implemented fragment are distinct contracts; bucket candidates cannot satisfy stronger resolution assurance requests" | ||
| vocarium = "Hermeneia and Vocarium have tested invoke slices using distinct store implementations; shared durable warrant/withdrawal contract remains work" | ||
|
|
||
| [knot-project-boundaries] | ||
| independent-libraries = "Skein.jl and other Julia knot libraries have their own purposes; use by QuandleDB does not make them KRL or imply database-specific origins" | ||
| tangle = "Independent Turing-complete knot-mathematics language; no KRL-to-Tangle compilation dependency or inherited proof guarantees" | ||
| krl = "Knot resolution language associated with QuandleDB; no retired query-language identity" | ||
|
|
||
| [next-actions] | ||
| actions = ["GNPL: connect the imported evidence contract to a consistent real Lithoglyph journal snapshot and test withdrawal across revisions", "QuandleDB/KRL: implement and check an explicit resolution witness", "VeriSimDB/VCL-UT: test mandatory admissibility coverage", "Vocarium/Hermeneia: test one shared storage and warrant-withdrawal contract"] | ||
|
|
||
| [history] | ||
| note = "Earlier tropical-bridge and extraction checkpoints remain in Git history. Their counts, completion estimates and CI status are not reasserted by this checkpoint. Preserve split-history tags and _split_* branches." |
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -1,3 +1,3 @@ | ||
| == Clone the repository | ||
|
|
||
| git clone https://github.com/hyperpolymath/nextgen-databases.git cd | ||
|
|
@@ -25,7 +25,7 @@ | |
| implementations. Each database and query language has its own repo (see `REGISTRY.adoc`). | ||
| .... | ||
|
|
||
| nextgen-databases/ ├── README.adoc / EXPLAINME.adoc / TOPOLOGY.md / | ||
| nextgen-databases/ ├── README.adoc / EXPLAINME.adoc / TOPOLOGY.adoc / | ||
|
There was a problem hiding this comment. Choose a reason for hiding this commentThe reason will be displayed to describe this comment to others. Learn more. 📐 Maintainability & Code Quality | 🟡 Minor | ⚡ Quick win Synchronise the remaining canonical filenames. The new 🤖 Prompt for AI Agents |
||
| ROADMAP.adoc # Portfolio docs ├── REGISTRY.adoc # Authoritative map: | ||
| database/language -> its own repo ├── CLAUDE.md / AGENTS.md / | ||
| 0-AI-MANIFEST.a2ml # Agent guardrails ├── docs/ # Coordination docs | ||
|
|
||
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
🔒 Security & Privacy | 🟠 Major | ⚡ Quick win
🔎 Supported by static analysis
🏁 Script executed:
Repository: hyperpolymath/nextgen-databases
Length of output: 2471
🏁 Script executed:
Repository: hyperpolymath/nextgen-databases
Length of output: 2455
🏁 Script executed:
Repository: hyperpolymath/nextgen-databases
Length of output: 288
Pin the SMTP action to the locked commit.
The workflow uses the mutable
v0.2.0tag. Replace it with the locked commit SHA:📝 Committable suggestion
🤖 Prompt for AI Agents