proofreport

package
v0.6.0 Latest Latest
Warning

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

Go to latest
Published: Jul 2, 2026 License: AGPL-3.0 Imports: 3 Imported by: 0

Documentation

Overview

Package proofreport exposes conservative Signal proof and backup coverage metadata for downstream readiness checks.

Index

Constants

View Source
const (
	StatusVectorBacked = compat.CoverageStatusVectorBacked
	StatusStructural   = compat.CoverageStatusStructural
	StatusDeferred     = compat.CoverageStatusDeferred
)

Report status values.

Variables

This section is empty.

Functions

func Validate

func Validate(r CompatibilityReport) error

Validate checks that report rows do not overclaim upstream parity.

Types

type CompatibilityReport

type CompatibilityReport struct {
	UpstreamTag string `json:"upstream_tag"`
	Rows        []Row  `json:"rows"`
}

CompatibilityReport summarizes coverage against one upstream libsignal tag.

func Report

func Report() (CompatibilityReport, error)

Report returns the current proof and backup coverage report.

func (CompatibilityReport) ByDomain

func (r CompatibilityReport) ByDomain() map[string]Row

ByDomain indexes report rows by domain name.

type Row

type Row struct {
	Domain            string   `json:"domain"`
	Status            Status   `json:"status"`
	UpstreamTag       string   `json:"upstream_tag,omitempty"`
	Fixture           string   `json:"fixture,omitempty"`
	FixtureSHA256     string   `json:"fixture_sha256,omitempty"`
	ParityClaim       bool     `json:"parity_claim"`
	Reason            string   `json:"reason,omitempty"`
	NextUpstreamInput string   `json:"next_upstream_input,omitempty"`
	Packages          []string `json:"packages,omitempty"`
	Notes             string   `json:"notes,omitempty"`
}

Row describes one proof, backup, or protocol-adjacent compatibility domain.

type Status

type Status = compat.CoverageStatus

Status classifies report rows by their upstream evidence strength.

Jump to

Keyboard shortcuts

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