receiptbundle

package
v0.8.1 Latest Latest
Warning

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

Go to latest
Published: Sep 24, 2026 License: AGPL-3.0, AGPL-3.0-or-later Imports: 19 Imported by: 0

Documentation

Overview

Package receiptbundle exports the receipts that one change already carries (its CEM, witness report, dogfood report and gate receipt) as exact byte copies into a new directory with a line-oriented manifest, so an auditor can recompute every digest offline with script/verify-receipt-bundle.sh (docs/specs/receipt-bundle-v0.md, RCB-V0).

The export reads repository and Git-directory state and writes only the bundle directory the caller names outside the worktree. It never signs, publishes, or synthesizes a receipt: a receipt it cannot find or bind is listed as absent with a reason.

Index

Constants

View Source
const (
	Profile         = "corvint-receipt-bundle/0"
	ManifestName    = "manifest.json"
	MaxReceiptBytes = wire.MaxMapBytes

	ReasonNotSupplied   = "not-supplied"
	ReasonNotFound      = "not-found"
	ReasonUnreadable    = "unreadable"
	ReasonOtherRevision = "binds-other-revision"
)

Frozen names and bounds (RCB-V0-002, RCB-V0-004).

Variables

This section is empty.

Functions

func Export

func Export(ctx context.Context, root string, options Options) (map[string]any, error)

Export writes the bundle and returns the command envelope.

Types

type Axis

type Axis struct {
	Pointer string `json:"pointer"`
	Value   string `json:"value"`
}

Axis is one NOT_RUN or NOT_PRODUCED value inside a receipt.

type Options

type Options struct {
	MapPath      string // repository-relative CEM path
	ExpectedBase string // independent base the map must name (CEM-CB-010)
	Target       string // the commit whose canonical patch the map binds
	Output       string // absolute path of a directory that must not exist
	Witness      string // optional saved `corvint witness --json` report
}

Options names the one change to export and where to put it.

Jump to

Keyboard shortcuts

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