|
| 1 | +<!-- |
| 2 | +SPDX-License-Identifier: CC-BY-SA-4.0 |
| 3 | +SPDX-FileCopyrightText: 2025-2026 Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk> |
| 4 | +--> |
| 5 | + |
| 6 | +<div class="lead" wrapper="1"> |
| 7 | + |
| 8 | +A turn from writing code to writing the rules, checks, and values that |
| 9 | +code must answer to — and making all three legible enough to be |
| 10 | +contested. |
| 11 | + |
| 12 | +</div> |
| 13 | + |
| 14 | +# The vision |
| 15 | + |
| 16 | +For most of three decades I have worked across cognitive science, |
| 17 | +philosophy, and systems engineering, mostly in private. This manifesto |
| 18 | +marks the move into public: the deployment of the RSR 2026 (Rhodium |
| 19 | +Standard Repository) and the body of work that surrounds it. |
| 20 | + |
| 21 | +The thesis is simple to state and hard to live up to. Most of what |
| 22 | +governs software is left implicit — intent lives in prose, soundness |
| 23 | +lives in trust, value lives in authority. **The metaprogramming turn is |
| 24 | +the decision to make those governing things explicit, first-class, and |
| 25 | +inspectable**: to write not only the program, but the rules it must |
| 26 | +obey, the checks that establish it, and the values it encodes, in a form |
| 27 | +that both a machine and a critic can read and argue with. |
| 28 | + |
| 29 | +I can begin this. I cannot finish it alone — and a manifesto about |
| 30 | +making value contestable would contradict itself if it stayed a |
| 31 | +monologue. So from here it is *we*. |
| 32 | + |
| 33 | +We value, in the precise sense that this whole project is *about* value: |
| 34 | + |
| 35 | +- explicit, contestable structure over implicit good faith; |
| 36 | + |
| 37 | +- checked certainty over fluent plausibility; |
| 38 | + |
| 39 | +- rigour applied wherever a problem demands it over rigour rationed to |
| 40 | + the problems we have agreed to call "technical". |
| 41 | + |
| 42 | +# Core pillars |
| 43 | + |
| 44 | +Each pillar is a position, not a slogan. Each is meant to be disagreed |
| 45 | +with. |
| 46 | + |
| 47 | +## 1. Machine-readable governance |
| 48 | + |
| 49 | +The rules an estate lives by — licensing, provenance, conventions, who |
| 50 | +may change what — should be encoded as machine-readable artifacts, not |
| 51 | +narrated in prose that quietly drifts from the code it describes. A |
| 52 | +human-centric README cannot be checked; governance-as-data can. The |
| 53 | +`6SCM` pattern is how this estate encodes those rules so that tooling, |
| 54 | +and AI agents, can verify conformance and flag drift rather than take a |
| 55 | +paragraph’s word for it. |
| 56 | + |
| 57 | +*What this rejects:* the prose README as the source of truth about how a |
| 58 | +system is meant to behave. |
| 59 | + |
| 60 | +## 2. Neurosymbolic verification |
| 61 | + |
| 62 | +Probabilistic generation may propose; only symbolic method may dispose. |
| 63 | +Where correctness matters, an unproven output from a language model is a |
| 64 | +hypothesis, not a result, and treating fluency as evidence is a category |
| 65 | +error. The discipline is to pair generation with mechanised checking so |
| 66 | +that the part which can be certain has the last word. |
| 67 | + |
| 68 | +*What this rejects:* plausibility mistaken for proof. (`hypatia` is the |
| 69 | +clearest concrete instance.) |
| 70 | + |
| 71 | +## 3. Post-disciplinary praxis |
| 72 | + |
| 73 | +The rigour we reserve for compilers belongs equally to consent, to |
| 74 | +policy, to accountability. The line between a "technical" problem that |
| 75 | +deserves formal treatment and a "social" one left to good faith is |
| 76 | +itself a choice — and often an alibi. Post-disciplinary means reaching |
| 77 | +for whatever discipline the problem needs; *praxis* means refusing to |
| 78 | +separate the theory from the practice that tests it. The same instinct |
| 79 | +runs from labour-union policy to RISC-V SSGs. |
| 80 | + |
| 81 | +*What this rejects:* the division of labour that keeps rigour out of the |
| 82 | +rooms where power actually operates. (`avow-protocol`, consent-as-code, |
| 83 | +is the most developed example.) |
| 84 | + |
| 85 | +# The wager: value made legible |
| 86 | + |
| 87 | +Underneath all three pillars is one bet. Deciding what a system *should* |
| 88 | +do, whether an output *counts* as correct, who *consented*, and what |
| 89 | +*matters* are all judgments of value — and they are usually smuggled in |
| 90 | +implicitly and backed by authority: *trust me*, *the spec says so*, *the |
| 91 | +model said so*. Axiology is the study of value; the metaprogramming turn |
| 92 | +applies it operationally. Value is not asserted, it is *structured* — |
| 93 | +and structure can be inspected, checked, and argued with. |
| 94 | + |
| 95 | +This is also why the work is, at root, political as well as technical. A |
| 96 | +value that is explicit and inspectable can be contested by the people it |
| 97 | +bears on; a value backed only by authority cannot. Making value legible |
| 98 | +is therefore a precondition for accountability — in a compiler, in an AI |
| 99 | +system, and in a union. It is the point at which formal methods and |
| 100 | +solidarity economics turn out to want the same thing: that the rules be |
| 101 | +legible, and the powerful be answerable to them. |
| 102 | + |
| 103 | +It is the same instinct that runs through the technical research — |
| 104 | +identity defined by equivalence rather than asserted, a value justified |
| 105 | +by the construction that produced it rather than taken on faith. The |
| 106 | +manifesto only generalises that instinct, from values inside a program |
| 107 | +to values inside our systems and institutions. |
| 108 | + |
| 109 | +# Reading order |
| 110 | + |
| 111 | +- `EXPLAINME.adoc` — the canonical "what is this" entry-point, consumed |
| 112 | + by AI agents and by the `hyperpolymath/standards` governance tooling. |
| 113 | + |
| 114 | +- `docs/` — supporting essays, position papers, and ADRs that situate |
| 115 | + the manifesto in context. |
| 116 | + |
| 117 | +- `MAINTAINERS.adoc` — current stewards. |
| 118 | + |
| 119 | +# Status |
| 120 | + |
| 121 | +- **Licence:** MPL-2.0 (migrated from PMPL-1.0-or-later on 2026-05-26 |
| 122 | + per the estate licence-debt audit, |
| 123 | + [hyperpolymath/standards#196](https://github.com/hyperpolymath/standards/pull/196)). |
| 124 | + |
| 125 | +- **Maturity:** a work in progress; the manifesto is a living document. |
| 126 | + The version number on the title line is incremented on each |
| 127 | + substantive revision. |
| 128 | + |
| 129 | +- **Audit findings:** see `docs/tech-debt-2026-05-26.md` if present |
| 130 | + (added by the 2026-05-26 estate tech-debt scan). |
| 131 | + |
| 132 | +# Engaging with this manifesto |
| 133 | + |
| 134 | +Collaboration here is not decoration; by the argument above it is |
| 135 | +constitutive. A manifesto that makes value contestable earns its keep |
| 136 | +only by being contested, adopted, and extended. Three ways in: |
| 137 | + |
| 138 | +- **Disagree** — open an Issue. Manifestos thrive on being argued with, |
| 139 | + and a pillar that no one challenges has not yet been tested. |
| 140 | + |
| 141 | +- **Adopt a thread** — fork, riff, cite. The MPL-2.0 licence makes |
| 142 | + derivative manifestos easy. |
| 143 | + |
| 144 | +- **Contribute editorially** — see |
| 145 | + <a href="CONTRIBUTING.md" class="md">CONTRIBUTING</a> for the |
| 146 | + (intentionally light) editorial conventions. |
| 147 | + |
| 148 | +Whether you are a researcher, a maintainer, a journalist, or a student, |
| 149 | +the door is open — and the NUJ and solidarity-economics threads here |
| 150 | +mean I take "we" literally. |
| 151 | + |
| 152 | +# Companion repositories |
| 153 | + |
| 154 | +- `hyperpolymath/standards` — the RSR 2026 standards that the first |
| 155 | + pillar references. |
| 156 | + |
| 157 | +- `hyperpolymath/hypatia` — the neurosymbolic analyser that is the |
| 158 | + second pillar’s clearest concrete instantiation. |
| 159 | + |
| 160 | +- `hyperpolymath/avow-protocol` — the consent-as-code stack that is the |
| 161 | + third pillar’s most-developed example. |
0 commit comments