Module slice 

Harn Flow Slice primitive.

A slice is a deterministic DAG-closed bundle of atoms plus the smallest test gate implied by collector-provided atom coverage. The derivation code stays storage-agnostic: callers provide an atom index, intent-to-atom references, and a coverage map populated by language-specific collectors.

Structs

Approval

Human or system approval included in the slice audit trail.

CoverageMap

Collector-facing coverage contract.

PredicateHash

Opaque invariant predicate hash.

Slice

Atomic unit shipped by Harn Flow.

SliceDerivationInput

Input contract for derive_slice.

SliceId

32-byte SHA-256 content address of a Slice body.

TestId

Opaque language-agnostic test identifier.

UnresolvedParent

Missing parent edge that kept an atom out of a derived slice.

Enums

SliceDerivationError

SliceStatus

Lifecycle state of a derived slice.

Functions

derive_slice

Derive a deterministic, dependency-closed slice for a candidate intent set.