shape-vm 0.3.1

Stack-based bytecode virtual machine for the Shape programming language
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60

//! IndexedTable method handlers for the VM.
//!
//! Phase 1.B-vm Wave-β cluster M-collection-tail: bodies surface
//! `NotImplemented(SURFACE)` per playbook §7 REVISED + §10 D-objects-mod /
//! D-obj-tail precedent (ADR-006 §2.7.6 / §2.7.7).
//!
//! `IndexedTable` is **not** a surviving `HeapKind` variant per ADR-006
//! §2.3 trim (`crates/shape-value/src/heap_variants.rs`); the
//! `HeapValue::IndexedTable { schema_id, table, index_col }` payload was
//! removed alongside the `ValueWord::from_indexed_table` constructor.
//! The kinded equivalent is naturally a `HeapValue::TableView` projection
//! (`Arc<TableViewData>` per ADR-006 §2.3) plus an index-column id —
//! that is a Phase 2c Stage C item once the `TableView` view-shape
//! settles. The `extract_indexed_table_nb` helper imported here lives in
//! the `datatable_methods::common` carrier and is itself awaiting that
//! cascade.
//!
//! The pre-Wave-6 implementation used the deleted
//! `shape_value::{ValueWord, ValueWordExt}` surface, the deleted
//! `ValueWord::from_indexed_table` / `from_raw_bits` / `from_f64` /
//! `from_i64` / `from_string` constructors, the
//! `raw_helpers::extract_number_coerce` helper (deleted in cluster
//! D-raw-helpers — only the FilterExpr extractor remains), and the
//! kindless MethodHandler ABI. Per playbook §4 #1 / #9 a Bool-default
//! kinded shim is forbidden; per §7.4 the correct response is
//! `NotImplemented(SURFACE)`.

use crate::executor::VirtualMachine;
use shape_value::{KindedSlot, VMError};
use shape_runtime::context::ExecutionContext;

#[inline]
fn surface(method: &str) -> VMError {
    VMError::NotImplemented(format!(
        "phase-2c — IndexedTable.{}(): IndexedTable is not a surviving HeapKind \
         variant per ADR-006 §2.3 trim; needs typed-Arc replacement \
         (HeapValue::TableView projection + index-column id). MethodHandler ABI \
         also needs kinded migration (cluster E-builtins-backlog, Wave 5b \
         template).",
        method
    ))
}

/// `indexed.between(start, end)` — filter rows where index is in [start, end] (v2).
pub(crate) fn handle_between(
    _vm: &mut VirtualMachine,
    _args: &[KindedSlot],
    _ctx: Option<&mut ExecutionContext>,
) -> Result<KindedSlot, VMError> {
    Err(surface("between"))
}

/// `indexed.resample(interval, { col: "agg_fn", ... })` — bucket by interval, aggregate (v2).
pub(crate) fn handle_resample(
    _vm: &mut VirtualMachine,
    _args: &[KindedSlot],
    _ctx: Option<&mut ExecutionContext>,
) -> Result<KindedSlot, VMError> {
    Err(surface("resample"))
}