capdag resolves caps against fabric manifest 10. It adds vol to rolling-statistic: a series’
rolling standard deviation scaled to a year, computed when periods-per-year is given and
refused, naming the argument, when it is not. A cartridge or host built for manifest 9 is listed
as incompatible until it is rebuilt for 10.
The proved model’s generated code runs on lungo 1.112.74 in the Rust, Go, Python and Swift
libraries. Each generated function names its Lean source relative to the formal package
(CapDAG/Route.lean:30) rather than to the repository that holds it, and the build record names
lungo’s sources by package (<package:lungo>/Lungo.lean) rather than by where they sat beside
the checkout that generated the code.
A cartridge scaffolded with capdag new is built against this release’s fabric manifest.
Fixes
On Windows, capdag’s Go library writes a path in its errors as the path is, without every
backslash doubled: cartridge discovery, the dev tools and the media profile cache quoted paths in
Go syntax, so C:\Users\… read C:\\Users\\….