milestone

type ArtifactRef string

type Catalog struct {
	// Version selects the catalog schema.
	Version int `json:"version"`
	// Requirements contains the complete generated ownership register.
	Requirements []CatalogRequirement `json:"requirements"`
}

type CatalogRequirement struct {
	// ID is the permanent requirement identifier.
	ID RequirementID `json:"id"`
	// Milestone is the explicit owner sourced from the work map.
	Milestone MilestoneID `json:"milestone"`
	// Weight is the positive contribution to the overall estimate.
	Weight int `json:"weight"`
}

type CommandID string

type Delivery string

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

type Estimate struct {
	// Completed lists requirements with retained passing evidence.
	Completed []RequirementID `json:"completed"`
	// InProgress lists in-progress and not-started requirements.
	InProgress []RequirementID `json:"in_progress"`
	// Blocked lists requirements with a named blocker.
	Blocked []RequirementID `json:"blocked"`
	// Uncertainty lists bounded missing-proof conditions.
	Uncertainty []EvidenceReference `json:"uncertainty"`
}

type EvidenceKind string

type EvidenceRef string

type EvidenceReference struct {
	// Kind describes how the reference contributes to status.
	Kind EvidenceKind `json:"kind"`
	// Reference is a bounded safe requirement or uncertainty reference.
	Reference EvidenceRef `json:"reference"`
}

type EvidenceStore interface {
	// Retain stores a pending record before delivery.
	Retain(context.Context, Record) error
	// Lookup returns a previously retained record.
	Lookup(context.Context, MilestoneID) (Record, error)
	// MarkFailed records a classified retryable delivery failure.
	MarkFailed(context.Context, MilestoneID, FailureCode) (Record, error)
	// MarkSent records successful delivery.
	MarkSent(context.Context, MilestoneID) (Record, error)
}

type FailureCode string

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

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

type HTTPClient interface {
	// Do submits an HTTP request and returns the provider response.
	Do(*http.Request) (*http.Response, error)
}

type Ledger struct {
	// Version selects the ledger schema.
	Version int `json:"version"`
	// Requirements contains exactly one row per canonical requirement.
	Requirements []Requirement `json:"requirements"`
}

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

type MilestoneID string

type Notification struct {
	// Topic is the fixed operator-configured ntfy endpoint.
	Topic string `json:"-"`
	// Report is the exact structured request body.
	Report Report `json:"-"`
}

type Notifier interface {
	// Deliver submits one notification while honoring cancellation.
	Deliver(context.Context, Notification) error
}

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

type Proof struct {
	// Revision identifies the immutable source state checked.
	Revision RevisionRef `json:"revision"`
	// UTCTime records when the check completed in UTC.
	UTCTime time.Time `json:"utc_time"`
	// Level identifies the proof scope.
	Level ProofLevel `json:"proof_level"`
	// CommandID identifies reviewed argv stored outside this record.
	CommandID CommandID `json:"command_id"`
	// ArtifactRef identifies the retained machine-readable result.
	ArtifactRef ArtifactRef `json:"artifact_ref"`
	// Result is completed only when its literal value is passed.
	Result string `json:"result"`
}

type ProofLevel string

type Record struct {
	// Report is the exact notifier payload.
	Report Report `json:"report"`
	// Estimate retains richer local evidence context.
	Estimate Estimate `json:"estimate"`
	// Delivery is the current notifier delivery state.
	Delivery Delivery `json:"delivery"`
	// Attempts counts recorded notifier outcomes.
	Attempts int `json:"attempts"`
	// Failure is the last safe classified failure.
	Failure FailureCode `json:"failure,omitempty"`
}

type Report struct {
	// Milestone identifies the reported milestone.
	Milestone MilestoneID `json:"milestone"`
	// EstimatedOverallPercent is the weighted green share of all requirements.
	EstimatedOverallPercent int `json:"estimated_overall_percent"`
	// EvidenceSummary carries structured completed, in-progress, blocked, and uncertainty entries.
	EvidenceSummary []EvidenceReference `json:"evidence_summary"`
	// NextMilestone identifies the next observable milestone.
	NextMilestone MilestoneID `json:"next_milestone"`
	// CommitOrRevision identifies the immutable source state.
	CommitOrRevision RevisionRef `json:"commit_or_revision"`
	// UTCTime is the injected report time normalized to UTC.
	UTCTime time.Time `json:"utc_time"`
	// Status summarizes the most severe evidence state.
	Status Status `json:"status"`
}

type ReportInput struct {
	// Milestone identifies the current milestone.
	Milestone MilestoneID
	// NextMilestone identifies the next observable milestone.
	NextMilestone MilestoneID
	// Revision identifies the immutable source state when available.
	Revision RevisionRef
	// TerminalRequirementIDs names the bounded requirement rows that decide this milestone's status.
	TerminalRequirementIDs []RequirementID
	// Uncertainty names bounded missing proof or external conditions.
	Uncertainty []EvidenceReference
}

type Requirement struct {
	// ID is the permanent requirement identifier.
	ID RequirementID `json:"id"`
	// Status is the current evidence state.
	Status RequirementStatus `json:"status"`
	// Evidence contains retained proof references for completed status.
	Evidence []Proof `json:"evidence,omitempty"`
}

type RequirementID string

type RequirementStatus string

type RevisionRef string

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

type Status string