GROUND
Problem
What becomes confusing, fragile, or impossible without understanding async and await? This lesson answers that through explanation, a worked example, two runnable exercises, and a reference solution. No teacher-supplied worksheet is required.
Event loops let one thread coordinate many delayed operations. Promises standardized continuation and error composition over callback-heavy code.
LEARN
Concept explanation
Async and await belongs to “Promises are state machines”. async and await is inspected by introducing one realistic failure and proving root cause before repair.
For async and await, trace concrete input, state transition, output, and failure through a state-and-time rule spanning synchronous frames, host tasks, microtasks, rendering, cancellation, or backpressure.
Synchronous frames run to completion. Hosts schedule tasks; promise reactions enter microtask queues; rendering occurs only at host-selected opportunities. Apply that model to supplied normal, boundary, and failure cases; each case below names its input and expected evidence.
Evidence produced by the async and await experiment: output, state, trace, bytes, timing, or diagnostics.
Condition that must remain true while inputs or implementation of async and await change.
Point where async and await 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.
SETUPCapture healthy async and await baseline from: Trace resolve, chained transform, thrown error, catch, finally, and recovery.
OBSERVEEvidence identifies first divergence, repair changes only proven cause, and rerun restores: State/reaction trace explains flattening, propagation, recovery, and host rejection reporting.
WHY IT MATTERSThis isolates the normal contract of async and await; preserve its raw evidence as the control for every later comparison.
SETUPRecord async and await behavior at: Resolve with thenable and compare Promise.all empty/nonempty.
OBSERVERecord what remains invariant and the first representation, owner, size, or timing value that changes in Chromium Performance · Network · async debugger.
WHY IT MATTERSA boundary example is useful only when one named dimension changes and everything else stays comparable.
SETUPDiagnose this exact async and await failure before editing: Create unhandled rejection then attach handler late.
OBSERVECapture the first divergence from the baseline, including exact input, diagnostic, state, and recovery result. Expected recovery: Evidence identifies first divergence, repair changes only proven cause, and rerun restores: State/reaction trace explains flattening, propagation, recovery, and host rejection reporting.
WHY IT MATTERSThe diagnostic is part of the interface. Repair the proven cause, not the most visible symptom.
SETUPTrace async and await one layer below its usual abstraction through a state-and-time rule spanning synchronous frames, host tasks, microtasks, rendering, cancellation, or backpressure.
OBSERVERecord ordering, async stacks, queue delay, cancellation signals, stream state, and cleanup paths.
WHY IT MATTERSThe lower layer is earned when it explains evidence the current layer cannot. Otherwise keep async and await at the simpler boundary.
SEE
Worked example
Start from supplied lab.mjs. Focus: Capture healthy async and await baseline from: Trace resolve, chained transform, thrown error, catch, finally, and recovery.
- Run: node lab.mjs
- Save baseline evidence. Record ordering, async stacks, queue delay, cancellation signals, stream state, and cleanup paths.
- Boundary case: Record async and await behavior at: Resolve with thenable and compare Promise.all empty/nonempty.
- Failure case: Diagnose this exact async and await failure before editing: Create unhandled rejection then attach handler late.
RESULT
Evidence identifies first divergence, repair changes only proven cause, and rerun restores: State/reaction trace explains flattening, propagation, recovery, and host rejection reporting. Starter-level baseline: Order ends as sync:start > sync:end > microtask > task. Each line is a prefix of that final sequence.
START HERE
Starter material
PREREQUISITESNode.js 22 or newer. Verify with node --version.
ONE-TIME SETUPmkdir reforging-async && cd reforging-async
Create lab.mjs, paste this exact content, then run the command below.
const events = [];
const record = (value) => { events.push(value); console.log(events.join(" > ")); };
record("sync:start");
queueMicrotask(() => record("microtask:async and await"));
setTimeout(() => record("task:async and await"), 0);
record("sync:end");node lab.mjsSTOP / CLEANUPScripts exit after queued work completes. Press Ctrl+C only if your experiment creates an intentional infinite loop.
DO WITH GUIDANCE
Guided exercise
Diagnose a controlled failure: async and await
- Normal case: Capture healthy async and await baseline from: Trace resolve, chained transform, thrown error, catch, finally, and recovery.
- Write predicted evidence from this named case before running starter.
- Break one assumption, capture evidence, then repair only proven cause.
- 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.mjs unchanged and run: node lab.mjs
- Write this prediction before inspecting output: Evidence identifies first divergence, repair changes only proven cause, and rerun restores: State/reaction trace explains flattening, propagation, recovery, and host rejection reporting.
- Perform only the named normal case: Capture healthy async and await baseline from: Trace resolve, chained transform, thrown error, catch, finally, and recovery.
- Save the raw output, then annotate input → transition → evidence. Use Chromium Performance · Network · async debugger 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: Order ends as sync:start > sync:end > microtask > task. Each line is a prefix of that final sequence.
DO ALONE
Independent exercise
Prove root cause: async and await
- Create second case from blank file: Record async and await behavior at: Resolve with thenable and compare Promise.all empty/nonempty.
- Then create controlled failure: Diagnose this exact async and await failure before editing: Create unhandled rejection then attach handler late.
- Use Chromium Performance · Network · async debugger 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: Record async and await behavior at: Resolve with thenable and compare Promise.all empty/nonempty.
- Save its evidence beside the baseline and identify the first changed value. Record ordering, async stacks, queue delay, cancellation signals, stream state, and cleanup paths.
- Create the exact controlled failure: Diagnose this exact async and await failure before editing: Create unhandled rejection then attach handler late.
- Save healthy trace, output, metadata, or state snapshot for async and await: Trace resolve, chained transform, thrown error, catch, finally, and recovery.
- Write one cause hypothesis and evidence that would falsify it.
- Trigger exact failure without adding other changes: Create unhandled rejection then attach handler late.
- Diff healthy and failed evidence; repair first divergent boundary only.
- Run boundary plus baseline again and confirm: State/reaction trace explains flattening, propagation, recovery, and host rejection reporting.
- Rerun baseline, boundary, and repaired failure together. Accept only if all reproduce: Evidence identifies first divergence, repair changes only proven cause, and rerun restores: State/reaction trace explains flattening, propagation, recovery, and host rejection reporting.
COMPARE
Expected result
- Evidence identifies first divergence, repair changes only proven cause, and rerun restores: State/reaction trace explains flattening, propagation, recovery, and host rejection reporting.
- Order ends as sync:start > sync:end > microtask > task. Each line is a prefix of that final sequence.
- Controlled async and await 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: Capture healthy async and await baseline from: Trace resolve, chained transform, thrown error, catch, finally, and recovery.
- For boundary case, change only named dimension: Record async and await behavior at: Resolve with thenable and compare Promise.all empty/nonempty.
- 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: Order ends as sync:start > sync:end > microtask > task. Each line is a prefix of that final sequence.
- Save healthy trace, output, metadata, or state snapshot for async and await: Trace resolve, chained transform, thrown error, catch, finally, and recovery.
- Write one cause hypothesis and evidence that would falsify it.
- Trigger exact failure without adding other changes: Create unhandled rejection then attach handler late.
- Diff healthy and failed evidence; repair first divergent boundary only.
- Run boundary plus baseline again and confirm: State/reaction trace explains flattening, propagation, recovery, and host rejection reporting.
PREDICT · INSPECT · BREAK · DEBUG · MEASURE
Interrogate reality
Prediction: write expected output, state transition, ordering, and failure evidence before running either exercise.
Inspection: Instrument ordering, use async stack traces, Performance recordings, network throttling, and AbortController signals.
Measurement: Measure latency distributions, queue delay, throughput, memory pressure, and backpressure—not only total duration.
Capture raw evidence before explaining.
Change one assumption and force controlled failure.
Find cause with Chromium Performance · Network · async debugger before editing fix.
MASTERY + FRONTIER + BOUNDARY
Own the knowledge
Explain async and await 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 async and await by removing the most convenient abstraction. make cancellation and cleanup part of the function contract before adding concurrency.
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: Capture healthy async and await baseline from: Trace resolve, chained transform, thrown error, catch, finally, and recovery. / Record async and await behavior at: Resolve with thenable and compare Promise.all empty/nonempty. / Diagnose this exact async and await failure before editing: Create unhandled rejection then attach handler late.
- List every convenience used by the starter; remove the highest-level one while preserving node lab.mjs.
- Implement the smallest replacement using make cancellation and cleanup part of the function contract before adding concurrency.
- Run all fixtures and compare raw evidence. Keep the simpler version unless the removed abstraction has a demonstrated benefit.
Build an explanation artifact for async and await: render a timestamped timeline of stack, microtask, task, cancellation, and cleanup events.
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: Capture healthy async and await baseline from: Trace resolve, chained transform, thrown error, catch, finally, and recovery.
- For every row record input, representation, owner, operation, output, and tool evidence from Chromium Performance · Network · async debugger.
- Replay Record async and await behavior at: Resolve with thenable and compare Promise.all empty/nonempty.; highlight only changed rows.
- Replay Diagnose this exact async and await failure before editing: Create unhandled rejection then attach handler late.; stop at the first divergent row and attach its recovery action.
Combine the boundary and failure into a new user-visible scenario for async and await. turn a race into a deterministic test by controlling clocks and completion order.
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: Record async and await behavior at: Resolve with thenable and compare Promise.all empty/nonempty. AND Diagnose this exact async and await failure before editing: Create unhandled rejection then attach handler late.
- Name the invariant that must survive and the user-visible evidence when it cannot: Evidence identifies first divergence, repair changes only proven cause, and rerun restores: State/reaction trace explains flattening, propagation, recovery, and host rejection reporting.
- Implement this original direction: turn a race into a deterministic test by controlling clocks and completion order.
- Demonstrate baseline, combined failure, recovery, then baseline again; save the sequence as a regression fixture.
Capability frontier
Push async and await 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
Concurrency abstractions cannot remove shared-state hazards, cancellation policy, or capacity limits.
If this vanished tomorrow…
Model delayed work with callbacks, explicit queues, state machines, and host events.
Why next layer is earned
Browser APIs are earned when application logic needs the DOM, storage, workers, files, or other host capabilities.