Expand description
Agent-authored assertion maps. Edges are explanations, never inferred proofs. This module owns format validation, text relocation and input acknowledgement bookkeeping.
Structs§
- Anchor
- One-based lines and UTF-8 byte columns, for every language. Text is exact.
- Assertion
- Assertion
Map - Change
- Change
Assessment - Edge
- File
Fingerprint - Flow
- Flow
State - Inheritance
- Input
Manifest - The run stores identities and hashes, never complete source files.
- Inputs
- Source text held in memory for capture or a verified current-checkout query. The serialized form is retained only for reading legacy source archives.
- Inventory
Site - Node
- Parse
Error - Retired
- Skipped
Map - State
- Test
Selector
Functions§
- add_
change - advisories
- Things worth telling the author that do not make the map wrong.
- carry
- Carries explanations, never execution events. Uncertain matches are retained as retired suggestions; no nearest-line heuristic assigns semantic meaning.
- change_
current - change_
errors - dependencies
- Whole-file input dependencies, not a mechanically inferred semantic slice.
- digest
- expected_
basis - expected_
change_ basis - flow_
key - invalidate
- local_
path - parse
- parse_
state - parse_
stored - reasons
- reasons_
for_ manifest - relocate
- schema
- Editor schema generated from the same Rust types used by every map command. Source existence, links, freshness and semantic meaning are outside JSON Schema.
- seed
- seed_
manifest - validate
- Structural checks only; malformed entries cannot silently earn credit.
- validate_
flow - validation
- Read-only validation. Tokens acknowledge authored claims, never prove them.