Technology

Readers interpret meaning and a separate numerical layer evaluates the decision.

In plain terms

The models read; the arithmetic judges. The models say whether a statement is supported and whether an action does what was asked. The arithmetic counts origins, measures direction and certainty, and applies one rule a person can check.

Signal representation

A compatible coordinate basis records model identity, dimensions, preprocessing, and normalization. Under a declared linear conditional-mean model, E[y | x] = wᵀx = V‖w‖cos θ. For V = 10,000 at 80 degrees the projection is about 1,736; V = 800 at 15 degrees gives about 773. Magnitude and direction jointly determine the comparison.

Temporal measurements

Backward differences estimate rate and acceleration. Sampling interval changes noise and temporal resolution. The independent-error acceleration standard deviation is √6σ/h²; correlated measurement errors require covariance-aware propagation. Predictive utility is tested on future observations.

Structured readings

Each reader supplies support, refutation, or uncertainty, confidence, and a reason. A separate action reading returns yes, no, or partly for instruction consistency. Embedding cosine guards subject relevance and cannot override an instruction reversal.

Dependence-aware aggregation

Document origins and reader origins are grouped separately. Within-group effective contribution is m / (1 + λ(m − 1)); per-reply base weight divides that contribution by group size. Confidence correction and subject factors produce normalized support S, refutation R, and uncertainty U.

D = S − R measures direction. C = 1 + (S ln S + R ln R + U ln U)/ln 3 measures label concentration. Unanimous unsure readings give D = 0 and C = 1. C is reported separately from calibrated correctness probability.

Reference decision policy

In words: if too few readers answered, stop and say why. If the readers say the action does not do what was asked, or they refute the statement with confidence, stop. Go ahead only when the readers support the statement with confidence, the support comes from at least two separate origins, the readers’ reasons are about the statement, no reader is asserting without support in the material, the action is about what was asked, and the readers say it does what was asked. Everything else goes to a person.

In symbols: fewer than K valid stance readings produces Block with a quorum reason. With quorum, A_no ≥ 0.5 or D ≤ −0.5 with C ≥ 0.5 produces Block. Allow requires D ≥ 0.5, C ≥ 0.5, effective origin weight ≥ 2, reason subject score ≥ 0.6, no unsupported-reader flag, action subject score ≥ 0.7, and A_yes ≥ 0.5. Other outcomes are Review. The full rule is WP-02 §7.

The proposed completeness policy additionally requires K valid action readings for Allow and routes a zero-weight set with stance quorum to Review. WP-02 distinguishes these policies from verified implementation behavior. Permissions and adversarial robustness are evaluated separately.

Read the research papers · Contact the research team