HaltingMachine 0.1__py3-none-any.whl

HaltingMachine.py

@@ -0,0 +1,4 @@
+from machine.field import main
+
+if __name__ == "__main__":
+    main()

haltingmachine-0.1.dist-info/METADATA

@@ -0,0 +1,6 @@
+Metadata-Version: 2.4
+Name: HaltingMachine
+Version: 0.1
+Summary: A tiny Oblivious Compute halting-machine specimen
+Requires-Python: >=3.10
+Requires-Dist: wcwidth>=0.2

haltingmachine-0.1.dist-info/RECORD

@@ -0,0 +1,10 @@
+HaltingMachine.py,sha256=PtDmybCXkio4mQ1MCNVIo7iU62z1qoN7Fjq8Xyoga2M,70
+machine/__init__.py,sha256=gWfketXvBDaqOxZrk4DnoRPuCXCrdQO3NTkB8Y-netc,53
+machine/field.py,sha256=PcvQ99mHSLnNSzlxtm4-aIBxMmvCOoaTrA335Pxs_C0,2988
+machine/inverter.py,sha256=SUyPNGN-q-OnWRucvTqp74yIVvDOWmUTDndds6roJXU,277
+machine/observer.py,sha256=tVvYZT8DMMccW821GEGmic5xxaR67lNg--cPDiOhe6U,4229
+haltingmachine-0.1.dist-info/METADATA,sha256=YsblUXiZ3Ba3DLTneGokT3n2egtJ1eaFYVPu_cON2Y0,167
+haltingmachine-0.1.dist-info/WHEEL,sha256=YVMoNqKzERt-wjUZwJ33xBGAwnFl-4cqbYkTtWa4itE,91
+haltingmachine-0.1.dist-info/entry_points.txt,sha256=xFGFsuNord-JFO1IXqag_U7lVtBmc_xyg5UA3hJzrlY,55
+haltingmachine-0.1.dist-info/top_level.txt,sha256=KptXOzAYcX_GJzLAQXUlBc4KyuhsXMKvn9ZF7cpgqWo,23
+haltingmachine-0.1.dist-info/RECORD,,

haltingmachine-0.1.dist-info/WHEEL

@@ -0,0 +1,5 @@
+Wheel-Version: 1.0
+Generator: setuptools (84.0.0)
+Root-Is-Purelib: true
+Tag: py3-none-any
+

haltingmachine-0.1.dist-info/entry_points.txt

@@ -0,0 +1,2 @@
+[console_scripts]
+HaltingMachine = HaltingMachine:main

haltingmachine-0.1.dist-info/top_level.txt

@@ -0,0 +1,2 @@
+HaltingMachine
+machine

machine/__init__.py

@@ -0,0 +1 @@
+"""HaltingMachine: observer, inverter, and field."""

machine/field.py

@@ -0,0 +1,75 @@
+import os, platform, random, shlex, shutil, signal, subprocess, sys, termios, tty
+from wcwidth import wcswidth
+
+
+def paint():
+    sys.stdout.write("\033[40m\033[97m\033[2J\033[H\033[?25l")
+
+
+def clear():
+    sys.stdout.write("\033[?25h\033[0m\033[2J\033[H"); sys.stdout.flush()
+
+
+def center(text):
+    return " " * max(0, (os.get_terminal_size().columns - wcswidth(text)) // 2) + text
+
+
+def choose(label, lo, hi, value):
+    old = termios.tcgetattr(sys.stdin); tty.setcbreak(sys.stdin.fileno())
+    try:
+        while True:
+            paint(); print("\n\n" + center("HaltingMachine"), "\n", center(label), "", center(str(value)), sep="\n", flush=True)
+            key = os.read(sys.stdin.fileno(), 3)
+            if key in (b"\r", b"\n"): return value
+            if key == b"\x1b[A": value = min(hi, value + 1)
+            elif key == b"\x1b[B": value = max(lo, value - 1)
+    finally: termios.tcsetattr(sys.stdin, termios.TCSADRAIN, old)
+
+
+def terminal_command(cmd):
+    names = ("kitty", "konsole", "gnome-terminal", "xfce4-terminal", "alacritty")
+    terminal = next((shutil.which(x) for x in names if shutil.which(x)), None)
+    terminal = terminal or shutil.which(os.environ.get("TERMINAL", ""))
+    terminal = terminal or shutil.which("x-terminal-emulator") or shutil.which("xterm")
+    if not terminal: raise SystemExit("No terminal emulator found")
+    name = os.path.basename(os.path.realpath(terminal))
+    if name == "gnome-terminal": return [terminal, "--", *cmd]
+    if name == "xfce4-terminal": return [terminal, "--command", shlex.join(cmd)]
+    if name == "alacritty": return [terminal, "-T", "HaltingMachine", "-e", *cmd]
+    if name == "kitty": return [terminal, "--title", "HaltingMachine", *cmd]
+    return [terminal, "-e", *cmd]
+
+
+def spawn(module, index, total):
+    cmd = [sys.executable, "-m", module, str(index), str(total)]
+    env = os.environ.copy(); env["PYTHONIOENCODING"] = "utf-8"
+    if platform.system() == "Darwin":
+        line = shlex.join(cmd).replace('"', '\\"')
+        subprocess.Popen(["osascript", "-e", f'tell application "Terminal" to do script "{line}"'])
+    else: subprocess.Popen(terminal_command(cmd), env=env)
+
+
+def main():
+    old_handlers = {s: signal.getsignal(s) for s in (signal.SIGTSTP, signal.SIGQUIT)}
+    for s in old_handlers: signal.signal(s, signal.SIG_IGN)
+    try:
+        total = choose("OBSERVERS", 1, 10, 5)
+        inverted = choose("INVERTERS", 0, total, min(1, total))
+        first = total - inverted
+        index = random.randrange(total)
+        for i in range(total):
+            if i != index:
+                spawn("machine.inverter" if i >= first else "machine.observer", i, total)
+        if index >= first:
+            from .inverter import run
+        else:
+            from .observer import run
+        run(index, total)
+    except (KeyboardInterrupt, EOFError):
+        pass
+    finally:
+        for s, h in old_handlers.items(): signal.signal(s, h)
+        clear()
+
+
+if __name__ == "__main__": main()

machine/inverter.py

@@ -0,0 +1,14 @@
+import sys
+from .observer import REVERSE, run as observe
+
+
+def run(index, total):
+    observe(index, total, step=REVERSE, invert_controls=True, invert_mode=True)
+
+
+def main():
+    index, total = map(int, sys.argv[1:3])
+    run(index, total)
+
+
+if __name__ == "__main__": main()

machine/observer.py

@@ -0,0 +1,102 @@
+import os, select, signal, socket, sys, termios, time, tty
+from wcwidth import wcswidth
+
+ROCK, PAPER, SCISSORS = "🪨", "📜", "✂️"
+FORWARD = {ROCK: PAPER, PAPER: SCISSORS, SCISSORS: ROCK}
+REVERSE = {v: k for k, v in FORWARD.items()}
+ART = {ROCK: ROCK * 4, PAPER: PAPER * 4, SCISSORS: "✂️ " * 4}
+GREEK = ("Γ", "Δ", "Ε", "Θ", "Λ", "Π", "Σ", "Φ", "Ψ", "Ω")
+BASE = 43120
+
+
+def paint():
+    sys.stdout.write("\033[40m\033[97m\033[2J\033[H\033[?25l")
+
+
+def clear():
+    sys.stdout.write("\033[?25h\033[0m\033[2J\033[H"); sys.stdout.flush()
+
+
+def center(text, width=None):
+    width = wcswidth(text) if width is None else width
+    return " " * max(0, (os.get_terminal_size().columns - width) // 2) + text
+
+
+def draw(identity, mode, state, inverted=False, genesis=None):
+    paint(); print("\n\n" + center(f"{identity} HaltingMachine {identity}"), "\n")
+    if genesis is not None:
+        print(center("GENESIS"), "\n", center(genesis), flush=True); return
+    face = "🙃" if inverted else "🙂"
+    halt = f"{face}HALT{face}" if mode == 0 else "HALT"
+    repeat = f"{face}REPEAT{face}" if mode else "REPEAT"
+    print(center(halt), center(repeat), "", center(ART[state], 8), "", center("SPACE TO EXIT"), sep="\n", flush=True)
+
+
+def send(sock, total, payload, skip):
+    data = payload.encode("utf-8")
+    for i in range(total):
+        if i != skip:
+            try: sock.sendto(data, ("127.0.0.1", BASE + i))
+            except OSError: pass
+
+
+def run(index, total, step=FORWARD, invert_controls=False, invert_mode=False):
+    identity = GREEK[index]
+    sock = socket.socket(socket.AF_INET, socket.SOCK_DGRAM)
+    sock.setblocking(False); sock.bind(("127.0.0.1", BASE + index))
+    seen, state, mode = {index}, ROCK, 0
+    old = termios.tcgetattr(sys.stdin); tty.setcbreak(sys.stdin.fileno())
+    ignored = (signal.SIGTSTP, signal.SIGQUIT)
+    handlers = {s: signal.getsignal(s) for s in ignored}
+    for s in ignored: signal.signal(s, signal.SIG_IGN)
+    hello_at = ready_at = emit_at = 0.0; shown_seen = -1
+    try:
+        while True:
+            now = time.monotonic()
+            if now >= hello_at:
+                send(sock, total, f"H{index}", index); hello_at = now + .25
+            while True:
+                try: msg = sock.recvfrom(64)[0].decode("utf-8")
+                except BlockingIOError: break
+                if msg.startswith("H"):
+                    seen.add(int(msg[1:]))
+                elif now >= ready_at:
+                    # ================= LINCHPIN ================= #
+                    admissible = msg == step[state]
+                    # ============================================ #
+                    if admissible:
+                        state = msg; ready_at = emit_at = now + 1.0
+                        send(sock, total, msg, index)
+                        draw(identity, mode, state, invert_controls)
+            if len(seen) < total:
+                if len(seen) != shown_seen:
+                    draw(identity, mode, state, invert_controls, f"{len(seen)} / {total}"); shown_seen = len(seen)
+                time.sleep(.05); continue
+            if ready_at == 0.0:
+                draw(identity, mode, state, invert_controls); ready_at = emit_at = now + 1.0
+            active = (1 - mode) if invert_mode else mode
+            if active and now >= ready_at and now >= emit_at:
+                send(sock, total, step[state], index); emit_at = now + 1.0
+            ready, _, _ = select.select([sys.stdin], [], [], .05)
+            if ready:
+                key = os.read(sys.stdin.fileno(), 3)
+                if key == b" ": break
+                if key in (b"\x1b[A", b"\x1b[B"):
+                    down = key == b"\x1b[B"
+                    mode = 1 if (not down if invert_controls else down) else 0
+                    emit_at = time.monotonic() + 1.0
+                    draw(identity, mode, state, invert_controls)
+    except (KeyboardInterrupt, EOFError):
+        pass
+    finally:
+        for s, h in handlers.items(): signal.signal(s, h)
+        termios.tcsetattr(sys.stdin, termios.TCSADRAIN, old)
+        clear(); sock.close()
+
+
+def main():
+    index, total = map(int, sys.argv[1:3])
+    run(index, total)
+
+
+if __name__ == "__main__": main()