Skip to main content

shape_vm/
bytecode.rs

1//! Bytecode instruction set for Shape VM
2
3use serde::{Deserialize, Serialize};
4use sha2::{Digest, Sha256};
5use shape_abi_v1::PermissionSet;
6use shape_ast::ast::{DataDateTimeRef, DateTimeExpr, Duration, TimeReference, TypeAnnotation};
7use shape_ast::data::Timeframe;
8// `ValueWord` re-export removed: the v1 dynamic-tag word was deleted by the
9// strict-typing bulldozer (see shape-value/src/lib.rs and CLAUDE.md "Forbidden
10// Patterns"). The legacy `Constant::Value(ValueWord)` arm in `core_types.rs`
11// is a Phase-2c surface — see ADR-006 §2.7.4 for the kinded constant variant
12// rebuild.
13use std::collections::HashMap;
14
15const DEFAULT_TRAIT_IMPL_SELECTOR: &str = "__default__";
16
17mod content_addressed;
18mod core_types;
19mod opcode_defs;
20mod program_impl;
21pub mod verifier;
22
23pub use content_addressed::*;
24pub use core_types::*;
25pub use opcode_defs::*;