internal/

Package annotation parses bigo directive comments (//bigo:...) into structured verbs and their associated asymptotic bounds.

Package assume loads external assumption files: bounds the engine treats as trusted user claims for named functions, without touching the target's source.

Package bound models asymptotic (big-O) cost as antichains of poly-log monomials, with the operations needed to combine and compare them.

Package callsummary resolves call costs via a cost table plus memoized, acyclic interprocedural summaries.

Package costtable maps builtins and curated stdlib calls to asymptotic costs.

Package directive collects //bigo: directives from a package's syntax and turns cost/ignore assertions into resolver inputs.

Package engine composes an intraprocedural asymptotic time bound for a function.

Package fieldpath proves which parameter-rooted field reads are stable — equal to their value at function entry — so they can serve as size variables without alias analysis.

Package frontier measures how far each unverifiable function sits from a bound, over a report document.

Package kata supplies the algorithm-kata cost model as a cost-model overlay.

Package loopnest detects natural loops and their nesting from SSA.

Package metrics computes verdict coverage over the analysistest corpora and renders it as a committed golden (metrics/metrics.json) plus a human-readable table (metrics/METRICS.md).

Package normalize rewrites annotation budgets into canonical size variables.

Package oracle drives the canonical algorithm corpus — bigo's prime-directive instrument: real algorithms whose worst-case bounds are known from the literature, pinned in-source, compared against unaided inference by bound domination.

Package recognize matches functions against known algorithmic shapes and reports the conventional bound for that shape.

Package recurrence solves the standard recurrence families of self-recursive functions.

Package report builds the machine-readable bigo document — the Stage-1 integration contract of the ecosystem spec.

Package size defines the canonical identity of input-size variables shared by the complexity engine and the annotation layer.

Package sizefacts provides the shared size-decrease primitives — constant resolution, canonical size variables, and provable lower-bound/upper-extent reasoning over SSA values — used by both tripcount and recurrence.

Package smell implements advisory complexity smell rules (SM1–SM8).

Package ssasupport builds SSA from single-file source, for tests and tooling.

Package survey measures bigo's REACH: how much of a real, external Go codebase it can bound, and what stops it.

Package tripcount infers the iteration-count of a natural loop.

Package trust scaffolds a trust file: the bounds a user asserts for code they cannot edit, so their own functions get verdicts and their budgets become enforceable.