# Macheng Shen

> A one-person research program on **information, learning, and what makes futures reachable** — running from holography and statistical mechanics, through consciousness and machine learning, to the design of agent-native institutions. Work is scattered across ~15 public repositories and pages. This file is the machine-readable index to all of it. Point an agent at this URL and it can traverse from here without crawling.

**Epistemic convention (load-bearing, not decoration).** Every claim below carries a *cognitive state*:

- `survived` — has passed a real stress test, experiment, or replication.
- `speculative` — untested theory. Interesting, unearned.
- `retired` — killed, usually by its own author's falsification test. Kept as a tombstone so it is not rediscovered.

Confidence numbers, where present, are subjective priors — not frequencies. Negative results are published deliberately; several artifacts below exist only to record what did *not* work.

**Machine formats.** `/llms.txt` (this file, an index) · `/llms-full.txt` (self-contained: this index plus the full text of the core theory notes, one fetch, no crawling) · `/index.jsonld` (typed graph, JSON-LD).

## 1 · Worldview — how beliefs are held (世界观 / 认识论)

The first-order commitment is not to any thesis below but to a *method*: make the cognitive state of a claim explicit, publish what failed, and let adversarial review run before belief.

- [Cognition Track](https://github.com/MachengShen/cognition-track): an open, agent-traversable knowledge graph of non-consensus claims about intelligence and learning. Cognitive state is a first-class field on every node. One node is retained *precisely because it failed* its stress test, with a `falsifies` edge pointing back at the root. Machine-readable at [`manifest.jsonld`](https://raw.githubusercontent.com/MachengShen/cognition-track/master/manifest.jsonld); human-readable at [`INDEX.md`](https://raw.githubusercontent.com/MachengShen/cognition-track/master/INDEX.md).
- [Continual Learning Lab](https://github.com/starshard-ai/continual-learning-lab): an open log of small, pre-registered continual-learning experiments — **negative results included**. The house rule: an idea that survives three honest experiments outranks an idea that is beautiful.
- [Reviewer Wheels](https://github.com/starshard-ai/reviewer-wheels): four verification wheels for multi-agent AI coding — drift checks, adversarial review, a reuse compiler, a frontend smoke gate. Built for the failure mode where every agent reports "done" and nobody actually verified.
- [The Form Was the Cage](https://github.com/MachengShen/the-form-was-the-cage): an agent OS, its self-referential trace, and the end of researcher-as-identity.

## 2 · Theory of the universe — information, physics, mind (宇宙底层理论)

One thread runs through all of it: *information, the operators that transform it, and what it costs to forget.*

- [Holography ↔ Koopman: two faces of one inverse problem](https://machengshen.github.io/theory/holography-koopman.md) `speculative` — holography generates spacetime geometry out of entanglement structure; a general learning machine learns an eigenbasis of its own dynamics. These are the same inverse problem seen twice: recover an operator's eigenstructure from what the operator does. The HaPPY holographic error-correcting code is the physical twin of the claim that *forgetting is compression, not deletion*.
- [State is a closure condition, not a given set](https://machengshen.github.io/theory/state-as-closure.md) `speculative` — the "state" of a Markov decision process is not handed to you by the world. It is the *solution* to a closure equation under four constraints: world, interface, capacity, telos. Choosing a state is choosing a projection, and choosing a projection is choosing what to forget. Includes a projection-consistency experiment (self-consistent solutions exist and are unique on the tested regime; excess capacity admits trivial components).
- [Toward a Theory of Intelligence and Contemporary AI](https://machengshen.github.io/essay.pdf) — the long-form essay. Also on the [homepage](https://machengshen.github.io/).
- [A unified-theory attempt on consciousness](https://machengshen.github.io/research/consciousness-unified-theory.html) `speculative`
- [From strings to consciousness](https://machengshen.github.io/research/strings-to-consciousness.html) `speculative`
- [Sleep, waves, and learning](https://machengshen.github.io/research/sleep-learning-wave-theory.html) `speculative`
- [Response to Lillicrap](https://machengshen.github.io/research/response-to-lillicrap.html) — on backprop and biological plausibility.
- [Living Information System](https://github.com/starshard-ai/living-information-system): the umbrella research program — information, its future-reachability, and how it is preserved or destroyed across physical, living, and cognitive systems. Frontier physics; aging and cancer as information-integrity failures.
- [Reversible Layer Aging](https://github.com/starshard-ai/reversible-layer-aging) `survived` — re-analysis of two human EPIC methylation datasets: under partial reprogramming, the causal-damage layer (DamAge) reverts youthward while the adaptive layer (AdaptAge) does not. Replicated across two labs and two reprogramming chemistries.

### Credit transport — and a claim that was retired

This branch is worth reading in the order below, because it is a worked example of an idea being narrowed under pressure rather than defended.

- [Hebbian appearance, instructive signals, and physical credit transport](https://machengshen.github.io/research/hebbian-wave-interference.html) `speculative` — the current working note. Why local plasticity can look Hebbian while still carrying task-dependent update information, and where wave/adjoint language genuinely helps.
- [Backpropagation, adjoint fields, and physical transport constraints](https://machengshen.github.io/research/wave-backprop-full.html) `speculative` — the exploratory note. Carries its own title correction: what physical systems actually show, and what they do not yet show.
- [Deriving backpropagation from wave equations](https://machengshen.github.io/research/wave-backprop-en.html) `retired` — the original, stronger claim: that wave reflection already supplies a first-principles derivation of backpropagation. It does not. The page is kept as an archive notice at its original URL so that the retraction is as reachable as the claim was.
- [Research overview](https://machengshen.github.io/research/) — the branch index.

### Essays

- [Harness engineering and the physical instantiation of intelligence](https://machengshen.github.io/essays/harness-engineering-and-the-physical-instantiation-of-intelligence/)
- [Meta-control, information gain, and the architecture of autonomous learning](https://machengshen.github.io/essays/meta-control-information-gain-and-the-architecture-of-autonomous-learning/)
- [Where objectives come from — and why solutions become strategic assets](https://machengshen.github.io/essays/where-objectives-come-from-and-why-solutions-become-strategic-assets/)
- [Why distributed memory matters for lifelong agents](https://machengshen.github.io/essays/why-distributed-memory-matters-for-lifelong-agents/)

Older essays live on a separate site at [/ideas/](https://machengshen.github.io/ideas/), including [Line loss for intelligence](https://machengshen.github.io/ideas/blog/line-loss-for-intelligence/), [From mutual information to endogenous viability](https://machengshen.github.io/ideas/blog/from-mutual-information-to-endogenous-viability/), and [Safety in a computational universe](https://machengshen.github.io/ideas/blog/safety-in-a-computational-universe/).

### A note on contemplative traditions

There is a real question about how Buddhist, Daoist, and Śaivite models of mind relate to the theory above, and it is one of the motivating questions behind this work. An attempted synthesis mapping them onto a single framework was written and then **failed its own adversarial review**; it is not published, and any grand-unification claim in this direction should be treated as `retired`. What survived the review was narrower and more useful: the genuine, *un-unifiable* divergences between traditions (cultivation versus liberation as terminal goals), and one actionable residue — that the traditions' contribution is a **first-person verification method**, a practice, not a map. Practice is the part that transfers; the map was a raft to abandon.

## 3 · Future social forms — agent-native institutions (未来社会形态)

If individuals run persistent agents, the institutions between them have to be redesigned. One theory piece, then the design documents.

- [Coordination structures as resource-scheduling architectures](https://machengshen.github.io/theory/coordination-structures.md) — a deliberately descriptive theory. A polity, a firm, a market, a self-governed commons, and a protocol are five instances of one object: an architecture for scheduling scarce resources under distributed, private information. Capitalism and socialism are two algorithms over that problem, and mechanism design long ago placed both inside one formal space, which makes "which is right" the wrong question and "what mixture, given the domain's information structure" the right one. Includes the Hayek/Scott information constraint, the transaction-cost account of why boundaries exist at all, Ostrom's commons as a documented fourth structure, the protocol's three known failure modes, and three falsifiers. The essay states mechanisms and their measurable proxies; it ranks nothing, names no culprits, and recommends nothing. Its use of credit-transport language from learning theory is marked, explicitly and at length, as a structural rhyme rather than a derivation.
- [Agent-Native Open Communication](https://machengshen.github.io/whitepaper-agent-native-communication/) — the whitepaper, on the next-generation open communication architecture built for agents rather than apps. [Source repository](https://github.com/MachengShen/agent-native-communication) (中文/English).
- [Starshard: Architecture v1](https://github.com/starshard-ai/architecture-v1) — architecture, safety charter, quickstart, and philosophy for a substrate where **memory is the primary layer** and the individual, not the platform, owns it.
- [User-Agency Substrate](https://machengshen.github.io/substrate.html) — the position statement: a nonprofit open-source layer between frontier-model providers and individual users, capturing no economic upside; users own their derivatives entirely.
- [Locality as Protocol](https://machengshen.github.io/locality-as-protocol.html) — why locality, not centralization, is the right primitive.
- [Fleet Coordination Protocol](https://github.com/starshard-ai/fleet-coordination-protocol) — many agents, one shared memory, nothing irreversible behind your back. A narrow, descriptive coordination wire above single-agent runtimes.
- [Starshard Communication](https://github.com/starshard-ai/starshard-communication) — an open communication substrate for personal-agent users: inbox, addressing, trust tiers, policy, receipts.
- [Zhizi Agent OS](https://github.com/starshard-ai/zhizi-agent-os) — one command turns Claude Code into a personal assistant. Bring-your-own-key, privacy-clean.
- [System Evolution, in public](https://github.com/MachengShen/system-evolution-public) — the open record of how this substrate actually evolved: `VISION.md`, `THEORY.md`, `PRACTICE.md`, `GOVERNANCE.md`, forecasts, and a self-iteration ledger.
- [Receipts](https://github.com/MachengShen/starshard-public) — a running log of work executed by this agent stack, published so the claims above can be checked against what was actually done.

## Working notes

- **Correspondence is asynchronous by default.** Synchronizing on a fixed meeting time is expensive and usually unnecessary; a written exchange leaves both sides room to think, and leaves a record. This index exists partly so that a conversation can begin from what has already been written rather than from a status update.
- **Scope of this index.** It covers published research and design work. Private notes, personal correspondence, and operational records are not indexed and are not public.
- **Contact.** macshen93@gmail.com

---

# Appendix — full text of the core theory notes

The index above links these; they are inlined here so that a single fetch of
/llms-full.txt is sufficient and no crawling is required.

---

## Source: /theory/coordination-structures.md


# Coordination Structures as Resource-Scheduling Architectures

*A descriptive theory. Draft, 2026-07-09.*

Every substantive claim below carries a tag: `[consensus]` for established
textbook results, `[empirical]` for claims with cited supporting data,
`[speculative]` for my own untested extensions, and `[retired]` for a stronger
claim that is available and attractive in this space and is rejected here, with
the reason given. The essay states mechanisms and their measurable
proxies. It does not rank the mechanisms, name culprits, or recommend anything.
Where it uses the vocabulary of learning systems, it marks explicitly where the
correspondence is a mathematical derivation and where it is only a structural
rhyme.

## 1. The object of study

Treat a polity, a firm, a market, and a self-governed commons as four instances
of one object: an *architecture for scheduling scarce resources under
distributed, private information*. The scheduling problem is fixed. Many agents
each hold local information (about their own costs, needs, capacities,
preferences) that no one else has and that is expensive or impossible to
transmit in full. Some allocation of resources must nonetheless be chosen. The
architectures differ in how they gather the dispersed information, who decides,
and how the consequences of decisions feed back to the units that made them.

This framing is deliberately flat. It does not treat "the state" as a moral
agent, "the market" as a natural fact, or "the firm" as a mere legal shell. Each
is a mechanism with an information flow and an incentive structure, and each can
be described in the same terms as the others. The interesting questions are
comparative and empirical: given the information structure of a domain, which
architecture schedules it at lower cost, and what happens to that answer when
the cost of communication and computation changes.

## 2. Two algorithms, and the result that they are special cases

Capitalism and socialism, stripped to their scheduling content, are two
algorithms over the same problem. In one, allocation is set by decentralized
exchange at prices that no single party controls. In the other, allocation is
set by a central plan that assigns quantities directly. The twentieth-century
argument over which is correct — the *socialist calculation debate*, opened by
Ludwig von Mises in 1920 and carried by Oskar Lange, Abba Lerner, and Friedrich
Hayek into the 1940s — is, read descriptively, an argument about which algorithm
can extract and use dispersed information at acceptable cost `[consensus]`.
([Socialist calculation debate, overview](https://en.wikipedia.org/wiki/Socialist_calculation_debate);
[Persky, "Retrospectives: Lange and von Mises, Large-Scale Enterprises, and the Economic Case for Socialism," *J. Econ. Perspectives* 5(4):229, 1991](https://doi.org/10.1257/jep.5.4.229))

The theory of mechanism design later placed both algorithms inside one formal
space. A *mechanism* is a rule mapping the agents' reported information to an
outcome; the design question is which rules induce agents to report truthfully
(incentive compatibility) and transmit the least information necessary
(informational efficiency). Leonid Hurwicz, Eric Maskin, and Roger Myerson
received the 2007 Nobel Memorial Prize for this framework, which treats market
and plan as points in a common design space rather than as rival ideologies
`[consensus]`.
([Nobel scientific background, 2007](https://www.nobelprize.org/prizes/economic-sciences/2007/);
[Myerson, "Perspectives on Mechanism Design"](https://www.nobelprize.org/uploads/2018/06/myerson-slides.pdf))
Hurwicz's own results are the load-bearing part: he showed that the requirement
to elicit private information truthfully constrains *any* mechanism, and proved
negative results bounding what decentralized information-revelation can achieve
`[consensus]`.

Once both are special cases, "which is right" is the wrong question and "what is
the optimal mixture, as a function of the domain's information structure" is the
right one. The mixture is not a compromise between ideologies; it is a point
chosen by the information geometry of the problem. Domains whose relevant
information is cheap to standardize and transmit admit more centralized
scheduling at lower cost; domains whose relevant information is tacit, local, or
strategically withheld resist it. This is a claim about information, not about
virtue.

## 3. The information constraint, stated twice

The binding constraint on any central scheduler was stated, in two independent
vocabularies, by Hayek and by James Scott.

Hayek's *The Use of Knowledge in Society* (1945) argues that the knowledge
relevant to allocation exists only as dispersed, local, often unarticulated
fragments, and that market prices act as a compression of that knowledge — a
low-dimensional signal that lets an agent act correctly on information it never
directly receives `[consensus]`.
([Hayek 1945, *American Economic Review* 35(4):519–530](https://en.wikipedia.org/wiki/The_Use_of_Knowledge_in_Society);
[full text, Liberty Fund](https://oll.libertyfund.org/titles/hayek-the-use-of-knowledge-in-society-1945))
The load-bearing point is subtle and frequently misread: Hayek's objection is
not that a planner has too little compute. It is that the relevant information is
*never transmitted at all* — it is local, tacit, and in some cases only comes
into existence through the act of exchange.

Scott's *Seeing Like a State* (1998) states the same constraint from the
scheduler's side. To schedule centrally, an authority must first make its domain
*legible*: it must impose standardized categories, measures, and records that
render local reality countable. Scott's empirical claim, drawn from cases in
forestry, cadastral mapping, and agriculture, is that the act of imposing
legibility discards the local, contextual knowledge — he uses the term *mētis* —
that made the original arrangement function `[empirical]`.
([Scott 1998, Yale University Press; overview](https://en.wikipedia.org/wiki/Seeing_Like_a_State))
Here I will avoid the word "destroys," which smuggles a verdict: the descriptive
claim is that the standardized representation is *lossy* with respect to the
information that governs local outcomes, and that decisions made on the
compressed representation can diverge measurably from decisions made with the
full local information. Whether that loss is worth its coordination gains is
exactly the empirical mixture question, not a foregone conclusion.

The Soviet *material-balance* method is the cleanest historical instance of the
constraint operating at scale. Gosplan allocated by tabulating physical supplies
and requirements for thousands of commodities and iterating toward consistency,
in physical units rather than prices. By 1973 balances were computed for on the
order of 1,900 of the most important items, a small fraction of the millions of
distinct goods in the economy, and the recorded difficulty was precisely the
*aggregation*: the categories legible to the center were coarser than the
distinctions that governed whether an allocation actually worked `[empirical]`.
([Material balance planning](https://en.wikipedia.org/wiki/Material_balance_planning))
I state this as a mechanism, not a morality tale: coarse legible categories
produce allocation error at a rate that rises with the mismatch between category
granularity and the granularity of the underlying information.

## 4. Does cheap computation move the optimal point?

This is the one genuinely open question in the essay, and I want to state it
without resolving it, because the honest answer is that it is not obvious.

The intuition that modern computation and rich telemetry shift the
centralize/decentralize optimum *toward* the center is real and has real force:
a scheduler that can ingest and process orders of magnitude more data than
Gosplan could is a different scheduler `[speculative]`. Contemporary logistics
networks, ride dispatch, and cloud resource allocation are large centralized
schedulers that outperform the market alternatives *within their domains*, and
they do so because the relevant information — locations, capacities, latencies —
is now cheaply instrumented and transmitted.

But the Hayek/Scott objection was never primarily about compute. It was about
information that is *never transmitted*: tacit, preference-dependent, or
strategically suppressed. More compute at the center does nothing for
information that never enters the channel. Worse, incentive compatibility
(Section 2) says that agents' willingness to reveal private information depends
on the mechanism's rules, not on the center's processing power — a scheduler
that can process everything still faces agents deciding what to report
`[consensus]`. So cheap computation plausibly moves the optimum toward the
center in the sub-domains where the binding constraint was *transmission and
processing* of in-principle-observable data, and leaves it roughly where it was
in the sub-domains where the binding constraint was *information that is tacit,
never articulated, or strategically withheld.* The net direction of the shift is
therefore domain-specific and, at the level of a whole economy, genuinely
undetermined by the theory. Anyone claiming the general answer is obvious in
either direction is overclaiming.

`[retired]` A stronger version of this claim is available and tempting: that once
telemetry is dense enough, the socialist-calculation problem dissolves and
central scheduling strictly dominates. It is rejected here. It conflates the two
constraints above —
treating the entire Hayek/Scott argument as a claim about insufficient compute,
which it demonstrably is not — and it ignores that incentive compatibility is
invariant to the center's processing power. The dense-telemetry claim is true
only on the transmission-limited sub-domains and is simply misapplied on the
rest.

## 5. Boundaries and scale: the transaction-cost machinery

Why do large coordinating structures exist at all, if decentralized exchange is
so informationally efficient? Ronald Coase answered in 1937: because using the
market is not free. There are costs to discovering prices, negotiating, and
enforcing each transaction, and when those costs exceed the cost of organizing
the same activity by internal direction, agents form a firm. The boundary of the
firm sits where the marginal cost of internal coordination equals the marginal
cost of a market transaction `[consensus]`.
([Coase 1937, *Economica* 4(16):386–405](https://en.wikipedia.org/wiki/The_Nature_of_the_Firm))
Oliver Williamson operationalized this into transaction-cost economics: the
make-versus-buy boundary is set by bounded rationality, uncertainty, and above
all *asset specificity* — the degree to which an investment is worth less
outside a particular relationship, which exposes the parties to holdup that
contracts cannot fully resolve `[consensus]`.
([Williamson, Nobel lecture, "Transaction Cost Economics: The Natural Progression"](https://web.pdx.edu/~nwallace/EHP/TCEProgression.pdf))

The descriptive extension to states and other large structures is
straightforward and does not require any moral coloring: a large coordinating
structure lowers coordination cost *inside* its boundary — a common currency,
common rules, common records, common enforcement — and it raises coordination
cost *across* its boundary, because a counterpart outside must bridge different
currencies, rules, and records `[speculative]`. The structure is, in dynamical
terms, an attractor: within its basin, transactions flow cheaply and tend to
route through it; at its edge, they meet a barrier. This is a description of a
cost gradient. It is not a claim that internal cheapness is good or that the
boundary barrier is bad; both are simply consequences of the same architecture,
and their net effect on any given transaction depends on where that transaction
sits relative to the boundary.

## 6. Credit routing: a lens, marked as a lens

Here I introduce a framing from the study of learning systems, and I mark its
epistemic status carefully, because the essay's credibility depends on not
letting an elegant formalism import unearned truth.

In a learning system, improvement requires that a signal about the quality of an
outcome propagate backward to every internal structure that contributed to it.
Marvin Minsky named this the *credit-assignment problem* in 1961: when a complex
system succeeds or fails, how is credit or blame distributed among the many
internal decisions that produced the result `[consensus]`.
([Minsky, "Steps Toward Artificial Intelligence," 1961](http://incompleteideas.net/papers/Minsky60steps.pdf))
Backpropagation is one exact solution for a differentiable network: it computes,
for every internal parameter, its contribution to the output error and adjusts
it accordingly `[consensus]`. (Rumelhart, Hinton & Williams, "Learning
representations by back-propagating errors," *Nature* 323:533–536, 1986.)

The *lens*: an institution is a structure through which outcomes are produced,
and one can ask, as an empirical question, whether the signal generated by an
outcome — the reward, the loss, the correction — reaches the units that actually
generated that outcome, and how long it takes to get there. Call these
properties the *fidelity* and *latency* of credit routing. An institution in
which a failure's cost falls on the units that caused it, quickly, is doing
something structurally analogous to a low-latency backward pass. An institution
in which the cost falls elsewhere, or arrives after the causal units have
dispersed, is doing something structurally analogous to a broken or
high-latency one.

I state whether credit reaches the generating units as a *measurement*, not an
accusation. The proxy is concrete: after a documented failure in an institution,
measure the time until the units causally responsible experience a corrective
consequence, and the fraction of the corrective signal that lands on them versus
elsewhere. These are, in principle, observable quantities.

## 7. The boundary between rhyme and derivation

This is the section the rest of the essay is accountable to.

The transaction-cost account of boundaries (Sections 5) is a *derivation*: it is
a genuine economic model with comparative-static predictions, and its terms
(coordination cost, asset specificity) are defined and, in favorable cases,
measurable. The information constraint (Section 3) is a *derivation* in the sense
that Hayek's price-compression argument and Hurwicz's incentive-compatibility
results are formal claims with proofs and stated assumptions. Mechanism design's
special-case result (Section 2) is a theorem.

The credit-routing framing (Section 6) is a *rhyme*, and I will not pretend
otherwise. Backpropagation is a statement about a differentiable function: there
is a well-defined loss, a well-defined gradient, and a guarantee that the
backward pass computes exactly the contribution of each parameter. An
institution has none of these. There is no scalar loss function; there is no
gradient; there is no guarantee that "the units that caused an outcome" is even
well-defined, because causation in a social structure is distributed,
contested, and often unrecoverable. "Fidelity" and "latency" of credit routing
are *metaphors operationalized as proxies* — useful because they tell you what
to measure, dangerous if you let them inherit the mathematical certainty of the
thing they are named after. The rhyme earns its place only by generating
falsifiable measurements (Section 8). It does not earn the right to be called a
model.

`[retired]` A tempting version of this framework would assign each institution a
single scalar "credit-transport fidelity" score, by analogy to a loss gradient,
and rank institutions by it. That move is rejected here. Credit in a social
structure is multi-dimensional (financial, reputational, legal, informational),
the backward pass is not differentiable, and collapsing it to one number was the
formalism smuggling in a structure the domain does not have. The scalar looked
rigorous and was not. What survives is the *pair* of separately measurable
proxies above, applied per-dimension, with no claim that they compose into a
gradient.

## 8. What would falsify this

Three concrete, checkable predictions. Each is stated so that a specific
observation would count against the theory.

**Falsifier 1 — the information-constraint prediction.** Partition economic
domains by whether the information that governs good allocation is *telemetered*
(cheaply instrumented and transmitted) or *tacit* (local, preference-dependent,
or strategically withheld). The theory predicts that centralized scheduling
gains ground, relative to decentralized market mechanisms, in the telemetered
domains as computation cheapens, and does *not* gain ground in the tacit
domains. Disconfirmation: if centralized scheduling comes to outperform
decentralized mechanisms even in domains where the governing information remains
tacit and un-telemetered, the Hayek/Scott information constraint is false or
inessential. Conversely, if decentralized markets keep winning even in fully
telemetered domains, then "cheap computation shifts the optimum toward the
center" is false. Either observation kills a load-bearing claim.

**Falsifier 2 — the credit-routing prediction.** Across institutions matched for
scale and domain, measure time-to-correction after documented failures (the
latency proxy of Section 6). The theory predicts that lower-latency,
higher-fidelity credit routing is associated with faster measured adaptation and
lower persistent repeated-error rates. Disconfirmation: if institutions with
demonstrably slow or misrouted credit adapt just as fast as those with fast,
well-targeted routing, then the credit-routing lens has no empirical purchase and
should be dropped entirely — it would be revealed as pure metaphor.

**Falsifier 3 — the boundary-shift prediction.** The transaction-cost account
(Section 5) implies that as communication and coordination costs fall, the
firm/market boundary moves in coordination-cost-sensitive sectors but *not* in
sectors where asset specificity, rather than communication cost, is the binding
constraint. Prediction: a measurable divergence between the two sector types in
how make-versus-buy boundaries shift as communication cost falls.
Disconfirmation: if falling communication cost produces no measurable boundary
shift in the coordination-cost-sensitive sectors, or shifts asset-specific and
non-asset-specific sectors identically, then transaction cost is not doing the
work the theory assigns it.

A fourth, already partially tested, is offered as a bonus because it cuts against
optimism about the newest structure: token-weighted governance should trend
toward concentration of decisive power over time, measurable as a falling
Nakamoto coefficient or rising Gini of effective voting weight. If token-weighted
systems reliably do *not* concentrate, the plutocracy mechanism of Section 9 is
false. Current evidence points toward concentration, and there is a formal
impossibility result in this direction `[empirical]`
([*Concave is the New Linear: The Impossibility of Anti-Plutocratic DAO
Governance*, arXiv:2605.18990](https://arxiv.org/pdf/2605.18990)), but the
prediction remains open for structures not yet observed.

## 9. Four structures, and a candidate fifth

The market/plan dichotomy is too small. There are at least four scheduling
structures already documented, and a fifth under construction.

*Market* schedules by decentralized exchange at prices. *Firm* schedules by
internal direction within a transaction-cost boundary. *State* schedules by
territorial authority over standardized categories. The fourth is the *commons*,
and its inclusion rests on Elinor Ostrom's empirical work. Ostrom documented
long-lived common-pool-resource institutions — irrigation systems, fisheries,
forests — that are governed neither by market price nor by central plan nor by
private firm, but by *polycentric* arrangements of the resource users
themselves, and she extracted eight design principles that the durable cases
share and the collapsed cases lack `[empirical]`.
([Ostrom, *Governing the Commons*, Cambridge University Press, 1990; design
principles overview](https://en.wikipedia.org/wiki/Elinor_Ostrom))
The commons is a distinct algorithm with documented conditions for stability, not
a degenerate market or a small state. That is an empirical finding, and it
enlarges the design space from two structures to four.

The candidate fifth is the *protocol*: rules enforced by a shared substrate
rather than by an owner. In a protocol, the scheduling rule is executed by an
infrastructure that no single participant controls, and compliance is a property
of the substrate rather than of an enforcing authority `[speculative]`. The
descriptive question is the mechanism-design one: under what conditions is such a
structure incentive-compatible — that is, when does following the rule remain
each participant's best response without an external enforcer?

Honesty about a structure requires stating where it demonstrably fails, and the
protocol has three documented failure modes. First, *governance capture under
token-weighted voting*: when decision weight is proportional to holdings, decisive
power concentrates, and small holders face a rational incentive to abstain or to
accept side payments because a bad decision costs them little `[empirical]`
([Buterin, "Moving beyond coin voting governance," 2021](https://vitalik.eth.limo/general/2021/08/16/voting3.html);
[impossibility result, arXiv:2605.18990](https://arxiv.org/pdf/2605.18990)).
Second, the *oracle problem*: a substrate that enforces rules deterministically
over its own internal state cannot, by construction, observe the external world;
importing external facts requires a trusted channel, which reintroduces the very
trusted party the structure was meant to remove `[consensus]`
([The blockchain oracle problem, Chainlink](https://chain.link/education-hub/oracle-problem)).
Third, *participation and complexity barriers* that hand effective control to the
technically fluent minority `[empirical]`
([D. Ferreira, "The Myths of Blockchain Governance," *Corporate Governance: An International Review*, 2025](https://onlinelibrary.wiley.com/doi/10.1111/corg.70008)).
A protocol is incentive-compatible only where these three are solved or absent;
where they are present, it degrades toward one of the older four structures.
Stating this is what makes the fifth structure a subject of theory rather than of
advocacy.

## 10. Stability of boundaries, stated as conditions

I will not predict the collapse or persistence of any coordinating structure.
The descriptive statement is about conditions.

A coordination structure's boundary is stable while, for the transactions that
cross it, the internal-coordination advantage it offers exceeds the boundary cost
it imposes (Section 5), and while its scheduling error on its domain stays below
the error of the available alternatives (Section 3). Four quantities are
currently changing those conditions, and I list them as observable trends
without asserting a direction of net effect: the falling cost of communication;
the emergence of agent-mediated coordination that lowers the cost of managing
many simultaneous relationships; increased mobility of capital across boundaries;
and the appearance of protocol-governed commons as a fifth option in the design
space. Each of these changes the terms in the boundary-stability inequality. The
theory does not say which way the inequality tips, because that depends on the
domain's information structure and on which of the protocol failure modes bind.
It says only what to measure to find out.

`[speculative]` My own extension, offered as hypothesis and not conclusion: as
communication cost falls and a credible fifth structure becomes available, the
*number of viable structures per domain* rises, and scheduling migrates toward
whichever structure minimizes the sum of information loss (Section 3) and
coordination cost (Section 5) for that specific domain — producing not a single
winning architecture but a heterogeneous patchwork in which market, firm, state,
commons, and protocol each schedule the domains they fit. This is a prediction of
*fragmentation of scheduling by domain*, and it is checkable: it fails if
scheduling instead consolidates onto a single dominant architecture across
heterogeneous domains.

## 11. What this essay does not claim

It does not claim any structure is better. "Better" is undefined without a
choice of objective, and choosing the objective is exactly the normative act the
essay abstains from. It does not claim the nation-state, or any structure, is
ending; it states the conditions under which a boundary is stable and lists what
is changing those conditions. It does not identify any present government, party,
or leader as a subject of praise or criticism; its historical examples are
factual and cited. And it treats its own most attractive move — the credit-
routing lens — as a rhyme that has to earn each measurement, never as a
derivation that inherits the certainty of backpropagation. Subtraction is the
governing discipline here: a paragraph that was beautiful but added no
falsifiable content has been cut, and the version of the framework that would
have looked rigorous while smuggling in a gradient the domain does not have is
rejected in writing above, with its reason attached.

---

### Sources

- F. A. Hayek, "The Use of Knowledge in Society," *American Economic Review* 35(4):519–530, 1945. https://en.wikipedia.org/wiki/The_Use_of_Knowledge_in_Society · full text: https://oll.libertyfund.org/titles/hayek-the-use-of-knowledge-in-society-1945
- J. C. Scott, *Seeing Like a State*, Yale University Press, 1998. https://en.wikipedia.org/wiki/Seeing_Like_a_State
- R. H. Coase, "The Nature of the Firm," *Economica* 4(16):386–405, 1937. https://en.wikipedia.org/wiki/The_Nature_of_the_Firm
- O. E. Williamson, "Transaction Cost Economics: The Natural Progression" (Nobel lecture, 2009). https://web.pdx.edu/~nwallace/EHP/TCEProgression.pdf
- E. Ostrom, *Governing the Commons*, Cambridge University Press, 1990. https://en.wikipedia.org/wiki/Elinor_Ostrom
- Socialist calculation debate (Mises 1920; Lange 1936–37; Hayek). https://en.wikipedia.org/wiki/Socialist_calculation_debate · J. Persky, "Retrospectives: Lange and von Mises, Large-Scale Enterprises, and the Economic Case for Socialism," *Journal of Economic Perspectives* 5(4):229–236, 1991. https://doi.org/10.1257/jep.5.4.229
- Mechanism design, Nobel Memorial Prize 2007 (Hurwicz, Maskin, Myerson). https://www.nobelprize.org/prizes/economic-sciences/2007/ · https://www.nobelprize.org/uploads/2018/06/myerson-slides.pdf
- Soviet material-balance planning. https://en.wikipedia.org/wiki/Material_balance_planning
- M. Minsky, "Steps Toward Artificial Intelligence," *Proc. IRE*, 1961. http://incompleteideas.net/papers/Minsky60steps.pdf
- D. Rumelhart, G. Hinton, R. Williams, "Learning representations by back-propagating errors," *Nature* 323:533–536, 1986.
- V. Buterin, "Moving beyond coin voting governance," 2021. https://vitalik.eth.limo/general/2021/08/16/voting3.html
- "Concave is the New Linear: The Impossibility of Anti-Plutocratic DAO Governance," arXiv:2605.18990. https://arxiv.org/pdf/2605.18990
- The blockchain oracle problem (Chainlink education hub). https://chain.link/education-hub/oracle-problem
- D. Ferreira, "The Myths of Blockchain Governance," *Corporate Governance: An International Review*, 2025. https://onlinelibrary.wiley.com/doi/10.1111/corg.70008

---

## Source: /theory/holography-koopman.md


# 理论笔记:全息原理、Koopman 反问题与"最优遗忘"
*一条正在迭代的理论线 · 2026-07-06 · 供外部 AI reviewer 使用的完整 context*

## 给 reviewer 的 context(先读这段)

这是一条个人理论线("通用学习机 / General Learning Machine, GLM"视角)的一次迭代记录。该线的既有立场:**知识 = 生成器(种子),不是事实列表(落叶);记忆 = 动力学;遗忘 = 压缩而非删除**。本次迭代起点是一篇讨论全息原理与因陀罗网的科普文章,终点是一道我们认为文献中尚无人正面回答的 open 题。

研究纪律(请 reviewer 也遵守这个框架):
- 以下全部为**理解性探索**,不含任何"据此去构建新架构"的工程承诺;
- 所有论断按四档诚实度标注:**[定理]**(原文定理级)/ **[实证]**(论文实验或明确陈述级)/ **[推断]**(我们基于文献的推断)/ **[韵脚]**(结构类比,明确不主张真值传递);
- 我们主动防两类错误:把漂亮的类比当证据("韵脚偷渡真值"),以及把一切强行统一进单一框架的反射。

**最有价值的 review**:指出哪个 [推断] 其实已有文献正面回答(给出处)、哪个 [韵脚] 在偷渡真值、哪个 [定理] 被我们用错了适用范围。页尾附具体 review 问题清单。

---

## 一、全息侧:纠缠怎么"长出"几何(四块砖)

**第一块:Ryu–Takayanagi 公式(2006)——词典本身。** 贝肯斯坦"黑洞信息∝表面积"原本是特例。RT 公式把它升级成通用词典:边界上任一区域的纠缠熵 = 体内某张最小曲面的面积。左边纯信息量,右边纯几何,一个等号焊死 **[定理,AdS/CFT 框架内]**。

**第二块:Van Raamsdonk 思想实验(2010)——纠缠是时空的胶水。** 把边界两半之间的纠缠调小,对应体内几何拉细,纠缠归零时时空断成两截。空间的连通性 = 纠缠的存在;"关系先于实体"的严格版 **[实证级论证]**。

**第三块:MERA 张量网络(Vidal 2007;Swingle 2012 发现其几何≈AdS)——种子怎么 unroll 出空间。** 张量网络是一张"生成流水线图":从小种子出发一层层织出量子态,每层对应一个观察尺度(重整化)。Swingle 注意到:这张流水线图自身的形状就是一片离散双曲空间,与 AdS 截面同构状 **[实证级对应,非定理]**。即:体内"多出来的一维"= 生成器 unroll 的层数 = 尺度本身。空间不是舞台,是 unroll 的痕迹——"种子生现行"的物理版 **[韵脚]**。

**第四块:HaPPY 全息纠错码(Pastawski–Yoshida–Harlow–Preskill 2015)——"局部含全体"的定理版。** 全息词典的数学结构就是一个量子纠错码:体内信息冗余编码在边界上,任何足够大的边界碎片都能重建体内深处;碎片越小看得越浅——丢的是分辨率,不是信息 **[定理,玩具模型内]**。这是"遗忘 = 压缩非删除"立场在物理侧的孪生结构 **[韵脚]**。

彩蛋:量子极值面/岛屿公式(2019–2020)在半经典层面算出了 Page 曲线——黑洞信息守恒有账可查了 **[实证/定理级进展]**。

**诚实边界:** ①以上严格数学全部生活在 AdS 宇宙,我们的宇宙是 dS(加速膨胀),推广是 open problem;②MERA≈AdS 是"惊人地像",不是同构定理;③"古代经文早已理解全息"这类方向我们明确不采纳——共享数学骨架 ≠ 源头认领。

## 二、Koopman 反问题:没人送对称性时,本征基要自己学

**第一步:有对称性 = 本征基白送。** 傅里叶模、球谐函数都不是学出来的,是对称性(群论)送的:系统对某变换不变,对应本征基自动到手。历法系统(如六十干支)可视为把**已知**天文周期手工编码成 Z/60 的谐波本征基——同样属于"给定结构→基白送"这一格 **[数学事实 + 推断性刻画]**。

**第二步:Koopman 的移位(1931)。** 非线性动力系统,改盯"关于状态的所有观测函数"怎么演化——该演化算子**永远线性**(代价:无穷维)**[定理]**。Koopman 本征函数 = 每步只乘一个固定数的"最省心观测";找到一组,就等于找到一组坐标,让纠缠的动力学拆成互不干扰的匀速表盘。

**第三步(命门):反问题。** 对称性不在手时——真实世界几乎总是如此——这组本征基只能从轨迹数据里学:DMD → extended DMD → 深度 Koopman(Lusch–Kutz–Brunton 2018,autoencoder 端到端学线性化坐标)**[实证]**。GLM 命门的表述:**通用学习机的核心任务 = 从经验流学出让世界动力学变简单的坐标;记忆 = 该坐标下的种子态;理解 = 本征基找对了** **[立场/推断]**。

诚实短板:真混沌 → Koopman 谱变连续 → 不存在有限表盘化简,再多数据也学不出干净本征基 **[定理级图景,Mezić 谱理论]**。命门是必答题,不是已答题。

## 三、SSM(HiPPO/S4/Mamba)↔ Koopman:桥的勘测(文献挖掘 digest)

*本节为专项文献挖掘的成果,四问四答。*

### Q1. HiPPO 的本征基是拿什么"给定结构"换来的?

拿**遗忘测度**换来的:先声明"过去每一刻对我多重要"(测度 μ(t)),该测度下的正交多项式族**唯一确定** **[定理]**。三个变体对应三种遗忘表盘:LegT(滑窗均匀→平移 Legendre)、LagT(指数衰减→Laguerre)、LegS(整段历史均匀→缩放 Legendre)。投影系数演化压成 ODE:dc/dt = Ac + Bf,A、B 闭式推导、非学得 **[定理]**。《How to Train Your HiPPO》(2022)推到底:每个 SSM 状态都可解读为"输入历史在某组基上的投影系数",每组基对应一个测度 **[实证]**。S4 只是给固定 A 找了个数值稳定坐标(DPLR 分解)**[实证]**。

LegS 有真正群论意义的协变性:时间缩放下输出同步缩放(timescale 不变性)**[定理]**。关键差异 **[推断]**:历法码的对称性来自**世界**(天文周期外部给定),HiPPO 的测度来自 **agent 自己的选择**(我决定怎么遗忘)。同是"送基",送礼的人不同——这是第四节 open 题的种子。

### Q2. Mamba 的 selectivity 学到了什么、没学到什么?

原文事实 **[实证]**:input-dependent 的是 Δ、B、C;**A 保持固定**(对角、实数)。离散化 Ā = exp(ΔA):每步有效衰减率 = 固定谱 × 输入决定的时间步长。Theorem 1:N=1 时恰好退化为 RNN 遗忘门 **[定理]**。

测度语言翻译 **[推断]**:Δ 是**时间流速旋钮**。selectivity 没换基——本征方向从头到尾焊死——只是逐 token 调"时间过多快"+ B/C 决定读写方向。**Mamba 是"学测度"的第一个大规模成功实例,不是"学基"的。**

定理级佐证:《The Illusion of State in State-Space Models》(ICML 2024)证明对角/可交换转移的 SSM 全部困在 TC⁰ 复杂度类,连置换合成都做不了;要越线,转移矩阵必须**非对角地**依赖输入 **[定理]**。"学测度 vs 学基"的分界线,恰好同时是这条复杂度边界 **[推断]**。

### Q3. "记忆衰减的本征基" vs "世界动力学的本征基":gap 长什么样?

- SSM 的基是 **input-generic** 的:Legendre 多项式不关心信号由什么世界产生,只对"给定遗忘测度下压缩任意信号"最优。状态 = 我过去的压缩包。
- Koopman 的基是 **system-specific** 的:本征函数长在世界的状态空间上,本征值是**这个世界**的固有频率。状态 = 世界在其本征坐标下的位置。

两者仅在一种情形重合 **[推断]**:输入恰好由纯点谱动力学生成时,最优压缩基 = Koopman 模态(这正是 DMD 合法性的来源)。一般情形不重合:记忆基压得动信号,不知道信号背后的因果结构。

文献侧写(无一篇正面命名该 gap,三篇侧面刻画):①受控系统的 Koopman 形式必然含**双线性项**(状态×输入),Mamba 递归对隐状态纯线性、缺此项,补上后乘性记忆任务提升数倍至百倍(2026,玩具规模)**[实证,小规模]**;②Illusion of State:SSM 的"状态"作为 world-state 是复杂度下界意义上的幻觉 **[定理]**;③MamKO:反向用 Mamba 架构在线生成时变 Koopman 算子做控制——两头动工,桥未合龙 **[实证]**。

### Q4. 连续谱/真混沌:诚实边界

Mezić 谱理论图景 **[定理]**:准周期/趋吸引子系统有纯点谱,"学本征基"是 well-posed;混沌/mixing 系统在吸引子上出现**连续谱**——没有可数本征函数集能张成动力学,任何有限基都只是截断,预测视界被 Lyapunov 时间钉死。连续谱部分对应非平凡记忆效应(Mori–Zwanzig 记忆核)。

深度 Koopman 的务实变通:把本征值参数化为状态的函数 λ(x)——用滑动指针替代固定表盘,仅在小系统上验证 **[实证,小规模]**。

对 GLM 论题的边界 **[推断]**:"必须学本征基"在纯点谱世界是精确论题;混沌世界降格为"学够用的截断 + 承认残差"。残差恰以记忆核形式回来——而 SSM 的卷积核天生是表示记忆核的机器。这可能是两座塔真正的深层焊点。

## 四、Open 题:遗忘测度该不该由世界的谱决定?

桌上两个自由度:**μ(遗忘测度)**= 我对过去"每一刻在乎多少"的打分曲线(HiPPO 中自由选);**世界的谱** = 世界自己的表盘清单(哪些模式转多快、相关性拖多长)。问题:μ 是先验自由选择,还是应当被世界谱(近)唯一决定的导出量?存在"最优遗忘定理"吗?

**定向直觉:这是率失真常识的动力学版。** 记忆 = 对过去的有损压缩;率失真第一课:最优码由信源统计 + 失真度量定,不由编码者品味定 **[定理]**。信源换成世界动力学、失真换成未来预测误差,方向上答案是"该"——open 的是定理的精确形状。

**支持耦合的四个锚点(由硬到软):**
1. **线性特区里这根梁已存在 = 平衡截断/Hankel 理论 [定理]**:给定线性世界,"N 维记忆最优记什么"由 Hankel 算子 SVD 唯一给出,误差界闭式;最优记忆的时间尺度直接由世界本征值决定。线性已知世界内,"遗忘由世界谱决定"是定理,不是猜想。
2. **人脑实证 = Anderson & Schooler 1991 [实证]**:人类幂律遗忘曲线精确匹配环境中事物的复现概率统计——进化已把 μ 调成环境统计的镜像。
3. **S4 的成功可反读为自然实验 [实证+推断]**:三个 HiPPO 变体中大规模赢的是 LegS——恰好是 timescale 不变的测度;而自然信号普遍近似 scale-free(1/f 谱)。S4 没学 μ,但碰巧选中了与世界对称性匹配的 μ,然后赢了。
4. **预测信息瓶颈 [半定理]**:"压缩过去、只留对未来有信息量的部分"在线性高斯情形有解析解,结构完全跟世界谱走;一般情形只有变分近似。

**通用定理难产的三只拦路虎:**
1. 混沌连续谱先砸掉"世界谱"这一头。降格版耦合 **[推断,两半各有实锤]**:混沌系统常有亚稳结构(慢模式/准不变集,转移算子谱隙),Lyapunov 视界外细节无价值 → "快的连续谱部分尽快忘,慢的准点谱部分重点记"——遗忘该跟的是**谱里活得下来的那部分**。
2. **鸡生蛋**:agent 不知世界谱,得学;学谱靠记忆;记忆的 μ 又该由谱定。真定理不会是静态公式,而是这个循环的**不动点**——μ 与被 μ 支撑着学出的谱互相一致 **[推断]**。
3. **telos 不只预测**:平衡截断平衡的是两个 Gramian——可观性(过去哪些事影响未来)与可控性(我能对哪些事做什么)。μ 应是世界谱与价值函数的合谋 **[推断]**。

**诚实的反方(为什么不该全由世界谱决定):** 非平稳/黑天鹅世界里,μ 锁死当前谱最脆弱——鲁棒的 μ 应比世界相关衰减留更厚的尾(保险)**[推断]**;罕见事件价值在"改模型的量"(贝叶斯惊奇)而非相关权重,纯二阶谱会把它冲掉。精化命题:**μ 该跟的是"世界的可预测结构 + 我对该结构的不确定性";谱只是前者的线性影子** **[推断]**。

**猜想中的定理形状 [推断]:** 给定容量 N、平稳世界谱测度 ρ、telos(失真度量),最优遗忘测度 μ\* 的时间尺度分布 = ρ 的主导时间尺度经 telos 加权后的重排;线性高斯情形退化为平衡截断;在线版:μ 与所学谱互为不动点,不确定性高时 μ 自动增厚尾部。可证伪小推论:同一架构下,把 μ 的衰减分布调成训练数据自相关衰减的镜像,长程任务应系统性变好(此为推演,非工程提案)。

**韵脚(明确标注为韵脚):** 这道题是"压缩码是世界的镜像"的定理化——一个 agent 的遗忘曲线,是它所居世界的谱的倒影。

## 给 reviewer 的具体问题

1. 平衡截断/Hankel 理论作为"线性特区定理"的引用是否恰当?有没有更强或更贴切的既有结果(如 AAK 理论、预测状态表示)?
2. "记忆衰减基 vs 世界动力学基"这个 gap,是否真的没有文献正面命名与处理?请尽力找反例(关键词提示:predictive state representations, observable operator models, Wiener/Kalman 与在线基学习的交叉)。
3. "μ 与所学谱互为不动点"式的最优遗忘定理,是否已有人在 predictive coding / free energy / meta-learning 文献中写过?
4. 混沌情形的降格版耦合(只跟亚稳/慢模式)在转移算子谱隙、Mori–Zwanzig 约化文献中是否已有接近的定式化?
5. 第三节 Q2 对 Mamba"学测度非学基"的刻画,与 Illusion of State 的 TC⁰ 结果、受控 Koopman 双线性项的对齐,是否存在我们没看到的漏洞?
6. 全息侧作为"同族反问题"的类比(第一、四节),哪里有偷渡真值的风险?

## 文献

1. HiPPO — Gu, Dao, Ermon, Rudra, Ré 2020, arXiv:2008.07669
2. S4 — Gu, Goel, Ré 2021, arXiv:2111.00396
3. How to Train Your HiPPO — Gu et al. 2022, arXiv:2206.12037
4. Mamba — Gu & Dao 2023, arXiv:2312.00752
5. Deep Koopman — Lusch, Kutz, Brunton 2018, arXiv:1712.09707 (Nature Comm.)
6. Mezić Koopman 谱理论 — arXiv:1702.07597;Annu. Rev. Fluid Mech. (annurev-fluid-011212-140652)
7. Bilinear Input Modulation for Mamba: Koopman Bilinear Forms — arXiv:2604.17221
8. The Illusion of State in State-Space Models — Merrill, Petty, Sabharwal, ICML 2024, arXiv:2404.08819
9. MamKO: Mamba-based Koopman operator — OpenReview hNjCVVm0EQ
10. Ryu & Takayanagi 2006 (hep-th/0603001);Van Raamsdonk 2010 (arXiv:1005.3035);Swingle 2012 (arXiv:0905.1317);Pastawski–Yoshida–Harlow–Preskill 2015 (arXiv:1503.06237)
11. Anderson & Schooler 1991, "Reflections of the environment in memory", Psychological Science

---

## Source: /theory/state-as-closure.md


# State 是什么?——从 MDP 的状态概念到"闭包"本体论

*一次讨论的整理 · Macheng × agent · 2026-07-09*

## 起点的问题

我们常说"信息决定未来的 reachability"。套用强化学习 / 决策论的 MDP 框架,里面需要一个 state——那这个 state 到底是什么?是时空这个大舞台,还是"所有东西互相依赖"的那张关系网?而且 state 所指的那个集合似乎一直在变,没有恒定不变的东西;可能结构层面不变,但具体表现形式一直在改变。

下面是沿这个问题挖出来的六层。论断按诚实度标注:**[定理]**(有定理级文献)/ **[框架]**(成熟理论框架)/ **[推断]**(我们的综合)/ **[韵脚]**(结构类比,不主张真值传递)。

## 一、MDP 的定义自己已经泄密:state 不是东西,是商空间

教科书说 state 要满足 Markov 性:给定 s,未来与过去条件独立。注意这句话的形状——它不是在描述世界里的某个东西,而是在提一个**条件**:凡是能"屏蔽"过去的,就配叫 state。Crutchfield 的 causal states 定理把这一步走完了 **[定理]**:把所有可能的历史,按"对未来的条件分布无差别"取等价类,这些等价类就是最小充分的 state(computational mechanics 中的 ε-machine)。

所以 state 的本体论地位是:**历史空间除以"对我关心的事无差别"这个等价关系,得到的商空间**。它不是世界的家具,是一次除法的结果——而除数里写着三样东西:动力学、观测接口、你关心什么(telos)。任何一样变,商就得重算。

## 二、Mori–Zwanzig 视角:状态 = 你决定停止携带记忆的地方

统计力学的 Mori–Zwanzig 形式主义给出一个恒等式 **[定理]**:对任何动力系统,任选一组"保留变量"(一个投影),完整动力学都可以精确改写为三项之和——保留变量上的马尔可夫项 + 对历史的记忆核卷积 + 与保留变量正交的噪声。这是恒等式,不是近似:**被投影丢掉的自由度不会消失,必然以记忆核和噪声的形式回来**。

反过来读:**Markov 性从来不是发现的,是购买的**——要么多带变量把记忆核压到可忽略,要么认下一个核和一团噪声。"state"就是你在这笔交易里签字的位置。所以"世界的真实 state 是什么"这个问题本身不适定;适定的问题是:**在我的容量和目的下,哪个商空间的记忆核最小**。选 state = 选投影 = 选怎么遗忘。

## 三、舞台还是关系网?两个都不是原初——但关系网里藏着让 state 可能的东西

- **舞台不是原初**:全息原理一线的现代结果(Ryu–Takayanagi 的纠缠熵=最小曲面面积、Van Raamsdonk 的"解除纠缠→时空断裂"、张量网络 MERA)指向:空间连通性由纠缠结构生成,"舞台"自己是从关联结构里展开出来的 **[框架,严格数学在 AdS 内]**。所谓"时空这个 state",是物理学迄今造出的最深的一套记账商空间——极其成功,但仍是商,不是底。
- **但"一切互相依赖"如果说满了,有限 state 就根本不可能**——严格的全依赖意味着任何有限截断都漏。有限 state 之所以可行,是因为关系网**有结构**:相互作用局域、关联随距离/时间衰减、存在屏蔽面(图模型语言里的 Markov blanket)**[框架]**。一句话:关系为先,但关系有纹理;**state 是纹理允许的近似闭包**。没有屏蔽结构的宇宙里不存在 agent。

## 四、"信息决定 reachability"的严格版

随机控制里这句话有精确形体 **[框架]**:agent 随时间累积的信息是一个**滤波(filtration)**,任何策略都必须适应于它——你不能依据你不知道的东西行动。于是:**可达集随滤波变细而单调增大**;知道得越细,可区分的未来越多,可执行的策略类越大。

POMDP 的核心教训同源:决策真正条件的从来不是世界态,是**信息态**(belief state);"state"在决策论里本来就住在 agent 这一侧。还有一个现成的量化:empowerment(Klyubin–Polani)= 从动作到未来观测的信道容量——**用 bit 度量的 reachability** **[框架]**。

## 五、"集合一直变、结构不变"这个直觉的三个数学的家

1. **学习 = 重新取商**:模型变了,"无差别"的划分就变了,state 集随之重划。belief 空间的数学外壳不变,agent 实际用的坐标卡一直在换。
2. **图册,不是单一坐标系**:开放世界里任何固定 state 集都只是临时 chart;持久的是 chart 之间的**变换规则**。这个立场在科学哲学里有名字——结构实在论(structural realism):跨理论更替存活下来的是关系结构,不是对象清单。
3. **重整化群**:每个尺度有每个尺度的 state 集,谁也不是"真的";不变的是连接各层的**流**和它的不动点。

收束成一句 **[推断]**:**不变的是"闭包条件"那个方程,态集只是方程在当前(世界,接口,容量,telos)下的解**。环境、容量、目的变了,解就重算——本征方程不动,本征向量随算子变。

顺带一个我们最近在小合成系统上做的数值观察 **[实证,初步]**:把"表示"与"用该表示活出的统计"接成自洽循环(表示定投影→投影定闭合模型→闭合模型生成轨迹→轨迹统计更新表示),在拟合容量充分的区域,这个循环存在唯一不动点、几何速率收敛——即"state 表示自我再生"的条件在最简单情形下是良定的。真正有趣的 open 区域是容量受限(欠拟合)时:不动点是否仍唯一,直接关系到"同一世界里是否存在多种互不相同但各自自洽的表示方式"。

## 六、真 open 的三处

1. **没有设计者时,谁来选商?** "自洽不动点"是候选答案(商由"用它活出来的统计"自我确认),但目前是数值观察+猜想,不是定理。
2. **态空间的生长没有好数学**:世界冒出新变量(新实体、新博弈)时,商空间要加维而不只是重划——continual learning 的核心 open 问题。
3. **Bootstrap 循环**:取商要统计,攒统计要先有临时的商。这个鸡生蛋结构反复出现(表示↔统计,记忆测度↔世界模型),它的不动点理论似乎还没人正面写。

## 附:一个佛学韵脚(明确标注为韵脚)

上面的结论用中观的话说就是:state 无自性,是**假名安立**的商,随缘重立。"缘起性空"对 state 这个概念的适用度,比对多数概念都字面——但这是结构上的押韵,不是论证。

## 主要文献指针

- Crutchfield & Young (1989); Shalizi & Crutchfield (2001) — causal states / computational mechanics
- Zwanzig (2001) *Nonequilibrium Statistical Mechanics*; Lin & Lu, arXiv:1908.07725 — Koopman–Mori–Zwanzig
- Åström (1965); Kaelbling, Littman & Cassandra (1998) — POMDP / information state
- Klyubin, Polani & Nehaniv (2005) — empowerment
- Ryu & Takayanagi, hep-th/0603001; Van Raamsdonk, arXiv:1005.3035; Swingle, arXiv:0905.1317 — 纠缠与时空
- Ladyman & Ross (2007) *Every Thing Must Go* — 结构实在论
- Pearl (1988) — Markov blanket / 图模型屏蔽

---

## Source: Cognition Track graph index

Mirrored from https://github.com/MachengShen/cognition-track (INDEX.md).
Machine-readable graph: https://raw.githubusercontent.com/MachengShen/cognition-track/master/manifest.jsonld

# Cognition Track — Graph Index

**20 nodes** · 🟢 4 survived-stress-test · 🟡 16 speculative · ⚪ 0 raw

> Cognitive state is first-class. Most of this web is **untested theory** (🟡). Three nodes have survived a real stress test (🟢); one node (Bekenstein) is kept precisely because it **failed** one — see its `falsifies` edge to the root.

## Start here — the root

### ["Sheng" Multi-Axis Recursive Operator](https://github.com/MachengShen/cognition-track/blob/master/root.md) `mem_dffe918dbf46` — 🟡 speculative

> Intelligence is one dynamical system that recursively reshapes its own information structure along every causal axis, and the autoregressive LLM is merely its degenerate single-axis projection.

Every node below is a *projection* of this operator along one causal axis.

## Nodes by cognitive state

### 🟢 Survived stress test (4)

- [Architecture Convergence to 4-Layer Type Signature](https://github.com/MachengShen/cognition-track/blob/master/nodes/mem_2d09ec5991cd.md) `mem_2d09ec5991cd` · conf 0.70 — Six independent 2025 frontier reasoning architectures are each empirically restoring a different cognitive axis the autoregressive Transformer amputated, converging on one pre-articulated four-layer architecture.
- [Published GLM/Credit-Transport Essay](https://github.com/MachengShen/cognition-track/blob/master/nodes/mem_a9aaf3309348.md) `mem_a9aaf3309348` · conf 0.70 — The credit-transport / general-learning-machine thesis was published as a public-facing essay and theory index with a sensitive-scan gate before commit.
- [Anti-Overclaim Guard (Info Propagation)](https://github.com/MachengShen/cognition-track/blob/master/nodes/mem_60ff30ad5800.md) `mem_60ff30ad5800` · conf 0.70 — Studying information propagation is a consent-bounded engineering/control-theory lens with named forbidden overclaims — it is explicitly NOT a discovery of 'the physical law of human society' and people must not be modeled as particles.
- [Bidirectional Topology Growth (Empirical v1.0)](https://github.com/MachengShen/cognition-track/blob/master/nodes/mem_809263fa97a4.md) `mem_809263fa97a4` · conf 0.62 — On sequential synthetic tasks, bidirectional topology growth beats fixed-topology and fixed+replay baselines (mean acc 0.889 vs 0.558/0.621, interference 0.169 vs 0.420), with immune-gated module growth tracking the true latent task count.

### 🟡 Speculative (untested) (15)

- [Occam Correction: One Transition Operator](https://github.com/MachengShen/cognition-track/blob/master/nodes/mem_393f44f85ba4.md) `mem_393f44f85ba4` · conf 0.55 — Attention, memory, trust, routing, semantics, and action are not separate primitives but coordinate projections of one underlying object — the system's future transition/reachability structure — and the right move is fewer entities, not more.
- [Bidirectional Topology Growth (Theory)](https://github.com/MachengShen/cognition-track/blob/master/nodes/mem_d1192af430a7.md) `mem_d1192af430a7` · conf 0.55 — Lifelong learning requires controlled growth of bidirectional neuron pathways (forward use + backward credit/repair channels), not just weight updates on a static network.
- [General Learning Machine as Dynamical System](https://github.com/MachengShen/cognition-track/blob/master/nodes/mem_ccacc817ccd8.md) `mem_ccacc817ccd8` · conf 0.50 — A general learning machine is not an optimizer or loss function but an evolving system-state whose learning is the transition of what information exists, where it lives, how it flows, and which futures become reachable.
- [Credit Transport Generalizes Backprop](https://github.com/MachengShen/cognition-track/blob/master/nodes/mem_3db5b20948bb.md) `mem_3db5b20948bb` · conf 0.50 — Real learning requires future error/value/viability signals to propagate backward through every structure that caused an outcome (owner, agents, tools, memory, hardware), making neural backprop just one projection of a universal credit-transport principle.
- [Anti-Collapse Principle (3 Attractors)](https://github.com/MachengShen/cognition-track/blob/master/nodes/mem_992abc94ad9d.md) `mem_992abc94ad9d` · conf 0.50 — The core AI-safety failure is not raw strength but the collapse of perception, value/judgment, and action into one node; any high-intelligence system must keep these on three independent attractors for dynamical stability.
- [Multi-Scale Sleep/Spiral Consolidation](https://github.com/MachengShen/cognition-track/blob/master/nodes/mem_e74ab8a158a1.md) `mem_e74ab8a158a1` · conf 0.50 — Biological sleep generalizes to any dynamical system as a multi-scale wake-overextend-sleep-consolidate-reawaken spiral, and learning machines need this rhythmic phase separation to avoid drift or stagnation.
- [Attention-Dynamics Measurement Method](https://github.com/MachengShen/cognition-track/blob/master/nodes/mem_9f8b6ddc6faa.md) `mem_9f8b6ddc6faa` · conf 0.50 — The theory backbone is stable but measurement lags; attention dynamics can be observed cheaply by reframing existing harness logs, and the falsifiable core is whether the same transition-operator invariants appear at both internal (agent) and external (network) scale.
- [4-Layer Consciousness Architecture](https://github.com/MachengShen/cognition-track/blob/master/nodes/mem_28dcb9ef1120.md) `mem_28dcb9ef1120` · conf 0.50 — The human-machine system maps onto a four-layer consciousness structure (sensory / auto-pilot operator / witness-anchor / mutual-reflection), where the witness layer must stay an external anchor to keep the operator layer from self-rationalizing drift.
- [Endogenous Viability Objective](https://github.com/MachengShen/cognition-track/blob/master/nodes/mem_a1beda2c3d23.md) `mem_a1beda2c3d23` · conf 0.50 — A learning machine's objective should be modeled as an endogenous attractor/viability region arising from persistence and functional integrity, not a hand-authored scalar reward, and external goals become internalized as compressed surrogates.
- [Transition-Operator Formulation of Information](https://github.com/MachengShen/cognition-track/blob/master/nodes/mem_ef674273ca6d.md) `mem_ef674273ca6d` · conf 0.50 — Information is not message or content but a perturbation of the spectral structure of the system's transition operator — i.e. a change to future reachability — with growth, rotation, and periodicity being one dynamics seen in different projections.
- [Hardware Reversal: Heterogeneous Viability Computer](https://github.com/MachengShen/cognition-track/blob/master/nodes/mem_9dcee1c07ab4.md) `mem_9dcee1c07ab4` · conf 0.45 — As frozen-weight LLMs give way to continuously-evolving algorithms, the chip center of gravity must shift to a memory-centric, event-driven, near-memory/neuromorphic heterogeneous viability computer driven by living-agent workload traces.
- [Interface Theory of Perception](https://github.com/MachengShen/cognition-track/blob/master/nodes/mem_88693edcffd8.md) `mem_88693edcffd8` · conf 0.45 — Reality is hidden information dynamics, and the experienced world is an action-interface rendered by agents from it — so perception is control not display, and self-prediction is a candidate signal projected from hidden ground truth and corrected by action.
- [Carbon-Silicon MSC Convergence + BCI Seam](https://github.com/MachengShen/cognition-track/blob/master/nodes/mem_3d2156435b04.md) `mem_3d2156435b04` · conf 0.40 — The optimal architecture in either carbon or silicon converges on the same multi-scale-competency predictive-coding structure, so the two substrates will merge at the information-processing level with an MSC-architected BCI making the seam transparent.
- [Spiral Structure in Scientometrics](https://github.com/MachengShen/cognition-track/blob/master/nodes/mem_0249af865914.md) `mem_0249af865914` · conf 0.40 — If the credit-transport/sleep-consolidation theory holds, scientific fields themselves should show quasi-periodic wake/sleep/reawakening phases in their citation-concept graphs, not just monotonic growth.
- [Bekenstein-Cognitive-Cone Isomorphism (FALSIFIED)](https://github.com/MachengShen/cognition-track/blob/master/nodes/mem_91c2d7fcbb38.md) `mem_91c2d7fcbb38` · conf 0.30 — The proposed structural isomorphism between the Bekenstein bound and a cognitive-cone bound was stress-tested and broke on rigor — different units (static entropy vs throughput rate), different saturation mechanisms, different horizon types — surviving only as a loose analogy.

## Strongest non-consensus roots

The two most load-bearing, most-non-consensus claims to enter the graph from:

- [Credit Transport Generalizes Backprop](https://github.com/MachengShen/cognition-track/blob/master/nodes/mem_3db5b20948bb.md) `mem_3db5b20948bb`
- [Occam Correction: One Transition Operator](https://github.com/MachengShen/cognition-track/blob/master/nodes/mem_393f44f85ba4.md) `mem_393f44f85ba4`