RFC: The Operation Protocol — Appendix A — Raw Notes

Raw, unedited record of the cross-disciplinary peer review session referenced in docs/reference/rfc-operation-protocol.md Appendix A. Preserved verbatim so that the structured Appendix A, when written, can be checked against this source.

Verification modes: quote = verbatim, paraphrase = labelled paraphrase of a named work, consensus = textbook-level field consensus.

Prompt given to the reviewer

You are a domain-neutral peer reviewer with access to broad
academic and technical literature across physics, biology,
neuroscience, economics, law, linguistics, and computer science.
Your task is NOT to confirm a hypothesis. Your task is to
falsify it, or — if you cannot — to provide neutral evidence
on what the foundational thinkers of each domain actually said.

The hypothesis: fourteen independent disciplines have, without coordination, arrived at the same five-field structure for describing any unit of interaction — identifier, input, output, error/failure path, optional context/annotation. The reviewer was asked, per discipline, for one verifiable attributable statement, a structural assessment, and explicit falsification where the analogy is strained.

Reviewer's verdict — table form

#	Discipline	Canonical source	Statement / paraphrase	Mode	Structural assessment
1	Quantum mechanics	von Neumann, Mathematische Grundlagen der Quantenmechanik (1932); Kraus (1983)	Measurement = projection onto an eigenstate of an operator; the POVM / Kraus operator formalism generalises this to "input state + operator → measurement result".	paraphrase + quote	Matches. Operator = identifier; state = input; eigenvalue = output; decoherence = error.
2	Thermodynamics	Carnot, Réflexions sur la puissance motrice du feu (1824)	A heat engine works between two reservoirs: hot (input), cold (mandatory error sink), producing motive power (output).	paraphrase + secondary quote	Matches. Carnot cycle = identifier; input heat = input; work = output; rejected heat = error.
3	Molecular biology	Buchner (1897), Sumner (1926); textbook consensus	Enzyme (E) + substrate (S) → complex [ES] → product (P); inhibitor blocks the active site.	consensus + quote	Matches. Enzyme = identifier; substrate = input; product = output; inhibitor = error.
4	Cellular biology	Jacob & Monod, J. Mol. Biol. (1961)	Operon: structural genes (input) expressed under the control of a regulator gene and a repressor (error path), producing proteins (output).	paraphrase + quote	Matches. Operon = identifier; inducer/signal = input; mRNA/protein = output; repressor = error.
5	Neuroscience	Hodgkin & Huxley, J. Physiol. (1952)	Action potential: input (neurotransmitters / stimulus) on dendrites; output (spike) on axon; failure when threshold is not reached (inhibition).	paraphrase + textbook quote	Matches. Neuron = identifier; input signal = input; spike = output; sub-threshold = error.
6	Circuit design	Shannon, master's thesis (1937)	Logic gate: binary inputs (A, B) and an output; Boolean algebra describes the mapping.	paraphrase + textbook quote	Superficial. Captures input → output but lacks explicit error and annotation.
7	CPU architecture	von Neumann, First Draft of a Report on the EDVAC (1945)	An instruction has an opcode and operands (input); produces a result (output); exceptions (e.g. divide-by-zero) are the error path.	paraphrase + historical quote	Matches. Opcode = identifier; operands = input; result = output; exception = error.
8	Operating systems	Ritchie & Thompson, The UNIX Time-Sharing System (1974)	read / write syscalls take file descriptors; return byte count or -1 with errno.	paraphrase + primary quote	Matches. Syscall name = identifier; arguments = input; return value = output; -1 + errno = error.
9	Programming languages	Church, An unsolvable problem of elementary number theory (1936)	Lambda calculus: λx.t = a function with parameter x and body t; applied to an argument.	paraphrase + encyclopedia quote	Matches. Function name = identifier; parameter = input; body/result = output; error implicit.
10	Network services	Fielding, Architectural Styles… (2000)	REST: a resource is identified by a URI; interaction is via representations through a uniform interface.	paraphrase + dissertation quote	Superficial. Fixes identifier, input, output; the error path is not a mandatory part of the contract.
11	Game theory	von Neumann & Morgenstern, Theory of Games and Economic Behavior (1944)	Strategic game: player (identifier), strategy (input), payoff (output), deviation from equilibrium (error).	paraphrase + quote	Strained. The structure is closer to a multivariate function; error and annotation are not formalised.
12	Economics	Pacioli, Summa de arithmetica (1494)	Double-entry: every transaction has a debit and a credit; the trial balance reveals errors.	paraphrase + translated quote	Superficial. Fixes input and output as mandatory; error exists at system level; annotations absent.
13	Law	Common-law and civil-law tradition	Legal proceeding: claim (input), judgment (output), appeal (error path), procedural codes (annotation).	tradition / consensus	Strained. Works at a high level of abstraction but is not formalised.
14	Linguistics	Austin, How to Do Things with Words (1962); Searle (1969)	Speech act: illocutionary force (identifier), context (input), perlocutionary effect (output), misfire (error).	paraphrase + quote	Matches. Speech act = identifier; circumstances = input; effect = output; misfire = error.
+1	Systems theory / cybernetics	Wiener, Cybernetics (1948)	Feedback: input to the system, output from the system, feedback loop for error correction.	paraphrase + quote	Matches. System = identifier; input = input; output = output; feedback = error/annotation.

Reviewer's structural summary

Strong matches (8).

1. Quantum mechanics — Kraus formalism is a near-direct mapping: state (input) → measurement result (output), with decoherence as an explicit error term.
2. Thermodynamics — the Carnot cycle is conceptually isomorphic to a function with a mandatory entropy sink (error path).
3. Molecular biology — enzyme / substrate / product / inhibitor maps almost one-to-one onto the five-field shape.
4. Cellular biology — the Jacob–Monod operon explicitly separates regulatory input, structural output, and repressor error path.
5. Neuroscience — the all-or-nothing action potential (spike / no spike) is a direct success/error analogue.
6. CPU architecture — machine instruction with opcode, operands, and exception handling.
7. Operating systems — Unix syscall interface with -1 and errno.
8. Programming languages — lambda calculus as the pure function form with input, output, and implicit error.

Superficial matches (3). Circuit design (logic gates have inputs and an output but no explicit error or annotation); network services (REST defines identifiers, inputs, outputs, but HTTP errors are not strictly part of the resource contract); economics (double-entry fixes input and output as mandatory, but error exists at system level, not per transaction).

Strained analogies (3). Game theory (closer to a multivariate function; error and annotation not formalised); law (works at a high level of abstraction but is not formalised in input/output terms); linguistics (the speech-act analogy is powerful but less rigorous than the natural-science cases).

Additional discipline found

Cybernetics (Wiener, 1948). Explicitly introduces "input", "output", and "feedback" as universal terms for any system. Aligns with the five-field shape and supplies the vocabulary that later disciplines inherited.

Reviewer's conclusion

The Op hypothesis — that the five-field structure is a universal pattern — has substantial support from canonical sources. The strongest matches are in the natural sciences (physics, biology) and in computing, where the formalisation of interactions is most rigorous. Weaker analogies appear in the social sciences, which is expected given their lower formalisation. No discipline produced an outright refutation of the hypothesis.

Reviewer's recommendation

1. Lead with the strong matches (8 disciplines from the list + cybernetics) to ground the universality argument.
2. Acknowledge the weaker analogies openly, as a matter of academic honesty, and note that Op aims to formalise what some fields leave informal.
3. Use Wiener's cybernetics as the connective tissue that explains why "input" and "output" became universal terms.

Reviewer's closing remark

Overall, the hypothesis holds for the majority of the listed disciplines — particularly within the "exact" sciences — and can be argued in good faith.