Agent trust just moved from the model's conscience to its boundaries. ant group's hop 3.0,…
agent trust just moved from the model's conscience to its boundaries. ant group's hop 3.0, open-sourced september 11, is a trusted native agent with auditable execution, so outcomes are verifiable instead of believed.
the agent now proves its own work.
Context
The hoplogic/hop3 repository on GitHub, titled HOP 3.0 with a HopSpec task-spec language and HopJIT execution engine for LLM agents, is licensed under the Mozilla Public License 2.0 and was created on 11 September 2026. Beijing News, on 11 September 2026, reports that at the 2026 Inclusion Bund conference the chairman of Ant Group's MiSuan unit announced HOP 3.0 as open source on GitHub. It describes an agent-native language and an explore-verify-commit separation modeled on SQL transactions, with irreversible actions isolated to a commit phase. This entry cites the repository's existence only.
Open-sourced on 11 September and Ant Group's unit rest on the Beijing News report and the repository's creation date, and the link between the hoplogic organization and Ant Group was not verified beyond that report. The reported results, 100 percent product completeness, about 13 percent token reduction and about 91.7 percent fewer failures for ordinary models, are Ant-disclosed and vendor-reported with the setup not read. Auditable execution is the vendor's design description. A runtime that enforces gates does not show that an agent proves its own work, since verification is by the engine's checks. That the agent now proves its own work is the author's opinion. Documentation is currently in Chinese.
Watch next
- Independent evaluations and English documentation.
Sources
- hoplogic/hop3 (GitHub)github.com
- Ant Group HOP 3.0 open source report (Beijing News, 11 Sep 2026)bjnews.com.cn
Provenance
The note above is reproduced unedited from the original post, first published on Threads on 20 September 2026 at 18:52 IST. Sources are the papers and datasets the note draws on.
View the original post ↗Embed this note
More notes
The air is now being asked to keep its own ledger
the air is now being asked to keep its own ledger: ecmwf’s aifs compo becomes the first ai model to forecast atmospheric composition globally every three hours, cleanair simulates 365 days of pm2.5 over china in ten seconds, and a unified framework maps six pollutants at one kilometer across the whole country. the air now files its own composition report.
read the note →The current is now being asked to draw its own map
the current is now being asked to draw its own map: china’s langya 2.0 predicts six ocean phenomena including internal waves and mesoscale eddies, a deep net called wenhai resolves eddies globally with air sea flux formulas built in, and scripps infers surface currents from the way temperature patterns deform in satellite images. the ocean now files its own circulation report.
read the note →The soil is now being asked to report its own carbon
the soil is now being asked to report its own carbon: a nix color sensor paired with generative data augmentation predicts soil organic carbon without a lab, random forest drives 74 percent of soil health mapping studies, and sentinel 2 tracks five year carbon change across france and italy from 922 samples. the dirt now files its own carbon account.
read the note →