extension

ptwm_core::extension::capability

Sealed-but-extensible capability vocabulary.

`ptwm_core::extension::capability`

Sealed-but-extensible capability vocabulary.

rsmod

ptwm_core::extension::capability

crates/ptwm-core/src/extension/capability.rs:1

mod capability

Sealed-but-extensible capability vocabulary.

v1 baseline keys: determinism, native_deps, host_imports, hardware_class, sandbox_class, mem_factor, fuel_factor. Unknown keys are parse-time allow, verify-time deny (the verifier refuses to invoke a contribution declaring a capability key the host doesn't recognize unless the user explicitly opts in via policy).

rsconst

ptwm_core::extension::capability::BASELINE_KEYS

crates/ptwm-core/src/extension/capability.rs:18

pub const BASELINE_KEYS

Set of canonical baseline capability keys recognized by v1.

rstype

ptwm_core::extension::capability::Capability

crates/ptwm-core/src/extension/capability.rs:58

pub struct Capability

Single entry of a `Capability` for ergonomic field-style construction.

rstype

ptwm_core::extension::capability::CapabilityMap

crates/ptwm-core/src/extension/capability.rs:30

pub struct CapabilityMap(...);

Capability map; preserves declared order via `BTreeMap`'s canonical sort.

rstype

ptwm_core::extension::capability::CapabilityValue

crates/ptwm-core/src/extension/capability.rs:36

pub enum CapabilityValue

Capability values are restricted to a small typed set so verification can be exhaustive on baseline keys.

rstype

ptwm_core::extension::capability::F64Wrap

crates/ptwm-core/src/extension/capability.rs:47

pub struct F64Wrap(...);

Hashable, Eq-comparable wrapper around `f64` (NaN treated as unequal).

builtins

Materialize ExtensionTableEntry values for in-tree built-ins.

dispatch

Static dispatch table for in-tree built-in ops and codecs.