GaiaWorld · Public verification surface

Proof before performance claims.

This page records what GaiaWorld has actually demonstrated today: deterministic execution, temporal evidence controls, hypothesis gating, reproducible hashes, and explicit abstention outside supported evidence. It does not turn a synthetic engineering test into a biological benchmark claim.

Inspect proofGaiaWorld flight recorder
Canonical engineering proof
Verification state: LOADING
The page fails closed if its version-controlled proof record cannot be loaded.
Release evidence

A machine-readable record, not a screenshot.

The successful GitHub Actions execution produced a proof artifact and the release facts below are bundled into the deployed site so the public record survives the temporary Actions artifact retention window.

Workflow

RunLoading
ExecutedLoading
CommitLoading

Artifact integrity

Artifact SHA-256Loading
Evidence cutoffLoading
Route behaviorLoading

Reproduce

Run the same deterministic fixture from the repository:

node scripts/gaiaworld-zero-cost-proof.js
Inspect GitHub run ↗JSON record →
Assertions

Nine controls passed.

The proof is deliberately narrow. Each assertion is an engineering property that can be checked without claiming real-world biological accuracy.

    Cryptographic replay record

    Every major object has a deterministic identity.

    SnapshotLoading
    KernelLoading
    ReplayLoading
    BenchmarkLoading
    Synthetic fixture diagnostics

    The numbers are visible—and explicitly not biological performance.

    Cases—
    Simulated—
    Abstained—
    Coverage—
    Abstention rate—
    Direction—
    Provenance—

    Scientific boundary

    Loading

    How the proof works

    Evidence is constrained before the transition is scored.

    01 · CompileCompile a synthetic transition kernel with a declared evidence cutoff.
    02 · ExcludeReject evidence dated after the cutoff and hypothesis-only evidence from transition-driving support.
    03 · SimulateExecute one supported EXACT case through the deterministic transition runtime.
    04 · AbstainSend a deliberately unsupported perturbation through the same runtime and require OOD abstention.
    05 · HashEmit snapshot, kernel, replay, benchmark and artifact hashes so the record can be compared and replayed.

    Cost boundary

    Loading

    What comes next

    Engineering proof is complete. Biological validation remains a separate experiment.

    Arc H1 remains intentionally locked until a sealed external benchmark can be run and scored on held-out outcomes against declared baselines. A future result may succeed or fail; either result belongs in the public flight recorder.

    Open GaiaWorldBenchmark standards →Proof-of-anteriority →