internal/

Package cairn is the store behind nova-cairn: session records holding a caller's exact words, each with a clock stamp, a stable identifier and a source pointer, and a bounded index and coverage count read back from them.

Package check implements seven of the ten record-layer checks behind nova-check; the other three live elsewhere because none is about one self repo.

Package ci holds the checks that are about the REPO rather than about any one binary: properties every command under cmd/ must have, asserted by walking the directory rather than by listing the commands, so that a binary added tomorrow is held to them on the day it appears rather than on the day somebody remembers to add it to a list.

Package cireceipt is the run receipt the ci-ok job of .github/workflows/ci.yml writes at the end of every run: one ev:github row of the workflow_run shape, sender "runner", appended through internal/ghevent.

Package converge answers one question mechanically: are we converging?

Package doctor is nova-doctor's frame: a registry of checks, each one a name, the dependency it covers, a Run over an Env, and a result of ok, warn or fail with evidence and, when not ok, the one fix line.

Package fuse is the STATE half of the ingestion fuse: reading and writing the box, the JSON file the two emergency powers live in.

Package ghevent appends entries to the Redis stream ev:github and reads them back.

Package memindex is the index half of nova-memory: membership in a markdown corpus as a LOOKUP, never a scan.

Package nogh installs a refusing gh command first on a child shell's PATH.

Package record holds the token ledger: the index of nova-tokens' day TSVs in the fleet Redis, one hash per day: a month query reads the day hashes in one pipelined trip, so the ledger keeps one store and no second copy.

Package scaffold provides the shared write-confinement and template engine for scaffolding verbs across this repository.

Package selftalk finds sentences in which a writer passes a standing verdict on themselves, in two disjoint classes, each finding with the source line it starts on.

Package shippedsmoke holds the smoke test of a SHIPPED nova-check binary: the executable a release puts in a user's hands, not one built from the tree under test.

Package tablemodel checks nova-table against its TLA+ models.

Package testverbhelp is the per-tool check of the verb-help rule (the CLI style's rule (b), #4505; pkg/nsprint/verbflag is the one seam that implements it): `<tool> <verb> -h` and `--help` print that verb's help on stdout and exit 0, with nothing on stderr, no file written and no dial.

Package textbody filters line-oriented message bodies without transport, storage, parsing of typed records, or decision policy.

Package tokens is the accounting layer: the one message shape every source produces, the one fold over a stream of them, the day file, and the readers for the five declared source kinds.

Package up is nova-up: it takes one machine from nothing to a first sprint (docs/SPEC-UP.md).

Package update implements the shared, explicit version inventory behind nova-update and nova-version.

Package yield is the one place a process steps behind CI: CI over work is a permanent setting, because work creates more CI, and without the ordering the system is unstable.