Reference

Predictor Interface

Look up syntax, contracts, layouts, algorithms, and exact behavior.

AIXC does not require a specific model class. It requires a deterministic predictor interface. The minimum interface accepts a context and returns an ordered candidate list or an argmax unit. More advanced residual modes require a stable top-k ordering.

type Unit = number;

type Predictor = {
  manifest: CanonicalManifest;
  reset(seed: Unit[]): void;
  observe(unit: Unit): void;
  argmax(): Unit;
  topK?(k: number): Unit[];
};

Predictor contract. The predictor state is advanced only through observed true or decoded units.

score(a)=score(b) \land a<b \Rightarrow rank(a)<rank(b)

Deterministic ordering. Ties must resolve by a declared total ordering, such as lowest unit id first.

The interface deliberately separates reset, prediction, and observation. This prevents an implementation from hiding state changes inside argmax calls and makes encoder/decoder equivalence easier to test.

Predictor Interface

Continue exploring