affidavit 26.6.22

Provenance Layer — receipt assembly and certification (verify a witness against a format standard; never decide honesty).
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

# justfile — convenient task runner for the affidavit repo.
#
# Run `just` (or `just --list`) to see available recipes.
#
# NOTE ON RUST RECIPES: the `affidavit` crate depends on FIVE sibling PATH
# crates that live OUTSIDE this repo (../clap-noun-verb, ../wasm4pm*,
# ../lsp-max, ../clnrm/..., ../chicago-tdd-tools). `rust-build`, `rust-test`,
# and `golden` therefore only work when that full sibling workspace is checked
# out alongside this repo. `fmt`/`fmt-check` need no dependencies and always
# work. The web recipes are fully self-contained.

# Default: list all available recipes.
default:
    @just --list

# --- web (self-contained Next.js app, Node 22) -----------------------------

# Start the Next.js dev server.
web-dev:
    cd web && npm run dev

# Clean install + production build of the web app.
web-build:
    cd web && npm ci && npm run build

# Type-check the web app (no ESLint config in this repo; tsc is the gate).
web-check:
    cd web && npx tsc --noEmit

# --- rust formatting (needs NO sibling crates — always works) ---------------

# Format all Rust code in place.
fmt:
    cargo fmt --all

# Check Rust formatting without modifying files (the CI gate).
fmt-check:
    cargo fmt --all -- --check

# --- rust build/test (REQUIRE the sibling PATH crates; see header) ----------

# Build the crate. NOTE: needs the sibling path-crates listed in the header.
rust-build:
    cargo build

# Run the test suite. NOTE: needs the sibling path-crates listed in the header.
rust-test:
    cargo test

# End-to-end golden smoke test. NOTE: runs the `affi` binary via `cargo run`,
# so it needs the sibling path-crates listed in the header.
golden:
    bash examples/golden_run.sh