feat(models): add State, Memo, Empty variants to MettaValue #74
Conversation
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
dylon
force-pushed
the
pr09/bytecode-bridge-cache
branch
from
092b44c to
52358c1
Compare
dylon
force-pushed
the
pr10/metta-value-state-memo-empty
branch
from
ad0279f to
7abe780
Compare
dylon
force-pushed
the
pr09/bytecode-bridge-cache
branch
from
52358c1 to
151e9e9
Compare
Add mork_bridge.rs (~412 lines): - Bridge between bytecode VM and MORK/Environment for rule dispatch - Rule compilation caching with hash-based keys - Pattern specificity calculation for rule ordering - Stats tracking for cache hit/miss monitoring Add cache.rs (~309 lines): - LRU-based bytecode compilation cache - can_compile result caching for compilability checks - Fast inline hashing for primitives (Long, Bool, Nil, Float) - SIMD-accelerated gxhash for complex types (SExpr, Atom, String) Add gxhash dependency for fast hashing. Add Rule::new() constructor for test compatibility. 🤖 Generated with [Claude Code](https://claude.com/claude-code) Co-Authored-By: Claude Opus 4.5 <[email protected]>
Add three new variants to MettaValue enum for VM infrastructure: - State(u64): Mutable state cell reference - Memo(MemoHandle): Memoization handle for caching - Empty: Empty result marker for nondeterministic evaluation Updated pattern matches in: - bytecode/compiler: Compile State/Memo/Empty to constants - eval/mod: Evaluate as ground types, format for display - eval/types: Infer types for new variants - mork_convert: Convert to MORK representation - pathmap_par_integration: Convert to Rholang Par - main.rs: Format for CLI output - tests: Display and match string representations 🤖 Generated with [Claude Code](https://claude.com/claude-code) Co-Authored-By: Claude Opus 4.5 <[email protected]>
🤖 Generated with [Claude Code](https://claude.com/claude-code) Co-Authored-By: Claude Opus 4.5 <[email protected]>
dylon
force-pushed
the
pr10/metta-value-state-memo-empty
branch
from
7abe780 to
399590b
Compare
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.
Summary
Add additional MettaValue variants:
Part of Stacked PR Series
This is PR #10 in a 28-PR stacked series implementing the bytecode VM and JIT compiler.
Base:
pr09/bytecode-bridge-cacheNext:
pr11/modules-systemThis PR series implements tiered compilation: tree-walker → bytecode VM → JIT native code