Thanks to visit codestin.com
Credit goes to github.com

Skip to content

Commit 86b90bf

Browse files
eric-hughes-codereric-hughes-coder
committed
Separate a corpus from its directory, and generalize reading on
A corpus and the directory holding it were one word, and the corpus's first sentence fused them: a body of claims about some subject matter, held in a directory. Everything decidable about corpus-hood depends on the directory, so the directory is not packaging. There are now two names. A corpus is the body of claims; the corpus directory holds it. The test that keeps them apart is stated where the entries are: what can be decided by looking at files is about the corpus directory, and what needs the text's meaning is about the corpus. That is not new machinery. It is why well-formedness is decidable from the directory alone with nothing opened, and why validity requires both bodies and no scan decides it. Two facts about cost become one fact about which of the two things each predicate ranges over. Reading on was too narrow. A corpus reads onto the subject matter of its theories, whichever theory, so a corpus with content reads onto whatever that content is about. The old definition covered only the case where the target is another corpus, which made the relation unavailable to every corpus that is not the top one. Nothing else needed changing to accommodate that, because the file on relationships between corpora had never said it was about relations between corpora. Its statements read as restrictive only for want of a scope, and it now says its scope in a section of its own. The section on reading on says the general form before narrowing to its own case. The definition of a well-formed claim said a sentence carrying a standing mark. Standing comes by inheritance from position, so every claim has one and the clause was satisfied by construction; it said nothing about well-formedness. A sentence is too little on its own, since a question and a command are both sentences and neither asserts, so it is now a sentence that asserts something about the subject matter, written in the subject vocabulary. Asserting rather than claiming, which would have been circular, and which would also have blurred the distinction between the definitions and the claims that a theory is made of. The mark entry leaves with the clause that used it. Nothing else used it, and an entry no other entry uses does not belong in a bootstrap. The subject vocabulary is defined by aboutness rather than by enumerating its sources: the names of what is being written about, a name being in it when declared or when something written restricts what the name names. Stating the sources needed a word for whose sources they were, which is how a body came to be load-bearing and undefined. The top corpus is named in the bootstrap rather than borrowed from a file the bootstrap may not cite. It was the last term either bootstrap used and neither defined. The logical bootstrap no longer claims to use nothing from outside itself. The claim was false twice over, and both times invisibly, because the Uses lines were clean while the prose was not. A promise that cannot be checked from the thing it is written on is a bad promise, and the half of it about citation is argued where it belongs. A README for the logic directory, holding a map and nothing else. What was in the first draft and is not in this one: that the directory is optional for other corpora, that nothing in it is about a directory, that the two bootstrap files cite as they do. All true, none of it a map.
1 parent 660edd9 commit 86b90bf

9 files changed

Lines changed: 88 additions & 50 deletions

File tree

‎top-corpus/CORPUS.md‎

Lines changed: 3 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,8 @@
11
# Corpus: the top corpus
22

3-
**A corpus is a body of claims about some subject matter, held in a directory
4-
that a `{CORPUS.md}` at its root declares to be one.**
3+
**A corpus is a body of claims about some subject matter.** **The corpus
4+
directory holds it**, and a `{CORPUS.md}` at that directory's root is what
5+
declares it to hold one.
56

67
**This corpus's subject matter is corpora themselves**: what one is, how one is
78
authored, how its claims are marked, and how one corpus stands in relation to

‎top-corpus/how-the-bootstrap-works.md‎

Lines changed: 2 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -54,13 +54,9 @@ to introduce them in one step**, which is a cycle not had rather than a cycle
5454
resolved. Both points are argued at
5555
`[self structure/language-extension.md "A cycle is ill-formedness, not a difficulty about order"]`.
5656

57-
## The suspicion the arrangement is meant to answer
57+
## A consequence is not a definition
5858

59-
**A fresh reader suspects a cycle**, because a corpus is spoken of as what the
60-
top corpus reads on while reading on is defined as determining that something is
61-
a corpus.
62-
63-
**That appearance comes from taking a consequence for a definition.** *A corpus
59+
*A corpus
6460
is what the top corpus reads on* is a consequence of a well-formed corpus and
6561
reading on and is not either of them. **Written as a definition it would close
6662
the loop**, and neither bootstrap file writes it that way.

‎top-corpus/logic/README.md‎

Lines changed: 15 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,15 @@
1+
# Logic
2+
3+
**The apparatus this corpus asserts and infers with**, as opposed to what it
4+
says about corpora: what a mark is, what a claim is, what an interpretation is,
5+
and when one is sound.
6+
7+
## What is here
8+
9+
- `./bootstrap.md`. The definitions that are not about corpora, in an order
10+
where each uses only what precedes it. **The three that are about corpora
11+
are at `[self structure/bootstrap.md *]`.**
12+
- `./marks.md`. What a section is, standing as a qualifier, and the syntax and
13+
vocabulary by which a standing is indicated.
14+
- `./additional-marks.md`. Marks qualifying the state of a document rather than
15+
the standing of a claim.

‎top-corpus/logic/bootstrap.md‎

Lines changed: 12 additions & 20 deletions
Original file line numberDiff line numberDiff line change
@@ -1,40 +1,32 @@
11
# The logical bootstrap
22

33
**Definition, Established.** Each entry is available once the entries it uses
4-
are available. Nothing here uses anything from outside this file, and nothing
5-
here is about a corpus in particular.
4+
are available. Nothing here is about a corpus in particular.
65

7-
## A mark
6+
## The subject vocabulary
87

9-
A word or short phrase qualifying a section, drawn from a fixed vocabulary, and
10-
saying of that section what kind it is or how much to believe it.
8+
The names of what is being written about. A name is in it when it is declared,
9+
or when something written restricts what the name names. A name that merely
10+
appears is in it on neither ground.
1111

1212
Uses: nothing.
1313

1414
## A well-formed claim
1515

16-
A sentence in the body's language, carrying a standing mark, and carrying a
17-
Definition mark where it stipulates.
16+
A sentence that asserts something about the subject matter, written in the
17+
subject vocabulary.
1818

19-
Uses: a mark.
19+
Uses: the subject vocabulary.
2020

2121
## A theory
2222

23-
The definitions and claims of a body.
24-
25-
Uses: a well-formed claim.
26-
27-
## The subject vocabulary
28-
29-
The names a body uses for what it restricts: every term it defines, every
30-
subject it declares, and the name of anything its claims place a restriction on.
23+
A collection of definitions and claims in some common subject vocabulary.
3124

32-
Uses: a theory.
25+
Uses: a well-formed claim, the subject vocabulary.
3326

3427
## An interpretation
3528

36-
A map from a theory onto a target: from the definitions and claims of one body
37-
onto aspects of another.
29+
A map from a theory onto its subject matter.
3830

3931
Uses: a theory.
4032

@@ -46,7 +38,7 @@ Uses: an interpretation.
4638

4739
## A target
4840

49-
What an interpretation maps onto.
41+
The subject matter an interpretation maps onto.
5042

5143
Uses: an interpretation.
5244

‎top-corpus/logic/marks.md‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -53,7 +53,7 @@ separator carries a meaning.
5353
**Nothing else goes inside the span.** Commentary on why the mark was chosen
5454
follows it, outside the bold, as ordinary prose.
5555

56-
**The date is written `YYYY-MM-DD` and reads on the mark as a whole**, not on
56+
**The date is written `YYYY-MM-DD` and applies to the mark as a whole**, not on
5757
any component of it. **It says when the mark was applied**, which is the one
5858
reading that holds for every mark: when the position was decided, when the fact
5959
was verified, when the draft was begun.

‎top-corpus/structure/bootstrap.md‎

Lines changed: 35 additions & 10 deletions
Original file line numberDiff line numberDiff line change
@@ -5,26 +5,51 @@ are available. **The entries it uses that are not here are in**
55
`[self logic/bootstrap.md *]`, **which is read first and cites nothing at all.**
66
This file cites that one and nothing else.
77

8+
**A corpus and the directory holding it are two things**, and the entries below
9+
name them apart. **The test: what can be decided by looking at files is about
10+
the corpus directory, and what needs the text's meaning is about the corpus.**
11+
12+
## A corpus
13+
14+
A body of claims about some subject matter, in a common subject vocabulary. A
15+
corpus is not the directory that holds it.
16+
17+
Uses: `[self logic/bootstrap.md "A well-formed claim"]`,
18+
`[self logic/bootstrap.md "The subject vocabulary"]`.
19+
20+
## The corpus directory
21+
22+
The directory holding a corpus. A `{CORPUS.md}` at its root is what declares the
23+
directory to hold one.
24+
25+
Uses: a corpus.
26+
27+
## The top corpus
28+
29+
The name for the corpus this file is part of. Its corpus directory is the parent
30+
of the one holding this file.
31+
32+
Uses: a corpus, the corpus directory.
33+
834
## A well-formed corpus
935

10-
A directory with a `{CORPUS.md}` at its root, and `{structure/}`, `{content/}`
11-
and `{interpretation/}` directories.
36+
A corpus whose corpus directory has a `{CORPUS.md}` at its root, and
37+
`{structure/}`, `{content/}` and `{interpretation/}` directories.
1238

13-
Uses: nothing.
39+
Uses: a corpus, the corpus directory.
1440

1541
## Reading on
1642

17-
An interpretation whose source is a corpus's structural theory and whose target
18-
is another corpus.
43+
A corpus reads onto the subject matter of its theories, by an interpretation
44+
whose source is that theory.
1945

20-
Uses: a well-formed corpus, `[self logic/bootstrap.md "An interpretation"]`,
21-
`[self logic/bootstrap.md "A source"]`, `[self logic/bootstrap.md "A target"]`.
46+
Uses: a corpus, `[self logic/bootstrap.md "An interpretation"]`,
47+
`[self logic/bootstrap.md "A source"]`.
2248

2349
## A valid corpus
2450

2551
A well-formed corpus carrying a sound interpretation from the top corpus onto
2652
itself.
2753

28-
Uses: a well-formed corpus,
29-
`[self logic/bootstrap.md "A sound interpretation"]`,
30-
`[self logic/bootstrap.md "A target"]`, reading on.
54+
Uses: a well-formed corpus, the top corpus,
55+
`[self logic/bootstrap.md "A sound interpretation"]`, reading on.

‎top-corpus/structure/corpus-relationships.md‎

Lines changed: 11 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -9,11 +9,19 @@ file is arranged to prevent.
99
> section requires order theory, and the terms needed in ordinary use are
1010
> defined here without it.
1111
12-
## Reading on, which is structural
12+
## These relations hold between corpora
13+
14+
**Established.** **Everything in this file is about relations holding between
15+
one corpus and another.** Where a statement below looks restrictive, it is
16+
restricted to that case and not to the relation in general.
17+
18+
## Reading onto a corpus, which is structural
1319

1420
**Established.** **Reading on is defined at
15-
`[self structure/bootstrap.md "Reading on"]` and is not restated here.** What
16-
follows expands it and does not change it.
21+
`[self structure/bootstrap.md "Reading on"]` and is not restated here.** A
22+
corpus reads onto the subject matter of its theories, whatever that subject
23+
matter is. **What follows is the case where it is another corpus**, and expands
24+
the definition without changing it.
1725

1826
**What the relation is for.** **The top corpus reads onto the structure of
1927
another corpus to determine that it is a well-formed corpus.** The definition

‎top-corpus/structure/correctness.md‎

Lines changed: 8 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -67,13 +67,14 @@ that did would be a defect rather than a refinement.
6767
6868
**An interpretation**, `[self logic/bootstrap.md "An interpretation"]`.
6969

70-
**Which theory is the source is what separates the two kinds**, and the tag is
71-
already in the corpus's own layout. **A source in `{structure/}` maps onto
72-
another corpus**, which is reading on. **A source in `{content/}` maps onto
73-
whatever that content is about**, code most often.
74-
75-
**So the source restriction on reading on is a consequence, not a stipulation.**
76-
Only a corpus with a non-empty structural theory can read on anything, and
70+
**An interpretation is structural or content, taking its kind from the theory
71+
that is its source.** The discriminator is the corpus's own layout: a source in
72+
`{structure/}` or a source in `{content/}`. **The subject matter of a structural
73+
theory is another corpus; the subject matter of a content theory is whatever
74+
that content is about**, for example, a body of code.
75+
76+
**So the restriction on reading onto a corpus is a consequence, not a
77+
stipulation.** Only a corpus with a non-empty structural theory can do it, and
7778
almost none has one.
7879

7980
**A sound interpretation**,

‎top-corpus/structure/subject-matter.md‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -7,7 +7,7 @@ settle. **How subject matter divides is at
77
`[self structure/structure-of-a-corpus.md "Structure and content"]`**, and
88
nothing here revises it.
99

10-
## What makes something subject matter
10+
## What makes something subject matter of a corpus
1111

1212
**Definition, Established, 2026-09-06.** **Something is subject matter when the
1313
corpus places a restriction on it.** Mention alone does not do it.

0 commit comments

Comments
 (0)