Home / Status
Where every part actually stands.
Each area of x64base grows at its own rate, and this is the only page where those rates live. Entries are promoted when their evidence exists and demoted the day it stops holding. Work that has not started is listed too — an absence you cannot see is a claim by omission.
Storage
Three DBF flavors, one binary
Classic x32 DBF, Visual FoxPro DBF, and the x64 DBF_64 format all open in the same runtime. Flavor is a property of the table, not of the build.
Evidence: REGRESSION RUN INDEX_X32 / INDEX_X64; teaching datasets in all three formats
64-bit table headers and geometry
x64 headers carry 64-bit record-count and geometry fields. Some shared runtime paths still have compatibility gates to audit and widen.
Evidence: DBF_64 reference; capacity matrix
Payload-agnostic memos
x64 memos do not inspect what they store, and a seeded stress harness now proves it: six chaotic operation patterns, payloads including embedded NUL and high bytes, byte-compared against a shadow model every generation across repeated close/reopen cycles.
Evidence: memo_zoo harness: 20,500 generations / 104,044 ops / 4 seeds / 0 divergences, 2026-08-11
Memo-resident mini-databases
A memo field carrying an entire small database as a teaching payload. The first increment is now runtime-proven: a whole database posture (43 work areas, 58 relations) saves into a memo field and restores from inside the table, oracle-verified. The full mini-database remains chartered until a database, not a posture, lives in the memo.
Evidence: WORKSPACE_MEMO regression, 2026-08-11; virtual-workspaces design package, 2026-07-28
Indexing
CDX with an LMDB-backed key store
The x64-generation index. Attach, rebuild, order, and seek are published seams rather than sealed internals.
Evidence: Index regressions; CDX / LMDB reference
INX and CNX classic-generation indexes
The classic index containers, with flavor-correct ordering behavior.
Evidence: REGRESSION RUN INDEX_X32
CNX attached to an x64 table
Cross-generation attachment is policy, not accident: permitted with an advisory, with REINDEX routing correctly and the CDX default unchanged.
Evidence: REGRESSION RUN INDEX_X64_CNX
CDX attached to a classic table
The mirror direction. Registered, awaiting its proof.
Evidence: —
Memory
Whole tables and indexes in RAM
An in-process virtual disk hosts complete x64 tables and their native CDX indexes with zero files on disk: built, indexed, traversed in order, then torn down.
Evidence: REGRESSION RUN MEM; residency checkpoints in transcript
Relations
Positional relation traversal
Classic SET RELATION navigation, where the parent cursor drives the child, over a declared relation graph.
Evidence: REGRESSION RUN CASCADE_ENV
Set-oriented SELECT over the same graph
The house SELECT answers the same question as the positional walker over a 34-table schema with 58 foreign-key relations — and agrees, down to the record.
Evidence: REGRESSION RUN CASCADE_ENV (both walkers, 2026-08-10)
SELECT verified against a SQLite oracle
Selection, projection, ORDER BY, LIMIT, and COUNT(*) are each checked against an in-process SQLite implementation. Every shipped operator has an external referee.
Evidence: SQLSEL_SELECT_V1
Joins in the house SELECT
The set algebra is being built one operator at a time. Joins are a later operator, not a present one.
Evidence: —
Whole-database posture from one file
One command captures open areas, attached indexes, selected tag orders, aliases, and declared relations to a plain-text snapshot; one command restores all of it. The standing demonstration restores 43 work areas and 58 relations.
Evidence: workspaces/cascade_all.dtschema; CASCADE_ENV §2
Shell
Command surface over work areas
Tables, areas, structure inspection, navigation, seeking, filtering, and cursor control.
Evidence: Session transcripts; command catalog
Buffered editing and rollback
Record locking, dirty and stale state, buffered edits, commit and rollback, and mutation-sensitive commands.
Evidence: Session transcripts
Script mode
Command files with variables, comments, line continuation, IF/ELSE, LOOP, WHILE, UNTIL, SCAN, and one level of subscript nesting.
Evidence: Script language guide
CSV import and export
Round-trip between delimited files and DBF tables.
Evidence: Command catalog
DDL schema fetch, validate, create
Schema surfaces over DBF, with implementation caveats documented rather than smoothed over.
Evidence: Command catalog; documented caveats
SQLite as a companion carrier
SQLite is compiled in both as a second carrier for teaching systems and as the verification instrument for the house SELECT. Competing with it and using it as referee are the same decision.
Evidence: ERP CHECK scorecards; SQLSEL_SELECT_V1
Architecture
Separate libraries, separate responsibilities
Tables, indexes, memo storage, the expression evaluator, the value system, and the TUI link as distinct libraries under one command host. Every seam is a real compilation boundary, checkable in one build log.
Evidence: CMake target list in any build transcript
Engine core independent of any front end
Ordering, cursor state, relations, validation, and command execution live in the engine and the shell, never duplicated in interface code. A front end can be added or removed without the database behaving differently.
Evidence: Architecture reference
Interfaces
Terminal shell
The primary surface, and the one everything else is measured against.
Evidence: Session transcripts
TUI workbench
A full-screen text interface over the same engine truth.
Evidence: Build targets
wxWidgets GUI workbench
The C++ desktop lane. Runs, still moving.
Evidence: Build targets
Interface definition language
Menus, windows, dialogs, controls, and event handlers described as data. A direction, not current syntax.
Evidence: —
Teaching
Labs and teaching commands
Hands-on surfaces for character encoding, index internals, historical data models, and normalization — meant to be watched, not just run.
Evidence: Command catalog; curriculum notes
Teaching datasets
The same datasets ship in x64, x32, and Visual FoxPro form, plus a reference copy, so a lesson can compare flavors directly.
Evidence: Repository datasets
Lesson modules as portable units
A lesson travelling as a self-contained package. Designed; not built.
Evidence: —
Distribution
Cross-platform build
Windows and WSL/Linux build lanes are in active use. Recipes are being curated into the public docs.
Evidence: CMake and vcpkg metadata
Tagged release with binaries
No release has been published. Until one is, nothing here can be run by a stranger.
Evidence: —
Final license text
GPL-3.0-only. The LICENSE file is committed to the development tree.
Evidence: commit 2dbc29c8f, 2026-08-11