mcp

type ContentPayload struct {
	Encoding   string `json:"encoding"`
	Text       string `json:"text,omitempty"`
	Base64     string `json:"base64,omitempty"`
	Truncated  bool   `json:"truncated"`
	TotalBytes int    `json:"total_bytes"`
}

type DiffEntryOut struct {
	URI             string `json:"uri"`
	Status          string `json:"status"`
	SnapshotIDA     string `json:"snapshot_id_a,omitempty"`
	SnapshotIDB     string `json:"snapshot_id_b,omitempty"`
	SourceRevisionA string `json:"source_revision_a,omitempty"`
	SourceRevisionB string `json:"source_revision_b,omitempty"`
	ObservedAtA     string `json:"observed_at_a,omitempty"`
	ObservedAtB     string `json:"observed_at_b,omitempty"`
	RefA            string `json:"ref_a,omitempty"`
	RefB            string `json:"ref_b,omitempty"`
	UnifiedDiff     string `json:"unified_diff,omitempty"`
}

type DiffOut struct {
	ManifestA string `json:"manifest_a"`
	ManifestB string `json:"manifest_b"`
	Changed   int    `json:"changed"`
	Added     int    `json:"added"`
	Removed   int    `json:"removed"`
	Unchanged int    `json:"unchanged"`
	// Entries omits unchanged URIs' diff text but still lists them, so a
	// caller can see the full comparison, not just what moved.
	Entries []DiffEntryOut `json:"entries"`
}

type HistoryOut struct {
	URI       string         `json:"uri"`
	Snapshots []SnapshotInfo `json:"snapshots"`
}

type ManifestEntryOut struct {
	Position          int    `json:"position"`
	URI               string `json:"uri"`
	Ref               string `json:"ref,omitempty"`
	SnapshotID        string `json:"snapshot_id"`
	MaterializationID string `json:"materialization_id"`
	ContentHash       string `json:"content_hash"`
}

type ManifestOut struct {
	ManifestID string             `json:"manifest_id"`
	RunID      string             `json:"run_id"`
	CreatedAt  string             `json:"created_at"`
	Entries    []ManifestEntryOut `json:"entries"`
}

type MountOut struct {
	RunID    string     `json:"run_id"`
	Position int        `json:"position"`
	Resolved ResolveOut `json:"resolved"`
}

type Options struct {
	// Name and Version identify this server to MCP clients; they default
	// to "readproof" and the current Readproof version.
	Name    string
	Version string
	// MaxInlineBytes caps the content any one resource read or tool result
	// carries inline (default DefaultMaxInlineBytes). Content past the cap
	// is replaced by a truncation marker naming the content hash.
	MaxInlineBytes int
	// Logger receives SDK server activity. It must never write to stdout
	// on a stdio transport — stdout is the JSON-RPC channel.
	Logger *slog.Logger
}

type PolicyInfo struct {
	Strategy         string `json:"strategy"`
	MaxAgeSeconds    int64  `json:"max_age_seconds,omitempty"`
	PinnedSnapshotID string `json:"pinned_snapshot_id,omitempty"`
}

type ReplayEntryOut struct {
	Position          int             `json:"position"`
	URI               string          `json:"uri"`
	MaterializationID string          `json:"materialization_id"`
	RecordedHash      string          `json:"recorded_hash"`
	ReplayedHash      string          `json:"replayed_hash"`
	Match             bool            `json:"match"`
	Content           *ContentPayload `json:"content,omitempty"`
}

type ReplayOut struct {
	ManifestID string           `json:"manifest_id"`
	RunID      string           `json:"run_id"`
	AllMatch   bool             `json:"all_match"`
	Entries    []ReplayEntryOut `json:"entries"`
}

type ResolveOut struct {
	URI               string            `json:"uri"`
	Ref               string            `json:"ref,omitempty"`
	Decision          string            `json:"decision"`
	SnapshotID        string            `json:"snapshot_id"`
	ContentHash       string            `json:"content_hash"`
	SourceRevision    string            `json:"source_revision"`
	ObservedAt        string            `json:"observed_at"`
	ContentType       string            `json:"content_type"`
	Bytes             int64             `json:"bytes"`
	MaterializationID string            `json:"materialization_id"`
	Provenance        map[string]string `json:"provenance,omitempty"`
	Content           *ContentPayload   `json:"content,omitempty"`
}

type ResourceInfo struct {
	URI               string     `json:"uri"`
	Namespace         string     `json:"namespace"`
	Path              string     `json:"path"`
	Description       string     `json:"description"`
	Source            SourceInfo `json:"source"`
	Policy            PolicyInfo `json:"policy"`
	CurrentSnapshotID string     `json:"current_snapshot_id,omitempty"`
}

type ResourceListOut struct {
	Resources []ResourceInfo `json:"resources"`
}

type RunStartOut struct {
	RunID string `json:"run_id"`
	// NextStep spells out the lifecycle so a model that called start in
	// isolation knows a manifest only exists after commit.
	NextStep string `json:"next_step"`
}

type SnapshotInfo struct {
	SnapshotID     string            `json:"snapshot_id"`
	ResourceURI    string            `json:"resource_uri"`
	SourceRevision string            `json:"source_revision"`
	ContentHash    string            `json:"content_hash"`
	ObservedAt     string            `json:"observed_at"`
	CreatedAt      string            `json:"created_at"`
	ContentType    string            `json:"content_type"`
	Bytes          int64             `json:"bytes"`
	Provenance     map[string]string `json:"provenance,omitempty"`
	// Tags are the tag names currently pointing at this snapshot — the
	// answer to "which of these can I pin?" without a second call.
	Tags []string `json:"tags,omitempty"`
}

type SourceInfo struct {
	Kind    string            `json:"kind"`
	Path    string            `json:"path,omitempty"`
	Owner   string            `json:"owner,omitempty"`
	Repo    string            `json:"repo,omitempty"`
	Ref     string            `json:"ref,omitempty"`
	URL     string            `json:"url,omitempty"`
	Headers map[string]string `json:"headers,omitempty"`
}

type TagDeleteOut struct {
	URI     string `json:"uri"`
	Tag     string `json:"tag"`
	Deleted bool   `json:"deleted"`
}

type TagInfo struct {
	URI        string `json:"uri"`
	Tag        string `json:"tag"`
	SnapshotID string `json:"snapshot_id"`
	UpdatedAt  string `json:"updated_at"`
	// Reference is the string to read this tag by, uri@tag — spelling it
	// out saves a model from assembling it and getting the syntax wrong.
	Reference string `json:"reference"`
}

type TagListOut struct {
	URI  string    `json:"uri"`
	Tags []TagInfo `json:"tags"`
}