File tree Expand file tree Collapse file tree 8 files changed +207
-0
lines changed
verisim-modular-experiment Expand file tree Collapse file tree 8 files changed +207
-0
lines changed Original file line number Diff line number Diff line change 55default :
66 @ just --list
77
8+ # ============================================================
9+ # OPSM — native package management for nextgen-databases
10+ # ============================================================
11+
12+ # Install all workspace dependencies via OPSM
13+ deps :
14+ @ command -v opsm >/ dev/ null 2 >&1 || (echo " OPSM not found — install from https://github.com/hyperpolymath/odds-and-sods-package-manager" && exit 1 )
15+ opsm install --workspace
16+
17+ # Install pinned tool versions from [runtime] in opsm.toml
18+ runtime-install :
19+ @ command -v opsm >/ dev/ null 2 >&1 || (echo " OPSM not found" && exit 1 )
20+ opsm runtime install --from opsm.toml
21+
22+ # Publish all workspace members to the Hyperpolymath Forge Registry
23+ publish :
24+ @ command -v opsm >/ dev/ null 2 >&1 || (echo " OPSM not found" && exit 1 )
25+ opsm publish --workspace --registry hf
26+
27+ # Audit workspace packages (license + sustainability)
28+ audit :
29+ @ command -v opsm >/ dev/ null 2 >&1 || (echo " OPSM not found" && exit 1 )
30+ opsm audit --workspace
31+
32+ # ============================================================
33+
834# Self-diagnostic — checks dependencies, permissions, paths
935doctor :
1036 @ echo " Running diagnostics for nextgen-databases..."
Original file line number Diff line number Diff line change 1+ # SPDX-License-Identifier: PMPL-1.0-or-later
2+ # Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) <j.d.a.jewell@open.ac.uk>
3+ #
4+ # lithoglyph package manifest — OPSM native.
5+ # This file makes lithoglyph a first-class OPSM/HFR package.
6+
7+ [package ]
8+ name = " lithoglyph"
9+ description = " Lithoglyph narrative-first database — story-as-data model with Glyphbase query language"
10+ license = " PMPL-1.0-or-later"
11+ authors = [" Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>" ]
12+ keywords = [" lithoglyph" , " hyperpolymath" , " nextgen-databases" , " database" ]
13+ homepage = " https://github.com/hyperpolymath/nextgen-databases"
14+ repository = " https://github.com/hyperpolymath/nextgen-databases"
15+ forth = " lithoglyph"
16+
17+ [opsm ]
18+ trust_level = " hyperpolymath"
19+ registry = " hf"
20+
21+ [dependencies ]
22+ proven = { git = " https://github.com/hyperpolymath/proven" , registry = " hf" }
23+ groove = { git = " https://github.com/hyperpolymath/groove" , registry = " hf" }
Original file line number Diff line number Diff line change 1+ # SPDX-License-Identifier: PMPL-1.0-or-later
2+ # Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) <j.d.a.jewell@open.ac.uk>
3+ #
4+ # nqc package manifest — OPSM native.
5+ # This file makes nqc a first-class OPSM/HFR package.
6+
7+ [package ]
8+ name = " nqc"
9+ description = " NQC (Next Query Calculus) — typed categorical query language for nextgen-databases"
10+ license = " PMPL-1.0-or-later"
11+ authors = [" Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>" ]
12+ keywords = [" nqc" , " hyperpolymath" , " nextgen-databases" , " database" ]
13+ homepage = " https://github.com/hyperpolymath/nextgen-databases"
14+ repository = " https://github.com/hyperpolymath/nextgen-databases"
15+ forth = " nqc"
16+
17+ [opsm ]
18+ trust_level = " hyperpolymath"
19+ registry = " hf"
20+
21+ [dependencies ]
22+ proven = { git = " https://github.com/hyperpolymath/proven" , registry = " hf" }
23+ groove = { git = " https://github.com/hyperpolymath/groove" , registry = " hf" }
Original file line number Diff line number Diff line change 1+ # SPDX-License-Identifier: PMPL-1.0-or-later
2+ # Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) <j.d.a.jewell@open.ac.uk>
3+ #
4+ # nextgen-databases workspace manifest.
5+ # OPSM is the native package manager for all nextgen database projects.
6+ #
7+ # Usage:
8+ # opsm install # install workspace deps
9+ # opsm publish --registry hf # publish all member packages
10+ # opsm runtime install # install pinned tool versions below
11+
12+ [workspace ]
13+ members = [
14+ " lithoglyph" ,
15+ " nqc" ,
16+ " quandledb" ,
17+ " typeql-experimental" ,
18+ " verisim-core" ,
19+ " verisimdb" ,
20+ " verisim-modular-experiment" ,
21+ ]
22+
23+ default_registry = " hf"
24+
25+ [workspace .opsm ]
26+ trust_level = " hyperpolymath"
27+
28+ [workspace .dependencies ]
29+ proven = { git = " https://github.com/hyperpolymath/proven" , registry = " hf" }
30+ groove = { git = " https://github.com/hyperpolymath/groove" , registry = " hf" }
31+
32+ [runtime ]
33+ # Tool versions for nextgen-databases development.
34+ # All managed via OPSM runtime extension.
35+ rust = " nightly" # VeriSimDB, QuandleDB core
36+ erlang = " 26.2.0" # Lithoglyph, NQC BEAM layer
37+ elixir = " 1.16.0"
38+ zig = " 0.14.0" # ABI/FFI layer
39+ just = " 1.46.0"
40+ deno = " 2.6.10"
41+
42+ # Idris2 is managed via the idris2 OPSM registry directly
43+ # opsm install idris2 --registry idris2
Original file line number Diff line number Diff line change 1+ # SPDX-License-Identifier: PMPL-1.0-or-later
2+ # Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) <j.d.a.jewell@open.ac.uk>
3+ #
4+ # quandledb package manifest — OPSM native.
5+ # This file makes quandledb a first-class OPSM/HFR package.
6+
7+ [package ]
8+ name = " quandledb"
9+ description = " QuandleDB — algebraic database using quandle structures for semantic identity"
10+ license = " PMPL-1.0-or-later"
11+ authors = [" Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>" ]
12+ keywords = [" quandledb" , " hyperpolymath" , " nextgen-databases" , " database" ]
13+ homepage = " https://github.com/hyperpolymath/nextgen-databases"
14+ repository = " https://github.com/hyperpolymath/nextgen-databases"
15+ forth = " quandledb"
16+
17+ [opsm ]
18+ trust_level = " hyperpolymath"
19+ registry = " hf"
20+
21+ [dependencies ]
22+ proven = { git = " https://github.com/hyperpolymath/proven" , registry = " hf" }
23+ groove = { git = " https://github.com/hyperpolymath/groove" , registry = " hf" }
Original file line number Diff line number Diff line change 1+ # SPDX-License-Identifier: PMPL-1.0-or-later
2+ # Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) <j.d.a.jewell@open.ac.uk>
3+ #
4+ # typeql-experimental package manifest — OPSM native.
5+ # This file makes typeql-experimental a first-class OPSM/HFR package.
6+
7+ [package ]
8+ name = " typeql-experimental"
9+ description = " TypeQL experimental backend — typed query layer exploration"
10+ license = " PMPL-1.0-or-later"
11+ authors = [" Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>" ]
12+ keywords = [" typeql" , " hyperpolymath" , " nextgen-databases" , " database" ]
13+ homepage = " https://github.com/hyperpolymath/nextgen-databases"
14+ repository = " https://github.com/hyperpolymath/nextgen-databases"
15+ forth = " typeql"
16+
17+ [opsm ]
18+ trust_level = " hyperpolymath"
19+ registry = " hf"
20+
21+ [dependencies ]
22+ proven = { git = " https://github.com/hyperpolymath/proven" , registry = " hf" }
23+ groove = { git = " https://github.com/hyperpolymath/groove" , registry = " hf" }
Original file line number Diff line number Diff line change 1+ # SPDX-License-Identifier: PMPL-1.0-or-later
2+ # Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) <j.d.a.jewell@open.ac.uk>
3+ #
4+ # verisim-core package manifest — OPSM native.
5+ # This file makes verisim-core a first-class OPSM/HFR package.
6+
7+ [package ]
8+ name = " verisim-core"
9+ description = " VeriSimDB core library — self-normalising multimodal database engine"
10+ license = " PMPL-1.0-or-later"
11+ authors = [" Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>" ]
12+ keywords = [" verisimdb" , " hyperpolymath" , " nextgen-databases" , " database" ]
13+ homepage = " https://github.com/hyperpolymath/nextgen-databases"
14+ repository = " https://github.com/hyperpolymath/nextgen-databases"
15+ forth = " verisimdb"
16+
17+ [opsm ]
18+ trust_level = " hyperpolymath"
19+ registry = " hf"
20+
21+ [dependencies ]
22+ proven = { git = " https://github.com/hyperpolymath/proven" , registry = " hf" }
23+ groove = { git = " https://github.com/hyperpolymath/groove" , registry = " hf" }
Original file line number Diff line number Diff line change 1+ # SPDX-License-Identifier: PMPL-1.0-or-later
2+ # Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) <j.d.a.jewell@open.ac.uk>
3+ #
4+ # verisim-modular-experiment package manifest — OPSM native.
5+ # This file makes verisim-modular-experiment a first-class OPSM/HFR package.
6+
7+ [package ]
8+ name = " verisim-modular-experiment"
9+ description = " VeriSimDB modular experiment — Phase 1-4 modular architecture exploration"
10+ license = " PMPL-1.0-or-later"
11+ authors = [" Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>" ]
12+ keywords = [" verisimdb" , " hyperpolymath" , " nextgen-databases" , " database" ]
13+ homepage = " https://github.com/hyperpolymath/nextgen-databases"
14+ repository = " https://github.com/hyperpolymath/nextgen-databases"
15+ forth = " verisimdb"
16+
17+ [opsm ]
18+ trust_level = " hyperpolymath"
19+ registry = " hf"
20+
21+ [dependencies ]
22+ proven = { git = " https://github.com/hyperpolymath/proven" , registry = " hf" }
23+ groove = { git = " https://github.com/hyperpolymath/groove" , registry = " hf" }
You can’t perform that action at this time.
0 commit comments