Skip to content

Commit 4881048

Browse files
committed
test(record): find a document's words wherever the record puts them
A passage is verified because of the key it sits under, so text under any other name was a document's words that nothing held to the document. Twenty-one were here at once, under footnote, notes and pushedBytes, and the transcribed table regions were another hundred and ninety-three. The rule is now a check rather than a naming habit: a long run of words that a pinned document carries verbatim is that document's, whatever the key is called. A numbered set of notes gets a key of its own, keyed by the number the page prints beside each one, so a row citing note 14 and the text of note 14 are held to the same document. Two entries turn out to be table rows rather than sentences, every word the manual's and the order the table's, and are marked as such. Verified quotes: 44 to 258 here, 53 to 56 in the Z80, 24 to 25 in the NEC.
1 parent a3effc7 commit 4881048

8 files changed

Lines changed: 224 additions & 62 deletions

File tree

‎FAMILY.md‎

Lines changed: 13 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -81,11 +81,19 @@ checks the ones a test can reach.
8181
correct in every part a check reads and still send a reader to a table
8282
only a different sheet has.
8383
- [ ] Every passage taken from a document sits under a key ending in `quote`,
84-
which is the only kind the checker reads. A second passage beside a first
85-
one is its own entry with its own document, section and page, never a
86-
field named for being second: a marker saying the words are the
87-
document's but the order is not belongs to one passage and silences every
88-
quote on its node.
84+
or `quotes` for a numbered set of them. Those are the only kinds the
85+
checker reads, so a passage under any other name is a document's words
86+
that nothing holds to the document, and it drifts the way a comment
87+
drifts: quietly, while still reading as evidence. Twenty-one were found
88+
here in one pass under names like `footnote`, `notes` and `pushedBytes`.
89+
- [ ] A second passage beside a first one is its own entry with its own
90+
document, section and page, never a field named for being second. The
91+
marker saying the words are the document's but the order is not belongs
92+
to a single passage and silences every quote on its node, which is how a
93+
sentence from one manufacturer's sheet sat unchecked under another's.
94+
- [ ] A long run of words that a pinned document carries verbatim is that
95+
document's, whatever the key is called, and a check says so rather than
96+
trusting the name.
8997
- [ ] A document covering more than this part declares the file pages that are
9098
this part's, and every fact citing it names one of them.
9199
- [ ] Every fact names the parts it governs. Left unsaid it is carried by how the

‎README.md‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -17,7 +17,7 @@
1717

1818
</div>
1919

20-
**16** parts · **17,900,000** state cases and **17,870,080** cycle-exact cases, **0** failures · **1,035** tests · **100%** statement and branch coverage · no dependencies
20+
**16** parts · **17,900,000** state cases and **17,870,080** cycle-exact cases, **0** failures · **1,046** tests · **100%** statement and branch coverage · no dependencies
2121

2222
```python
2323
from mos65xx import Cpu, SparseMemory

‎conformance/addressing-cycles.json‎

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -185,7 +185,7 @@
185185
"printedPage": "A-4",
186186
"pdfPage": 171,
187187
"cycles": [4, 5],
188-
"footnote": "If the page boundary is crossed in the indexing operation, the data fetched in T3 is ignored. If page boundary is not crossed, the T4 cycle is bypassed.",
188+
"footnoteQuote": "If the page boundary is crossed in the indexing operation, the data fetched in T3 is ignored. If page boundary is not crossed, the T4 cycle is bypassed.",
189189
"bus": [
190190
{
191191
"state": "T0",
@@ -260,7 +260,7 @@
260260
"printedPage": "A-5",
261261
"pdfPage": 172,
262262
"cycles": [5, 6],
263-
"footnote": "If page boundary is crossed in indexing operation, the data fetch in T4 is ignored. If page boundary is not crossed, the T5 cycle is bypassed.",
263+
"footnoteQuote": "If page boundary is crossed in indexing operation, the data fetch in T4 is ignored. If page boundary is not crossed, the T5 cycle is bypassed.",
264264
"bus": [
265265
{
266266
"state": "T0",
@@ -1028,7 +1028,7 @@
10281028
"pdfPage": 180,
10291029
"cycles": [2, 3, 4],
10301030
"instructions": ["BCC", "BCS", "BEQ", "BMI", "BNE", "BPL", "BVC", "BVS"],
1031-
"footnote": "Skip if branch not taken. Skip if branch not taken; skip if branch operation doesn't cross page boundary.",
1031+
"footnoteQuote": "Skip if branch not taken. Skip if branch not taken; skip if branch operation doesn't cross page boundary.",
10321032
"bus": [
10331033
{
10341034
"state": "T0",

0 commit comments

Comments
 (0)