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
[]
= "lanekeep-engine"
= "Rule execution engine for lanekeep."
= true
= true
= true
= true
= true
= true
= true
= true
= true
[]
# For folding the two engines' host surfaces into one cache-key field. Same digest the cache,
# the config loader and the component loader already key on, so a reader meets one hash across
# the project rather than four.
= { = true }
= { = true }
= { = true }
= { = true }
= { = true }
= { = true }
= { = true }
# For the two cache-key inputs a component run depends on: the hash of the WIT host API and
# whatever is bound beside it, and the hash of the compilation environment `wasmtime` checks a
# precompiled artifact against. Both are read from where they are defined rather than restated
# here, which is what the edge buys — a second copy of a cache-key input is a drift source, and
# the failure it produces is a warm run serving an answer computed under conditions that no
# longer hold. It costs `wasmtime` and `cranelift` in the binary from this point rather than
# from Task 16, which is where the plan expected the edge; the alternative was writing the
# reservation, the guard and the version down twice.
= { = true }
= { = true }
= { = true }
= { = true }
= { = true }
[]
= { = true }
# `benches/crossings.rs` only. The Rust grammar, because its subject is a rule that checks Rust;
# the arena, because the crossing count is taken by replaying the rule against the same
# `NodeArena` both engines call.
#
# Deliberately *not* `lanekeep-rules`, whose component this bench also needs. That crate
# dev-depends on `lanekeep-testkit`, which depends on this one, so a dev-dependency here would
# close a cycle in the publication order — and `cargo publish` resolves a cycle by refusing.
# `crossings.rs` reads the component's bytes from its path instead.
= { = true }
= { = true }
= { = true }
[[]]
= "corpus"
# No harness: this is a budget gate, not a statistical comparison against a stored
# baseline. See the bench's own documentation for why criterion is the wrong shape here.
= false
[[]]
= "crossings"
# No harness, for the same reason `corpus` has none: this measures a difference between two
# matched corpora rather than a distribution, and criterion would time the setup it exists to
# subtract.
= false
[]
= true