Protocol-check

Drawer

Part A, step by step, against this working set.

Step		What the protocol checks
A-1 Scope the source and write the scoping note	owed	say what evidence you admit the note lists admitted and excluded material separately, and `AMBIGUITY_LOG.md` exists. Nothing you encode later may cite an excluded passage. A page may be partly admitted: bibliographic front matter such as a title, a byline or a reference list is admissible even on a page whose argument you excluded, so the boundary is drawn over passages and the anchor names the passage.
A-2 Choose the minting namespace	owed	choose a namespace you control at A-11, `--protocol-check` reports the minted namespace is not a reserved example domain. The whole RFC 2606 and RFC 6761 reserved family is refused — `example.com`, `example.net`, `example.org`, `example.*` generally, and anything under `.test`, `.invalid` or `.localhost` — not only the placeholder the importer defaults to. A reserved domain is one nobody controls, so it fails this step's rule however plausible the subdomain in front of it.
A-3 Open the run log	owed	run log missing extractor_model, backend, base_uri `--protocol-check` verifies the log carries model, backend, site commit, version, and `base_uri`.
A-4 Extract	owed	keep the extractor's untouched output before editing a cell a copy of the extractor's output exists and is not the file you are about to edit.
A-5 Give the workbook a home for citations	✓	`--protocol-check` reports the anchor column present on every data sheet.
A-6 Review every cell against the source	✓	`--protocol-check` reports every populated row anchored, and no template placeholder text left in a data row.
A-7 Confirm required and achieved levels separately	✓	`--protocol-check` fails when required equals achieved on every factor and no waiver is recorded.
A-8 Anchor non-textual values by their recovery method	✓	the anchor names a method, and the method is reproducible from the files you commit.
A-9 Keep the ambiguity log as you go	owed	the ambiguity log is empty `--protocol-check` reports the log present and non-empty.
A-10 Decline rather than invent	✓	the declination and its consequence appear in a committed file, not in a covering note. Where the declination touches a value the source foregrounds, the ambiguity log carries both readings, each anchored.
A-11 Import without signing	owed	import has not passed --protocol-check unsigned `--protocol-check` exits zero. The package's signature field is still a placeholder.
A-12 Run the rules and draft the dispositions	✓	the table has a row per expected factor. A table containing only engine-raised rows is incomplete.
A-13 Completion	owed	6 steps still owe work stated in prose; see A-13

Step

What the protocol checks

A-1 Scope the source and write the scoping note

owed

say what evidence you admit
the note lists admitted and excluded material separately, and `AMBIGUITY_LOG.md` exists. Nothing you encode later may cite an **excluded passage**. A page may be partly admitted: bibliographic front matter such as a title, a byline or a reference list is admissible even on a page whose argument you excluded, so the boundary is drawn over passages and the anchor names the passage.

A-2 Choose the minting namespace

owed

choose a namespace you control
at A-11, `--protocol-check` reports the minted namespace is not a reserved example domain. The whole RFC 2606 and RFC 6761 reserved family is refused — `example.com`, `example.net`, `example.org`, `example.*` generally, and anything under `.test`, `.invalid` or `.localhost` — not only the placeholder the importer defaults to. A reserved domain is one nobody controls, so it fails this step's rule however plausible the subdomain in front of it.

A-3 Open the run log

owed

run log missing extractor_model, backend, base_uri
`--protocol-check` verifies the log carries model, backend, site commit, version, and `base_uri`.

A-4 Extract

owed

keep the extractor's untouched output before editing a cell
a copy of the extractor's output exists and is not the file you are about to edit.

A-5 Give the workbook a home for citations

✓

`--protocol-check` reports the anchor column present on every data sheet.

A-6 Review every cell against the source

✓

`--protocol-check` reports every populated row anchored, and no template placeholder text left in a data row.

A-7 Confirm required and achieved levels separately

✓

`--protocol-check` fails when required equals achieved on every factor and no waiver is recorded.

A-8 Anchor non-textual values by their recovery method

✓

the anchor names a method, and the method is reproducible from the files you commit.

A-9 Keep the ambiguity log as you go

owed

the ambiguity log is empty
`--protocol-check` reports the log present and non-empty.

A-10 Decline rather than invent

✓

the declination and its consequence appear in a committed file, not in a covering note. Where the declination touches a value the source foregrounds, the ambiguity log carries both readings, each anchored.

A-11 Import without signing

owed

import has not passed --protocol-check unsigned
`--protocol-check` exits zero. The package's signature field is still a placeholder.

A-12 Run the rules and draft the dispositions

✓

the table has a row per expected factor. A table containing only engine-raised rows is incomplete.

A-13 Completion

owed

6 steps still owe work
stated in prose; see A-13

Parsed from Encoding_Protocol_v0_1.md at 0.1 @ 31508e63. The wording is the document's, not a paraphrase. Steps marked machine-checkable are also gated by uofa import --protocol-check at A-11.

← back to the workspace