Module context_package 

Re-exports

pub use manifest::PackageLayer;

pub use registry::LocalRegistry;

Modules

addon_manifest

lean-ctx-addon.toml — the authoring manifest, parsed.

addon_wiring

Gateway wiring for kind=addon packages.

addons

kind=addon store layout and module materialization.

addons_build

Build a signed kind=addon package from an authoring directory.

admission

Verify-only admission of hash-bound package content (G01, E3).

content

keys

Publisher signing-key management for ctxpkg (GL #406).

manifest

migration

Byte-preserving migration from the pre-v3.6.14 .lctxpkg name to .ctxpkg.

registry

rights

V02 — no release by mere possession. A package this machine built may leave it; a package it received may be passed on (export, send, publish) only when its author granted that in the manifest (redistributable: true) and the full manifest signature covers the grant. An absent grant, or one an identity-only signature leaves open to edits, is no grant.

selection

V01 — what pack create and ctx_pack create pack: a selection of layers and facts, and a preview that shows exactly that without writing.

signing

skills

kind=skills pack builder (GH #724/#727, Phase 3) — the first signed, versioned, updatable skill channel.

verify

Standalone package verification (spec §8 integrity, §9 signing).

Structs

ContextPackage

A portable, self-contained context package.

PackageBuilder

Functions

auto_load_packages

load_admitted_package

Apply an admitted package to the project’s stores (knowledge, graph, patterns, gotchas, session). The type is the gate: an AdmittedPackage exists only for content that passed the current admission unchanged.

resume_package

Resume a session from a previously saved context package.

save_package

Export the current session as a context package (JSON file).