Kernel Selection Reports

Human-readable reports for contract-carrying kernel plans. The eager runtime prints the detailed lines for each capsule the first time it is used when showBackend is set, and the runtime API exposes BackendProfile.planReport for command-line inspection.

def NN.Backend.Provider.label : Provider → String

Short stable spelling for a backend provider.

def NN.Backend.TrustLevel.label : TrustLevel → String

Short stable spelling for a capsule trust level.

def NN.Backend.AssurancePolicy.label (policy : AssurancePolicy) : String

Short stable spelling for a profile assurance policy.

def NN.Backend.VJPMode.label : VJPMode → String

Short stable spelling for how a capsule handles backward/VJP.

def NN.Backend.TensorLayout.label : TensorLayout → String

Short stable spelling for a tensor-layout contract.

def NN.Backend.ContractObligation.label : ContractObligation → String

Field name of a capsule contract, as shown in reports.

def NN.Backend.ContractClaim.label : ContractClaim → String

Human-readable statement of a structured backend obligation.

def NN.Backend.ContractEvidence.label : ContractEvidence → String

Concise description of the evidence attached to a contract claim.

def NN.Backend.AcceptanceFailure.message : AcceptanceFailure → String

Human-readable explanation of why a planned kernel failed the execution-boundary check.

def NN.Backend.ContractDescriptor.reportLine (field : ContractObligation) (d : ContractDescriptor) : String

One report line for a named contract field.

def NN.Backend.KernelAudit.reportLine (a : KernelAudit) : String

One-line summary for a selected backend capsule.

def NN.Backend.KernelAudit.detailedReportLines (a : KernelAudit) : Array String

Full contract report for a selected backend capsule.

def NN.Backend.KernelPlanAudit.detailedReportLines (a : KernelPlanAudit) : Array String

Human-readable contract details for all selected capsules.

def NN.Backend.KernelPlan.detailedReportLines (p : KernelPlan) : Array String

Human-readable contract details for a selected kernel plan.

def NN.Backend.BackendProfile.summary (p : BackendProfile) : String

One-line profile description for logs and interactive choosers.

def NN.Backend.BackendProfile.planReport (p : BackendProfile) (ops : Array BackendOp) : Except String String

Plan a list of backend ops and format the selected capsules.