Expand description
Deterministic target resolution (spec §12).
A model never sees a record identifier: it chooses among opaque TargetTokens
this module issued for the cases the actor may address, and understanding hands
back the token, a new case, a record an earlier act of the turn creates, the card on
screen, or several candidates. Several is a selection card, never a guess: nothing
here reads a timestamp, a list position or a confidence (I8).
| Understood target | How it resolves |
|---|---|
Record | through the TargetTokenMap: unknown is Unauthorized, vanished Missing, moved Stale |
New | only when the operation’s TargetPolicy permits it, minted by a CaseIdFactory |
SameTurn | the case the earlier act mints, compiled against no state |
Card | the case of the card on screen |
Ambiguous | a selection among the candidates |
| an origin (§12.4) | TargetResolver::resolve_origin: exactly the record the surface named |
Structs§
- Authorized
Case - One case the actor may address this turn, with its server-authored label.
- Derived
Case IdFactory - Derives the identifier from the turn, the workflow and the act.
- Target
Resolver - Resolves the targets of one turn against the cases the actor may address.
- Target
Resolver Builder - Builds a
TargetResolverfor one turn.
Enums§
- Target
Outcome - What resolving one act’s target produced.
Traits§
- Case
IdFactory - Mints the identifier of a case that does not exist yet.