moduleseedparity

type Binding ¶

type Binding struct {
	SubjectType string
	SubjectName string
	// RoleID — выдача РОЛЬЮ: единственная форма, которую манифест умеет
	// объявить.
	RoleID string
	// Relation — выдача ОТНОШЕНИЕМ. Ключа для неё у формы манифеста нет ни
	// одного, поэтому строка с непустым Relation невыразима by construction
	// (kacho#1936). Поле здесь ради того, чтобы это было ВИДНО, а не выпадало из
	// чтения молча.
	Relation  string
	ScopeType string
	ScopeID   string
}

Binding — выдача, которую делает установка модуля.

Вид субъекта пишется по-МАНИФЕСТНОМУ (`serviceAccount`, `group`): второе написание того же предмета разошлось бы с первым, поэтому перевод живой строки (`service_account`) делается ОДИН раз, на чтении, а не по месту сравнения.

Якорь области хранится в точечной форме (`iam.cluster`) — так его пишет манифест, и так же переводится живая пара `resource_type`/`resource_id`.

func (b Binding) String() string

type Census ¶

type Census struct {
	Manifests int
	SA        Subsection
	Groups    Subsection
	Bindings  Subsection
	Joins     Subsection
}

Census — объём осмотренного. Печатается ВСЕГДА и ДО вердикта: «находок ноль» обязано быть отличимо от «прочитано ноль».

func (c Census) String() string

type Group ¶

type Group struct {
	Account     string
	Name        string
	Description string
}

Group — группа, заводимая установкой модуля.

func (g Group) String() string

type GroupOwnership ¶ added in v0.5.0

type GroupOwnership map[string]string

GroupOwnership — какой модуль ОБЪЯВИЛ группу: пара (аккаунт, имя) → модуль (приёмка MRW-1, Р5).

Ключ — пара, а не имя и не тройка. Не имя: то же имя в другом аккаунте — другая группа. Не тройка: назначение принадлежит ключу СРАВНЕНИЯ, и, попав в ключ атрибуции, оно отправило бы строку с разошедшимся назначением в разряд «без владельца», где обе стороны вердикта молчат.

Написания сравниваются СЫРЫМИ — окна двух написаний аккаунта здесь нет: оно существует ради непереведённых чужих манифестов и истекает с их переводом.

func (o GroupOwnership) Declare(module, account, name string)

func (o GroupOwnership) OwnerOf(account, name string) (string, bool)

type Join ¶

type Join struct {
	AccountName  string
	SAName       string
	GroupAccount string
	GroupName    string
}

Join — вступление служебной записи в чужую группу. Обе стороны адресуются ПАРОЙ (аккаунт, имя): так они уникальны в продукте.

func (j Join) String() string

type ModuleState ¶

type ModuleState struct {
	Module          string
	ManifestFile    string
	DeclaredSA      []ServiceAccount
	LiveSA          []ServiceAccount
	DeclaredGroup   []Group
	LiveGroup       []Group
	DeclaredBinding []Binding
	LiveBinding     []Binding
	DeclaredJoin    []Join
	LiveJoin        []Join
}

ModuleState — обе стороны сверки по одному модулю.

Живые строки приходят сюда УЖЕ отнесёнными к модулю-владельцу: строки без владельца сверке не подлежат и считаются переписью отдельно.

type Result ¶

type Result struct {
	// Findings — расхождения объявленного с живым. Гейт на них падает.
	Findings []string
}

Result — исход сверки.

Перечень ОДИН. Их было два, и различие было несущим: расхождение чинилось правкой манифеста, невыразимое — правкой ФОРМЫ, разными людьми в разных изменениях, и сложить их значило бы требовать от автора манифеста починить то, чего он написать не может.

Второй перечень снят вместе со своим предметом (kacho#1936): форма научилась выражать выдачу отношением, и строк, которых автор написать не может, не осталось. Держать пустой перечень значило бы держать исключение, которому нечего исключать, — оно не истекло бы уже никогда.

func Compare(states []ModuleState) Result

type ServiceAccount ¶

type ServiceAccount struct {
	Account     string
	Name        string
	Description string
}

ServiceAccount — служебная запись: то, что сверяется, и ничего сверх. Идентификатор сюда НЕ входит: живой его производит выражение внутри миграции (`'sva' || substr(md5(name), 1, 17)`), то есть он есть частность записи, а не то, что объявляет манифест. Сверять по нему значило бы требовать от манифеста воспроизвести случайность.

func (s ServiceAccount) String() string

type Subsection ¶

type Subsection struct {
	Declared  int
	Live      int
	Ownerless int
	Owned     int
}

Subsection — перепись одного подраздела посева.

Величин ТРИ, и ни одну нельзя выбросить, не потеряв различия, ради которого перепись и печатается: `Live` отвечает, читалось ли вообще что-то; `Ownerless` отделяет невыразимое by construction (объявлять некому) от пробела; `Owned` называет предмет сверки. Одно число вместо трёх скрывало бы ровно тот случай, ради которого граница названа.

ЧЕТВЁРТАЯ величина здесь была — `Inexpressible`, «та часть предмета, которой форма не умеет», — и снята вместе со своим предметом (kacho#1936): форма научилась выражать выдачу отношением, невыразимого вида строки не осталось. Величина, тождественно равная нулю, перепись не уточняет, а разбавляет: читатель ищет у неё смысл и не находит.

func (s Subsection) String() string