Strideweave Specifications

Behavior contracts for Strideweave subsystems. Generated from openspec/specs/ at build time.

Specification	Status	Summary
Core Layout	stable	Hierarchical layout values, coordinate indexing, structural transforms, broadcasting, and tiling algebra.
Core Tensor Representation	stable	Tensor construction, authoritative representation, validation, carrier ownership, and multi-subtensor boundaries.
Core Tensor Views	stable	Zero-copy Tensor views, hierarchical layout transformations, failures, and reverse-mode behavior.
Autograd	stable	Reverse-mode graph construction, backward traversal, gradient accumulation, saved-version validation, and functional vector-Jacobian products.
Layout Commands	stable	Hierarchical layout command lexing, layout-reference grammar, and the rearrange, reduce, and contraction lowerings.
Friendly Tensor Creation	stable	CPU-backed friendly tensor factories, value ordering, dtype selection, allocation, and diagnostics.
Dtype Descriptors	stable	Registered dtype identity, hierarchy, discovery, immutability, extension, and serialization.
Dtype Representations	stable	Compound storage schemas, declarative representation rules, and block-scaled dtype structure.
Carrier Storage	stable	Carrier construction, dtype support, value access, factories, mutation, versioning, and release.
Operation Dtype Policy	stable	Backend-independent operation overloads, promotion, arithmetic, accumulation, and result dtype planning.
Operation Semantics	stable	Carrier-neutral operation definitions, resolved invocations, provider result contracts, and automatic differentiation.
Backend Capabilities	stable	Exact operation-plan capability descriptors, registration, introspection, and enforcement.
Carrier Extension	stable	Exact-class carrier definitions, storage and transfer providers, kernel packs, and typed facets.
Carrier Dispatch	stable	Instance operation dispatch, exact-class metadata, backend extension, preflight, and composite lowering.
Carrier Composition	stable	Evictable hierarchy construction, exclusive ownership, residency transitions, and lifecycle.
Tiled Carrier Composition	stable	Tiled storage geometry, independent residency, projection, scatter, direct execution, lifecycle, and autograd.
Interoperability and Movement	stable	Zero-copy DLPack export, the carrier hook that enables it, and cross-carrier tensor movement with its dispatch registry.
Friendly Layout Builders	stable	Compact flat column-major and row-major layouts built from positive mode extents.
Kernel Evidence Tracking	stable	Provenance-complete recording, local factual queries, and explicit contributor exchange for immutable kernel evidence.
Kernel Verification	stable	Fail-closed classification and staged local verification of selected installed CPU and Metal targets.
Operation Profiling	stable	Carrier-aware profiling lifecycle, execution evidence, nesting, timing, aggregation, and reporting.
Friendly Scalar Reductions	stable	Whole-tensor sum and mean reductions with scalar layouts and reverse-mode behavior.
Verification Report	stable	Portable provenance-complete verification reports, strict loading, filtering, summaries, and inspection.
Friendly Value Extraction	stable	Scalar and flat-list extraction through tensor logical coordinates and carrier values.