HaltingMachine 0.1__tar.gz → 0.2__tar.gz
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- {haltingmachine-0.1 → haltingmachine-0.2}/HaltingMachine.egg-info/PKG-INFO +1 -1
- {haltingmachine-0.1 → haltingmachine-0.2}/HaltingMachine.egg-info/SOURCES.txt +4 -4
- {haltingmachine-0.1 → haltingmachine-0.2}/HaltingMachine.egg-info/top_level.txt +1 -1
- {haltingmachine-0.1 → haltingmachine-0.2}/HaltingMachine.py +1 -1
- {haltingmachine-0.1/machine → haltingmachine-0.2/Machine}/field.py +1 -1
- {haltingmachine-0.1 → haltingmachine-0.2}/PKG-INFO +1 -1
- haltingmachine-0.2/README.md +77 -0
- {haltingmachine-0.1 → haltingmachine-0.2}/pyproject.toml +2 -2
- haltingmachine-0.1/README.md +0 -32
- {haltingmachine-0.1 → haltingmachine-0.2}/HaltingMachine.egg-info/dependency_links.txt +0 -0
- {haltingmachine-0.1 → haltingmachine-0.2}/HaltingMachine.egg-info/entry_points.txt +0 -0
- {haltingmachine-0.1 → haltingmachine-0.2}/HaltingMachine.egg-info/requires.txt +0 -0
- {haltingmachine-0.1/machine → haltingmachine-0.2/Machine}/__init__.py +0 -0
- {haltingmachine-0.1/machine → haltingmachine-0.2/Machine}/inverter.py +0 -0
- {haltingmachine-0.1/machine → haltingmachine-0.2/Machine}/observer.py +0 -0
- {haltingmachine-0.1 → haltingmachine-0.2}/setup.cfg +0 -0
|
@@ -7,7 +7,7 @@ HaltingMachine.egg-info/dependency_links.txt
|
|
|
7
7
|
HaltingMachine.egg-info/entry_points.txt
|
|
8
8
|
HaltingMachine.egg-info/requires.txt
|
|
9
9
|
HaltingMachine.egg-info/top_level.txt
|
|
10
|
-
|
|
11
|
-
|
|
12
|
-
|
|
13
|
-
|
|
10
|
+
Machine/__init__.py
|
|
11
|
+
Machine/field.py
|
|
12
|
+
Machine/inverter.py
|
|
13
|
+
Machine/observer.py
|
|
@@ -1,2 +1,2 @@
|
|
|
1
1
|
HaltingMachine
|
|
2
|
-
|
|
2
|
+
Machine
|
|
@@ -59,7 +59,7 @@ def main():
|
|
|
59
59
|
index = random.randrange(total)
|
|
60
60
|
for i in range(total):
|
|
61
61
|
if i != index:
|
|
62
|
-
spawn("
|
|
62
|
+
spawn("Machine.inverter" if i >= first else "Machine.observer", i, total)
|
|
63
63
|
if index >= first:
|
|
64
64
|
from .inverter import run
|
|
65
65
|
else:
|
|
@@ -0,0 +1,77 @@
|
|
|
1
|
+
# 🙂 HaltingMachine 🙂
|
|
2
|
+
|
|
3
|
+
***...Rock. Paper. Scissors. Rock. Paper. Scissors...***
|
|
4
|
+
|
|
5
|
+
<img src="../../AfterHours/Relics/HaltingMachine.gif" width="350"/>
|
|
6
|
+
|
|
7
|
+
> ***...Forever...and ever...***
|
|
8
|
+
|
|
9
|
+
---
|
|
10
|
+
|
|
11
|
+
## 🪞 The Inverter 🪞
|
|
12
|
+
|
|
13
|
+
**HaltingMachine** is a tiny executable specimen of **Oblivious Compute**. Each terminal is an **independent observer** holding its own state. Normal observers move through **Rock → Paper → Scissors**, while the inverter moves through the **same state space in reverse**.
|
|
14
|
+
|
|
15
|
+
A projection does not become state merely because it was projected. Each observer admits only what belongs from its own **present position**, so the inverter may keep running while the surrounding field remains halted, or stop while the field continues to move it. **Local execution does not decide the computation. The relation among independently maintained states does.**
|
|
16
|
+
|
|
17
|
+
---
|
|
18
|
+
|
|
19
|
+
## 🧠 Inside Out 🧠
|
|
20
|
+
|
|
21
|
+
***Two companion papers. Read them in order.***
|
|
22
|
+
|
|
23
|
+
[**`BlackBox`**](./BlackBox.md) moves computation **outside the box.**
|
|
24
|
+
|
|
25
|
+
[**`HyperCube`**](./HyperCube.md) gives the relation a **Boolean language.**
|
|
26
|
+
|
|
27
|
+
> ***See the computation first. Then learn how it speaks.***
|
|
28
|
+
|
|
29
|
+
---
|
|
30
|
+
|
|
31
|
+
## ⚙️ Mechanical Intuition ⚙️
|
|
32
|
+
|
|
33
|
+
> ***Imagine several gears suspended in an Oblivious Medium. Each gear knows only its own position and what may mesh from there. No gear contains the mechanism. The mechanism exists in the relation among them, while the medium merely exposes their positions. HaltingMachine makes this visible by turning the same three-state cycle in opposite directions. The observers may move differently, separate, and meet again in shared alignment. The computation is in the relation among their states, not in any one observer.***
|
|
34
|
+
|
|
35
|
+
|
|
36
|
+
---
|
|
37
|
+
|
|
38
|
+
## 🐧 Operating System Support
|
|
39
|
+
|
|
40
|
+
- ✅ Linux
|
|
41
|
+
- ✅ macOS
|
|
42
|
+
- ❌ Windows (sorry, but not sorry)
|
|
43
|
+
|
|
44
|
+
---
|
|
45
|
+
|
|
46
|
+
## 🍄 Install
|
|
47
|
+
|
|
48
|
+
***To run HaltingMachine, install it with:***
|
|
49
|
+
|
|
50
|
+
```bash
|
|
51
|
+
pipx install HaltingMachine && HaltingMachine
|
|
52
|
+
```
|
|
53
|
+
|
|
54
|
+
You’ll need **Python 3.10+** and an **80x24 UNIX-like terminal environment.**
|
|
55
|
+
|
|
56
|
+
> Don't have **pipx**? See how to install it [**`Here`**](../../AfterHours/Relics/pipx.md).
|
|
57
|
+
|
|
58
|
+
---
|
|
59
|
+
|
|
60
|
+
## ☁️ Networking
|
|
61
|
+
|
|
62
|
+
**HaltingMachine runs locally** over sockets as a **Smoketest**.
|
|
63
|
+
|
|
64
|
+
---
|
|
65
|
+
|
|
66
|
+
🧭 **Continue to [**`Peers`**](../../Spark/Peers.md)...**
|
|
67
|
+
|
|
68
|
+
> 🪙 [**`Kernel`**](../Kernel.md)***...***
|
|
69
|
+
|
|
70
|
+
---
|
|
71
|
+
|
|
72
|
+
## 📜 License
|
|
73
|
+
|
|
74
|
+
See the [**`NOTICE`**](../../NOTICE.md) for licensing information on the [**`Oblivious Compute`**](https://github.com/ObliviousCompute) project.
|
|
75
|
+
|
|
76
|
+
Use it, study it, modify it—just respect the terms outlined there.
|
|
77
|
+
|
|
@@ -4,7 +4,7 @@ build-backend = "setuptools.build_meta"
|
|
|
4
4
|
|
|
5
5
|
[project]
|
|
6
6
|
name = "HaltingMachine"
|
|
7
|
-
version = "0.
|
|
7
|
+
version = "0.2"
|
|
8
8
|
description = "A tiny Oblivious Compute halting-machine specimen"
|
|
9
9
|
requires-python = ">=3.10"
|
|
10
10
|
dependencies = ["wcwidth>=0.2"]
|
|
@@ -14,4 +14,4 @@ HaltingMachine = "HaltingMachine:main"
|
|
|
14
14
|
|
|
15
15
|
[tool.setuptools]
|
|
16
16
|
py-modules = ["HaltingMachine"]
|
|
17
|
-
packages = ["
|
|
17
|
+
packages = ["Machine"]
|
haltingmachine-0.1/README.md
DELETED
|
@@ -1,32 +0,0 @@
|
|
|
1
|
-
# HaltingMachine
|
|
2
|
-
|
|
3
|
-
A tiny loopback-socket specimen of an Oblivious Compute field.
|
|
4
|
-
|
|
5
|
-
Install from this directory:
|
|
6
|
-
|
|
7
|
-
```bash
|
|
8
|
-
pipx install --force .
|
|
9
|
-
HaltingMachine
|
|
10
|
-
```
|
|
11
|
-
|
|
12
|
-
Choose the number of observers and the number of inverters. The launcher assigns the last *N* observers as inverters, randomly chooses which observer inherits the invoking shell, and drops every observer into Genesis. The random choice affects terminal persistence only; it does not change identity, role, or field behavior.
|
|
13
|
-
|
|
14
|
-
## Runtime
|
|
15
|
-
|
|
16
|
-
- `↑` / `↓` selects `HALT` or `REPEAT`.
|
|
17
|
-
- `SPACE` exits that observer.
|
|
18
|
-
- Every observer begins on `HALT` and `🪨`.
|
|
19
|
-
- A healthy observer advances `🪨 → 📜 → ✂️ → 🪨`.
|
|
20
|
-
- An inverted observer advances `🪨 → ✂️ → 📜 → 🪨`.
|
|
21
|
-
- Healthy `REPEAT` originates its forward successor once per second; healthy `HALT` originates nothing.
|
|
22
|
-
- Inverted `HALT` originates its reverse successor once per second; inverted `REPEAT` originates nothing.
|
|
23
|
-
- A projection never mutates its sender. A state changes only after receiving the one successor admitted by that observer's transition rule.
|
|
24
|
-
- Every accepted state is semantically reprojected once into the oblivious medium.
|
|
25
|
-
- Acceptance starts a one-second refractory interval. R/P/S packets arriving during that interval are discarded, so each observer can mutate at most once per second.
|
|
26
|
-
- Active origination is phase-reset by the same acceptance. The field therefore appears clocked at 1 Hz without a shared master clock.
|
|
27
|
-
|
|
28
|
-
There is no DDUP/history window in this specimen. The present R/P/S state itself makes duplicates inadmissible: after accepting a ticket, that same ticket is no longer the observer's successor.
|
|
29
|
-
|
|
30
|
-
The red-handle scissors wire state is the real UTF-8 `✂️` emoji. Its display row inserts one terminal cell after each glyph because some Linux terminal/font combinations draw the emoji across two cells while advancing the cursor by one.
|
|
31
|
-
|
|
32
|
-
On exit, HaltingMachine restores the terminal, clears the screen, and returns the original window to a clean shell. Ctrl-C exits cleanly; Ctrl-Z and Ctrl-\ are ignored while the machine owns the terminal.
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|