Module assertion_map 

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

AssertionMap

Change

ChangeAssessment

Edge

Execution

Executions

What each test of a run executed, in the units of that run’s manifest.

FileFingerprint

Flow

FlowState

Inheritance

InputManifest

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.

InventorySite

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.

LineIndex

Line starts for every file of a source set, computed once.

Node

ParseError

Retired

SkippedMap

State

TestSelector

Enums

FileChange

How one captured file moved between two runs, judged once and read for every flow.

Constants

SUPERSEDED_BASIS

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

line_starts

The byte offset at which each line of source starts: 0, then one past every line feed.

line_text

The text of 1-based line, exactly as str::lines would yield it: without its line ending, with a carriage return stripped only where a line feed follows it, and with no empty line after a final line feed.

local_path

locate

Where an anchor with these parts starts in source, without building one. Counting the statements that cannot be located needs only this answer, and building an anchor clones the source text of the node around the statement – once per statement, which is the allocation a summary exists to avoid.

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.

Type Aliases

FileManifest

Files