tree_package
List, install, uninstall, or publish shared semantic packages of vocabulary, rules, and solvers. Publish is proof-gated: examples must exercise every rule and pass before pinning.
Instructions
The semantic package library — capitalized vocabulary, rules and solvers, shared across every account on this server. No arguments: list the library and this workspace's pins. install='name@version' pins a package — its whole dependency closure applies (its requires, transitively), your own entries always winning; a broken closure (missing dep, two versions of one name) is refused at pin time. The pin records the package's content digest, so it keeps meaning these exact semantics even against another library. uninstall removes the pin. publish submits {name, version, description, requires: [{name, version}], vocabulary, rules, solvers: [{name, description, reads, wasm_b64, medium: wasm|web|prose}], examples}. Publishing is proof-gated: every rule must be exercised by the package's own examples and pass — examples run with the requires closure staged beneath, so extending packages prove themselves in the semantics they will live in; every wasm solver must meet the ABI (web/prose artifacts are stored content-addressed, served from artifact://{sha}, never executed). requires pin exact versions of already-published packages. Versions are immutable — ship a new one to evolve.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| name | No | ||
| install | No | ||
| publish | No | ||
| uninstall | No |
Output Schema
| Name | Required | Description | Default |
|---|---|---|---|
| result | Yes |