Module logic 

Pure Lace logic: Datalog lacegrams, exchange operands/plans, and local executable policy lowering.

This crate deliberately has no sockets, runtimes, stores, laces, handles, or interlace machine state.

Re-exports

pub use lacegram::CanonicalLacegram;

pub use lacegram::canonicalize_lacegram_rules;

pub use lacegram::canonicalize_lacegram_source;

pub use lacegram::parse_lacegram;

pub use lacegram::parse_rule;

pub use lacegram::predicate_variable_kinds;

pub use lacegram::prepare_lacegram_rules;

pub use lacegram::render_rule_line;

Modules

lacegram

Datalog lacegram parsing, validation, and canonicalization.

profile

The fixed standard exchange profile’s predicate vocabulary.

types

Core types for the Lace Datalog engine.

Structs

AdvertisementFieldRequirements

Advertisement field schema required by an agreed exchange plan.

DatalogLimits

Generic Lace-030 preparation and finite-evaluation limits.

ExchangePlan

Opaque immutable result of compiling exactly two ordered modules.

FieldExclusion

A Lace-130 exclusion: records carrying a matching Field occurrence.

InterlaceModule

Public 040 interlace module.

LocalExecutablePolicy

One side’s lowered local executable.

Enums

ExchangePlanSlot

PreparationError

Typed preparation failure shared by core validation and authoring frontends.

Functions

all_records

Select, expose, and request every record.

blob_resource_hash

Compute the Blob record hash for one canonical text resource.

canonicalize_lacegram_text

Canonicalize ordinary Datalog source to 030 lacegram text.

compile_exchange_plan

compile_local_executable_policy

Canonical text of one side’s lowered local executable.

lacegram_resource_hash

Compute the Blob record hash for canonical lacegram text.

lower_exchange_plan_for_local_side

Lower an exchange plan to the local executable for one slot.

prepare_facet_constraints

Compose authoring and guest policies into one canonical operand.

rx_disabled

Veto reception by the side assigned this operand.

tx_disabled

Veto transmission from the side assigned this operand.