0 Fork 0

Files

T

Lucas WintherandClaude Fable 5.2 e907f17937 test: pin ordering decisions the suite did not catch (Modules 5, 8, 9); stepped objects do not block a stack

Mutation runs on the references showed six surviving mutants: a live aura
scan, two turn-phase reorderings, a dropped final parse, and two hazard
reorderings. Each now fails a named test.

Co-Authored-By: Claude Fable 5.2 <noreply@anthropic.com>

2026-11-11 09:23:24 +01:00

src

test: pin ordering decisions the suite did not catch (Modules 5, 8, 9); stepped objects do not block a stack

2026-11-11 09:23:24 +01:00

.course.json

feat: module 09 turn pipeline

2026-10-29 04:28:17 +01:00

.gitignore

feat: module 09 turn pipeline

2026-10-29 04:28:17 +01:00

Cargo.lock

feat(ci): verify Expansion Drop solutions; README quick start, disclaimer link; Rust reference lockfiles

2026-10-29 19:13:11 +01:00

Cargo.toml

feat: module 09 turn pipeline

2026-10-29 04:28:17 +01:00

README.md

fix(puzzle): an object steps once per movement phase; negated conversion is settled per object

2026-11-11 09:18:00 +01:00

README.md

Module 9 reference engine (Rust)

The course's own engine as of the end of Module 9. Part I's card engine is unchanged, and all of its tests still pass. The Part II engine in src/engine/puzzle/ now plays a whole turn: movement, parse, conversion, parse, hazards, win, parse. Module 8's reference was the starting point, so a diff between the two shows what this module adds.

cards/ (at the crate root; not in this directory): Part I's card data, a copy of course/cards/ staged by tools/verify-references.mjs. Part II doesn't read it.
src/engine/puzzle/: the Part II engine. It names no noun: the engine's own words are the operators IS, AND, NOT, the meta-noun TEXT, the property PUSH of the base rule TEXT IS PUSH, the property YOU, which picks the objects that move, and from Module 9 the properties WIN (the win check) and FLOAT (which objects share a tile).
- turn.rs (new): the turn. Phase, TURN (the phases in order) and Hazard (content's rule for what destroys what).
- level.rs: a level in play. Module 9 adds Level::step, which runs the phases of TURN; the conversion phase (X IS Y in place, X IS X locks, X IS NOT X deletes, and ... IS NOT Y keeps every object it names from becoming a Y, as has_property settles negation per object); the hazards phase, which runs content's hazards in order; the win check; Level::sharing (the other objects on a tile at the same float level); won and lost. Level::new takes the hazards. move_you is now movement, then a reparse.
- grid.rs: Module 9 adds Board::set_kind.
- word.rs: Module 9 adds Lexicon::thing_named (what a conversion into a noun makes).
- movement.rs, parse.rs, resolve.rs: unchanged.
- mod.rs: the module's exports.
The rest of src/engine/: Part I, unchanged.
src/content/hazards.rs (new) and src/content/mod.rs: the hazards, in the order the engine runs them: SINK, HOT/MELT, DEFEAT. What destroys what at the end of a turn is content, not engine.
src/content/movement.rs: unchanged.
src/content/words.json: Module 9 adds HOT, MELT, SINK, DEFEAT and FLOAT, and ALL, the Module 7 Expansion Drop, which the Module 9 tests need.
src/harness.rs: the adapter the course tests call. Module 9 adds Baba::step, Baba::won and Baba::lost.

Run it with the module's tests: node tools/verify-references.mjs 09 from the course repository.