About

Who maintains this, what it is for, and how to cite it

Visible to those genuinely able to criticise it — checkable without belief.

What this site is

This is the public window of my research programme. The organising rule for the material is that a stranger opening any page should be able to tell what is defined, what is assumed, what is machine-checked, what is conjectured, and what is merely predicted — and should be able to begin checking without having to believe anything first.

Contact & identity

NameXueqiang Gao (高学强)

RoleIndependent researcher

ORCID0009-0008-3821-3454

LocationChina

ResearchA formal theory of autonomy boundaries — making the boundaries of AI agents computable, testable and machine-checked.

Sourcegithub.com/limisys/limisys.github.io

How to cite

There is no DOI, so citations should point at the page and its retrieval date. A machine-readable citation file accompanies the source release, carrying the ORCID above.

A note on the absence of a DOI. Going straight to a website rather than to a preprint server was a deliberate choice, and it has a cost that is stated rather than hidden: there is no third-party timestamp and no citation record. Content here can be read and downloaded by a human, but it is not indexed by scholarly infrastructure. The site's own immutability page is explicit that its hashes prove integrity, not priority.

How to criticise this work

The most useful thing a competent reader can do is run the reproduction command and report what it says. The second most useful thing is to identify a statement in the ledger whose tag overstates its evidence. Both are welcome; neither requires believing anything on this site first.

This site has two sibling mirrors from the same source: limisys.github.io (outside mainland China) and caseos.cn/research (inside mainland China). The content is同源同构 — same source, same structure — with consistent licences and disclosures.