Re-exports§
pub use cx::Cx;pub use ecs::ObjectId;pub use ecs::PayloadHash;pub use ecs::SYMBOL_RECORD_MAGIC;pub use ecs::SYMBOL_RECORD_VERSION;pub use ecs::SymbolReadPath;pub use ecs::SymbolRecord;pub use ecs::SymbolRecordError;pub use ecs::SymbolRecordFlags;pub use ecs::SystematicLayoutError;pub use ecs::layout_systematic_run;pub use ecs::reconstruct_systematic_happy_path;pub use ecs::recover_object_with_fallback;pub use ecs::source_symbol_count;pub use ecs::validate_systematic_run;pub use eprocess::EProcessConfig;pub use eprocess::EProcessDecision;pub use eprocess::EProcessOracle;pub use eprocess::EProcessSignal;pub use eprocess::EProcessSnapshot;pub use eprocess::EProcessTelemetryBridge;pub use glossary::ArcCache;pub use glossary::BtreeRef;pub use glossary::Budget;pub use glossary::COMMIT_MARKER_RECORD_V1_SIZE;pub use glossary::ColumnIdx;pub use glossary::CommitCapsule;pub use glossary::CommitMarker;pub use glossary::CommitProof;pub use glossary::CommitSeq;pub use glossary::DecodeProof;pub use glossary::DependencyEdge;pub use glossary::EpochId;pub use glossary::IdempotencyKey;pub use glossary::IndexId;pub use glossary::IntentFootprint;pub use glossary::IntentLog;pub use glossary::IntentOp;pub use glossary::IntentOpKind;pub use glossary::OTI_WIRE_SIZE;pub use glossary::OperatingMode;pub use glossary::Oti;pub use glossary::Outcome;pub use glossary::PageHistory;pub use glossary::PageVersion;pub use glossary::RangeKey;pub use glossary::ReadWitness;pub use glossary::RebaseBinaryOp;pub use glossary::RebaseExpr;pub use glossary::RebaseUnaryOp;pub use glossary::Region;pub use glossary::RemoteCap;pub use glossary::RootManifest;pub use glossary::RowId;pub use glossary::RowIdAllocator;pub use glossary::RowIdExhausted;pub use glossary::RowIdMode;pub use glossary::Saga;pub use glossary::SchemaEpoch;pub use glossary::SemanticKeyKind;pub use glossary::SemanticKeyRef;pub use glossary::Snapshot;pub use glossary::StructuralEffects;pub use glossary::SymbolAuthMasterKeyCap;pub use glossary::SymbolValidityWindow;pub use glossary::TableId;pub use glossary::TxnEpoch;pub use glossary::TxnId;pub use glossary::TxnSlot;pub use glossary::TxnToken;pub use glossary::VersionPointer;pub use glossary::WitnessIndexSegment;pub use glossary::WitnessKey;pub use glossary::WriteWitness;pub use value::SqliteValue;
Modules§
- cx
- Capability context (
Cx) for FrankenSQLite. - ecs
- ECS (Erasure-Coded Stream) substrate types.
- encoding
- Canonical endian helpers for on-disk/wire encodings (§1.5, bd-22n.7).
- eprocess
- Lightweight e-process oracle for statistical query shedding.
- flags
- glossary
- Glossary types (§0.3).
- limits
- obligation
- Obligation (linear resource) tracking for cancellation-safe two-phase protocols (§4.13).
- opcode
- record
- SQLite record format serialization and deserialization.
- serial_
type - sync_
primitives - Platform-agnostic sync primitives for FrankenSQLite.
- value
Structs§
- BTree
Page Header - Parsed B-tree page header.
- Database
Header - The 100-byte database file header layout.
- Freeblock
- A freeblock entry in a B-tree page freeblock list.
- Invalid
Page Number - Error returned when attempting to create a
PageNumberfrom 0. - Page
Data - Raw page data as an owned byte buffer.
- Page
Number - A page number in the database file.
- Page
Number Hasher - Fast identity hasher for
PageNumberkeys in lock/commit tables. - Page
Size - Database page size in bytes.
- Strict
Type Error - Error returned when a value violates a STRICT table column type constraint.
Enums§
- BTree
Page Error - Errors that can occur while parsing B-tree page layout structures.
- BTree
Page Type - B-tree page types.
- Checkpoint
Mode - WAL checkpoint mode.
- Database
Header Error - Errors that can occur while parsing or validating the 100-byte database header.
- Database
Open Mode - Database file open mode derived from the header’s read/write version bytes.
- Journal
Mode - Journal mode for the database connection.
- Lock
Level - Lock level for database file locking (SQLite’s five-state lock).
- Merge
Page Kind - SQLite page categories relevant to merge safety policy.
- Storage
Class - The five fundamental SQLite storage classes.
- Strict
Column Type - Column types valid in STRICT tables.
- Synchronous
Mode - Synchronous mode for database writes.
- Text
Encoding - Encoding used for text in the database.
- Type
Affinity - SQLite type affinity, used for column type resolution.
Constants§
- BTREE_
MAX_ FRAGMENTED_ FREE_ BYTES - Maximum number of fragmented free bytes allowed on a B-tree page header.
- DATABASE_
HEADER_ MAGIC - The magic string at the start of every SQLite database file.
- DATABASE_
HEADER_ SIZE - Size of the database file header in bytes.
- FRANKENSQLITE_
SQLITE_ VERSION_ NUMBER - SQLite version number written into the database header for FrankenSQLite-created databases.
- MAX_
FILE_ FORMAT_ VERSION - Maximum SQLite file format version supported by this codebase.
Functions§
- gf256_
add_ byte - GF(256) addition (
+) for bytes (XOR). - gf256_
inverse_ byte - Multiplicative inverse in GF(256) (
Nonefor zero). - gf256_
mul_ byte - Scalar GF(256) multiply with irreducible polynomial
0x11d. - would_
exceed_ fragmented_ free_ bytes - Determine if adding
additionalfragmented bytes would exceed the maximum allowed.
Type Aliases§
- Page
Number Build Hasher - BuildHasher for
PageNumberHasher.