authzformbench

type Atom = authzplan.Atom

type AtomKind = authzplan.AtomKind

type Cell struct {
	Form    Form
	N       int
	Op      Op
	Outcome Outcome
	Reason  string
	Place   string // откуда снята ячейка — отчёт из двух мест без этого признака выдаёт за один прогон два

	Repeats            int
	P50, P95, Min, Max float64 // milliseconds; zero when Outcome != Measured

	// Колонка обращений была РАСЩЕПЛЕНА на две самостоятельные, пока сторон было
	// две: у движка «обращение» — HTTP-вызов, за которым стоит неизвестное число
	// запросов к его Postgres, у формы E — SQL-стейтмент. Складывать их было
	// нельзя. Осталась одна величина; вторая снята, а не обнулена.
	StmtSQL  int    // SQL-стейтменты
	StmtNote string // непусто ⇒ StmtSQL НЕ измерен, здесь причина; печатается вместо величины

	Parts  int // на сколько частей разложена страница (у формы E — одна)
	Tuples int // строк намерения, которых операция коснулась

	GrantTotal      int64 // volume only: grant rows in the store
	GrantBytes      int64 // volume only: logical row bytes of ALL its rows (см. Volume)
	StructuralRows  int64 // volume only: то, что есть у каждой формы одинаково
	StructuralBytes int64
	TableBytes      int64 // volume only: whole relations, incl. indexes — NOT per-shape
}

type Census = authzplan.Census

type Config struct {
	Ns           []int // the curve — at least four orders, or the slope is unknown
	Subjects     int   // S
	Verbs        []string
	Role         string
	RelabelK     int // K for W4
	PageSize     int // R3 page size (the contract page is 1000)
	Partition    int // objects per BatchCheck request
	Parallelism  int // partitions in flight
	WriteRepeats int // measured repeats for write ops (warm-up is extra)
	ReadRepeats  int // measured samples for read ops (warm-up is extra)
	Forms        []Form
}

type Counters struct {
	StmtSQL int // SQL-стейтменты, снятые на Postgres
}

type DirectSubject = authzplan.DirectSubject

type FactSource interface {
	Names() TableNames
	Query(ctx context.Context, sql string, args ...any) (pgx.Rows, error)
}

type Fingerprint struct {
	// Composition — хэш отсортированного СПИСКА путей.
	Composition string
	// Content — хэш содержимого файлов в том же порядке.
	Content string
	// Files — сами пути, для сообщения гейта.
	Files []string
	// Predicate — ЧТО именно взято под отпечаток, словами.
	Predicate string
}

type Form string

type FullQuestion struct {
	Type     string
	Relation string
	Subject  string
	Object   string
	IsVerb   bool
}

type LabelCell struct {
	Form    string
	Place   string
	N       int
	Op      LabelOp
	Outcome Outcome
	Reason  string

	Repeats            int
	P50, P95, Min, Max float64 // мс работы

	StmtSQL  int
	StmtNote string // непусто ⇒ величина НЕ измерена, здесь причина
	Rows     int
	Parts    int

	// Окно неверного ответа. Заполняется только у операций-событий.
	HasWindow  bool
	WindowP50  float64
	WindowP95  float64
	WindowMax  float64
	WindowMin  float64
	Polls      int
	Revocation bool
}

type LabelConfig struct {
	WriteRepeats int
	ReadRepeats  int
	EventRepeats int
	// WindowBudget — сколько ждать верного ответа, прежде чем признать «не
	// выполнилось». Исчерпание бюджета НЕ печатается нулём.
	WindowBudget time.Duration
	// PollEvery — шаг опроса окна.
	PollEvery time.Duration
}

type LabelEvent struct {
	Kind LabelEventKind
	// ObjectID — объект события. Пусто для отзыва правила: он про весь набор.
	ObjectID string
	// Expect — вердикт, который новое состояние ПОДРАЗУМЕВАЕТ. Окно кончается на
	// первом ответе, равном ему.
	Expect bool
}

type LabelEventKind string

type LabelForm interface {
	Name() string
	// Place — откуда сняты ячейки этой формы. Отчёт из двух мест без этого
	// признака выдаёт за один прогон два.
	Place() string
	// StmtProducer — чем и где считаются стейтменты этой формы и прошёл ли
	// производитель контроль в обе стороны.
	StmtProducer() ProducerStatus

	// ApplyRule записывает правило В ТОЙ ФОРМЕ, В КАКОЙ ОНО У НЕЁ СУЩЕСТВУЕТ:
	// у формы E — строки правила и выдачи.
	// Это и есть предмет L1.
	ApplyRule(ctx context.Context) (Counters, int, error)
	// DropRule снимает правило, не трогая общее. Нужен, чтобы повтор L1 мерил
	// первый ответ, а не идемпотентный повтор.
	DropRule(ctx context.Context) error

	// Settle — что форма ОБЯЗАНА сделать после уже закоммиченного общего
	// изменения, чтобы её ответ стал верным. У формы E ожидается ноль — и он
	// измеряется, а не объявляется.
	Settle(ctx context.Context, ev LabelEvent) (Counters, int, error)

	Check(ctx context.Context, subject, relation, objectID string) (bool, Counters, error)
	// Page сужает страницу кандидатов; возвращает число разрешённых и на сколько
	// частей страница была разложена.
	Page(ctx context.Context, subject, relation string, ids []string) (allowed, parts int, c Counters, err error)

	Teardown(ctx context.Context) error
}

type LabelOp string

type LabelReportInput struct {
	Prov     Provenance
	Scenario LabelScenario
	Config   LabelConfig
	Ns       []int
	// QueueNote — что стоит между коммитом метки и началом пересчёта у продукта,
	// прочитанное из дерева. ТЕКСТ, а не число: складывать его с измеренным окном
	// запрещено правилом отнесения п.7.
	QueueNote string
	// RunCommand — чем прогон воспроизводится. Замер без него не свидетельство.
	RunCommand string
	// RepeatSchedule — сколько повторов снято на каждом N. Печатается строкой, а
	// не одним числом: расписание, уменьшающееся с ростом N, обязано быть видно,
	// иначе p95 на одном образце читается как p95 на пяти.
	RepeatSchedule string
	Unmeasured     []string
}

type LabelScenario struct {
	N          int      // объектов под правилом
	Verbs      []string // M — глаголы роли, в канонической форме без приставки
	Subjects   []string // S — субъекты выдачи, в форме "user:usr-…"
	ObjectType string
	ProjectID  string
	AccountID  string
	LabelKey   string
	LabelValue string

	PageSize    int // страница договора
	Partition   int // объектов в одном обращении BatchCheck
	Parallelism int // частей страницы в полёте
}

type LabelWorld interface {
	// Commit применяет общее изменение и возвращает МОМЕНТ его коммита — точку,
	// от которой отсчитывается окно неверного ответа у КАЖДОЙ формы.
	Commit(ctx context.Context, ev LabelEvent) (time.Time, error)
	// Revert возвращает общее состояние к тому, каким оно было до события.
	Revert(ctx context.Context, ev LabelEvent) error
}

type Model = authzplan.Model

type ModelType = authzplan.ModelType

type Op string

type Outcome string

type Plan = authzplan.Plan

type ProducerStatus struct {
	Place    string // где снимается
	Producer string // чем снимается
	OK       bool   // прошёл ли контроль в обе стороны
	Note     string // что именно наблюдалось — печатается и при OK, и при провале
}

type Provenance struct {
	When        string
	TreeRev     string
	Machine     string
	Postgres    string // образ, на котором СНЯТ замер
	ModelPath   string
	ModelDigest string

	// StmtProducers — состояние производителя `StmtSQL` по КАЖДОМУ месту снятия.
	// Величина, у входа которой нет производителя, зеленеет молча — поэтому это
	// печатается всегда, и при успехе, и при провале.
	StmtProducers []ProducerStatus
	// CascadeChain — объявленная цепь обхода каскада и её глубина.
	CascadeChain string
	CascadeDepth int
}

type Relation = authzplan.Relation

type RelationalVerdict struct {
	Src FactSource
}

type RightsStore interface {
	// Seed кладёт структурные строки и (когда grant непуст) строки выдачи.
	// Засев не входит ни в одну измеряемую величину.
	Seed(ctx context.Context, structural, grant []Tuple) (Counters, error)

	// Write и Remove — измеряемые мутации: выдача, переразметка, отзыв.
	Write(ctx context.Context, tuples []Tuple) (Counters, error)
	Remove(ctx context.Context, tuples []Tuple) (Counters, error)

	// InlineGrant пишет ПРЕДМЕТ выдачи и саму выдачу в ОДНОЙ транзакции.
	//
	// Операция существует потому, что у формы E она ВЫРАЗИМА: выдача и её предмет
	// лежат в одной базе. Прежде эта ячейка была содержательна своей пустотой у
	// второй стороны — общей транзакции между БД сервиса и чужим движком не
	// бывает; сегодня она измеряется как абсолютная величина, и «шесть
	// стейтментов» — утверждение о форме, а не о разнице с кем-то.
	InlineGrant(ctx context.Context, data, grant []Tuple) (Counters, error)
	// InlineRevoke — то же для отзыва: отзыв, не зависящий от доставки.
	InlineRevoke(ctx context.Context, data, revoke []Tuple) (Counters, error)

	Check(ctx context.Context, subject, verb, object string) (bool, Counters, error)
	BatchCheck(ctx context.Context, subject, verb string, objects []string) ([]bool, Counters, error)
	// CheckPage разрешает целую страницу и возвращает, на сколько частей она была
	// разложена. Число частей ОБЪЯВЛЯЕТСЯ, а не усредняется: у формы E оно равно
	// единице, и единица, полученная замером, отличима от единицы по умолчанию.
	CheckPage(ctx context.Context, subject, verb string, objects []string,
		partition, parallel int) (verdicts []bool, parts int, c Counters, err error)

	Volume(ctx context.Context) (Volume, error)

	// StmtProducer называет, чем и где снимается `StmtSQL` у этого хранилища и
	// прошёл ли производитель контроль в обе стороны.
	StmtProducer() ProducerStatus

	// Place — из какого места снята каждая ячейка этого хранилища. Отчёт,
	// собранный из двух мест без этого признака, выдаёт за один прогон два.
	// Признак пережил вторую сторону: места по-прежнему два — своя посадка
	// прибора и продуктовые таблицы iam (прогон Ф5), — и путать их нельзя.
	Place() string

	Teardown(ctx context.Context) error
}

type Runner struct {
	Stack *Stack
	Cfg   Config

	Notes map[Form]string
}

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

type Scenario struct {
	N        int      // objects inside the selected set
	Spare    int      // objects OUTSIDE it, kept for the relabel operations
	Verbs    []string // M — the verbs the role grants
	Subjects []string // S — full principal strings, e.g. "user:u000"
	Role     string   // "viewer" | "editor" — selects the C/D grant relation
}

type Stack struct {
	// DSN — строка подключения к этой базе. Хранилища формы E берут в ней по схеме.
	DSN string
	// Postgres — образ, который РЕАЛЬНО поднялся, а не тот, что задумывался.
	Postgres string
	// contains filtered or unexported fields
}

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

type TableNames struct {
	Mirror          string // зеркало объектов: тип · идентификатор · оба родителя · метки
	Projects        string // проект → аккаунт
	Accounts        string // аккаунт → кластер
	Bindings        string // выдача: область и роль
	BindingSubjects string // субъекты выдачи
	Selectors       string // правило-селектор выдачи (по меткам)
	RoleVerbs       string // роль → глаголы, которые она даёт
	AccountAdmins   string // каскад, уровень 3
	ClusterAdmins   string // каскад, уровни 1-2
}

type Term = authzplan.Term

type TermKind = authzplan.TermKind

type Tuple struct {
	User     string
	Relation string
	Object   string
}

type Volume struct {
	GrantRows       int64
	GrantBytes      int64
	StructuralRows  int64
	StructuralBytes int64
	TableBytes      int64
}