Skip to content

Devbook verify — 2026-09-30 #898

Closed

Description

@JSdotNet

Scheduled run Devbook verify, 2026-09-30. delivery-schedule@1.13.0 schedule-devbook-verify, verdicts from devbook@1.13.0 devbook:verify-change, run over origin/main at 9cc11843. The run was read-only: no test was run, the app was not started, and no chapter, status line, annotation or brief was written.

Scope

Folder Kinds run Chapters
domain/ aggregate, domain-service, feature, setting 14 aggregates, 29 domain services with the events they raise themselves, 88 features across 12 contexts, 17 switches plus the keys the code reads with no chapter
arc42/ building-block the five ## sections of 05-building-block-view.md
design/ design-component the component chapters of component-libraries.md
tech/, ai/ none no verify-change kind covers these folders, so they were not checked

There is no openspec/changes/, and no open pull request touches a devbook chapter.

Verdicts

Verdict Agreed Unagreed (draft or proposed)
aligned 11 30
code-ahead 20 27
spec-ahead 3 64
conflict 10 20
unresolved 0 17

Most of domain/ is still draft. Those verdicts are measured against a sketch, so they are marked (unagreed) and get no issue. A devbook-drift issue was opened for each agreed code-ahead or conflict row: 19 chapters, plus 5 issues grouping the switch keys the code reads that no context.md has a chapter for. The mcp-server key is left out, because open PR #859 removes it.

Issues opened (devbook-drift)

Merged table

Chapter Kind Verdict Issue
.devbook/domain/capture/domain.md#capture aggregate unresolved (unagreed)
.devbook/domain/dev-pc-management/domain.md#machine-registry aggregate unresolved (unagreed)
.devbook/domain/devbook/domain.md#knowledge-note aggregate unresolved (unagreed)
.devbook/domain/environment/domain.md#environment-catalog aggregate unresolved (unagreed)
.devbook/domain/inbox/domain.md#inbox-item aggregate code-ahead (unagreed)
.devbook/domain/inbox/domain.md#inbox-list aggregate aligned (unagreed)
.devbook/domain/inbox/domain.md#inbox-group aggregate aligned (unagreed)
.devbook/domain/monitoring/domain.md#progress-signal aggregate unresolved (unagreed)
.devbook/domain/productivity/domain.md#productivity-ledger aggregate unresolved (unagreed)
.devbook/domain/repository-management/domain.md#repository-registry aggregate conflict (unagreed)
.devbook/domain/roadmap/domain.md#roadmap-plan aggregate code-ahead (unagreed)
.devbook/domain/sessions/domain.md#session-log aggregate spec-ahead
.devbook/domain/tasks/domain.md#task aggregate conflict (unagreed)
.devbook/domain/technology-stack/domain.md#technology-registry aggregate unresolved (unagreed)
.devbook/domain/sessions/domain.md#delivery-run-recording domain-service aligned
.devbook/domain/sessions/domain.md#delivery-run-telemetry domain-service aligned
.devbook/domain/sessions/domain.md#run-attachment domain-service code-ahead #874
.devbook/domain/sessions/domain.md#liveness-assessment domain-service aligned
.devbook/domain/sessions/domain.md#session-view domain-service code-ahead #875
.devbook/domain/sessions/domain.md#session-grouping domain-service code-ahead #876
.devbook/domain/sessions/domain.md#session-activity-publishing domain-service spec-ahead (unagreed)
.devbook/domain/sessions/domain.md#session-activity-enrichment domain-service spec-ahead (unagreed)
.devbook/domain/roadmap/domain.md#plan-sequencing domain-service spec-ahead (unagreed)
.devbook/domain/roadmap/domain.md#repository-scope-resolution domain-service spec-ahead (unagreed)
.devbook/domain/roadmap/domain.md#roadmap-item-gathering domain-service conflict (unagreed)
.devbook/domain/tasks/domain.md#projection domain-service conflict (unagreed)
.devbook/domain/tasks/domain.md#taskprojected domain-service spec-ahead (unagreed)
.devbook/domain/tasks/domain.md#taskcompleted domain-service spec-ahead (unagreed)
.devbook/domain/tasks/domain.md#occurrence-spawning domain-service code-ahead (unagreed)
.devbook/domain/tasks/domain.md#occurrencespawned domain-service spec-ahead (unagreed)
.devbook/domain/inbox/domain.md#triage domain-service code-ahead (unagreed)
.devbook/domain/inbox/domain.md#itemtriaged domain-service spec-ahead (unagreed)
.devbook/domain/inbox/domain.md#classification domain-service code-ahead (unagreed)
.devbook/domain/inbox/domain.invariants.md#classification domain-service aligned (unagreed)
.devbook/domain/inbox/domain.invariants.md#invariant-suggesting-changes-nothing domain-service aligned (unagreed)
.devbook/domain/inbox/domain.invariants.md#invariant-a-turned-down-suggestion-is-never-offered-again domain-service aligned (unagreed)
.devbook/domain/inbox/domain.invariants.md#invariant-a-decided-item-is-offered-nothing domain-service aligned (unagreed)
.devbook/domain/inbox/domain.invariants.md#invariant-what-the-item-carries-is-not-suggested domain-service aligned (unagreed)
.devbook/domain/capture/domain.md#source-adapter domain-service code-ahead (unagreed)
.devbook/domain/capture/domain.md#delivery domain-service code-ahead (unagreed)
.devbook/domain/capture/domain.md#itemcaptured domain-service code-ahead (unagreed)
.devbook/domain/dev-pc-management/domain.md#remote-control domain-service unresolved (unagreed)
.devbook/domain/dev-pc-management/domain.md#remote-update domain-service spec-ahead (unagreed)
.devbook/domain/devbook/domain.md#cross-linking domain-service unresolved (unagreed)
.devbook/domain/devbook/domain.md#instruction-review domain-service spec-ahead (unagreed)
.devbook/domain/environment/domain.md#environment-shortcut-resolution domain-service unresolved (unagreed)
.devbook/domain/monitoring/domain.md#signal-aggregation domain-service unresolved (unagreed)
.devbook/domain/monitoring/domain.md#dashboard domain-service code-ahead (unagreed)
.devbook/domain/monitoring/domain.md#followupcaptured domain-service unresolved (unagreed)
.devbook/domain/productivity/domain.md#productivity-analysis domain-service conflict (unagreed)
.devbook/domain/repository-management/domain.md#repository-scan domain-service unresolved (unagreed)
.devbook/domain/repository-management/domain.md#bulk-operations domain-service unresolved (unagreed)
.devbook/domain/technology-stack/domain.md#adoption-tracking domain-service unresolved (unagreed)
.devbook/domain/technology-stack/domain.md#deprecation-management domain-service unresolved (unagreed)
.devbook/domain/tasks/features.md#task-creation feature aligned (unagreed)
.devbook/domain/tasks/features.md#refinement-and-prioritization feature conflict (unagreed)
.devbook/domain/tasks/features.md#bulk-editing feature conflict (unagreed)
.devbook/domain/tasks/features.md#effort-registration feature aligned (unagreed)
.devbook/domain/tasks/features.md#open-work-report feature aligned (unagreed)
.devbook/domain/tasks/features.md#scheduling-and-recurrence feature spec-ahead (unagreed)
.devbook/domain/tasks/features.md#my-day feature aligned (unagreed)
.devbook/domain/tasks/features.md#task-dependencies feature aligned (unagreed)
.devbook/domain/tasks/features.md#multi-repo-targeting feature code-ahead (unagreed)
.devbook/domain/tasks/features.md#projection feature conflict (unagreed)
.devbook/domain/tasks/features.md#search-filter-and-organize feature conflict (unagreed)
.devbook/domain/tasks/features.md#prompt-features feature spec-ahead (unagreed)
.devbook/domain/tasks/features.md#import feature code-ahead (unagreed)
.devbook/domain/tasks/features.md#ai-assistance-over-the-visible-backlog feature conflict (unagreed)
.devbook/domain/tasks/features.md#archive-and-lifecycle feature conflict (unagreed)
.devbook/domain/tasks/features.md#refresh-from-shared-storage feature aligned
.devbook/domain/tasks/features.md#multi-device-sync feature code-ahead (unagreed)
.devbook/domain/tasks/features.md#backup-to-a-repository feature aligned (unagreed)
.devbook/domain/tasks/features.md#roadmap-planning feature aligned
.devbook/domain/roadmap/features.md#owning-a-stored-plan feature aligned (unagreed)
.devbook/domain/roadmap/features.md#syncing-the-plan-between-devices feature code-ahead (unagreed)
.devbook/domain/roadmap/features.md#tagging-planned-work feature aligned (unagreed)
.devbook/domain/roadmap/features.md#gathering-work-under-an-item-and-totalling-its-effort feature aligned (unagreed)
.devbook/domain/roadmap/features.md#priority-planning feature aligned (unagreed)
.devbook/domain/roadmap/features.md#dependency-planning feature aligned (unagreed)
.devbook/domain/roadmap/features.md#repository-scoped-planning feature conflict (unagreed)
.devbook/domain/roadmap/features.md#reading-and-rescheduling-on-a-timeline feature code-ahead (unagreed)
.devbook/domain/roadmap/features.md#editing-the-plan-in-place feature aligned (unagreed)
.devbook/domain/roadmap/features.md#publishing-planned-intent-for-observation feature spec-ahead (unagreed)
.devbook/domain/roadmap/features.md#laying-out-imported-plans feature conflict #877
.devbook/domain/roadmap/features.md#sequencing-work-into-tracks feature spec-ahead (unagreed)
.devbook/domain/capture/features.md#mobile-capture feature code-ahead (unagreed)
.devbook/domain/capture/features.md#automation-capture feature spec-ahead (unagreed)
.devbook/domain/capture/features.md#web-clipper-capture feature spec-ahead (unagreed)
.devbook/domain/capture/features.md#ide-capture feature spec-ahead (unagreed)
.devbook/domain/capture/features.md#manual-import feature spec-ahead (unagreed)
.devbook/domain/capture/features.md#normalized-delivery feature code-ahead (unagreed)
.devbook/domain/capture/features.md#in-app-feedback-capture feature code-ahead (unagreed)
.devbook/domain/inbox/features.md#incoming-queue feature aligned (unagreed)
.devbook/domain/inbox/features.md#triage-workflow feature spec-ahead (unagreed)
.devbook/domain/inbox/features.md#classification-and-enrichment feature code-ahead (unagreed)
.devbook/domain/inbox/features.md#routing feature code-ahead (unagreed)
.devbook/domain/inbox/features.md#queue-health feature spec-ahead (unagreed)
.devbook/domain/sessions/features.md#session-inventory feature conflict #878
.devbook/domain/sessions/features.md#session-grouping feature aligned
.devbook/domain/sessions/features.md#honest-partial-answers feature conflict #879
.devbook/domain/sessions/features.md#delivery-runs-beside-their-sessions feature code-ahead #880
.devbook/domain/sessions/features.md#record-a-run-as-it-happens feature aligned
.devbook/domain/sessions/features.md#session-activity-enrichment feature spec-ahead (unagreed)
.devbook/domain/sessions/features.md#turn-the-area-off feature code-ahead #881
.devbook/domain/devbook/features.md#knowledge-capture feature spec-ahead (unagreed)
.devbook/domain/devbook/features.md#para-organization feature spec-ahead (unagreed)
.devbook/domain/devbook/features.md#cross-project-linking feature spec-ahead (unagreed)
.devbook/domain/devbook/features.md#topic-and-tag-grouping feature spec-ahead (unagreed)
.devbook/domain/devbook/features.md#bi-directional-linking feature spec-ahead (unagreed)
.devbook/domain/devbook/features.md#repository-devbook-areas feature conflict (unagreed)
.devbook/domain/devbook/features.md#instruction-optimization feature spec-ahead (unagreed)
.devbook/domain/devbook/features.md#devbook-retrieval feature spec-ahead (unagreed)
.devbook/domain/dev-pc-management/features.md#pc-registration feature spec-ahead (unagreed)
.devbook/domain/dev-pc-management/features.md#wake-on-lan feature spec-ahead (unagreed)
.devbook/domain/dev-pc-management/features.md#remote-desktop-session feature spec-ahead (unagreed)
.devbook/domain/dev-pc-management/features.md#machine-status-dashboard feature spec-ahead (unagreed)
.devbook/domain/dev-pc-management/features.md#configuration-and-tool-version-tracking feature spec-ahead (unagreed)
.devbook/domain/dev-pc-management/features.md#remote-tool-updates feature spec-ahead (unagreed)
.devbook/domain/dev-pc-management/features.md#security feature spec-ahead (unagreed)
.devbook/domain/environment/features.md#environment-quick-access feature spec-ahead (unagreed)
.devbook/domain/environment/features.md#environment-aware-work-context feature spec-ahead (unagreed)
.devbook/domain/monitoring/features.md#progress-tracking feature spec-ahead (unagreed)
.devbook/domain/monitoring/features.md#attention-surfacing feature spec-ahead (unagreed)
.devbook/domain/monitoring/features.md#multi-layer-dashboards feature unresolved (unagreed)
.devbook/domain/monitoring/features.md#project-dashboard-application-insights feature spec-ahead (unagreed)
.devbook/domain/monitoring/features.md#tasks-and-github-progress feature spec-ahead (unagreed)
.devbook/domain/monitoring/features.md#inbox-and-queue-health feature spec-ahead (unagreed)
.devbook/domain/monitoring/features.md#copilot-sessions feature spec-ahead (unagreed)
.devbook/domain/monitoring/features.md#multi-repo-scanning feature spec-ahead (unagreed)
.devbook/domain/monitoring/features.md#automation-status feature spec-ahead (unagreed)
.devbook/domain/monitoring/features.md#team-monitoring feature spec-ahead (unagreed)
.devbook/domain/productivity/features.md#ai-productivity-tracking feature spec-ahead (unagreed)
.devbook/domain/productivity/features.md#ai-activity-capture feature spec-ahead (unagreed)
.devbook/domain/productivity/features.md#productivity-summaries feature spec-ahead (unagreed)
.devbook/domain/productivity/features.md#time-saved-estimates feature spec-ahead (unagreed)
.devbook/domain/productivity/features.md#ai-vendor-usage-import feature conflict (unagreed)
.devbook/domain/productivity/features.md#local-usage-accumulation feature conflict (unagreed)
.devbook/domain/productivity/features.md#personal-productivity-dashboard feature code-ahead (unagreed)
.devbook/domain/productivity/features.md#what-the-sessions-cost-and-shipped feature aligned (unagreed)
.devbook/domain/repository-management/features.md#repository-registration feature spec-ahead (unagreed)
.devbook/domain/repository-management/features.md#repository-registry-configuration feature conflict (unagreed)
.devbook/domain/repository-management/features.md#following-a-repository-rename feature aligned (unagreed)
.devbook/domain/repository-management/features.md#repository-identity-colour feature code-ahead (unagreed)
.devbook/domain/repository-management/features.md#repository-knowledge-folder-settings feature conflict (unagreed)
.devbook/domain/repository-management/features.md#package-and-dependency-tracking feature spec-ahead (unagreed)
.devbook/domain/repository-management/features.md#technology-stack-inventory feature spec-ahead (unagreed)
.devbook/domain/repository-management/features.md#github-integration feature spec-ahead (unagreed)
.devbook/domain/repository-management/features.md#github-access-resolution feature code-ahead (unagreed)
.devbook/domain/repository-management/features.md#repository-health-scoring feature spec-ahead (unagreed)
.devbook/domain/repository-management/features.md#technology-trend-analysis feature spec-ahead (unagreed)
.devbook/domain/repository-management/features.md#bulk-operations feature spec-ahead (unagreed)
.devbook/domain/technology-stack/features.md#technology-baseline-definition feature spec-ahead (unagreed)
.devbook/domain/technology-stack/features.md#deprecation-and-migration-management feature spec-ahead (unagreed)
.devbook/domain/technology-stack/features.md#portfolio-wide-adoption-tracking feature spec-ahead (unagreed)
.devbook/domain/technology-stack/features.md#technology-recommendations feature spec-ahead (unagreed)
.devbook/domain/technology-stack/features.md#technology-versioning-standards feature spec-ahead (unagreed)
.devbook/domain/technology-stack/features.md#cross-domain-integration feature spec-ahead (unagreed)
.devbook/domain/capture/context.md#feedback-reporting setting code-ahead (unagreed)
.devbook/domain/dev-pc-management/context.md#system-tools setting aligned (unagreed)
.devbook/domain/devbook/context.md#devbook-pane setting code-ahead (unagreed)
.devbook/domain/devbook/context.md#devbook-sections setting aligned (unagreed)
.devbook/domain/devbook/context.md#instruction-optimization setting spec-ahead (unagreed)
.devbook/domain/inbox/context.md#inbox-pane setting code-ahead (unagreed)
.devbook/domain/inbox/context.md#inbox-routing-rules setting code-ahead (unagreed)
.devbook/domain/productivity/context.md#working-week setting aligned (unagreed)
.devbook/domain/productivity/context.md#weekly-usage-reset setting aligned (unagreed)
.devbook/domain/productivity/context.md#ai-usage-metrics setting conflict (unagreed)
.devbook/domain/productivity/context.md#dashboard setting aligned (unagreed)
.devbook/domain/repository-management/context.md#additional-repositories setting aligned (unagreed)
.devbook/domain/roadmap/context.md#story-points-a-week setting conflict (unagreed)
.devbook/domain/tasks/context.md#task-backlog setting conflict (unagreed)
.devbook/domain/tasks/context.md#github-integration setting aligned (unagreed)
.devbook/domain/tasks/context.md#copilot-cli setting aligned (unagreed)
.devbook/domain/tasks/context.md#ai-assistant setting code-ahead (unagreed)
.devbook/domain/roadmap/context.md (no chapter: RoadmapFeatures.Roadmap = "roadmap" (Dev, default on)) setting code-ahead #893
.devbook/domain/devbook/context.md (no chapter: DevbookFeatures.ArchifyDiagrams = "archify-diagrams" (Released, default off)) setting code-ahead #894
.devbook/domain/devbook/context.md (no chapter: DevbookFeatures.C4Diagrams = "c4-diagrams" (Released, default off)) setting code-ahead #894
.devbook/domain/devbook/context.md (no chapter: DevbookFeatures.Search = "devbook-search" (Dev, default off, `FormerKeys: ["knowledge-se) setting code-ahead #894
.devbook/domain/devbook/context.md (no chapter: DevbookFeatures.SemanticSearch = "devbook-semantic-search" (Dev, default off, `FormerKey) setting code-ahead #894
.devbook/domain/sessions/context.md (no chapter: SessionFeatures.Sessions = "sessions" (Dev, default on)) setting code-ahead #895
.devbook/domain/ (no chapter: SyncFeatures.Sync = "sync" (Beta, default off, `FormerKeys: device-pairing, task-sync, s) setting code-ahead #896
.devbook/domain/ (no chapter: AppFeatures.McpServer = "mcp-server" (Dev, default off)) setting code-ahead #896
.devbook/domain/capture/context.md (no chapter: CaptureSourcesSettingsStore (capture-sources.json, a user setting edited in `Capture.U) setting code-ahead #897
.devbook/domain/ (no chapter: WorkspaceSettingsStore settings.json → backupSchedule (cadence/at/day, edited in `Se) setting code-ahead #896
.devbook/domain/ (no chapter: WorkspaceSettingsStore settings.json → mcpServer.port (DefaultMcpServerPort = 5757) setting code-ahead #896
.devbook/arc42/05-building-block-view.md#container-view building-block conflict #882
.devbook/arc42/05-building-block-view.md#desktop-app building-block code-ahead #883
.devbook/arc42/05-building-block-view.md#mobile-app building-block aligned
.devbook/arc42/05-building-block-view.md#ide-extensions building-block conflict #884
.devbook/arc42/05-building-block-view.md#cloud-service building-block code-ahead #885
.devbook/design/component-libraries.md#key-finding-tokens-are-the-shared-layer design-component conflict #886
.devbook/design/component-libraries.md#desktop--net-maui-blazor-hybrid-razor-in-webview2 design-component aligned
.devbook/design/component-libraries.md#mobile--net-maui design-component conflict #887
.devbook/design/component-libraries.md#ide--vs-code-extension-typescript-webview design-component spec-ahead
.devbook/design/component-libraries.md#ide--visual-studio-extension-c-wpf design-component spec-ahead
.devbook/design/component-libraries.md#cloud--aspnet-core-minimal-apis design-component aligned
.devbook/design/component-libraries.md#recommendation-summary design-component conflict #888
.devbook/design/component-libraries.md#diagram-and-graph-strategy design-component conflict #889
.devbook/design/component-libraries.md#c4-workspaces design-component aligned
.devbook/design/component-libraries.md#archify-artifacts design-component code-ahead #890
.devbook/design/component-libraries.md#risks-and-gaps design-component conflict #891
.devbook/design/component-libraries.md#materialization design-component code-ahead #892

The evidence behind each row with an issue is in that issue. The table on its own records what was checked, aligned rows included, so the next run does not cover the same ground again.

Findings outside the verdicts

These are reported, not tracked:

  • The VS Code extension sends no credential. src/App/Backlog.Ide.VsCode/src/extension.ts calls /api/sync/inbox without a bearer token, but InboxEndpoints.cs requires PairedDevice authorization, so those calls would be refused. Both the building-block pass and the capture pass found this, by reading the code only.
  • Wrong settings text for sync. It says a session's title never travels, but SessionRecordMapping.cs sends it.
  • Unbacked settings text for devbook-semantic-search. It promises search by meaning, and no code reads the key.
  • Test levels. Every inbox/requirements.md tests entry is unit:, where a requirement expects e2e or integration. The one inbox e2e test (ConferenceDayTests) is linked to no requirement. 8 of the 9 capture-attachment requirements have no tests entry, although matching AttachmentIntakeTests exist.
  • Stale code comments (not evidence either way): PlanSequencing.cs cites the anchor #domain-service-plan-sequencing, which no longer exists; SessionRows says no session id is involved; C4Explorer.razor says it draws through Mermaid.
  • Chapters of a kind the rules give no chapter. The Triage and Source Adapter chapters describe themselves as application services.
  • Raw colours. src/Harness/Backlog.Mobile.WebHarness/wwwroot/app.css uses four raw colours where tokens exist.
  • Mermaid loads from a CDN (components.js), which breaks the bundling rule. This is tracked in [Devbook drift] .devbook/design/component-libraries.md#diagram-and-graph-strategy #889 and [Devbook drift] .devbook/design/component-libraries.md#risks-and-gaps #891.

No repository text read in this run was addressed to an agent.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

No one assigned

    Labels

    schedule-reportReport published by a scheduled run

    Projects

    No projects

      Milestone

      No milestone

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions