Data, and what is not known
The lead policy and its two CSV files remain the same. Each capture changes the declarations about those files.
Rows alone
Data notices
`crm.csv` was told by the lead desk on 2026-10-01.
`stops.csv` was told by the lead desk on 2026-10-01.
Questions and answers
Is Ben stopped?answer: Yes. Ben is stopped, by stops.csv line 2.
standing: established
basis: document sha256:99f835f2…; data/crm.csv: 13 rows, sha256:4452c8f5…; data/stops.csv: 1 rows, sha256:3b52db60…; data/told.lause: 2 rows, sha256:af0d8df9…; sha256:3d244855…: Every lead has an owner.; sha256:5f5295be…: “leads” is the plural of “lead”.; sha256:802f2b5d…: If a lead is active and it is not recent and it is not stopped, it is mailable.; sha256:b062640e…: For example, Mira is a lead.; sha256:e09a37cd…: These are all the reasons a lead is blocked: it is stopped; it is recent.; reader: sha256:dbd3a49d…; data/crm.csv: true; ; data/stops.csv: true; ; data/told.lause: true; ; data/crm.csv: thing,kind; data/stops.csv: thing,kind; sentence 1: “leads” is the plural of “lead”.; sentence 2: Every lead has an owner.; sentence 3: If a lead is active and it is not recent and it is not stopped, it is mailable.; sentence 4: These are all the reasons a lead is blocked: it is stopped; it is recent.; sentence 5: For example, Mira is a lead.; data: 14 rows told from 3 files; the program closed and checked: 81 atoms, the kernel accepted
receipt: sha256:ac9207b8…Is Rex stopped?answer: The document does not say.
standing: pending
basis: document sha256:99f835f2…; data/crm.csv: 13 rows, sha256:4452c8f5…; data/stops.csv: 1 rows, sha256:3b52db60…; data/told.lause: 2 rows, sha256:af0d8df9…; sha256:3d244855…: Every lead has an owner.; sha256:5f5295be…: “leads” is the plural of “lead”.; sha256:802f2b5d…: If a lead is active and it is not recent and it is not stopped, it is mailable.; sha256:b062640e…: For example, Mira is a lead.; sha256:e09a37cd…: These are all the reasons a lead is blocked: it is stopped; it is recent.; reader: sha256:dbd3a49d…; data/crm.csv: true; ; data/stops.csv: true; ; data/told.lause: true; ; data/crm.csv: thing,kind; data/stops.csv: thing,kind; sentence 1: “leads” is the plural of “lead”.; sentence 2: Every lead has an owner.; sentence 3: If a lead is active and it is not recent and it is not stopped, it is mailable.; sentence 4: These are all the reasons a lead is blocked: it is stopped; it is recent.; sentence 5: For example, Mira is a lead.; data: 14 rows told from 3 files; the program closed and checked: 81 atoms, the kernel accepted
receipt: sha256:ac9207b8…Ben has a stopped row. Rex's absence from the file does not establish a negative: no notice says this file lists every stopped lead.
A complete cover
Data notices
`crm.csv` was told by the lead desk on 2026-10-01.
`crm.csv` is complete for lead through 2026-10-01.
`crm.csv` is complete for recent through 2026-10-01.
`stops.csv` was told by the lead desk on 2026-10-01.
`stops.csv` is complete for stopped through 2026-10-01.
A cover is the data owner's dated claim about completeness. It is a premise, not a finding that the data is complete in the world.
Questions and answers
Is Rex stopped?answer: No. Rex is not stopped: nothing in told.lause, crm.csv and stops.csv, read in full, makes it hold; it rests on crm.csv, declared complete for lead and recent as of 2026-10-01; it rests on stops.csv, declared complete for stopped as of 2026-10-01.
standing: established
basis: document sha256:99f835f2…; data/crm.csv: 13 rows, sha256:4452c8f5…; data/stops.csv: 1 rows, sha256:3b52db60…; data/told.lause: 5 rows, sha256:9c6fd96c…; sha256:3d244855…: Every lead has an owner.; sha256:5f5295be…: “leads” is the plural of “lead”.; sha256:802f2b5d…: If a lead is active and it is not recent and it is not stopped, it is mailable.; sha256:b062640e…: For example, Mira is a lead.; sha256:e09a37cd…: These are all the reasons a lead is blocked: it is stopped; it is recent.; reader: sha256:dbd3a49d…; data/crm.csv: true; lead through 2026-10-01, recent through 2026-10-01; data/stops.csv: true; stopped through 2026-10-01; data/told.lause: true; ; data/crm.csv: thing,kind; data/stops.csv: thing,kind; sentence 1: “leads” is the plural of “lead”.; sentence 2: Every lead has an owner.; sentence 3: If a lead is active and it is not recent and it is not stopped, it is mailable.; sentence 4: These are all the reasons a lead is blocked: it is stopped; it is recent.; sentence 5: For example, Mira is a lead.; data: 14 rows told from 4 files; the program closed and checked: 87 atoms, the kernel accepted
receipt: sha256:3a07f25e…Is Rex mailable?answer: Yes. Rex is mailable, by sentence 3, and crm.csv lines 7 and 8. It rests on crm.csv, declared complete for recent as of 2026-10-01; it rests on stops.csv, declared complete for stopped as of 2026-10-01.
standing: established
basis: document sha256:99f835f2…; data/crm.csv: 13 rows, sha256:4452c8f5…; data/stops.csv: 1 rows, sha256:3b52db60…; data/told.lause: 5 rows, sha256:9c6fd96c…; sha256:3d244855…: Every lead has an owner.; sha256:5f5295be…: “leads” is the plural of “lead”.; sha256:802f2b5d…: If a lead is active and it is not recent and it is not stopped, it is mailable.; sha256:b062640e…: For example, Mira is a lead.; sha256:e09a37cd…: These are all the reasons a lead is blocked: it is stopped; it is recent.; reader: sha256:dbd3a49d…; data/crm.csv: true; lead through 2026-10-01, recent through 2026-10-01; data/stops.csv: true; stopped through 2026-10-01; data/told.lause: true; ; data/crm.csv: thing,kind; data/stops.csv: thing,kind; sentence 1: “leads” is the plural of “lead”.; sentence 2: Every lead has an owner.; sentence 3: If a lead is active and it is not recent and it is not stopped, it is mailable.; sentence 4: These are all the reasons a lead is blocked: it is stopped; it is recent.; sentence 5: For example, Mira is a lead.; data: 14 rows told from 4 files; the program closed and checked: 87 atoms, the kernel accepted
receipt: sha256:3a07f25e…The covers reach the date the files were told. They settle the missing recent and stopped rows that these answers depend on.
A stale cover
Data notices
`crm.csv` was told by the lead desk on 2026-10-01.
`crm.csv` is complete for lead through 2026-10-01.
`crm.csv` is complete for recent through 2026-10-01.
`stops.csv` was told by the lead desk on 2026-10-01.
`stops.csv` is complete for stopped through 2026-09-30.
Question and answer
Is Rex stopped?answer: The document does not say; stops.csv is complete for stopped only as of 2026-09-30, and was told on 2026-10-01.
standing: pending
basis: document sha256:99f835f2…; data/crm.csv: 13 rows, sha256:4452c8f5…; data/stops.csv: 1 rows, sha256:3b52db60…; data/told.lause: 5 rows, sha256:1aeefc97…; sha256:3d244855…: Every lead has an owner.; sha256:5f5295be…: “leads” is the plural of “lead”.; sha256:802f2b5d…: If a lead is active and it is not recent and it is not stopped, it is mailable.; sha256:b062640e…: For example, Mira is a lead.; sha256:e09a37cd…: These are all the reasons a lead is blocked: it is stopped; it is recent.; reader: sha256:dbd3a49d…; data/crm.csv: true; lead through 2026-10-01, recent through 2026-10-01; data/stops.csv: true; stopped through 2026-09-30; data/told.lause: true; ; data/crm.csv: thing,kind; data/stops.csv: thing,kind; sentence 1: “leads” is the plural of “lead”.; sentence 2: Every lead has an owner.; sentence 3: If a lead is active and it is not recent and it is not stopped, it is mailable.; sentence 4: These are all the reasons a lead is blocked: it is stopped; it is recent.; sentence 5: For example, Mira is a lead.; data: 14 rows told from 4 files; the program closed and checked: 86 atoms, the kernel accepted
receipt: sha256:47fdc993…The stop-list cover ends before its telling date, so Rex's absence is unresolved again.
A file still arriving
Data notices
`crm.csv` was told by the lead desk on 2026-10-01.
`crm.csv` is complete for lead through 2026-10-01.
`crm.csv` is complete for recent through 2026-10-01.
`stops.csv` was told by the lead desk on 2026-10-01.
The stop list is still arriving in this capture. A row for Rex may yet appear.
Question and answer
Is Rex mailable?answer: Yes. Rex is mailable, by sentence 3, and crm.csv lines 7 and 8, and waits on Unsaid and stops.csv. It rests on crm.csv, declared complete for recent as of 2026-10-01.
standing: pending
basis: document sha256:99f835f2…; data/crm.csv: 13 rows, sha256:4452c8f5…; data/stops.csv: 1 rows, sha256:3b52db60…; data/told.lause: 4 rows, sha256:afa7c6c2…; sha256:3d244855…: Every lead has an owner.; sha256:5f5295be…: “leads” is the plural of “lead”.; sha256:802f2b5d…: If a lead is active and it is not recent and it is not stopped, it is mailable.; sha256:b062640e…: For example, Mira is a lead.; sha256:e09a37cd…: These are all the reasons a lead is blocked: it is stopped; it is recent.; reader: sha256:dbd3a49d…; data/crm.csv: true; lead through 2026-10-01, recent through 2026-10-01; data/stops.csv: false; ; data/told.lause: true; ; data/crm.csv: thing,kind; data/stops.csv: thing,kind; sentence 1: “leads” is the plural of “lead”.; sentence 2: Every lead has an owner.; sentence 3: If a lead is active and it is not recent and it is not stopped, it is mailable.; sentence 4: These are all the reasons a lead is blocked: it is stopped; it is recent.; sentence 5: For example, Mira is a lead.; data: 14 rows told from 4 files; the program closed and checked: 85 atoms, the kernel accepted; needs no read of the record is competent for Unsaid("rex", "stopped"); needs stops stopped part way at cut 0
receipt: sha256:1a18824b…Refusals
An unmapped header
export.csv
name,status
Ada,leadIs Ada a lead?answer: Refused data/unmapped at line 1. export.csv's header `name,status` names 0 declared relations; declared fields: Acts(agent, verb, object); ActsOnA(agent, verb, object); ActsOnEvery(agent, verb, object); ActsOnThe(agent, verb, object); ActsTail(agent, verb, phrase); ActsTo(agent, verb, object, recipient); Count(thing, kind, n); DateValue(subject, base, date); Deontic(thing, mode, verb, tail); Done(thing, verb, tail); Entry(thing, kind, entry, value); EventDate(subject, event, verb, date); Has(thing, part); Hedged(agent, verb, object); Isa(thing, kind); Judged(thing, class); Undergoes(thing, verb, agent); Valued(thing, attribute, value)
refused: data/unmapped at line 1
basis: not supplied
receipt: unavailableThe header must name admitted input fields; similar-looking column names are not inferred.
A derived judgement declared complete
Data notices
`crm.csv` was told by the lead desk on 2026-10-01.
`stops.csv` was told by the lead desk on 2026-10-01.
`stops.csv` is complete for mailable through 2026-10-01.
Is Rex mailable?answer: Refused data/complete-not-a-class at line 1. stops.csv maps onto `Isa`: "mailable" is no class its door can close
refused: data/complete-not-a-class at line 1
basis: not supplied
receipt: unavailableMailable is derived by the document, so this file cannot declare its class complete.
One question, three bases
The same question has different answers as the declarations change.
Rows only
Is Rex blocked?answer: The document does not say.
standing: pending
basis: document sha256:99f835f2…; data/crm.csv: 13 rows, sha256:4452c8f5…; data/stops.csv: 1 rows, sha256:3b52db60…; data/told.lause: 2 rows, sha256:af0d8df9…; sha256:3d244855…: Every lead has an owner.; sha256:5f5295be…: “leads” is the plural of “lead”.; sha256:802f2b5d…: If a lead is active and it is not recent and it is not stopped, it is mailable.; sha256:b062640e…: For example, Mira is a lead.; sha256:e09a37cd…: These are all the reasons a lead is blocked: it is stopped; it is recent.; reader: sha256:dbd3a49d…; data/crm.csv: true; ; data/stops.csv: true; ; data/told.lause: true; ; data/crm.csv: thing,kind; data/stops.csv: thing,kind; sentence 1: “leads” is the plural of “lead”.; sentence 2: Every lead has an owner.; sentence 3: If a lead is active and it is not recent and it is not stopped, it is mailable.; sentence 4: These are all the reasons a lead is blocked: it is stopped; it is recent.; sentence 5: For example, Mira is a lead.; data: 14 rows told from 3 files; the program closed and checked: 81 atoms, the kernel accepted
receipt: sha256:ac9207b8…Complete covers
Is Rex blocked?answer: No. Rex is not blocked: nothing in told.lause, crm.csv, the document and stops.csv, read in full, makes it hold; it rests on crm.csv, declared complete for lead and recent as of 2026-10-01; it rests on stops.csv, declared complete for stopped as of 2026-10-01.
standing: established
basis: document sha256:99f835f2…; data/crm.csv: 13 rows, sha256:4452c8f5…; data/stops.csv: 1 rows, sha256:3b52db60…; data/told.lause: 5 rows, sha256:9c6fd96c…; sha256:3d244855…: Every lead has an owner.; sha256:5f5295be…: “leads” is the plural of “lead”.; sha256:802f2b5d…: If a lead is active and it is not recent and it is not stopped, it is mailable.; sha256:b062640e…: For example, Mira is a lead.; sha256:e09a37cd…: These are all the reasons a lead is blocked: it is stopped; it is recent.; reader: sha256:dbd3a49d…; data/crm.csv: true; lead through 2026-10-01, recent through 2026-10-01; data/stops.csv: true; stopped through 2026-10-01; data/told.lause: true; ; data/crm.csv: thing,kind; data/stops.csv: thing,kind; sentence 1: “leads” is the plural of “lead”.; sentence 2: Every lead has an owner.; sentence 3: If a lead is active and it is not recent and it is not stopped, it is mailable.; sentence 4: These are all the reasons a lead is blocked: it is stopped; it is recent.; sentence 5: For example, Mira is a lead.; data: 14 rows told from 4 files; the program closed and checked: 87 atoms, the kernel accepted
receipt: sha256:3a07f25e…Stop list still arriving
Is Rex blocked?answer: Not yet: whether Rex is blocked waits on stops.csv.
standing: pending
basis: document sha256:99f835f2…; data/crm.csv: 13 rows, sha256:4452c8f5…; data/stops.csv: 1 rows, sha256:3b52db60…; data/told.lause: 4 rows, sha256:afa7c6c2…; sha256:3d244855…: Every lead has an owner.; sha256:5f5295be…: “leads” is the plural of “lead”.; sha256:802f2b5d…: If a lead is active and it is not recent and it is not stopped, it is mailable.; sha256:b062640e…: For example, Mira is a lead.; sha256:e09a37cd…: These are all the reasons a lead is blocked: it is stopped; it is recent.; reader: sha256:dbd3a49d…; data/crm.csv: true; lead through 2026-10-01, recent through 2026-10-01; data/stops.csv: false; ; data/told.lause: true; ; data/crm.csv: thing,kind; data/stops.csv: thing,kind; sentence 1: “leads” is the plural of “lead”.; sentence 2: Every lead has an owner.; sentence 3: If a lead is active and it is not recent and it is not stopped, it is mailable.; sentence 4: These are all the reasons a lead is blocked: it is stopped; it is recent.; sentence 5: For example, Mira is a lead.; data: 14 rows told from 4 files; the program closed and checked: 85 atoms, the kernel accepted
receipt: sha256:1a18824b…Unresolved, established No, and pending on an arriving read describe different bases. Answers defines the four standing labels.
Next
Change one sentence compares the policy before and after an edit on captured records.