Merge branch 'main' into file-system

Author: thiennamdinh

.github/workflows/service-explorer.yml renamed to .github/workflows/explorer.yml

@@ -6,10 +6,15 @@ on:
   pull_request:
     branches: [ "main" ]
 
+concurrency:
+  group: "explorer"
+  cancel-in-progress: true
+
 jobs:
   run:
     runs-on: ubuntu-latest
     permissions: write-all
+    if: github.ref == 'refs/heads/main'
     steps:
       - name: Login to Github registry
         uses: docker/login-action@v2
@@ -27,6 +32,7 @@ jobs:
       - name: Retag and push latest Docker image
         if: github.ref == 'refs/heads/main'
         run: |
-          docker tag ghcr.io/${{ github.repository }}/explorer:$( cat ./services/explorer/version.txt ) \
+          version=$( cat ./services/explorer/version.txt )
+          docker tag ghcr.io/${{ github.repository }}/explorer:$version \
                      ghcr.io/${{ github.repository }}/explorer:latest 
           docker push ghcr.io/${{ github.repository }}/explorer:latest

.github/workflows/ledger.yml

@@ -0,0 +1,38 @@
+name: Ledger Journal
+
+on:
+  push:
+    branches: [ "**" ]
+  pull_request:
+    branches: [ "main" ]
+
+concurrency:
+  group: "ledger"
+  cancel-in-progress: true
+
+jobs:
+  build:
+    runs-on: ubuntu-latest
+    permissions: write-all
+    if: github.ref == 'refs/heads/main'
+    steps:
+      - name: Login to Github registry
+        uses: docker/login-action@v2
+        with:
+          registry: ghcr.io
+          username: ${{ github.actor }}
+          password: ${{ secrets.GITHUB_TOKEN }}
+      - name: Checkout code
+        uses: actions/checkout@v4
+      - name: Build and push versioned Docker image
+        run: |
+          version=$( cat ./compose/ledger/version.txt )
+          docker build ./compose/ledger --tag ghcr.io/${{ github.repository }}/ledger:$version
+          docker push ghcr.io/${{ github.repository }}/ledger:$version
+      - name: Retag and push latest Docker image
+        if: github.ref == 'refs/heads/main'
+        run: |
+          version=$( cat ./compose/ledger/version.txt )
+          docker tag ghcr.io/${{ github.repository }}/ledger:$version \
+                     ghcr.io/${{ github.repository }}/ledger:latest 
+          docker push ghcr.io/${{ github.repository }}/ledger:latest

.github/workflows/ontology.yml

@@ -0,0 +1,38 @@
+name: Ontology Journal
+
+on:
+  push:
+    branches: [ "**" ]
+  pull_request:
+    branches: [ "main" ]
+
+concurrency:
+  group: "ontology"
+  cancel-in-progress: true
+
+jobs:
+  build:
+    runs-on: ubuntu-latest
+    permissions: write-all
+    if: github.ref == 'refs/heads/main'
+    steps:
+      - name: Login to Github registry
+        uses: docker/login-action@v2
+        with:
+          registry: ghcr.io
+          username: ${{ github.actor }}
+          password: ${{ secrets.GITHUB_TOKEN }}
+      - name: Checkout code
+        uses: actions/checkout@v4
+      - name: Build and push versioned Docker image
+        run: |
+          version=$( cat ./compose/ontology/version.txt )
+          docker build ./compose/ontology --tag ghcr.io/${{ github.repository }}/ontology:$version
+          docker push ghcr.io/${{ github.repository }}/ontology:$version
+      - name: Retag and push latest Docker image
+        if: github.ref == 'refs/heads/main'
+        run: |
+          version=$( cat ./compose/ontology/version.txt )
+          docker tag ghcr.io/${{ github.repository }}/ontology:$version \
+                     ghcr.io/${{ github.repository }}/ontology:latest 
+          docker push ghcr.io/${{ github.repository }}/ontology:latest

.github/workflows/service-cryptography.yml

@@ -1 +1,46 @@
-This repository contains services and deployment configurations for the [synchronic web journal](https://github.com/sandialabs/sync-journal).
+# Synchronic Web Services
+
+This repository contains services and deployment configurations for the [Synchronic Web Journal](https://github.com/sandialabs/sync-journal) and [Synchronic Web Records](https://github.com/sandialabs/sync-records). It provides both ready-to-deploy, all-in-one Compose environments and individual microservice components that support Synchronic Web applications.
+
+---
+
+## Repository Structure
+
+- **compose/**  
+  Pre-packaged, batteries-included Docker Compose environments for deploying Synchronic Web journals and supporting services.  
+  - Each subdirectory (e.g., `ledger/`, `ontology/`) contains everything needed to launch a complete application stack, including configuration, orchestration, and example scripts.
+  - Ideal for users who want to quickly deploy a working Synchronic Web journal with minimal setup.
+
+- **services/**  
+  Standalone microservice components that provide additional functionality to composed deployments.  
+  - These are not full applications by themselves, but are designed to be integrated into Compose environments or other orchestration systems.
+  - Example: the `explorer` service provides a point-and-click front-end for exploring Synchronic Web record and ledger interfaces.
+
+---
+
+## Getting Started
+
+To get started, choose a Compose environment that matches your use case:
+
+- [compose/ledger/README.md](compose/ledger/README.md): Deploy a ledger journal for cryptographically verifiable record-keeping.
+- [compose/ontology/README.md](compose/ontology/README.md): Deploy an ontology journal for semantic data and provenance workflows.
+
+Each Compose README provides step-by-step instructions, required environment variables, and example usage. These environments are designed for rapid deployment and experimentation—just follow the linked guides for details.
+
+If you want to run or develop individual microservices, see the README in each service directory (e.g., [services/explorer/README.md](services/explorer/README.md)).
+
+---
+
+## Related Projects
+
+- **[sync-journal](https://github.com/sandialabs/sync-journal):**  
+  The core Synchronic Web Journal SDK. Provides the main ledger, record, and evaluation engine.
+
+- **[sync-records](https://github.com/sandialabs/sync-records):**  
+  A collection of reusable Scheme modules and test suites for advanced record and ledger operations.
+
+---
+
+## Contributing
+
+Contributions are welcome! Please open issues or pull requests for new services, improvements to Compose environments, or documentation updates.

README.md

@@ -0,0 +1 @@
+database/

compose/ledger/.gitignore

@@ -1,9 +1,11 @@
-FROM ghcr.io/sandialabs/sync-journal/journal-sdk:1.0.1
+FROM ghcr.io/sandialabs/sync-journal/journal-sdk:1.0.3
 
-RUN wget https://raw.githubusercontent.com/sandialabs/sync-records/refs/heads/main/lisp/record.scm
-RUN wget https://raw.githubusercontent.com/sandialabs/sync-records/refs/heads/main/lisp/control.scm
-RUN wget https://raw.githubusercontent.com/sandialabs/sync-records/refs/heads/main/lisp/ledger.scm
+ARG REPOSITORY=https://raw.githubusercontent.com/sandialabs/sync-records/28818b41c1660db0eb81b05620972f7220b20b1b/lisp/
+
+RUN wget $REPOSITORY/record.scm
+RUN wget $REPOSITORY/control.scm
+RUN wget $REPOSITORY/ledger.scm
 
 COPY run.sh .
 
-CMD ./run.sh
+ENTRYPOINT ["./run.sh"]

compose/ledger/Dockerfile

@@ -14,10 +14,11 @@ Please set the following environmental variables to configure the notary journal
 - `SECRET` (required): a string used to generate authentication credentials
 - `PORT`: port number to forward on the host machine (default:8192)
 - `PERIODICITY`: a nonnegative integer that determines the period of each synchronization step where period = 2 ^ PERIODICITY
+- `WINDOW`: the number previous unpinned historical states to persist
 
 ## Start
 
-`$ SECRET=password PORT=80 docker compose up --build`
+`$ SECRET=password PORT=80 docker compose up`
 
 ## End
 

compose/ledger/README.md

@@ -3,24 +3,18 @@ networks:
     name: docker
 
 services:
-  cryptography:
-    image: ghcr.io/sandialabs/sync-services/cryptography:1.0.0
-    container_name: cryptography
-    networks:
-      - docker
-
   journal:
-    build:
-      context: .
+    image: ghcr.io/sandialabs/sync-services/ledger:1.0.1
     container_name: journal
     networks:
       - docker
-    depends_on:
-      - cryptography
     environment:
       SECRET: ${SECRET}
       PERIODICITY: ${PERIODICITY:-2}
-      CRYPTOGRAPHY: http://cryptography.docker
+      WINDOW: ${WINDOW:-1024}
+      RUST_LOG: ${RUST_LOG:-INFO}
+    volumes:
+      - database:/srv/database
 
   explorer:
     image: ghcr.io/sandialabs/sync-services/explorer:1.0.0
@@ -42,3 +36,6 @@ services:
       - docker
     ports:
       - "${PORT:-8192}:80"
+
+volumes:
+  database:

compose/ledger/docker-compose.yml

@@ -5,22 +5,12 @@ if [ -z "$SECRET" ]; then
     exit 1
 fi
 
+if [ -z "$WINDOW" ]; then
+    WINDOW="#f"
+fi
+
 record=$( cat record.scm )
 control=$( cat control.scm )
 ledger=$( cat ledger.scm )
 
-check_status() {
-    while true; do
-        echo "Polling for cryptography service"
-	    response=$( wget -qO - "$1" 2>/dev/null)
-	    if [ -n "$response" ]; then
-	        return 0
-	    else
-            sleep 1
-	    fi
-    done
-}
-
-check_status "${CRYPTOGRAPHY}/signature/key/deadbeefdeadbeefdeadbeefdeadbeefdeadbeefdeadbeefdeadbeefdeadbeef"
-
-./journal-sdk -- -b "($record \"$SECRET\" $control ($ledger \"$CRYPTOGRAPHY\" #t #f))" -s "(*step* \"$SECRET\")" -p 80 -c $PERIODICITY
+RUST_LOG=$RUST_LOG ./journal-sdk -b "($record \"$SECRET\" $control ($ledger \"$SECRET\" #f $WINDOW))" -s "(*step* \"$SECRET\")" -p 80 -c $PERIODICITY -d database