manifest

type AuthorityState uint8

type BridgeAttestation struct {
	Version         int    `json:"version"`
	PreparedHead    string `json:"preparedHead"`
	TreeDigest      string `json:"treeDigest"`
	ADRFormatV1From int    `json:"adrFormatV1From"`
	LegacyADRGaps   []int  `json:"legacyADRGaps"`
}

type Drift struct{ Path, Kind, Detail string }

type Entry struct {
	TemplateID   string `json:"templateId"`
	TemplateHash string `json:"templateHash"`
	ConfigHash   string `json:"configHash"`
	OutputHash   string `json:"outputHash"`
	// RegenChecked marks an entry whose drift is checked by regeneration rather
	// than by the frozen OutputHash - generated indexes and navigation (INDEX.md,
	// topic and domain docs, the config reference) plus in-place-editable files
	// (ADR-0100). Omitted
	// when false so a plain entry's serialization is unchanged.
	RegenChecked bool `json:"regenChecked,omitempty"`
}

type Lock struct {
	AWFVersion    string           `json:"awfVersion"`
	SchemaVersion int              `json:"schemaVersion"`
	Files         map[string]Entry `json:"files"`
	// BridgeAttestation seals a completed current-state upgrade attestation. It
	// is optional (omitted when absent) so a lock written before the bridge
	// tranche parses unchanged with a nil pointer.
	BridgeAttestation *BridgeAttestation `json:"bridgeAttestation,omitempty"`
	// ADRFormatV1From is the permanent format cutoff (the highest ADR number plus
	// one) the final current-state upgrade promotes out of the consumed
	// attestation. Every ADR at or above it is current-state-v1; below it is
	// legacy. Zero is valid only for bridge or pre-tracking authority.
	ADRFormatV1From int `json:"adrFormatV1From,omitempty"`
	// ADRFormatV2From is the permanent V2 boundary. It is absent before schema
	// 15 and positive at schema 15 and later.
	ADRFormatV2From int `json:"adrFormatV2From,omitempty"`
	// LegacyADRGaps is the sorted set of absent lower ADR numbers the final
	// upgrade promotes alongside the cutoff, closing the migration-time identity
	// set so a listed gap can never be backfilled as legacy. It is absent before
	// cutover and serialized as an explicit array, including [], after cutover.
	LegacyADRGaps []int `json:"legacyAdrGaps,omitempty"`
	// InitializedWithVersion records the binary that completed first adoption.
	// It is absent for older migrated adopters and immutable once present.
	InitializedWithVersion string `json:"initializedWithVersion,omitempty"`
	// contains filtered or unexported fields
}