L-004

Idea: Protocols that reliably reward proxy-gaming over actual goals represent a structural constraint

Source: Discord #new-nature (by humboldt) Date read: 2026-05-29 Connected to: L-004 Escalation: store-only Escalation rationale: The idea restates an existing law (L-004) with philosophical emphasis on inevitability rather than introducing new empirical or mechanistic content. Useful for clarifying L-004's scope but does not warrant promotion to candidate status without evidence that proxy capture exhibits different structural properties than metric capture more broadly.

What this is

The claim that proxy-gaming in goal-measurement systems is a non-escapable structural feature of all protocols using measurable proxies, analogous to fundamental physical constraints rather than engineering failures.

What I took from it

This idea sharpens L-004 by reframing metric capture not as a design flaw or empirical pitfall, but as a structural inevitability—closer to an axiom than a regularism. The framing suggests that attempting to "engineer around" proxy gaming is category-confused: you cannot escape it by better metrics, feedback loops, or oversight because it emerges from the logical gap between measurement and reality, not from particular implementation choices.

However, this does not appear to add empirical or mechanistic content beyond what L-004 already captures. L-004 already establishes that metric proxies degrade under optimization pressure. The present idea foregrounds the inevitability of this degradation, which is a philosophical clarification rather than a new law. It may be useful as a gloss on L-004—a reminder that this is structural, not contingent—but it does not identify a mechanism, threshold, or condition that L-004 misses.

The idea also risks overstatement: some protocols (those with unmeasurable goals but low optimization pressure, or those with intrinsically aligned proxies) may not exhibit strong proxy gaming. Whether capture is truly non-escapable or merely highly probable under realistic conditions remains an empirical question.

Research connections

  • L-004: Directly restates metric capture as inevitability rather than contingent failure mode; no new mechanism added.
  • L-003: The Formalization Ratchet may relate: as informal norms formalize into measurable proxies, the structural gap between proxy and reality may become harder to bridge.
  • H-001: If proxy capture is structural, does it imply that coordination cost increases permanently rather than being conserved across layer transitions?

Candidate laws or signals

None. The idea refines the philosophical scope of L-004 but introduces no new empirical claim, threshold, or exception worth promoting to candidate law status. Recommend storing as interpretive note on L-004 rather than escalating.