internal/

directory
v0.16.0-dev.c839379e Latest Latest
Warning

This package is not in the latest version of its module.

Go to latest
Published: Sep 19, 2026 License: MIT

Directories

Path Synopsis
backend.go is the seam.
backend.go is the seam.
Package bounded is the one shape every listing in this repo prints, and the reason it exists is an incident: a line running on a 260K-context model died reading a single 674-line return from a verb that lists its state.
Package bounded is the one shape every listing in this repo prints, and the reason it exists is an incident: a line running on a 260K-context model died reading a single 674-line return from a verb that lists its state.
Package buildinfo answers one question in one place: WHICH BUILD IS THIS.
Package buildinfo answers one question in one place: WHICH BUILD IS THIS.
Package bus is the machinery under nova-bus: the bus's participant config, the note header, the id, the answered rule, the receipts file, and the push protocol.
Package bus is the machinery under nova-bus: the bus's participant config, the note header, the id, the answered rule, the receipts file, and the push protocol.
Package cairn is the mechanical half of nova-cairn, the optional checkpoint tool from nova-tools #248.
Package cairn is the mechanical half of nova-cairn, the optional checkpoint tool from nova-tools #248.
Package check implements six of the seven record-layer checks behind nova-check; the seventh, dogfood, is internal/dogfood, because its records are receipts about the family's tools rather than about one self repo.
Package check implements six of the seven record-layer checks behind nova-check; the seventh, dogfood, is internal/dogfood, because its records are receipts about the family's tools rather than about one self repo.
ci
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 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.
slowtests
Package slowtests is the machine behind cmd/nova-ci's `slowtests` verb in docs/SPEC-CI.md, "The per-package test time budget".
Package slowtests is the machine behind cmd/nova-ci's `slowtests` verb in docs/SPEC-CI.md, "The per-package test time budget".
An answer is checked against the question that asked it (edges 22 and 23 of the non-author's read of #1327).
An answer is checked against the question that asked it (edges 22 and 23 of the non-author's read of #1327).
Package dispatch is the queued|dispatching|delivered|uncertain file discipline, lifted out of nova-wake serve's own bookkeeping so that nova-chat takes it rather than re-spelling it (SPEC-CHAT work-list item 13).
Package dispatch is the queued|dispatching|delivered|uncertain file discipline, lifted out of nova-wake serve's own bookkeeping so that nova-chat takes it rather than re-spelling it (SPEC-CHAT work-list item 13).
Package dogfood answers one question about a tool that its own tests cannot: has somebody who did not write it actually run it?
Package dogfood answers one question about a tool that its own tests cannot: has somebody who did not write it actually run it?
Package fleet holds the machines registry: the one file that says what each machine in the fleet IS, and therefore what may be placed on it.
Package fleet holds the machines registry: the one file that says what each machine in the fleet IS, and therefore what may be placed on it.
Package friends is the machinery's side of one rule (Glenn, 2026-09-18):
Package friends is the machinery's side of one rule (Glenn, 2026-09-18):
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 fuse is the STATE half of the ingestion fuse: reading and writing the box, the JSON file the two emergency powers live in.
Package goenv builds the environment a tool hands to a child `go` command.
Package goenv builds the environment a tool hands to a child `go` command.
Package jobs is the job graph of docs/SPEC-JOBS.md section 1: typed edges needs and blocks, a seeded graph refused acyclic by validator rule 3, and the mechanical ready set launch reads.
Package jobs is the job graph of docs/SPEC-JOBS.md section 1: typed edges needs and blocks, a seeded graph refused acyclic by validator rule 3, and the mechanical ready set launch reads.
Package log is the one structured event line every part writes BESIDE the one human line it already writes.
Package log is the one structured event line every part writes BESIDE the one human line it already writes.
Package memindex is the index half of nova-memory: membership in a markdown corpus as a LOOKUP, never a scan.
Package memindex is the index half of nova-memory: membership in a markdown corpus as a LOOKUP, never a scan.
Package merge is nova-merge's engine: the lane's state file, its locks, its records, the one merge predicate and the one pass that applies it.
Package merge is nova-merge's engine: the lane's state file, its locks, its records, the one merge predicate and the one pass that applies it.
Package onboarding reads the two things docs/ONBOARDING.md makes every command in this repo carry — the `example:` block at the foot of its usage banner, and its `### First run` section in docs/TESTS.md — and reduces an output line to the part that document promises.
Package onboarding reads the two things docs/ONBOARDING.md makes every command in this repo carry — the `example:` block at the foot of its usage banner, and its `### First run` section in docs/TESTS.md — and reduces an output line to the part that document promises.
Package oneline is the one escape every binary in this repo renders caller-supplied or stored text through before it reaches an event line.
Package oneline is the one escape every binary in this repo renders caller-supplied or stored text through before it reaches an event line.
audit
Package audit is the source-level tripwire behind the one-line guarantee, shared by every binary in this repo.
Package audit is the source-level tripwire behind the one-line guarantee, shared by every binary in this repo.
Package outbound is the outward gate of docs/SPEC-OUTBOUND.md: a tool drafts and shows, and releases only on a bus receipt that is Glenn's, names the exact hash, and is fresh.
Package outbound is the outward gate of docs/SPEC-OUTBOUND.md: a tool drafts and shows, and releases only on a bus receipt that is Glenn's, names the exact hash, and is fresh.
Package play implements shared reading annotations.
Package play implements shared reading annotations.
Package post is the outbound engine behind nova-post: it renders one payload per channel deterministically, stores it under the drafts directory, and releases it only through the approve gate documented in docs/SPEC-OUTBOUND.md.
Package post is the outbound engine behind nova-post: it renders one payload per channel deterministically, stores it under the drafts directory, and releases it only through the approve gate documented in docs/SPEC-OUTBOUND.md.
Package records is the core of the retained token record format: the canonical envelope, exact numeric strings with presence kept, and the structural validation the publisher boundary performs.
Package records is the core of the retained token record format: the canonical envelope, exact numeric strings with presence kept, and the structural validation the publisher boundary performs.
Package redisq is the live-state half of docs/SPEC-STATE.md that a bench uses beside the directory queue: the pull queue built on Redis Streams with one consumer group per stream, the slot lease whose renew and release are a Lua compare-and-release, and the in-flight cap whose admission is one atomic Lua script.
Package redisq is the live-state half of docs/SPEC-STATE.md that a bench uses beside the directory queue: the pull queue built on Redis Streams with one consumer group per stream, the slot lease whose renew and release are a Lua compare-and-release, and the in-flight cap whose admission is one atomic Lua script.
Package release is the last mile: a green commit on main becomes a version, a set of binaries, and the same binaries answering for themselves on every bench in the fleet.
Package release is the last mile: a green commit on main becomes a version, a set of binaries, and the same binaries answering for themselves on every bench in the fleet.
Package review owns nova-review's immutable answer and policy record codecs.
Package review owns nova-review's immutable answer and policy record codecs.
Package safepath is the one way a path this tool COMPUTED is removed.
Package safepath is the one way a path this tool COMPUTED is removed.
The egress wall is the card's OUTBOUND half: the filesystem wall this package builds everywhere else says what a card may read and write, and this file says what it may talk to.
The egress wall is the card's OUTBOUND half: the filesystem wall this package builds everywhere else says what a card may read and write, and this file says what it may talk to.
Package secrets implements the credential-layer machinery described in docs/SPEC-SECRETS.md.
Package secrets implements the credential-layer machinery described in docs/SPEC-SECRETS.md.
Package selftalk finds first-person claims about what the writer of a text permanently IS or permanently CANNOT do, and classifies each as a dated record or a standing claim.
Package selftalk finds first-person claims about what the writer of a text permanently IS or permanently CANNOT do, and classifies each as a dated record or a standing claim.
Benches: a remote bench reached by ssh, named by one row of a TSV table (docs/SPEC-SWARM.md "Benches").
Benches: a remote bench reached by ssh, named by one row of a TSV table (docs/SPEC-SWARM.md "Benches").
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 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 update implements the shared, explicit version inventory behind nova-update and nova-version.
Package update implements the shared, explicit version inventory behind nova-update and nova-version.
Package wake is nova-wake's machinery: the state file that makes a change a change, the three sources it polls, the view over a bus checkout's commits that says whether a line has gone silent, and the serve loop that wakes a harness from outside a session.
Package wake is nova-wake's machinery: the state file that makes a change a change, the three sources it polls, the view over a bus checkout's commits that says whether a line has gone silent, and the serve loop that wakes a harness from outside a session.
Package workclient is the S1 wire of the resident work session's thin client: one request line in, one reply line out over the Unix-domain socket --session names, newline-terminated both ways.
Package workclient is the S1 wire of the resident work session's thin client: one request line in, one reply line out over the Unix-domain socket --session names, newline-terminated both ways.
Package worklang is the bounded reader for a `.work` plan (docs/SPEC-WORKLANG.md).
Package worklang is the bounded reader for a `.work` plan (docs/SPEC-WORKLANG.md).

Jump to

Keyboard shortcuts

? : This menu
/ : Search site
f or F : Jump to
y or Y : Canonical URL