invariant-path/Justfile at main · hyperpolymath/invariant-path · GitHub

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
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
import? "contractile.just"

# Invariant Path - Justfile
# Build automation and development tasks

# Default target
default:
    just --list

# Build the project
build:
    cargo build --release

# Run the CLI
run-cli:
    cargo run --release --bin invariant-path-cli

# Ground the AffineScript "different faces, same cube" invariant (faces profile)
same-cube corpus="examples/same-cube/greet":
    ./scripts/verify-same-cube.sh {{corpus}} --out .machine_readable/audits/same-cube.jsonl

# Machine-check the same-cube proofs (Agda, --safe)
proofs:
    agda --safe proofs/SameCube.agda

# Run the TUI
run-tui:
    ./invariant-path-launcher --auto

# Build and run
build-run:
    just build
    just run-tui

# Run tests
test:
    cargo test

# Format code
fmt:
    cargo fmt

# Lint code
lint:
    cargo clippy

# Clean build artifacts
clean:
    cargo clean
    rm -f /tmp/invariant-path-last-scan.json /tmp/invariant-path-launcher.log

# Install desktop integration
install:
    cp invariant-path-launcher /var/mnt/eclipse/repos/.desktop-tools/invariant-path-launcher.sh
    chmod +x /var/mnt/eclipse/repos/.desktop-tools/invariant-path-launcher.sh

# Scan current directory
scan:
    ./invariant-path-launcher --scan . generic

# Open last scan output
open-output:
    ./invariant-path-launcher --open-output

# Show status
status:
    ./invariant-path-launcher --status

# Start server
start:
    ./invariant-path-launcher --start

# Stop server
stop:
    ./invariant-path-launcher --stop

# Web UI (experimental)
web:
    ./invariant-path-launcher --web

# Cross-launch NQC
nqc:
    /var/mnt/eclipse/repos/nextgen-databases/nqc/nqc-launcher.sh --auto

# Show help
help:
    just --list