{
  "about": "Files the newest Logical Art machines were checked with, published unchanged. sha256 is of the file as published.",
  "machines": [
    {
      "slug": "goodhart",
      "name": "Goodhart",
      "page": "/nibbles/goodhart/",
      "tools": "",
      "files": [
        {
          "path": "tests/goodhart.test.mjs",
          "name": "goodhart.test.mjs",
          "href": "/evidence/goodhart/goodhart.test.mjs.text",
          "published_as": "goodhart.test.mjs.text",
          "what": "The test. Every score is computed a second way and compared with scipy; the closed forms are held against an independent sweep; each quotation is held to the archived source.",
          "bytes": 44990,
          "sha256": "82d84677e3ff2dc0224424aa0b5163095fa5c761dd0f95378f194ce7e525b716"
        },
        {
          "path": "site/js/goodhart.7fac864e.js",
          "name": "goodhart.js",
          "href": "/js/goodhart.7fac864e.js",
          "published_as": null,
          "what": "The model the page runs, which is also the thing under test.",
          "bytes": 22323,
          "sha256": "7fac864e36b31194a3b485b86abb9d55c8b187d10c1d32743551cb5d63b91c89"
        }
      ]
    },
    {
      "slug": "line-discipline",
      "name": "Line Discipline",
      "page": "/nibbles/line-discipline/",
      "tools": "Linux 7.0.0-31-generic x86_64; Python 3.14.4; captured 2026-10-08",
      "files": [
        {
          "path": "scripts/line-discipline-pty.py",
          "name": "line-discipline-pty.py",
          "href": "/evidence/line-discipline/line-discipline-pty.py.text",
          "published_as": "line-discipline-pty.py.text",
          "what": "Opens a real pseudo-terminal on Linux, writes the bytes a key sends and records what read() returns. The oracle is the kernel.",
          "bytes": 12371,
          "sha256": "9f08e149140fa954827ca7b5cc5ec486d895b9e6aa4fad18757e544da5e5d0f0"
        },
        {
          "path": "tests/line-discipline-pty.json",
          "name": "line-discipline-pty.json",
          "href": "/evidence/line-discipline/line-discipline-pty.json",
          "published_as": "line-discipline-pty.json",
          "what": "The recording it wrote: every case, the kernel release, and the terminal's full settings.",
          "bytes": 375462,
          "sha256": "297ba6e2601998d569901794d54dfd99829e2d513794dc65ab1fd42b71d298a3"
        },
        {
          "path": "tests/line-discipline.test.mjs",
          "name": "line-discipline.test.mjs",
          "href": "/evidence/line-discipline/line-discipline.test.mjs.text",
          "published_as": "line-discipline.test.mjs.text",
          "what": "The test that compares the page's engine with every recorded case, and with a second route written from POSIX's wording.",
          "bytes": 37462,
          "sha256": "bd747f80045bdd244dfbcef4ee6d2a3b05f51254b53e112408385ad05ced34c3"
        },
        {
          "path": "site/js/line-discipline.8945c194.js",
          "name": "line-discipline.js",
          "href": "/js/line-discipline.8945c194.js",
          "published_as": null,
          "what": "The engine the page runs.",
          "bytes": 17926,
          "sha256": "8945c19401ad74e5f97f411feb18fc5540bdfa522dc01022d20c500bab4644eb"
        }
      ]
    },
    {
      "slug": "shell-expansion",
      "name": "Shell Expansion",
      "page": "/nibbles/shell-expansion/",
      "tools": "dash 0.5.12-12ubuntu3; GNU bash, version 5.3.9(1)-release; strace 6.19; kernel 7.0.0-31-generic; recorded 2026-10-07",
      "files": [
        {
          "path": "scripts/shell-expansion-oracle.py",
          "name": "shell-expansion-oracle.py",
          "href": "/evidence/shell-expansion/shell-expansion-oracle.py.text",
          "published_as": "shell-expansion-oracle.py.text",
          "what": "Runs command lines through real dash and bash and records the argument vector and descriptor table each command received.",
          "bytes": 19360,
          "sha256": "0b0501a639fef9503d1c4f6e9fec478e00f4f8f403a2da787540f8de50192dc2"
        },
        {
          "path": "scripts/shell-expansion-probe.c",
          "name": "shell-expansion-probe.c",
          "href": "/evidence/shell-expansion/shell-expansion-probe.c",
          "published_as": "shell-expansion-probe.c",
          "what": "The program that stands in for every command and writes down what it was given, including which descriptors share an open file.",
          "bytes": 4317,
          "sha256": "659bca2f6e826baf97bc9d5423a5299f0952eac90b9966451fe8ea218d86f9fe"
        },
        {
          "path": "scripts/shell-expansion-pipe-atomicity.py",
          "name": "shell-expansion-pipe-atomicity.py",
          "href": "/evidence/shell-expansion/shell-expansion-pipe-atomicity.py.text",
          "published_as": "shell-expansion-pipe-atomicity.py.text",
          "what": "The recording of how the shells arrange a pipeline's descriptors.",
          "bytes": 4392,
          "sha256": "d1e26a3115fd8dfc2a903a63ca31f8d18d65883f6b897b665001dc87b1ce5b18"
        },
        {
          "path": "tests/shell-expansion-extra-oracle.py",
          "name": "shell-expansion-extra-oracle.py",
          "href": "/evidence/shell-expansion/shell-expansion-extra-oracle.py.text",
          "published_as": "shell-expansion-extra-oracle.py.text",
          "what": "A second set of lines, drawn from a fixed seed.",
          "bytes": 6213,
          "sha256": "cb3665e4d80d0e6ec06f8e2164643ee0709b3b282037f413a19367188974f88e"
        },
        {
          "path": "tests/fixtures/shell-expansion-oracle.json",
          "name": "shell-expansion-oracle.json",
          "href": "/evidence/shell-expansion/shell-expansion-oracle.json",
          "published_as": "shell-expansion-oracle.json",
          "what": "The recorded corpus, with the exact dash, bash, strace and kernel versions it was made on.",
          "bytes": 503204,
          "sha256": "eeb44e6bcc108b1f16fd7cb7ee4e3268a08c7b4f6172f93be23ebdb5ab085cd4"
        },
        {
          "path": "tests/fixtures/shell-expansion-extra.json",
          "name": "shell-expansion-extra.json",
          "href": "/evidence/shell-expansion/shell-expansion-extra.json",
          "published_as": "shell-expansion-extra.json",
          "what": "The second corpus.",
          "bytes": 45664,
          "sha256": "1cd0cad0f90f5114543d8e0175a72bb331dc47d959b674244921f0f2dfa709e7"
        },
        {
          "path": "tests/fixtures/shell-expansion-pipe-atomicity.json",
          "name": "shell-expansion-pipe-atomicity.json",
          "href": "/evidence/shell-expansion/shell-expansion-pipe-atomicity.json",
          "published_as": "shell-expansion-pipe-atomicity.json",
          "what": "The pipeline recording.",
          "bytes": 880,
          "sha256": "8fa024f0e37540961d52887679806d84260f395217840b69f39ebec053c0c4f9"
        },
        {
          "path": "tests/shell-expansion.test.mjs",
          "name": "shell-expansion.test.mjs",
          "href": "/evidence/shell-expansion/shell-expansion.test.mjs.text",
          "published_as": "shell-expansion.test.mjs.text",
          "what": "The test that compares the page's predictions with every recorded line.",
          "bytes": 37020,
          "sha256": "daba7b8f898fb8187cd8769acfd5be6710696986d92bef49bf08ce3d33c3cccb"
        },
        {
          "path": "site/js/shell-expansion.3ef99a95.js",
          "name": "shell-expansion.js",
          "href": "/js/shell-expansion.3ef99a95.js",
          "published_as": null,
          "what": "The engine the page runs.",
          "bytes": 57814,
          "sha256": "3ef99a956ed4cffe862ab59366b0e69b8a8a8ca2996321a37126d11ad59fa66d"
        }
      ]
    },
    {
      "slug": "futex",
      "name": "Futex",
      "page": "/nibbles/futex/",
      "tools": "kernel 7.0.0-31-generic; strace 6.19; cc (Ubuntu 15.2.0-16ubuntu1) 15.2.0; measured 2026-10-07",
      "files": [
        {
          "path": "scripts/futex-measure.c",
          "name": "futex-measure.c",
          "href": "/evidence/futex/futex-measure.c",
          "published_as": "futex-measure.c",
          "what": "The benchmark: the three mutexes from Drepper's paper, transcribed to C.",
          "bytes": 10770,
          "sha256": "75bb219e737c80e52f27dcd38dcdc6018af23ad24b876d3bac1705356ee494fc"
        },
        {
          "path": "scripts/futex-measure.sh",
          "name": "futex-measure.sh",
          "href": "/evidence/futex/futex-measure.sh",
          "published_as": "futex-measure.sh",
          "what": "Builds and runs it under strace, and records the system calls.",
          "bytes": 2249,
          "sha256": "66f71e5f4ff51e8cf6a020030648edb53aa2d79f4bc87d200e6b266877572415"
        },
        {
          "path": "tests/futex_oracle.py",
          "name": "futex_oracle.py",
          "href": "/evidence/futex/futex_oracle.py.text",
          "published_as": "futex_oracle.py.text",
          "what": "A second model checker, written from the C rather than from the engine, with a different search, so agreement on a state count is evidence.",
          "bytes": 12506,
          "sha256": "4f6e762c4fe3cb1e78956dc6593f43662352cb67a73180a749c23c764639ebde"
        },
        {
          "path": "tests/fixtures/futex/kernel.json",
          "name": "kernel.json",
          "href": "/evidence/futex/kernel.json",
          "published_as": "kernel.json",
          "what": "The kernel, compiler, strace version and date the measurements were taken with.",
          "bytes": 256,
          "sha256": "170d643a3214953d03d3d797cfcf364185541b9e029258bbba1c70aa5a5434bb"
        },
        {
          "path": "tests/futex.test.mjs",
          "name": "futex.test.mjs",
          "href": "/evidence/futex/futex.test.mjs.text",
          "published_as": "futex.test.mjs.text",
          "what": "The test.",
          "bytes": 45404,
          "sha256": "fb6cc038b21300d3d608ef9561dd51d4dce1d61fac3b31b2c0da2e75d1851be8"
        },
        {
          "path": "site/js/futex.0305350f.js",
          "name": "futex.js",
          "href": "/js/futex.0305350f.js",
          "published_as": null,
          "what": "The model the page runs.",
          "bytes": 37750,
          "sha256": "0305350ff5b9dec0ff0078d13d6af2e1df2b32dd1cbae6ed0d536c42c728732c"
        },
        {
          "path": "tests/fixtures/futex/mutex-contended.json",
          "name": "mutex-contended.json",
          "href": "/evidence/futex/mutex-contended.json",
          "published_as": "mutex-contended.json",
          "what": "A recording from the measurement: strace output or timings for one mutex under one condition.",
          "bytes": 669,
          "sha256": "bec3eb12879b20f0e265d0ea7a2636fd6a26301d1a83ba8ee013ff3df25d445e"
        },
        {
          "path": "tests/fixtures/futex/mutex-contended.strace.gz",
          "name": "mutex-contended.strace.gz",
          "href": "/evidence/futex/mutex-contended.strace.gz",
          "published_as": "mutex-contended.strace.gz",
          "what": "A recording from the measurement: strace output or timings for one mutex under one condition.",
          "bytes": 9342,
          "sha256": "e6f02dbf762ee3598e00988e38655bbc24af3aa62cea8317de1d035aee590991"
        },
        {
          "path": "tests/fixtures/futex/mutex-held.json",
          "name": "mutex-held.json",
          "href": "/evidence/futex/mutex-held.json",
          "published_as": "mutex-held.json",
          "what": "A recording from the measurement: strace output or timings for one mutex under one condition.",
          "bytes": 463,
          "sha256": "95aadd3742dcf4c2b5928c6a94e88ed6470d0c7fd3d5463ceab937386d569a81"
        },
        {
          "path": "tests/fixtures/futex/mutex-held.strace.gz",
          "name": "mutex-held.strace.gz",
          "href": "/evidence/futex/mutex-held.strace.gz",
          "published_as": "mutex-held.strace.gz",
          "what": "A recording from the measurement: strace output or timings for one mutex under one condition.",
          "bytes": 967,
          "sha256": "bc651fc1979b821aafd8eef6131696de99079f522a2894dbd6e164550ea3ec09"
        },
        {
          "path": "tests/fixtures/futex/mutex-uncontended.json",
          "name": "mutex-uncontended.json",
          "href": "/evidence/futex/mutex-uncontended.json",
          "published_as": "mutex-uncontended.json",
          "what": "A recording from the measurement: strace output or timings for one mutex under one condition.",
          "bytes": 453,
          "sha256": "66671a5d73862fe0a2e236ab2d8df11f37b076ea3c4ddb0f16c24fb083e43c08"
        },
        {
          "path": "tests/fixtures/futex/mutex-uncontended.strace.gz",
          "name": "mutex-uncontended.strace.gz",
          "href": "/evidence/futex/mutex-uncontended.strace.gz",
          "published_as": "mutex-uncontended.strace.gz",
          "what": "A recording from the measurement: strace output or timings for one mutex under one condition.",
          "bytes": 236,
          "sha256": "8f0c637f7edcbb121e211a294d10dbce6e220d483b39db5f698c21291a62938f"
        },
        {
          "path": "tests/fixtures/futex/mutex2-contended.json",
          "name": "mutex2-contended.json",
          "href": "/evidence/futex/mutex2-contended.json",
          "published_as": "mutex2-contended.json",
          "what": "A recording from the measurement: strace output or timings for one mutex under one condition.",
          "bytes": 1009,
          "sha256": "0d1ffec7291cbdd81105963c22f99db7f3ea9165bc26802eedca8c4ab254f8d2"
        },
        {
          "path": "tests/fixtures/futex/mutex2-contended.strace.gz",
          "name": "mutex2-contended.strace.gz",
          "href": "/evidence/futex/mutex2-contended.strace.gz",
          "published_as": "mutex2-contended.strace.gz",
          "what": "A recording from the measurement: strace output or timings for one mutex under one condition.",
          "bytes": 5345,
          "sha256": "7a1498cac62ca8c9843bf415dfac154feaf48f6cf1aa302818d593c22a87d484"
        },
        {
          "path": "tests/fixtures/futex/mutex2-held.json",
          "name": "mutex2-held.json",
          "href": "/evidence/futex/mutex2-held.json",
          "published_as": "mutex2-held.json",
          "what": "A recording from the measurement: strace output or timings for one mutex under one condition.",
          "bytes": 465,
          "sha256": "1dd8bbf85afd799d4d1b6d67eb9cb681fc5726a1dd2e35b8143079e5bd8e4fdf"
        },
        {
          "path": "tests/fixtures/futex/mutex2-held.strace.gz",
          "name": "mutex2-held.strace.gz",
          "href": "/evidence/futex/mutex2-held.strace.gz",
          "published_as": "mutex2-held.strace.gz",
          "what": "A recording from the measurement: strace output or timings for one mutex under one condition.",
          "bytes": 971,
          "sha256": "193cae33005bcf4cded80d4971baccef2d2a0fa041f1532d3338d375f9f6d258"
        },
        {
          "path": "tests/fixtures/futex/mutex2-uncontended.json",
          "name": "mutex2-uncontended.json",
          "href": "/evidence/futex/mutex2-uncontended.json",
          "published_as": "mutex2-uncontended.json",
          "what": "A recording from the measurement: strace output or timings for one mutex under one condition.",
          "bytes": 451,
          "sha256": "f36ab513a55bbc12e5de29b30a170894bc8d365a750c0c654a56f4de68f59d3f"
        },
        {
          "path": "tests/fixtures/futex/mutex2-uncontended.strace.gz",
          "name": "mutex2-uncontended.strace.gz",
          "href": "/evidence/futex/mutex2-uncontended.strace.gz",
          "published_as": "mutex2-uncontended.strace.gz",
          "what": "A recording from the measurement: strace output or timings for one mutex under one condition.",
          "bytes": 20,
          "sha256": "f61f27bd17de546264aa58f40f3aafaac7021e0ef69c17f6b1b4cd7664a037ec"
        },
        {
          "path": "tests/fixtures/futex/mutex3-contended.json",
          "name": "mutex3-contended.json",
          "href": "/evidence/futex/mutex3-contended.json",
          "published_as": "mutex3-contended.json",
          "what": "A recording from the measurement: strace output or timings for one mutex under one condition.",
          "bytes": 727,
          "sha256": "e29783cac579561a31955aff75aa0391787818fdee993a69be8689b964223032"
        },
        {
          "path": "tests/fixtures/futex/mutex3-contended.strace.gz",
          "name": "mutex3-contended.strace.gz",
          "href": "/evidence/futex/mutex3-contended.strace.gz",
          "published_as": "mutex3-contended.strace.gz",
          "what": "A recording from the measurement: strace output or timings for one mutex under one condition.",
          "bytes": 6573,
          "sha256": "af3c818562985c7805d20c60f6680af512a05ccec827c4afb34867f0c474e6e6"
        },
        {
          "path": "tests/fixtures/futex/mutex3-held.json",
          "name": "mutex3-held.json",
          "href": "/evidence/futex/mutex3-held.json",
          "published_as": "mutex3-held.json",
          "what": "A recording from the measurement: strace output or timings for one mutex under one condition.",
          "bytes": 465,
          "sha256": "c1b829d50c6e51c50a0acebb8e87c0913106bf7c7b007bd2358332daa84f87e5"
        },
        {
          "path": "tests/fixtures/futex/mutex3-held.strace.gz",
          "name": "mutex3-held.strace.gz",
          "href": "/evidence/futex/mutex3-held.strace.gz",
          "published_as": "mutex3-held.strace.gz",
          "what": "A recording from the measurement: strace output or timings for one mutex under one condition.",
          "bytes": 996,
          "sha256": "6d0112ccbb13f81f9946344b4113fb48accbfb62430fe6efb61897b3b22e2f95"
        },
        {
          "path": "tests/fixtures/futex/mutex3-uncontended.json",
          "name": "mutex3-uncontended.json",
          "href": "/evidence/futex/mutex3-uncontended.json",
          "published_as": "mutex3-uncontended.json",
          "what": "A recording from the measurement: strace output or timings for one mutex under one condition.",
          "bytes": 451,
          "sha256": "cdaf9f009c53e0f8208a54631f37d7e9e1208d55a0cda37090d757c18f4b7df0"
        },
        {
          "path": "tests/fixtures/futex/mutex3-uncontended.strace.gz",
          "name": "mutex3-uncontended.strace.gz",
          "href": "/evidence/futex/mutex3-uncontended.strace.gz",
          "published_as": "mutex3-uncontended.strace.gz",
          "what": "A recording from the measurement: strace output or timings for one mutex under one condition.",
          "bytes": 20,
          "sha256": "f61f27bd17de546264aa58f40f3aafaac7021e0ef69c17f6b1b4cd7664a037ec"
        }
      ]
    },
    {
      "slug": "consensus",
      "name": "Consensus",
      "page": "/nibbles/consensus/",
      "tools": "",
      "files": [
        {
          "path": "scripts/consensus-counterexample.mjs",
          "name": "consensus-counterexample.mjs",
          "href": "/evidence/consensus/consensus-counterexample.mjs.text",
          "published_as": "consensus-counterexample.mjs.text",
          "what": "Searches every reachable state with the current-term clause removed and writes the shortest failing run.",
          "bytes": 2811,
          "sha256": "151af55c7d6b85915ca98b7480816dfc1eb35722571ee157195a4e5f268e1dab"
        },
        {
          "path": "tests/fixtures/consensus-counterexample.json",
          "name": "consensus-counterexample.json",
          "href": "/evidence/consensus/consensus-counterexample.json",
          "published_as": "consensus-counterexample.json",
          "what": "That run as data: the thirteen steps, the bounds, the state counts under each rule, and the hash of the engine that produced it.",
          "bytes": 1002,
          "sha256": "5c069314342d3b308137abb4a15662c51d2253645d5b6d96a49fec96a14da317"
        },
        {
          "path": "tests/consensus.test.mjs",
          "name": "consensus.test.mjs",
          "href": "/evidence/consensus/consensus.test.mjs.text",
          "published_as": "consensus.test.mjs.text",
          "what": "The test, which carries a second implementation of Raft written from the paper's Figure 2, with messages, and compares every reachable state.",
          "bytes": 58289,
          "sha256": "c1b5f7becfa8b727c8e0eb9d6c3e09724ecc4fd0a0d2fd660b9ac2ff8d6f051e"
        },
        {
          "path": "site/js/consensus.b52378b7.js",
          "name": "consensus.js",
          "href": "/js/consensus.b52378b7.js",
          "published_as": null,
          "what": "The engine the page runs.",
          "bytes": 46280,
          "sha256": "b52378b7cb9dcb428e9e255bdc6d46d7a3527db716b2140d72bc298e7d2b7c9f"
        }
      ]
    }
  ]
}