How diesvae/agent-context works
This repository is a directing-context system for coding agents. The principal workflow is: an agent states a task, the context compiler validates the map, selects relevant decisions and code references, and emits an explainable manifest; documentation linting and guard proofs keep that corpus trustworthy. A separate open-register tool manages unsettled questions through creation, verification, and archival. The Notes app is a worked runtime example, not the product itself. Some script and map internals were sampled only partially, so uncertain call relationships are omitted.
Components 17
Context Corpus
- Direction Corpus
_direction - State Fiches
_direction/app_notes - Journal Records
_direction/journal - Memory Records
_direction/memoire - Open Fiches
_direction/app_notes/open - System Map
_direction/cartes/system-map.yaml - Map Schema
_direction/cartes/schema.yaml - Open Register
_direction/cartes/open.yaml
Runtime Tools
- Context Compiler
scripts/context-compile.py - Documentation Linter
scripts/doc-lint.sh - Guard Prover
scripts/prove-guards.sh - Open Register Tool
scripts/open_register.py
Worked Example
- Notes Source
app_notes/src - Markdown Note Store
app_notes/src/platform.py - Note Catalog
app_notes/src/catalog.py - Markdown Notes
app_notes/_technique/archive/SYS_flat-index.md
Other components
- Coding Agent
Connections 15
- Coding Agent → Context Compiler: runs task
- Context Compiler → System Map: reads map
- Context Compiler → Map Schema: validates against
- Context Compiler → Direction Corpus: selects context
- Context Compiler → Coding Agent: emits manifest
- Coding Agent → Documentation Linter: runs checks
- Documentation Linter → Direction Corpus: validates corpus
- Coding Agent → Guard Prover: runs proofs
- Guard Prover → Documentation Linter: invokes checks
- Coding Agent → Open Register Tool: manages questions
- Open Register Tool → Open Register: reads and writes
- Open Register Tool → Open Fiches: creates archives
- Note Catalog → Markdown Note Store: calls store
- Markdown Note Store → Markdown Notes: indexes and reads
- Coding Agent → Note Catalog: browses notes