feat(ops): abstract op groups with TOML-driven concrete instances - #116

Open

jellllly420 wants to merge 32 commits into

RPL-Toolchain:masterfrom

jellllly420:feature/abstract-ops

Commits on May 27, 2026

feat(parser): add ops block grammar rules

jellllly420
and
claude
committed
c30a32c
refactor(parser): address code review on ops grammar (rename, layout, idiom)

jellllly420
and
claude
committed
2bf6646
feat(parser): add OpRef rule for $group::$op call targets

jellllly420
and
claude
committed
53b8906
fix(context, meta): update MirFnOperand match sites for OpRef arm

jellllly420
and
claude
committed
d4118a9
feat(context): add OpsBlock, OpGroup, OpSignature AST types

jellllly420
and
claude
committed
f5b9526
refactor(context): use derive_more::Debug for ops AST consistency

jellllly420
and
claude
committed
21ee842
feat(context): add Operand::OpRef variant + parser lowering

jellllly420
and
claude
committed
30c9dfd
fix(context): strip $ in Operand::OpRef lowering for resolver lookup

jellllly420
and
claude
committed
6c02f25
feat(context): lower ops block into Pattern.ops_block

jellllly420
and
claude
committed
b34487d
fix(context): align OpsMetaLookup indices and clarify R1 preconditions

jellllly420
and
claude
committed
7e6e2a2
feat(resolve): well-formedness checks R1-R3 for ops blocks

jellllly420
and
claude
committed
e5ad9d6
feat(resolve): op-ref resolution R4-R6 + groups_used

jellllly420
and
claude
committed
7a7a9f6
feat(config): RawOpInstance + RplConfig.ops field

jellllly420
and
claude
committed
c8fd07f
feat(context): substitution + validation for op instances

jellllly420
and
claude
committed
4868b39
feat(driver): thread OpsConfig through the matcher pipeline

jellllly420
and
claude
committed
a3109a4
feat(driver): cartesian-product iteration over op instances

jellllly420
and
claude
committed
0f5d054
feat(match): resolve OpRef and op-typed params via bindings

jellllly420
and
claude
committed
6f2f959
test(ops): add lock_unlock end-to-end UI test

jellllly420
and
claude
committed
25358cf
test(ops): folding, partial-bad, set-op composition, two-groups

jellllly420
and
claude
committed
998e2f5
test(ops): CVE-2025-68260 POC — abstract intrusive-list-under-lock pattern

jellllly420
and
claude
committed
00c599c
style(ops): apply cargo fmt across new abstract-ops code

jellllly420
and
claude
committed
82fb981
fix(context): replace UB `&PatternItem` -> `*mut` cast with OnceCell

jellllly420
and
claude
committed
af1c727
refactor(context): use FxHashMap for deterministic ops ordering; drop empty test

jellllly420
and
claude
committed
0825e48
test(ops): align black_box paths, uniform -Zinline-mir, drop broken stderr

jellllly420
and
claude
committed
82e63b0
fix(ops): silence clippy lints (collapsible_match, needless_borrow, useless_lifetime, useless_into_iter)

jellllly420
and
claude
committed
eab7bfc
style(ops): re-fmt after if-let collapse (rustfmt was missed before push)

jellllly420
and
claude
committed
4fe893a
fix(config): treat empty resolved pattern paths as no-RPL_PATS

jellllly420
and
claude
committed
687638b
fix(driver): respect outer pat_op bindings in nested RustItems cartesian

jellllly420
and
claude
committed
20d9fa4
fix(context): wire R6 (ops meta-vars must not leak into patt bodies)

jellllly420
and
claude
committed
a131d92
refactor(rpl.toml): adopt design-intended $T::method op-binding syntax

jellllly420
and
claude
committed
afbf30d
revert(toolchain): drop rust-analyzer component (not needed for CI)

jellllly420
and
claude
committed
62effef
refactor(tests): share static arena + mctx helpers across ops integration tests

jellllly420
and
claude
committed
2f10724

Navigation Menu

Uh oh!

feat(ops): abstract op groups with TOML-driven concrete instances - #116

feat(ops): abstract op groups with TOML-driven concrete instances#116
jellllly420 wants to merge 32 commits into
RPL-Toolchain:masterfrom
jellllly420:feature/abstract-ops

Commits on May 27, 2026

feat(parser): add ops block grammar rules

refactor(parser): address code review on ops grammar (rename, layout, idiom)

feat(parser): add OpRef rule for $group::$op call targets

fix(context, meta): update MirFnOperand match sites for OpRef arm

feat(context): add OpsBlock, OpGroup, OpSignature AST types

refactor(context): use derive_more::Debug for ops AST consistency

feat(context): add Operand::OpRef variant + parser lowering

fix(context): strip $ in Operand::OpRef lowering for resolver lookup

feat(context): lower ops block into Pattern.ops_block

fix(context): align OpsMetaLookup indices and clarify R1 preconditions

feat(resolve): well-formedness checks R1-R3 for ops blocks

feat(resolve): op-ref resolution R4-R6 + groups_used

feat(config): RawOpInstance + RplConfig.ops field

feat(context): substitution + validation for op instances

feat(driver): thread OpsConfig through the matcher pipeline

feat(driver): cartesian-product iteration over op instances

feat(match): resolve OpRef and op-typed params via bindings

test(ops): add lock_unlock end-to-end UI test

test(ops): folding, partial-bad, set-op composition, two-groups

test(ops): CVE-2025-68260 POC — abstract intrusive-list-under-lock pattern

style(ops): apply cargo fmt across new abstract-ops code

fix(context): replace UB `&PatternItem` -> `*mut` cast with OnceCell

refactor(context): use FxHashMap for deterministic ops ordering; drop empty test

test(ops): align black_box paths, uniform -Zinline-mir, drop broken stderr

fix(ops): silence clippy lints (collapsible_match, needless_borrow, useless_lifetime, useless_into_iter)

style(ops): re-fmt after if-let collapse (rustfmt was missed before push)

fix(config): treat empty resolved pattern paths as no-RPL_PATS

fix(driver): respect outer pat_op bindings in nested RustItems cartesian

fix(context): wire R6 (ops meta-vars must not leak into patt bodies)

refactor(rpl.toml): adopt design-intended $T::method op-binding syntax

revert(toolchain): drop rust-analyzer component (not needed for CI)

refactor(tests): share static arena + mctx helpers across ops integration tests