forst-lang / forst / 24054577467

76%

push

github

feat(tictactoe): colocate wire types and finish ApplyMove rules

Merge domain types into engine.ft (remove types.ft), add ValidBoard
(Min/Max on cells), reject moves when the game is no longer playing,
and derive terminal status (win/draw) after each move.

fix(typechecker): compound ensure subjects and field-path hover narrowing

Stop setting ensure assertion BaseType from the root variable when the
subject is a dotted path (e.g. req.state). Register ensure/if narrowing
for full field identifiers, prefer them in lookup, and persist predicate
metadata by identifier so hovers on later lines still show guards.
Record VariableTypes for function and type-guard parameters for field
hover receivers.

fix(lsp): pass dotted span into FieldHoverMarkdown for narrowing display

test: add LSP and typechecker coverage; replace tictactoe fixture in
generate cross-file test with an in-memory synthetic multi-file package

fix(generate): align client index expectation with `export type * from './types.d.ts'`

feat(transformer): extend ensure builtins coverage (ensure_builtins + tests)

Example:

```forst
func ApplyMove(req MoveRequest): (MoveResponse, Error) {
	ensure req.state is ValidBoard()
	if req.state.status != "playing" {
		return { ok: false, message: "game already finished", state: req.state }, invalidMove("game already finished")
	}
	// ...
}
```

78 of 136 new or added lines in 9 files covered. (57.35%)

15522 of 25104 relevant lines covered (61.83%)

16.19 hits per line