vole-document 0.1.0-alpha.16

Persistent procedural document runtime: byte-exact reconstruction plus a content-addressed procedural seed DAG, queryable observations with provenance, and selective late materialization.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61

name: ci

# CI invokes exactly the same Docker paths as local development. There is no
# separate "CI build"; the pinned images in Dockerfile/compose.yaml are the only
# toolchains, and digests are recorded in receipts.

on:
  push:
  pull_request:

jobs:
  stable:
    name: stable (Rust 1.99.0)
    runs-on: ubuntu-latest
    steps:
      - uses: actions/checkout@v4
      - name: Build pinned dev image
        run: docker compose build dev
      - name: Format
        run: docker compose run --rm --no-TTY dev cargo fmt --all --check
      - name: Clippy
        run: docker compose run --rm --no-TTY dev cargo clippy --all-targets --all-features -- -D warnings
      - name: Test (all features, replay stack)
        run: docker compose run --rm --no-TTY dev cargo test --all-features --locked
      - name: Test (default features, permissive-only)
        run: docker compose run --rm --no-TTY dev cargo test --locked
      - name: Test (no default features)
        run: docker compose run --rm --no-TTY dev cargo test --no-default-features --locked

  msrv:
    name: msrv (Rust 1.89.0)
    runs-on: ubuntu-latest
    steps:
      - uses: actions/checkout@v4
      - name: Build pinned msrv image
        run: docker compose build msrv
      - name: Build on MSRV
        run: docker compose run --rm --no-TTY msrv cargo build --locked --all-features

  exact-court:
    name: phase 1 exact court
    runs-on: ubuntu-latest
    needs: stable
    steps:
      - uses: actions/checkout@v4
      - name: Build pinned dev image
        run: docker compose build dev
      - name: Run exact court
        run: docker compose run --rm --no-TTY dev sh tools/phase1-court.sh

  policy:
    name: dependency policy (audit + deny)
    runs-on: ubuntu-latest
    steps:
      - uses: actions/checkout@v4
      - name: Build pinned policy image
        run: docker compose build policy
      - name: cargo audit
        run: docker compose run --rm --no-TTY policy cargo audit
      - name: cargo deny
        run: docker compose run --rm --no-TTY policy cargo deny check