研究

仕組みと測定を、その限界とともに公開する。

Glovrex の研究所です。論文には DOI を、未解決の問題は一文で、すべての数字には日付と条件を添えます。

01

論文

· プレプリント · Zenodo · CC BY 4.0

A Mechanical World Model for Agents: Quotient Identity, Three-Valued Gates, and Signed Reversibility

要旨(英語)

An agent that changes a system works in the order decide, act, report. This paper describes a model in which the order is inverted for the whole stack: a proposed change is given a canonical identity, its inverse is constructed and stored before the change is applied, a gate returns one of three verdicts over it, and the outcome (including refusals) becomes a signed record a third party can re-check offline with no trust in the issuer. Nine layers, six axioms, and the mathematical skeleton that holds them together: canonical identity as a non-invertible quotient projection; a verdict codomain of exactly three arms with evaluation failure deliberately outside it; a domain-separated hash chain binding records to a public log. 19 of 27 components are running code; every layer and axiom carries an implemented/planned/vision tag, and falsifiers are stated before the argument. Nothing here is claimed as an invention: every component has a named ancestor, and only the combination is offered as ours.

DOI 10.5281/zenodo.22168558

02

未解決の問題

  1. 01

    ソフトウェアの変更の完全性を、物理的な行為の完全性へ一般化すること。

  2. 02

    モデル、センサー、較正、ハードウェアの健全性を合わせた、機械としての確信度(研究上の問い)。

  3. 03

    何年にもわたるドリフトと摩耗をまたぐ、ライフサイクルの証拠。

  4. 04

    信頼された中央のサーバーなしに、当事者どうしで検証すること。

03

方法

組み合わせ
主張は、既知の部品の組み合わせとして述べます。どの部品にも、名前のある先行例があります。
日付と条件
数字には日付と条件を添えます。再実行して確かめられるように。
見つからないこと
「見つからなかった」と言うときは、探し方の記述として、日付と方法を添えて言います。