goalruntime

Documentation

Index

• Constants
• func Commands() []string
• func WriteEvidence(root string, report Report) error
• type GateReport
• type LedgerEntry
• type Options
• type Report
  • func Evaluate(command string, options Options) (Report, error)

Constants

const (
	DefaultGoalID      = "GOAL-20260603-XLIB-GOALCLI-001"
	EvidenceLedgerPath = "release/evidence/goalcli/"
	SourceLedgerPath   = ".agent/evidence/ledger.jsonl"
)

Functions

func Commands

func Commands() []string

Commands returns the supported goalcli MVA command names.

func WriteEvidence

func WriteEvidence(root string, report Report) error

WriteEvidence idempotently records passed goalcli MVA reports in the source ledger. Final reports also write the generated evidence pack after the prerequisite G12-G16 ledger entries have been reconciled for the same goal.

Types

type GateReport

type GateReport struct {
	ID       string `json:"id"`
	Command  string `json:"command"`
	Status   string `json:"status"`
	Blocking bool   `json:"blocking"`
}

GateReport records one local goalcli evidence gate.

type LedgerEntry

type LedgerEntry struct {
	SchemaVersion    string `json:"schema_version"`
	GoalID           string `json:"goal_id"`
	Command          string `json:"command"`
	Status           string `json:"status"`
	MVAStatus        string `json:"mva_status"`
	Blocking         bool   `json:"blocking"`
	EvidencePackPath string `json:"evidence_pack_path"`
}

LedgerEntry is the compact JSONL source entry for generated goalcli evidence.

type Options

type Options struct {
	GoalID string
	Mode   string
	Root   string
}

Options configures a goalcli MVA contract evaluation.

type Report

type Report struct {
	SchemaVersion    string       `json:"schema_version"`
	Command          string       `json:"command"`
	Status           string       `json:"status"`
	GoalID           string       `json:"goal_id"`
	Gate             string       `json:"gate"`
	Mode             string       `json:"mode"`
	Executor         string       `json:"executor"`
	ControlPlane     string       `json:"control_plane"`
	Blocking         bool         `json:"blocking"`
	MVAStatus        string       `json:"mva_status"`
	LedgerPath       string       `json:"ledger_path"`
	EvidencePackPath string       `json:"evidence_pack_path"`
	Gates            []GateReport `json:"gates,omitempty"`
	Details          []string     `json:"details,omitempty"`
	Evidence         []string     `json:"evidence,omitempty"`
	AuthorityPaths   []string     `json:"authority_paths,omitempty"`
	Gaps             []string     `json:"gaps,omitempty"`
}

Report is the machine-readable goalcli MVA evidence returned by goalcli.

func Evaluate

func Evaluate(command string, options Options) (Report, error)

Evaluate verifies the local goalcli v0.1.0 MVA contract for a single command.