GROUND
Problem
What becomes confusing, fragile, or impossible without understanding the index and working tree? This lesson answers that through explanation, a worked example, two runnable exercises, and a reference solution. No teacher-supplied worksheet is required.
Before integrated development environments, the operating system, terminal, files, and text streams were the environment. Their small composable interfaces still underpin modern tooling.
LEARN
Concept explanation
The index and working tree belongs to “Git as a content-addressed database”. the index and working tree is learned by comparing readable, constrained, and deliberately clever implementations against same evidence.
For the index and working tree, trace concrete input, state transition, output, and failure through an operating-system boundary made visible through bytes, files, processes, and exit status.
Programs are processes. They read bytes, transform state, write bytes, open files and sockets, then report success or failure through observable boundaries. Apply that model to supplied normal, boundary, and failure cases; each case below names its input and expected evidence.
Evidence produced by the the index and working tree experiment: output, state, trace, bytes, timing, or diagnostics.
Condition that must remain true while inputs or implementation of the index and working tree change.
Point where the index and working tree 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 the index and working tree three ways using identical fixture: Commit one file, then inspect blob, tree, commit, HEAD, and index with plumbing commands.
OBSERVEAll versions preserve Changed bytes create new blob/tree/commit IDs; reflog retains recoverable commit after ref moves.; comparison records code size, predictability, and debugging cost.
WHY IT MATTERSThis isolates the normal contract of the index and working tree; preserve its raw evidence as the control for every later comparison.
SETUPRun all three implementations against: Amend content with same filename and compare object IDs.
OBSERVERecord what remains invariant and the first representation, owner, size, or timing value that changes in Ghostty · tmux · hx · shell · curl · Git.
WHY IT MATTERSA boundary example is useful only when one named dimension changes and everything else stays comparable.
SETUPForce every implementation through: Detach HEAD, make a commit, move away, then recover it from reflog.
OBSERVECapture the first divergence from the baseline, including exact input, diagnostic, state, and recovery result. Expected recovery: All versions preserve Changed bytes create new blob/tree/commit IDs; reflog retains recoverable commit after ref moves.; 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 the index and working tree one layer below its usual abstraction through an operating-system boundary made visible through bytes, files, processes, and exit status.
OBSERVEUse wc, od, stat, ps, lsof, curl, or Git plumbing as appropriate; save raw output before interpretation.
WHY IT MATTERSThe lower layer is earned when it explains evidence the current layer cannot. Otherwise keep the index and working tree at the simpler boundary.
SEE
Worked example
Start from supplied lab.sh. Focus: Solve the index and working tree three ways using identical fixture: Commit one file, then inspect blob, tree, commit, HEAD, and index with plumbing commands.
- Run: chmod +x lab.sh && ./lab.sh
- Save baseline evidence. Use wc, od, stat, ps, lsof, curl, or Git plumbing as appropriate; save raw output before interpretation.
- Boundary case: Run all three implementations against: Amend content with same filename and compare object IDs.
- Failure case: Force every implementation through: Detach HEAD, make a commit, move away, then recover it from reflog.
RESULT
All versions preserve Changed bytes create new blob/tree/commit IDs; reflog retains recoverable commit after ref moves.; comparison records code size, predictability, and debugging cost. Starter-level baseline: Command exits 0, prints a byte count, then prints hexadecimal and character views of the same file.
START HERE
Starter material
PREREQUISITESA POSIX shell with wc, od, chmod, and standard filesystem commands (macOS, Linux, or WSL).
ONE-TIME SETUPmkdir reforging-lab && cd reforging-lab
Create lab.sh, paste this exact content, then run the command below.
#!/usr/bin/env sh
set -eu
lab="${TMPDIR:-/tmp}/reforging-lab"
mkdir -p "$lab"
printf '%s\n' 'baseline: the index and working tree' > "$lab/input.txt"
printf 'bytes: ' && wc -c < "$lab/input.txt"
od -An -tx1 -c "$lab/input.txt"chmod +x lab.sh && ./lab.shSTOP / CLEANUPNo background process. Keep generated evidence files for your notebook.
DO WITH GUIDANCE
Guided exercise
Solve under constraint: the index and working tree
- Normal case: Solve the index and working tree three ways using identical fixture: Commit one file, then inspect blob, tree, commit, HEAD, and index with plumbing commands.
- 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.sh unchanged and run: chmod +x lab.sh && ./lab.sh
- Write this prediction before inspecting output: All versions preserve Changed bytes create new blob/tree/commit IDs; reflog retains recoverable commit after ref moves.; comparison records code size, predictability, and debugging cost.
- Perform only the named normal case: Solve the index and working tree three ways using identical fixture: Commit one file, then inspect blob, tree, commit, HEAD, and index with plumbing commands.
- Save the raw output, then annotate input → transition → evidence. Use Ghostty · tmux · hx · shell · curl · Git 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: Command exits 0, prints a byte count, then prints hexadecimal and character views of the same file.
DO ALONE
Independent exercise
Compare three versions: the index and working tree
- Create second case from blank file: Run all three implementations against: Amend content with same filename and compare object IDs.
- Then create controlled failure: Force every implementation through: Detach HEAD, make a commit, move away, then recover it from reflog.
- Use Ghostty · tmux · hx · shell · curl · Git 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: Amend content with same filename and compare object IDs.
- Save its evidence beside the baseline and identify the first changed value. Use wc, od, stat, ps, lsof, curl, or Git plumbing as appropriate; save raw output before interpretation.
- Create the exact controlled failure: Force every implementation through: Detach HEAD, make a commit, move away, then recover it from reflog.
- Version A: use clearest native primitives and name every intermediate state for the index and working tree.
- Version B: remove one convenience while preserving same input/output contract.
- Version C: compress only after A and B pass baseline: Commit one file, then inspect blob, tree, commit, HEAD, and index with plumbing commands.
- Run shared boundary and failure fixtures against all versions: Amend content with same filename and compare object IDs. / Detach HEAD, make a commit, move away, then recover it from reflog.
- Keep A unless another version has measured benefit; expected invariant: Changed bytes create new blob/tree/commit IDs; reflog retains recoverable commit after ref moves.
- Rerun baseline, boundary, and repaired failure together. Accept only if all reproduce: All versions preserve Changed bytes create new blob/tree/commit IDs; reflog retains recoverable commit after ref moves.; comparison records code size, predictability, and debugging cost.
COMPARE
Expected result
- All versions preserve Changed bytes create new blob/tree/commit IDs; reflog retains recoverable commit after ref moves.; comparison records code size, predictability, and debugging cost.
- Command exits 0, prints a byte count, then prints hexadecimal and character views of the same file.
- Controlled the index and working tree 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 the index and working tree three ways using identical fixture: Commit one file, then inspect blob, tree, commit, HEAD, and index with plumbing commands.
- For boundary case, change only named dimension: Run all three implementations against: Amend content with same filename and compare object IDs.
- 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: Command exits 0, prints a byte count, then prints hexadecimal and character views of the same file.
- Version A: use clearest native primitives and name every intermediate state for the index and working tree.
- Version B: remove one convenience while preserving same input/output contract.
- Version C: compress only after A and B pass baseline: Commit one file, then inspect blob, tree, commit, HEAD, and index with plumbing commands.
- Run shared boundary and failure fixtures against all versions: Amend content with same filename and compare object IDs. / Detach HEAD, make a commit, move away, then recover it from reflog.
- Keep A unless another version has measured benefit; expected invariant: Changed bytes create new blob/tree/commit IDs; reflog retains recoverable commit after ref moves.
PREDICT · INSPECT · BREAK · DEBUG · MEASURE
Interrogate reality
Prediction: write expected output, state transition, ordering, and failure evidence before running either exercise.
Inspection: Use the shell, process table, filesystem metadata, curl, and Git plumbing. Never trust a command you cannot observe.
Measurement: Count bytes, processes, descriptors, syscalls, round trips, and elapsed time before explaining performance.
Capture raw evidence before explaining.
Change one assumption and force controlled failure.
Find cause with Ghostty · tmux · hx · shell · curl · Git before editing fix.
MASTERY + FRONTIER + BOUNDARY
Own the knowledge
Explain the index and working tree 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 the index and working tree by removing the most convenient abstraction. solve it with POSIX files and pipes only—no editor plugin, framework, or opaque GUI.
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 the index and working tree three ways using identical fixture: Commit one file, then inspect blob, tree, commit, HEAD, and index with plumbing commands. / Run all three implementations against: Amend content with same filename and compare object IDs. / Force every implementation through: Detach HEAD, make a commit, move away, then recover it from reflog.
- List every convenience used by the starter; remove the highest-level one while preserving chmod +x lab.sh && ./lab.sh.
- Implement the smallest replacement using solve it with POSIX files and pipes only—no editor plugin, framework, or opaque GUI.
- Run all fixtures and compare raw evidence. Keep the simpler version unless the removed abstraction has a demonstrated benefit.
Build an explanation artifact for the index and working tree: turn every invisible state into a diffable byte, process, descriptor, or exit-status artifact.
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 the index and working tree three ways using identical fixture: Commit one file, then inspect blob, tree, commit, HEAD, and index with plumbing commands.
- For every row record input, representation, owner, operation, output, and tool evidence from Ghostty · tmux · hx · shell · curl · Git.
- Replay Run all three implementations against: Amend content with same filename and compare object IDs.; highlight only changed rows.
- Replay Force every implementation through: Detach HEAD, make a commit, move away, then recover it from reflog.; stop at the first divergent row and attach its recovery action.
Combine the boundary and failure into a new user-visible scenario for the index and working tree. make a self-auditing artifact whose output includes the command and invariant that produced it.
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: Amend content with same filename and compare object IDs. AND Force every implementation through: Detach HEAD, make a commit, move away, then recover it from reflog.
- Name the invariant that must survive and the user-visible evidence when it cannot: All versions preserve Changed bytes create new blob/tree/commit IDs; reflog retains recoverable commit after ref moves.; comparison records code size, predictability, and debugging cost.
- Implement this original direction: make a self-auditing artifact whose output includes the command and invariant that produced it.
- Demonstrate baseline, combined failure, recovery, then baseline again; save the sequence as a regression fixture.
Capability frontier
Push the index and working tree 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
Shell composition becomes costly when state, error recovery, or data structure complexity dominates the pipeline.
If this vanished tomorrow…
Reproduce the useful behavior with files, text streams, process primitives, and a minimal compiled or interpreted program.
Why next layer is earned
Networking and HTTP are earned when local processes need to exchange representations across a boundary.