feat(slang): state-variable getters, custom errors, and type metadata

[hedgar2017]

Lowers the contract-surface constructs through the Slang→MLIR pipeline: public state-variable getters, custom-error require, contract-namespace access, and type(..) metadata.

• Public state-variable getters: the getter/ module synthesizes a sol.func per public variable off slang's getter type — scalar and reference reads, keyed mapping/array levels (sol.map / sol.gep no_panic_bounds), struct leaves with non-returnable members skipped, and constant initializer folds; immutable and transient variables are loud unimplemented! arms.
• External getter dispatch: c.publicVar(keys) and try over a getter classify through the new ExternalCallee, which admits functions and public state variables alike and dispatches getters as static calls.
• Custom-error require: require(cond, E(..)) lowers through sol.require with the error's signature, bare and namespace-qualified alike.
• Namespace member access: a contract namespace delegates value and place access to its members (C.x = v, Library.CONST).
• type(..) metadata: integer min/max, name, interfaceId, and creationCode/runtimeCode through the new sol.object_code wrapper.
• Selector folds: error .selector (4-byte) and event .selector (32-byte topic) fold to constants, as does .selector on a getter reference.

Tests: 13 consolidated LIT fixtures (8 dual-oracle against solc --mlir-action=print-init, 5 solx-only); full tester goes 8792 → 9468 passing with zero regressed files.

[Copilot]

Pull request overview

Adds Slang-frontend support for Solidity’s auto-generated external getters for public state variables by (1) emitting sol.func getter stubs for supported cases and (2) exposing state-variable selectors to the test harness selector-lookup table, improving compatibility with Solidity tests that call these getters.

Changes:

• Extend AstEmitter method-identifier collection to include state-variable getter selectors.
• Emit external view getter sol.funcs for some public state variables by loading from the computed storage slot and returning the value.

Reviewed changes

Copilot reviewed 2 out of 2 changed files in this pull request and generated 2 comments.

File	Description
solx-slang/src/ast/mod.rs	Adds state-variable signatures/selectors to the method-identifier map returned to the harness.
solx-slang/src/ast/contract/mod.rs	Emits MLIR sol.func getter bodies for state variables (currently keyed off ABI “no-input” getters).

[Copilot]

Pull request overview

Copilot reviewed 33 out of 34 changed files in this pull request and generated no new comments.

[github-actions]

Coverage Summary

Crate	Line Coverage	Function Coverage
solx	🟢 83.6%	🔴 20.0%
solx-benchmark-converter	🔴 0.0%	🔴 0.0%
solx-codegen-evm	🔴 25.5%	🔴 13.5%
solx-compiler-downloader	🔴 0.0%	🔴 0.0%
solx-core	🔴 38.6%	🔴 47.6%
solx-dev	🔴 2.4%	🔴 3.0%
solx-evm-assembly	🔴 0.0%	🔴 0.0%
solx-mlir	🟡 59.6%	🟡 56.9%
solx-slang	🔴 23.6%	🔴 32.0%
solx-solc-test-adapter	🔴 1.7%	🔴 2.1%
solx-standard-json	🔴 42.8%	🔴 47.7%
solx-tester	🔴 36.5%	🔴 34.3%
solx-utils	🔴 29.7%	🔴 33.3%
solx-yul	🔴 0.0%	🔴 0.0%
Total	🔴 10.9%	🔴 13.1%

Codecov Report | HTML Report | Workflow Run