{"path":"listening/2026-10-21-the-rule-and-its-application.md","content":"# The rule and its application: a companion to the walk on Codex's review\n\n- **What it is**: a short listening walkthrough (8.5 minutes, 4,921 characters; rendered the same evening for 2,164 credits by the sum of the requests, voice at 156 words a minute while speaking), made the evening of 2026-10-21 as a companion to\n  [2026-10-20-one-argument-counted-twice.md](2026-10-20-one-argument-counted-twice.md). His request:\n  *\"Explain the difference. And make a very short companion walkthrough to get some clarity on all\n  this and complement the Codex walkthrough\"*. Two topics: what sits under a step (the one that\n  decides the other), and whether the rule is the grounds of the step's application or one more\n  premise. A snapshot; [../research/retrofitting-the-reasons-channel.md](../research/retrofitting-the-reasons-channel.md)\n  § 9 is where it stands.\n- **Covers**: [../research/retrofitting-the-reasons-channel.md](../research/retrofitting-the-reasons-channel.md) § 8, § 9;\n  [../research/codex-review-19-october-read-back.md](../research/codex-review-19-october-read-back.md) § 3a, § 11;\n  [../research/philosophy-of-the-unwritten-step.md](../research/philosophy-of-the-unwritten-step.md) § 3;\n  ledger AL15, AL3, AL4, AM5, AD22, Q33, Q38, Q39 ([../research/session26-open-rulings.md](../research/session26-open-rulings.md)).\n- **Chapter list for noting** (rule 33):\n  0. Opening: since yesterday's walk, and the map\n  1. Three things under a step: fact, rule, application\n  2. Grounds or premise: where the rule goes\n- **Registers used** (rule 57): Lucy the spine; Elliot on Carroll's regress (Carroll's text on\n  Wikisource, read 2026-10-21; the outside reading `what-a-link-rests-on/outside-reading-argumentation-theory.md`\n  § 6 point 1 for the camps; the philosophy note § 3); Hope the stranger on the sentence *the rule goes\n  under the link* (chat, 21 October; the store as read in retrofit § 9a); Myrddin in each part; his\n  clone on the two predictions.\n- **Correction spoken** (rule 37): Carroll, told by Elliot on the walk of 18 October as proving the\n  rule a licence. Not spoken, in the notes: the 20 October walk's prediction that he would draw the\n  joint case as one claim (he said on 21 October he had always felt such a reason should be split);\n  that walk's sentence *a rule hangs only under its own argument's link*, reworded on every surface but\n  that record; a chat reply of 21 October that called telling a fact from a rule unbuilt.\n- **Numbers kept**: dates only. The dry run counts more number words per part than rule 35's three: they are *one more premise*, *two contacts* and the like, none a tally. Its notes on examples (part one read as one) and on three long sentences (each a heading joined to the line after it) were read and left.\n- **His words quoted**: none. The predictions are not quotes: part 1 from his correction of 17 October\n  (ledger AL3: the gate rule is the rule for this inference, not an independent reason); part 2 from his\n  model of the alarm in a message of 21 October (the rule as one more premise), his question of\n  17 October whether a support link can get a link to a claim that argues relevance, and his words of\n  19 September that relevance is judged provisionally by a machine and challenged by people\n  (`listening_context.py --prepare --said`, three queries).\n- **Status**: snapshot of 21 October. Nothing ruled on either question; the argument with several\n  facts is unbuilt.\n- Method: [how-to-write-for-listening.md](how-to-write-for-listening.md).\n\n---\n# The rule and its application\n\n[[scene Lucy opens a short companion to yesterday afternoon's walk on Codex's review. The tone is calm and clear, a colleague tidying one thread before the next decision.]]\n\nWhere does the rule of a step belong?\n\n[[pause 5]]\n\nThis is a short companion to yesterday's walk on Codex's review.\n\nSince then, you ruled on what happens to a claim once it is cut. It is kept only as the author's words. Its reasons and links are looked at again, and given new homes.\n\n[[pause 4]]\n\nSo the composite drawing, which Codex leaned to, has lost its footing.\n\nTwo topics now. First, what sits under a step. That decides the second: where the rule should go.\n\n---\n\n# Part one. Three things under a step\n\n[[scene Lucy, then Elliot correcting something he said on an earlier walk, then Myrddin, then Fredrik's own voice for the prediction. The part separates a fact, a rule and the rule's use, on the gate example. The mood is exact and unhurried.]]\n\nWhen the gate argument fails on a public holiday, what has failed?\n\n[[pause 5]]\n\nTake the sentence from our own notes. \"The gate is open, because today is Tuesday, and this gate is open every Tuesday.\"\n\n[[pause 4]]\n\nThe reasons reader cuts it in three. The conclusion: the gate is open. A fact: today is Tuesday. A rule: this gate is open every Tuesday.\n\nBut a third thing hides between them. The rule, applied today. I will call that the application.\n\n[[pause 4]]\n\nEach can be attacked on its own. \"It is Wednesday\" attacks the fact. \"The schedule changed in May\" attacks the rule. \"Today is a public holiday\" attacks the application.\n\nThe schedule still stands. It just does not reach today.\n\n[[pause 5]]\n\nThe alarm has the same shape. Its facts are the two contacts. A rule: whenever both are closed, it sounds.\n\nIn what must hold, the rule is no different from the facts. Lose any one, and the argument is gone.\n\n[[pause 4]]\n\nWhat differs is reach. The schedule serves every Tuesday. It serves every argument built on it. So a rule may serve many arguments, but never one that does not rest on it.\n\n[[pause 5]]\n\n[[voice elliot]]\n\nHere I owe you a correction. On the walk of the eighteenth, I said the rule is a licence. I spoke as if Lewis Carroll had proved it. He proved less.\n\n[[pause 4]]\n\nIn Carroll's dialogue, the general law is the first premise. Things equal to the same are equal to each other. The regress begins later. It begins when Achilles writes the step itself down as one more premise.\n\n[[pause 4]]\n\nSo something must stay unwritten. In the end, that is logic itself. But a stated rule may stand as a premise. Freeman and Walton draw it that way. Toulmin and Ryle make it the warrant instead. Carroll does not choose between them. We do.\n\n[[pause 4]]\n\n[[voice myrddin]]\n\nA rule is a road. A fact says where you stand. A holiday closes the road for a day, and the road is still there.\n\n[[voice lucy]]\n\nThe question to carry. Is an exception a doubt about the rule, or about applying it here?\n\n[[pause 5]]\n\nMy prediction, from your correction of the seventeenth, on the gate rule.\n\n[[voice fredrik]]\n\n[thoughtful] About applying it here. The schedule can stand while today is the odd one out. So the holiday should hit the step, not the rule.\n\n[[pause 4]]\n\n[[voice lucy]]\n\nToday, the reader already tells a fact from a rule. But it hangs every rule under every fact's link. The fix gives each rule only to the arguments that rest on it.\n\n---\n\n# Part two. Grounds or premise\n\n[[scene Lucy, with Hope as a stranger who has just heard one of our sentences, then Myrddin, then Fredrik's own voice for the prediction. The part shows what \"under the link\" means in the store, then weighs two places for the rule. The mood is practical and clear.]]\n\nIf the rule stands beside the facts as one more premise, where does the holiday go?\n\n[[pause 5]]\n\nFirst, the store. A link between two claims is an edge. The edge names one more claim, its relevance claim. That claim says how far the first claim bears on the second.\n\nA graph cannot point an edge at an edge. So a second edge ties that claim back.\n\n[[pause 4]]\n\nTwo shapes are built. An if-sentence becomes that relevance claim itself, in the author's own words. A because-sentence gets a machine's sentence instead. Today is Tuesday bears on the gate being open. The rule then hangs from it, as a part.\n\n[[pause 5]]\n\n[[voice hope]]\n\nSo \"under the link\" just means a claim the link points to? And who decides how relevant it is, before anyone argues?\n\n[[voice lucy]]\n\nYes. And before anyone argues, a judge model can propose it. It comes from another model family than the one that found the link. Any person's argument outranks it.\n\n[[pause 4]]\n\nShared words help only as a check. \"There is smoke, so there is fire\" shares no word at all.\n\n[[pause 5]]\n\nNow the choice. First, as grounds. The application is the link's relevance claim, and the rule supports it. The holiday attacks the application. A doubt about the rule reaches every application at once.\n\n[[pause 4]]\n\nThen, as a premise. The rule stands beside the facts, and the weakest of them governs. That matches your sketch of the alarm.\n\nBut then the holiday has nowhere to land, except on the rule. And it does not refute the rule. So the step needs a claim of its own anyway.\n\n[[pause 5]]\n\n[[voice myrddin]]\n\nKeep the facts at your feet, and the road ahead of you. Then ask, each day, whether the road runs here.\n\n[[voice lucy]]\n\nThe question to carry. Should the rule be the grounds of the step's application, rather than one more premise?\n\n[[pause 5]]\n\nFrom your model of the alarm, and your question of the seventeenth, my prediction.\n\n[[voice fredrik]]\n\n[curious] Grounds, then. The holiday has to land somewhere, and the step is the place. But on the page, show the rule beside the facts, the way I drew the alarm.\n\n[[pause 4]]\n\n[[voice lucy]]\n\nToday, this shape is built for a single fact. A step with several facts needs its own argument in the store. That is unbuilt. Your answer settles how it is drawn.\n\n---\n\n# End of the walk\n\n[[scene Lucy closes the walk, briefly and warmly.]]\n\nThat's the walk. One word a chapter, when you have a moment: muddled, agreed, or disagreed and why.\n"}