What is written, what is preserved, and why a page regenerates.
Generated vault and incremental updates
Vault layout
<vault>/
├── .docagent/
├── 00-Home.md
├── User Manual/
├── Reference Manual/
│ └── _Removed/
└── Glossary.md
Tracked .docagent data includes project configuration, synchronization state, dependency and symbol indexes, and evidence manifests. Runtime checkpoints, locks, reports, and staging directories live outside the vault.
Stable symbol identity
Symbols are keyed by file path, kind, name, and declaration line. symbol_index.json allocates note paths once and adds a stable suffix when names collide. A rename carries identity forward only when evidence makes the match unambiguous.
Semantic invalidation
- Build and run-command changes affect Getting Started and Build & Regression.
- Verified connectivity affects Architecture and Testbench Components.
- Configuration and plusarg changes affect Configuration and sometimes Build & Regression.
- Test or sequence changes affect Testcases and Use Cases.
- Order-only model churn is normalized so it does not rewrite prose.
Removal requires confirmation
The first confirmed absence marks a symbol deprecated. A later successful sync where it remains absent archives the note under _Removed or deletes it according to policy. Failed extraction never counts as removal.