lsp-max 26.7.3

Law-state LSP runtime: max LSP 3.18 coverage, process-mining conformance, receipt-chain admission
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17

id = "ggen-pack-gall-checkpoint-proof"
name = "Gall Checkpoint Proofs"
version = "1.0.0"
description = "Projected test artifacts for Gall Checkpoints"
license = "MIT"
query_aliases = {}
dependencies = {}

[[templates]]
path = "templates/dogfood_gc002.rs.tmpl"
description = "Dogfood test for GC002"
variables = ["checkpoint", "boundary"]

[[templates]]
path = "templates/dogfood_gc003.rs.tmpl"
description = "Dogfood test for GC003"
variables = ["checkpoint", "equation", "proofs"]