Generated from the executable contract

Supported features and progress

The ledger is generated from the same 1,572-case manifest used by the conformance suite. “Unavailable” is an explicit tested result, not a missing assertion.

Overall implementation

96.9%

1,523 semantically implemented · 49 explicitly unavailable

Implementation states

Implemented: The semantic contract executes and its output, errors, response metadata, or state mutation is asserted.
Unavailable: The historical surface is recognized, but the integration is intentionally unavailable and returns a tested diagnostic.

Evidence base

1,506 contracts have an explicit Lasso 8.6 reference. The remaining 66 are inherited from the Lasso 8.5 manual under the project rule that 8.6 is a patch-compatible continuation of 8.5.

The production runtime is focused on Lasso 8.6.

All contracts

Browse by documented type

653Members 565Substitutions 101Commands 94Processes 55Containers 45Constants 34Symbols 14Delimiters 11Data types