Crate harn_capability_contracts 

Canonical typed contracts for every Harness capability method.

This dependency-leaf crate owns the method names, signatures, effects, and documentation shared by parser, IR, runtime policy, receipts, and tooling. Consumers read the immutable manifest directly; correctness never depends on a VM having initialized a process-global registry first.

Structs

CapabilityMethodDef

One method contract before its name-keyed manifest projection.

Statics

ALL_CAPABILITY_METHOD_DEFS

Build-generated projection of the source declarations. A plain static slice works on native and wasm32-unknown-unknown, unlike linker-section discovery, while the macro declarations remain the single contract owner.

Functions

capability_method_entry

Resolve one harness.<field>.<method> contract without mutable registry initialization.

declared_capability_method_names

Every method name declared on one capability, contract-owned and harn-vm-owned together, sorted and de-duplicated.

is_declared_capability_method

Is harness.<field>.<method> a declared capability method anywhere in the workspace?

manifest

Deterministic manifest projection consumed directly by every compiler and runtime surface.