Module implements 

SRD-108 Part B — the typed implementation binder.

Binds an implementation workload’s op bodies into a blueprint’s ABSTRACT slots at load time, before any synthesis. The blueprint owns every piece of scaffolding (extents, concurrency, stop conditions, metrics, provenance classes); the implementation contributes exactly the protocol matter: op fields, adapter selection, captures, and op-level bindings.

Every rule here is a LOAD error with a slot-coordinate name — nothing defers to a runtime critical section. The interface’s type proof runs later, still at init: pre-map synthesis verifies yields against the compiled op-template program (see nmbrs-runtime’s SRD-108 verification hook).

Functions

bind_implementation

Bind implementation into blueprint in place.

unbound_abstract_slots

Names of every unbound abstract slot in a workload — non-empty means the workload cannot run (load error at initiation).