corpaci.github.io/map.html at main · corpaci/corpaci.github.io · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
---
layout: page
title: Self-Reference Map
subtitle: "Recursion, paradox, and alignment analogies compared by selected features."
permalink: /map/
epistemic_status: Conceptual map
epistemic_note: The feature choices and solid relations are hand-authored. Computed proximity indicates similarity under those choices, not mathematical equivalence or a causal relationship.
---

<style>
.sr-intro {
  font-family: var(--font-sans);
  font-size: 0.9rem;
  color: var(--text-secondary);
  line-height: 1.6;
  margin-bottom: 1.25rem;
}

#sr-legend {
  display: flex;
  flex-wrap: wrap;
  gap: 0.4rem 1.1rem;
  font-family: var(--font-sans);
  font-size: 0.74rem;
  color: var(--text-secondary);
  margin-bottom: 0.75rem;
}

.sr-legend-item { display: inline-flex; align-items: center; gap: 0.35rem; }

.sr-swatch {
  width: 10px;
  height: 10px;
  border-radius: 50%;
  display: inline-block;
  flex-shrink: 0;
}

.sr-controls {
  font-family: var(--font-sans);
  font-size: 0.78rem;
  color: var(--text-secondary);
  margin-bottom: 0.5rem;
}

.sr-controls input { accent-color: var(--accent); vertical-align: middle; }

#sr-graph {
  border: 1px solid var(--border-color);
  border-radius: 4px;
  background: color-mix(in srgb, var(--code-bg) 45%, var(--bg-primary));
  margin-bottom: 1rem;
}

#sr-detail {
  display: none;
  border: 1px solid var(--border-color);
  border-left: 3px solid var(--accent);
  border-radius: 4px;
  padding: 1rem 1.25rem;
  font-size: 0.92rem;
  line-height: 1.65;
  margin-bottom: 1.5rem;
}

#sr-detail.sr-detail-open { display: block; }

#sr-detail .sr-thinkers {
  font-family: var(--font-sans);
  font-size: 0.78rem;
  color: var(--text-secondary);
  margin: -0.5rem 0 0.75rem;
}

#sr-detail .sr-pa {
  font-size: 0.85rem;
  color: var(--text-secondary);
  border-left: 2px solid var(--border-color);
  padding-left: 0.75rem;
}

#sr-detail .sr-meta {
  font-family: var(--font-sans);
  font-size: 0.78rem;
  color: var(--text-secondary);
  margin-bottom: 0.75rem;
}

.sr-chip {
  display: inline-block;
  font-family: var(--font-mono);
  font-size: 0.68rem;
  border: 1px solid var(--border-color);
  border-radius: 3px;
  padding: 0.05em 0.4em;
  color: var(--text-secondary);
}

.sr-list {
  font-family: var(--font-sans);
  font-size: 0.82rem;
  color: var(--text-secondary);
  margin: 0 0 0.75rem 1.1rem;
}

.sr-list li { margin-bottom: 0.1rem; }

.sr-dist { color: var(--text-secondary); opacity: 0.7; }

.sr-note {
  font-family: var(--font-sans);
  font-size: 0.8rem;
  color: var(--text-secondary);
  line-height: 1.6;
}
</style>

<p class="sr-intro">
Self-reference appears in constructions with very different outcomes: recursion and quines put it to work,
while the Liar and Gödel expose precisely scoped limits. Goodhart, ELK, and probe contamination are included as
proposed machine-learning analogies, not direct instances of the same theorem. Each node is scored on five features
(mechanism, productivity, what breaks, locus, domain). <strong>Solid lines</strong> are
hand-labeled relations; <strong>dashed lines</strong> are computed affinities, pairs whose
feature distance is small. Click a node for its story; drag to untangle.
</p>

<div id="sr-legend"></div>

<p class="sr-controls">
  <label><input type="checkbox" id="sr-derived-toggle" checked> show computed affinities (dashed)</label>
</p>

<div id="sr-graph"></div>

<div id="sr-detail" aria-live="polite"></div>

<p class="sr-note">
The productive→collapse spectrum offers one way to compare material from
<a href="/blog/limits-of-formalization">the limits-of-formalization post</a> and the
<a href="/limits/">limits/ interactive</a>. The logic results, alignment questions, and productive constructions
occupy nearby regions under the selected features; proximity does not show that alignment systems inherit the theorems' conclusions.
Distances are weighted Jaccard over the feature sets;
weights and data in
<a href="https://github.com/corpaci/corpaci.github.io/blob/main/_data/self_reference.json">self_reference.json</a>.
</p>

<script>
  window.SR = {{ site.data.self_reference | jsonify }};
</script>
<script src="https://cdn.jsdelivr.net/npm/d3@7.9.0/dist/d3.min.js"></script>
<script src="/js/sr-distance.js"></script>
<script src="/js/sr-graph.js"></script>