Repository navigation
The way off eudplib, audited: seventeen steps, two silent misbuilds refused - #40
Merged
Merged
Conversation
…or other players, trigger() records
print(…, { to: P2 }) and { to: AllPlayers } were shown to the program's owner alone: the emitter never read `to`,
and Display Text shows to the current player, the owner. The Python side sets each player of the group current in
turn. Refused now, until a print does the same.
build-own clears the map's triggers, so a script's trigger() records were dropped. Refused now, until step 13 keeps
them.
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01T1CM9pLuTuAn3mgTEkjgVg
…venteen steps now Every probe's programs, about 230 one-feature scripts, the IR against both backends, eudplib's own machinery and every tool that reads a build, checked against the list after step 4 (numbers) was found by accident. New steps: the game's conditions and actions, its memory, programs/owners/players, the build in the editor, the tools on maps of our own, the gate before the Python goes. Fixed point, random and u8/u16 joined step 4; errors joined tasks. With the two silent misbuilds found, the reason the arithmetic stayed hidden (refusals without reasons), the smaller things, which showpiece waits on which step, three decisions, and a ledger so the list stays whole. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01T1CM9pLuTuAn3mgTEkjgVg
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
An audit of the plan's way off eudplib, after step 4 (math) turned up by accident while writing the arrays probe. It checks the list against everything the Python side does. It also fixes two places where a map of our own was built wrong without any message.
How it was checked:
emit.tsandpython/trigscript.py.fixmapdata.Twelve of the 93 probes build our way today (the five own-backend probes and seven measurement probes). No showpiece does.
Plan (
docs/v4-plan.md). "The way off eudplib" goes from nine steps to seventeen, rewritten in place with the old numbers kept in brackets. A new section, "The way off eudplib, audited", records:New steps:
Fixed point, random numbers and
u8/u16join step 4. Errors join tasks.Two silent misbuilds, now refusals:
print(…, { to: P2 })and{ to: AllPlayers }were shown to the owner alone, because the emitter never readto. The Python side shows the text to each player of the group in turn.build-owncleared the map's triggers, which droppedtrigger()records.A test in
tests/emitter.test.tscovers the first: it fails without the fix and passes with it. The suite: 1232 pass.🤖 Generated with Claude Code
https://claude.ai/code/session_01T1CM9pLuTuAn3mgTEkjgVg