[↗] GIDS series

preprint · reference · 7 of 7

Canonical Notation and Mathematical Conventions

This file is the source of truth for the notation used throughout the manuscript. The philosophical language is intentionally extravagant; the notation is not allowed to be.

The formalism below is a model specification, not a theorem that the world literally has these coordinates. Whenever a real system is represented in a Hilbert space, the vector is the representation used by the model, not the external object itself.

Unless a section says otherwise, every declared input, state, trace, action, and outcome domain is equipped with a sigma-algebra; every deterministic encoder, update, interaction, aggregation, and utility map is measurable; and every object written as a conditional distribution is a probability kernel. Finite-dimensional Euclidean spaces carry their Borel sigma-algebras. When regular conditional laws or measurable state realizations are invoked, the relevant spaces are assumed standard Borel. Equalities between conditional laws are understood up to the usual almost-sure qualification for the chosen versions.

1. Typographic conventions

  • Calligraphic capitals such as denote spaces, sets, or sigma-algebraic domains.
  • Ordinary capitals such as , , , and denote structured mathematical states that need not be vectors. Ordinary uppercase Roman symbols may also denote declared maps, kernels, or matrices.
  • Bold lowercase symbols such as denote finite-dimensional vectors.
  • Nonbold lowercase symbols may denote scalars, realized values, or generic elements of nonvector spaces; their type is declared where they appear.
  • A hat, as in , denotes a filtered or learned estimate constructed from information available before the current decision.
  • A tilde, as in , denotes a random quantity simulated from the fitted model.
  • A superscript denotes an unknown data-generating object when it is useful to distinguish reality from the fitted model.
  • The subscript denotes learned parameters.
  • denotes the conditional law of random variable given . The symbol is not used for the training loss; the training loss is written .

Where the random-versus-realized distinction matters for propositions, traces, and outcomes, capitals denote random variables and lowercase symbols denote realized values. Thus is the proposition selected at decision time , is the proposition actually selected, is a trace-valued random variable, and is an observed trace. Structured state symbols retain the capitalization conventions above, and bold lowercase symbols may still denote random latent vectors.

2. Indices and clocks

SymbolMeaning
generic individual human actors
salesperson in the first application
executive or buyer in the first application
salesperson’s company
executive’s company
a generic corporation
a decision epoch
chronological record indices
timestamp of chronological record
evolutionary stage in the toy evolutionary construction
prediction task
elapsed-time outcome horizon measured from decision epoch
number of future decision steps in a planning or rollout problem
categorical feature family
category index when a category itself needs a label
categorical source channel
role or regime
primary outcome-head index
auxiliary probe-head index

The symbol is reserved for a decision policy. It is not used for a task projection, salience map, or dimensionality-reduction operator.

The symbol is reserved for a finite planning length. Histories are written with calligraphic , for example .

3. External conditions and GIDS

Let denote the external or noumenal domain. It is deliberately not assumed to be a vector space. Let denote local external configurations that a model attempts to register.

Let

be God’s Infinite Dimensional Space: an idealized real separable Hilbert representation arena rich enough to encode distinctions and combinations of distinctions that could enter the experience or response of actors. The construction does not require one orthogonal basis coordinate for every named distinction. For a concrete model one may take , but the manuscript does not claim that physical reality is literally .

A registration map

assigns a model-side representation to a local external configuration. If , then

The vector is an encoding selected by the framework. It is not the external condition itself, and need not be injective, linear, or information-preserving.

4. Lineage access and inherited structure

Let

be a finite-dimensional idealization of the distinctions available to a lineage. When is orthonormal, the orthogonal projection is

“Best approximation” here means closest in the norm chosen on . It does not establish that biological perception literally performs an orthogonal projection.

Write the lineage-level template as

where denotes a species-compatible family of developmental and interpretive organizations.

The inherited seed of individual is written

where is an individual starting repertoire compatible with the lineage,

is the inherited access map at the chosen resolution, and is the inherited initial interpretive organization. Unlike , the access map is not assumed to be an orthogonal projection or even linear.

5. Objects, categories, and propositions

Objects of experience, categories, people, propositions, and corporations are not assumed to be primitive basis vectors in .

For actor , let be an actor-specific access map and let

be the actor’s nonlinear organization of accessible distinctions, phenomenal state, and context. An external configuration can induce the actor-relative representation

The access codomain and object-representation codomain are actor-relative spaces; neither needs to be a linear subspace of .

For a category indexed by , first declare a measurable representation domain

The domain may be , an actor-relative object space such as , or a finite learned feature space. The category may then be represented by any mathematically appropriate object, including:

  • a measurable region ;
  • a prototype point ;
  • a probability measure on ;
  • a scoring function ;
  • or a more complicated learned object over activations and relations.

Only the prototype is literally a point of the declared representation domain. A region is a subset; a distribution or scoring function is defined on the domain. A category is not required to be a vector or a primitive coordinate in .

Let be the measurable master proposition space. Let be the admissible proposition set and let the nonempty measurable set contain the propositions actually available at decision . The realized proposition satisfies . Write for the operational individual-state space defined in Section 8. For finite dimensions , use the measurable maps

The context-free proposition encoding is

For an individual actor-state model, the actor-relative proposition representation is

and the corresponding interaction representation is

The dyadic maps and are separately typed in Section 11. The same external proposition can therefore yield different actor-relative representations without one map being asked to accept two incompatible state types.

6. Realized person, phenomenal state, and Chimera

The slowly changing realized organization of person at time is

where summarizes language, culture, and socialization available before decision , and denotes life history recorded before that decision. The object is not assumed to be one finite vector.

The full phenomenal state is

The person-in-role object, called the Chimera, is

where is the active role-and-institution context.

For statements about complete one-step dynamics, define the ideal actor–world state

Let be its measurable state space and let be the ideal one-step exogenous-innovation space. The complete transition is a Markov kernel

The familiar equation for is the phenomenal component of a transition on ; it treats the slow and exogenous components as fixed over the explanatory step unless their updates are written explicitly. The output state lies in the same complete state space as the next input.

7. General and task-conditioned predictive states

Let

be the ideal pre-proposition information state relative to which the predictive problem is defined. It is not the complete actor–world state , because the predictor is not granted direct access to . Assume the relevant state and outcome spaces are standard Borel spaces so that regular conditional laws exist.

Let denote a random exogenous path and a realized or supplied scenario value. For a finite decision horizon , a proposition sequence , and a scenario path , choose a version of the observational regular conditional response kernel

This kernel is observationally identified only for proposition and scenario values in the support of the data-generating regime; regular conditional laws are unique only almost surely. Off-support response laws require an explicit structural model, intervention, or extrapolation assumption. A conditional law indexed by a fixed historical action sequence does not, by itself, identify the law under a new adaptive policy, even when every candidate action has support. For a factual policy, define the corresponding joint observational law as part of the data-generating regime. For a counterfactual policy, use controlled kernels together with an identification argument, or state the required extrapolation assumptions explicitly. Two ideal information states are predictively equivalent for the declared modeled family when they induce the same supported response law for every sequence or policy, scenario, horizon, and measurable future event in that family. The equivalence relation defines an abstract predictive information object, but the quotient is not automatically a standard-Borel measurable space. Whenever a usable measurable realization exists, denote it by ; otherwise, use the indexed response-kernel family itself as the predictive object. Either object may be infinite-dimensional. An interventional analogue replaces with a controlled or -indexed response kernel.

For task and elapsed-time outcome horizon , write

when a task summary with the required sufficiency property exists. The map need not be linear or orthogonal.

The decision-associated outcome is

It is indexed by the decision that generated the prediction, while records the horizon at which the outcome is evaluated. For every measurable in the outcome space, predictive sufficiency means

for admissible in the support of the predictive regime. This is an observational predictive statement. A causal predictive state is obtained only if the equality is defined using interventional laws .

8. Learned person-state and approximation error

The slow learned person vector is

and the fast latent vector is

Let and be finite encodings of context and world state. The operational person-state is

Write the measurable space for the operational individual state containing . Inside a dyadic model, the shared world vector appears once, so

Write

for the measurable person-substate space, assuming the context encoder has dimension . The full individual-state space additionally carries the world coordinate. This declaration makes the person inputs to relationship and corporation operators well typed.

Let be the individual one-step exogenous-innovation space. The individual interaction kernel has the type

For every measurable next-state set , define the shorthand

Thus a simulated individual next state is a random element of the same operational state space used at the following step. The notation evaluates a parameterized kernel at the supplied scenario value and does not require the singleton event to have positive probability. An unconditional forecast integrates this kernel against a declared exogenous law.

If is a measurable function of , define the state-compression gap under the observational law by

Equivalently,

where . It is zero exactly when the operational state is sufficient under the joint observational law and its supported propositions, up to null sets. Uniform or causal sufficiency across interventions requires the corresponding family of interventional laws.

For a fitted conditional law , define the model-estimation gap

To state the log-score decomposition without assuming a discrete outcome, suppose the relevant conditional laws are dominated by one fixed reference measure. Let be a full-information conditional density or mass function, let be the true conditional density or mass function after compression, and let be the fitted density or mass function. Define

Whenever the displayed expectations and divergences are finite, the exact decomposition is

For a discrete outcome with counting measure, . For continuous outcomes it is an expected negative log density, not an invariant conditional entropy. The first gap is information discarded by state compression; the second is error in the fitted law conditional on that state. This is the precise replacement for an unexplained .

9. Relevance, salience, memory, and fast-state updates

The task relevance map is written , not :

Salience is

and the ideal active slice is

The symbol is reserved exclusively for the fast latent state.

A tractable memory field can be written

where is a trace representation and its current weight. A proposition-conditioned retrieval rule may produce weights and the retrieved vector

Let be the chronological record sequence and let

When the chronological record stream is shared across actors, let

be the record-applicability vector: it contains a binary applicability flag indicating whether record pertains to actor , together with indicators for the actor-specific fields available. It is neither a memory vector nor a label-observation mask. When the applicability flag is zero, is required to act as the identity on . For an ordered dyad , let

indicate whether record pertains to that relationship. A relationship-update map receiving must act as the identity on the existing relationship state. Starting from , process record by

For decision epoch , define

Thus a prediction at decision uses records strictly before that decision. The record created by proposition , and every response to it, cannot enter . If timestamps tie, the logging system must supply an ordering key that preserves the actual decision-before-response order.

For categorical traces, indexes feature family, source channel, and role or regime. Raw token bags are contextually typed by

before pooling. Learned empty-cell representations use , binary availability masks use , slow aggregation weights use , and fast retrieval weights use . These pooled categorical objects are trace estimators; they are not identified with the phenomenal state or with the fast state .

10. Composite corporations

Let be the set of people relevant to a corporation’s decision at time . Define the abstract member state

A conceptual composite corporation-state can then be written

The indexed family preserves member identity and multiplicity; an ordinary set could collapse distinct members with identical represented states. The arguments respectively denote relevant member states, facts and statistics, organizational structure, institutional memory, incentives and constraints, and environmental history already absorbed into the organization. They are structured objects and need not be vectors. The aggregation operator is not an arithmetic average; it must be capable of representing authority, veto rights, communication paths, coalitions, and unequal participation.

For dataset construction, the measurable company-side bundle is

Let be the people whose usable states are observed, and let encode missing membership, authority, and company fields. Write for the measurable learned corporation-state space. A learned corporation-state is the random element

where is measurable on the structured, variable-cardinality input domain used by the implementation. The measurable bundle and observed member states are evidence supplied to this operator; neither is, by itself, the complete corporation-state. When a focal person is also carried separately in a dyadic state, either exclude that person from the company-context summary or estimate the coupled person/company representation jointly so duplicate paths are not treated as independent evidence.

This construction supports treating a corporation as a higher-order actor for prediction. It does not, by itself, claim that a corporation has human phenomenal consciousness. Let be the corporate one-step exogenous-innovation space. A shared learned corporate transition kernel has type

Thus

with company identity and structure carried by the state and covariates rather than by a separate parameter set for every corporation. The next state lives in the same measurable space as the current learned corporation-state, so the corporate transition is recursively closed at its declared level of abstraction.

11. The sales dyad and recursively closed dynamics

The first application uses salesperson , executive , salesperson’s company , and executive’s company . Let be the measurable relationship-state space and let

be the relationship state after chronological record . With a measurable record space , the relationship update has type

where is the person-substate space. It satisfies

Thus only records applicable to ordered dyad can change , and at decision epoch . The filtered dyadic state is

Write the measurable space for the dyadic state containing . For finite dimensions , the dyadic proposition and interaction maps have types distinct from the individual-state maps:

Thus

Let denote a random exogenous innovation and a realized or supplied scenario value. At the ideal level,

Let be the dyadic one-step exogenous-innovation space. The learned dyadic interaction kernel

is a Markov kernel into the next dyadic-state space. The shorthand conditional kernel is defined, for every next-state set , by

The notation is shorthand for evaluating a parameterized Markov kernel at the supplied scenario value ; it does not require the singleton event to have positive probability. Conditioning on therefore defines a scenario forecast through this kernel. Given a declared one-step exogenous law , common across the candidate propositions being compared under evaluation regime , the corresponding marginal transition is

If a modeled future variable is causally affected by the proposition, it belongs in the transition state rather than in the action-invariant exogenous law. An observational forecast may instead condition an empirical exogenous distribution on the factual action, but that action-dependent distribution must not be silently reused for counterfactual candidate ranking. A simulated next operational state under a supplied scenario is

The immediate observable trace bundle is

This emission law asserts that the next operational state is sufficient for the immediate trace. If that Markov-style assumption is not adopted, use the more general kernel .

Here denotes the trace bundle assigned to the inter-decision interval ; several timestamped observation records may contribute to that bundle.

After actual records arrive, filtering produces

Here is the record bundle that arrived after decision and no later than the next decision epoch. It includes the exogenous company and world changes actually observed in the interval, so they are not passed to the filter a second time. The transition is recursively closed because has the same state type as the next input. Simulation and filtering remain distinct operations.

For a proposition sequence and scenario path , repeated application of and induces the trajectory law

A delayed outcome is a measurable functional of records and states over the elapsed-time window , not generally an immediate emission from . A direct outcome head

is a fitted conditional probability kernel relative to a declared continuation policy, future candidate-set process, censoring convention, and exogenous regime. When those regime components are suppressed from the notation, they remain part of the estimand. Under a proposed continuation policy , exogenous-path law , and future candidate-set law , the corresponding outcome law should instead be induced by the rollout and written

When several primary outcomes and probes enter one utility, their coherent direct-head representation is a joint kernel

The head-specific kernels and are marginals or conditionals of that joint law when such a law is modeled. Training separate marginal heads does not, by itself, define their dependence. A joint utility may use only marginal expectations, a declared coupling, or a jointly modeled law; it must not silently manufacture independence.

12. Event time, records, outcomes, and censoring

The pre-decision history is

A decision record is

where is the candidate set actually available, is the information actually available to the behavior policy, and

is the logged assignment probability for a discrete action, or the logged assignment density for a continuous action. The denominator in off-policy evaluation is , not a propensity retroactively conditioned on information the logging policy never had.

For primary outcomes, define

Auxiliary probes are

Their availability indicators are

The primary label-availability indicator is

The primary availability bundle is

An unobserved long-horizon label is censored or missing; it is not automatically a negative. Informative censoring requires survival methods, inverse-probability-of-censoring weights, or an explicit joint model.

13. Forecasting, ranking, and causal value

A value over more than one future decision is undefined until the continuation regime is declared. Let denote a predictive evaluation regime containing at least:

  • a continuation policy after the candidate proposition;
  • a future candidate-set process, either included in the state dynamics or declared explicitly;
  • an exogenous-path law ;
  • and the outcome, censoring, and terminal-utility convention used by the score.

For a genuinely one-step utility that terminates before another decision can affect it, the continuation-policy component is irrelevant. If a single candidate proposition is scored by a delayed outcome that can be changed by later decisions, the continuation regime is still part of the estimand. For a multi-step score, it is never optional. Assume the utility below is measurable and integrable under every model and evaluation regime being compared. The predictive/model-based value of a candidate proposition is

The tilded outcome and probe bundles are either computed as measurable functionals of the same rollout or sampled from the coherent joint kernel . If only marginal heads exist, the utility must use marginal expectations or a declared coupling. The bundles are not treated as independent duplicate futures. When the maximum is attained, candidate ranking over the nonempty available set chooses

A nonempty finite candidate set guarantees attainment. For an infinite candidate set, compactness together with upper semicontinuity is one sufficient condition; otherwise the formal objective is a supremum and the implementation returns an approximate optimizer. This is a forecasting-based score. It is not automatically a causal effect.

The corresponding causal value under the same declared continuation and exogenous regime is

or equivalently an expectation over potential outcomes. Equality between and requires an identification argument and a fitted model that correctly estimates the identified law.

A policy is

Let be the nonempty class of admissible policies, let be the discount factor, and let be the declared exogenous-path law and the future candidate-set law. Assume the step utilities and terminal value are integrable under every admissible policy being compared. For a finite decision horizon , a standard model-based sequential objective is

The policy search problem is

provided the maximum is attained; otherwise is the mathematically correct objective. This construction avoids assigning the full eventual transaction value independently to every earlier message. It remains model-based until causal identification and policy evaluation are supplied.

14. Training and off-policy evaluation

For primary heads and probe heads, the minimization objective is

with all weights nonnegative and . The positive signs are required because every term is minimized. Masks or censoring weights must be applied inside the corresponding head loss.

A slow-state arithmetic refresh is written

only when the old and refreshed vectors are expressed in the same latent coordinate chart. This holds when the encoder is fixed, the refreshed representation is explicitly aligned to the old chart, or the relevant histories are re-encoded into one common chart after an encoder change.

For one-step off-policy evaluation, let be the predeclared set of eligible decisions whose scalar utility is mature and usable under the chosen censoring rule, and let . If the utility extends beyond the immediate response, this estimator targets an intervention on the current proposition followed by the declared or logged continuation regime; evaluating an adaptive sequence policy requires a sequential estimator. The basic inverse-propensity estimator is

The target-policy numerator must be a function only of information available before the evaluated decision. For continuous actions, the numerator and denominator are policy densities with respect to the same dominating measure. Report the importance-weight distribution and effective sample size. Clipping and self-normalization reduce variance at the cost of bias or a changed finite-sample estimand and should be reported as sensitivity analyses; doubly robust estimators are preferable when their nuisance models are credible. This expression is valid only when:

  • the logged mass or density is correct;
  • the target policy acts on the logged candidate support;
  • consistency holds;
  • overlap holds;
  • the assignment mechanism is randomized or sequentially ignorable conditional on the recorded information;
  • interference is absent or explicitly modeled;
  • and censoring and delayed outcomes are handled appropriately.

If eligibility or censoring is informative, the estimator requires an additional censoring model or weighting term rather than complete-case deletion. A learned target policy should be frozen and evaluated on held-out data, or estimated with appropriate sample splitting or cross-fitting. Sequential policies require sequential estimators with products or per-decision products of importance ratios, or doubly robust sequential alternatives. The one-step expression is not silently extended to whole trajectories.

15. Symbols intentionally not reused

The following separations are enforced throughout the series:

  • indexes evolutionary stage; indexes a prediction task; learned empty-cell vectors use , not .
  • is a task-summary map; is a policy.
  • is only the fast latent state.
  • is the proposition-conditioned active slice.
  • aggregates a corporation; denotes auxiliary probes.
  • is a response-law family; retrieves memory; emits immediate traces.
  • denotes a delayed-outcome predictive law.
  • updates fast latent state; filters the full dyadic state.
  • indexes a categorical source channel; is an operational state.
  • indexes categories; denotes a corporation.
  • is a record timestamp; is realized scalar utility.
  • is a planning length; is a history; is corporate environmental history.
  • is a discount factor; is a drift threshold.
  • is a predictive evaluation regime; is a future candidate-set law; is a policy class.
  • and act on individual operational states; and act on dyadic states.
  • is actor-record applicability; is relationship-record applicability; is memory; is label availability.
  • are people; are corporations.