Repository navigation

Labs: fix factory-04 proof, add factory-05 to 07 - #165

Merged

Param-Harrison merged 5 commits into

mainfrom

labs/factory-05-07

Nov 1, 2026

Merged

Labs: fix factory-04 proof, add factory-05 to 07#165
Param-Harrison merged 5 commits into
mainfrom
labs/factory-05-07

Commits on Nov 1, 2026
- Test: factory-04 solution runs the lab's own hint command (expected red)
  
  Param-Harrison
  and
  claude
  committed
  20b431a
- Add factory labs 05 to 07 and fix factory-04 proof so its own hint passes
  
  Param-Harrison
  and
  claude
  committed
  183b733
- Shorten the goal lines of labs 05 and 07 to the 240 character limit
  
  Param-Harrison
  and
  claude
  committed
  3def2fc
- Give every lab step with a command an Expect line; lab 07 hints carry runnable scripts
  
  Param-Harrison
  and
  claude
  committed
  2c9b751
- Labs 04 to 06: match 'N passed' so a coloured vitest log passes; lab 07 rejects an empty intent.md
  
  Param-Harrison
  and
  claude
  committed
  79c80da