imbrem

Catalogue of every covalence-* crate — what each one wraps/provides and which layer it lives in. Consult when deciding which crate to use, where new code belongs, or how the workspace is structured.

Performance of the Metamath → HOL import (covalence-metamath + covalence-hol metalogic) — pipeline, hotspots, the bench, and the history of super-linearity fixes

How to profile and optimize covalence — flamegraphs, callgrind/cachegrind, and the scaling-first methodology for finding super-linear work

VSCode extension architecture and LSP server details

Covalence repo layout, dependency graph, and key architectural rules

Performance of the Metamath → HOL import (covalence-metamath + covalence-hol metalogic) — pipeline, hotspots, the bench, and the history of super-linearity fixes

How to profile and optimize covalence — flamegraphs, callgrind/cachegrind, and the scaling-first methodology for finding super-linear work

VSCode extension architecture and LSP server details

Create a new task in the pool via CLI. Use when the user wants to add a task, create a subtask, or populate the task pool.

Edit, update, complete, or cancel tasks in the pool. Use when the user wants to modify task fields, mark tasks done, or manage task lifecycle.

Reference for subcontext pool and task data model. Use when you need to understand how pools, tasks, TASK.md frontmatter, and index.db work.