proofbindingtestinventory

package
v0.1.159 Latest Latest
Warning

This package is not in the latest version of its module.

Go to latest
Published: Jul 13, 2026 License: MIT Imports: 9 Imported by: 0

Documentation

Index

Constants

View Source
const ProjectionKind = "proofkit.proof-binding-test-inventory"

Variables

This section is empty.

Functions

func Build

func Build(raw any) (any, int, error)

func BuildNormalized

func BuildNormalized(raw any) (map[string]any, int, error)

func BuildReport

func BuildReport(raw any) (report.Record, int, error)

Types

type Input

type Input struct {
	CommandRefPrefix string
	CompactProof     any
	InventoryID      string
	NonClaims        []string
	RequirementOwner map[string]string
}

type Projection

type Projection struct {
	CommandRefs []string
	Entries     []map[string]any
	Inventory   map[string]any
	NonClaims   []string
}

func Project

func Project(raw any) (Projection, error)

Jump to

Keyboard shortcuts

? : This menu
/ : Search site
f or F : Jump to
y or Y : Canonical URL