logiCells ABI: public binary contract
Reference: This page is a source-based technical synthesis of the LaTeX chapter cited below. For exact syntax, availability or ABI signatures, verify the versioned source, manifest and executable tests.
Scope and source boundary
Interpret every public ABI method using its versioned manifest, including ownership, release policy and exact call shape.
The published ABI is a versioned binary contract, not an inference from internal Kernel classes. The .NET reference distinguishes value, borrowed, caller-owned, module-owned and retained lifetimes, plus explicit release policy. Generated typed wrappers should normally be preferred to manually constructed low-level descriptors.
Engineering rules
- Read ownership together with the release policy in the ABI manifest.
- Check argument direction, value type and nullability for every call.
- Use versioned generated contracts rather than guessing a symbol name.
- Test local and remote bindings separately before claiming portability.
Chapter outline (original LaTeX headings)
- Ownership and release vocabulary
- Advanced rule
LaTeX provenance
Primary chapter: Runtime/logiCells Runtime Programming for .NET/abi-runtime-reference.tex.