Skip to content

Commit 52aab49

Browse files
hyperpolymathhyperpolymath
committed
Snapshot local work before sync
1 parent 4815a44 commit 52aab49

File tree

3 files changed

+158
-0
lines changed

3 files changed

+158
-0
lines changed

‎.github/workflows/casket-pages.yml‎

Lines changed: 116 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,116 @@
1+
# SPDX-License-Identifier: PMPL-1.0-or-later
2+
name: GitHub Pages
3+
4+
on:
5+
push:
6+
branches: [main, master]
7+
workflow_dispatch:
8+
9+
permissions:
10+
contents: read
11+
pages: write
12+
id-token: write
13+
14+
concurrency:
15+
group: "pages"
16+
cancel-in-progress: false
17+
18+
jobs:
19+
build:
20+
runs-on: ubuntu-latest
21+
steps:
22+
- name: Checkout
23+
uses: actions/checkout@b4ffde65f46336ab88eb53be808477a3936bae11 # v4
24+
25+
- name: Checkout casket-ssg
26+
uses: actions/checkout@b4ffde65f46336ab88eb53be808477a3936bae11 # v4
27+
with:
28+
repository: hyperpolymath/casket-ssg
29+
path: .casket-ssg
30+
31+
- name: Setup GHCup
32+
uses: haskell-actions/setup@ec49483bfc012387b227434aba94f59a6ecd0900 # v2
33+
with:
34+
ghc-version: '9.8.2'
35+
cabal-version: '3.10'
36+
37+
- name: Cache Cabal
38+
uses: actions/cache@0057852bfaa89a56745cba8c7296529d2fc39830 # v4
39+
with:
40+
path: |
41+
~/.cabal/packages
42+
~/.cabal/store
43+
.casket-ssg/dist-newstyle
44+
key: ${{ runner.os }}-casket-${{ hashFiles('.casket-ssg/casket-ssg.cabal') }}
45+
46+
- name: Build casket-ssg
47+
working-directory: .casket-ssg
48+
run: cabal build
49+
50+
- name: Prepare site source
51+
shell: bash
52+
run: |
53+
set -euo pipefail
54+
rm -rf .site-src _site
55+
56+
if [ -d site ]; then
57+
cp -R site .site-src
58+
else
59+
mkdir -p .site-src
60+
TODAY="$(date +%Y-%m-%d)"
61+
REPO_NAME="${{ github.event.repository.name }}"
62+
REPO_URL="https://github.com/${{ github.repository }}"
63+
README_URL=""
64+
65+
if [ -f README.md ]; then
66+
README_URL="${REPO_URL}/blob/${{ github.ref_name }}/README.md"
67+
elif [ -f README.adoc ]; then
68+
README_URL="${REPO_URL}/blob/${{ github.ref_name }}/README.adoc"
69+
fi
70+
71+
{
72+
echo "---"
73+
echo "title: ${REPO_NAME}"
74+
echo "date: ${TODAY}"
75+
echo "---"
76+
echo
77+
echo "# ${REPO_NAME}"
78+
echo
79+
echo "Static documentation site for ${REPO_NAME}."
80+
echo
81+
echo "- Source repository: [${{ github.repository }}](${REPO_URL})"
82+
if [ -n "${README_URL}" ]; then
83+
echo "- README: [project README](${README_URL})"
84+
fi
85+
if [ -d docs ]; then
86+
echo "- Docs directory: [docs/](${REPO_URL}/tree/${{ github.ref_name }}/docs)"
87+
fi
88+
echo
89+
echo "Project-specific site content can be added later under site/."
90+
} > .site-src/index.md
91+
fi
92+
93+
- name: Build site
94+
run: |
95+
mkdir -p _site
96+
cd .casket-ssg && cabal run casket-ssg -- build ../.site-src ../_site
97+
touch ../_site/.nojekyll
98+
99+
- name: Setup Pages
100+
uses: actions/configure-pages@983d7736d9b0ae728b81ab479565c72886d7745b # v5
101+
102+
- name: Upload artifact
103+
uses: actions/upload-pages-artifact@56afc609e74202658d3ffba0e8f6dda462b719fa # v3
104+
with:
105+
path: '_site'
106+
107+
deploy:
108+
environment:
109+
name: github-pages
110+
url: ${{ steps.deployment.outputs.page_url }}
111+
runs-on: ubuntu-latest
112+
needs: build
113+
steps:
114+
- name: Deploy to GitHub Pages
115+
id: deployment
116+
uses: actions/deploy-pages@d6db90164ac5ed86f2b6aed7e0febac5b3c0c03e # v4

‎lithoglyph/site/index.md‎

Lines changed: 21 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,21 @@
1+
---
2+
title: Lithoglyph
3+
date: 2026-03-31
4+
---
5+
6+
# Lithoglyph
7+
8+
The public web home for this project is [lithoglyph.org](https://lithoglyph.org).
9+
10+
Stone-carved data for the ages.
11+
12+
Lithoglyph (from Greek lithos "stone" + glyphein "to carve") is a narrative-first, reversible, audit-grade database core. Like ancient glyphs carved in stone, Lithoglyph treats schemas, constraints, migrations, blocks, and journals as permanent narrative artefacts—the database is part of the story, not an opaque substrate.
13+
14+
## Project Links
15+
16+
- Website: [lithoglyph.org](https://lithoglyph.org)
17+
- Source: [https://github.com/hyperpolymath/nextgen-databases/tree/main/lithoglyph](https://github.com/hyperpolymath/nextgen-databases/tree/main/lithoglyph)
18+
- README: [project overview](https://github.com/hyperpolymath/nextgen-databases/blob/main/lithoglyph/README.adoc)
19+
- Docs: [documentation directory](https://github.com/hyperpolymath/nextgen-databases/tree/main/lithoglyph/docs)
20+
21+
This page is a lightweight landing point for the repository and will grow with the project.

‎verisimdb/site/index.md‎

Lines changed: 21 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,21 @@
1+
---
2+
title: VeriSimDB
3+
date: 2026-03-31
4+
---
5+
6+
# VeriSimDB
7+
8+
The public web home for this project is [verisimdb.org](https://verisimdb.org).
9+
10+
Cross-system data consistency that catches drift before it causes damage.
11+
12+
Traditional tools detect drift after it causes downstream failures. VeriSimDB detects and repairs it continuously, before anyone notices.
13+
14+
## Project Links
15+
16+
- Website: [verisimdb.org](https://verisimdb.org)
17+
- Source: [https://github.com/hyperpolymath/nextgen-databases/tree/main/verisimdb](https://github.com/hyperpolymath/nextgen-databases/tree/main/verisimdb)
18+
- README: [project overview](https://github.com/hyperpolymath/nextgen-databases/blob/main/verisimdb/README.adoc)
19+
- Docs: [documentation directory](https://github.com/hyperpolymath/nextgen-databases/tree/main/verisimdb/docs)
20+
21+
This page is a lightweight landing point for the repository and will grow with the project.

0 commit comments

Comments
 (0)