mutation

type Actor struct {
	ID   string
	Role string
}

type AttachEvidencePayload struct {
	Evidence []wire.Digest
	Reason   string
}

type Binding struct {
	ID   string
	Role string
}

type CompleteManualPayload struct {
	Reason   string
	Evidence []wire.Digest
}

type Context struct {
	// Binding is the trusted actor (see Binding). Required.
	Binding Binding
	// Queue is the current queue manifest (canonical record). Required.
	Queue *intent.Queue
	// Policy is the current policy (roles row removal, gate ids). Required.
	Policy *intent.Policy
	// Inventory holds every current ticket record of the queue, including
	// tombstones, so that ID membership, dependency existence and cycles
	// are checked against the full set (TM-V0-005). Required.
	Inventory *ticket.Inventory
	// Attempts answers attempt liveness (§3.2). A nil oracle or a
	// NOT_OBSERVED answer is treated as "possibly live": an acceptance-
	// relevant mutation is then refused BLOCKED/ATTEMPT_LIVE (fail closed).
	Attempts ticket.AttemptOracle
	// RetryRecovery is required only to reopen an exhausted OPEN ticket.
	// Nil, unknown, mismatched or nonterminal observations fail closed.
	RetryRecovery *RetryRecovery
	// Requests is the request-ID index consulted for TM-V0-006 replay.
	// Required: a nil index is refused VALIDATION_FAILED/MALFORMED before any
	// computation, never treated as "no prior request" (a Context built
	// without its index would otherwise commit every retry twice).
	Requests RequestIndex
	// Now is the logical timestamp recorded as updatedAt, createdAt,
	// placedAt, grantedAt and recordedAt. Advisory only (§2).
	Now wire.Timestamp
	// PriorNoteEvent is the canonical bytes of the target's current operator
	// note event (ON-V0-004), read by the store at the reference head. It is
	// consulted only by NOTE_SET/NOTE_CLEAR; a referenced head without bytes
	// refuses VALIDATION_FAILED/MISSING_EVIDENCE.
	PriorNoteEvent []byte
	// ExternalReview is the transaction layer's audited review result for
	// REVIEW_RECORD/REVIEW_RESUBMIT (ERG-V0-009); nil refuses those operations.
	ExternalReview *ExternalReviewPost
}

type CreatePayload struct {
	RequiredRoles      map[string][]string
	RequiresPool       string
	LocalToken         *string
	Title              string
	Body               *string
	Kind               string
	Owner              *string
	Milestone          *string
	Priority           string
	Order              wire.Count
	Labels             []string
	Dependencies       []ticket.Dependency
	AcceptanceCriteria []string
	RequirementRefs    []string
	Source             ticket.Source
	Effects            ticket.Effects
	Capabilities       []string
	RequiredGates      []string
	ExecutionClass     string
	DueDate            *string
	EstimateMinutes    *wire.Count
	Supersedes         *wire.TicketID
	SupersededBy       *wire.TicketID
}

type Envelope struct {
	RequestID        string
	Actor            Actor
	QueueID          wire.QueueID
	TargetID         *wire.TicketID // nil only for CREATE
	ExpectedRevision *wire.Count    // nil only for CREATE
	Operation        string
	Payload          Payload
	IssuedAt         wire.Timestamp
	// Raw is the exact envelope bytes as decoded (canonical body plus LF).
	// The TM-V0-006 request digest is the SHA-256 of these bytes.
	Raw []byte
}

type ExternalReviewPost struct {
	GateID string
	Ref    ticket.ExternalReviewRef
	Event  []byte
	// Outcome is non-empty for a refusal, with its optional wire code.
	Outcome, Code, Detail string
}

type GrantApprovalPayload struct {
	GrantID        string
	Actor          string
	Operation      string
	TargetRevision wire.Count
	Scope          []string
}

type HoldPayload struct {
	HoldID string
	Reason string
}

type IndexEntry struct {
	RequestID      string
	MutationSha256 wire.Digest
	Outcome        Outcome
}

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

type NotePayload struct {
	Op         string
	Text       string
	Supersedes *wire.Count
}

type OperatorNoteContext struct {
	Record        *ticket.Record
	Prior         *ticket.OperatorNoteReference
	PriorEvent    []byte
	Binding       Binding
	Allowed       bool
	QueueID       wire.QueueID
	RequestID     string
	RequestSha256 wire.Digest
	RecordedAt    wire.Timestamp
}

type OperatorNoteProposal struct {
	Reference ticket.OperatorNoteReference
	Event     []byte
}

type OperatorNoteRefusal struct{ Outcome, Where, Detail string }

type Outcome struct {
	RequestID                   string
	Outcome                     string
	Replayed                    bool
	ResultingRevision           *wire.Count
	ResultingAcceptanceRevision *wire.Count
	ReleaseID                   *string
	ResultingReleaseRevision    *wire.Count
	ReceiptSeq                  *wire.Size
	Codes                       []string
}

type Payload interface {
	// contains filtered or unexported methods
}

type Plan struct {
	Outcome        Outcome
	MutationSha256 wire.Digest // SHA-256 of the canonical mutation bytes (TM-V0-006)
	Detail         string      // human explanation of a refusal; never queue prose
	Pre            *ticket.Record
	Post           *ticket.Record // non-nil iff Outcome is a fresh COMPLETED
	QueuePost      *intent.Queue  // non-nil iff CREATE allocated a serial
	Composed       []string       // ADOPT_FILE: the composed operations in order
	// DerivedEvent is the canonical bytes of one content-addressed event the
	// mutation derives (NOTE_SET/NOTE_CLEAR: the operator note event). The
	// writer posts it as evidence/<sha256> in the same MUTATE stage; it is
	// non-nil only on a fresh COMPLETED plan.
	DerivedEvent []byte
}

type PrioritizePayload struct {
	Priority string
	Order    wire.Count
}

type ReasonPayload struct {
	Op     string
	Reason string
}

type RefinePayload struct {
	// ExecutionPrerequisites replaces the record's set (CAL-V0-099); nil
	// (from a null value) clears it.
	ExecutionPrerequisites []ticket.Prerequisite
	RequiredRoles          map[string][]string
	RequiresPool           *string
	Present                map[string]bool
	Title                  string
	Body                   *string
	Kind                   string
	Owner                  *string
	Milestone              *string
	Labels                 []string
	AcceptanceCriteria     []string
	RequirementRefs        []string
	DueDate                *string
	EstimateMinutes        *wire.Count
	Supersedes             *wire.TicketID
}

type ReleaseHoldPayload struct {
	HoldID string
}

type RequestIndex interface {
	Lookup(requestID string) (IndexEntry, bool, error)
}

type RetryRecovery struct {
	TicketID           string
	AcceptanceRevision wire.Count
	State              ticket.Observation
	Phase              string
	Reason             string
}

type ReviewPayload struct {
	Op      string
	Request wire.Value
}

type RevokeApprovalPayload struct {
	GrantID string
	Reason  string
}

type SetDependenciesPayload struct {
	Dependencies []ticket.Dependency
}

type SetEffectsPayload struct {
	Effects        ticket.Effects
	Capabilities   []string
	ExecutionClass string
}

type SetGatesPayload struct {
	RequiredGates []string
}