emit

type Counts struct {
	Documents     int
	Headings      int
	References    int
	BrokenLink    int
	BrokenAnchor  int
	Ambiguous     int
	Orphan        int
	Unreachable   int
	KnowledgeGap  int
	UnderLinked   int
	DeadEnd       int
	SuggestedLink int
	FarFromRoot   int
	Components    int
}

type DocView struct {
	ID identity.DocumentID
	// Title is the front-matter title, falling back to the first H1/heading,
	// falling back to the DocumentID.
	Title string
	// Description is the front-matter description, falling back to the first
	// heading text (ADR: the index.md description fallback to H1).
	Description string
	// Category is the document's directory ("." for top level).
	Category string
	// ModTime is the file's last-modified time.
	ModTime time.Time
	// InDegree / OutDegree are the projection navigational degrees.
	InDegree  int
	OutDegree int
	// Component is the WCC ID (sorted-min member) of the document.
	Component identity.DocumentID
	// Intentional reports the document opted out of orphan/unreachable findings.
	Intentional bool
	// Bowtie is the document's bow-tie bucket
	// (core/in/out/tendril/disconnected), pure structure data (ADR 0012).
	Bowtie string
	// Betweenness is the document's betweenness-centrality score (ADR 0015): how
	// load-bearing it is as a connector. IsArticulation marks it a cut vertex.
	Betweenness    float64
	IsArticulation bool
	// PageRank is the document's PageRank score (ADR 0016): global importance via
	// the random-surfer stationary distribution.
	PageRank float64
	// Hops is the document's shortest hop distance from the nearest root
	// (ADR 0021), or -1 when it is unreachable or the root set is indeterminate.
	Hops int
}

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

type FixPromptOptions struct {
	// ErrorsOnly restricts the embedded findings to severity==error (broken
	// links/anchors), so an agent can be pointed at just the build-breaking work.
	ErrorsOnly bool
	// Kinds, when non-empty, restricts the findings to exactly these kinds — ALL
	// of them: the default-mode caps are lifted (the emitExclude rule still
	// applies). Order is preserved in the Scope line; callers dedupe.
	Kinds []analysis.FindingKind
	// All emits the complete, unfiltered report: every kind, every severity, no
	// emitExclude filtering, no caps.
	All bool
	// EmitExclude carries the `.matlatl.yml emitExclude` patterns (gitignore
	// dialect, ADR 0019). In default and Kinds modes, an ADVISORY (severity Info)
	// finding is dropped when it touches an excluded document — its Location or
	// a named pair endpoint. Gate-capable findings (Error + Warning) always
	// render: fix-prompt's contract is "make `matlatl check` pass", and check is
	// unaffected by emitExclude (ADR 0019, ADR 0020).
	EmitExclude []string
}

type OKFVerdict struct {
	Checked               bool
	Conformant            bool
	Version               string
	MissingFrontmatter    int
	MissingType           int
	ReservedFileStructure int
}

type View struct {
	// Counts are the corpus-overview tallies.
	Counts Counts
	// Docs is every document, sorted by DocumentID, with presentation metadata.
	Docs []DocView

	// BrokenLinks / BrokenAnchors / Ambiguous are findings split by kind, each
	// already sorted (the AnalysisReport sorts findings).
	BrokenLinks   []analysis.Finding
	BrokenAnchors []analysis.Finding
	Ambiguous     []analysis.Finding
	// LowScent are the low-scent-anchor findings (ADR 0016), already sorted. Info;
	// they never gate the exit code.
	LowScent []analysis.Finding

	// Orphans (isolated) and Unreachable are the distinct ADR-0007 classes,
	// sorted by DocumentID. Intentional orphans are already suppressed upstream.
	Orphans     []identity.DocumentID
	Unreachable []identity.DocumentID
	// UnderLinked and DeadEnd are the graduated structure tiers (ADR 0012), sorted
	// by DocumentID. Mutually exclusive with Orphans and each other.
	UnderLinked []identity.DocumentID
	DeadEnd     []identity.DocumentID
	// FarFromRoot are the documents reachable but at or beyond the hop-distance
	// threshold from every root (ADR 0021), sorted by DocumentID. Their per-doc
	// hop distance is on the DocView (Hops). Empty when reachability is
	// indeterminate. Root members and intentional orphans are suppressed upstream.
	FarFromRoot []identity.DocumentID
	// ReachabilityIndeterminate mirrors the metrics flag (no root set found).
	ReachabilityIndeterminate bool

	// OKF is the OKF v0.1 conformance verdict (ADR 0023), projected once from the
	// pipeline Result. OKF.Checked gates whether the verdict line + violations
	// section render at all; OKF.Line() is the shared verdict wording.
	OKF OKFVerdict
	// OKFViolations are the okf-* conformance findings (ADR 0023), already sorted
	// (the AnalysisReport sorts findings). Rendered as a dedicated section in the
	// human reports so NOT CONFORMANT names the offending files, not just a count.
	OKFViolations []analysis.Finding

	// TopHubs / TopAuthorities are HITS rankings (descending, tie-break by ID).
	TopHubs        []graphmodel.RankedDocument
	TopAuthorities []graphmodel.RankedDocument

	// TopPageRank are the documents ranked by PageRank (ADR 0016): global
	// importance via the random-surfer stationary distribution, descending,
	// tie-broken by ID. Pure data, surfaced in graph.json and the human report.
	TopPageRank []graphmodel.RankedDocument

	// Trails are the per-weak-component suggested reading orders (ADR 0016),
	// sorted by Root. Surfaced in trails.json and the llms.txt reading-order block.
	Trails []graphmodel.Trail

	// TopBetweenness are the load-bearing docs ranked by betweenness centrality
	// (ADR 0015), descending, tie-broken by ID. ArticulationPoints (cut vertices)
	// and Bridges (cut edges) are the corpus' critical structure: single points of
	// failure in the link graph. All pure data, surfaced in the reports/graph.json.
	TopBetweenness     []graphmodel.RankedDocument
	ArticulationPoints []identity.DocumentID
	Bridges            []graphmodel.Bridge

	// Gaps are experimental knowledge-gap bridge candidates (sorted upstream).
	Gaps          []graphmodel.Gap
	GapsTruncated bool

	// SuggestedLinks are topology-based link-prediction suggestions (ADR 0013),
	// ranked by Adamic/Adar upstream. An additive signal alongside Gaps.
	SuggestedLinks          []graphmodel.LinkSuggestion
	SuggestedLinksTruncated bool

	// Navigability holds the corpus-level navigability scalars (ADR 0014):
	// compactness, stratum, characteristic/median path length, clustering,
	// diameter. Pure data, surfaced in graph.json and the human reports.
	Navigability graphmodel.Navigability

	// BrokenEdges are unresolved navigational references (origin → raw target),
	// for the diagram emitters' red placeholder target nodes. Sorted upstream.
	BrokenEdges []application.BrokenEdge

	// Metrics is the frozen graph-analysis carrier, for emitters that render the
	// graph itself (mermaid, dot). Read-only.
	Metrics *graphmodel.GraphMetrics
	// contains filtered or unexported fields
}