# Coordination Surfaces > Every term in this category is listed as one record, with its kind, its definition and its aliases, the principles whose relations name it, the principle or… Page: Ontology · Lexicon Canonical: https://banes-lab.com/ontology/lexicon#lexicon-category-coordination-surfaces Listed in [Ontology · Lexicon](https://banes-lab.com/api/pages/ontology/lexicon.md), after [Control / Coordination / Centralization](https://banes-lab.com/ontology/lexicon/lexicon-category-control-coordination-centralization.md) and before [Core Modular Design](https://banes-lab.com/ontology/lexicon/lexicon-category-core-modular-design.md). Every term in this category is listed as one record, with its kind, its definition and its aliases, the principles whose relations name it, the principle or contract that carries the same name where one exists, and the layer its category belongs to. A tag category also gives each term an example, which is the file the tag places or the rename from a refused word onto a covering tag. ### Accumulator - Kind: [artifact](https://banes-lab.com/records/kind/artifact.md) - Category: [Coordination Surfaces](https://banes-lab.com/ontology/lexicon/lexicon-category-coordination-surfaces.md) - Layer: [Execution Core](https://banes-lab.com/records/layer/execution-core.md) Details Definition 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. How it is checked Checked by the coordination member's surface, record and declaration rules Population The term's definition and every architecture edge that names the term Freshness A verdict stands until the definition, the term's kind or an edge that names it changes Refusal The resolution gate fails an edge that resolves to no term, and a definition that opens as another kind Observation The resolution validator's pass over every edge target and every definition opening Evidence Watched to fire and to accept: a suite plants a term no edge names, a dangling dependency and a second check home, and the bundled terms pass Authoritative side The term record, which every edge that names the term cites Depends on Not answered Shape it refuses Not answered ### Acknowledger - Kind: [artifact](https://banes-lab.com/records/kind/artifact.md) - Category: [Coordination Surfaces](https://banes-lab.com/ontology/lexicon/lexicon-category-coordination-surfaces.md) - Layer: [Execution Core](https://banes-lab.com/records/layer/execution-core.md) Details Definition 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. Referenced by [Derived Record State](https://banes-lab.com/records/architecture/derived-record-state.md) How it is checked Checked by the coordination member's surface, record and declaration rules, [Derived Record State](https://banes-lab.com/records/architecture/derived-record-state.md) Population The term's definition and every architecture edge that names the term Freshness A verdict stands until the definition, the term's kind or an edge that names it changes Refusal The resolution gate fails an edge that resolves to no term, and a definition that opens as another kind Observation The resolution validator's pass over every edge target and every definition opening Evidence Watched to fire and to accept: a suite plants a term no edge names, a dangling dependency and a second check home, and the bundled terms pass Authoritative side The term record, which every edge that names the term cites Depends on Not answered Shape it refuses Not answered ### Bounded Reader - Kind: [artifact](https://banes-lab.com/records/kind/artifact.md) - Category: [Coordination Surfaces](https://banes-lab.com/ontology/lexicon/lexicon-category-coordination-surfaces.md) - Layer: [Execution Core](https://banes-lab.com/records/layer/execution-core.md) Details Definition A formal definition of a reader handed a task and whatever its host injects, never a coordination surface, which ends by returning its result. Referenced by [Projection Channel](https://banes-lab.com/records/architecture/projection-channel.md) Distinct from [Host Projection](https://banes-lab.com/records/lexicon/host-projection.md): A bounded reader is the party spawned for a task, while the host projection is the one line of context it receives about the surfaces. How it is checked Checked by the coordination member's surface, record and declaration rules, [Projection Channel](https://banes-lab.com/records/architecture/projection-channel.md) Population The term's definition and every architecture edge that names the term Freshness A verdict stands until the definition, the term's kind or an edge that names it changes Refusal The resolution gate fails an edge that resolves to no term, and a definition that opens as another kind Observation The resolution validator's pass over every edge target and every definition opening Evidence Watched to fire and to accept: a suite plants a term no edge names, a dangling dependency and a second check home, and the bundled terms pass Authoritative side The term record, which every edge that names the term cites Depends on Not answered Shape it refuses Not answered ### Carrier Field - Kind: [artifact](https://banes-lab.com/records/kind/artifact.md) - Category: [Coordination Surfaces](https://banes-lab.com/ontology/lexicon/lexicon-category-coordination-surfaces.md) - Layer: [Execution Core](https://banes-lab.com/records/layer/execution-core.md) Details Definition A formal definition of a field whose consumers are mechanisms and whose value is drawn from a closed set or is an identifier. Referenced by [Carrier and Payload Split](https://banes-lab.com/records/architecture/carrier-and-payload-split.md), [Joinable Mandated Field](https://banes-lab.com/records/architecture/joinable-mandated-field.md) Distinct from [Payload Field](https://banes-lab.com/records/lexicon/payload-field.md): A carrier field is read by mechanisms, while a payload field is read only by a reader. How it is checked Checked by the coordination member's surface, record and declaration rules, [Carrier and Payload Split](https://banes-lab.com/records/architecture/carrier-and-payload-split.md), [Joinable Mandated Field](https://banes-lab.com/records/architecture/joinable-mandated-field.md) Population The term's definition and every architecture edge that names the term Freshness A verdict stands until the definition, the term's kind or an edge that names it changes Refusal The resolution gate fails an edge that resolves to no term, and a definition that opens as another kind Observation The resolution validator's pass over every edge target and every definition opening Evidence Watched to fire and to accept: a suite plants a term no edge names, a dangling dependency and a second check home, and the bundled terms pass Authoritative side The term record, which every edge that names the term cites Depends on Not answered Shape it refuses Not answered ### Concern Partition - Kind: [artifact](https://banes-lab.com/records/kind/artifact.md) - Category: [Coordination Surfaces](https://banes-lab.com/ontology/lexicon/lexicon-category-coordination-surfaces.md) - Layer: [Execution Core](https://banes-lab.com/records/layer/execution-core.md) Details Definition 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. Referenced by [Derived Party Count](https://banes-lab.com/records/architecture/derived-party-count.md) How it is checked Checked by the coordination member's surface, record and declaration rules, [Derived Party Count](https://banes-lab.com/records/architecture/derived-party-count.md) Population The term's definition and every architecture edge that names the term Freshness A verdict stands until the definition, the term's kind or an edge that names it changes Refusal The resolution gate fails an edge that resolves to no term, and a definition that opens as another kind Observation The resolution validator's pass over every edge target and every definition opening Evidence Watched to fire and to accept: a suite plants a term no edge names, a dangling dependency and a second check home, and the bundled terms pass Authoritative side The term record, which every edge that names the term cites Depends on Not answered Shape it refuses Not answered ### Coordination Record - Kind: [artifact](https://banes-lab.com/records/kind/artifact.md) - Category: [Coordination Surfaces](https://banes-lab.com/ontology/lexicon/lexicon-category-coordination-surfaces.md) - Layer: [Execution Core](https://banes-lab.com/records/layer/execution-core.md) Details Definition 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. Referenced by [Derived Record State](https://banes-lab.com/records/architecture/derived-record-state.md), [Declared Subject](https://banes-lab.com/records/architecture/declared-subject.md) Distinct from [Acknowledger](https://banes-lab.com/records/lexicon/acknowledger.md): A coordination record is the claim itself, while the acknowledger is the party a record names to close it. How it is checked Checked by the coordination member's surface, record and declaration rules, [Derived Record State](https://banes-lab.com/records/architecture/derived-record-state.md), [Declared Subject](https://banes-lab.com/records/architecture/declared-subject.md) Population The term's definition and every architecture edge that names the term Freshness A verdict stands until the definition, the term's kind or an edge that names it changes Refusal The resolution gate fails an edge that resolves to no term, and a definition that opens as another kind Observation The resolution validator's pass over every edge target and every definition opening Evidence Watched to fire and to accept: a suite plants a term no edge names, a dangling dependency and a second check home, and the bundled terms pass Authoritative side The term record, which every edge that names the term cites Depends on Not answered Shape it refuses Not answered ### Coordination Surface - Kind: [artifact](https://banes-lab.com/records/kind/artifact.md) - Category: [Coordination Surfaces](https://banes-lab.com/ontology/lexicon/lexicon-category-coordination-surfaces.md) - Layer: [Execution Core](https://banes-lab.com/records/layer/execution-core.md) Details Definition 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. Referenced by [Stated Invariant](https://banes-lab.com/records/architecture/stated-invariant.md), [Write Barrier](https://banes-lab.com/records/architecture/write-barrier.md), [Two-Direction Index](https://banes-lab.com/records/architecture/two-direction-index.md), [State-Arity Limit](https://banes-lab.com/records/architecture/state-arity-limit.md) How it is checked Checked by the coordination member's surface, record and declaration rules, [Stated Invariant](https://banes-lab.com/records/architecture/stated-invariant.md), [Write Barrier](https://banes-lab.com/records/architecture/write-barrier.md), [Two-Direction Index](https://banes-lab.com/records/architecture/two-direction-index.md), [State-Arity Limit](https://banes-lab.com/records/architecture/state-arity-limit.md) Population The term's definition and every architecture edge that names the term Freshness A verdict stands until the definition, the term's kind or an edge that names it changes Refusal The resolution gate fails an edge that resolves to no term, and a definition that opens as another kind Observation The resolution validator's pass over every edge target and every definition opening Evidence Watched to fire and to accept: a suite plants a term no edge names, a dangling dependency and a second check home, and the bundled terms pass Authoritative side The term record, which every edge that names the term cites Depends on Not answered Shape it refuses Not answered ### Deferred Setting - Kind: [artifact](https://banes-lab.com/records/kind/artifact.md) - Category: [Coordination Surfaces](https://banes-lab.com/ontology/lexicon/lexicon-category-coordination-surfaces.md) - Layer: [Execution Core](https://banes-lab.com/records/layer/execution-core.md) Details Definition 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. How it is checked Checked by the coordination member's surface, record and declaration rules Population The term's definition and every architecture edge that names the term Freshness A verdict stands until the definition, the term's kind or an edge that names it changes Refusal The resolution gate fails an edge that resolves to no term, and a definition that opens as another kind Observation The resolution validator's pass over every edge target and every definition opening Evidence Watched to fire and to accept: a suite plants a term no edge names, a dangling dependency and a second check home, and the bundled terms pass Authoritative side The term record, which every edge that names the term cites Depends on Not answered Shape it refuses Not answered ### Derivation Period - Kind: [artifact](https://banes-lab.com/records/kind/artifact.md) - Category: [Coordination Surfaces](https://banes-lab.com/ontology/lexicon/lexicon-category-coordination-surfaces.md) - Layer: [Execution Core](https://banes-lab.com/records/layer/execution-core.md) Details Definition 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. Referenced by [Period-Decided Disposition](https://banes-lab.com/records/architecture/period-decided-disposition.md) How it is checked Checked by the coordination member's surface, record and declaration rules, [Period-Decided Disposition](https://banes-lab.com/records/architecture/period-decided-disposition.md) Population The term's definition and every architecture edge that names the term Freshness A verdict stands until the definition, the term's kind or an edge that names it changes Refusal The resolution gate fails an edge that resolves to no term, and a definition that opens as another kind Observation The resolution validator's pass over every edge target and every definition opening Evidence Watched to fire and to accept: a suite plants a term no edge names, a dangling dependency and a second check home, and the bundled terms pass Authoritative side The term record, which every edge that names the term cites Depends on Not answered Shape it refuses Not answered ### Distinguished Copy - Kind: [artifact](https://banes-lab.com/records/kind/artifact.md) - Category: [Coordination Surfaces](https://banes-lab.com/ontology/lexicon/lexicon-category-coordination-surfaces.md) - Layer: [Execution Core](https://banes-lab.com/records/layer/execution-core.md) Details Definition 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. Referenced by [Period-Decided Disposition](https://banes-lab.com/records/architecture/period-decided-disposition.md) Distinct from [Derivation Period](https://banes-lab.com/records/lexicon/derivation-period.md): A distinguished copy gives a set of copies its direction, while the derivation period decides what the other copies are. How it is checked Checked by the coordination member's surface, record and declaration rules, [Period-Decided Disposition](https://banes-lab.com/records/architecture/period-decided-disposition.md) Population The term's definition and every architecture edge that names the term Freshness A verdict stands until the definition, the term's kind or an edge that names it changes Refusal The resolution gate fails an edge that resolves to no term, and a definition that opens as another kind Observation The resolution validator's pass over every edge target and every definition opening Evidence Watched to fire and to accept: a suite plants a term no edge names, a dangling dependency and a second check home, and the bundled terms pass Authoritative side The term record, which every edge that names the term cites Depends on Not answered Shape it refuses Not answered ### Fan-In - Kind: [metric](https://banes-lab.com/records/kind/metric.md) - Category: [Coordination Surfaces](https://banes-lab.com/ontology/lexicon/lexicon-category-coordination-surfaces.md) - Layer: [Execution Core](https://banes-lab.com/records/layer/execution-core.md) Details Definition 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. Referenced by [Fan-In Ceiling](https://banes-lab.com/records/architecture/fan-in-ceiling.md) How it is checked Checked by the coordination member's surface, record and declaration rules, [Fan-In Ceiling](https://banes-lab.com/records/architecture/fan-in-ceiling.md) Population The term's definition and every architecture edge that names the term Freshness A verdict stands until the definition, the term's kind or an edge that names it changes Refusal The resolution gate fails an edge that resolves to no term, and a definition that opens as another kind Observation The resolution validator's pass over every edge target and every definition opening Evidence Watched to fire and to accept: a suite plants a term no edge names, a dangling dependency and a second check home, and the bundled terms pass Authoritative side The term record, which every edge that names the term cites Depends on Not answered Shape it refuses Not answered ### Governed Removal - Kind: [capability](https://banes-lab.com/records/kind/capability.md) - Category: [Coordination Surfaces](https://banes-lab.com/ontology/lexicon/lexicon-category-coordination-surfaces.md) - Layer: [Execution Core](https://banes-lab.com/records/layer/execution-core.md) Details Definition The ability to remove content only where its declared lifetime names the party or mechanism allowed to remove it. Referenced by [Independent Lifetime Axes](https://banes-lab.com/records/architecture/independent-lifetime-axes.md), [Section Lifetime Divergence](https://banes-lab.com/records/architecture/section-lifetime-divergence.md), [Reversible Channel Encoding](https://banes-lab.com/records/architecture/reversible-channel-encoding.md) How it is checked Checked by the coordination member's surface, record and declaration rules, [Independent Lifetime Axes](https://banes-lab.com/records/architecture/independent-lifetime-axes.md), [Section Lifetime Divergence](https://banes-lab.com/records/architecture/section-lifetime-divergence.md), [Reversible Channel Encoding](https://banes-lab.com/records/architecture/reversible-channel-encoding.md) Population The term's definition and every architecture edge that names the term Freshness A verdict stands until the definition, the term's kind or an edge that names it changes Refusal The resolution gate fails an edge that resolves to no term, and a definition that opens as another kind Observation The resolution validator's pass over every edge target and every definition opening Evidence Watched to fire and to accept: a suite plants a term no edge names, a dangling dependency and a second check home, and the bundled terms pass Authoritative side The term record, which every edge that names the term cites Depends on Not answered Shape it refuses Not answered ### Host Projection - Kind: [artifact](https://banes-lab.com/records/kind/artifact.md) - Category: [Coordination Surfaces](https://banes-lab.com/ontology/lexicon/lexicon-category-coordination-surfaces.md) - Layer: [Execution Core](https://banes-lab.com/records/layer/execution-core.md) Details Definition 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. Referenced by [Projection Channel](https://banes-lab.com/records/architecture/projection-channel.md) How it is checked Checked by the coordination member's surface, record and declaration rules, [Projection Channel](https://banes-lab.com/records/architecture/projection-channel.md) Population The term's definition and every architecture edge that names the term Freshness A verdict stands until the definition, the term's kind or an edge that names it changes Refusal The resolution gate fails an edge that resolves to no term, and a definition that opens as another kind Observation The resolution validator's pass over every edge target and every definition opening Evidence Watched to fire and to accept: a suite plants a term no edge names, a dangling dependency and a second check home, and the bundled terms pass Authoritative side The term record, which every edge that names the term cites Depends on Not answered Shape it refuses Not answered ### Joiner - Kind: [artifact](https://banes-lab.com/records/kind/artifact.md) - Category: [Coordination Surfaces](https://banes-lab.com/ontology/lexicon/lexicon-category-coordination-surfaces.md) - Layer: [Execution Core](https://banes-lab.com/records/layer/execution-core.md) Details Definition 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. Referenced by [Read-Time Join](https://banes-lab.com/records/architecture/read-time-join.md) How it is checked Checked by the coordination member's surface, record and declaration rules, [Read-Time Join](https://banes-lab.com/records/architecture/read-time-join.md) Population The term's definition and every architecture edge that names the term Freshness A verdict stands until the definition, the term's kind or an edge that names it changes Refusal The resolution gate fails an edge that resolves to no term, and a definition that opens as another kind Observation The resolution validator's pass over every edge target and every definition opening Evidence Watched to fire and to accept: a suite plants a term no edge names, a dangling dependency and a second check home, and the bundled terms pass Authoritative side The term record, which every edge that names the term cites Depends on Not answered Shape it refuses Not answered ### Liveness Witness - Kind: [mechanism](https://banes-lab.com/records/kind/mechanism.md) - Category: [Coordination Surfaces](https://banes-lab.com/ontology/lexicon/lexicon-category-coordination-surfaces.md) - Layer: [Execution Core](https://banes-lab.com/records/layer/execution-core.md) Details Definition 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. Referenced by [One-Sided Liveness](https://banes-lab.com/records/architecture/one-sided-liveness.md) How it is checked Checked by the coordination member's surface, record and declaration rules, [One-Sided Liveness](https://banes-lab.com/records/architecture/one-sided-liveness.md) Population The term's definition and every architecture edge that names the term Freshness A verdict stands until the definition, the term's kind or an edge that names it changes Refusal The resolution gate fails an edge that resolves to no term, and a definition that opens as another kind Observation The resolution validator's pass over every edge target and every definition opening Evidence Watched to fire and to accept: a suite plants a term no edge names, a dangling dependency and a second check home, and the bundled terms pass Authoritative side The term record, which every edge that names the term cites Depends on Not answered Shape it refuses Not answered ### Mutability - Kind: [artifact](https://banes-lab.com/records/kind/artifact.md) - Category: [Coordination Surfaces](https://banes-lab.com/ontology/lexicon/lexicon-category-coordination-surfaces.md) - Layer: [Execution Core](https://banes-lab.com/records/layer/execution-core.md) Details Definition A formal definition of the lifetime axis that states whether a landed statement may be rewritten, and by whom, its own writer or nobody. Referenced by [Independent Lifetime Axes](https://banes-lab.com/records/architecture/independent-lifetime-axes.md), [Section Lifetime Divergence](https://banes-lab.com/records/architecture/section-lifetime-divergence.md) Distinct from [Removal Authority](https://banes-lab.com/records/lexicon/removal-authority.md): Mutability states whether landed content may be rewritten, while removal authority states who may take it out. How it is checked Checked by the coordination member's surface, record and declaration rules, [Independent Lifetime Axes](https://banes-lab.com/records/architecture/independent-lifetime-axes.md), [Section Lifetime Divergence](https://banes-lab.com/records/architecture/section-lifetime-divergence.md) Population The term's definition and every architecture edge that names the term Freshness A verdict stands until the definition, the term's kind or an edge that names it changes Refusal The resolution gate fails an edge that resolves to no term, and a definition that opens as another kind Observation The resolution validator's pass over every edge target and every definition opening Evidence Watched to fire and to accept: a suite plants a term no edge names, a dangling dependency and a second check home, and the bundled terms pass Authoritative side The term record, which every edge that names the term cites Depends on Not answered Shape it refuses Not answered ### Outcome Surface - Kind: [artifact](https://banes-lab.com/records/kind/artifact.md) - Category: [Coordination Surfaces](https://banes-lab.com/ontology/lexicon/lexicon-category-coordination-surfaces.md) - Layer: [Execution Core](https://banes-lab.com/records/layer/execution-core.md) Details Definition 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. Referenced by [Operand-Free Outcome Surface](https://banes-lab.com/records/architecture/operand-free-outcome-surface.md) How it is checked Checked by the coordination member's surface, record and declaration rules, [Operand-Free Outcome Surface](https://banes-lab.com/records/architecture/operand-free-outcome-surface.md) Population The term's definition and every architecture edge that names the term Freshness A verdict stands until the definition, the term's kind or an edge that names it changes Refusal The resolution gate fails an edge that resolves to no term, and a definition that opens as another kind Observation The resolution validator's pass over every edge target and every definition opening Evidence Watched to fire and to accept: a suite plants a term no edge names, a dangling dependency and a second check home, and the bundled terms pass Authoritative side The term record, which every edge that names the term cites Depends on Not answered Shape it refuses Not answered ### Participant - Kind: [artifact](https://banes-lab.com/records/kind/artifact.md) - Category: [Coordination Surfaces](https://banes-lab.com/ontology/lexicon/lexicon-category-coordination-surfaces.md) - Layer: [Execution Core](https://banes-lab.com/records/layer/execution-core.md) Details Definition A formal definition of a reader that owns surfaces and an inbox, receives both, and waits between turns instead of ending. Distinct from [Bounded Reader](https://banes-lab.com/records/lexicon/bounded-reader.md): A participant owns surfaces and waits between turns, while a bounded reader owns nothing and ends by returning. How it is checked Checked by the coordination member's surface, record and declaration rules Population The term's definition and every architecture edge that names the term Freshness A verdict stands until the definition, the term's kind or an edge that names it changes Refusal The resolution gate fails an edge that resolves to no term, and a definition that opens as another kind Observation The resolution validator's pass over every edge target and every definition opening Evidence Watched to fire and to accept: a suite plants a term no edge names, a dangling dependency and a second check home, and the bundled terms pass Authoritative side The term record, which every edge that names the term cites Depends on Not answered Shape it refuses Not answered ### Payload Field - Kind: [artifact](https://banes-lab.com/records/kind/artifact.md) - Category: [Coordination Surfaces](https://banes-lab.com/ontology/lexicon/lexicon-category-coordination-surfaces.md) - Layer: [Execution Core](https://banes-lab.com/records/layer/execution-core.md) Details Definition A formal definition of a field whose only consumer is a reader and which no parser reaches without a heuristic. Referenced by [Carrier and Payload Split](https://banes-lab.com/records/architecture/carrier-and-payload-split.md) How it is checked Checked by the coordination member's surface, record and declaration rules, [Carrier and Payload Split](https://banes-lab.com/records/architecture/carrier-and-payload-split.md) Population The term's definition and every architecture edge that names the term Freshness A verdict stands until the definition, the term's kind or an edge that names it changes Refusal The resolution gate fails an edge that resolves to no term, and a definition that opens as another kind Observation The resolution validator's pass over every edge target and every definition opening Evidence Watched to fire and to accept: a suite plants a term no edge names, a dangling dependency and a second check home, and the bundled terms pass Authoritative side The term record, which every edge that names the term cites Depends on Not answered Shape it refuses Not answered ### Read Population - Kind: [artifact](https://banes-lab.com/records/kind/artifact.md) - Category: [Coordination Surfaces](https://banes-lab.com/ontology/lexicon/lexicon-category-coordination-surfaces.md) - Layer: [Execution Core](https://banes-lab.com/records/layer/execution-core.md) Details Definition 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. Referenced by [Write Scope and Read Population](https://banes-lab.com/records/architecture/write-scope-and-read-population.md), [Read-Time Join](https://banes-lab.com/records/architecture/read-time-join.md), [Single Aggregate](https://banes-lab.com/records/architecture/single-aggregate.md) Distinct from [Joiner](https://banes-lab.com/records/lexicon/joiner.md): A read population is what a run measured, while a joiner is the later caller that relies on it. How it is checked Checked by the coordination member's surface, record and declaration rules, [Write Scope and Read Population](https://banes-lab.com/records/architecture/write-scope-and-read-population.md), [Read-Time Join](https://banes-lab.com/records/architecture/read-time-join.md), [Single Aggregate](https://banes-lab.com/records/architecture/single-aggregate.md) Population The term's definition and every architecture edge that names the term Freshness A verdict stands until the definition, the term's kind or an edge that names it changes Refusal The resolution gate fails an edge that resolves to no term, and a definition that opens as another kind Observation The resolution validator's pass over every edge target and every definition opening Evidence Watched to fire and to accept: a suite plants a term no edge names, a dangling dependency and a second check home, and the bundled terms pass Authoritative side The term record, which every edge that names the term cites Depends on Not answered Shape it refuses Not answered ### Rederivation Detection - Kind: [capability](https://banes-lab.com/records/kind/capability.md) - Category: [Coordination Surfaces](https://banes-lab.com/ontology/lexicon/lexicon-category-coordination-surfaces.md) - Layer: [Execution Core](https://banes-lab.com/records/layer/execution-core.md) Details Definition The ability to catch a record written a second time about a subject another record already holds. Referenced by [Declared Subject](https://banes-lab.com/records/architecture/declared-subject.md) How it is checked Checked by the coordination member's surface, record and declaration rules, [Declared Subject](https://banes-lab.com/records/architecture/declared-subject.md) Population The term's definition and every architecture edge that names the term Freshness A verdict stands until the definition, the term's kind or an edge that names it changes Refusal The resolution gate fails an edge that resolves to no term, and a definition that opens as another kind Observation The resolution validator's pass over every edge target and every definition opening Evidence Watched to fire and to accept: a suite plants a term no edge names, a dangling dependency and a second check home, and the bundled terms pass Authoritative side The term record, which every edge that names the term cites Depends on Not answered Shape it refuses Not answered ### Removal Authority - Kind: [artifact](https://banes-lab.com/records/kind/artifact.md) - Category: [Coordination Surfaces](https://banes-lab.com/ontology/lexicon/lexicon-category-coordination-surfaces.md) - Layer: [Execution Core](https://banes-lab.com/records/layer/execution-core.md) Details Definition 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. Referenced by [Independent Lifetime Axes](https://banes-lab.com/records/architecture/independent-lifetime-axes.md) How it is checked Checked by the coordination member's surface, record and declaration rules, [Independent Lifetime Axes](https://banes-lab.com/records/architecture/independent-lifetime-axes.md) Population The term's definition and every architecture edge that names the term Freshness A verdict stands until the definition, the term's kind or an edge that names it changes Refusal The resolution gate fails an edge that resolves to no term, and a definition that opens as another kind Observation The resolution validator's pass over every edge target and every definition opening Evidence Watched to fire and to accept: a suite plants a term no edge names, a dangling dependency and a second check home, and the bundled terms pass Authoritative side The term record, which every edge that names the term cites Depends on Not answered Shape it refuses Not answered ### Retention - Kind: [artifact](https://banes-lab.com/records/kind/artifact.md) - Category: [Coordination Surfaces](https://banes-lab.com/ontology/lexicon/lexicon-category-coordination-surfaces.md) - Layer: [Execution Core](https://banes-lab.com/records/layer/execution-core.md) Details Definition 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. Referenced by [Independent Lifetime Axes](https://banes-lab.com/records/architecture/independent-lifetime-axes.md), [Section Lifetime Divergence](https://banes-lab.com/records/architecture/section-lifetime-divergence.md) Distinct from [Mutability](https://banes-lab.com/records/lexicon/mutability.md): Retention states what ends a piece of content, while mutability states whether landed content may be rewritten. Distinct from [Removal Authority](https://banes-lab.com/records/lexicon/removal-authority.md): Retention states what ends a piece of content, while removal authority states who may take it out. How it is checked Checked by the coordination member's surface, record and declaration rules, [Independent Lifetime Axes](https://banes-lab.com/records/architecture/independent-lifetime-axes.md), [Section Lifetime Divergence](https://banes-lab.com/records/architecture/section-lifetime-divergence.md) Population The term's definition and every architecture edge that names the term Freshness A verdict stands until the definition, the term's kind or an edge that names it changes Refusal The resolution gate fails an edge that resolves to no term, and a definition that opens as another kind Observation The resolution validator's pass over every edge target and every definition opening Evidence Watched to fire and to accept: a suite plants a term no edge names, a dangling dependency and a second check home, and the bundled terms pass Authoritative side The term record, which every edge that names the term cites Depends on Not answered Shape it refuses Not answered ### Shared Invocation - Kind: [capability](https://banes-lab.com/records/kind/capability.md) - Category: [Coordination Surfaces](https://banes-lab.com/ontology/lexicon/lexicon-category-coordination-surfaces.md) - Layer: [Execution Core](https://banes-lab.com/records/layer/execution-core.md) Details Definition 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. Referenced by [Write Scope and Read Population](https://banes-lab.com/records/architecture/write-scope-and-read-population.md), [Read-Time Join](https://banes-lab.com/records/architecture/read-time-join.md), [One-Sided Liveness](https://banes-lab.com/records/architecture/one-sided-liveness.md), [Declare-Before-Read Order](https://banes-lab.com/records/architecture/declare-before-read-order.md) How it is checked Checked by the coordination member's surface, record and declaration rules, [Write Scope and Read Population](https://banes-lab.com/records/architecture/write-scope-and-read-population.md), [Read-Time Join](https://banes-lab.com/records/architecture/read-time-join.md), [One-Sided Liveness](https://banes-lab.com/records/architecture/one-sided-liveness.md), [Declare-Before-Read Order](https://banes-lab.com/records/architecture/declare-before-read-order.md) Population The term's definition and every architecture edge that names the term Freshness A verdict stands until the definition, the term's kind or an edge that names it changes Refusal The resolution gate fails an edge that resolves to no term, and a definition that opens as another kind Observation The resolution validator's pass over every edge target and every definition opening Evidence Watched to fire and to accept: a suite plants a term no edge names, a dangling dependency and a second check home, and the bundled terms pass Authoritative side The term record, which every edge that names the term cites Depends on Not answered Shape it refuses Not answered ### Stall Bound - Kind: [constraint](https://banes-lab.com/records/kind/constraint.md) - Category: [Coordination Surfaces](https://banes-lab.com/ontology/lexicon/lexicon-category-coordination-surfaces.md) - Layer: [Execution Core](https://banes-lab.com/records/layer/execution-core.md) Details Definition 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. How it is checked Checked by the coordination member's surface, record and declaration rules Population The term's definition and every architecture edge that names the term Freshness A verdict stands until the definition, the term's kind or an edge that names it changes Refusal The resolution gate fails an edge that resolves to no term, and a definition that opens as another kind Observation The resolution validator's pass over every edge target and every definition opening Evidence Watched to fire and to accept: a suite plants a term no edge names, a dangling dependency and a second check home, and the bundled terms pass Authoritative side The term record, which every edge that names the term cites Depends on Not answered Shape it refuses Not answered ### Traceable Guarantee - Kind: [capability](https://banes-lab.com/records/kind/capability.md) - Category: [Coordination Surfaces](https://banes-lab.com/ontology/lexicon/lexicon-category-coordination-surfaces.md) - Layer: [Execution Core](https://banes-lab.com/records/layer/execution-core.md) Details Definition The ability to trace every guarantee a topology offers back to a stated property and the mechanism that would object if it stopped holding. Referenced by [Stated Invariant](https://banes-lab.com/records/architecture/stated-invariant.md), [Derived Record State](https://banes-lab.com/records/architecture/derived-record-state.md), [Operand-Free Outcome Surface](https://banes-lab.com/records/architecture/operand-free-outcome-surface.md), [Projection Channel](https://banes-lab.com/records/architecture/projection-channel.md), [Two-Direction Index](https://banes-lab.com/records/architecture/two-direction-index.md), [Period-Decided Disposition](https://banes-lab.com/records/architecture/period-decided-disposition.md), [Derived Party Count](https://banes-lab.com/records/architecture/derived-party-count.md), [Fan-In Ceiling](https://banes-lab.com/records/architecture/fan-in-ceiling.md), [State-Arity Limit](https://banes-lab.com/records/architecture/state-arity-limit.md), [Carrier and Payload Split](https://banes-lab.com/records/architecture/carrier-and-payload-split.md), [Joinable Mandated Field](https://banes-lab.com/records/architecture/joinable-mandated-field.md), [Single Aggregate](https://banes-lab.com/records/architecture/single-aggregate.md) How it is checked Checked by the coordination member's surface, record and declaration rules, [Stated Invariant](https://banes-lab.com/records/architecture/stated-invariant.md), [Derived Record State](https://banes-lab.com/records/architecture/derived-record-state.md), [Operand-Free Outcome Surface](https://banes-lab.com/records/architecture/operand-free-outcome-surface.md), [Projection Channel](https://banes-lab.com/records/architecture/projection-channel.md), [Two-Direction Index](https://banes-lab.com/records/architecture/two-direction-index.md), [Period-Decided Disposition](https://banes-lab.com/records/architecture/period-decided-disposition.md), [Derived Party Count](https://banes-lab.com/records/architecture/derived-party-count.md), [Fan-In Ceiling](https://banes-lab.com/records/architecture/fan-in-ceiling.md), [State-Arity Limit](https://banes-lab.com/records/architecture/state-arity-limit.md), [Carrier and Payload Split](https://banes-lab.com/records/architecture/carrier-and-payload-split.md), [Joinable Mandated Field](https://banes-lab.com/records/architecture/joinable-mandated-field.md), [Single Aggregate](https://banes-lab.com/records/architecture/single-aggregate.md) Population The term's definition and every architecture edge that names the term Freshness A verdict stands until the definition, the term's kind or an edge that names it changes Refusal The resolution gate fails an edge that resolves to no term, and a definition that opens as another kind Observation The resolution validator's pass over every edge target and every definition opening Evidence Watched to fire and to accept: a suite plants a term no edge names, a dangling dependency and a second check home, and the bundled terms pass Authoritative side The term record, which every edge that names the term cites Depends on Not answered Shape it refuses Not answered ### Venue - Kind: [artifact](https://banes-lab.com/records/kind/artifact.md) - Category: [Coordination Surfaces](https://banes-lab.com/ontology/lexicon/lexicon-category-coordination-surfaces.md) - Layer: [Execution Core](https://banes-lab.com/records/layer/execution-core.md) Details Definition 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. Distinct from [Outcome Surface](https://banes-lab.com/records/lexicon/outcome-surface.md): A venue holds the discussion and leaves the active surface once its outcome is absorbed, while the outcome surface is where the agreed result survives. How it is checked Checked by the coordination member's surface, record and declaration rules Population The term's definition and every architecture edge that names the term Freshness A verdict stands until the definition, the term's kind or an edge that names it changes Refusal The resolution gate fails an edge that resolves to no term, and a definition that opens as another kind Observation The resolution validator's pass over every edge target and every definition opening Evidence Watched to fire and to accept: a suite plants a term no edge names, a dangling dependency and a second check home, and the bundled terms pass Authoritative side The term record, which every edge that names the term cites Depends on Not answered Shape it refuses Not answered ### Write Scope - Kind: [artifact](https://banes-lab.com/records/kind/artifact.md) - Category: [Coordination Surfaces](https://banes-lab.com/ontology/lexicon/lexicon-category-coordination-surfaces.md) - Layer: [Execution Core](https://banes-lab.com/records/layer/execution-core.md) Details Definition 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. Referenced 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) Distinct from [Read Population](https://banes-lab.com/records/lexicon/read-population.md): A write scope decides whether two runs may proceed at once, while a read population decides whether a published result answers a later question. How it is checked Checked by the coordination member's surface, record and declaration rules, [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) Population The term's definition and every architecture edge that names the term Freshness A verdict stands until the definition, the term's kind or an edge that names it changes Refusal The resolution gate fails an edge that resolves to no term, and a definition that opens as another kind Observation The resolution validator's pass over every edge target and every definition opening Evidence Watched to fire and to accept: a suite plants a term no edge names, a dangling dependency and a second check home, and the bundled terms pass Authoritative side The term record, which every edge that names the term cites Depends on Not answered Shape it refuses Not answered ## Links to - [artifact](https://banes-lab.com/records/kind/artifact.md) - [Execution Core](https://banes-lab.com/records/layer/execution-core.md) - [Derived Record State](https://banes-lab.com/records/architecture/derived-record-state.md) - [Projection Channel](https://banes-lab.com/records/architecture/projection-channel.md) - [Host Projection](https://banes-lab.com/records/lexicon/host-projection.md) - [Carrier and Payload Split](https://banes-lab.com/records/architecture/carrier-and-payload-split.md) - [Joinable Mandated Field](https://banes-lab.com/records/architecture/joinable-mandated-field.md) - [Payload Field](https://banes-lab.com/records/lexicon/payload-field.md) - [Derived Party Count](https://banes-lab.com/records/architecture/derived-party-count.md) - [Declared Subject](https://banes-lab.com/records/architecture/declared-subject.md) - [Acknowledger](https://banes-lab.com/records/lexicon/acknowledger.md) - [Stated Invariant](https://banes-lab.com/records/architecture/stated-invariant.md) - [Write Barrier](https://banes-lab.com/records/architecture/write-barrier.md) - [Two-Direction Index](https://banes-lab.com/records/architecture/two-direction-index.md) - [State-Arity Limit](https://banes-lab.com/records/architecture/state-arity-limit.md) - [Period-Decided Disposition](https://banes-lab.com/records/architecture/period-decided-disposition.md) - [Derivation Period](https://banes-lab.com/records/lexicon/derivation-period.md) - [metric](https://banes-lab.com/records/kind/metric.md) - [Fan-In Ceiling](https://banes-lab.com/records/architecture/fan-in-ceiling.md) - [capability](https://banes-lab.com/records/kind/capability.md) - [Independent Lifetime Axes](https://banes-lab.com/records/architecture/independent-lifetime-axes.md) - [Section Lifetime Divergence](https://banes-lab.com/records/architecture/section-lifetime-divergence.md) - [Reversible Channel Encoding](https://banes-lab.com/records/architecture/reversible-channel-encoding.md) - [Read-Time Join](https://banes-lab.com/records/architecture/read-time-join.md) - [mechanism](https://banes-lab.com/records/kind/mechanism.md) - [One-Sided Liveness](https://banes-lab.com/records/architecture/one-sided-liveness.md) - [Removal Authority](https://banes-lab.com/records/lexicon/removal-authority.md) - [Operand-Free Outcome Surface](https://banes-lab.com/records/architecture/operand-free-outcome-surface.md) - [Bounded Reader](https://banes-lab.com/records/lexicon/bounded-reader.md) - [Write Scope and Read Population](https://banes-lab.com/records/architecture/write-scope-and-read-population.md) - [Single Aggregate](https://banes-lab.com/records/architecture/single-aggregate.md) - [Joiner](https://banes-lab.com/records/lexicon/joiner.md) - [Mutability](https://banes-lab.com/records/lexicon/mutability.md) - [Declare-Before-Read Order](https://banes-lab.com/records/architecture/declare-before-read-order.md) - [constraint](https://banes-lab.com/records/kind/constraint.md) - [Outcome Surface](https://banes-lab.com/records/lexicon/outcome-surface.md) - [Read Population](https://banes-lab.com/records/lexicon/read-population.md)