You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Copy file name to clipboardExpand all lines: README.md
+25-11Lines changed: 25 additions & 11 deletions
Display the source diff
Display the rich diff
Original file line number
Diff line number
Diff line change
@@ -22,7 +22,7 @@ Read the following documents, in this order, before the rest:
22
22
1.**[Dream](https://thumbrise.github.io/op/books/dream/)** — a short book. No technical words. Start here if you want to understand what this is about before reading anything else.
23
23
2.**[ACKNOWLEDGEMENTS](https://thumbrise.github.io/op/ACKNOWLEDGEMENTS)** — every person, project, and discipline this work stands on. Standing on the shoulders of the founders. Respect comes first.
24
24
3.**[FAQ](https://thumbrise.github.io/op/FAQ)** — how this repository is meant to be read, what is and is not being claimed, common misreadings, common technical objections.
25
-
4.**The rest of this README, the devlogs, and the materials** — what we found, after the credit and the framing are in place.
25
+
4.**The rest of this README, the notes, and the materials** — what we found, after the credit and the framing are in place.
26
26
27
27
## Why this exists
28
28
@@ -36,8 +36,8 @@ Op tries to name the form on its own — without the transport, without the lang
36
36
37
37
Op (Operation Protocol) is a formalization of the operation as a universal primitive:
38
38
39
-
-**Five fields** — `id`, `comment`, `input`, `output`, `errors` — describe any operation at any level. Not an opinion. A fact. Like Church's lambda calculus formalized computation in 1936.
40
-
-**Traits** — namespaced key-value extensions attached from outside. HTTP routes, gRPC services, authentication, CLI flags. The operation does not change when a trait is added or removed. Traits are opinions. The operation is the fact.
39
+
-**Five fields** — `id`, `comment`, `input`, `output`, `error` — describe any operation at any level. Not an opinion. A fact. Like Church's lambda calculus formalized computation in 1936.
40
+
-**Traits** — namespaced extensions attached from outside. HTTP routes, gRPC services, authentication, CLI flags. The operation does not change when a trait is added or removed. Traits are opinions. The operation is the fact.
41
41
-**Instructions** — versioned, fully resolved units that flow between **emitters** (DSL compilers, scrapers, handwritten JSON) and **receivers** (framework compilers, documentation portals, AI tool registries, security scanners) through any transport.
42
42
43
43
**N + M instead of N × M.** New emitter — all receivers for free. New receiver — all emitters for free. The economics of LLVM applied one floor higher.
@@ -66,7 +66,7 @@ The theory predicts that one instruction format can replace N×M integrations wi
66
66
-[ ]**Validation** — a schema-level proof that every instruction conforms to the five-field structure. Invalid input → precise error. The contract is machine-enforceable
67
67
-[ ]**Formal specification** — RFC, JSON Schema versioned and frozen. The protocol is citable, auditable, and forkable
68
68
69
-
## Forget everything above
69
+
## Anti-CTA
70
70
71
71
Lists. Diagrams. Five fields. The PoC checklist.
72
72
All of it true. None of it the point.
@@ -78,18 +78,32 @@ The goal is not to remove boilerplate. The goal is for programs to
78
78
understand each other's capabilities. The consequences run wider than
79
79
what we can list today.
80
80
81
-
If you read this far — you are not a user. You are an early hand.
81
+
If you read this far - you are not a user. You are an early hand.
82
82
What is below is for those who want to understand.
83
83
84
-
-[The Notes: form of operation](https://thumbrise.github.io/op/notes/form-of-operation/) — how the form was found.
85
-
-[The Conjecture](https://thumbrise.github.io/op/reference/the-primitive-range-conjecture) — the law that holds it.
86
-
-[Dream](https://thumbrise.github.io/op/books/dream/) — a book about a world where it worked.
87
-
-[The Schema Of Instruction](https://thumbrise.github.io/op/reference/instruction.v1.json) — the form of instruction. (WIP)
88
-
-[The Schema Of Operation](https://thumbrise.github.io/op/reference/operation.v1.json) — the form of Operation itself.
89
-
90
84
There is no «Get Started» button here. Op is not for sale.
91
85
Op either surfaces in you on its own — or it does not.
92
86
87
+
### The forms
88
+
89
+
-[The Schema Of Instruction](https://thumbrise.github.io/op/reference/instruction.v1.json)
90
+
-[The Schema Of Nota](https://thumbrise.github.io/op/reference/nota.v1.json)
91
+
-[The Schema Of Data Rail](https://thumbrise.github.io/op/reference/rail.v1.json)
92
+
-[The Schema Of Operation](https://thumbrise.github.io/op/reference/operation.v1.json)
93
+
94
+
### How the forms were found
95
+
96
+
-[The Notes: form of Instruction](https://thumbrise.github.io/op/notes/form-of-instruction/)
97
+
-[The Notes: form of Nota](https://thumbrise.github.io/op/notes/form-of-nota/)
98
+
-[The Notes: form of Data Rail](https://thumbrise.github.io/op/notes/form-of-rail/)
99
+
-[The Notes: form of Operation](https://thumbrise.github.io/op/notes/form-of-operation/)
100
+
101
+
### Misc
102
+
103
+
-[Dream](https://thumbrise.github.io/op/books/dream/) — a book about a world where it worked.
104
+
-[The Conjecture](https://thumbrise.github.io/op/reference/the-primitive-range-conjecture) — the law that holds it.
105
+
-[Operation Protocol RFC](https://thumbrise.github.io/op/reference/rfc-operation-protocol.md) - request for comments.
Copy file name to clipboardExpand all lines: docs/idea.md
+25-13Lines changed: 25 additions & 13 deletions
Display the source diff
Display the rich diff
Original file line number
Diff line number
Diff line change
@@ -446,14 +446,9 @@ Every service describes itself. `any://any.com/operations/` — and in the respo
446
446
447
447
**The developer never sees Op.** Like you never see TCP when you open Gmail. The protocol is invisible. Vendors compile from instructions — their reputation depends on the quality. The developer writes business logic. Everything else is compiled.
448
448
449
-
## The Schema
449
+
## Anti-CTA
450
450
451
-
-[The Schema Of Instruction](reference/instruction.v1.json) — the form of instruction. (WIP)
452
-
-[The Schema Of Operation](reference/operation.v1.json) — the form of Operation itself.
Copy file name to clipboardExpand all lines: universal/README.md
+18Lines changed: 18 additions & 0 deletions
Display the source diff
Display the rich diff
Original file line number
Diff line number
Diff line change
@@ -1,4 +1,10 @@
1
1
# universal/ — first vendors, not a standard library
2
+
<details>
3
+
<summary>
4
+
Warning
5
+
</summary>
6
+
This content may be stale. See the Appended section below.
7
+
</details>
2
8
3
9
This directory holds the vendors we are bootstrapping for Op. They are not a standard library. They are the first inhabitants of an otherwise empty world, written so that instructions have somewhere to land while the protocol gets its legs.
4
10
@@ -19,3 +25,15 @@ It is also not a contract that the vendors we ship will be the best ones. Our su
19
25
-[`ROADMAP.md`](./ROADMAP.md) — what we plan to build inside `universal/` next.
20
26
-[Devlog #28](../docs/notes/form-of-operation/028-dobby-is-free.md) — why this directory exists at all.
21
27
-[Devlog #29](../docs/notes/form-of-operation/029-the-anthill-organizes.md) — why we do not plan beyond the horizon of real need.
28
+
29
+
## Appended
30
+
31
+
Many implementations were moved to personal repos.
Copy file name to clipboardExpand all lines: universal/ROADMAP.md
+7Lines changed: 7 additions & 0 deletions
Display the source diff
Display the rich diff
Original file line number
Diff line number
Diff line change
@@ -1,5 +1,12 @@
1
1
# universal/ — roadmap
2
2
3
+
<details>
4
+
<summary>
5
+
Warning
6
+
</summary>
7
+
This content may be stale.
8
+
</details>
9
+
3
10
What we plan to build next inside `universal/`. Not a contract. A direction.
4
11
5
12
Each milestone is a verifiable state of the world, not a category of work. A milestone closes when someone from the outside can run it and observe the result.
0 commit comments