Why Go
- Case Studies
  
  Common problems companies solve with Go
- Use Cases
  
  Stories about how and why companies use Go
- Security
  
  How Go can help keep you secure by default
Learn
Docs
- Effective Go
  
  Tips for writing clear, performant, and idiomatic Go code
- Go User Manual
  
  A complete introduction to building software with Go
- Standard library
  
  Reference documentation for Go's standard library
- Release Notes
  
  Learn what's new in each Go release
Packages
Community
- Recorded Talks
  
  Videos from prior events
- Meetups
  
  Meet other local Go developers
- Conferences
  
  Learn and network with Go developers from around the world
- Go blog
  
  The Go project's official blog.
- Go project
  
  Get help and stay informed from Go
- Get connected

proof

package module

Go to main page

Versions in this module

v0

v0.4.5

Feb 27, 2026

Changes in this version

+ type AgentChainHop = record.AgentChainHop

+ type AgentLineageHop = record.AgentLineageHop

+ type PolicyRef = record.PolicyRef

+ type Relations = record.Relations

+ type Relationship = record.Relationship

+ type RelationshipEdge = record.RelationshipEdge

+ type RelationshipRef = record.RelationshipRef

v0.4.4

Feb 22, 2026

v0.4.3

Feb 20, 2026

v0.4.2

Feb 20, 2026

Changes in this version

+ func ValidateGovernanceEvent(event GovernanceEvent) error

+ type GovernanceEvent struct

+ AgentID string

+ Context map[string]any

+ Detail map[string]any

+ EventID string

+ EventType string

+ Timestamp string

+ ToolName string

+ Verdict string

type Record

+ func NewRecordFromEvent(event GovernanceEvent, source string) (*Record, error)

v0.4.1

Feb 19, 2026

v0.4.0

Feb 18, 2026

v0.3.0

Feb 18, 2026

v0.2.0

Feb 18, 2026

v0.1.0

Feb 18, 2026

Changes in this version

+ const DomainJSON

+ const DomainPrompt

+ const DomainSQL

+ const DomainText

+ const DomainURL

+ func AppendToChain(c *Chain, r *Record) error

+ func Canonicalize(input []byte, domain CanonDomain) ([]byte, error)

+ func ComputeRecordHash(r *Record) (string, error)

+ func IsDependencyMissing(err error) bool

+ func IsKeyRevoked(list RevocationList, keyID string, at time.Time) bool

+ func RegisterCustomType(recordType string, schemaJSON []byte) error

+ func RegisterCustomTypeSchema(recordType, schemaPath string) error

+ func ResetCustomTypes()

+ func ValidateCustomTypeSchema(schemaPath string) error

+ func ValidateRecord(r *Record) error

+ func Verify(r *Record, publicKey PublicKey) error

+ func VerifyChainSignature(c *Chain, sig Signature, pub PublicKey) error

+ func VerifyCosign(r *Record, keyPath string) error

+ func VerifyCosignWithOptions(r *Record, opts CosignVerifyOpts) error

+ func VerifyRevocationList(list RevocationList, pub PublicKey) error

+ func WriteRecord(path string, r *Record) error

+ type BundleManifest struct

+ AlgoID string

+ Files []BundleManifestEntry

+ SaltID string

+ Signatures []Signature

+ func SignBundle(path string, key SigningKey) (*BundleManifest, error)

+ func SignBundleCosign(path string, keyPath string) (*BundleManifest, error)

+ func VerifyBundle(path string, opts BundleVerifyOpts) (*BundleManifest, error)

+ type BundleManifestEntry struct

+ Path string

+ SHA256 string

+ type BundleVerifyOpts struct

+ Cosign CosignVerifyOpts

+ PublicKey PublicKey

+ VerifySignatures bool

+ type CanonDomain = canon.Domain

+ type Chain = chain.Chain

+ func NewChain(id string) *Chain

+ type ChainVerification = chain.Verification

+ func VerifyChain(c *Chain) (*ChainVerification, error)

+ func VerifyChainRange(c *Chain, from, to time.Time) (*ChainVerification, error)

+ type Controls = record.Controls

+ type CosignVerifyOpts = signing.CosignVerifyOpts

+ type Digest = canon.Digest

+ func DigestHMACValue(input []byte, domain CanonDomain, secret []byte, saltID string) (Digest, error)

+ func DigestValue(input []byte, domain CanonDomain, saltID string) (Digest, error)

+ type Framework = framework.Framework

+ func LoadFramework(pathOrID string) (*Framework, error)

+ type PublicKey = signing.PublicKey

+ type Record = record.Record

+ func NewRecord(opts RecordOpts) (*Record, error)

+ func ReadRecord(path string) (*Record, error)

+ func Sign(r *Record, key SigningKey) (*Record, error)

+ func SignCosign(r *Record, keyPath string) (*Record, error)

+ type RecordOpts = record.RecordOpts

+ type RecordType = schema.RecordType

+ func ListRecordTypes() []RecordType

+ type RevocationEntry = signing.RevocationEntry

+ type RevocationList = signing.RevocationList

+ func SignRevocationList(list RevocationList, key SigningKey) (RevocationList, error)

+ type Signature = signing.Signature

+ func SignChain(c *Chain, key SigningKey) (Signature, error)

+ type SigningKey = signing.SigningKey

+ func GenerateSigningKey() (SigningKey, error)