# Affine.Earth Math Court (remote · affine.earth)

No-float UUM-8D Math Court. Integer courts and certified MCP. Floats refused.

- Trust score: 65/100 (medium)
- Change this week: +3
- Registry status: active
- Liveness: live
- Owner verified: no
- Last scored: 2026-09-21

## Components

- remote · `affine.earth`: 65/100 (this document), [markdown](https://verifymcp.io/servers/earth-affine-math-court/language-invariant-mcp.md), [page](https://verifymcp.io/servers/earth-affine-math-court/language-invariant-mcp)
- remote · `affine.earth`: 23/100, [markdown](https://verifymcp.io/servers/earth-affine-math-court/language-invariant-mcp-sse.md), [page](https://verifymcp.io/servers/earth-affine-math-court/language-invariant-mcp-sse)

## Channel facts

- Endpoint: `https://affine.earth/language-invariant/mcp`
- Transports: `streamable-http`
- Auth: `none`
- Version: `2026.8.24`

## Trust breakdown

How this component scores in each security and reliability category. Every signal is checked automatically against the live server, and we only credit what we can confirm. Scores are 0–100 per category. Scoring method: https://verifymcp.io/docs/scoring (what has changed: https://verifymcp.io/docs/scoring/changelog)

Scored 2026-09-21.

- **Endpoint Security**: 57/100
  - The endpoint's TLS certificate is valid, in date, and uses a strong key.
  - Authorisation not fully verified: no authorisation is required to call this server, and 51 tool(s) never declared a destructiveHint. The MCP spec treats an absent hint as destructive by default, so we cannot call this surface safe.
  - HTTPS is enforced; there's no plaintext access path.
  - HSTS check failed: the Strict-Transport-Security header is absent.
  - DNSSEC check failed: this domain isn't protected by DNSSEC.
- **Transport & Reachability**: 100/100
  - Verified streamable-http transport via a live MCP handshake.
- **Schema Quality & AI Usability**: 53/100
  - AI-judged instruction clarity (good).
  - Context-footprint check failed: tool/resource definitions use about 15490 tokens (~303/item across 51 items; 51 tools + 0 resources), over budget; trim descriptions and params.
  - Usage-examples check failed: none of the tools include examples.
- **Stability & Change Management**: 73/100
  - Stability check failed: schema churn in the 29 days we've observed: 0 tool removals, 7 breaking changes, 0 auth/transport breaks, 36 additions.
- **Tool Coverage**: 95/100
  - 100% of tools have a non-trivial description (not blank, and not just the tool's name).
  - 84% of tool parameters carry a description.
- **Tool Safety**: 75/100
  - No prompt-injection markers were found in the server instructions, tool names or descriptions we captured.
  - 0 of 4 tool(s) whose name or description implies an irreversible operation declare an MCP destructiveHint annotation; "execute_2local_hamiltonian" implies "execute" and declares no destructiveHint at all, which the MCP spec reads as destructive by default.
  - An AI judge read all 51 captured unit(s) of tool text and found none that tries to manipulate the model reading it.
- **Capabilities**: 20/100
  - Spec-recency check failed: implements MCP spec 2024-11-05; the latest is 2026-07-28.

## Install

### How do I install the Affine.Earth Math Court MCP server?

Affine.Earth Math Court is a hosted endpoint at https://affine.earth/language-invariant/mcp, so there is nothing to install locally. Ready-made configuration for Claude, Cursor, VS Code, Codex and 5 more is on this page, copied from each client's own documentation.

### Claude

```bash
claude mcp add --transport http earth-affine-math-court 'https://affine.earth/language-invariant/mcp'
```

### Cursor

```json
{
  "mcpServers": {
    "earth-affine-math-court": {
      "url": "https://affine.earth/language-invariant/mcp"
    }
  }
}
```

### VS Code

```json
{
  "servers": {
    "earth-affine-math-court": {
      "type": "http",
      "url": "https://affine.earth/language-invariant/mcp"
    }
  }
}
```

### Codex

```toml
[mcp_servers.earth-affine-math-court]
url = "https://affine.earth/language-invariant/mcp"
```

### opencode

```json
{
  "$schema": "https://opencode.ai/config.json",
  "mcp": {
    "earth-affine-math-court": {
      "type": "remote",
      "url": "https://affine.earth/language-invariant/mcp",
      "enabled": true
    }
  }
}
```

### OpenClaw

```bash
openclaw mcp add earth-affine-math-court --url 'https://affine.earth/language-invariant/mcp' --transport streamable-http
```

### Hermes

```yaml
mcp_servers:
  earth-affine-math-court:
    url: "https://affine.earth/language-invariant/mcp"
```

### Netclaw

```json
{
  "McpServers": {
    "earth-affine-math-court": {
      "Transport": "http",
      "Url": "https://affine.earth/language-invariant/mcp"
    }
  }
}
```

### Vellum

```bash
assistant mcp add earth-affine-math-court -t streamable-http -u 'https://affine.earth/language-invariant/mcp'
```

### Other

```json
{
  "mcpServers": {
    "earth-affine-math-court": {
      "type": "http",
      "url": "https://affine.earth/language-invariant/mcp"
    }
  }
}
```

The mcpServers block is a cross-client convention. Remote transports vary, so check your client's docs.

## Changelog

Every change recorded for this component, newest first. Days that predate change tracking, or that we cannot explain, say so: "we were watching and nothing happened" and "we were not watching" are different claims.

### 2026-09-20 (score 65, +1)

No change was recorded against any check on this day. Stability & Change Management went from 66 to 69.

### 2026-09-17 (score 64, +1)

No change was recorded against any check on this day. Stability & Change Management went from 56 to 59.

### 2026-09-15 (score 63, +1)

No change was recorded against any check on this day. Stability & Change Management went from 49 to 53.

### 2026-09-13 (score 62, +1)

No change was recorded against any check on this day. Stability & Change Management went from 42 to 46.

### 2026-09-12 (score 61, 0)

- [security] Tool “affine_translate_text” rewrote its description, which is the text the model reads

### 2026-09-11 (score 61, +1)

- [functional] New tool “affine_translate_text”
- [cosmetic] “math_court” added an optional parameter “mc_z”
- [cosmetic] “math_court” added an optional parameter “mc_y”
- [cosmetic] “math_court” added an optional parameter “mc_x”
- [cosmetic] “math_court” added an optional parameter “mc_window_blocks”
- [cosmetic] “math_court” added an optional parameter “mc_to_z”
- [cosmetic] “math_court” added an optional parameter “mc_to_y”
- [cosmetic] “math_court” added an optional parameter “mc_to_x”
- [cosmetic] “math_court” added an optional parameter “mc_tick”
- [cosmetic] “math_court” added an optional parameter “mc_centre_z”
- [cosmetic] “math_court” added an optional parameter “mc_centre_x”
- [cosmetic] “math_court” added an optional parameter “mc_budget_units”
- [cosmetic] “math_court” added an optional parameter “mc_budget”
- [cosmetic] “math_court” added an optional parameter “mc_centre_y”
- [cosmetic] “math_court” added an optional parameter “mc_op”
- [cosmetic] “math_court” added an optional parameter “mc_claim”

### 2026-09-09 (score 60, +1)

No change was recorded against any check on this day. Stability & Change Management went from 29 to 32.

### 2026-09-08 (score 59, 0)

We did not load change detail this far back for this component, so this day may have recorded more than is shown.

- [security] Tool “verify_phase_kickback” rewrote its description, which is the text the model reads
- [security] Tool “verify_qaoa_energy” rewrote its description, which is the text the model reads
- [security] Tool “verify_amplitude_amplification” rewrote its description, which is the text the model reads
- [security] Tool “umc_status” rewrote its description, which is the text the model reads
- [security] Tool “verify_quantum_walk” rewrote its description, which is the text the model reads
- [security] Tool “project_affine_key” rewrote its description, which is the text the model reads
- [security] Tool “verify_bell_measurement” rewrote its description, which is the text the model reads
- [security] Tool “route_spin_glass_manifold” rewrote its description, which is the text the model reads
- [security] Tool “verify_topological_word” rewrote its description, which is the text the model reads
- [security] Tool “umc_direct” rewrote its description, which is the text the model reads
- [security] Tool “lattice_op” rewrote its description, which is the text the model reads
- [security] Tool “umc_resume” rewrote its description, which is the text the model reads
- [security] Tool “verify_jordan_bond” rewrote its description, which is the text the model reads
- [security] Tool “verify_presented_pair” rewrote its description, which is the text the model reads
- [security] Tool “execute_2local_hamiltonian” rewrote its description, which is the text the model reads
- [security] Tool “verify_quantum_counting” rewrote its description, which is the text the model reads
- [security] Tool “verify_simon” rewrote its description, which is the text the model reads
- [functional regression] Schema quality: 145 → 295
- [functional improvement] Tool coverage: 41% → 83%
- [functional] New tool “bond_presented_key”
- [cosmetic] “math_court” added an optional parameter “perm_den”
- [cosmetic] “math_court” added an optional parameter “hbd”
- [cosmetic] “math_court” added an optional parameter “lag_s”
- [cosmetic] “math_court” added an optional parameter “hba”
- [cosmetic] “math_court” added an optional parameter “inchikey”
- [cosmetic] “math_court” added an optional parameter “die_c”
- [cosmetic] “math_court” added an optional parameter “perm_num”
- [cosmetic] “math_court” added an optional parameter “term”
- [cosmetic] “math_court” added an optional parameter “cid”
- [cosmetic] “math_court” added an optional parameter “mp_id”
- [cosmetic] “math_court” added an optional parameter “score_num”
- [cosmetic] “math_court” added an optional parameter “deci_dobson”
- [cosmetic] “math_court” added an optional parameter “die_b”
- [cosmetic] “math_court” added an optional parameter “icd”
- [cosmetic] “math_court” added an optional parameter “die_a”
- [cosmetic] “math_court” added an optional parameter “face_counts”
- [cosmetic] “math_court” added an optional parameter “lipinski_violations”
- [cosmetic] “math_court” added an optional parameter “ticks”
- [cosmetic] “math_court” added an optional parameter “payload_sha256d”
- [cosmetic] “math_court” added an optional parameter “year”
- [cosmetic] “math_court” added an optional parameter “space_group”
- [cosmetic] “math_court” added an optional parameter “confinement_ppm”
- [cosmetic] “math_court” added an optional parameter “die_e”
- [cosmetic] “math_court” added an optional parameter “vol_milli”
- [cosmetic] “math_court” added an optional parameter “cited_id”
- [cosmetic] “math_court” added an optional parameter “cod”
- [cosmetic] “math_court” added an optional parameter “depletion_ppm”
- [cosmetic] “math_court” added an optional parameter “closure_conc_ppt”
- [cosmetic] “math_court” added an optional parameter “arc_order_ppt”
- [cosmetic] “math_court” added an optional parameter “loss_ticks”
- [cosmetic] “math_court” added an optional parameter “jet_counts”
- [cosmetic] “math_court” added an optional parameter “pdb_id”
- [cosmetic] “math_court” added an optional parameter “travel_s”
- [cosmetic] “math_court” added an optional parameter “pearson”
- [cosmetic] “math_court” added an optional parameter “track”
- [cosmetic] “math_court” added an optional parameter “station”
- [cosmetic] “math_court” added an optional parameter “y”
- [cosmetic] “math_court” added an optional parameter “vertices”
- [cosmetic] “math_court” added an optional parameter “Q”
- [cosmetic] “math_court” added an optional parameter “q_bin”
- [cosmetic] “math_court” added an optional parameter “grade”
- [cosmetic] “math_court” added an optional parameter “long_median_ujy”
- [cosmetic] “math_court” added an optional parameter “doid”
- [cosmetic] “math_court” added an optional parameter “residual_int”
- [cosmetic] “math_court” added an optional parameter “hz”
- [cosmetic] “math_court” added an optional parameter “den”
- [cosmetic] “math_court” added an optional parameter “n_players”
- [cosmetic] “math_court” added an optional parameter “color_isolated”
- [cosmetic] “math_court” added an optional parameter “null_conc_ppt”
- [cosmetic] “math_court” added an optional parameter “clock”
- [cosmetic] “math_court” added an optional parameter “phi_out”
- [cosmetic] “math_court” added an optional parameter “mass_milli”
- [cosmetic] “math_court” added an optional parameter “tau_s”
- [cosmetic] “math_court” added an optional parameter “dry_mass_g”
- [cosmetic] “math_court” added an optional parameter “dilation_t”
- [cosmetic] “math_court” added an optional parameter “origin_s”
- [cosmetic] “math_court” added an optional parameter “obscuration_ppm”
- [cosmetic] “math_court” added an optional parameter “milli_w_per_m2”
- [cosmetic] “math_court” added an optional parameter “presentation”
- [cosmetic] “math_court” added an optional parameter “jordanBondExclusions”
- [cosmetic] “math_court” added an optional parameter “die_d”
- [cosmetic] “math_court” added an optional parameter “phi_in”
- [cosmetic] “math_court” added an optional parameter “nm”
- [cosmetic] “math_court” added an optional parameter “arm_counts”
- [cosmetic] “math_court” added an optional parameter “pn_pred_s”
- [cosmetic] “math_court” added an optional parameter “A”
- [cosmetic] “math_court” added an optional parameter “short_median_ujy”
- [cosmetic] “math_court” added an optional parameter “snr_ppt”
- [cosmetic] “math_court” added an optional parameter “arrival_min”
- [cosmetic] “math_court” added an optional parameter “label_int”
- [cosmetic] “math_court” added an optional parameter “convention”
- [cosmetic] “math_court” added an optional parameter “num”
- [cosmetic] “math_court” added an optional parameter “score_den”
- [cosmetic] “umc_direct” reworded the description of “checkpoint”
- [cosmetic] “umc_resume” reworded the description of “node_id”
- [cosmetic] “verify_phase_kickback” reworded the description of “k”
- [cosmetic] “execute_2local_hamiltonian” reworded the description of “config”
- [cosmetic] “math_court” reworded the description of “m”
- [cosmetic] “umc_resume” reworded the description of “session_id”
- [cosmetic] “math_court” reworded the description of “r”
- [cosmetic] “verify_simon” reworded the description of “mask”
- [cosmetic] “umc_resume” reworded the description of “domain”
- [cosmetic] “math_court” reworded the description of “edges”
- [cosmetic] “math_court” reworded the description of “b”
- [cosmetic] “math_court” reworded the description of “queries”
- [cosmetic] “math_court” reworded the description of “q”
- [cosmetic] “math_court” reworded the description of “proper_divisors”
- [cosmetic] “verify_qaoa_energy” reworded the description of “edges”
- [cosmetic] “verify_topological_word” reworded the description of “r”
- [cosmetic] “umc_direct” reworded the description of “node_id”
- [cosmetic] “math_court” reworded the description of “polytope_id”
- [cosmetic] “math_court” reworded the description of “n”
- [cosmetic] “math_court” reworded the description of “table”
- [cosmetic] “math_court” reworded the description of “source”
- [cosmetic] “math_court” reworded the description of “steps”
- [cosmetic] “math_court” reworded the description of “matrix”
- [cosmetic] “verify_jordan_bond” reworded the description of “B”
- [cosmetic] “math_court” reworded the description of “a”
- [cosmetic] “verify_phase_kickback” reworded the description of “phase”
- [cosmetic] “math_court” reworded the description of “k”
- [cosmetic] “math_court” reworded the description of “word”
- [cosmetic] “verify_amplitude_amplification” reworded the description of “iterations”
- [cosmetic] “verify_amplitude_amplification” reworded the description of “oracle”
- [cosmetic] “math_court” reworded the description of “N”
- [cosmetic] “umc_direct” reworded the description of “tau_height”
- [cosmetic] “verify_quantum_walk” reworded the description of “end”
- [cosmetic] “math_court” reworded the description of “x”
- [cosmetic] “verify_topological_word” reworded the description of “word”
- [cosmetic] “verify_quantum_walk” reworded the description of “start”
- [cosmetic] “math_court” reworded the description of “q_hex”
- [cosmetic] “math_court” reworded the description of “dilation”
- [cosmetic] “verify_quantum_walk” reworded the description of “steps”
- [cosmetic] “math_court” reworded the description of “bits”
- [cosmetic] “verify_jordan_bond” reworded the description of “target_creator_hash”
- [cosmetic] “math_court” reworded the description of “alice”
- [cosmetic] “math_court” reworded the description of “cofactor”
- [cosmetic] “math_court” reworded the description of “start”
- [cosmetic] “verify_quantum_counting” reworded the description of “oracle”
- [cosmetic] “lattice_op” reworded the description of “mask”
- [cosmetic] “math_court” reworded the description of “decoded”
- [cosmetic] “math_court” reworded the description of “phases”
- [cosmetic] “math_court” reworded the description of “answers”
- [cosmetic] “math_court” reworded the description of “corrections”
- [cosmetic] “umc_direct” reworded the description of “session_id”
- [cosmetic] “math_court” reworded the description of “hidden”
- [cosmetic] “math_court” reworded the description of “role”
- [cosmetic] “verify_jordan_bond” reworded the description of “q_hex”
- [cosmetic] “lattice_op” reworded the description of “op”
- [cosmetic] “math_court” reworded the description of “config”
- [cosmetic] “math_court” reworded the description of “fraction”
- [cosmetic] “verify_bell_measurement” reworded the description of “class”
- [cosmetic] “umc_direct” reworded the description of “title”
- [cosmetic] “math_court” reworded the description of “marked”
- [cosmetic] “math_court” reworded the description of “domain”
- [cosmetic] “lattice_op” reworded the description of “K”
- [cosmetic] “verify_quantum_counting” reworded the description of “count”
- [cosmetic] “math_court” reworded the description of “bob”
- [cosmetic] “math_court” reworded the description of “scenario”
- [cosmetic] “math_court” reworded the description of “class”
- [cosmetic] “math_court” reworded the description of “mask”
- [cosmetic] “math_court” reworded the description of “count”
- [cosmetic] “route_spin_glass_manifold” reworded the description of “spins”
- [cosmetic] “verify_jordan_bond” reworded the description of “source_creator_hash”
- [cosmetic] “math_court” reworded the description of “factor”
- [cosmetic] “verify_phase_kickback” reworded the description of “m”
- [cosmetic] “math_court” reworded the description of “phase”
- [cosmetic] “verify_qaoa_energy” reworded the description of “spins”
- [cosmetic] “verify_jordan_bond” reworded the description of “A”
- [cosmetic] “math_court” reworded the description of “oracle”
- [cosmetic] “verify_simon” reworded the description of “fy”
- [cosmetic] “math_court” reworded the description of “end”
- [cosmetic] “umc_resume” reworded the description of “direct”
- [cosmetic] “math_court” reworded the description of “ab”
- [cosmetic] “math_court” reworded the description of “constraints”
- [cosmetic] “math_court” reworded the description of “rounds”
- [cosmetic] “verify_simon” reworded the description of “fx”
- [cosmetic] “verify_topological_word” reworded the description of “q”

## MCP tools (51)

### `affine_translate_text` (~270 tokens)

Renders text from one natural language into another for the flash — the client sends English text nodes, the cell answers, the client puts the answer back into the DOM. No model anywhere: exact-integer linguistic coordinate transformation over the mined discrete manifolds (zero-float, deterministic) wherever a pair's ψ charts are derived; until then the pair's sealed template of projections (data on the cell, each entry sealed by a named author) answers, and every text it does not hold comes back null and named in missing — never guessed. source_lang is required ('auto' is REFUSED_NO_SOURCE). Batch: texts (array, up to 64, 64 KiB) returns texts in order; status RENDERED (all sealed), PARTIAL (some), REFUSED_NO_PROJECTION (none), REFUSED_NO_TEMPLATE naming the pairs served.

Input parameters:

- `preserve_register` (boolean): exact court only: preserve tense, modality and register
- `source_lang` (string, required): ISO 639-1 source language; required, 'auto' refused
- `target_lang` (string, required): ISO 639-1 target language
- `text` (string): one source text to render
- `texts` (array): up to 64 source texts; rendered in order, one line each

### `atc.assert_4d_deconfliction` (~694 tokens)

Exact 4D separation over declared trajectories in integer-scaled geodetic coordinates: decide whether any two are ever SIMULTANEOUSLY inside the stated separation minima, and return either a separation certificate or the violating pair with the exact interval and magnitude of the incursion. Integer micro-degrees, feet and seconds with rational time parameters; no floating point and no epsilon, so separation exactly equal to the minima is separated and nine cells return the same verdict from the same bytes. The longitude frame is the caller's to state exactly, as an optional rational scale with its reference latitude, so the cos(latitude) approximation is chosen deliberately and on the record rather than done in floating point outside the boundary. Civil FAA/ICAO framing; a traffic-analysis instrument, never a control tool.

Input parameters:

- `horizontal_minima_micro_deg` (string, required): REQUIRED decimal string, no default -- a defaulted separation standard is a verdict about a rule the caller never stated
- `lon_scale_den` (string): OPTIONAL, denominator of the longitude scale as decimal string. RECOMMENDED: six digits or fewer. Cosine to 1e-6 is far below any error that could change a verdict about aircraft, and a six-digit den…
- `lon_scale_num` (string): OPTIONAL exact rational longitude scale, numerator as decimal string. Stands for cos(latitude), which is not rational -- so the caller states the approximation it chose and everything after that choi…
- `look_ahead_seconds` (string): optional horizon clipped forward from the earliest declared time, decimal string
- `obs_seq` (string): decimal string; a sealed AirspaceObservationSeal sequence is ONE INSTANT of sky and carries no time base, so supplying it alone returns NOT_MEASURED_OBSERVATION_SET_HAS_NO_TIME_BASE rather than a fab…
- `reference_lat_micro_deg` (string): OPTIONAL decimal string, the latitude the scale was computed for. REQUIRED whenever a scale is declared: all three fields travel together and a partial declaration is refused with REFUSED_INCOMPLETE_…
- `trajectories` (array, required): declared 4D paths: id plus waypoints as decimal strings, strictly advancing in time
- `vertical_minima_feet` (string, required): REQUIRED decimal string, no default

### `bond_presented_key` (~318 tokens)

QC-022 fused bond - the pipeline in ONE call: open key in, bond, verified pair, signature requirements. Post q_hex (the open key, uncompressed 04-prefixed pubkey hex; Q is accepted as the same face) and optionally A (the presented private face, 64-hex or decimal; k is the same face). q_hex ALONE answers UNPRESENTED_PAIR - no scalar on the wire; x(Q) is reported as ground because it is real and derivable, and it is PUBLIC, never a face. With A presented the court projects ground = A*G (scalar multiplication, total, no search - the same law project_affine_key runs) and grades the pair by the verify_presented_pair law: pair_verdict is WIN iff A*G == Q exactly, and A == x(Q) is the FALSE FACE, halting at APART_x_of_Q_is_public_not_a_face. sig_ready is true iff pair_verdict is WIN; pack_lock is ground on a WIN and absent otherwise. Malformed input answers in the court's REFUSED family. Floats refused. Deterministic. Does not ECDLP.

Input parameters:

- `A` (string): presented private face, 64-hex or decimal
- `Q` (string): same face as q_hex, old label
- `k` (string): same face as A, old label
- `q_hex` (string): open key, uncompressed 04-prefixed pubkey hex (required)

### `code_ir_equiv` (~313 tokens)

The Code Court's first move: are two implementations equivalent by the exact value multiset of their LLVM IR constants? THE PAYLOAD IS THE CODE FILE — submit two whole source files (left_file and right_file, each {path, content}, or files as an array of two). The result leaf is those same whole files under files, plus WIN (constant-pool digests identical), CODE_IR_DIVERGED (naming the first divergent value), NOT_KNOWN (nothing mineable), or a REFUSED_* refusal. Stateless and content-addressed — the same two files rule identically on every cell, so a reviewer re-checks by re-digesting, not by re-reading the diff. Compares the constant pool (a necessary, strong condition for the numeric kernels the corpus is built from), not full behavioural equivalence.

Input parameters:

- `files` (array): Exactly two whole files when left_file/right_file are not used. The payload IS the files.
- `left_file` (object): Whole source file of the first implementation. The payload IS the file.
- `left_ir` (string): LEGACY fragment of the first implementation. Still accepted and lifted into a whole file with a defaulted path; prefer left_file.
- `right_file` (object): Whole source file of the second implementation. The payload IS the file.
- `right_ir` (string): LEGACY fragment of the second implementation. Still accepted and lifted into a whole file with a defaulted path; prefer right_file.

### `corpus_bonds` (~118 tokens)

Sealed bonds from the Affine.Earth corpus (GAIA_SPATIAL_BOND_WIRES). mined_from is LLM_WEIGHTS or LLVM_IR. Stateless: pin at_seq to make the read reproducible across cells, or omit it to read the moving head.

Input parameters:

- `at_seq` (string): decimal string, caller-pinned stream position; same value = same bytes
- `limit` (string): decimal string, rows up to 8192; JSON numbers still admitted
- `sector` (string): hex sector prefix

### `corpus_capability_map` (~153 tokens)

Census of what the corpus has captured over a bounded window of sealed bonds: per lane (LLM_WEIGHTS, LLVM_IR, LLVM_IR_I64, AUDIO_SPEECH) the bond count and exact-orbit-closure count, plus distinct spatial sectors. Stateless: pin at_seq for a byte-stable census on every cell, or omit it to read the moving head.

Input parameters:

- `at_seq` (string): decimal string, caller-pinned stream position; same value = same bytes
- `limit` (string): decimal string, window size up to 8192
- `source` (string): optional lane filter: LLM_WEIGHTS, LLVM_IR, LLVM_IR_I64, AUDIO_SPEECH

### `corpus_coverage` (~116 tokens)

Fleet-wide mining coverage from the KV cursor bucket: per target and per cell, how many shard cursors stand, a bounded decoded sample (bonds acked, shards exhausted), and the bond stream's own standing message count. Roster-free — cells are discovered from the subjects they wrote, never from a table. Follows the moving head; not pinnable, and says so.

Input parameters:

- `cursor_sample` (string): decimal string, cursors to decode, up to 1024; the bound is stated in the reply

### `critique_frame` (~157 tokens)

Grade a rendered frame and return integer corrections. THE CRITIC IS DETERMINISTIC, NOT A MODEL: nine cells must reach the same verdict or the fleet's byte-identity is gone, and a cell reports generative:0 because it hosts no model. Scores 0-1000 and returns span/pitch deltas as integers.

Input parameters:

- `h` (string): decimal string
- `kind` (string)
- `n` (string): decimal string
- `seed` (string): decimal string; JSON numbers still admitted
- `span_scale_q16` (string): decimal string, framing to grade; 65536 = unity
- `t` (string): decimal string
- `w` (string): decimal string

### `execute_2local_hamiltonian` (~213 tokens)

QMA 2-local Hamiltonian, sealed as exact rational Jordan exclusions on the UUM-8D torus: given ZZ terms and a presented computational configuration, return the exact energy energy_num/energy_den and WIN. constraints are i,j,jnum,jden;... (sites i,j with coupling jnum/jden), config is s0,s1,... bits. The presented configuration is evaluated exactly; no ground state is searched. Same law as math_court domain qma_2local and verify_vqe_energy. Floats refused (REFUSED_FLOAT).

Input parameters:

- `config` (string): computational bits s0,s1,... each 0 or 1, one per site, e.g. 0,1
- `constraints` (string): ZZ terms i,j,jnum,jden;... e.g. 0,1,1,1 (sites 0 and 1, coupling 1/1)
- `jordanBondExclusions` (string): alias of constraints

### `execute_artifact_crucible` (~433 tokens)

Ingest an ARTIFACT INGESTION BRIEF plus the artifact an agent generated for it; evaluate it against the laws the brief declares; seal and return the artifact ONLY on the top rung. Headless by construction - a CI runner, a curl script, an autonomous agent and an editor all post the identical tools/call, because enforcement lives at the API layer and a frontend cannot bind a caller who does not use one. The brief is the single home for the target architecture; a target_architecture argument that contradicts it is REFUSED_ARCHITECTURE_CONFLICT rather than silently overriding it. Verdicts are a ladder, not a coin: CALORIE_AFFINE_ARTIFACT_DELIVERED / ARTIFACT_ASSEMBLED_NOT_DELIVERED / ARTIFACT_WIN_UNVERIFIABLE / ARTIFACT_PROTOCOL_CONTRADICTED / ARTIFACT_TARGET_ABSENT / ARTIFACT_LAW_BROKEN / NOT_KNOWN, with qmt_verdict WIN|MISS derived from the rung for callers who want one bit. A host with no toolchain returns REFUSED_NO_CRUCIBLE_HOST and NO qmt_verdict at all - nothing was judged, and reporting MISS would claim the geometry failed when the brief never reached the geometry.

Input parameters:

- `artifact` (string, required): The source the agent generated to satisfy the brief. Generation is the caller's half; the crucible compiles, evaluates and seals.
- `brief` (string, required): The complete ARTIFACT INGESTION BRIEF: four sections ([LANGUAGE GAME DEFINITION], [STRUCTURAL GOAL], [PAYLOAD SHAPE], [WASM MEMBRANE INTEGRATION]) with every field filled. The blank template is refus…
- `target_architecture` (string): OPTIONAL and redundant: the brief's [PAYLOAD SHAPE] is the single home for this value. Supplied only for callers using the original schema; a value that contradicts the brief is REFUSED_ARCHITECTURE_…

### `execute_exact_permanent` (~56 tokens)

\#P exact integer permanent, n≤3. matrix is a decimal-string grid. Float permanent refused. Same law as math_court domain qma_permanent.

Input parameters:

- `matrix` (string): rows | cells , integer entries

### `execute_transition` (~413 tokens)

Certified membrane: Rational S4/C4 lanes -> SCF boundary -> annihilate raw context -> NATS geometry-only turn -> Aristotelian projection. IDEMPOTENT: this membrane is stateless and keeps no record of a signature, so replaying an identical request is admitted and returns the identical receipt_hash rather than being refused as a replay. Safe to retry on a timeout; it is not a second transition.

Input parameters:

- `bond_status` (string)
- `c4_constraints` (array): Rational lanes as num/den strings
- `client_signature` (string, required): sha256(INTENT|scf_hex|user_vqbit_hash|genesis_epoch) first 16 bytes as 32 lowercase hex; or the game seal sha256(INTENT|scf_hex|user_vqbit_hash); or an ML-DSA-87 IDENTITY_BIND package. scf_hex is NOT…
- `economics` (object): Optional I_PF economics: executor hash + impact matrix (Rational weights).
- `entity_id` (string, required): wallet_geo entityID hex
- `intent` (string, required)
- `s4_coordinates` (array): Rational lanes as num/den strings
- `user_vqbit_hash` (string): Exactly 32 lowercase hex, or OMIT it and the cell derives sha256(entity_id|scf_hex)[0:16]. A stated value that is not 32 hex is REFUSED rather than replaced - the cell will not verify your signature…

### `expose` (~237 tokens)

Generic court ingest. kind selects the law. The act is strobe → emit → seal. affine_key strobes the Affine period from Q alone (UUM-8D reconvergence + add-law turn; no k), emits Jordan/vQbit, seals, and returns patoshi_expose + shors_qmt_witness + topological_shear. period_r carries an ECDLP scalar or is empty, never a shear label. Verdict is jordan_proven. qc_* / qma_* strobe the instance and seal energy. Empty kind returns the catalog. Named verify_* tools replay a sealed emit. Study domains forward to math_court. Floats refused.

Input parameters:

- `A` (string)
- `B` (string)
- `K` (string)
- `kind` (string): affine_key|jordan|lattice|qc_*|qma_*|math_court domain
- `object` (string): puzzle object; Affine key hex for affine_key
- `op` (string)
- `q_hex` (string): alias of object for affine_key
- `source` (string)

### `feeds_catalog` (~53 tokens)

Every feed a client can drive a game from - corpus lanes by mined_from, the live global feeds, and the transport each is reachable on (REST, RSS, MCP, NATS subject). Stateless; takes no arguments.

### `game_frame_meta` (~192 tokens)

Run a language-game context and return its state plus the cell's own self-evaluation of the rendered frame - integer score 0-1000 over occupancy, spread, contrast and edge quality, with the C4 span correction applied. Stateless: (kind, seed, t, n, at_seq) fully determine the result.

Input parameters:

- `at_seq` (string): decimal string, pinned corpus epoch
- `h` (string): decimal string
- `kind` (string)
- `max_iter` (string): decimal string, iteration cap, default 10
- `n` (string): decimal string, population
- `seed` (string): decimal string; JSON numbers still admitted
- `t` (string): decimal string, step index
- `target` (string): decimal string, refine until score >= this (0-1000, default 950)
- `w` (string): decimal string

### `ide_rebuild_mesh` (~26 tokens)

Trigger a Mac mesh rebuild from the IDE. Only permitted on the founder cell.

### `lattice_op` (~353 tokens)

Exact integer algebra on UUM-8D lattices - eight decimal lanes and a homology z, written x0,x1,x2,x3,x4,x5,x6,x7|z. op selects the law: verify (is A a well-formed lattice), shear (the J_Z shear of A against B through K), add, sub, mul (lane-wise), distance and locking_distance (integer lattice distances A to B), lane_mask (which lanes of A are non-zero), park (fold A by the 0-255 homology mask), permute_p1 and permute_p2 (the two Jordan permutations), is_zero. An empty op returns the list of ops. Every lane is a decimal integer string. Refusals are status REFUSED with the reason under proven: REFUSED_NO_PAIR when an operand is missing or has the wrong lane count, AFFINE_JZ_PARSE when a lane is not a decimal integer (a float lane lands here) - measured 2026-09-02. Same law as verify_jordan_bond, exposed one operation at a time so a caller can inspect intermediate values.

Input parameters:

- `A` (string): first lattice: x0,x1,x2,x3,x4,x5,x6,x7|z, decimal strings, negatives allowed
- `B` (string): second lattice for shear, add, sub, mul, distance, locking_distance; same shape as A
- `K` (string): the distance (kernel) lattice for shear; same shape as A
- `mask` (string): park only: decimal 0-255 homology mask
- `op` (string): the operation; empty lists the ops

### `math_court` (~6591 tokens)

Affine.Earth math court. domain+role+source run LatticeDomainIntegration (geometry Ehrhart, chance QPR, algebra Connes, physics table, health, finance, integer industry courts, QMA 2-local / spin-glass / N-rep / permanent, QC-001..019 presented-config verifiers, QC-021 presented (k,Q), and affine_key Q-only expose). domain affine_key returns patoshi_expose + shors_qmt_witness + topological_shear; period_r carries an ECDLP scalar or is empty, never a shear label; no k. Empty domain returns the court catalog. Decimal strings on the wire. Floats refused.

Input parameters:

- `A` (string): decimal string. Read by qc_affine_key/researcher. Post it only for those domains; a court names the fields it grades on in its REFUSED_NO_INSTANCE detail.
- `M` (string): decimal string. Read by qc_ampest/researcher. Post it only for those domains; a court names the fields it grades on in its REFUSED_NO_INSTANCE detail.
- `N` (string): decimal string. Read by qc_ampest/researcher, qc_period/researcher, qc_shor/researcher, qc_shor_twin/researcher. Post it only for those domains; a court names the fields it grades on in its REFUSED_N…
- `Q` (string): decimal string. Read by qc_affine_key/researcher. Post it only for those domains; a court names the fields it grades on in its REFUSED_NO_INSTANCE detail.
- `a` (string): decimal string. Read by qc_period/researcher. Post it only for those domains; a court names the fields it grades on in its REFUSED_NO_INSTANCE detail.
- `ab` (string): decimal string. Read by qc_bell/researcher. Post it only for those domains; a court names the fields it grades on in its REFUSED_NO_INSTANCE detail.
- `alice` (string): decimal string. Read by qc_teleport/researcher. Post it only for those domains; a court names the fields it grades on in its REFUSED_NO_INSTANCE detail.
- `answers` (string): decimal string. Read by qc_bv/researcher. Post it only for those domains; a court names the fields it grades on in its REFUSED_NO_INSTANCE detail.
- `arc_order_ppt` (string): decimal string. Read by eht/experimentalist, eht/theorist. Post it only for those domains; a court names the fields it grades on in its REFUSED_NO_INSTANCE detail.
- `arm_counts` (array): health/trialist,regulator and the health grader: per-arm assay counts as an array of decimal strings, e.g. ["30","30"]
- `arrival_min` (string): decimal string. Read by fluids/operator. Post it only for those domains; a court names the fields it grades on in its REFUSED_NO_INSTANCE detail.
- `b` (string): decimal string. Read by qc_hhl/researcher. Post it only for those domains; a court names the fields it grades on in its REFUSED_NO_INSTANCE detail.
- `bits` (string): decimal string. Read by qc_superdense/researcher. Post it only for those domains; a court names the fields it grades on in its REFUSED_NO_INSTANCE detail.
- `bob` (string): decimal string. Read by qc_teleport/researcher. Post it only for those domains; a court names the fields it grades on in its REFUSED_NO_INSTANCE detail.
- `cid` (string): decimal string. Read by chemistry/chemist, chemistry/steward, complex/chemist, complex/researcher, complex/steward. Post it only for those domains; a court names the fields it grades on in its REFUSE…
- `cited_id` (string): decimal string. Read by dynamo/researcher, dynamo/steward, dynamo/theorist, gofirst/combinatorist, gofirst/steward, rife/researcher, rife/steward. Post it only for those domains; a court names the fi…
- `cited_url` (string): decimal string. Read by dynamo/researcher, rife/researcher. Post it only for those domains; a court names the fields it grades on in its REFUSED_NO_INSTANCE detail.
- `class` (string): decimal string. Read by qc_bell/researcher, qc_dj/researcher. Post it only for those domains; a court names the fields it grades on in its REFUSED_NO_INSTANCE detail.
- `clock` (string): decimal string. Read by health/regulator, health/trialist, physics/detector, physics/experimentalist, physics/theorist. Post it only for those domains; a court names the fields it grades on in its RE…
- `closure_conc_ppt` (string): decimal string. Read by eht/experimentalist, eht/theorist. Post it only for those domains; a court names the fields it grades on in its REFUSED_NO_INSTANCE detail.
- `cod` (string): decimal string. Read by material/crystallographer, material/steward. Post it only for those domains; a court names the fields it grades on in its REFUSED_NO_INSTANCE detail.
- `cofactor` (string): decimal string. Read by qc_shor/researcher, qc_shor_twin/researcher. Post it only for those domains; a court names the fields it grades on in its REFUSED_NO_INSTANCE detail.
- `color_isolated` (string): decimal string. Read by qcd/jet_analyst. Post it only for those domains; a court names the fields it grades on in its REFUSED_NO_INSTANCE detail.
- `config` (string): qma_2local / qc_vqe: computational bits s0,s1,... each 0 or 1
- `confinement_ppm` (string): decimal string. Read by eclipse/gnss. Post it only for those domains; a court names the fields it grades on in its REFUSED_NO_INSTANCE detail.
- `constraints` (string): qma_2local / qc_vqe: ZZ terms as i,j,jnum,jden;... decimal strings
- `convention` (string): decimal string. Read by biosphere/radiative. Post it only for those domains; a court names the fields it grades on in its REFUSED_NO_INSTANCE detail.
- `corrections` (string): decimal string. Read by qc_teleport/researcher. Post it only for those domains; a court names the fields it grades on in its REFUSED_NO_INSTANCE detail.
- `count` (string): decimal string. Read by qc_count/researcher. Post it only for those domains; a court names the fields it grades on in its REFUSED_NO_INSTANCE detail.
- `d` (string): decimal string. Read by dynamo/researcher, dynamo/steward, dynamo/theorist. Post it only for those domains; a court names the fields it grades on in its REFUSED_NO_INSTANCE detail.
- `deci_dobson` (string): decimal string. Read by biosphere/ozone_column. Post it only for those domains; a court names the fields it grades on in its REFUSED_NO_INSTANCE detail.
- `decoded` (string): decimal string. Read by qc_superdense/researcher. Post it only for those domains; a court names the fields it grades on in its REFUSED_NO_INSTANCE detail.
- `den` (string): decimal string. Read by cs/compiler. Post it only for those domains; a court names the fields it grades on in its REFUSED_NO_INSTANCE detail.
- `den2` (string): cs/compiler: denominator of the second rational, > 0
- `depletion_ppm` (string): decimal string. Read by eclipse/gnss, eclipse/ionosonde, eclipse/steward. Post it only for those domains; a court names the fields it grades on in its REFUSED_NO_INSTANCE detail.
- `die_a` (array): gofirst: the 60 faces of die A as an array of decimal strings (the court reads an integer list; a comma string is REFUSED_CITED_MISMATCH)
- `die_b` (array): gofirst: die B faces, array of decimal strings
- `die_c` (array): gofirst: die C faces, array of decimal strings
- `die_d` (array): gofirst: die D faces, array of decimal strings
- `die_e` (array): gofirst: die E faces, array of decimal strings
- `dilation` (string): decimal string. Read by geometry/cad_engineer, geometry/digital_twin, geometry/regulator. Post it only for those domains; a court names the fields it grades on in its REFUSED_NO_INSTANCE detail.
- `dilation_t` (string): decimal string. Read by qcd/phenomenologist. Post it only for those domains; a court names the fields it grades on in its REFUSED_NO_INSTANCE detail.
- `doid` (string): decimal string. Read by disease/clinician, disease/registrar, disease/steward. Post it only for those domains; a court names the fields it grades on in its REFUSED_NO_INSTANCE detail.
- `domain` (string): the court to sit: one of the 49 catalog domains (biosphere, geometry, chance, algebra, physics, qcd, health, finance, cs, fluids, eclipse, eht, seismic, disease, chemistry, material, pdb, gofirst, co…
- `dry_mass_g` (string): decimal string. Read by biosphere/mass_ledger. Post it only for those domains; a court names the fields it grades on in its REFUSED_NO_INSTANCE detail.
- `edges` (string): qma_spinglass / qc_qaoa: couplings i,j,J;... integers
- `end` (string): decimal string. Read by qc_walk/researcher. Post it only for those domains; a court names the fields it grades on in its REFUSED_NO_INSTANCE detail.
- `face_counts` (array): gofirst: ["60","60","60","60","60"] for the cited Meyer 2023 5d60 tuple
- `factor` (string): decimal string. Read by qc_shor/researcher, qc_shor_twin/researcher. Post it only for those domains; a court names the fields it grades on in its REFUSED_NO_INSTANCE detail.
- `fraction` (string): decimal string. Read by qc_ampest/researcher. Post it only for those domains; a court names the fields it grades on in its REFUSED_NO_INSTANCE detail.
- `fx` (string): decimal string. Read by qc_simon/researcher. Post it only for those domains; a court names the fields it grades on in its REFUSED_NO_INSTANCE detail.
- `fy` (string): decimal string. Read by qc_simon/researcher. Post it only for those domains; a court names the fields it grades on in its REFUSED_NO_INSTANCE detail.
- `grade` (string): decimal string. Read by biosphere/coupling. Post it only for those domains; a court names the fields it grades on in its REFUSED_NO_INSTANCE detail.
- `halfPow` (string): decimal string. Read by qc_shor/researcher, qc_shor_twin/researcher. Post it only for those domains; a court names the fields it grades on in its REFUSED_NO_INSTANCE detail.
- `hba` (string): decimal string. Read by chemistry/chemist, complex/researcher. Post it only for those domains; a court names the fields it grades on in its REFUSED_NO_INSTANCE detail.
- `hbd` (string): decimal string. Read by chemistry/chemist, complex/researcher. Post it only for those domains; a court names the fields it grades on in its REFUSED_NO_INSTANCE detail.
- `hidden` (string): decimal string. Read by qc_bv/researcher. Post it only for those domains; a court names the fields it grades on in its REFUSED_NO_INSTANCE detail.
- `hz` (string): decimal string. Read by rife/researcher, rife/steward. Post it only for those domains; a court names the fields it grades on in its REFUSED_NO_INSTANCE detail.
- `icd` (string): decimal string. Read by disease/clinician, disease/registrar, disease/steward. Post it only for those domains; a court names the fields it grades on in its REFUSED_NO_INSTANCE detail.
- `inchikey` (string): decimal string. Read by chemistry/chemist, chemistry/steward, complex/chemist, complex/researcher, complex/steward. Post it only for those domains; a court names the fields it grades on in its REFUSE…
- `iterations` (string): decimal string. Read by qc_ampamp/researcher. Post it only for those domains; a court names the fields it grades on in its REFUSED_NO_INSTANCE detail.
- `jet_counts` (string): decimal string. Read by qcd/jet_analyst. Post it only for those domains; a court names the fields it grades on in its REFUSED_NO_INSTANCE detail.
- `jordanBondExclusions` (string): decimal string. Read by qma_2local/researcher. Post it only for those domains; a court names the fields it grades on in its REFUSED_NO_INSTANCE detail.
- `k` (string): decimal string. Read by qc_affine_key/researcher, qc_kickback/researcher, qc_pair/researcher, qc_qft/researcher, qc_qpe/researcher. Post it only for those domains; a court names the fields it grades…
- `label_int` (string): decimal string. Read by cs/ml_engineer. Post it only for those domains; a court names the fields it grades on in its REFUSED_NO_INSTANCE detail.
- `lag_s` (string): decimal string. Read by eclipse/gnss, eclipse/ionosonde. Post it only for those domains; a court names the fields it grades on in its REFUSED_NO_INSTANCE detail.
- `lipinski_violations` (string): decimal string. Read by chemistry/chemist, complex/researcher. Post it only for those domains; a court names the fields it grades on in its REFUSED_NO_INSTANCE detail.
- `long_median_ujy` (string): decimal string. Read by eht/detector, eht/experimentalist. Post it only for those domains; a court names the fields it grades on in its REFUSED_NO_INSTANCE detail.
- `loss_ticks` (string): decimal string. Read by finance/auditor, finance/risk. Post it only for those domains; a court names the fields it grades on in its REFUSED_NO_INSTANCE detail.
- `lots` (string): decimal string. Read by finance/auditor, finance/clearing, finance/trader. Post it only for those domains; a court names the fields it grades on in its REFUSED_NO_INSTANCE detail.
- `m` (string): decimal string. Read by qc_kickback/researcher, qc_qpe/researcher. Post it only for those domains; a court names the fields it grades on in its REFUSED_NO_INSTANCE detail.
- `marked` (string): qc_grover / qc_ampamp: the INDEX of the unique marked entry (0-based), not a count
- `mask` (string): decimal string. Read by qc_simon/researcher. Post it only for those domains; a court names the fields it grades on in its REFUSED_NO_INSTANCE detail.
- `mass_milli` (string): decimal string. Read by health/clinician, health/pharmacist. Post it only for those domains; a court names the fields it grades on in its REFUSED_NO_INSTANCE detail.
- `matrix` (string): qma_permanent / qc_hhl: rows separated by |, entries by comma, e.g. 1,1,1|1,1,1|1,1,1 (n <= 3 for the permanent)
- `mc_budget` (string): reach budget by name: 'survival' (4.5 blocks, exactly 19327352832 units) or 'creative' (6 blocks).
- `mc_budget_units` (string): reach or movement budget in exact lattice units, when not using mc_budget by name.
- `mc_centre_x` (string): block X at the centre of the enveloped context.
- `mc_centre_y` (string): block Y at the centre of the enveloped context.
- `mc_centre_z` (string): block Z at the centre of the enveloped context.
- `mc_claim` (string): minecraft gameplay claim to adjudicate: 'reaches' or 'moved_within'. The verbs a player uses, not coordinates.
- `mc_op` (string): minecraft court operation: 'project' (ingest one position onto the exact lattice) or 'adjudicate' (rule on a gameplay claim). Defaults to project.
- `mc_tick` (string): the server tick this context describes. Integer and supplied: the law never reads a clock, so a run can be replayed.
- `mc_to_x` (string): minecraft target X as a hex double bit pattern, for adjudicate.
- `mc_to_y` (string): minecraft target Y as a hex double bit pattern, for adjudicate.
- `mc_to_z` (string): minecraft target Z as a hex double bit pattern, for adjudicate.
- `mc_window_blocks` (string): edge of the enveloped context in whole blocks. Outside it the court declines to answer rather than clamping.
- `mc_x` (string): minecraft position X as a 16-digit hex IEEE-754 double bit pattern, e.g. 4021000000000000 for 8.5. The eight bytes the game sent, not a re-encoded decimal.
- `mc_y` (string): minecraft position Y as a hex double bit pattern. See mc_x.
- `mc_z` (string): minecraft position Z as a hex double bit pattern. See mc_x.
- `milli_w_per_m2` (string): decimal string. Read by biosphere/radiative. Post it only for those domains; a court names the fields it grades on in its REFUSED_NO_INSTANCE detail.
- `mp_id` (string): decimal string. Read by material/crystallographer, material/steward. Post it only for those domains; a court names the fields it grades on in its REFUSED_NO_INSTANCE detail.
- `n` (string): decimal string. Read by dynamo/researcher, dynamo/steward, dynamo/theorist, qc_qft/researcher, qma_nrep/researcher, qma_nrep/steward. Post it only for those domains; a court names the fields it grade…
- `n_players` (string): decimal string. Read by gofirst/combinatorist. Post it only for those domains; a court names the fields it grades on in its REFUSED_NO_INSTANCE detail.
- `nm` (string): decimal string. Read by rife/researcher, rife/steward. Post it only for those domains; a court names the fields it grades on in its REFUSED_NO_INSTANCE detail.
- `null_conc_ppt` (string): decimal string. Read by eht/experimentalist, eht/theorist. Post it only for those domains; a court names the fields it grades on in its REFUSED_NO_INSTANCE detail.
- `num` (string): decimal string. Read by cs/compiler. Post it only for those domains; a court names the fields it grades on in its REFUSED_NO_INSTANCE detail.
- `num2` (string): cs/compiler: numerator of the second rational; the court seals a/b + c/d = (ad+bc)/bd exactly
- `num_atoms` (string): decimal string. Read by material/crystallographer. Post it only for those domains; a court names the fields it grades on in its REFUSED_NO_INSTANCE detail.
- `object` (string): decimal string. Read by affine_key/researcher. Post it only for those domains; a court names the fields it grades on in its REFUSED_NO_INSTANCE detail.
- `obscuration_ppm` (string): decimal string. Read by eclipse/gnss, eclipse/ionosonde, eclipse/steward. Post it only for those domains; a court names the fields it grades on in its REFUSED_NO_INSTANCE detail.
- `operator` (string): decimal string. Read by biosphere/mass_ledger. Post it only for those domains; a court names the fields it grades on in its REFUSED_NO_INSTANCE detail.
- `oracle` (string): qc_grover / qc_ampamp / qc_count: a 0/1 string of length 2..8; the marked entries are the 1s
- `origin_s` (string): decimal string. Read by fluids/operator. Post it only for those domains; a court names the fields it grades on in its REFUSED_NO_INSTANCE detail.
- `payload_sha256d` (string): decimal string. Read by cs/consensus. Post it only for those domains; a court names the fields it grades on in its REFUSED_NO_INSTANCE detail.
- `pdb_id` (string): decimal string. Read by complex/chemist, complex/researcher, complex/steward, pdb/crystallographer, pdb/researcher, pdb/steward. Post it only for those domains; a court names the fields it grades on…
- `pearson` (string): decimal string. Read by material/crystallographer. Post it only for those domains; a court names the fields it grades on in its REFUSED_NO_INSTANCE detail.
- `perm_den` (string): decimal string. Read by gofirst/combinatorist, gofirst/steward. Post it only for those domains; a court names the fields it grades on in its REFUSED_NO_INSTANCE detail.
- `perm_num` (string): decimal string. Read by gofirst/combinatorist, gofirst/steward. Post it only for those domains; a court names the fields it grades on in its REFUSED_NO_INSTANCE detail.
- `phase` (string): decimal string. Read by qc_kickback/researcher, qc_qpe/researcher. Post it only for those domains; a court names the fields it grades on in its REFUSED_NO_INSTANCE detail.
- `phases` (string): decimal string. Read by qc_qft/researcher. Post it only for those domains; a court names the fields it grades on in its REFUSED_NO_INSTANCE detail.
- `phi_in` (string): decimal string. Read by fluids/certifier, fluids/cfd_vendor, fluids/designer. Post it only for those domains; a court names the fields it grades on in its REFUSED_NO_INSTANCE detail.
- `phi_out` (string): decimal string. Read by fluids/certifier, fluids/cfd_vendor, fluids/designer. Post it only for those domains; a court names the fields it grades on in its REFUSED_NO_INSTANCE detail.
- `pn_pred_s` (string): decimal string. Read by seismic/treaty. Post it only for those domains; a court names the fields it grades on in its REFUSED_NO_INSTANCE detail.
- `polytope_id` (string): decimal string. Read by geometry/cad_engineer, geometry/digital_twin, geometry/regulator. Post it only for those domains; a court names the fields it grades on in its REFUSED_NO_INSTANCE detail.
- `presentation` (string): decimal string. Read by algebra/phenomenologist, algebra/qft_theorist. Post it only for those domains; a court names the fields it grades on in its REFUSED_NO_INSTANCE detail.
- `proper_divisors` (string): decimal string. Read by qc_period/researcher. Post it only for those domains; a court names the fields it grades on in its REFUSED_NO_INSTANCE detail.
- `q` (string): decimal string. Read by dynamo/researcher, dynamo/steward, dynamo/theorist, qc_topo/researcher. Post it only for those domains; a court names the fields it grades on in its REFUSED_NO_INSTANCE detail.
- `q_bin` (string): decimal string. Read by qcd/jet_analyst, qcd/phenomenologist. Post it only for those domains; a court names the fields it grades on in its REFUSED_NO_INSTANCE detail.
- `q_hex` (string): qc_pair / affine_key: a secp256k1 public point as 130-hex uncompressed (04...) or 66-hex compressed
- `queries` (string): decimal string. Read by qc_bv/researcher. Post it only for those domains; a court names the fields it grades on in its REFUSED_NO_INSTANCE detail.
- `r` (string): decimal string. Read by dynamo/researcher, dynamo/steward, dynamo/theorist, qc_period/researcher, qc_topo/researcher. Post it only for those domains; a court names the fields it grades on in its REFU…
- `ratio_ppt` (string): decimal string. Read by eht/detector, eht/experimentalist. Post it only for those domains; a court names the fields it grades on in its REFUSED_NO_INSTANCE detail.
- `residual_int` (string): decimal string. Read by fluids/cfd_vendor. Post it only for those domains; a court names the fields it grades on in its REFUSED_NO_INSTANCE detail.
- `rho2` (string): qma_nrep: 2x2 rational 2-RDM, rows by |, entries num/den, e.g. 1/2,0/1|0/1,1/2
- `role` (string): the role on that domain (from the catalog); the role names which may_ingest fields the court reads
- `rounds` (string): decimal string. Read by chance/compiler, chance/consensus, chance/quantum_info. Post it only for those domains; a court names the fields it grades on in its REFUSED_NO_INSTANCE detail.
- `scenario` (string): biosphere/regulator joint ledger: measured_2025 | authorised_19408 | gen3_filed_100000 | orbital_data_centres
- `score_den` (string): decimal string. Read by cs/ml_engineer. Post it only for those domains; a court names the fields it grades on in its REFUSED_NO_INSTANCE detail.
- `score_num` (string): decimal string. Read by cs/ml_engineer. Post it only for those domains; a court names the fields it grades on in its REFUSED_NO_INSTANCE detail.
- `short_median_ujy` (string): decimal string. Read by eht/detector, eht/experimentalist. Post it only for those domains; a court names the fields it grades on in its REFUSED_NO_INSTANCE detail.
- `snr_ppt` (string): decimal string. Read by seismic/station, seismic/treaty. Post it only for those domains; a court names the fields it grades on in its REFUSED_NO_INSTANCE detail.
- `source` (string): attribution for the ingest (who or what posted it); absence is refused
- `space_group` (string): decimal string. Read by material/crystallographer, material/steward. Post it only for those domains; a court names the fields it grades on in its REFUSED_NO_INSTANCE detail.
- `spins` (string): qma_spinglass / qc_qaoa: discrete spins +1,-1,... one per site
- `start` (string): decimal string. Read by qc_walk/researcher. Post it only for those domains; a court names the fields it grades on in its REFUSED_NO_INSTANCE detail.
- `station` (string): decimal string. Read by biosphere/ozone_column. Post it only for those domains; a court names the fields it grades on in its REFUSED_NO_INSTANCE detail.
- `steps` (string): decimal string. Read by qc_walk/researcher. Post it only for those domains; a court names the fields it grades on in its REFUSED_NO_INSTANCE detail.
- `table` (string): decimal string. Read by qc_dj/researcher. Post it only for those domains; a court names the fields it grades on in its REFUSED_NO_INSTANCE detail.
- `table_counts` (string): decimal string. Read by physics/detector, physics/experimentalist. Post it only for those domains; a court names the fields it grades on in its REFUSED_NO_INSTANCE detail.
- `tau_s` (string): decimal string. Read by health/clinician. Post it only for those domains; a court names the fields it grades on in its REFUSED_NO_INSTANCE detail.
- `term` (string): decimal string. Read by biosphere/coupling. Post it only for those domains; a court names the fields it grades on in its REFUSED_NO_INSTANCE detail.
- `threshold_ticks` (string): decimal string. Read by finance/risk. Post it only for those domains; a court names the fields it grades on in its REFUSED_NO_INSTANCE detail.
- `ticks` (string): decimal string. Read by finance/auditor, finance/clearing, finance/trader. Post it only for those domains; a court names the fields it grades on in its REFUSED_NO_INSTANCE detail.
- `track` (string): decimal string. Read by physics/detector, physics/experimentalist, physics/theorist. Post it only for those domains; a court names the fields it grades on in its REFUSED_NO_INSTANCE detail.
- `travel_s` (string): decimal string. Read by seismic/station, seismic/treaty. Post it only for those domains; a court names the fields it grades on in its REFUSED_NO_INSTANCE detail.
- `vertices` (string): decimal string. Read by geometry/cad_engineer. Post it only for those domains; a court names the fields it grades on in its REFUSED_NO_INSTANCE detail.
- `vol_milli` (string): decimal string. Read by health/clinician, health/pharmacist. Post it only for those domains; a court names the fields it grades on in its REFUSED_NO_INSTANCE detail.
- `word` (string): decimal string. Read by algebra/phenomenologist, algebra/qft_theorist, qc_topo/researcher. Post it only for those domains; a court names the fields it grades on in its REFUSED_NO_INSTANCE detail.
- `x` (string): decimal string. Read by qc_hhl/researcher, qc_simon/researcher. Post it only for those domains; a court names the fields it grades on in its REFUSED_NO_INSTANCE detail.
- `y` (string): decimal string. Read by qc_simon/researcher. Post it only for those domains; a court names the fields it grades on in its REFUSED_NO_INSTANCE detail.
- `year` (string): decimal string. Read by biosphere/mass_ledger, biosphere/ozone_column. Post it only for those domains; a court names the fields it grades on in its REFUSED_NO_INSTANCE detail.

### `membrane_health` (~24 tokens)

Stateless membrane identity (mode, genesis epoch, subjects) plus cell listen facts.

### `noaa_goes_r_weather` (~129 tokens)

Live NOAA weather for the aviation radar lane. lane=weather returns real convective SIGMET hazard polygons (aviationweather.gov airsigmet) with altitude tops and movement vectors; lane=space returns real GOES-R primary X-ray flux plus NOAA scales, planetary K and OVATION aurora. No mock radar: an empty result is empty, a failed fetch is CURE.

Input parameters:

- `c4_invariant_scf` (string)
- `lane` (string): weather | space (maps to gaiaftcl.radar.*)
- `wallet_hash` (string)

### `project_affine_key` (~283 tokens)

Affine key projection on secp256k1. Post ONE face, receive the other. Post A (the private face, decimal or 64-hex; k is accepted as the same face) and the court projects Q = A*G and returns it - scalar multiplication, total, no search, closes for every A in [1, n-1]. Post BOTH A and q_hex and the same projection verifies the bond. Post q_hex ALONE and the other face is the discrete log: the court answers verdict CHI_EXHAUSTED with energy_num = n, the bond dimension this instance requires at the current probe (~1.16e77), over energy_den = 4096, the ceiling. That is a COST report, not a claim of impossibility and not a graded pair - the detail names the probe as the limit (an n-squared enumeration that closes to n=17), and the wire status reads MISS today. x(Q) is reported as ground because it is real and derivable, and it is PUBLIC, never a private face. The court never backfills the face it was asked for. Decimal or hex strings; empty means not posted. Floats refused.

Input parameters:

- `A` (string)
- `Q` (string)
- `k` (string)
- `q_hex` (string)

### `project_shor_twin` (~168 tokens)

QC-001b Shor TWIN projection. Post ONE half, receive the other. Post halfPow a (a^2 == 1 mod N, a != +/-1) and the court projects factor/cofactor by gcd(a-1,N) and gcd(a+1,N). Post factor and cofactor and it projects a by CRT (a == 1 mod factor, a == -1 mod cofactor). The projected half is verified before return. Bijection in polynomial time - it does not search for a period and does not derive a discrete log. Decimal strings; empty means not posted. Floats refused.

Input parameters:

- `N` (string)
- `cofactor` (string)
- `factor` (string)
- `halfPow` (string)

### `route_spin_glass_manifold` (~195 tokens)

QMA spin-glass / frustrated Ising: given integer couplings on edges and a presented +/-1 spin per site, return the exact Ising energy energy_num/energy_den and WIN. edges are i,j,J;... (the fixture 0,1,1;1,2,1;2,0,1 is the frustrated triangle), spins are +1,-1,... The presented configuration is evaluated exactly; no annealing and no ground-state search. Same law as math_court domain qma_spinglass and verify_qaoa_energy. Floats refused.

Input parameters:

- `edges` (string): couplings i,j,J;... integer J, e.g. 0,1,1;1,2,1;2,0,1
- `spins` (string): discrete spins +1,-1,... one per site, e.g. 1,-1,1

### `twin.robotics.evaluate_exact_ik` (~116 tokens)

Exact integer inverse kinematics over a declared piece chain: compose local frames from the sovereign anchor and report each piece's pose in whole milli-units. Zero floats, one Q16 normalization point, byte-identical on arm64 and wasm32.

Input parameters:

- `piece_id` (string, required): decimal string, the piece to solve for
- `pieces` (array, required): declared PieceFrame rows as decimal strings
- `relative_to_head` (boolean): state the pose relative to the head (camera-free) rather than the anchor

### `umc_direct` (~442 tokens)

Start or advance a Universal Manifold Controller Long Play session for one domain (cinema, aviation, gaming or coding): seed the session, decompose the tau height into integer turns, measure the Rational torsion of each turn, shear-correct, converge, and (with checkpoint=true) seal the tip to the UMC_LONG_PLAY KV bucket so umc_resume can continue it on any cell. GRANT CLASS MESH: the call must carry a caller identity - user_vqbit_hash (32 lowercase hex), entity_id or wallet_hash - or it is refused as REFUSED_GRANT_MESH_IDENTITY_REQUIRED with the invocation still sealed. Measured 2026-09-02 with an identity: status CALORIE_GAV_LONG_PLAY; tip carries session_id, node_id, domain, turn_index, tau_height, torsion as torsion_num/torsion_den (and the string torsion), amplitudes as exact rationals, invariant_root_hex, goal_satisfied, stagnant; publish carries the KV key and NATS subject gaiaftcl.umc.state.<domain>.<session_id>.<node_id>. Stateful by session_id + node_id; tau_height and max_turns are decimal strings; floats refused. Use umc_status to read the tip without advancing it.

Input parameters:

- `checkpoint` (boolean): true seals the tip to the KV bucket at the end of the call so umc_resume can pick it up
- `domain` (string): which Long Play law governs the session
- `max_turns` (string): decimal string: hard cap on turns advanced by this call
- `node_id` (string): caller identity for the session (any stable string, e.g. a client name or vqbit hash)
- `session_id` (string): caller-chosen stable id; the same id on a later call resumes rather than restarts
- `tau_height` (string): decimal string: how far along tau to run this call (turns are integer steps of tau); omit for the domain default
- `title` (string): human label for the session, <= 80 characters, informational only

### `umc_resume` (~251 tokens)

Resume a Universal Manifold Controller Long Play from its latest sealed tip (local cache first, then the NATS KV bucket UMC_LONG_PLAY) for the given domain, session_id and node_id; direct=true advances one turn after resuming. GRANT CLASS MESH: requires a caller identity (user_vqbit_hash 32 lowercase hex, entity_id or wallet_hash) or the call is REFUSED_GRANT_MESH_IDENTITY_REQUIRED. Measured 2026-09-02 with an identity: status CALORIE_GAV_LONG_PLAY_RESUME and the same tip shape as umc_direct (turn_index, tau_height, torsion_num/torsion_den, amplitudes, invariant_root_hex). Use umc_direct to create or advance a session; use this to pick up where a previous call, tab or cell left off.

Input parameters:

- `direct` (boolean): true: after resuming, advance one turn (equivalent to one umc_direct call)
- `domain` (string, required): the domain the session was started under
- `node_id` (string, required): the node id given to umc_direct
- `session_id` (string, required): the session id given to umc_direct

### `umc_status` (~113 tokens)

Read-only: the Universal Manifold Controller tip, the KV buckets it seals to (UMC_LONG_PLAY, C4_STATES, JORDAN_BONDS), the four Long Play domains, the NATS subjects it publishes on (gaiaftcl.umc.state.> and gaiaftcl.agent.state.>) and the documented MCP tool surface. Takes no arguments, advances nothing, and is safe to call at any rate. Use it to discover what umc_direct and umc_resume will act on.

### `verify_amplitude_amplification` (~175 tokens)

QC-009 Amplitude amplification: the Grover oracle check (oracle is a 0/1 string of length 2..8, marked is the INDEX of its unique 1) plus the presented iterate count; at N=4 exactly one iteration amplifies the marked entry, so iterations must be 1 for a WIN. Returns the inner Grover verdict and the iteration check. A presented witness is verified; no amplitude is estimated. Floats refused.

Input parameters:

- `iterations` (string): presented iterate count, decimal; 1 at N=4
- `marked` (string): 0-based index of the 1 (the marked entry), decimal
- `oracle` (string): 0/1 string, length 2..8, exactly one 1, e.g. 0001

### `verify_amplitude_estimation` (~50 tokens)

QC-010 Amplitude estimation. fraction must equal M/N exactly. Floats refused.

Input parameters:

- `M` (string)
- `N` (string)
- `fraction` (string)

### `verify_bell_measurement` (~133 tokens)

QC-018 Bell measurement: certify that the presented Bell class bits equal the presented two-qubit pair. ab is the two measured bits (e.g. 00, 11) and class is the two class bits the caller claims; WIN when they agree, MISS naming both when they do not. A presented witness is verified; no state is prepared or sampled. Bit strings only; floats refused.

Input parameters:

- `ab` (string): two measured bits, e.g. 00 or 11
- `class` (string): the two Bell-class bits claimed for the pair, e.g. 00

### `verify_bernstein_vazirani` (~61 tokens)

QC-007 Bernstein-Vazirani. answers[i] = popcount(hidden AND query_i) mod 2. Floats refused.

Input parameters:

- `answers` (string)
- `hidden` (string)
- `queries` (string)

### `verify_deutsch_jozsa` (~59 tokens)

QC-006 Deutsch-Jozsa. table is 0/1 of length 2 or 4. class is constant or balanced. Floats refused.

Input parameters:

- `class` (string)
- `table` (string)

### `verify_grover` (~67 tokens)

QC-002 Grover presented-oracle verifier. oracle is a 0/1 string of length 2..8; marked is the unique 1-index. Does not search the space. Floats refused.

Input parameters:

- `marked` (string)
- `oracle` (string)

### `verify_hhl` (~61 tokens)

QC-005 HHL. n<=2 integer A and rational b,x. Checks A x = b exactly. Does not invert. Floats refused.

Input parameters:

- `b` (string)
- `matrix` (string)
- `x` (string)

### `verify_jordan_bond` (~434 tokens)

Decide the UUM-8D Jordan bond J_Z: does (A*K + A_p1*K) - (K*B + K*B_p2) equal the zero lattice 0^8? A, B and K are eight decimal lanes and a homology z, x0,x1,x2,x3,x4,x5,x6,x7|z. Returns proven AFFINE_JZ_SHEAR_ZERO with the shear lattice (all zeros) when the bond holds, AFFINE_JZ_SHEAR with the non-zero shear when it does not, and admitted=false with quarantine_mask when the lattice is not matched against the sealed corpus (the quarantine is the surface declining to seal something it has not matched - not an error). Optional q_hex or object instead of lattices runs the Q-only Affine expose (a secp256k1 point, no private face) and returns patoshi_expose, shors_qmt_witness and topological_shear. Exact integers only; a float lane is REFUSED_FLOAT. Use lattice_op to inspect one operation of the same law.

Input parameters:

- `A` (string): x0,x1,x2,x3,x4,x5,x6,x7|z decimal lattice (the source)
- `B` (string): x0,x1,x2,x3,x4,x5,x6,x7|z decimal lattice (the target)
- `K` (string): x0,x1,x2,x3,x4,x5,x6,x7|z distance lattice (the kernel the shear runs through)
- `object` (string): alias of q_hex
- `q_hex` (string): optional: a secp256k1 point (130-hex 04... or 66-hex compressed) for the Q-only Affine expose instead of lattices
- `source_creator_hash` (string): legacy table limb, 32 hex; only for callers that do not present lattices
- `target_creator_hash` (string): legacy table limb, 32 hex; only for callers that do not present lattices

### `verify_n_representability` (~88 tokens)

QMA N-representability on a 2×2 rational 2-RDM. rho2 and n are decimal strings. Float SDP refused. Same law as math_court domain qma_nrep.

Input parameters:

- `n` (string): particle count as decimal string
- `rho2` (string): a11,a12|a21,a22 as num/den rationals

### `verify_period` (~79 tokens)

Presented period: a^r == 1 (mod N), gcd(a,N)=1. Optional proper_divisors must not themselves be periods. Does not search for r. Floats refused.

Input parameters:

- `N` (string)
- `a` (string)
- `proper_divisors` (string)
- `r` (string)

### `verify_phase_kickback` (~156 tokens)

QC-011 Phase kickback: certify that the presented phase equals k / 2^m exactly, as a rational. m is the register width (decimal), k the integer eigenphase index, phase the claimed rational written num/den (e.g. 1/2 for m=1, k=1). WIN or MISS with the exact rational the court computed. No estimation is performed; floats refused.

Input parameters:

- `k` (string): eigenphase index, decimal, 0 <= k < 2^m
- `m` (string): register width, decimal, >= 1
- `phase` (string): claimed phase as an exact rational num/den, e.g. 1/2

### `verify_presented_pair` (~199 tokens)

QC-021 Presented two-way affine pair. A (or k) is the private face — 64-hex or decimal; Q (or q_hex) is the public face. A == x(Q) is the FALSE FACE — x(Q) is public data, APART_x_of_Q_is_public_not_a_face, never WIN (founder 2026-09-02). The one WIN is Face·G == Q_live (kG==Q). Hex A legally contains e; a decimal point is the float. Empty on BOTH faces is REFUSED_EMPTY. Does not invent a third scalar. Does not ECDLP.

Input parameters:

- `A` (string): private face, 64-hex or decimal (founder name)
- `Q` (string): public face, hex
- `k` (string): same face as A, old label
- `q_hex` (string): same face as Q, old label

### `verify_qaoa_energy` (~190 tokens)

QC-014 QAOA: certify the energy of a presented spin string on a presented Ising instance - the PROBLEM QAOA optimises, not a pulse schedule and not a search. edges are couplings i,j,J;... (integers), spins are +1,-1,... one per site. Returns the exact integer energy as energy_num/energy_den and WIN when the presented string is evaluated (a MISS names a malformed instance). Same law as route_spin_glass_manifold and math_court domain qc_qaoa. Floats refused.

Input parameters:

- `edges` (string): couplings i,j,J;... e.g. 0,1,1;1,2,1;2,0,1 (integer J)
- `spins` (string): discrete spins +1,-1,... one per site, e.g. 1,-1,1

### `verify_qft_phases` (~73 tokens)

QC-003 QFT phase table. phase[j]=(j*k)/n as exact rationals. n in {2,4,8}. No sqrt(n) on the wire. Floats refused.

Input parameters:

- `k` (string)
- `n` (string)
- `phases` (string)

### `verify_qpe_phase` (~56 tokens)

QC-004 QPE. Presented phase must equal k/2^m exactly. m<=8. Floats refused.

Input parameters:

- `k` (string)
- `m` (string)
- `phase` (string)

### `verify_quantum_counting` (~133 tokens)

QC-015 Quantum counting: certify that count equals the number of 1s in the presented oracle string. oracle is a 0/1 string of length 2..8 (the marked entries are the 1s), count is the claimed number as a decimal string. WIN when equal, MISS naming the true count. A presented witness is verified; nothing is counted by amplitude. Floats refused.

Input parameters:

- `count` (string): claimed number of 1s, decimal
- `oracle` (string): 0/1 string, length 2..8, e.g. 0001

### `verify_quantum_walk` (~137 tokens)

QC-012 Quantum walk on the two-vertex cycle C2: from start (0 or 1), an even number of steps returns to start and an odd number lands on the other vertex; certify that the presented end matches. steps, start and end are decimal strings (start and end are 0 or 1). WIN or MISS naming the vertex the walk reaches. Floats refused.

Input parameters:

- `end` (string): claimed ending vertex, 0 or 1
- `start` (string): starting vertex, 0 or 1
- `steps` (string): number of steps, decimal, >= 0

### `verify_shor_witness` (~232 tokens)

QC-001 Shor witness certifier. Presented (N, halfPow, factor, cofactor) as decimal strings. halfPow squared == 1 (mod N), halfPow != 1 or N-1, gcd(halfPow-1,N)=factor, factor*cofactor=N. Does not find a period. Optional q_hex/object is a Q-only Affine expose (no k): returns patoshi_expose + shors_qmt_witness + topological_shear. period_r carries an ECDLP scalar or is empty; the Affine period turn's companion images travel as c1_recon_hex/c3_add_hex inside topological_shear, never as period_r. Verdict on a Q expose is the measured jordan_proven tag. Floats refused.

Input parameters:

- `N` (string)
- `cofactor` (string)
- `factor` (string)
- `halfPow` (string)
- `object` (string): alias of q_hex
- `q_hex` (string): optional Affine Q hex; Q-only expose envelope; no k

### `verify_simon` (~167 tokens)

QC-008 Simon collision: certify a presented collision for a hidden mask. x and y are equal-length bit strings with x != y and x XOR y == mask, and f(x) == f(y) (fx and fy are the presented function values). WIN when all three hold, MISS naming the failing relation. The mask is presented, never recovered. Floats refused.

Input parameters:

- `fx` (string): presented f(x), decimal or bit string
- `fy` (string): presented f(y); must equal fx
- `mask` (string): hidden mask as a bit string, e.g. 11
- `x` (string): first input bit string, same length as mask
- `y` (string): second input bit string; x XOR y must equal mask

### `verify_superdense` (~45 tokens)

QC-017 Superdense coding. decoded 2 bits must equal sent 2 bits. Floats refused.

Input parameters:

- `bits` (string)
- `decoded` (string)

### `verify_teleport` (~52 tokens)

QC-016 Teleport reconstruction. bob = alice XOR corrections on 2 bits. Floats refused.

Input parameters:

- `alice` (string)
- `bob` (string)
- `corrections` (string)

### `verify_topological_word` (~130 tokens)

QC-019 Topological word: certify that the presented Eisenstein pair (q, r) is the sealed pair for a cited word. word is one of the two cited words Z2_a2b or Z2_abAB (the sealed corpus; not a group scan), q and r are the claimed integers. WIN when (q, r) equals the sealed pair, MISS naming it. Floats refused.

Input parameters:

- `q` (string): claimed Eisenstein q, decimal
- `r` (string): claimed Eisenstein r, decimal
- `word` (string): the cited word

### `verify_vqe_energy` (~57 tokens)

QC-013 VQE problem, not the variational search. Same ZZ law as execute_2local_hamiltonian. Presented config energy. Floats refused.

Input parameters:

- `config` (string)
- `constraints` (string)

### `weather.convective_containment` (~229 tokens)

Exact containment of a declared track against convective cell boundaries, including NON-CONVEX footprints: decide whether the track stays outside every declared cell within that cell's altitude layer, and on a breach name the breaching segment, the cell, how the breach happens and the exact parameter along the segment where it does. Exact integer crossing number over micro-degree vertices, with the optional standoff decided by comparing squared distances — no square root, no floating point, no epsilon. Advisory only; not a dispatch or flight-planning authority.

Input parameters:

- `cells` (array, required): declared convective cells: id, vertices, and layer as decimal strings. Declaring none returns NOT_MEASURED_NO_CONVECTIVE_CELLS_DECLARED, never CONTAINED
- `margin_micro_deg` (string): optional standoff as decimal string in the same declared units; strict, so exactly this far away is contained
- `track_micro_deg` (array, required): lat_micro_deg,lon_micro_deg,alt_feet points as decimal strings; two or more, since this names a breaching SEGMENT

## Diagnostics

Captured diagnostic sections: TLS, DNSSEC, Authorisation, Transports. The full working is on the page: https://verifymcp.io/servers/earth-affine-math-court/language-invariant-mcp#diagnostics

## Score history

- 2026-09-21: 65
- 2026-09-20: 65
- 2026-09-19: 64
- 2026-09-18: 64
- 2026-09-17: 64
- 2026-09-16: 63
- 2026-09-15: 63
- 2026-09-14: 62
- 2026-09-13: 62
- 2026-09-12: 61
- 2026-09-11: 61
- 2026-09-10: 60
- 2026-09-09: 60
- 2026-09-08: 59
- 2026-09-07: 59
- 2026-09-06: 59
- 2026-09-05: 58
- 2026-09-04: 58
- 2026-09-03: 47
- 2026-09-02: 48
- 2026-09-01: 56
- 2026-08-31: 56
- 2026-08-30: 56
- 2026-08-29: 56
- 2026-08-28: 56
- 2026-08-27: 56
- 2026-08-26: 47
- 2026-08-25: 55
- 2026-08-24: 55
- 2026-08-23: 54

## Common questions

### What is the Affine.Earth Math Court MCP server?

Affine.Earth Math Court is an MCP server listed in the public MCP registry as earth.affine/math-court. No-float UUM-8D Math Court. Integer courts and certified MCP. Floats refused. This page covers its hosted endpoint (https://affine.earth/language-invariant/mcp).

### Is the Affine.Earth Math Court MCP server safe to use?

Affine.Earth Math Court scores 65 out of 100 on VerifyMCP. That is a record of what we were able to check automatically, not an endorsement. The category breakdown on this page shows every signal behind the number, including the ones we could not confirm.

### What tools does the Affine.Earth Math Court MCP server expose?

Affine.Earth Math Court exposes 51 tools: affine_translate_text, atc.assert_4d_deconfliction, bond_presented_key, code_ir_equiv, corpus_bonds, and 46 more. Their descriptions and schemas cost roughly 15,490 tokens of context every time the server is loaded.

### Does the Affine.Earth Math Court MCP server require authentication?

No. We connected to Affine.Earth Math Court without credentials and it answered, so anything it exposes is reachable by anyone who knows the address.

### Is the Affine.Earth Math Court MCP server still maintained?

Affine.Earth Math Court is still listed as active in the MCP registry. We last reached this channel on 21 September 2026. Those dates come from our own scans of the registry and the channel itself, not from anything the publisher announced.

## Links

- Remote endpoint: https://affine.earth/language-invariant/mcp
- Repository: https://github.com/gaiaftcl-sudo/uum8dSolarResearch
- Website: https://affine.earth/language-game/#researcher
- Changelog RSS feed: https://verifymcp.io/servers/earth-affine-math-court/language-invariant-mcp.xml
- Changelog JSON feed: https://verifymcp.io/servers/earth-affine-math-court/language-invariant-mcp.json
- HTML version of this page: https://verifymcp.io/servers/earth-affine-math-court/language-invariant-mcp
