Skip to content

Spec, changelog, and docstring corrections after the burn-down batch - #144

Merged
mmacy merged 2 commits into
mainfrom
integration-corrections
Sep 15, 2026
Merged

mmacy merged 2 commits into
mainfrom
integration-corrections

Conversation

@mmacy

@mmacy mmacy commented Sep 15, 2026

Copy link
Copy Markdown
Owner

Corrections the batch-wide integration review found: docs/spec.md gains creature.py in the architecture tree, the typed referee view under reading state, and the magic-phase re-check and the formation rule in the battle sentences; the disruption sentence covers a refused re-check; two changelog clauses are scoped to what they describe; the _party_magic docstring names the two declaration kinds the re-check covers. Full gate green.

https://claude.ai/code/session_01NmCezTw8hKKujkaEZ3YGAs

The spec's architecture tree lists creature.py, its reading-state section describes the typed referee view, and its battle sentences name the magic-phase re-check and the formation rule, which the batch left it silent on. The disruption sentence covers a refused re-check as well as a blow. Two changelog clauses read as a whole release's notes: the protocol bullet says what a type checker now refuses instead of calling a narrowing a widening, and the referee view bullet scopes its schema claim to its own change, since the same section moves SCHEMA_VERSION to 4. The _party_magic docstring names the two declaration kinds the re-check covers rather than every declaration.

Claude-Session: https://claude.ai/code/session_01NmCezTw8hKKujkaEZ3YGAs
osr-web hands the result to has_condition, which now takes a Creature, so the object annotation failed its pyright run. The method already documented the two types it returns.

Claude-Session: https://claude.ai/code/session_01NmCezTw8hKKujkaEZ3YGAs
@mmacy
mmacy merged commit db84ea6 into main Sep 15, 2026
4 checks passed
@mmacy
mmacy deleted the integration-corrections branch September 15, 2026 05:23
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant