openapi

type AdvanceDevClock200JSONResponse DevClock

type AdvanceDevClock400JSONResponse struct{ BadRequestJSONResponse }

type AdvanceDevClock401JSONResponse struct{ UnauthorizedJSONResponse }

type AdvanceDevClock403JSONResponse struct{ ForbiddenJSONResponse }

type AdvanceDevClock501JSONResponse struct{ NotImplementedJSONResponse }

type AdvanceDevClockJSONRequestBody = DevClockAdvance

type AdvanceDevClockRequestObject struct {
	Body *AdvanceDevClockJSONRequestBody
}

type AdvanceDevClockResponseObject interface {
	VisitAdvanceDevClockResponse(w http.ResponseWriter) error
}

type ArchiveInfo struct {
	// Branches How many branches the table holds.
	Branches int `json:"branches"`

	// Head The branch-table head id — the root of every `$archive`-scoped read, and the
	// only place this contract reports it.
	Head string `json:"head"`

	// Height The branch-table head claim's generation number.
	Height int64 `json:"height"`

	// UpdatedAt The branch-table head's `created_at` — when the archive last moved.
	UpdatedAt time.Time `json:"updatedAt"`
}

type BadRequest = Error

type BadRequestJSONResponse Error

type BranchEntry struct {
	// Head That branch's current head claim id.
	Head string `json:"head"`

	// Name The branch name, as the branch table holds it.
	Name string `json:"name"`
}

type BranchHead struct {
	// Head The content-addressed head claim id.
	Head string `json:"head"`
}

type BranchInfo struct {
	// Head The content-addressed head claim id.
	Head string `json:"head"`

	// Height The head claim's generation number (§4.1) — 0 on an initial node, else
	// 1 + max over what it references. The depth of what the branch points at.
	Height int64 `json:"height"`

	// Name The branch name, as the branch table holds it.
	Name string `json:"name"`

	// UpdatedAt The head claim's `created_at` — when the branch last moved. Soft: a
	// contributor writes it, so it is not the witnessed merge time.
	UpdatedAt time.Time `json:"updatedAt"`
}

type BranchList struct {
	// Branches Every branch the branch table holds, from one archive snapshot — so the
	// heads are consistent with each other. Empty on an archive with no branches.
	Branches []BranchEntry `json:"branches"`
}

type BranchName = string

type CancelVerification200JSONResponse VerificationReport

type CancelVerification401JSONResponse struct{ UnauthorizedJSONResponse }

type CancelVerification403JSONResponse struct{ ForbiddenJSONResponse }

type CancelVerification404JSONResponse struct{ NotFoundJSONResponse }

type CancelVerificationRequestObject struct {
	ReportId string `json:"reportId"`
}

type CancelVerificationResponseObject interface {
	VisitCancelVerificationResponse(w http.ResponseWriter) error
}

type ClaimId = string

type Comparison struct {
	// Eq A value a comparison tests against. How two values compare is the engine's, so the shape is unconstrained here.
	Eq *Value `json:"eq,omitempty"`

	// Ge A value a comparison tests against. How two values compare is the engine's, so the shape is unconstrained here.
	Ge *Value `json:"ge,omitempty"`

	// Glob Shell-style wildcard.
	Glob *string `json:"glob,omitempty"`

	// Gt A value a comparison tests against. How two values compare is the engine's, so the shape is unconstrained here.
	Gt *Value `json:"gt,omitempty"`

	// In Set membership.
	In *[]Value `json:"in,omitempty"`

	// Le A value a comparison tests against. How two values compare is the engine's, so the shape is unconstrained here.
	Le *Value `json:"le,omitempty"`

	// Lt A value a comparison tests against. How two values compare is the engine's, so the shape is unconstrained here.
	Lt *Value `json:"lt,omitempty"`

	// Ne A value a comparison tests against. How two values compare is the engine's, so the shape is unconstrained here.
	Ne *Value `json:"ne,omitempty"`
}

type Conflict = Error

type ConflictJSONResponse Error

type Contribute201JSONResponse ContributionResult

type Contribute400JSONResponse struct{ BadRequestJSONResponse }

type Contribute401JSONResponse struct{ UnauthorizedJSONResponse }

type Contribute403JSONResponse struct{ ForbiddenJSONResponse }

type Contribute404JSONResponse struct{ NotFoundJSONResponse }

type Contribute409JSONResponse struct{ ConflictJSONResponse }

type ContributeRequestObject struct {
	Body io.Reader
}

type ContributeResponseObject interface {
	VisitContributeResponse(w http.ResponseWriter) error
}

type ContributionResult struct {
	// Head The new branch-table head id after the merge.
	Head string `json:"head"`

	// Ids Content-addressed ids of the contributed claims, in order.
	Ids []string `json:"ids"`
}

type DeleteVerification204Response struct {
}

type DeleteVerification401JSONResponse struct{ UnauthorizedJSONResponse }

type DeleteVerification403JSONResponse struct{ ForbiddenJSONResponse }

type DeleteVerification404JSONResponse struct{ NotFoundJSONResponse }

type DeleteVerificationRequestObject struct {
	ReportId string `json:"reportId"`
}

type DeleteVerificationResponseObject interface {
	VisitDeleteVerificationResponse(w http.ResponseWriter) error
}

type DevClock struct {
	Time time.Time `json:"time"`
}

type DevClockAdvance struct {
	// Time The instant to advance to.
	Time time.Time `json:"time"`
}

type Duration = string

type Error struct {
	// Code Machine-readable failure category, stable across releases — one of
	// unauthenticated, forbidden, not_found, conflict, busy, invalid,
	// unimplemented, internal. Clients branch on this, not on the message.
	Code string `json:"code"`

	// Error Human-readable message. Carries no subject id, even on 403.
	Error string `json:"error"`
}

type Execution struct {
	// Layer Pins the query to one named storage or execution layer; absent, the backend chooses by capability.
	Layer *string `json:"layer,omitempty"`

	// Report Report verbosity: info gives high-level stages, debug routing and translation, trace per-claim detail. Set, and only then, the stream carries one final report record after the last element, typed distinctly from result claims (R-QREPORT).
	Report *ExecutionReport `json:"report,omitempty"`
}

type ExecutionReport string

type Forbidden = Error

type ForbiddenJSONResponse Error

type GetArchiveClaim200ApplicationcborResponse struct {
	Body          io.Reader
	Headers       GetArchiveClaim200ResponseHeaders
	ContentLength int64
}

type GetArchiveClaim200ResponseHeaders struct {
	ETag *string
}

type GetArchiveClaim401JSONResponse struct{ UnauthorizedJSONResponse }

type GetArchiveClaim403JSONResponse struct{ ForbiddenJSONResponse }

type GetArchiveClaim404JSONResponse struct{ NotFoundJSONResponse }

type GetArchiveClaimContent200ApplicationoctetStreamResponse struct {
	Body          io.Reader
	Headers       GetArchiveClaimContent200ResponseHeaders
	ContentLength int64
}

type GetArchiveClaimContent200ResponseHeaders struct {
	ETag *string
}

type GetArchiveClaimContent401JSONResponse struct{ UnauthorizedJSONResponse }

type GetArchiveClaimContent403JSONResponse struct{ ForbiddenJSONResponse }

type GetArchiveClaimContent404JSONResponse struct{ NotFoundJSONResponse }

type GetArchiveClaimContentRequestObject struct {
	Id ClaimId `json:"id"`
}

type GetArchiveClaimContentResponseObject interface {
	VisitGetArchiveClaimContentResponse(w http.ResponseWriter) error
}

type GetArchiveClaimRequestObject struct {
	Id ClaimId `json:"id"`
}

type GetArchiveClaimResponseObject interface {
	VisitGetArchiveClaimResponse(w http.ResponseWriter) error
}

type GetArchiveInfo200JSONResponse struct {
	Body    ArchiveInfo
	Headers GetArchiveInfo200ResponseHeaders
}

type GetArchiveInfo200ResponseHeaders struct {
	ETag *string
}

type GetArchiveInfo401JSONResponse struct{ UnauthorizedJSONResponse }

type GetArchiveInfo403JSONResponse struct{ ForbiddenJSONResponse }

type GetArchiveInfoRequestObject struct {
}

type GetArchiveInfoResponseObject interface {
	VisitGetArchiveInfoResponse(w http.ResponseWriter) error
}

type GetBranchClaim200ApplicationcborResponse struct {
	Body          io.Reader
	Headers       GetBranchClaim200ResponseHeaders
	ContentLength int64
}

type GetBranchClaim200ResponseHeaders struct {
	ETag *string
}

type GetBranchClaim401JSONResponse struct{ UnauthorizedJSONResponse }

type GetBranchClaim403JSONResponse struct{ ForbiddenJSONResponse }

type GetBranchClaim404JSONResponse struct{ NotFoundJSONResponse }

type GetBranchClaimContent200ApplicationoctetStreamResponse struct {
	Body          io.Reader
	Headers       GetBranchClaimContent200ResponseHeaders
	ContentLength int64
}

type GetBranchClaimContent200ResponseHeaders struct {
	ETag *string
}

type GetBranchClaimContent401JSONResponse struct{ UnauthorizedJSONResponse }

type GetBranchClaimContent403JSONResponse struct{ ForbiddenJSONResponse }

type GetBranchClaimContent404JSONResponse struct{ NotFoundJSONResponse }

type GetBranchClaimContentRequestObject struct {
	Branch BranchName `json:"branch"`
	Id     ClaimId    `json:"id"`
}

type GetBranchClaimContentResponseObject interface {
	VisitGetBranchClaimContentResponse(w http.ResponseWriter) error
}

type GetBranchClaimRequestObject struct {
	Branch BranchName `json:"branch"`
	Id     ClaimId    `json:"id"`
}

type GetBranchClaimResponseObject interface {
	VisitGetBranchClaimResponse(w http.ResponseWriter) error
}

type GetBranchHead200JSONResponse struct {
	Body    BranchHead
	Headers GetBranchHead200ResponseHeaders
}

type GetBranchHead200ResponseHeaders struct {
	ETag *string
}

type GetBranchHead401JSONResponse struct{ UnauthorizedJSONResponse }

type GetBranchHead403JSONResponse struct{ ForbiddenJSONResponse }

type GetBranchHead404JSONResponse struct{ NotFoundJSONResponse }

type GetBranchHeadRequestObject struct {
	Branch BranchName `json:"branch"`
}

type GetBranchHeadResponseObject interface {
	VisitGetBranchHeadResponse(w http.ResponseWriter) error
}

type GetBranchInfo200JSONResponse struct {
	Body    BranchInfo
	Headers GetBranchInfo200ResponseHeaders
}

type GetBranchInfo200ResponseHeaders struct {
	ETag *string
}

type GetBranchInfo401JSONResponse struct{ UnauthorizedJSONResponse }

type GetBranchInfo403JSONResponse struct{ ForbiddenJSONResponse }

type GetBranchInfo404JSONResponse struct{ NotFoundJSONResponse }

type GetBranchInfoRequestObject struct {
	Branch BranchName `json:"branch"`
}

type GetBranchInfoResponseObject interface {
	VisitGetBranchInfoResponse(w http.ResponseWriter) error
}

type GetClaim200ApplicationcborResponse struct {
	Body          io.Reader
	Headers       GetClaim200ResponseHeaders
	ContentLength int64
}

type GetClaim200ResponseHeaders struct {
	ETag *string
}

type GetClaim401JSONResponse struct{ UnauthorizedJSONResponse }

type GetClaim403JSONResponse struct{ ForbiddenJSONResponse }

type GetClaim404JSONResponse struct{ NotFoundJSONResponse }

type GetClaimContent200ApplicationoctetStreamResponse struct {
	Body          io.Reader
	Headers       GetClaimContent200ResponseHeaders
	ContentLength int64
}

type GetClaimContent200ResponseHeaders struct {
	ETag *string
}

type GetClaimContent401JSONResponse struct{ UnauthorizedJSONResponse }

type GetClaimContent403JSONResponse struct{ ForbiddenJSONResponse }

type GetClaimContent404JSONResponse struct{ NotFoundJSONResponse }

type GetClaimContentRequestObject struct {
	Id ClaimId `json:"id"`
}

type GetClaimContentResponseObject interface {
	VisitGetClaimContentResponse(w http.ResponseWriter) error
}

type GetClaimRequestObject struct {
	Id ClaimId `json:"id"`
}

type GetClaimResponseObject interface {
	VisitGetClaimResponse(w http.ResponseWriter) error
}

type GetVerification200JSONResponse struct {
	Body    VerificationReport
	Headers GetVerification200ResponseHeaders
}

type GetVerification200ResponseHeaders struct {
	RetryAfter *int
}

type GetVerification401JSONResponse struct{ UnauthorizedJSONResponse }

type GetVerification403JSONResponse struct{ ForbiddenJSONResponse }

type GetVerification404JSONResponse struct{ NotFoundJSONResponse }

type GetVerificationRequestObject struct {
	ReportId string `json:"reportId"`
}

type GetVerificationResponseObject interface {
	VisitGetVerificationResponse(w http.ResponseWriter) error
}

type Health struct {
	// Signer The contributor identity this stack signs merges with.
	//
	// Example: did:key:z6Mk...
	Signer *string `json:"signer,omitempty"`

	// Status Example: ok
	Status string `json:"status"`
}

type Health200JSONResponse Health

type HealthRequestObject struct {
}

type HealthResponseObject interface {
	VisitHealthResponse(w http.ResponseWriter) error
}

type Id = string

type InvalidParamFormatError struct {
	ParamName string
	Err       error
}

type Limit struct {
	// Results Caps the claim count; 0 is unbounded.
	Results *int `json:"results,omitempty"`

	// Time A duration as a decimal sequence with unit suffixes — ns, us, ms, s, m, h — e.g. 5s or 1m30s. The bare 0 means unbounded.
	Time *Duration `json:"time,omitempty"`
}

type ListBranches200JSONResponse struct {
	Body    BranchList
	Headers ListBranches200ResponseHeaders
}

type ListBranches200ResponseHeaders struct {
	ETag *string
}

type ListBranches401JSONResponse struct{ UnauthorizedJSONResponse }

type ListBranches403JSONResponse struct{ ForbiddenJSONResponse }

type ListBranchesRequestObject struct {
}

type ListBranchesResponseObject interface {
	VisitListBranchesResponse(w http.ResponseWriter) error
}

type ListStorageLayers200JSONResponse StorageLayerList

type ListStorageLayers401JSONResponse struct{ UnauthorizedJSONResponse }

type ListStorageLayers403JSONResponse struct{ ForbiddenJSONResponse }

type ListStorageLayersRequestObject struct {
}

type ListStorageLayersResponseObject interface {
	VisitListStorageLayersResponse(w http.ResponseWriter) error
}

type ListVerifications200JSONResponse VerificationReportList

type ListVerifications401JSONResponse struct{ UnauthorizedJSONResponse }

type ListVerifications403JSONResponse struct{ ForbiddenJSONResponse }

type ListVerificationsRequestObject struct {
}

type ListVerificationsResponseObject interface {
	VisitListVerificationsResponse(w http.ResponseWriter) error
}

type MiddlewareFunc func(http.Handler) http.Handler

type NotFound = Error

type NotFoundJSONResponse Error

type NotImplemented = Error

type NotImplementedJSONResponse Error

type Order = []OrderKey

type OrderKey struct {
	// Compare How the values compare (R-QSORT).
	Compare *OrderKeyCompare `json:"compare,omitempty"`

	// Dir Sort direction (R-QSORT).
	Dir *OrderKeyDir `json:"dir,omitempty"`

	// Field The field sorted on — any field a claim carries, height included.
	Field string `json:"field"`
}

type OrderKeyCompare string

type OrderKeyDir string

type Output struct {
	// Content Inline content per claim. Absent, no content is inlined (R-QCONTENT).
	Content *OutputContent `json:"content,omitempty"`

	// Detail What each element carries: id (the id alone), claims (a record the engine assembles, shaped by form and content), or envelope (the stored bytes copied out whole, the only output a client can hash against an id; form and content do not apply, and both form: materialized and encoding: json are rejected with it). Under shape: path it applies to every claim in the route (R-QDETAIL, R-QCANON).
	Detail *OutputDetail `json:"detail,omitempty"`

	// Encoding json is text with content base64-encoded, cbor is binary; the same information either way (R-QENCODING).
	Encoding *OutputEncoding `json:"encoding,omitempty"`

	// Form Which field values a claim carries: original as written, a diff-overlaid claim's delta; materialized with any contribution/diff chain resolved over the predecessor it references, recursively to a base claim. A property of the values, hence orthogonal to detail and encoding (R-QFORM).
	Form *OutputForm `json:"form,omitempty"`

	// Shape single yields the reached endpoints, one element each; path yields routes, each running outward from the frontier claim its walk began at (R-QSHAPE).
	Shape *OutputShape `json:"shape,omitempty"`
}

type OutputContent struct {
	// Max Cap in bytes on the content inlined per claim; 0 inlines every claim's content in full.
	Max int `json:"max"`

	// Overflow What becomes of content past the cap: cutoff inlines the bytes up to it, omit inlines whole values only. Absent, omit. A claim keeps every field it carries either way (R-QCONTENT).
	Overflow *OutputContentOverflow `json:"overflow,omitempty"`
}

type OutputContentOverflow string

type OutputDetail string

type OutputEncoding string

type OutputForm string

type OutputShape string

type PathStep struct {
	// Dir provenance follows references outward, uses runs to the claims that cite this one, connections either way. Absent, provenance.
	Dir *PathStepDir `json:"dir,omitempty"`

	// Edges Edge types every hop must match.
	Edges *[]TypeGlob `json:"edges,omitempty"`

	// Max Most hops. 0, or absent, leaves the step unbounded: a step of at most zero hops would move nothing, so that reading has no use.
	Max *int `json:"max,omitempty"`

	// Min Fewest hops. Absent, 1 — a step moves at least one hop. 0 also yields the starting set, carrying the frontier through alongside what lies beyond it.
	Min *int `json:"min,omitempty"`

	// Nodes Node types the step may yield.
	Nodes *[]TypeGlob `json:"nodes,omitempty"`
}

type PathStepDir string

type Query struct {
	// Execution Where the query runs and how it reports on itself. These controls reach execution and diagnostics, and never the result set.
	Execution *Execution `json:"execution,omitempty"`

	// Limit Bounds the read. A read cut short by either bound is a complete answer to the query as bounded, not an error (R-QLIMIT).
	Limit *Limit `json:"limit,omitempty"`

	// Order Sort keys applied in priority order. Claims lacking a key's field sort last, and the archive's natural (created_at, id) order breaks any remaining ties, so the sort always resolves to a total order (R-QSORT).
	Order *Order `json:"order,omitempty"`

	// Output Shapes each result along orthogonal axes. detail: claims with form: original and encoding: cbor reproduces the canonical serialization S(v) a claim's id is computed over, and is the only output form directly verifiable against that id (R-QCANON).
	Output *Output `json:"output,omitempty"`

	// Select A generator in four independent parts: branch is the scope, head the closure read, claim where the walk starts, path the traversal. Scope and start are independent because a walk runs both ways — a uses step reaches the claims that cite the current one, which lie above it, so the closure decides a reverse step's answer.
	Select Select `json:"select"`

	// Where A boolean tree. Each node is exactly one of the and / or / not combinators over sub-trees, or a leaf naming a field and its test. Within a where, or is boolean; across generators it unions whole result sets. A leaf may name any field a claim carries, height included (V-HEIGHT).
	Where *Where `json:"where,omitempty"`
}

type Query200ApplicationcborSeqResponse struct {
	Body          io.Reader
	ContentLength int64
}

type Query200ApplicationjsonSeqResponse struct {
	Body          io.Reader
	ContentLength int64
}

type Query400JSONResponse struct{ BadRequestJSONResponse }

type Query401JSONResponse struct{ UnauthorizedJSONResponse }

type Query403JSONResponse struct{ ForbiddenJSONResponse }

type Query404JSONResponse struct{ NotFoundJSONResponse }

type QueryJSONRequestBody = Query

type QueryRequestObject struct {
	Body *QueryJSONRequestBody
}

type QueryResponseObject interface {
	VisitQueryResponse(w http.ResponseWriter) error
}

type RequiredHeaderError struct {
	ParamName string
	Err       error
}

type RequiredParamError struct {
	ParamName string
}

type Select struct {
	// Branch The mandatory scope, and every scope names a graph: a branch name confines to that branch, $archive to the whole Ranke-Archive, $universe applies no confinement and is privileged. An empty value is refused (R-QSCOPE).
	Branch string `json:"branch"`

	// Claim A claim id: id(v) = Sign(H(S(v))) for a node, id(e) = H(S(e)) for an edge, carried as multibase base32 of the self-describing payload. The pattern fixes the multibase framing; whether the payload's multihash or multikey framing parses is the implementation's check.
	Claim *Id `json:"claim,omitempty"`

	// Head A claim id: id(v) = Sign(H(S(v))) for a node, id(e) = H(S(e)) for an edge, carried as multibase base32 of the self-describing payload. The pattern fixes the multibase framing; whether the payload's multihash or multikey framing parses is the implementation's check.
	Head *Id `json:"head,omitempty"`

	// Path The traversal: a sequence of steps over frontiers, each frontier a set of claims. Each step's yield is the frontier the next starts from, and the no-repeat rule holds within a step and resets at each boundary, so membership is all a frontier carries (R-QFRONTIER). Absent, the generator returns the full outward closure of the frontier (R-QSTEPS).
	Path *[]PathStep `json:"path,omitempty"`
}

type ServeMux interface {
	HandleFunc(pattern string, handler func(http.ResponseWriter, *http.Request))
	http.Handler
}

type ServerInterface interface {
	// GetArchiveClaim Fetch a claim within the archive head's closure
	// (GET /archive/claims/{id})
	GetArchiveClaim(w http.ResponseWriter, r *http.Request, id ClaimId)
	// GetArchiveClaimContent Fetch the content of a claim within the archive head's closure
	// (GET /archive/claims/{id}/content)
	GetArchiveClaimContent(w http.ResponseWriter, r *http.Request, id ClaimId)
	// GetArchiveInfo What is known about the archive
	// (GET /archive/info)
	GetArchiveInfo(w http.ResponseWriter, r *http.Request)
	// ListBranches List the branch table's branches
	// (GET /branches)
	ListBranches(w http.ResponseWriter, r *http.Request)
	// GetBranchClaim Fetch a claim within a branch's closure
	// (GET /branches/{branch}/claims/{id})
	GetBranchClaim(w http.ResponseWriter, r *http.Request, branch BranchName, id ClaimId)
	// GetBranchClaimContent Fetch the content of a claim within a branch's closure
	// (GET /branches/{branch}/claims/{id}/content)
	GetBranchClaimContent(w http.ResponseWriter, r *http.Request, branch BranchName, id ClaimId)
	// GetBranchHead Current head id of a branch
	// (GET /branches/{branch}/head)
	GetBranchHead(w http.ResponseWriter, r *http.Request, branch BranchName)
	// GetBranchInfo What is known about a branch
	// (GET /branches/{branch}/info)
	GetBranchInfo(w http.ResponseWriter, r *http.Request, branch BranchName)
	// Contribute Contribute signed claims (atomic)
	// (POST /contribute)
	Contribute(w http.ResponseWriter, r *http.Request)
	// AdvanceDevClock Advance the dev sequencer's clock
	// (POST /dev/clock)
	AdvanceDevClock(w http.ResponseWriter, r *http.Request)
	// Health Liveness and signer identity
	// (GET /health)
	Health(w http.ResponseWriter, r *http.Request)
	// Query Read the graph with a declarative query
	// (POST /query)
	Query(w http.ResponseWriter, r *http.Request)
	// ListStorageLayers List storage layers
	// (GET /system/layers)
	ListStorageLayers(w http.ResponseWriter, r *http.Request)
	// ListVerifications List verification runs
	// (GET /system/verifications)
	ListVerifications(w http.ResponseWriter, r *http.Request)
	// StartVerification Start a verification run
	// (POST /system/verifications)
	StartVerification(w http.ResponseWriter, r *http.Request)
	// DeleteVerification Delete a verification run
	// (DELETE /system/verifications/{reportId})
	DeleteVerification(w http.ResponseWriter, r *http.Request, reportId string)
	// GetVerification Show a verification run
	// (GET /system/verifications/{reportId})
	GetVerification(w http.ResponseWriter, r *http.Request, reportId string)
	// CancelVerification Cancel a running verification run
	// (POST /system/verifications/{reportId}/cancel)
	CancelVerification(w http.ResponseWriter, r *http.Request, reportId string)
	// GetClaim Fetch a claim by id from the Universe (privileged)
	// (GET /universe/claims/{id})
	GetClaim(w http.ResponseWriter, r *http.Request, id ClaimId)
	// GetClaimContent Fetch the content of a claim by id from the Universe (privileged)
	// (GET /universe/claims/{id}/content)
	GetClaimContent(w http.ResponseWriter, r *http.Request, id ClaimId)
}

type ServerInterfaceWrapper struct {
	Handler            ServerInterface
	HandlerMiddlewares []MiddlewareFunc
	ErrorHandlerFunc   func(w http.ResponseWriter, r *http.Request, err error)
}

type StartVerification202JSONResponse struct {
	Body    VerificationReport
	Headers StartVerification202ResponseHeaders
}

type StartVerification202ResponseHeaders struct {
	Location   *string
	RetryAfter *int
}

type StartVerification400JSONResponse struct{ BadRequestJSONResponse }

type StartVerification401JSONResponse struct{ UnauthorizedJSONResponse }

type StartVerification403JSONResponse struct{ ForbiddenJSONResponse }

type StartVerification429JSONResponse struct {
	Body    Error
	Headers StartVerification429ResponseHeaders
}

type StartVerification429ResponseHeaders struct {
	RetryAfter *int
}

type StartVerificationJSONRequestBody = VerificationConfig

type StartVerificationRequestObject struct {
	Body *StartVerificationJSONRequestBody
}

type StartVerificationResponseObject interface {
	VisitStartVerificationResponse(w http.ResponseWriter) error
}

type StdHTTPServerOptions struct {
	BaseURL          string
	BaseRouter       ServeMux
	Middlewares      []MiddlewareFunc
	ErrorHandlerFunc func(w http.ResponseWriter, r *http.Request, err error)
}

type StorageLayer struct {
	Name string `json:"name"`

	// Type Adapter type (e.g. memory, filesystem, s3, postgres, neo4j).
	Type string `json:"type"`
}

type StorageLayerList struct {
	// Layers Read-through tiers, top (cache) to bottom (authoritative).
	Layers []StorageLayer `json:"layers"`
}

type StrictHTTPServerOptions struct {
	RequestErrorHandlerFunc  func(w http.ResponseWriter, r *http.Request, err error)
	ResponseErrorHandlerFunc func(w http.ResponseWriter, r *http.Request, err error)
}

type StrictHandlerFunc func(ctx context.Context, w http.ResponseWriter, r *http.Request, request any) (any, error)

type StrictMiddlewareFunc func(f StrictHandlerFunc, operationID string) StrictHandlerFunc

type StrictServerInterface interface {
	// GetArchiveClaim Fetch a claim within the archive head's closure
	// (GET /archive/claims/{id})
	GetArchiveClaim(ctx context.Context, request GetArchiveClaimRequestObject) (GetArchiveClaimResponseObject, error)
	// GetArchiveClaimContent Fetch the content of a claim within the archive head's closure
	// (GET /archive/claims/{id}/content)
	GetArchiveClaimContent(ctx context.Context, request GetArchiveClaimContentRequestObject) (GetArchiveClaimContentResponseObject, error)
	// GetArchiveInfo What is known about the archive
	// (GET /archive/info)
	GetArchiveInfo(ctx context.Context, request GetArchiveInfoRequestObject) (GetArchiveInfoResponseObject, error)
	// ListBranches List the branch table's branches
	// (GET /branches)
	ListBranches(ctx context.Context, request ListBranchesRequestObject) (ListBranchesResponseObject, error)
	// GetBranchClaim Fetch a claim within a branch's closure
	// (GET /branches/{branch}/claims/{id})
	GetBranchClaim(ctx context.Context, request GetBranchClaimRequestObject) (GetBranchClaimResponseObject, error)
	// GetBranchClaimContent Fetch the content of a claim within a branch's closure
	// (GET /branches/{branch}/claims/{id}/content)
	GetBranchClaimContent(ctx context.Context, request GetBranchClaimContentRequestObject) (GetBranchClaimContentResponseObject, error)
	// GetBranchHead Current head id of a branch
	// (GET /branches/{branch}/head)
	GetBranchHead(ctx context.Context, request GetBranchHeadRequestObject) (GetBranchHeadResponseObject, error)
	// GetBranchInfo What is known about a branch
	// (GET /branches/{branch}/info)
	GetBranchInfo(ctx context.Context, request GetBranchInfoRequestObject) (GetBranchInfoResponseObject, error)
	// Contribute Contribute signed claims (atomic)
	// (POST /contribute)
	Contribute(ctx context.Context, request ContributeRequestObject) (ContributeResponseObject, error)
	// AdvanceDevClock Advance the dev sequencer's clock
	// (POST /dev/clock)
	AdvanceDevClock(ctx context.Context, request AdvanceDevClockRequestObject) (AdvanceDevClockResponseObject, error)
	// Health Liveness and signer identity
	// (GET /health)
	Health(ctx context.Context, request HealthRequestObject) (HealthResponseObject, error)
	// Query Read the graph with a declarative query
	// (POST /query)
	Query(ctx context.Context, request QueryRequestObject) (QueryResponseObject, error)
	// ListStorageLayers List storage layers
	// (GET /system/layers)
	ListStorageLayers(ctx context.Context, request ListStorageLayersRequestObject) (ListStorageLayersResponseObject, error)
	// ListVerifications List verification runs
	// (GET /system/verifications)
	ListVerifications(ctx context.Context, request ListVerificationsRequestObject) (ListVerificationsResponseObject, error)
	// StartVerification Start a verification run
	// (POST /system/verifications)
	StartVerification(ctx context.Context, request StartVerificationRequestObject) (StartVerificationResponseObject, error)
	// DeleteVerification Delete a verification run
	// (DELETE /system/verifications/{reportId})
	DeleteVerification(ctx context.Context, request DeleteVerificationRequestObject) (DeleteVerificationResponseObject, error)
	// GetVerification Show a verification run
	// (GET /system/verifications/{reportId})
	GetVerification(ctx context.Context, request GetVerificationRequestObject) (GetVerificationResponseObject, error)
	// CancelVerification Cancel a running verification run
	// (POST /system/verifications/{reportId}/cancel)
	CancelVerification(ctx context.Context, request CancelVerificationRequestObject) (CancelVerificationResponseObject, error)
	// GetClaim Fetch a claim by id from the Universe (privileged)
	// (GET /universe/claims/{id})
	GetClaim(ctx context.Context, request GetClaimRequestObject) (GetClaimResponseObject, error)
	// GetClaimContent Fetch the content of a claim by id from the Universe (privileged)
	// (GET /universe/claims/{id}/content)
	GetClaimContent(ctx context.Context, request GetClaimContentRequestObject) (GetClaimContentResponseObject, error)
}

type TooManyValuesForParamError struct {
	ParamName string
	Count     int
}

type TypeGlob = string

type Unauthorized = Error

type UnauthorizedJSONResponse Error

type UnescapedCookieParamError struct {
	ParamName string
	Err       error
}

type UnmarshalingParamError struct {
	ParamName string
	Err       error
}

type Value = interface{}

type VerificationConfig struct {
	// Closure Root of the closure to verify — a branch name or a claim id.
	Closure string `json:"closure"`

	// ContentThreshold For full-content, the max content size in bytes to re-read and re-hash
	// per claim; larger content is skipped this run. Omit to verify all content.
	ContentThreshold *int `json:"contentThreshold,omitempty"`

	// Depth completeness (a `has` sweep), record-correctness (recanonicalise and
	// recheck the id-chain and signatures), or full-content (also re-hash blobs).
	Depth *VerificationConfigDepth `json:"depth,omitempty"`

	// Layer Storage layer (by name) to read directly. Omit to read the composed
	// read-through view — which may mask the loss of an object on a deeper
	// layer, so name a layer to verify it without blind spots.
	Layer *string `json:"layer,omitempty"`
}

type VerificationConfigDepth string

type VerificationFailure struct {
	Detail *string `json:"detail,omitempty"`

	// Id The claim or object id that failed.
	Id string `json:"id"`

	// Layer The layer where the failure was observed.
	Layer string `json:"layer"`

	// Mode corrupt-bytes — stored bytes don't match their hash (storage rot/loss;
	// self-heals via read-through if a deeper layer is intact).
	// invalid-content — the claim itself doesn't validate (e.g. bad signature);
	// unrepairable.
	Mode VerificationFailureMode `json:"mode"`
}

type VerificationFailureMode string

type VerificationReport struct {
	// BytesRead Content bytes re-read so far; advances while `status` is `running`.
	BytesRead *int `json:"bytesRead,omitempty"`

	// ClaimsChecked Claims checked so far; advances while `status` is `running`.
	ClaimsChecked *int       `json:"claimsChecked,omitempty"`
	CompletedAt   *time.Time `json:"completedAt,omitempty"`

	// Config Parameters for a verification run — the same shape whether declared in the
	// stack config (scheduled) or posted ad-hoc. Depths are those of
	// core-verification.
	Config VerificationConfig `json:"config"`

	// Failures The failures found, accumulating while `status` is `running`. Empty (with
	// `ok: true`) for an intact closure; a healthy archive verifies with none.
	Failures *[]VerificationFailure `json:"failures,omitempty"`

	// Head The head id the run verified — the closure it pinned at start. When
	// `config.closure` names a branch, this is the branch's head at start time;
	// the report stays fixed to it even as the branch head moves on.
	Head string `json:"head"`
	Id   string `json:"id"`

	// Ok True when no failures were found in this run.
	Ok        bool      `json:"ok"`
	StartedAt time.Time `json:"startedAt"`

	// Status running (in progress), complete (finished on its own), stopped (cancelled
	// by an operator via the cancel action — partial findings kept), or error
	// (the run itself failed).
	Status VerificationReportStatus `json:"status"`
}

type VerificationReportList struct {
	Reports []VerificationReport `json:"reports"`
}

type VerificationReportStatus string

type Where struct {
	// contains filtered or unexported fields
}

type Where0 struct {
	And []Where `json:"and"`
}

type Where1 struct {
	Or []Where `json:"or"`
}

type Where2 struct {
	// Not A boolean tree. Each node is exactly one of the and / or / not combinators over sub-trees, or a leaf naming a field and its test. Within a where, or is boolean; across generators it unions whole result sets. A leaf may name any field a claim carries, height included (V-HEIGHT).
	Not Where `json:"not"`
}

type Where3 struct {
	// Field The field tested — any field a claim carries, height included.
	Field string `json:"field"`

	// Test One operator applied to one field. eq, ne, lt, le, gt and ge take a value, in a set, glob a shell-style wildcard. Exactly one is present.
	Test Comparison `json:"test"`
}