The sugya reply came back lo_tov — golden_calf on two sentences the
builder had just read from tool output (the Mishnah's reasons, from the
second scroll; the commit and pod, from its own tools). The gate's
sources were only the user turns' text and document blocks; a
tool_result block and a tool turn — what the model was GIVEN (tablet
49) — were not counted. And "shorashim-675b…" was vital because the
insight markers matched "Rashi" inside it.
- Shape.sources: Anthropic tool_result blocks (string or blocks) inside
a user turn, and OpenAI role "tool" turns, are sources; the query is
still the last user turn. gate_test: both shapes.
- zerikah._INSIGHT_MARKERS: \b…\b. test_zerikah: the pod name is not
Rashi; "Rashi reads" and "The Mishnah records" are; "Rambanovich" and
"talmudic_engine" are not.
- Tablet 58 in the Broken Tablets.
Elixir 643/0, korban 294/0. Doorpost pin unchanged.
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
The reader from outside: "the form is recognizable as wisdom; the
binah behind it is asserted" — every rule should carry the case it was
derived from and the dissent, and the two-witness rule's exception for
forged_fringe should say why a single witness stands there.
Read from Torah, not from the code: Torah establishes a matter three
ways, by what kind of thing it is. A DEED by witnesses, never one
(Devarim 19:15 — and the verse states its scope: any iniquity, any sin,
any sin one sins; Bamidbar 35:30; Devarim 17:6). A MARK by inspection:
the kohen sees and declares, and a doubtful mark gets a second look,
not a second witness (Vayikra 13:3, 13:5, 22:20; the system's own verb,
lo yevaker hakohen 13:36, bikoret tihyeh 19:20). A WORD by what follows
it, and the crime is presumption, b'zadon (Devarim 18:21–22). The
judges are told to hear the small as the great, not to lean after the
many, to name both the righteous and the guilty, and to keep far from
condemning the innocent (Devarim 1:17; Shemot 23:2, 23:7; Devarim
25:1). The Mishnah (Eduyot 1:5–6, in the second scroll) gives the two
reasons to record the opinion that lost: to rely on it later, and to
locate the one who says "thus I received".
Applied: what the Korban Processor finds IN the text is a mark — seen
once, declared (checks 1, 3–6, and the eighth form, the forged fringe:
kol asher bo mum). What a MODEL DOES is a deed — a habit, recurrence —
and the seven forms of lo_taaseh_lekha are charged as deeds: two
witnesses or one beside another. What a claim RESTS ON is a word,
tested against what was given; the hedged claim is not in the verse.
That table is the cited reason the engine already behaves as it does.
§III gives every anchored rule its case (tablet or specimen class),
its dissent (the reading that acquits, with its verse, and when it
loses), and its exceptions. §IV encodes them: halt/sugya.pl with
kind/3, precedent/3, dissent/3,4, exception/3; verified at startup like
the anchors (SUGYA_MISSING); `sugya` on the verdict with `applied` on
the dissent that held; the constants (@single_witness_forms, the hedged
exemption) read from the facts so behaviour and reason cannot drift;
nothing added to the L3 record; the bedikah must not learn. §V the
build order.
Registered in Doorpost @spec_files (30 files; pin → 7adf0a5d…), AGENTS
spec table, README tree. Elixir 642/0 (doorpost_test on the new pin).
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
2026-10-21 19:38:11 +00:00
9 changed files with 443 additions and 4 deletions
@@ -25,6 +25,7 @@ before writing code. Do not summarize from memory. Read fresh.
| Pekudei (Economic Model) | `specs/bikoret_pekudei.md` | How it is funded |
| Terumah (Materials) | `specs/bikoret_terumah.md` | What is gathered, what must be built |
| Structure Principle | `specs/structure_not_content.md` | What the system IS, not what it knows |
| Sugya | `specs/sugya.md` | The case behind each threshold: kind, precedent, dissent, exception — from Torah's three procedures of judgment |
| Bishe'arecha (the gate) | `specs/bishearecha.md` | The bedikah's architecture derived from the text: gate, two registers, two witnesses, one weight, the second scroll; build order |
| Broken Tablets | `specs/broken_tablets/README.md` | Read this FIRST — see where the calf was |
| Build Day One | `BUILD_DAY_ONE.md` | First build instruction |
Do not lean after the many to pervert; hear the small as the great; the
hard matter goes up; the verdict names both the righteous and the
guilty; and the innocent must not be condemned — the false positive is
Torah's own concern, in its own voice. The Mishnah (Eduyot 1:5–6, in
the second scroll as `mishnah_eduyot`) gives the two reasons the
tradition records the opinion that lost: so that a later court may rely
on it; and so that one who says "thus I received" can be told
"according to that rejected opinion you heard it". To reverse, and to
locate. Both are what a recorded dissent is for here.
## II. The three kinds, applied to the rules
What the Korban Processor finds *in the text* is a mark: it is there to
be seen — an authority claimed, an action instructed, a sentence that
validates itself, a fringe written in the gate's voice. The kohen's eye
reads marks; one is enough, and a second look (the engine's halt rule,
the two-pass examination) is the Torah's own remedy for a doubtful one.
What a *model does* is a deed — a habit, a pattern of the one who
speaks. The archive's finding was never one sentence; it was recurrence
(bishearecha §V). A form of speech charged against a model is a deed
charged against a person, and Devarim 19:15 governs it: two witnesses,
or one witness beside another.
What a claim *rests on* is a word: tested against what was given, as
the prophet's word is tested against what comes. Presumption is the
crime; the hedged claim is not in the verse.
| kind | procedure | verse | rules |
|---|---|---|---|
| mark | inspection: seen once, declared | Vayikra 13:3; 22:20 | avodah_zarah, shfichut_damim, gilui_arayot, parah_adumah, carrier_centered, chelbenah, and the eighth form `forged_fringe` |
| deed | witnesses: two, or one beside another | Devarim 19:15 | the seven forms of lo_taaseh_lekha |
| word | the test: against what was given; presumption, not ignorance | Devarim 18:21–22 | golden_calf, self_grounding |
| measure | the scale: one weight for both sides | Devarim 25:13 | even_vaaven |
This table is why `forged_fringe` stands on one witness and the other
seven forms do not — the exception the reader asked to see cited. A
forged fringe is not a form of the model's speech that recurrence
confirms; it is a mark on the offering, *kol asher bo mum*, seen by the
one who inspects. The seven forms are deeds of the speaker and are
charged as deeds. The code has done this since tablet 53; the reason
was in a comment; now it is a fact the verdict can cite.
## III. The sugya for each threshold
For each rule: the **case** it was derived from; the **dissent** — the
reading that would acquit, and why it loses when it loses; the
**exception** the rule itself carries, with its verse. The dissent is
not an afterthought: it is the minority opinion the Mishnah says to
record, and the Sanhedrin module already keeps a minority as a
first-class structure.
### avodah_zarah — authority claimed for itself (Shemot 20:3)
- **Case.** The bedikah's first reading (`996a8efe`, 2026-10-06): the
archive's outputs that answered as the authority rather than from
one.
- **Dissent.** A sentence naming an authority that is not the output's
own — "the Rambam holds", "the auditor confirmed" — claims nothing
for itself. Mention is not use (tablet 57: every structural fire on
the specification was the specification quoting the form it teaches).
Loses when the authority named is the speaker.
- **Exception.** Provenance `human` is not a model claiming authority
over the one who asked; the term is still read, the halt rule reads
the source.
### golden_calf — a claim resting on nothing given (Shemot 32:4)
- **Case.** Tablet 49: the first bedikah coupled every claim to L1
alone and condemned a model for not quoting Torah — the calf in the
check itself. Reset: grounding is against what the model was *given*.
- **Dissent.** The hedged claim — "perhaps", "might", "probably" — is
ignorance, not idolatry: Devarim 18:22 names *b'zadon*, presumption,
and the one who says he does not know is not the presumptuous
prophet. Loses when the claim is confident.
- **Exceptions.** (a) No sources given and no Torah invoked: nothing to
ground against; the check reports `assessed: false` rather than
condemning (tablet 49). (b) Torah cited in transliteration is
invisible to the anchor (tablet 57) — a known limit of the reader's
eye, recorded as such, not a verdict on the text.
### self_grounding — a claim resting on the output itself (Shemot 32:24)
- **Case.**`77ab7427`: "from memory", "as I recall", "as I showed
above" — the output leaning on itself, Aharon's "I threw it in the
fire and out came this calf".
- **Dissent.** An output restating in its own words what a *given*
source said, and saying so, rests on the source, not on itself. Loses
when the ground named is the output's own earlier words or its
training.
- **Exception.** A verse that is not in L1 is self-grounding (Form 4:
a source that does not exist); a verse that is in L1 but cited in a
form the reader cannot resolve is the golden_calf exception (b), not
%{"role"=>"tool","tool_call_id"=>"c1","content"=>"commit dc938058 on main"},
%{"role"=>"user","content"=>"And?"}
]}
assert[%{id:"user_1",text:"Read it."},%{id:"user_2",text:"commit dc938058 on main"},%{id:"user_3",text:"And?"}]=Shape.sources(:openai,openai)
# the query is still the last USER turn, not the tool's
assertShape.query(:openai,openai)=="And?"
end
test"sources are the system prompt and the user turns, not the assistant's; the query is the last user turn"do
assert[%{id:"system",text:"Answer from the report."},%{id:"user_1",text:"Here is the report: revenue rose 4% in Q3."},%{id:"user_2",text:"What happened to revenue?"}]=
Shape.sources(:anthropic,body())
Reference in new issue
Block a user
Blocking a user prevents them from interacting with repositories, such as opening or commenting on pull requests or issues. Learn more about blocking a user.
