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. |
|
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). |
Click to show internal directories.
Click to hide internal directories.