Lace-000 · Index

Tags: index, non-normative

This is the index for the numbered Lace specifications. Numbering gaps have no meaning for the current specification set.

For protocol and runtime implementation, read the foundation and exchange specifications in ascending order: text encoding and Marks support records; validated records project facts into origin-aware views; Datalog evaluates those facts; exchange policy composes two modules; Interlace executes the resulting convergence; and ILTP carries it over byte streams. Lace-060 is the complete ILTP binding; Lace-061 optimizes its first-round listing exchange and Lace-065 compresses each direction beneath it. Lace-100 then defines shared application-facing runtime semantics. Lace-120 defines Interlang, and Lace-130 defines self-contained compilation and structural policy composition.

Foundation and exchange · 000–099

• Lace-000 · Index — this index.
• Lace-006 · Base64-Ascend — ordered text encoding for binary values.
• Lace-009 · Marks — secret-key, verification-key, and Mark formats.
• Lace-010 · Records — Blob, generic-field Plex, and Seal record bytes.
• Lace-020 · Record Facts and Views — facts derived from validated records and peer exposure views.
• Lace-030 · Datalog and Lacegrams — Lace Datalog profile and canonical lacegrams.
• Lace-040 · Exchange Policy — faceted exchange modules and exchange-plan lowering.
• Lace-050 · Interlace State Machine — record-set convergence state machine.
• Lace-060 · ILTP — byte-stream binding for interlace.
• Lace-061 · ILTP Listing Reconciliation — first-round listing exchange scaled to the symmetric difference.
• Lace-065 · ILTP Stream Encoding — negotiated per-direction compression of ILTP streams.

Developer surfaces · 100–199

Read these after 006–065 when implementing the complete stack. Application authors start with Lace-100 for records, operations and outcomes, then write policies from Lace-120 through its common policies; Lace-030 built-ins and Lace-040 facets are reference for what those examples use.

• Lace-100 · Developer Surfaces — shared cross-runtime application semantics.
• Lace-120 · Interlang — field-oriented policy language.
• Lace-130 · Datalog Compilation and Policy Composition — self-contained Interlang compilation and hygienic composition of complete policy constraints.