Experimental DeltaQ analysis of transaction lifecycle (#311)

* Nix flake for Jupyter environment with Haskell deltaq
* Completed (non-QAed) delta-q analysis of tx lifecycle
* Updated logbook

Author: bwbush

Logbook.md

@@ -1,5 +1,11 @@
 # Leios logbook
 
+## 2025-04-28
+
+### Delta-QSD analysis of transaction lifecycle
+
+An experimental Delta-QSD expression was created for computing the delay between transaction submission and its referencing by a Praos block: see [analysis/deltaq/tx-lifecycle.ipynb](analysis/deltaq/tx-lifecycle.ipynb).
+
 ## 2025-04-25
 
 ### Draft CIP

analysis/deltaq/.gitignore

@@ -0,0 +1,2 @@
+.jupyter/
+.ipynb_checkpoints/

analysis/deltaq/Installation.md

@@ -0,0 +1,72 @@
+# Jupyter kernel for DeltaQ
+
+A customized Jupyter iHaskell kernel for use with the [deltaq](https://github.com/DeltaQ-SD/deltaq) tool.
+
+
+## Running a Jupyter server using Nix
+
+Launch Jupyter with the iHaskell kernel including the `deltaq` and `probability-polynomial` packages:
+
+```bash
+nix run
+```
+
+In fact, this Jupyter kernel can be launced without directly cloning this repository:
+
+```bash
+nix run github:functionally/deltaq-jupyter
+```
+
+## Docker
+
+
+### Building a docker image using Nix
+
+First build the image.
+
+```console
+$ nix build -o deltaq-jupyter-docker.tar.gz ".#docker"
+
+$ docker load --quiet < deltaq-jupyter-docker.tar.gz
+Loaded image: localhost/jupyter-deltaq:2mf9zcagms0isg5n94xsml34kj4bn42k
+```
+
+
+### Push to docker registry
+
+You can push the image to a registry.
+
+```bash
+docker push localhost/jupyter-deltaq:2mf9zcagms0isg5n94xsml34kj4bn42k \
+            docker.io/bwbush/jupyter-deltaq:2mf9zcagms0isg5n94xsml34kj4bn42k
+```
+
+
+### Run the server in docker.
+
+You can run the local image, exposing the service on port 9999 for example. The container should have at least 4 GB of memory and two CPUs, but larger computations require more memory. If you deploy this on kubernetes, you can use the HTTP path `/api` as the health check.
+
+Locally, 
+
+```bash
+docker run --publish 9999:8888 localhost/jupyter-deltaq:2mf9zcagms0isg5n94xsml34kj4bn42k
+```
+
+or from DockerHub,
+
+```bash
+docker run --publish 9999:8888 ghcr.io/functionally/deltaq-jupyter:latest
+```
+
+The default password is `deltaq`: you can change this by visiting http://localhost:9999/lab in a web browser. Alternatively, you can use with the default password by visiting http://localhost:9999/lab?token=deltaq.
+
+Use the "upload" and "download" features to move notebooks in and out of the container.
+
+
+## Updates
+
+In order to use the latest version of the `deltaq` packages, update the nix flake.
+
+```bash
+nix flake lock --update-input deltaq 
+```