Crate whipplescript_core 

Shared types for the WhippleScript rule-machine runtime.

Modules

json

Generic JSON/string parsing utilities shared across the platform.

Structs

ConstructField

ConstructGrammar

A DR-0011 grammar object: the single source of the construct’s parse shape. Kept as plain validated strings, matching the rest of the registration data. Two shapes are manifest-expressible: effect_operation (CONSTRUCT_GRAMMAR_SHAPE_EFFECT_OPERATION, <keyword> [<connective> <slot>]* [{ payload }]? as <binding>) and declaration_block (CONSTRUCT_GRAMMAR_SHAPE_DECLARATION_BLOCK, an order-free block of named clauses). The shape string discriminates: clauses is Some exactly for declaration_block, and slots/payload/binding/target_capability carry the effect_operation shape (empty/None/"none"/empty otherwise).

ConstructGrammarClause

One clause of a declaration_block grammar: a named value (the name may be multi-word), a kind from CONSTRUCT_GRAMMAR_CLAUSE_KINDS, whether it is required, whether it takes a list of values, and an optional introducing connective from CONSTRUCT_GRAMMAR_CLAUSE_CONNECTIVES. A flag clause carries no value: it is never a list and never has a connective (DR-0011 amendment, mirrored in build.rs).

ConstructGrammarPayloadField

One field inside the optional payload block: a named expression, required or not.

ConstructGrammarSlot

One ordered grammar slot: a named value (identifier | expression), optionally introduced by a fixed connective word from CONSTRUCT_GRAMMAR_CONNECTIVES.

ConstructInterface

ConstructRegistration

ContractRegistry

Compile-time library and effect-contract registry.

ContractRegistryDiagnostic

EffectContract

LibraryRegistration

PlatformConstructCatalog

PlatformConstructFamily

PlatformConstructLowering

PlatformReservedKeywordPrivilege

Enums

ConstructLoweringAuthorityProfile

ConstructTargetCapabilityPolicy

Severity

The single diagnostic severity scale, aligned 1:1 with the LSP severities (spec/error-handling.md). This is the canonical set for every diagnostic- producing surface (check, lint, LSP, test). note is NOT a severity — it is related information attached to a diagnostic. Inbox-item / notification “severity” is a distinct concept and is not this type.

TypedOutputValidation

Constants

CONSTRUCT_FAMILY_ASSERTION

CONSTRUCT_FAMILY_DECLARATION_BLOCK

CONSTRUCT_FAMILY_EFFECT_CONTRACT

CONSTRUCT_FAMILY_EFFECT_OPERATION

CONSTRUCT_FAMILY_PROJECTION_READ

CONSTRUCT_FAMILY_RULE

CONSTRUCT_FAMILY_SOURCE_DECLARATION

CONSTRUCT_GRAMMAR_BINDING_MODES

CONSTRUCT_GRAMMAR_CLAUSE_CONNECTIVES

declaration_block clause connectives: the Shape 2 slot connectives plus by (ledger partition by). Mirrors build.rs’s CLAUSE_CONNECTIVES.

CONSTRUCT_GRAMMAR_CLAUSE_KINDS

declaration_block clause value kinds (DR-0011 Shape 1, mirrors build.rs’s CLAUSE_KINDS).

CONSTRUCT_GRAMMAR_CONNECTIVES

CONSTRUCT_GRAMMAR_SHAPE_DECLARATION_BLOCK

CONSTRUCT_GRAMMAR_SHAPE_EFFECT_OPERATION

CONSTRUCT_GRAMMAR_SLOT_KINDS

CONSTRUCT_INTERFACE_CAPABILITY

CONSTRUCT_INTERFACE_CARDINALITY_EXACTLY_ONE

CONSTRUCT_INTERFACE_EFFECT_HANDLE

CONSTRUCT_INTERFACE_PHASE_COMPILE_RUNTIME

CONSTRUCT_LOWERING_ASSERTION_CHECK

CONSTRUCT_LOWERING_CAPABILITY_CALL

CONSTRUCT_LOWERING_CLOCK_SOURCE

CONSTRUCT_LOWERING_CORE_EFFECT

CONSTRUCT_LOWERING_METADATA

CONSTRUCT_LOWERING_METADATA_ONLY

CONSTRUCT_LOWERING_PROJECTION_VIEW

CONSTRUCT_LOWERING_RESOURCE_EFFECT

CONSTRUCT_LOWERING_RULE_TEMPLATE

CONSTRUCT_LOWERING_SCHEDULE_EMITTER

CONSTRUCT_LOWERING_SIGNAL_EMIT

CONSTRUCT_LOWERING_SIGNAL_SOURCE

CONSTRUCT_LOWERING_TYPED_EFFECT_CALL

CONSTRUCT_PLATFORM_STATIC_GUARANTEES

CONSTRUCT_SCOPE_RULE_BODY

CONSTRUCT_STATIC_CONTRACT_PINNED

CONSTRUCT_STATIC_DETERMINISTIC

CONSTRUCT_STATIC_NO_DIRECT_FACT_WRITE

CONSTRUCT_STATIC_NO_DIRECT_RULE_FIRE

CONSTRUCT_STATIC_NO_HIDDEN_AUTHORITY

CONSTRUCT_STATIC_NO_PACKAGE_LIFECYCLE

CONSTRUCT_STATIC_NO_PACKAGE_SCHEDULER

CONSTRUCT_STATIC_NO_RUNTIME_INPUTS

CORE_CAPABILITY_CALL_CONSTRUCT_ID

IMPLEMENTATION_STAGE

Current implementation stage for the active redesign.

MESSAGING_SEND_CAPABILITY

The messaging.send capability id — the target of the send construct and the id of its capability.call effect contract.

PLATFORM_CONSTRUCT_CATALOG

Functions

std_messaging_send_construct

std.messaging send construct registration (effect_operation → capability.call).

std_messaging_send_effect_contract

std.messaging messaging.send capability.call effect contract — the target the send construct lowers to.

version

Returns the workspace package version.