xpile-contract-backend 0.1.37

Contract backend trait — proof-lane sibling of Backend. Renders contracts as LaTeX / Lean theorems / mdBook.

Coverage
68.42%
13 out of 19 items documented0 out of 7 items with examples
Size
Source code size: 11.98 kB This is the summed size of all the files inside the crates.io package for this release.
Documentation size: 630.28 kB This is the summed size of all files generated by rustdoc for all configured targets
Ø build duration
this release: 14s Average build duration of successful builds.
all releases: 17s Average build duration of successful builds in releases after 2024-10-23.
Links
paiml/xpile
1 0 0
crates.io
Dependencies
Versions
Owners

ContractBackend trait — proof-lane rendering abstraction.

Renders parsed [xpile_contracts::Contract] into LaTeX (math + theorem environments), Lean 4 theorem text (with @[xpile_contract] attribute carrying the verbatim contract ID), or mdBook.

Architectural invariants codified in contracts/xpile-contract-backend-trait-v1.yaml. The citation bridge uses format-native structured constructs parseable by the host elaborator/parser, NOT regex over body text. See docs/specifications/sub/contract-backend-trait.md §"Citation bridge".