Folder
Homonyms
soft3/cli
soft3 CLI `soft3` β command-line interface to the soft3 stack. commands implementation Rust binary. depends on: `hemera` (particle computation) `bbg` (proof verification) `lens` (Lens opening verification) not yet implemented β scaffold only. blocked on: BBG proof serialisation (serde forβ¦
trident/src/cli
cli
soft3/hemera/cli
cli
trident/reference/cli
β¨οΈ CLI Reference [β Language Reference](/trident/reference/language) Three-Register Flags Trident uses a **three-register** naming model for targets. Each register has two synonyms β one *geeky* (technical) and one *gamy* (metaphorical) β plus a *universal* shorthand for backward compatibility. |β¦