Skip to content
Cockpit0.29.0
A snapshot: read at commit 707a04c7ce8 on 2026-10-18T00:06:01Z by majordomus 0.29.0. Nothing on this page is read again. See it live

I1010

The overview is what exists, counted rather than claimed

Where it stands

devtask.issue
Readiness
ready no dependency and no gate holds it; nobody has started it
Status
READY
Can start
startable
Milestone
Milestone status
ACTIVE
Wave
3
Waiting on
none
Holds back
Behind it in all
1
Evidence
0 of 2
A move writes the repository: it stamps one field of this issue's record and appends one event to the ledger, and a commit will carry both.
The same moves from a terminal

majordomus plan start I1010

majordomus plan verify I1010

majordomus plan done I1010

What it is

Objective
Generate the Cockpit overview and its summary numbers from the graph, showing a section only when the repository actually holds that kind of thing.
Why
A dashboard with headings for things that do not exist teaches readers to distrust it, and hand-maintained counts are wrong within a week. Both problems disappear when the overview is a query.
Now
The Cockpit renders pages derived from the registry and the index. Section presence and any counts are decided in code.
Wanted
Sections appear because their kind has members, counts are computed, and a new kind of thing appears without the overview being rewritten.
Done when
unknown: the record declares no `completion`
Risk
Counts on a page are the sort of thing the repository's own rule against numbers in prose exists for. They are computed and rendered, never written.

Acceptance

  • Sections are present only when the corresponding kind has members
  • Every number shown is computed from the graph at build or request time
  • A kind added to the layer appears in the overview with no change to the overview's own code
  • The counts on the page match the artifact, proved by a test
Validation
cargo test --workspace --all-featuresbash test/run.sh
Evidence required
sections_derivedcounts_computed
Evidence present
unknown: the record carries no `evidence` entries

Scope

Touches
apps/majordomus-cli/src/cockpit/pages.rs
Not
A number typed by a human anywhere in the interfaceA heading rendered for a kind with no members
Depends on
Priority
p1
Profile
implementation
Parallel safe
true
Owner
unknown: the record declares no `owner`

The work so far

Branches
none
Merged
none
Commits
0
Trunk
master
Sessions
none
Created
2026-09-06
Updated
2026-09-06
Started
unknown: the record declares no `started_at`
Verified
unknown: the record declares no `verified_at`
Completed
unknown: the record declares no `completed_at`

Synchronisation

Adapter
scripts/github-sync
Repository
unknown: the derived plan's header carries no repository
External issue
unknown: a live GitHub state; this executable makes no network call, so only `scripts/github-sync --check` can answer it
State there
unknown: a live GitHub state; this executable makes no network call, so only `scripts/github-sync --check` can answer it

Findings

Nothing is wrong with these records.