Q: Curt: What does a Runcible Protocol Consist of?
Producing a protocol requires performing the means of disambiguating the causal dimensions necessary to provide decidability, organizing them into a set of tests (process) which together determine the result, and emiting an audit trail (telemetry).
So a protocol consists of making a checklist of tests constructed from first principles that must be determined in order to satisfy decidability - satisfaction of the demand for infallibility in the context in question.
Our 'work' is in discovering the first principles, the spectrum of values along that dimensions, and dependency order of their execution if there is one.
By and large, the law already works this way. The problem is (a) other than 'equity', the law has no baseline until our work, and (b) human capacity for causal density is easily overloaded especially in the context of potential bias, whereas the AI does not have that problem.
So really what we do when we write our volumes/books (dig for first principles) is all the work. The problem is that the AI seems to be able to help us get there with our direction (intuition) but it cannot do so alone. I "might" have figured out how to teach it to do it, but not yet sure. I have a test protocol designed but have not yet run and debugged it.
Again, this is what the law does. We are 'completing' the science of law. "Reduction of contexts to protocols (tests) that deliver decidability".
This is also why the AI industry is failing to produce other than the correlation trap under real-world closure instead of math, programming and other logic 'puzzles'. They use simple closure (internal).
The difference is that the physical sciences are generally problems of combinatorics (what's possible) whereas the behavioral sciences consist of problems of reductions (distillations). So these are two different domains of problem solving and therefore differnt means of closure.
What I find interesting is the mainstream's emphasis on the puzzles, science, and math despite that they are subject to internal closre and 'trivial' by comparison to questions of human behavior at various scales.
Hence why we use natural indexing (words) as measurements not cardinality or ordinality, we use economic reasoning - meaning equilibria, we use supply and demand, we use satisfaction of demand for infallibility in the context in question, and we use liability as the limit gate.
To the naive person this does not look like a peer to mathematics, but it is. Most math is a trivial geometry by comparison, while natural measurements are a far deeper geometry with second and third order effects - and more. SO while higher dimensional math seeks to produce projections as means of commensurability in our work we produce reductions to causality as that means of commensurability. The mathematical equivalent is a very high dimensional application of category theory.
This means we are working with what is actually the natural 'measurement, math, or logic' of the llm. So to some degree we are not fighting it, and the mainstream is fighting the LLM.
Of course, I worked on computable legal decidability, Markov chains incorporated into state engines since the 80s, creating dynamically adapting software. I'd solved reducibility to action and = episodic memory.
What I didn't solve was attention. That's the magic that in retrospect we all missed - largely because we lacked the computing power so use 'over-reduction' producing 'over-determinism' that LLMs today avoid.
The magic of hardware today is that it's absurdly powerful compared to the past, which 'relieved' the technology industry of trying to oversimplify (reduce) causality. We don't have to reduce to human levels of commensurability. We can work with absurdly high dimensionality.
In retrospect, though we saw the use of GPUs to solve matrix problems by the early 2000s, the scale of that compute was still 'magic' until some crazy folks through enough money and enough hardware at the problem to overcome the minimum dimensional competition necessary to produce the LLMs.