readproof

type Assertion struct {
	Name      string  `json:"name"`
	Passed    bool    `json:"passed"`
	Measured  float64 `json:"measured"`
	Objective float64 `json:"objective"`
	Unit      string  `json:"unit"`
	Detail    string  `json:"detail"`
}

type Call struct {
	MS       float64 `json:"ms"`
	Status   int     `json:"status"`
	Bytes    int     `json:"bytes"`
	Coverage string  `json:"coverage"`
	// BodyCoverage is the `coverage` field of an object-shaped body; the
	// dashboard and service-map views carry coverage there, not in the header.
	BodyCoverage string `json:"body_coverage,omitempty"`
	Error        string `json:"error,omitempty"`
}

type Mappings struct {
	Seconds    float64 `json:"t_s"`
	TotalBytes int64   `json:"total_bytes"`
	// GoHeapBytes is "[anon: Go: heap]": the runtime heap arenas.
	GoHeapBytes int64 `json:"go_heap_bytes"`
	// GoRuntimeBytes is every other named Go mapping (metadata, GC bits,
	// spans, scavenger structures) plus the main thread stack and vDSO.
	GoRuntimeBytes int64 `json:"go_runtime_bytes"`
	// OtherAnonBytes is unnamed anonymous memory: with the pure-Go SQLite
	// driver this is modernc's libc allocator — the page cache, the sorter
	// and temp tables — plus anything else outside the Go heap.
	OtherAnonBytes int64 `json:"other_anon_bytes"`
	// FileBytes is file-backed and shmem-backed residency: an mmapped
	// database, shared libraries, tmpfs files.
	FileBytes int64 `json:"file_bytes"`
	// BinaryBytes is the executable's own text and data.
	BinaryBytes int64  `json:"binary_bytes"`
	Error       string `json:"error,omitempty"`
}

type Measurement struct {
	Name      string `json:"name"`
	Kind      string `json:"kind"` // rest | mcp
	Path      string `json:"path,omitempty"`
	Query     string `json:"query,omitempty"`
	Tool      string `json:"tool,omitempty"`
	Arguments string `json:"arguments,omitempty"`
	// Cache is "client" when the request is what a real client sends and
	// "miss" when an ignored nonce argument defeats the MCP result cache.
	Cache    string `json:"cache,omitempty"`
	Asserted bool   `json:"asserted"`

	Cold          Call        `json:"cold"`
	Warmup        int         `json:"warmup"`
	Requests      int         `json:"requests"`
	BudgetSeconds float64     `json:"budget_seconds"`
	Seconds       float64     `json:"seconds"`
	Latency       Percentiles `json:"latency"`
	SamplesMS     []float64   `json:"samples_ms"`
	Status        int         `json:"status"`
	Coverage      string      `json:"coverage"`
	BodyCoverage  string      `json:"body_coverage,omitempty"`
	// RequestedStart and EffectiveStart are the aggregate range-clamp
	// headers (#217), present only when the server shortened the range.
	RequestedStart string `json:"requested_start,omitempty"`
	EffectiveStart string `json:"effective_start,omitempty"`
	ResponseBytes  int    `json:"response_bytes"`
	MaxBytes       int    `json:"response_bytes_max"`
	CacheHits      int    `json:"cache_hits"`
	Errors         int    `json:"errors"`
	Error          string `json:"error,omitempty"`
}

type MemoryAccounting struct {
	Seconds        float64 `json:"t_s"`
	RSSBytes       int64   `json:"rss_bytes"`
	HeapInuseBytes int64   `json:"heap_inuse_bytes"`
	// Registry counts are summed over tenants: kind=pair entries and
	// kind=host distinct hosts.
	RegistryPairEntries int64 `json:"registry_pair_entries"`
	RegistryHostEntries int64 `json:"registry_host_entries"`
	// GraphRAG counts are the census gauges by entity kind and edge store.
	GraphRAGEntities map[string]int64 `json:"graphrag_entities"`
	GraphRAGEdges    map[string]int64 `json:"graphrag_edges"`
	// LatencySketchBytes is latency_sketches × the fixed size of one
	// aggregate.Sketch value.
	LatencySketchBytes int64 `json:"graphrag_latency_sketch_bytes"`
	// ReadCacheEntries is otelcontext_read_cache_entries by cache name.
	ReadCacheEntries map[string]int64 `json:"read_cache_entries"`
	// MappingsBefore and MappingsAfter break the RSS down by mapping owner
	// from /proc/<pid>/smaps at the start and the end of the read phase, so
	// growth under reads is attributed rather than guessed.
	MappingsBefore Mappings `json:"mappings_before_reads"`
	MappingsAfter  Mappings `json:"mappings_after_reads"`
	Error          string   `json:"error,omitempty"`
}

type MetricSample struct {
	Name   string
	Labels map[string]string
	Value  float64
}

type Objectives struct {
	Requests          int     `json:"requests"`
	WarmP99MS         float64 `json:"warm_p99_ms"`
	ColdMS            float64 `json:"cold_ms"`
	RSSSteadyP95Bytes int64   `json:"rss_steady_p95_bytes"`
}

type Percentiles struct {
	P50 float64 `json:"p50_ms"`
	P90 float64 `json:"p90_ms"`
	P99 float64 `json:"p99_ms"`
	Max float64 `json:"max_ms"`
}

type Prefill struct {
	Seconds  float64 `json:"seconds"`
	Services int     `json:"services"`
	Error    string  `json:"error,omitempty"`

	// Aggregate shape.
	Windows          int   `json:"windows,omitempty"`
	RequestedWindows int   `json:"requested_windows,omitempty"`
	Series           int   `json:"series,omitempty"`
	AggregateDBBytes int64 `json:"aggregate_db_bytes,omitempty"`

	// Legacy shape.
	Days       int   `json:"days,omitempty"`
	Traces     int   `json:"traces,omitempty"`
	Spans      int   `json:"spans,omitempty"`
	Logs       int   `json:"logs,omitempty"`
	MainDBByte int64 `json:"main_db_bytes,omitempty"`
}

type Proof struct {
	SchemaVersion string            `json:"schema_version"`
	Shape         string            `json:"shape"`
	GeneratedAt   string            `json:"generated_at"`
	GoVersion     string            `json:"go_version"`
	BinarySHA256  string            `json:"binary_sha256"`
	ServerEnv     map[string]string `json:"server_env"`
	Prefill       Prefill           `json:"prefill"`
	ReadySeconds  float64           `json:"ready_seconds"`
	Objectives    Objectives        `json:"objectives"`
	Measurements  []*Measurement    `json:"measurements"`
	RSS           RSS               `json:"rss"`
	Memory        MemoryAccounting  `json:"memory_accounting"`
	Assertions    []Assertion       `json:"assertions"`
	Duration      float64           `json:"duration_seconds"`
	Notes         []string          `json:"notes,omitempty"`
}

type RSS struct {
	Source            string      `json:"source"`
	Samples           []RSSSample `json:"samples"`
	PeakBytes         int64       `json:"peak_bytes"`
	HeapPeakBytes     int64       `json:"heap_inuse_peak_bytes"`
	SteadyFromSeconds float64     `json:"steady_from_s"`
	// SettleSeconds is how long the harness waited after seeding for the
	// runtime's first GC cycle; SteadyRule says how the window was chosen.
	SettleSeconds float64 `json:"settle_s"`
	SteadyRule    string  `json:"steady_rule"`
	// SteadyReached is false when the harness ran out of budget before the
	// RSS gauge plateaued under the read workload; SteadyReason says where
	// it stood. The assertion then fails: an under-sampled p95 is not
	// evidence.
	SteadyReached  bool   `json:"steady_reached"`
	SteadyReason   string `json:"steady_reason,omitempty"`
	SteadyP95Bytes int64  `json:"steady_p95_bytes"`
	SteadySamples  int    `json:"steady_samples"`
	Error          string `json:"error,omitempty"`
}

type RSSSample struct {
	Seconds   float64 `json:"t_s"`
	Bytes     int64   `json:"bytes"`
	HeapBytes int64   `json:"heap_inuse_bytes"`
}