# Lexicon terms whose enforcedBy is the coordination member's surface, record and declaration rules

> 28 records

This index as JSON: https://banes-lab.com/json/api/facets/lexicon/enforcedBy/the-coordination-member-s-surface-record-and-declaration-rules

## Entries

- [Coordination Surface](https://banes-lab.com/records/lexicon/coordination-surface.md): A formal definition of a file that parties read and write to coordinate work, carrying a declared key and scope in its header and records each owned by one writer.
- [Coordination Record](https://banes-lab.com/records/lexicon/coordination-record.md): A formal definition of one addressable claim inside a coordination surface, carrying its schema fields, its edges, an allocated id, a declared subject and the one writer it names.
- [Outcome Surface](https://banes-lab.com/records/lexicon/outcome-surface.md): A formal definition of a surface that carries one product authored jointly, such as a contract or a class statement, with no per-party unit an ownership fence could range over.
- [Participant](https://banes-lab.com/records/lexicon/participant.md): A formal definition of a reader that owns surfaces and an inbox, receives both, and waits between turns instead of ending.
- [Bounded Reader](https://banes-lab.com/records/lexicon/bounded-reader.md): A formal definition of a reader handed a task and whatever its host injects, never a coordination surface, which ends by returning its result.
- [Host Projection](https://banes-lab.com/records/lexicon/host-projection.md): Descriptive data about the coordination graph that a host injects into every bounded reader's context, the only channel through which such a reader learns anything about the surfaces.
- [Venue](https://banes-lab.com/records/lexicon/venue.md): A formal definition of a surface opened for one discussion, which declares its own exit condition and moves to the archive once the outcome it produced has landed.
- [Accumulator](https://banes-lab.com/records/lexicon/accumulator.md): A formal definition of a surface that receives what a record extracts before the record is deleted, so a deletion loses nothing a later reader needs.
- [Retention](https://banes-lab.com/records/lexicon/retention.md): A formal definition of the lifetime axis that states what ends a piece of content, whether nothing, a newer version of itself, the completion of what it asked for, or its producer regenerating the whole surface.
- [Mutability](https://banes-lab.com/records/lexicon/mutability.md): A formal definition of the lifetime axis that states whether a landed statement may be rewritten, and by whom, its own writer or nobody.
- [Removal Authority](https://banes-lab.com/records/lexicon/removal-authority.md): A formal definition of the lifetime axis that states who may take content out, whether nobody at any point, its writer, the party that discharged it, or the mechanism that regenerates it.
- [Write Scope](https://banes-lab.com/records/lexicon/write-scope.md): 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.
- [Read Population](https://banes-lab.com/records/lexicon/read-population.md): A formal definition of the set a run read and publishes with its result, which a later caller tests to decide whether that result answers its own question.
- [Joiner](https://banes-lab.com/records/lexicon/joiner.md): A formal definition of a caller that reads a live run's published result and its standing instead of starting a run of its own, with an empty write set.
- [Liveness Witness](https://banes-lab.com/records/lexicon/liveness-witness.md): A facility that answers whether a process is still running by checking that the process is present, so its absence proves death while its presence proves nothing.
- [Distinguished Copy](https://banes-lab.com/records/lexicon/distinguished-copy.md): A formal definition of the one copy of a fact that every other copy derives from, or the one copy a mechanism resolves, which gives a set of copies its direction.
- [Derivation Period](https://banes-lab.com/records/lexicon/derivation-period.md): A formal definition of how often a derivation edge runs, on every read, between stores or once at creation, which decides whether a copy is stale or is a record.
- [Carrier Field](https://banes-lab.com/records/lexicon/carrier-field.md): A formal definition of a field whose consumers are mechanisms and whose value is drawn from a closed set or is an identifier.
- [Payload Field](https://banes-lab.com/records/lexicon/payload-field.md): A formal definition of a field whose only consumer is a reader and which no parser reaches without a heuristic.
- [Concern Partition](https://banes-lab.com/records/lexicon/concern-partition.md): A formal definition of how a body of work divides into concerns, derived from a coupling relation that joins two surfaces when a change to one forces a change to the other.
- [Fan-In](https://banes-lab.com/records/lexicon/fan-in.md): A measure of how many parties' claims rest on one surface, read from who authored each claim, whom it addressed and which surfaces it cites.
- [Acknowledger](https://banes-lab.com/records/lexicon/acknowledger.md): A formal definition of the party a record names to close it when its satisfaction is a judgement, required where no artifact resolves the record and forbidden where one does.
- [Stall Bound](https://banes-lab.com/records/lexicon/stall-bound.md): A rule or precondition that a record satisfied by judgement and left unacknowledged past a declared number of rounds is a finding, a bound on its lifetime rather than its size.
- [Deferred Setting](https://banes-lab.com/records/lexicon/deferred-setting.md): A formal definition of a host setting declared as given later, which blocks every check that depends on it until it is given, while an absent setting turns those checks off.
- [Traceable Guarantee](https://banes-lab.com/records/lexicon/traceable-guarantee.md): The ability to trace every guarantee a topology offers back to a stated property and the mechanism that would object if it stopped holding.
- [Rederivation Detection](https://banes-lab.com/records/lexicon/rederivation-detection.md): The ability to catch a record written a second time about a subject another record already holds.
- [Governed Removal](https://banes-lab.com/records/lexicon/governed-removal.md): The ability to remove content only where its declared lifetime names the party or mechanism allowed to remove it.
- [Shared Invocation](https://banes-lab.com/records/lexicon/shared-invocation.md): The ability for several callers to share one run of a measurement, each either joining a live run that covers its question or starting one that no live run covers.