|
| 1 | +// SPDX-License-Identifier: CC-BY-SA-4.0 |
| 2 | +// SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk> |
| 3 | += AFFIRMATION — nextgen-databases, as of 2026-06-19 |
| 4 | +:toc: macro |
| 5 | +:toclevels: 2 |
| 6 | + |
| 7 | +_the No-Bullshit file: what we affirm was true and checkable at this moment_ |
| 8 | + |
| 9 | +[NOTE] |
| 10 | +==== |
| 11 | +*Genre.* An *affirmation* is a solemn declaration of the truth of a statement, |
| 12 | +made by someone who _declines to swear an oath_ — our truth-as-best-believed at |
| 13 | +a stamped instant, binding on our honesty, not a claim of infallibility. It is |
| 14 | +not the README (where this is going) and not the EXPLAINME (how it is built); |
| 15 | +it is _what can we honestly affirm was true and checkable at a stamped moment_. |
| 16 | +Every repo in the estate carries one, per the 2026-06-19 estate rule. |
| 17 | +==== |
| 18 | + |
| 19 | +toc::[] |
| 20 | + |
| 21 | +== What this is, and how it works |
| 22 | + |
| 23 | +A short, dated, jointly-signed snapshot of what we can _honestly and verifiably_ |
| 24 | +claim about the nextgen-databases repo at one exact commit. *Ground truth, not |
| 25 | +memory:* the gate results below were produced by running the checks this session. |
| 26 | +*Material caveat:* this is a *research-overview monorepo* aggregating several |
| 27 | +sub-projects, and *none of their build/test toolchains were runnable this session* |
| 28 | +(`just`, `deno`, `julia`, `gleam` are absent; only `git`, `Agda`, `rustc` present) |
| 29 | +— so this affirms *structure and gate-state*, not a built/tested estate. *No |
| 30 | +intentional overclaim;* the owner's signed commit is the authoritative form (the |
| 31 | +AI party cannot GPG-sign). |
| 32 | + |
| 33 | +== Verifiable anchor |
| 34 | + |
| 35 | +[cols="1,3"] |
| 36 | +|=== |
| 37 | +| *Repo* | `hyperpolymath/nextgen-databases` — research-overview monorepo for the next-gen database / query / identity layer |
| 38 | +| *Branch* | `claude/practical-newton-9eFe2` (feature branch; not anchored to `main`) |
| 39 | +| *Commit (HEAD)* | `2ae2a2c8cc184de9b54527da0702d4b1ae75321e` |
| 40 | +| *Permalink* | https://github.com/hyperpolymath/nextgen-databases/tree/2ae2a2c8cc184de9b54527da0702d4b1ae75321e |
| 41 | +| *Verified* | 2026-06-19 (checks run this session; date, not a claimed UTC instant) |
| 42 | +| *Working-tree delta* | Clean except this untracked `AFFIRMATION.adoc`. HEAD carries one commit ahead of `main` — the unmerged migration-plan doc (`…/RESCRIPT-TS-AFFINESCRIPT-MIGRATION.adoc`, +49). |
| 43 | +| *Toolchain (present)* | `git`, `Agda 2.6.3`, `rustc`. *Absent:* `just`, `deno`, `julia`, `gleam`, OCaml. |
| 44 | +| *Run method* | `contractile`/RSR gate bodies as bash. *No sub-project built or tested* (toolchains absent). |
| 45 | +| *HEAD signature* | Not signed by the AI party; the maintainer's signed commit is authoritative. |
| 46 | +|=== |
| 47 | + |
| 48 | +== Companion documents (cross-check) |
| 49 | + |
| 50 | +* *`README.adoc`* — `= Next-Generation Databases — Research Overview` (real). |
| 51 | +* *`EXPLAINME.adoc`* — `= Next-Gen Databases — Show Me The Receipts` (real). |
| 52 | +* *Template residue (loud)* — *19 files* with `{{PLACEHOLDER}}` tokens and *17 |
| 53 | + files* referencing `rsr-template-repo`. Substantial instantiation debt. |
| 54 | +* *GitHub description / topics* — not fetched this session. |
| 55 | + |
| 56 | +== The honest state (one breath) |
| 57 | + |
| 58 | +nextgen-databases is a *research-overview monorepo* that aggregates the estate's |
| 59 | +database / query / identity sub-projects — `nqc/` (a Gleam query-calculus |
| 60 | +project), *`verisim-core/`* (a Julia package — the VerisimCore *categorical |
| 61 | +abstraction* layer of the stack), `verisimdb/`, `verisim-modular-experiment/`, |
| 62 | +`lithoglyph/`, `typeql-experimental/`, and a `quandledb/` copy — with real code |
| 63 | +(~120 Rust files plus Julia + Gleam). The `MUST`/`TRUST` gates pass, but the repo |
| 64 | +carries *heavy template residue* and an *in-flight migration* (ReScript/TS/npm → |
| 65 | +AffineScript/Rust/Deno). It is honestly a *research-stage aggregator*, not a |
| 66 | +shipped, built-and-tested product. |
| 67 | + |
| 68 | +== What is solid (and how we checked) |
| 69 | + |
| 70 | +* *MUST/TRUST-style checks — PASS.* Run as bash: LICENSE present; no banned |
| 71 | + `Dockerfile`/`Makefile`; LICENSE carries an SPDX/MPL identifier; no `.env` / |
| 72 | + `credentials.json`. (SPDX header scan: 1 unheadered file in the sampled set — |
| 73 | + a near-pass, flagged.) |
| 74 | +* *Real sub-project content.* `verisim-core/` is a structured Julia package |
| 75 | + (`Project.toml`, `src/`, `test/`); `nqc/` is a Gleam project (`gleam.toml`, |
| 76 | + `ffi/`, launchers); ~120 `.rs` files across the tree. This is genuine WIP |
| 77 | + engineering, not template filler. |
| 78 | + |
| 79 | +== Known-incomplete but honestly fenced (loud, never silent) |
| 80 | + |
| 81 | +* *Heavy template residue.* 19 `{{PLACEHOLDER}}` files + 17 `rsr-template-repo` |
| 82 | + references remain — the largest instantiation debt in the estate so far. |
| 83 | +* *In-flight migration.* The HEAD commit adds a *plan* to migrate ReScript/TS/npm |
| 84 | + → AffineScript/Rust/Deno; the migration itself is *not done*. |
| 85 | +* *No single READINESS / proof grade.* As an aggregator it has `PROOF-NEEDS.md` |
| 86 | + but no top-level readiness grade; per-sub-project maturity varies. |
| 87 | + |
| 88 | +== Outstanding / not-run (no spin) |
| 89 | + |
| 90 | +* *No sub-project was built or tested this session.* `julia` (verisim-core), |
| 91 | + `gleam` (nqc), `deno` are absent. We affirm the sub-projects *exist and are |
| 92 | + structured*; we do *not* affirm they build or pass tests from this session. |
| 93 | + In-environment `julia … Pkg.test()` / `gleam test` are the authoritative checks. |
| 94 | + |
| 95 | +== Reproduce it yourself |
| 96 | + |
| 97 | +[source,bash] |
| 98 | +---- |
| 99 | +git rev-parse HEAD # expect 2ae2a2c8cc184de9b54527da0702d4b1ae75321e |
| 100 | +test -f LICENSE; test ! -f Dockerfile -a ! -f Makefile; grep -q 'SPDX\|MPL' LICENSE |
| 101 | +grep -rl '{{'{{'}}[A-Z_]*{{'}}'}}' --include='*.adoc' --include='*.md' . | grep -v PLACEHOLDERS | wc -l # ~19 |
| 102 | +grep -rl 'rsr-template-repo' . | grep -v '.git/' | wc -l # ~17 |
| 103 | +ls verisim-core/ nqc/ # real sub-projects |
| 104 | +# NOT runnable without toolchains: ( cd verisim-core && julia --project=. -e 'using Pkg; Pkg.test()' ) |
| 105 | +---- |
| 106 | + |
| 107 | +== One-line characterisation (quote this) |
| 108 | + |
| 109 | +"nextgen-databases is a research-overview monorepo aggregating the estate's |
| 110 | +database/query/identity sub-projects — `nqc` (Gleam), `verisim-core` (Julia, the |
| 111 | +VerisimCore categorical layer), `verisimdb`, `lithoglyph`, `typeql-experimental`, |
| 112 | +`quandledb` — with real code (~120 Rust + Julia + Gleam). `MUST`/`TRUST` gates |
| 113 | +pass, but it carries heavy template residue (19 placeholder files, 17 |
| 114 | +`rsr-template-repo` refs) and an in-flight ReScript/TS → AffineScript/Rust |
| 115 | +migration plan; *no* sub-project was built or tested this session (julia/gleam/ |
| 116 | +deno absent). A research-stage aggregator, honestly fenced. No intentional |
| 117 | +overclaim." |
| 118 | + |
| 119 | +== Key concern + cross-repo wiring |
| 120 | + |
| 121 | +nextgen-databases's *key concern* is being the *research-overview + incubator* |
| 122 | +for the database/query/identity layer — and it is the *home of `verisim-core/`*, |
| 123 | +the VerisimCore categorical-abstraction layer whose stack placement was |
| 124 | +maintainer-confirmed 2026-06-19: *krl → tangle/TangleIR → VerisimCore → Skein.jl / |
| 125 | +quandledb*. Per the estate rule it carries its own scope table at |
| 126 | +`docs/identity-fabric/musts-intends-wishes.adoc`. Adjacent: *quandledb* / |
| 127 | +*Skein.jl* (the shipped storage + engine faces), *tangle* (TangleIR), *krl* |
| 128 | +(surface DSL), *echo-types* (structured-loss theory). |
| 129 | + |
| 130 | +== Joint attestation |
| 131 | + |
| 132 | +To the best of our joint belief at the timestamp above, every claim here is true |
| 133 | +and was checked as described — with the un-built sub-projects and the template |
| 134 | +debt stated rather than hidden. |
| 135 | + |
| 136 | +* *Engineering party (AI):* ran the gate/RSR checks recorded here as bash on |
| 137 | + 2026-06-19; did *not* build or test any sub-project (toolchains absent). |
| 138 | +* *Owner / maintainer:* Jonathan D.A. Jewell — signs by committing this file with |
| 139 | + `-S`; the signed commit at the SHA above is authoritative. |
| 140 | +* *Signed-off-date:* (fill on signing) |
0 commit comments