Part VIII: Projects
Five bounded engineering projects, each with a specification, independent tests, and stated limits.
- J01Project 1: a tested telemetry analysis command1 exerciseBuild a command-line tool whose parsing, computations, failures, and output schema another engineer can reproduce and inspect.
- J02Project 2: grid pathfinding with a correctness oracle1 exerciseImplement A* for a precisely bounded graph model, prove its heuristic conditions, compare with BFS, and benchmark without sacrificing correctness.
- J03Project 3: a transactional local reservation service1 exerciseBuild a loopback-only service whose logical requests have durable retry identity, test concurrent reservations and malformed inputs, and state exactly which failures are outside its guarantees.
- J04Project 4: a numerical simulator with analytic validation1 exerciseBuild an oscillator simulation command, compare two integrators at a common final time, and produce an error/convergence report with explicit units and assumptions.
- J05Systems capstone: immutable spatial queries with verified parallel reads1 exerciseBuild a bounded spatial-query snapshot, prove no matching entity is omitted, compare against brute force, and defend both concurrent ownership and a reproducible performance report.