Tracks the substrate-side conformance work for the ruby kit (Side A of the (A)/(B) split per #176).
Background
The ruby kit has an LSP plugin (PR #173) and an IR module, but no self-contracts orchestrator and no ruby slab with canonical contracts.
Scope
Tier 3 work. Bootstrap the orchestrator:
- Create
implementations/ruby/lib/provekit/self_contracts.rb orchestrator
- Author the ruby slab with the canonical contracts
- RPC layer emitting proof-envelope to stdout under canonical
--rpc lift-protocol framing
- Add
ruby-self-contracts lift surface manifest at implementations/ruby/.provekit/lift/ruby-self-contracts/manifest.toml
- Update
KIT_TABLE in implementations/rust/provekit-cli/src/cmd_mint.rs to route the ruby entry to the new surface
- Add a pinned-CID test in
mint_kit_integration.rs
Acceptance
See also
Tracks the substrate-side conformance work for the ruby kit (Side A of the (A)/(B) split per #176).
Background
The ruby kit has an LSP plugin (PR #173) and an IR module, but no self-contracts orchestrator and no ruby slab with canonical contracts.
Scope
Tier 3 work. Bootstrap the orchestrator:
implementations/ruby/lib/provekit/self_contracts.rborchestrator--rpclift-protocol framingruby-self-contractslift surface manifest atimplementations/ruby/.provekit/lift/ruby-self-contracts/manifest.tomlKIT_TABLEinimplementations/rust/provekit-cli/src/cmd_mint.rsto route the ruby entry to the new surfacemint_kit_integration.rsAcceptance
make mint-rubyproduces a content-meaningful contractSetCidprovekit prove --kit=rubyexits 0 in CISee also