wasm4pm 26.6.12

High-performance process mining algorithms in WebAssembly for JavaScript/TypeScript
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
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169


# CI/Lint Enforcement
check-all:
	cargo fmt --check
	cargo clippy -- -D warnings
	npm run lint

# Type Generation
generate-types:
	cargo test -p wasm4pm ts_rs_export --features bcinr
	@echo "Types generated successfully in target/ts-rs"

# ── Benchmarks ────────────────────────────────────────────────────────────────
# bench       — fast mode (default): 1 input size, 10 samples, ~4s total
# bench-smoke — smoke mode: run each benchmark once, no timing, ~2s total
# bench-full  — full mode (opt-in): 3 input sizes, 20 samples, ~30s per binary
CORE_BENCHES = --bench tier1_discovery --bench analytics \
  --bench streaming_algorithms --bench streaming_vs_batch \
  --bench oracle_rank_validation --bench prediction_baseline_comparison \
  --bench ocel_flattening --bench ml_algorithms --bench conformance

bench:
	cargo bench $(CORE_BENCHES)

bench-smoke:
	cargo bench $(CORE_BENCHES) -- --test 2>&1 | grep -E 'ok|FAILED'

bench-full:
	BENCH_FULL=1 cargo bench $(CORE_BENCHES)

# ── Real-Data Substrate Certificate ──────────────────────────────────────────
VERSION    := 26.5.21
CERT_DIR   := target/wasm4pm-v$(VERSION)

REAL_DATA_TESTS := \
  real_data_algo_validation \
  pm4py_cross_validation \
  filter_real_data_tests \
  powl_and_prediction_real_data_tests \
  ml_real_data_tests \
  analytics_real_data_tests \
  ocel_real_data_tests \
  conformance_real_data_tests \
  remaining_capabilities_real_data_tests \
  coverage_gap_real_data_tests

.PHONY: real-data real-data-full fake-audit substrate-cert \
        algo-registry bench-real-data bench-real-data-full bench-report \
        substrate-certificate substrate-readiness

real-data:
	@mkdir -p $(CERT_DIR)
	@echo "=== real-data: running $(words $(REAL_DATA_TESTS)) test files ==="
	@REPORT="$(CERT_DIR)/real-data-report.json"; \
	printf '{"version":"$(VERSION)","files":[' > "$$REPORT"; \
	first=1; total_passed=0; total_failed=0; \
	for t in $(REAL_DATA_TESTS); do \
	  echo "  $$t"; \
	  raw=$$(cargo test --test $$t 2>&1 || true); \
	  passed=$$(printf '%s' "$$raw" | grep -oE '[0-9]+ passed' | grep -oE '[0-9]+' || echo 0); \
	  failed=$$(printf '%s' "$$raw" | grep -oE '[0-9]+ failed' | grep -oE '[0-9]+' || echo 0); \
	  status=ok; \
	  printf '%s' "$$raw" | grep -q 'test result: FAILED' && status=FAILED || true; \
	  total_passed=$$((total_passed + passed)); \
	  total_failed=$$((total_failed + failed)); \
	  rec=$$(printf '{"file":"%s","passed":%s,"failed":%s,"status":"%s"}' "$$t" "$$passed" "$$failed" "$$status"); \
	  if [ "$$first" = "1" ]; then printf '%s' "$$rec" >> "$$REPORT"; first=0; \
	  else printf ',%s' "$$rec" >> "$$REPORT"; fi; \
	done; \
	printf '],"summary":{"total_passed":%s,"total_failed":%s}}' $$total_passed $$total_failed >> "$$REPORT"; \
	echo "real-data: $$total_passed passed / $$total_failed failed"; \
	echo "report: $$REPORT"; \
	[ "$$total_failed" -eq 0 ] || exit 1

real-data-full:
	@mkdir -p $(CERT_DIR)
	@echo "=== real-data-full: --all-features ==="
	@REPORT="$(CERT_DIR)/real-data-report.json"; \
	printf '{"version":"$(VERSION)","mode":"all-features","files":[' > "$$REPORT"; \
	first=1; total_passed=0; total_failed=0; \
	for t in $(REAL_DATA_TESTS); do \
	  echo "  $$t (--all-features)"; \
	  raw=$$(cargo test --test $$t --all-features 2>&1 || true); \
	  passed=$$(printf '%s' "$$raw" | grep -oE '[0-9]+ passed' | grep -oE '[0-9]+' || echo 0); \
	  failed=$$(printf '%s' "$$raw" | grep -oE '[0-9]+ failed' | grep -oE '[0-9]+' || echo 0); \
	  status=ok; \
	  printf '%s' "$$raw" | grep -q 'test result: FAILED' && status=FAILED || true; \
	  total_passed=$$((total_passed + passed)); \
	  total_failed=$$((total_failed + failed)); \
	  rec=$$(printf '{"file":"%s","passed":%s,"failed":%s,"status":"%s"}' "$$t" "$$passed" "$$failed" "$$status"); \
	  if [ "$$first" = "1" ]; then printf '%s' "$$rec" >> "$$REPORT"; first=0; \
	  else printf ',%s' "$$rec" >> "$$REPORT"; fi; \
	done; \
	printf '],"summary":{"total_passed":%s,"total_failed":%s}}' $$total_passed $$total_failed >> "$$REPORT"; \
	echo "real-data-full: $$total_passed passed / $$total_failed failed"; \
	[ "$$total_failed" -eq 0 ] || exit 1

fake-audit:
	@mkdir -p $(CERT_DIR)
	@OUTPUT_FILE="$(CURDIR)/$(CERT_DIR)/fake-stub-audit.json" \
	  bash ../scripts/fake-stub-audit.sh

substrate-cert: real-data fake-audit
	@REAL_DATA_REPORT="$(CURDIR)/$(CERT_DIR)/real-data-report.json" \
	  FAKE_AUDIT="$(CURDIR)/$(CERT_DIR)/fake-stub-audit.json" \
	  OUTPUT_FILE="$(CURDIR)/$(CERT_DIR)/substrate-certificate.json" \
	  RELEASE="$(VERSION)" \
	  bash ../scripts/substrate-cert.sh
	@echo "certificate: $(CERT_DIR)/substrate-certificate.json"

# ─────────────────────────────────────────────────────────────────────────────
# BENCHMARK SUITE TARGETS (v26.5.15+)
# ─────────────────────────────────────────────────────────────────────────────

algo-registry:
	@mkdir -p $(CERT_DIR)
	@cd "$(CURDIR)/.." && python3 scripts/generate_algorithm_registry.py \
	  --src-dir wasm4pm/src \
	  --tests-dir wasm4pm/tests \
	  --criterion-dir target/criterion \
	  --output "$(CURDIR)/$(CERT_DIR)/algorithm-registry.json" \
	  --version $(VERSION)

bench-real-data: real-data
	@mkdir -p $(CERT_DIR)
	@cd "$(CURDIR)/.." && python3 scripts/parse_criterion_output.py \
	  --criterion-dir target/criterion \
	  --output "$(CURDIR)/$(CERT_DIR)/criterion-results.json"

bench-real-data-full:
	cargo bench --release -- fast_algorithms slow_algorithms streaming_algorithms analytics conformance_bench 2>&1 | tail -5 || true
	@$(MAKE) bench-real-data

bench-report: algo-registry
	@mkdir -p $(CERT_DIR)
	@cd "$(CURDIR)/.." && python3 scripts/generate_benchmark_report.py \
	  --registry "$(CURDIR)/$(CERT_DIR)/algorithm-registry.json" \
	  --criterion "$(CURDIR)/$(CERT_DIR)/criterion-results.json" \
	  --output-json "$(CURDIR)/$(CERT_DIR)/benchmark-report.json" \
	  --output-md "$(CURDIR)/$(CERT_DIR)/benchmark-report.md" \
	  --version $(VERSION)
	@cd "$(CURDIR)/.." && python3 scripts/generate_blue_ocean_summary.py \
	  --report "$(CURDIR)/$(CERT_DIR)/benchmark-report.json" \
	  --output "$(CURDIR)/$(CERT_DIR)/executive-blue-ocean-summary.md"

substrate-certificate: substrate-cert bench-report
	@cd "$(CURDIR)/.." && python3 scripts/generate_capability_matrix.py \
	  --src-dir wasm4pm/src \
	  --tests-dir wasm4pm/tests \
	  --cargo-toml wasm4pm/Cargo.toml \
	  --output "$(CURDIR)/$(CERT_DIR)/capability-matrix.json" \
	  --version $(VERSION)
	@cd "$(CURDIR)/.." && python3 scripts/update_substrate_cert.py \
	  --cert "$(CURDIR)/$(CERT_DIR)/substrate-certificate.json" \
	  --artifacts \
	    "$(CURDIR)/$(CERT_DIR)/algorithm-registry.json" \
	    "$(CURDIR)/$(CERT_DIR)/benchmark-report.json" \
	    "$(CURDIR)/$(CERT_DIR)/real-data-report.json" \
	    "$(CURDIR)/$(CERT_DIR)/capability-matrix.json" \
	    "$(CURDIR)/$(CERT_DIR)/fake-stub-audit.json"
	@echo "substrate-certificate: $(CERT_DIR)/substrate-certificate.json"

substrate-readiness: substrate-certificate
	@python3 -c "\
import json, sys; \
cert = json.load(open('$(CURDIR)/$(CERT_DIR)/substrate-certificate.json')); \
val = cert.get('certificate_value', ''); \
sys.exit(0) if val != 'RefusedUntilBlockersResolved' else (print('GATE FAILED:', val) or sys.exit(1)); \
print('GATE PASSED:', val)"