wasm4pm-compat 26.6.5

Minimal paper-complete, feature-capped Rust process-evidence crate. Start with compatibility. Graduate to execution.
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
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
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122

[config]
default_to_workspace = false

# ---------------------------------------------------------------------------
# Core dev loop
# ---------------------------------------------------------------------------

[tasks.check]
description = "Fast type check — default profile (formats feature on)"
command = "cargo"
args = ["check"]

[tasks.check-all]
description = "Type check all features"
command = "cargo"
args = ["check", "--all-features"]

[tasks.build]
description = "Build — default profile"
command = "cargo"
args = ["build"]

[tasks.build-all]
description = "Build — all features"
command = "cargo"
args = ["build", "--all-features"]

[tasks.test]
description = "Run unit + integration tests — default profile"
command = "cargo"
args = ["test", "--tests"]

[tasks.test-all]
description = "Run unit + integration tests — all features"
command = "cargo"
args = ["test", "--all-features", "--tests"]

[tasks.test-minimal]
description = "Run tests — base profile only (no Cargo features)"
command = "cargo"
args = ["test", "--no-default-features", "--tests"]

# ---------------------------------------------------------------------------
# Explicit opt-in surfaces (not part of daily dev loop)
# ---------------------------------------------------------------------------

[tasks.alive]
description = "ALIVE gate — type-law receipt tests (trybuild compile-fail/pass fixtures)"
command = "cargo"
args = ["test", "--test", "ui_tests", "--", "--ignored"]

[tasks.doc-test]
description = "Documentation audit — explicit opt-in (slow on nightly)"
command = "cargo"
args = ["test", "--doc", "--all-features"]

[tasks.doc]
description = "Build documentation — all features"
command = "cargo"
args = ["doc", "--all-features", "--no-deps"]

# ---------------------------------------------------------------------------
# Lint and format
# ---------------------------------------------------------------------------

[tasks.clippy]
description = "Clippy — all features, deny warnings"
command = "cargo"
args = ["clippy", "--all-features", "--", "-D", "warnings"]

[tasks.fmt]
description = "Check formatting"
command = "cargo"
args = ["fmt", "--check"]

[tasks.fmt-fix]
description = "Apply formatting"
command = "cargo"
args = ["fmt"]

# ---------------------------------------------------------------------------
# Feature-specific builds (for CI verification)
# ---------------------------------------------------------------------------

[tasks.build-formats]
description = "Build — formats feature only"
command = "cargo"
args = ["build", "--no-default-features", "--features", "formats"]

[tasks.build-strict]
description = "Build — strict feature only"
command = "cargo"
args = ["build", "--no-default-features", "--features", "strict"]

[tasks.build-wasm4pm]
description = "Build — wasm4pm feature only"
command = "cargo"
args = ["build", "--no-default-features", "--features", "wasm4pm"]

# ---------------------------------------------------------------------------
# ggen provision
# ---------------------------------------------------------------------------

[tasks.ggen-witnesses]
description = "Render src/witnesses.rs from ontology via ggen (witness-markers rule)"
cwd = "ggen"
command = "ggen"
args = ["sync", "--rule", "witness-markers", "--manifest", "ggen.toml"]

[tasks.ggen-witnesses-dry]
description = "Dry run — preview witness-markers render without writing"
cwd = "ggen"
command = "ggen"
args = ["sync", "--rule", "witness-markers", "--dry_run", "true", "--manifest", "ggen.toml"]

# ---------------------------------------------------------------------------
# CI aggregate
# ---------------------------------------------------------------------------

[tasks.ci]
description = "Full CI: check-all, test-all, clippy, fmt, alive"
dependencies = ["check-all", "test-all", "clippy", "fmt", "alive"]