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
[]
= "prov-graph"
= "The read core of a prov workspace: documents, links, and the traversal over them"
= true
= true
= true
= true
= true
= true
= true
[]
# Embedded-metadata backend. See the workspace manifest for why the version
# floor is where it is. Which format backends fig compiles in is governed by
# this crate's features below, which `prov` forwards to.
= true
= true
= true
# Opaque document-ID *verification* — the alphabet and check-character
# arithmetic needed to say whether a string is a well-formed id. Minting (the
# seeded PRNG, the retry-on-collision policy) is a write concern and stays in
# `prov`; this crate only ever reads an id someone else issued.
= true
# Body-prose parsing (Djot/Markdown). Zig-backed (its build.rs runs `zig
# build`), so building this crate needs the Zig toolchain. Required, not
# optional: the census scans body `[[wikilinks]]`, and doing that correctly
# means parsing the body well enough to know which spans are code.
= true
[]
# Property-based testing. The laws this crate carries — `resolve ∘ format = id`,
# the id↔path bijection — are already written down in prose, and an example test
# can only witness one input per law. Dev-only, so it costs a downstream
# consumer nothing.
= "1"
[]
= ["yaml"]
= ["fig/yaml"]
= ["fig/json"]
= ["fig/toml"]
= ["fig/fig"]