[kyscott18]

Summary

Solidity parsing is now a pure fundamental with a thin IO step in front:

• sol-parse.ts: parseSolidity(solcOutput, path) takes solc's standard JSON output and returns { contractName, abi, bytecode, storageLayout, mutations }, or throws a ConfigError. It does no IO and doesn't use Effect. The file went from 829 to 338 lines.
• sol-build.ts: loadSolidityApp(entrypoint) runs forge build --build-info, hands the solc output to parseSolidity, and refreshes the .sol.d.ts. This replaces the artifact globbing and import-graph walk. A full-project build still reproduces apps/token's committed Token.sol.d.ts byte for byte.
• createSolidityTypewriterApp is gone. index.ts and the sim pass the parsed app straight to createTypewriterApp.

Behavior changes

• Mutation params come from the XMutation library for each Mutation member X: it must declare struct X and execute(State storage, X memory, bytes32) internal. The parser no longer reads dispatch.
• Apps: OrderBook renames executeX to execute and gives AddInstrument an accountID param (forge tests 24/24; OrderBook.sol.d.ts regenerated, AST ids only). Assessment moves its mutation logic from dispatch into AMutation.execute/BMutation.execute unchanged; the sim's state astId constant is updated. Token already conformed.
• The app contract must inherit only Typewriter, not be abstract, declare Mutation inside itself, add no public/external functions or variables, and keep all storage in state.
• Mutation params can be nested structs (tuple/tuple[]; abipg, ox, and executeInputSchema already support them), user-defined value types, and contracts/interfaces (address). uint/int canonicalize to uint256/int256. Before, a struct field written uint produced the ABI type uint.
• New errors: a missing or duplicate mutation library, a wrong execute signature, public/external entrypoints or extra storage on the app contract, and apps that link an external library. The old bytecode check used non-strict Hex.validate, which only checks for 0x, so unlinked placeholders passed. Typewriter executes only the app contract, so a library call would also break offchain execution.
• Error messages say how to fix the problem, e.g. AddMutation must declare `struct Add` with the mutation's params and `function execute(State storage state, Add memory mutation, bytes32 accountID) internal` .

What a valid typewriter contract needs, and the test for each

#	Requirement	Enforced by	Test
1	The entrypoint file defines exactly one contract that inherits Typewriter	parser	none; two
2	It inherits only Typewriter	parser	inherits Ownable too
3	It isn't abstract	parser	abstract app
4	Its constructor takes exactly (address scheduler)	parser (ABI)	extra arg; scheduler fixed in the inheritance list
5	It has a storage variable state that is a struct	parser (storage layout)	not a struct; missing
6	It links no external libraries	parser (bytecode)	external library
7	It declares enum Mutation inside itself	parser	no enum; file-level enum
8	Mutation members don't use built-in names; at most 253 members	parser	built-in name; 254 members
9	Each Mutation.X has exactly one library XMutation in the entrypoint file or its imports	parser	library in imported file, non-imported file ignored; none; two
10	XMutation declares struct X (the params) and function execute(State storage, X memory, bytes32) internal returning nothing, State being the state variable's type	parser	no struct; no execute; executeAdd; no accountID; other State; calldata; public; returns a value
11	The app contract adds no public/external functions (incl. fallback/receive) or public variables, and no storage besides state (constants allowed)	parser	public, external, fallback, receive, public constant, State public state, extra variable, immutable; constants and internal/private helpers allowed
12	Each struct field has an ABI type	parser (+ solc for mappings and fixed-point)	every ABI type; nested tuples; function-type field
13	Nested struct params validate and encode at runtime	executeInputSchema	mutation-schema.test.ts nested structs

dispatch is the app's own code: the parser doesn't read it. Not yet checked: determinism (external calls, COINBASE, PREVRANDAO, …), the next PR.

Tests

sol-parse.test.ts compiles inline Solidity with solc-js 0.8.37 next to the real Typewriter.sol (~230ms per compile), runs parseSolidity, and checks the result with inline snapshots. There are 20 tests: every ABI type a param can have, library lookup across imports, every error path, and the declaration formatter. The forge fixture contracts are deleted. test/contracts/foundry.toml stays, since it runs Typewriter.t.sol (21/21 pass).

Test plan

• bun test in packages/typewriter: 91 pass, 0 fail
• tsc --noEmit, biome check .
• Sim seed 0x41 passes end to end through the new forge loader
• forge test in test/contracts (Typewriter.t.sol)

🤖 Generated with Claude Code

[socket-security]

Review the following changes in direct dependencies. Learn more about Socket for GitHub.

Diff	Package	Supply Chain Security	Vulnerability	Quality	Maintenance	License
	npm/​solc@​0.8.37

View full report