GROUND
Problem
What becomes confusing, fragile, or impossible without understanding full-text search? This lesson answers that through explanation, a worked example, two runnable exercises, and a reference solution. No teacher-supplied worksheet is required.
WebAssembly brought a portable low-level compilation target to the browser; SQLite brought a mature relational engine into one embedded file.
LEARN
Concept explanation
Full-text search belongs to “Persistent browser database”. full-text search is learned by comparing readable, constrained, and deliberately clever implementations against same evidence.
For full-text search, trace concrete input, state transition, output, and failure through an explicit low-level or relational boundary where memory, crossings, schemas, queries, and persistence costs can be measured.
JavaScript calls into a WASM module whose linear memory and host imports form an explicit boundary. SQLite executes queries over pages, indexes, and a planner. Apply that model to supplied normal, boundary, and failure cases; each case below names its input and expected evidence.
Evidence produced by the full-text search experiment: output, state, trace, bytes, timing, or diagnostics.
Condition that must remain true while inputs or implementation of full-text search change.
Point where full-text search crosses ownership, representation, time, process, network, or trust.
Example bank
Compare normal, boundary, failure, and cross-layer cases. Predict each observation before revealing the explanation.
SETUPSolve full-text search three ways using identical fixture: Persist notes DB, reload, migrate schema, and export backup.
OBSERVEAll versions preserve Reload preserves data; migration is idempotent; backup round trip and failure recovery are demonstrated.; comparison records code size, predictability, and debugging cost.
WHY IT MATTERSThis isolates the normal contract of full-text search; preserve its raw evidence as the control for every later comparison.
SETUPRun all three implementations against: Index multilingual full-text content and reopen in new session.
OBSERVERecord what remains invariant and the first representation, owner, size, or timing value that changes in WASM debugger · SQLite CLI · EXPLAIN QUERY PLAN · OPFS.
WHY IT MATTERSA boundary example is useful only when one named dimension changes and everything else stays comparable.
SETUPForce every implementation through: Interrupt migration or import corrupt backup and recover previous version.
OBSERVECapture the first divergence from the baseline, including exact input, diagnostic, state, and recovery result. Expected recovery: All versions preserve Reload preserves data; migration is idempotent; backup round trip and failure recovery are demonstrated.; comparison records code size, predictability, and debugging cost.
WHY IT MATTERSThe diagnostic is part of the interface. Repair the proven cause, not the most visible symptom.
SETUPTrace full-text search one layer below its usual abstraction through an explicit low-level or relational boundary where memory, crossings, schemas, queries, and persistence costs can be measured.
OBSERVEInspect module exports, memory, JS/WASM crossings, schemas, indexes, transactions, query plans, OPFS files, and recovery.
WHY IT MATTERSThe lower layer is earned when it explains evidence the current layer cannot. Otherwise keep full-text search at the simpler boundary.
SEE
Worked example
Start from supplied lab.sql. Focus: Solve full-text search three ways using identical fixture: Persist notes DB, reload, migrate schema, and export backup.
- Run: sqlite3 :memory: < lab.sql
- Save baseline evidence. Inspect module exports, memory, JS/WASM crossings, schemas, indexes, transactions, query plans, OPFS files, and recovery.
- Boundary case: Run all three implementations against: Index multilingual full-text content and reopen in new session.
- Failure case: Force every implementation through: Interrupt migration or import corrupt backup and recover previous version.
RESULT
All versions preserve Reload preserves data; migration is idempotent; backup round trip and failure recovery are demonstrated.; comparison records code size, predictability, and debugging cost. Starter-level baseline: Query plan reports use of observations_topic; final query prints baseline.
START HERE
Starter material
PREREQUISITESsqlite3 CLI for SQL labs. Verify with sqlite3 --version. WASM labs additionally need Node.js 22+ and a browser.
ONE-TIME SETUPmkdir reforging-data && cd reforging-data
Create lab.sql, paste this exact content, then run the command below.
CREATE TABLE observations (id INTEGER PRIMARY KEY, topic TEXT NOT NULL, result TEXT NOT NULL);
INSERT INTO observations(topic, result) VALUES ("full-text search", 'baseline');
CREATE INDEX observations_topic ON observations(topic);
EXPLAIN QUERY PLAN SELECT result FROM observations WHERE topic = "full-text search";
SELECT result FROM observations WHERE topic = "full-text search";sqlite3 :memory: < lab.sqlSTOP / CLEANUPIn-memory SQLite exits after script. Stop any local web server with Ctrl+C.
DO WITH GUIDANCE
Guided exercise
Solve under constraint: full-text search
- Normal case: Solve full-text search three ways using identical fixture: Persist notes DB, reload, migrate schema, and export backup.
- Write predicted evidence from this named case before running starter.
- Keep readable baseline, then remove one convenience without hiding behavior.
- Run exact normal case. Save commands, inputs, outputs, and diagnostics in notebook.
- Explain changed evidence using lesson mental model in no more than five sentences.
Concrete guided solution
- Copy the supplied lab.sql unchanged and run: sqlite3 :memory: < lab.sql
- Write this prediction before inspecting output: All versions preserve Reload preserves data; migration is idempotent; backup round trip and failure recovery are demonstrated.; comparison records code size, predictability, and debugging cost.
- Perform only the named normal case: Solve full-text search three ways using identical fixture: Persist notes DB, reload, migrate schema, and export backup.
- Save the raw output, then annotate input → transition → evidence. Use WASM debugger · SQLite CLI · EXPLAIN QUERY PLAN · OPFS to confirm the transition rather than inferring it.
- Compare prediction with evidence; if they differ, keep both and write the rule that explains the difference. Reference baseline: Query plan reports use of observations_topic; final query prints baseline.
DO ALONE
Independent exercise
Compare three versions: full-text search
- Create second case from blank file: Run all three implementations against: Index multilingual full-text content and reopen in new session.
- Then create controlled failure: Force every implementation through: Interrupt migration or import corrupt backup and recover previous version.
- Use WASM debugger · SQLite CLI · EXPLAIN QUERY PLAN · OPFS to prove behavior, then repair controlled failure.
- Compare result against supplied acceptance checks and reference approach before marking complete.
Concrete independent solution
- Duplicate the starter into a clean comparison case; change only this boundary: Run all three implementations against: Index multilingual full-text content and reopen in new session.
- Save its evidence beside the baseline and identify the first changed value. Inspect module exports, memory, JS/WASM crossings, schemas, indexes, transactions, query plans, OPFS files, and recovery.
- Create the exact controlled failure: Force every implementation through: Interrupt migration or import corrupt backup and recover previous version.
- Version A: use clearest native primitives and name every intermediate state for full-text search.
- Version B: remove one convenience while preserving same input/output contract.
- Version C: compress only after A and B pass baseline: Persist notes DB, reload, migrate schema, and export backup.
- Run shared boundary and failure fixtures against all versions: Index multilingual full-text content and reopen in new session. / Interrupt migration or import corrupt backup and recover previous version.
- Keep A unless another version has measured benefit; expected invariant: Reload preserves data; migration is idempotent; backup round trip and failure recovery are demonstrated.
- Rerun baseline, boundary, and repaired failure together. Accept only if all reproduce: All versions preserve Reload preserves data; migration is idempotent; backup round trip and failure recovery are demonstrated.; comparison records code size, predictability, and debugging cost.
COMPARE
Expected result
- All versions preserve Reload preserves data; migration is idempotent; backup round trip and failure recovery are demonstrated.; comparison records code size, predictability, and debugging cost.
- Query plan reports use of observations_topic; final query prints baseline.
- Controlled full-text search failure produces captured evidence; repair restores stated invariant without hiding error.
PROVE
Acceptance checks
Lesson is complete only when every check is true. Each check is stored locally and travels with your JSON backup.
0/5 complete · saved on this device
UNSTICK
Hints
Reveal hints
- Start with supplied normal case exactly as written: Solve full-text search three ways using identical fixture: Persist notes DB, reload, migrate schema, and export backup.
- For boundary case, change only named dimension: Run all three implementations against: Index multilingual full-text content and reopen in new session.
- If result is confusing, diff raw inputs and evidence before editing implementation.
- If tool shows nothing useful, move observation one boundary lower: representation, runtime, OS, or network.
VERIFY
Solution
Attempt both exercises before opening reference approach.
Reveal reference solution
- Run unmodified starter and preserve baseline evidence: Query plan reports use of observations_topic; final query prints baseline.
- Version A: use clearest native primitives and name every intermediate state for full-text search.
- Version B: remove one convenience while preserving same input/output contract.
- Version C: compress only after A and B pass baseline: Persist notes DB, reload, migrate schema, and export backup.
- Run shared boundary and failure fixtures against all versions: Index multilingual full-text content and reopen in new session. / Interrupt migration or import corrupt backup and recover previous version.
- Keep A unless another version has measured benefit; expected invariant: Reload preserves data; migration is idempotent; backup round trip and failure recovery are demonstrated.
PREDICT · INSPECT · BREAK · DEBUG · MEASURE
Interrogate reality
Prediction: write expected output, state transition, ordering, and failure evidence before running either exercise.
Inspection: Inspect module exports, memory growth, JS/WASM crossings, SQL query plans, indexes, OPFS files, and storage durability.
Measurement: Compare parse/compile startup, boundary calls, query latency, index cost, database size, and equivalent JavaScript.
Capture raw evidence before explaining.
Change one assumption and force controlled failure.
Find cause with WASM debugger · SQLite CLI · EXPLAIN QUERY PLAN · OPFS before editing fix.
MASTERY + FRONTIER + BOUNDARY
Own the knowledge
Explain full-text search at beginner, intermediate, and senior depth.
Recreate smallest useful example from blank file without notes or AI.
Schedule recall for day 1, 7, 30, and 90.
Creative frontier lab
Try first without opening the solutions. The constraints invite invention; the reference gives one concrete direction, never the only valid answer.
Re-solve full-text search by removing the most convenient abstraction. batch work across the boundary and prove whether the lower layer is actually earned.
CONSTRAINTKeep the same inputs, observable result, and failure evidence; change the means, not the contract.
ORIGINAL IDEATurn subtraction into a design tool: the missing abstraction should reveal which responsibility it used to hide.
Reveal frontier solution
- Freeze the contract as three fixtures: Solve full-text search three ways using identical fixture: Persist notes DB, reload, migrate schema, and export backup. / Run all three implementations against: Index multilingual full-text content and reopen in new session. / Force every implementation through: Interrupt migration or import corrupt backup and recover previous version.
- List every convenience used by the starter; remove the highest-level one while preserving sqlite3 :memory: < lab.sql.
- Implement the smallest replacement using batch work across the boundary and prove whether the lower layer is actually earned.
- Run all fixtures and compare raw evidence. Keep the simpler version unless the removed abstraction has a demonstrated benefit.
Build an explanation artifact for full-text search: measure host crossings, memory regions, query plans, pages, transactions, and persistence files.
CONSTRAINTA peer must be able to locate the first divergence without reading implementation code.
ORIGINAL IDEATreat the explanation itself as a product: make invisible transitions visible, replayable, and diffable.
Reveal frontier solution
- Create one row or timestamped event for each transition in: Solve full-text search three ways using identical fixture: Persist notes DB, reload, migrate schema, and export backup.
- For every row record input, representation, owner, operation, output, and tool evidence from WASM debugger · SQLite CLI · EXPLAIN QUERY PLAN · OPFS.
- Replay Run all three implementations against: Index multilingual full-text content and reopen in new session.; highlight only changed rows.
- Replay Force every implementation through: Interrupt migration or import corrupt backup and recover previous version.; stop at the first divergent row and attach its recovery action.
Combine the boundary and failure into a new user-visible scenario for full-text search. make a backup that can reconstruct schema and data after a deliberately interrupted migration.
CONSTRAINTDo not merely add more input. Invent a recovery interaction, alternate representation, or self-checking behavior.
ORIGINAL IDEAMake the system teach its own limits: the artifact should expose the invariant and offer a safe next action when it breaks.
Reveal frontier solution
- Combine these two pressures without changing them: Run all three implementations against: Index multilingual full-text content and reopen in new session. AND Force every implementation through: Interrupt migration or import corrupt backup and recover previous version.
- Name the invariant that must survive and the user-visible evidence when it cannot: All versions preserve Reload preserves data; migration is idempotent; backup round trip and failure recovery are demonstrated.; comparison records code size, predictability, and debugging cost.
- Implement this original direction: make a backup that can reconstruct schema and data after a deliberately interrupted migration.
- Demonstrate baseline, combined failure, recovery, then baseline again; save the sequence as a regression fixture.
Capability frontier
Push full-text search until another layer becomes justified. Record one robust technique, one contextual trade-off, and one labeled hack or historical curiosity.
CORE · PRACTICAL · CONTEXTUAL · HACK · FRAGILE · HISTORICAL · GOLF
Boundary
A local database is not shared authority; WASM is not automatically faster and adds delivery and debugging cost.
If this vanished tomorrow…
Use JavaScript data structures, IndexedDB, flat files, server queries, or a smaller purpose-built parser.
Why next layer is earned
Graphics and media APIs are earned when documents and ordinary DOM rendering cannot express pixels, audio, or streams.