// SYSTEM_INIT spear.exe loaded
伝統 / TRADITION 不可貫之盾 the unpierceable shield

mujun.io

// the spear that pierces all shields 貫きえぬ盾を支える矛

scroll → 矛盾

A Logic Gate Without Output

Two thousand three hundred years ago, a merchant in the State of Chu set down a weapon and a wall, and broke philosophy. The spear, he said, will pierce any shield. The shield, he said, will resist any spear. A bystander asked: what happens when your spear meets your shield?

He could not answer. We still cannot. mujun.io is the protocol that holds the question open — a runtime where contradictions are not bugs to be patched but signals to be read.

楚の商人、矛と盾とを鬻ぐ者あり。其の盾を誉めて曰く、わが盾の堅きこと、能く陥すもの莫きなり。又、其の矛を誉めて曰く、わが矛の利きこと、物において陥さざる無きなり。

ある人曰く、子の矛をもって、子の盾を陥さば如何。其の人応うる能わざるなり。

Six Paradoxes, Indexed

001

The Liar's Console

> assert(this.statement === false); この一文は偽である。

If true, false. If false, true. The compiler halts; the brush hesitates. The contradiction is the proof.

010

The Omnipotence Quotient

def lift(stone): if stone.weight == ∞: return ? 全能の神は持ち上げられぬ石を造れるか。

Either omnipotence has a limit, or it does not exist. The function returns NaN; the koan returns silence.

011

Ship of Theseus / Vessel of Buddha

while(plank.rotted) plank = new Plank(); // is this still ship? 板を一枚ずつ替えれば、舟はなお舟か。

Identity through replacement. The build hash changes; the name remains. The river is not the same river; you are not the same you.

100

Zeno's Race Condition

for(d=1; d>0; d/=2) /* arrival.never_resolves */ 追いつかぬ亀、止まれぬ矢。

Achilles never reaches the tortoise. The arrow, at every instant, is at rest — yet flies. The loop converges; motion remains.

101

The Halting Problem of the Self

decide(self) -> bool // Turing said: cannot exist. 己を計る秤は、己を量れず。

The scale cannot weigh itself. The function cannot decide its own halt. The mind, attempting introspection, recurses without bottom.

110

The Origin's Recursion

cause(x) := cause(cause(x)); // stack overflow at line 1 始まりに始まりあらば、それは始まりにあらず。

Every cause demands a prior cause. The first turtle stands on something. The function calls itself before it is defined.

When opposites compile, they output purple.

// LOGIC

A && ¬A → ⊥
The bottom of the lattice. The empty truth-set. The compiler raises ContradictionError.

無 / VOID

有無相生
Being and non-being give birth to each other. The Tao does not resolve them; it holds both.

⊕ MUJUN

The collision is the protocol.
We do not patch the paradox — we observe its color where the wavelengths overlap.

The mujun.io Stack

~/mujun.io/runtime $
$ mujun --init
[INIT] loading paradox.kernel...
[INIT] mounting /traditions/zhuangzi
[INIT] mounting /traditions/wittgenstein
[OK] contradiction runtime ready
$ mujun observe "spear vs shield"
[OBSERVE] input: 矛 (spear, pierces all)
[OBSERVE] input: 盾 (shield, blocks all)
[RESULT] state = SUPERPOSITION
[WARN] classical logic returned ⊥ (false)
[OK] contradiction held; observation recorded
$ mujun export --format=koan
→ "矛盾は欠陥にあらず — 信号なり"
→ "contradiction is not a flaw — it is signal"
$ _