Crate fsqlite_types 

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 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).

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

value

Structs

BTreePageHeader

Parsed B-tree page header.

DatabaseHeader

The 100-byte database file header layout.

Freeblock

A freeblock entry in a B-tree page freeblock list.

InvalidPageNumber

Error returned when attempting to create a PageNumber from 0.

PageData

Raw page data as an owned byte buffer.

PageNumber

A page number in the database file.

PageNumberHasher

Fast identity hasher for PageNumber keys in lock/commit tables.

PageSize

Database page size in bytes.

StrictTypeError

Error returned when a value violates a STRICT table column type constraint.

Enums

BTreePageError

Errors that can occur while parsing B-tree page layout structures.

BTreePageType

B-tree page types.

CheckpointMode

WAL checkpoint mode.

DatabaseHeaderError

Errors that can occur while parsing or validating the 100-byte database header.

DatabaseOpenMode

Database file open mode derived from the header’s read/write version bytes.

JournalMode

Journal mode for the database connection.

LockLevel

Lock level for database file locking (SQLite’s five-state lock).

MergePageKind

SQLite page categories relevant to merge safety policy.

StorageClass

The five fundamental SQLite storage classes.

StrictColumnType

Column types valid in STRICT tables.

SynchronousMode

Synchronous mode for database writes.

TextEncoding

Encoding used for text in the database.

TypeAffinity

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) (None for zero).

gf256_mul_byte

Scalar GF(256) multiply with irreducible polynomial 0x11d.

would_exceed_fragmented_free_bytes

Determine if adding additional fragmented bytes would exceed the maximum allowed.

Type Aliases

PageNumberBuildHasher

BuildHasher for PageNumberHasher.