# Write Scope

> A formal definition of the set of paths a run declares it may write, compared by declaration before the run begins to decide whether two runs collide.

Record: `lexicon:write-scope`
Kind: artifact
Layer: [Execution Core](https://banes-lab.com/records/layer/execution-core.md)
Canonical: https://banes-lab.com/ontology/lexicon#lexicon-write-scope

Listed in [Lexicon terms](https://banes-lab.com/api/records/lexicon.md), after [Removal Authority](https://banes-lab.com/records/lexicon/removal-authority.md) and before [Read Population](https://banes-lab.com/records/lexicon/read-population.md).

## Category

- [Coordination Surfaces](https://banes-lab.com/records/lexicon-category/coordination-surfaces.md)

## Required by

- [Write Scope and Read Population](https://banes-lab.com/records/architecture/write-scope-and-read-population.md)
- [Reversible Channel Encoding](https://banes-lab.com/records/architecture/reversible-channel-encoding.md)
- [Declare-Before-Read Order](https://banes-lab.com/records/architecture/declare-before-read-order.md)

## Linked from

- [Coordination Surfaces](https://banes-lab.com/ontology/principles/architecture-category-coordination-surfaces.md)

## Evidence in the code

- [models/invocation.model.md](https://banes-lab.com/source/coordination/models/invocation.model.md.md)