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
- Execution
- Executions
- What each test of a run executed, in the units of that run’s manifest.
- 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 - Ledger
- What every token of one run shares, computed once: the manifest’s digest, and each change whose assessment is current with the flows it names.
- Node
- Parse
Error - Retired
- Skipped
Map - State
- Test
Selector
Enums§
- File
Change - How one captured file moved between two runs, judged once and read for every flow.
Constants§
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 - An assessment is the author’s judgement, so it is validated against the map it names flows in – not against the change. The change no longer determines any part of a well-formed response.
- dependencies
- Whole-file input dependencies, not a mechanically inferred semantic slice.
- describe
- Every unit that moved, by name: what changed, what arrived, what went.
- digest
- expected_
basis - expected_
basis_ with - The token with the run-wide facts already in hand; what every caller with more than one flow to judge should use.
- expected_
change_ basis - file_
change - flow_
key - invalidate
- local_
path - parse
- parse_
state - parse_
stored - reasons
- reasons_
for_ manifest - reasons_
with - 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 - superseded_
basis - A token from a release whose basis pinned files rather than the code a claim rests on. It still parses, so the map stays valid; it can no longer match, so the claim reads as needing acknowledgement, with this as its reason rather than a change that never happened.
- validate
- Structural checks only; malformed entries cannot silently earn credit.
- validate_
flow - validation
- Read-only validation. Tokens acknowledge authored claims, never prove them.