Core Library Overview
The core library provides the standard modules that Sector9 programs use for basic types, collections, system APIs, reusable proof patterns, and verified runtime helpers.
Types and Utilities
Core type aliases and foundational helpers for options, results, and ordering.
Numeric Modules
Numeric types expose verification-friendly operations with explicit contracts and range helpers.
Text, Blob, and Char
Text and binary data helpers with conversions and search utilities. Most of
Collections and Iteration
Common collection abstractions and iteration helpers.
Pure B+Tree Map
A persistent (immutable) B+tree map with structural sharing and a verification-friendly spec model.
Runtime and System Modules
System APIs for canister identity, cycles, time, and low-level memory.
Ghost and Axiom Modules
Spec-only modules provide abstract collections and trusted arithmetic lemmas for verification. Use them to state and prove properties; do not treat them as runtime storage or runtime control-flow helpers.
Protocol Schema
The core library includes higher-level modules for reusable proof patterns, token values, and protocol metadata. These modules are not basic language primitives, but they are part of core/src and should be preferred over ad hoc copies in examples.
Module Reference
38 items