Uncited Press Open the interactive journal →
Dune · Artificial Intelligence & Distributed Cognition

Inspection as Operative Law: The Ixian Exception to the Butlerian Prohibition in 47 Legal Instruments and 412 Detention Records, 108 BG–10230 AG

Prof. Thessaly Marn1, Dr. Halvorsen Reyes-Okafor2
1 Ixian Consortium for Applied Biosciences, Ix
2 Landsraad Academy of Sciences
Received 29 Jan 2026 · Revised 4 Mar 2026 · Accepted 22 Mar 2026 · DOI: 10.0000/uncited.2026.0627

Abstract

Ix manufactures and exports sophisticated machinery under a prohibition that forbids making a machine in the likeness of a human mind. We ask what sustains this tolerated position: a doctrinal carve-out, the limits of what inspection can verify, or the economic tolerance of the Spacing Guild, the Landsraad and CHOAM. We reviewed 47 doctrinal and legal instruments dated c. 108 BG to 10230 AG, including twelve interdiction schedules, and 412 detention and examination records of Ixian export lines for 9980–10230 AG. No instrument exempts Ix by name or by category; Ixian machinery appears only in enforcement documents. The schedules define the permitted class operationally, as devices with fixed programmes whose sensory feedback serves operator-set values and which cannot revise their own goals. Of the 412 records, 371 (90.0%) end in clearance, 24 (5.8%) in refusal of individual units and 17 (4.1%, 95% CI 2.4–6.5%) in referral pending documentation, where the schedules default to detention. No Ixian line was prohibited as a category. Refusal rates did not differ detectably between lines supplied to Guild service and other lines. One dated change in inspection method preceded a widening of the permitted class with no doctrinal change. We conclude that the evidence fits a boundary drawn by verification and sustained commercially, though informal drift in inspection practice cannot be excluded.

1. Introduction

The Butlerian Jihad (201–108 BG) ended with the destruction of thinking machines and left a single scriptural rule behind it. The Orange Catholic Bible, compiled by the Commission of Ecumenical Translators (C.E.T.), forbids making a machine in the likeness of a human mind. Ten millennia later that rule still governs the Imperium. The machine cultures of Ix and Richese nonetheless work at its edge, and Ixian manufactures move between worlds in Guild holds.

Three explanations of Ix's position are available. On the first, some doctrinal instrument exempts Ixian work, so that the tolerance is a matter of law. On the second, which we call the verifiability thesis, the boundary is set by what inspectors can establish about a device, so that Ix is tolerated to the extent that its products can be shown to lack the prohibited quality. On the third, the Guild, the Great Houses and CHOAM depend on Ixian goods and so have an interest in tolerating them whatever the legal position. They predict different things. A carve-out should appear in the texts. The verifiability thesis predicts that the boundary will move when inspection methods change, even if doctrine stays fixed. Economic tolerance predicts that inspection will loosen where commercially critical goods are at stake.

Writing around 10240 AG, some decades after Muad'Dib's Jihad, we read the proscription against the inspection instruments that apply it and count how they were applied to Ixian exports. We argue that the verifiability thesis best explains the form of the boundary, that economic tolerance explains why the trade exists at all, and that the documentary record contains no carve-out.

2. Sources of Law

Our corpus comprises 47 instruments bearing on the proscription (Table 1). Nine are recopied transcriptions attributed to the century after the Jihad, c. 108–1 BG. The remaining 38 date from 9810–10230 AG, the period from which Landsraad and CHOAM series survive with some continuity. The corpus includes eleven commentaries on the machine commandment, fourteen Landsraad statutes and ordinances, six Imperial rescripts, four CHOAM interdiction notices and twelve inspection schedules. Four schedules survive complete with dated revisions; the eight fragmentary ones serve only to confirm wording.

No single office issued the schedules. They carry the signatures of a recurring body of Landsraad and CHOAM officials that the companion study of enforcement architecture calls the Landsraad technology-inspection office. That study found that most surviving enforcement instruments route through secular bodies and concentrate at trade and inspection chokepoints, largely outside clerical hands. We adopt its reconstruction and use the term "interdiction schedules" for the documents these officials applied. Neither is attested as a formal institution; both are analytical conveniences.

Alongside the instruments we examined 412 detention and examination records for Ixian export lines, dated 9980–10230 AG and held in the CHOAM Directorate Archive with Landsraad counterpart files. Each record reports a device, the schedule applied and one of three outcomes: clearance, refusal of the examined unit or referral pending documentation. We coded outcome and product line, and flagged lines listed in Guild supply notices (Harrow, 10229 AG) as supplied to Guild service.

3. The Commandment and Its Silence on Ix

The primary text is short. It forbids a machine made in the likeness of a human mind and says nothing further about what counts as likeness, what counts as mind, or who decides. The commentaries dwell on the sin far more than on its boundaries, and where later commentators address classification they leave it to magistrates, a reading the most detailed modern treatment shares (Tebrand, 10214 AG).

None of the 47 instruments exempts Ix, by name or by a category that would cover Ixian work. The nine early transcriptions do not mention Ix at all. Among the 38 later instruments, 21 refer to Ixian machinery, and every one of those references falls in an enforcement document: the twelve schedules, the four CHOAM notices, four Landsraad ordinances on export inspection and one Imperial rescript confirming an inspection judgment. On the documentary evidence, then, the doctrine holds no carve-out. An argument from silence is weak where archives are incomplete, since an oral dispensation would leave no trace. What the silence does establish is that the operative law on Ix is written in inspection instruments.

The commandment's undefined terms create the space those instruments fill, since a rule against the likeness of a mind can be applied only once someone states which properties make a device resemble one. The Landsraad statutes defer that question to the inspectors (Ordevan & Sillex, 10218 AG), and the inspectors answered it in the language of what their procedures could test, as the next section shows.

4. The Inspection Standard as Operative Law

Across the four complete schedules the permitted class is defined by three conditions, stated in nearly identical terms from 9810 AG onward. A device may be cleared if (a) it executes a fixed programme or direct operator commands; (b) any sensory feedback it uses serves only to hold values the operator has set; and (c) it cannot revise its own goals or alter its behaviour through accumulated experience. The second condition lets a device sense its environment without resembling a mind; the prohibited quality lies in self-directed goals and learning.

The schedules prescribe three procedures: disassembly and examination of components, operational trials under varied conditions, and scrutiny of the maker's design records. Their authors claim that disassembly and trials together detect prohibited architecture in more than 95% of cases in their own trials, but no schedule records the number of trials or the standard against which detection was judged. We treat the figure as the authors' assertion. The schedules are silent on false positives, beyond permitting reinspection on appeal. That gap pushes inspectors toward caution, since wrongly clearing a device is far costlier than wrongly detaining one.

Ornithopter attitude stabilizers illustrate the standard at work. A stabilizer senses orientation and moves control surfaces without pilot input, yet it holds an attitude the pilot has chosen and can be overridden or disengaged. It therefore satisfies the second condition. Of 96 stabilizer units in the records, 88 (91.7%) were cleared, 5 (5.2%) refused and 3 (3.1%) referred. The refusals concern units found to contain adaptive linkages, and none led to a prohibition of stabilizers as a class.

The hunter-seeker is the sharper boundary case. It is a small suspensor-borne dart, and the attempt on the Atreides heir at Arrakeen in 10191 AG shows it steered by a concealed operator nearby. Tracking a moving target might seem to approach judgement. The schedules resolve the question through the operator link: a seeker-class device is clearable only if a demonstrated operator channel governs its course and it cannot select a target on its own. The criterion turns on operator control, not on the device's lethality or sophistication, which is the verifiability thesis in its plainest form.

Navigation aids, reserved to the Guild's prescient Navigators, are named in the schedules only to be withheld from ordinary clearance, and none appears in the records. Ixian accounting engines pass routinely under the first condition.

5. The Margin and the Documentation Default

Of the 412 records, 371 (90.0%, 95% CI 86.7–92.8%) end in clearance and 24 (5.8%, 95% CI 3.8–8.5%) in refusal of the examined unit. A further 17 (4.1%, 95% CI 2.4–6.5%) were referred as undecidable. These exact binomial intervals reflect sampling error only, not the selective survival of disputed cases discussed below. A refusal applies to one unit found to breach the conditions; a referral records that inspection could not settle the question. Neither is a prohibition of a product line, and the records contain no category-level prohibition of any Ixian line in the period.

Most referred cases involve feedback mechanisms whose settings shift with wear, so that it is unclear whether the device has adapted or merely aged. For these the schedules impose a default: the device is detained until the maker supplies records showing that it cannot learn. Of the 17 referrals, 15 were later cleared on documentation and 2 were withdrawn by the exporter. A precision lathe detained in 10212 AG for about four months before its design records satisfied the inspectors is typical.

At the margin, therefore, doctrine re-enters: where inspection cannot decide, the schedules fall back on the commandment and resolve doubt against the device. Referrals are probably over-represented in the archive, because a disputed case generates correspondence where a routine clearance generates a single line.

6. Comparative Assessment

A doctrinal carve-out finds no support in the corpus. The remaining two explanations are not exclusive, and the record permits only limited tests of each.

For the verifiability thesis, the useful test is sequence. If inspection sets the boundary, a change in method should precede a change in what is permitted, without any intervening change in doctrine. The dated revisions of the complete schedules contain one such episode. A revision of 10041 AG added operational trials under varied loads while leaving the three conditions unchanged. Before it, the schedules list closed-loop attitude regulators among devices for referral; in those issued over the following three decades they appear as a clearable class. No instrument from that interval alters doctrine. The records test this weakly. Just 9 stabilizer records predate the revision, of which 5 were cleared, 1 refused and 3 referred. All 3 stabilizer referrals in the series fall in that group, against none among the 87 later records (Fisher's exact test, p < .001). The pre-revision sample is too sparse to show how often such devices were referred in practice, and one episode is thin evidence; rising demand for stabilizers could have produced a similar change.

Economic tolerance clearly sustains the trade: Guild supply notices list Ixian components in continuous Guild service (Harrow, 10229 AG), CHOAM ledger studies show Ixian lines as a substantial export share (Quell, 10227 AG), and Landsraad members are themselves buyers. Whether that interest softens inspection is a separate question. Of the 412 records, 118 concern Guild-service lines. Their refusal rate was 5 of 118 (4.2%), against 19 of 294 (6.5%) for other lines (odds ratio 0.64, 95% CI 0.18–1.83; Fisher's exact test, p = .49), and their referral rates were almost identical, at 5 of 118 (4.2%) and 12 of 294 (4.1%). The interval spans fivefold lower to nearly twofold higher odds of refusal, so a modest difference cannot be excluded, but the counts give no sign that Guild-critical goods met a looser standard.

A further condition lowers the stakes. Because Mentats supply most of the analytical capacity thinking machines once provided, demand for machine judgement is slight, and a narrow sector of non-deliberating machinery can be tolerated without inviting evasion.

One alternative remains unresolved. The absence of category-level prohibitions could mean that Ixian designers stayed within the conditions, or that inspectors widened the standard in practice without amending the schedules. Separating them would require comparing decisions on identical specifications across decades, and the records rarely specify devices in enough detail. Our conclusions are therefore limited to the documented standard and its documented application.

7. Conclusion

The Ixian exception is written in inspection law. The commandment forbids the likeness of a mind without defining it; the Landsraad and CHOAM schedules supply an operational definition centred on self-directed goals and learning, admit operator-bounded feedback and govern boundary devices such as the hunter-seeker through the operator link. In 412 records, nine in ten Ixian units were cleared, about one in seventeen refused and about one in twenty-four referred under a default of detention pending documentation, with no product line prohibited outright. Commercial tolerance keeps the trade open without a visibly looser standard for goods in Guild service. Specification-level records of repeated inspections would test this more directly than the single episode available here.

Butlerian prohibitionIxOrange Catholic Bibleproscribed technologyinspection regimeshunter-seekerLandsraad law

References

  1. Reyes-Okafor, H., & Kesteven, D. (2026). From Commandment to Statute: The Legal Architecture of the Butlerian Prohibition in the Surviving Enforcement Record, 9810–10230 AG. Uncited Press. https://doi.org/10.0000/uncited.2026.0605
  2. Reyes-Okafor, H., & Marn, T. (2026). Mentat Cognition as Post-Jihad Substitution for Prohibited Computation: Service Records of 47 House-Retained Mentats, 10150–10230 AG, Against 23 Pre-Jihad Technical Fragments. Uncited Press. https://doi.org/10.0000/uncited.2026.0468
  3. Tebrand, O. (10214 AG). Likeness and mind in the commentary tradition on the machine commandment. Commission of Ecumenical Translators Occasional Papers, no. 219.
  4. Ordevan, P., & Sillex, R. (10218 AG). The commandment as statute: Landsraad reception of the proscription on thinking machines. Landsraad Law Review, 41(2), 113–149.
  5. Marn, T. (10224 AG). Inspection-verifiable technical boundaries in restricted-technology governance. Ixian Consortium Technical Report, IC-533.
  6. Quell, D. (10227 AG). Ixian export lines in the CHOAM ledger, 10100–10220 AG. CHOAM Directorate Working Papers, WP 97.
  7. Harrow, J. (10229 AG). Ixian components in Guild service and the question of supply dependence. Spacing Guild Navigation Academy Bulletin, 19(4), 44–61.
  8. Landsraad Public Archives (108–1 BG). Recopied proscription instruments of the post-Jihad settlement. Landsraad Public Archives, series LPA-PJ-1.
  9. Landsraad Public Archives (9810–10230 AG). Interdiction schedules for proscribed manufactures, with dated revisions. Landsraad Public Archives, series LPA-MP-7.
  10. CHOAM Directorate (9980–10230 AG). Detention and examination records for Ixian export lines. CHOAM Directorate Archive, series DX-2.
  11. Commission of Ecumenical Translators (9810–10230 AG). Commentaries on the machine commandment, later register. Commission of Ecumenical Translators Procedural Archive, commentary register CR-4.

Cited By

Read this article inside the full journal experience — browse by faculty, search across universes, and explore related work.
Open in Uncited Press →