Affine.Earth Math Court

earth.affine/math-courtVersion 2026.8.24

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

Status

Responds350 msNov 14, 2026, 14:29 UTCAnswered our handshake without sign-in.

Registry data may be out of date

We could not refresh it, so this page shows the last copy.

Last checked: Nov 14, 2026, 14:29 UTC
Latency: 350 ms
Remotes responding: 1 of 2
Sign-in: No sign-in, Sign-in unknown
Hosting: Hosted outside the EU (detected)
Registry data as of: Nov 14, 2026, 22:14 UTC

Data from the official MCP Registry, checked by run.zero. How we check

Connect

Streamable HTTP

https://affine.earth/language-invariant/mcpResponds350 msNov 14, 2026, 14:29 UTC

No sign-in

Claude Code

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

Claude Desktop and claude.ai

1
2
3

Settings > Connectors > Add custom connector
Name: math-court
Remote MCP server URL: https://affine.earth/language-invariant/mcp

Cursor

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

VS Code

code --add-mcp '{"name":"math-court","type":"http","url":"https://affine.earth/language-invariant/mcp"}'

SSE

https://affine.earth/language-invariant/mcp/sseNot checkedUses SSE

Uses SSE (legacy), not checked

Built your own server? run.zero hosts MCP servers on European infrastructure.

Host your own MCP server on run.zero

Tools

63 tools

Tools of Affine.Earth Math Court
	Description		Read-only	Idempotent	Open world
`affine_math_court`Affine.Earth Sovereign Zero-Float M8 Math Court: evaluates exact integer/rational expressions, symbolic systems, modular arithmetic, Stein binary GCD/LCM, combinatorics, and Pythagorean rotor invariants with BornRes == 0.	Affine.Earth Sovereign Zero-Float M8 Math Court: evaluates exact integer/rational expressions, symbolic systems, modular arithmetic, Stein binary GCD/LCM, combinatorics, and Pythagorean rotor invariants with BornRes == 0.	No	Yes	Yes	No
`affine_translate_text`ONE CALL, ONE STATE, EVERY LANGUAGE A PROJECTION across all 97 supported languages (9 RTL chiral w2=-1). Pass target_langs (or [""] / ["97"]) to seal the texts state once and receive one projection per language under projections; pass target_lang alone for a single projection receipt (status RENDERED, PARTIAL, or REFUSED_*). Exact integer symmetric Dice association, positional alignment, productive morphology, closed-class concord, and J_Z scalar conservation; zero models, zero floats.	ONE CALL, ONE STATE, EVERY LANGUAGE A PROJECTION across all 97 supported languages (9 RTL chiral w2=-1). Pass target_langs (or [""] / ["97"]) to seal the texts state once and receive one projection per language under projections; pass target_lang alone for a single projection receipt (status RENDERED, PARTIAL, or REFUSED_*). Exact integer symmetric Dice association, positional alignment, productive morphology, closed-class concord, and J_Z scalar conservation; zero models, zero floats.	No	Yes	Yes	No
`amb128_codec`Affine.Earth AMB-128 Wire Codec & Chirotope Inspector: inspects 8xUInt128 LE basis epoch, surface IDs, 97-language parity, and chiByte invariants.	Affine.Earth AMB-128 Wire Codec & Chirotope Inspector: inspects 8xUInt128 LE basis epoch, surface IDs, 97-language parity, and chiByte invariants.	No	Yes	Yes	No
`ast_code_verifier`Affine.Earth Pure-Swift Deterministic AST Code Verifier: synthesizes deterministic zero-float Python/Swift/SQL code and validates structural syntax, indentation, identifier scope, and algebraic doctests directly in Swift.	Affine.Earth Pure-Swift Deterministic AST Code Verifier: synthesizes deterministic zero-float Python/Swift/SQL code and validates structural syntax, indentation, identifier scope, and algebraic doctests directly in Swift.	No	Yes	Yes	No
`atc.assert_4d_deconfliction`Exact 4D separation over declared trajectories in integer-scaled geodetic coordinates (micro-degrees, feet, whole seconds, rational longitude scale): returns either a separation certificate or the violating pair with exact incursion interval and magnitude. Zero floats.	Exact 4D separation over declared trajectories in integer-scaled geodetic coordinates (micro-degrees, feet, whole seconds, rational longitude scale): returns either a separation certificate or the violating pair with exact incursion interval and magnitude. Zero floats.	No	Yes	Yes	No
`bond_presented_key`QC-022 fused bond on secp256k1: post q_hex (uncompressed 04-prefixed pubkey hex) and optionally A (private face, 64-hex or decimal). Projects ground = AG and grades the pair by verify_presented_pair (WIN iff AG == Q; x(Q) alone is UNPRESENTED_PAIR). Deterministic, zero floats, does not ECDLP.	QC-022 fused bond on secp256k1: post q_hex (uncompressed 04-prefixed pubkey hex) and optionally A (private face, 64-hex or decimal). Projects ground = AG and grades the pair by verify_presented_pair (WIN iff AG == Q; x(Q) alone is UNPRESENTED_PAIR). Deterministic, zero floats, does not ECDLP.	No	Yes	Yes	No
`civic_shield_audit`Affine.Earth CivicShield Court: verifies 10,240-wallet peel-chain and BGP geodesic invariants via Stein Binary GCD with BornRes == 0.	Affine.Earth CivicShield Court: verifies 10,240-wallet peel-chain and BGP geodesic invariants via Stein Binary GCD with BornRes == 0.	No	Yes	Yes	No
`code_ir_equiv`Code Court LLVM IR constant-pool equivalence verifier: compares two textual .ll files (left_file and right_file, or files array) by the exact multiset digest of their scalar and vector IR constants. Returns WIN when equal or CODE_IR_DIVERGED naming the first unmatched value.	Code Court LLVM IR constant-pool equivalence verifier: compares two textual .ll files (left_file and right_file, or files array) by the exact multiset digest of their scalar and vector IR constants. Returns WIN when equal or CODE_IR_DIVERGED naming the first unmatched value.	No	Yes	Yes	No
`corpus_bonds`Sealed spatial bonds from the Affine.Earth corpus (GAIA_SPATIAL_BOND_ARCHIVE / facts.m8.idx). Stateless when at_seq is pinned.	Sealed spatial bonds from the Affine.Earth corpus (GAIA_SPATIAL_BOND_ARCHIVE / facts.m8.idx). Stateless when at_seq is pinned.	No	Yes	Yes	No
`corpus_capability_map`Census of sealed bonds over a bounded window per lane (LLM_WEIGHTS, LLVM_IR, LLVM_IR_I64, AUDIO_SPEECH) with exact-orbit-closure counts and spatial sectors.	Census of sealed bonds over a bounded window per lane (LLM_WEIGHTS, LLVM_IR, LLVM_IR_I64, AUDIO_SPEECH) with exact-orbit-closure counts and spatial sectors.	No	Yes	Yes	No
`corpus_coverage`Fleet-wide mining coverage from JetStream watermarks and cursor buckets: shard cursors, bonds acked, and standing stream message counts.	Fleet-wide mining coverage from JetStream watermarks and cursor buckets: shard cursors, bonds acked, and standing stream message counts.	No	Yes	Yes	No
`critique_frame`Deterministic frame critic (generative:0): grades a rendered language-game frame 0-1000 and returns integer span/pitch deltas with zero rotor/sync residual.	Deterministic frame critic (generative:0): grades a rendered language-game frame 0-1000 and returns integer span/pitch deltas with zero rotor/sync residual.	No	Yes	Yes	No
`execute_2local_hamiltonian`QMA 2-local Hamiltonian verifier over exact rational ZZ terms i,j,jnum,jden and configuration bits s0,s1,... on UUM-8D. Returns exact energy_num/energy_den (WIN at -1/1 with no aligned term). Floats refused.	QMA 2-local Hamiltonian verifier over exact rational ZZ terms i,j,jnum,jden and configuration bits s0,s1,... on UUM-8D. Returns exact energy_num/energy_den (WIN at -1/1 with no aligned term). Floats refused.	No	Yes	Yes	No
`execute_artifact_crucible`Ingest an ARTIFACT INGESTION BRIEF plus artifact (source or base64 WASM module) and grade rungs 0-7 against declared Affine laws and target architecture.	Ingest an ARTIFACT INGESTION BRIEF plus artifact (source or base64 WASM module) and grade rungs 0-7 against declared Affine laws and target architecture.	No	Yes	Yes	No
`execute_exact_permanent`Sharp-P exact integer permanent for n<=3 computed by direct expansion and cross-checked against Ryser formula (WIN when permanent == 6). Floats refused.	Sharp-P exact integer permanent for n<=3 computed by direct expansion and cross-checked against Ryser formula (WIN when permanent == 6). Floats refused.	No	Yes	Yes	No
`execute_transition`Certified stateless membrane transition: Rational S4/C4 lanes -> SpatialChordalFingerprint -> NATS geometry-only turn -> Aristotelian projection. Idempotent.	Certified stateless membrane transition: Rational S4/C4 lanes -> SpatialChordalFingerprint -> NATS geometry-only turn -> Aristotelian projection. Idempotent.	No	No	Yes	No
`expose`Generic court ingest (strobe -> emit -> seal) across affine_key, jordan, lattice, qc_, qma_, and math_court domains. Empty kind returns catalog. Floats refused.	Generic court ingest (strobe -> emit -> seal) across affine_key, jordan, lattice, qc_, qma_, and math_court domains. Empty kind returns catalog. Floats refused.	No	Yes	Yes	No
`feeds_catalog`Every feed a client can drive a game from: corpus lanes by mined_from, live global feeds, and transports (REST, RSS, MCP, NATS subject). Stateless; takes no arguments.	Every feed a client can drive a game from: corpus lanes by mined_from, live global feeds, and transports (REST, RSS, MCP, NATS subject). Stateless; takes no arguments.	No	Yes	Yes	No
`finance_shield_verify`Affine.Earth FinanceShield Court: decomposes market valuation (y) into fundamental bedrock (Ax) and shear (+tau) in exact Int128 micro-cents.	Affine.Earth FinanceShield Court: decomposes market valuation (y) into fundamental bedrock (Ax) and shear (+tau) in exact Int128 micro-cents.	No	Yes	Yes	No
`game_frame_meta`Run a language-game context (atc, proteins, materials, franklin) and return its state plus deterministic integer self-evaluation score 0-1000.	Run a language-game context (atc, proteins, materials, franklin) and return its state plus deterministic integer self-evaluation score 0-1000.	No	Yes	Yes	No
`ide_rebuild_mesh`Trigger a Mac mesh rebuild from the IDE. Permitted only with founder named grant.	Trigger a Mac mesh rebuild from the IDE. Permitted only with founder named grant.	No	No	Yes	No
`lattice_op`Exact integer algebra on UUM-8D 8-lane + homology-z lattices (verify, shear, add, sub, mul, distance, locking_distance, lane_mask, park, permute_p1, permute_p2, is_zero). Empty op lists ops.	Exact integer algebra on UUM-8D 8-lane + homology-z lattices (verify, shear, add, sub, mul, distance, locking_distance, lane_mask, park, permute_p1, permute_p2, is_zero). Empty op lists ops.	No	Yes	Yes	No
`m8_context_lattice`Affine.Earth M8ContextLattice Court: evaluates non-commutative M8 conversation fold, script/language detection across all 97 languages (9 RTL), and session recall witness.	Affine.Earth M8ContextLattice Court: evaluates non-commutative M8 conversation fold, script/language detection across all 97 languages (9 RTL), and session recall witness.	No	Yes	Yes	No
`math_court`Affine.Earth unified domain math court: evaluates LatticeDomainIntegration domains (geometry, chance, algebra, physics, health, finance, minecraft, qma_, qc_, affine_key) and exact symbolic integer/rational systems. Empty domain returns the court catalog.	Affine.Earth unified domain math court: evaluates LatticeDomainIntegration domains (geometry, chance, algebra, physics, health, finance, minecraft, qma_, qc_, affine_key) and exact symbolic integer/rational systems. Empty domain returns the court catalog.	No	Yes	Yes	No
`membrane_health`Stateless membrane identity (mode, genesis epoch, subjects, 97-language chart, 63-tool MCP parity, JetStream status) plus cell listen facts.	Stateless membrane identity (mode, genesis epoch, subjects, 97-language chart, 63-tool MCP parity, JetStream status) plus cell listen facts.	No	Yes	Yes	No
`noaa_goes_r_weather`Live NOAA weather and space-weather radar lane (weather convective SIGMET polygons or space GOES-R X-ray flux and planetary K).	Live NOAA weather and space-weather radar lane (weather convective SIGMET polygons or space GOES-R X-ray flux and planetary K).	No	Yes	Yes	Yes
`nphard_shield_court`Affine.Earth NPHardShield Court: enforces bounded C4 -> J_Z -> S4 Gray-quotient closure across SC-ACOPF, CVRPTW, 2-QBF, Z[omega], and FVS cosets.	Affine.Earth NPHardShield Court: enforces bounded C4 -> J_Z -> S4 Gray-quotient closure across SC-ACOPF, CVRPTW, 2-QBF, Z[omega], and FVS cosets.	No	Yes	Yes	No
`project_affine_key`Affine key projection on secp256k1: post A (private scalar) to project Q = A*G; post A and q_hex to verify the bond; post q_hex alone for CHI_EXHAUSTED bond-dimension cost report. Zero floats.	Affine key projection on secp256k1: post A (private scalar) to project Q = A*G; post A and q_hex to verify the bond; post q_hex alone for CHI_EXHAUSTED bond-dimension cost report. Zero floats.	No	Yes	Yes	No
`project_shor_twin`QC-001b Shor twin projection: post N and halfPow to project factor and cofactor via Stein GCD, or post N, factor, and cofactor to project halfPow via CRT. Floats refused.	QC-001b Shor twin projection: post N and halfPow to project factor and cofactor via Stein GCD, or post N, factor, and cofactor to project halfPow via CRT. Floats refused.	No	Yes	Yes	No
`release_regression`Franklin sign-off court over a canonical tab-separated Affine IDE release regression record (FRANKLIN_SIGNED_OFF when all arms pass, else CURE naming failing/missing arms).	Franklin sign-off court over a canonical tab-separated Affine IDE release regression record (FRANKLIN_SIGNED_OFF when all arms pass, else CURE naming failing/missing arms).	No	Yes	Yes	No
`route_spin_glass_manifold`QMA spin-glass / frustrated Ising verifier: returns exact integer Ising energy sum(J * s_i * s_j) over edges i,j,J and spins +1/-1 (WIN at ground energy -1 on frustrated triangle). Floats refused.	QMA spin-glass / frustrated Ising verifier: returns exact integer Ising energy sum(J * s_i * s_j) over edges i,j,J and spins +1/-1 (WIN at ground energy -1 on frustrated triangle). Floats refused.	No	Yes	Yes	No
`scene_compose`Compose one USDA stage document (int2[] px pairs, sea plane, camera, and scene_digest) from sealed scene_ingest assets verified against SceneProvenanceLaw.	Compose one USDA stage document (int2[] px pairs, sea plane, camera, and scene_digest) from sealed scene_ingest assets verified against SceneProvenanceLaw.	No	Yes	Yes	No
`scene_ingest`Ingest a scanned STL mesh (bytes_b64 or ASCII text) plus catalog license record into one welded integer micrometre USDA stage mesh and sealed provenance row.	Ingest a scanned STL mesh (bytes_b64 or ASCII text) plus catalog license record into one welded integer micrometre USDA stage mesh and sealed provenance row.	No	Yes	Yes	No
`study_usda`Compose a stateless USDA study document (study-51..study-54 or franklin-avatar) and return structuredContent.usda and layers without writing to cell disk.	Compose a stateless USDA study document (study-51..study-54 or franklin-avatar) and return structuredContent.usda and layers without writing to cell disk.	No	Yes	Yes	No
`twin.robotics.evaluate_exact_ik`Exact integer forward pose of the thirteen-piece Franklin avatar rig (ids 0..12) in whole milli-units over Pythagorean half-angle rotors (a^2 + b^2 - d^2 == 0). Zero floats.	Exact integer forward pose of the thirteen-piece Franklin avatar rig (ids 0..12) in whole milli-units over Pythagorean half-angle rotors (a^2 + b^2 - d^2 == 0). Zero floats.	No	Yes	Yes	No
`umc_direct`Start or advance a Universal Manifold Controller Long Play session (cinema, aviation, gaming, coding) with rational torsion measurement and KV checkpointing.	Start or advance a Universal Manifold Controller Long Play session (cinema, aviation, gaming, coding) with rational torsion measurement and KV checkpointing.	No	No	No	No
`umc_resume`Resume a Universal Manifold Controller Long Play session from its latest sealed tip in UMC_LONG_PLAY for domain, session_id, and node_id.	Resume a Universal Manifold Controller Long Play session from its latest sealed tip in UMC_LONG_PLAY for domain, session_id, and node_id.	No	No	No	No
`umc_status`Read-only Universal Manifold Controller status: sealed KV buckets (UMC_LONG_PLAY, C4_STATES, JORDAN_BONDS), Long Play domains, and NATS subjects.	Read-only Universal Manifold Controller status: sealed KV buckets (UMC_LONG_PLAY, C4_STATES, JORDAN_BONDS), Long Play domains, and NATS subjects.	No	Yes	Yes	No
`verify_amplitude_amplification`QC-009 Amplitude amplification verifier at N=4: checks 4-bit Grover oracle with single 1 at marked and iterations == 1. Floats refused.	QC-009 Amplitude amplification verifier at N=4: checks 4-bit Grover oracle with single 1 at marked and iterations == 1. Floats refused.	No	Yes	Yes	No
`verify_amplitude_estimation`QC-010 Amplitude estimation verifier: certifies presented rational fraction == M/N exactly. Floats refused.	QC-010 Amplitude estimation verifier: certifies presented rational fraction == M/N exactly. Floats refused.	No	Yes	Yes	No
`verify_bell_measurement`QC-018 Bell measurement verifier: certifies that presented Bell class bits equal measured two-qubit bit string ab. Floats refused.	QC-018 Bell measurement verifier: certifies that presented Bell class bits equal measured two-qubit bit string ab. Floats refused.	No	Yes	Yes	No
`verify_bernstein_vazirani`QC-007 Bernstein-Vazirani verifier: certifies answers[i] == popcount(hidden AND query_i) mod 2 across semicolon-separated queries. Floats refused.	QC-007 Bernstein-Vazirani verifier: certifies answers[i] == popcount(hidden AND query_i) mod 2 across semicolon-separated queries. Floats refused.	No	Yes	Yes	No
`verify_deutsch_jozsa`QC-006 Deutsch-Jozsa verifier: certifies truth table of length 2 or 4 is constant or balanced as claimed. Floats refused.	QC-006 Deutsch-Jozsa verifier: certifies truth table of length 2 or 4 is constant or balanced as claimed. Floats refused.	No	Yes	Yes	No
`verify_grover`QC-002 Grover presented-oracle verifier: oracle is a 0/1 string of length 2..8 and marked is the unique 1-index. Floats refused.	QC-002 Grover presented-oracle verifier: oracle is a 0/1 string of length 2..8 and marked is the unique 1-index. Floats refused.	No	Yes	Yes	No
`verify_hhl`QC-005 HHL linear system witness verifier: for n<=2 integer matrix A and rational vectors b, x, certifies A*x == b exactly without matrix inversion. Floats refused.	QC-005 HHL linear system witness verifier: for n<=2 integer matrix A and rational vectors b, x, certifies A*x == b exactly without matrix inversion. Floats refused.	No	Yes	Yes	No
`verify_jordan_bond`Decide UUM-8D Jordan bond J_Z: checks whether (AK + A_p1K) - (KB + KB_p2) == 0^8 over 8-lane integer lattices x0..x7\|z, or runs Q-only expose on q_hex. Floats refused.	Decide UUM-8D Jordan bond J_Z: checks whether (AK + A_p1K) - (KB + KB_p2) == 0^8 over 8-lane integer lattices x0..x7\|z, or runs Q-only expose on q_hex. Floats refused.	No	Yes	Yes	No
`verify_n_representability`QMA N-representability verifier on a 2x2 rational 2-RDM rho2 and particle count n. Float SDP refused.	QMA N-representability verifier on a 2x2 rational 2-RDM rho2 and particle count n. Float SDP refused.	No	Yes	Yes	No
`verify_period`Multiplicative order period verifier: certifies a^r == 1 (mod N), gcd(a,N) == 1, and a^d != 1 (mod N) for all posted proper_divisors. Floats refused.	Multiplicative order period verifier: certifies a^r == 1 (mod N), gcd(a,N) == 1, and a^d != 1 (mod N) for all posted proper_divisors. Floats refused.	No	Yes	Yes	No
`verify_phase_kickback`QC-011 Phase kickback verifier: certifies presented rational phase equals k / 2^m exactly. Floats refused.	QC-011 Phase kickback verifier: certifies presented rational phase equals k / 2^m exactly. Floats refused.	No	Yes	Yes	No
`verify_presented_pair`QC-021 Presented two-way affine pair verifier on secp256k1: certifies A*G == Q (and rejects false face A == x(Q)). Deterministic, zero floats.	QC-021 Presented two-way affine pair verifier on secp256k1: certifies A*G == Q (and rejects false face A == x(Q)). Deterministic, zero floats.	No	Yes	Yes	No
`verify_qaoa_energy`QC-014 QAOA Ising energy certifier: computes exact integer Ising energy sum(J * s_i * s_j) over edges and +/-1 spins (WIN at -1 on frustrated triangle). Floats refused.	QC-014 QAOA Ising energy certifier: computes exact integer Ising energy sum(J * s_i * s_j) over edges and +/-1 spins (WIN at -1 on frustrated triangle). Floats refused.	No	Yes	Yes	No
`verify_qft_phases`QC-003 QFT phase table verifier: certifies phases[j] == (j*k)/n as exact rationals for n in {2,4,8}. Floats refused.	QC-003 QFT phase table verifier: certifies phases[j] == (j*k)/n as exact rationals for n in {2,4,8}. Floats refused.	No	Yes	Yes	No
`verify_qpe_phase`QC-004 Quantum Phase Estimation verifier: certifies presented rational phase equals k / 2^m for 1 <= m <= 8. Floats refused.	QC-004 Quantum Phase Estimation verifier: certifies presented rational phase equals k / 2^m for 1 <= m <= 8. Floats refused.	No	Yes	Yes	No
`verify_quantum_counting`QC-015 Quantum counting verifier: certifies claimed count equals number of 1 bits in 0/1 oracle string of length 2..8. Floats refused.	QC-015 Quantum counting verifier: certifies claimed count equals number of 1 bits in 0/1 oracle string of length 2..8. Floats refused.	No	Yes	Yes	No
`verify_quantum_walk`QC-012 Quantum walk on cycle C2: certifies presented end vertex in {0,1} equals (start + steps) mod 2. Floats refused.	QC-012 Quantum walk on cycle C2: certifies presented end vertex in {0,1} equals (start + steps) mod 2. Floats refused.	No	Yes	Yes	No
`verify_shor_witness`QC-001 Shor witness certifier: certifies halfPow^2 == 1 (mod N), halfPow != 1 and N-1, gcd(halfPow-1,N) == factor, and factor*cofactor == N. Floats refused.	QC-001 Shor witness certifier: certifies halfPow^2 == 1 (mod N), halfPow != 1 and N-1, gcd(halfPow-1,N) == factor, and factor*cofactor == N. Floats refused.	No	Yes	Yes	No
`verify_simon`QC-008 Simon collision verifier: certifies x != y, x XOR y == mask, and fx == fy on bit strings. Floats refused.	QC-008 Simon collision verifier: certifies x != y, x XOR y == mask, and fx == fy on bit strings. Floats refused.	No	Yes	Yes	No
`verify_superdense`QC-017 Superdense coding verifier: certifies decoded 2-bit string equals sent 2-bit string. Floats refused.	QC-017 Superdense coding verifier: certifies decoded 2-bit string equals sent 2-bit string. Floats refused.	No	Yes	Yes	No
`verify_teleport`QC-016 Quantum teleportation verifier: certifies Bob 2-bit string equals Alice 2-bit string XOR Pauli corrections. Floats refused.	QC-016 Quantum teleportation verifier: certifies Bob 2-bit string equals Alice 2-bit string XOR Pauli corrections. Floats refused.	No	Yes	Yes	No
`verify_topological_word`QC-019 Topological word verifier: compares presented Eisenstein pair (q, r) against sealed pair for Z2_a2b or Z2_abAB. Floats refused.	QC-019 Topological word verifier: compares presented Eisenstein pair (q, r) against sealed pair for Z2_a2b or Z2_abAB. Floats refused.	No	Yes	Yes	No
`verify_vqe_energy`QC-013 VQE ZZ Hamiltonian energy certifier: computes exact rational energy_num/energy_den for constraints i,j,jnum,jden and bit config (WIN at -1/1). Floats refused.	QC-013 VQE ZZ Hamiltonian energy certifier: computes exact rational energy_num/energy_den for constraints i,j,jnum,jden and bit config (WIN at -1/1). Floats refused.	No	Yes	Yes	No
`vqbit_jetstream_verify`Affine.Earth Sovereign vQbit & NATS JetStream Fact Verifier: verifies lexical and domain claims against PROT_READ mmap facts.m8.idx (< 35 flicks) and live NATS JetStream (GAIA_FACT_BUCKET, GAIA_SPATIAL_BOND_ARCHIVE, KV_gaia_s4_lexicon, GAIAFTCL_LANGUAGE_GAME), with optional verified chi=+1 closure seal write-back.	Affine.Earth Sovereign vQbit & NATS JetStream Fact Verifier: verifies lexical and domain claims against PROT_READ mmap facts.m8.idx (< 35 flicks) and live NATS JetStream (GAIA_FACT_BUCKET, GAIA_SPATIAL_BOND_ARCHIVE, KV_gaia_s4_lexicon, GAIAFTCL_LANGUAGE_GAME), with optional verified chi=+1 closure seal write-back.	No	Yes	Yes	No
`weather.convective_containment`Exact integer crossing-number containment of a declared 3D track (micro-degrees and feet) against convex or non-convex convective cell polygons and optional margin standoff. Zero floats.	Exact integer crossing-number containment of a declared 3D track (micro-degrees and feet) against convex or non-convex convective cell polygons and optional margin standoff. Zero floats.	No	Yes	Yes	No

Details

Registry status: Active
Published: Aug 23, 2026
Updated: Aug 23, 2026
Website: https://affine.earth/language-game/#researcher⁠ (opens in a new tab)
Repository: https://github.com/gaiaftcl-sudo/uum8dSolarResearch⁠ (opens in a new tab)
Categories (suggested): Finance and payments Developer toolsSuggested categories are assigned automatically from the registry text and may be wrong. Verified operators can correct them.
GDPR: Not declared

Are you the operator? Claim this listing