# Review checklist: labparcels.registry 0.1.0

> Filled example. This record reviews the fictional registry fixture. The
> engine never reads this file: it records that a human walked the ladder
> below, not a package format.

- Package: labparcels.registry
- Version: 0.1.0
- Reviewer: Lab team (fictional)
- Date: 2026-10-03
- Round: first
- Verdict: approved

The ladder: draft means work in progress; reviewed means a human read it;
verified means the recorded runs below pass; approved admits fragments as
verified and needs the reviewer named here; disputed blocks approval until
the notes in section 5 are resolved.

## 1. Manifest and closure

- [x] The manifest names the package, version, language line, and namespace.
- [x] Every dependency is pinned to an exact version; the lockfile check passes.
- [x] One closure, one semantics line: no mixed language lines in the world.

```text
lock: docs/corpus/lab/fixtures/parcels-registry/law.lock matches law.toml and resources
```

## 2. Sources and pinned text

- [x] Each fragment carries its bytes, language, and standing.
- [x] The pinning check passes: fragment text matches the recorded bytes.
- [x] One revision in two languages is two editions with declared
  correspondence, not assumed meaning identity. The lab ships one
  English edition only, so there is nothing to correspond.

```text
  ✓ pinning.toml → sources.law [en-US] (2 articles)
```

## 3. Vocabulary and labels

- [x] Shared words are imported, not redeclared locally.
- [x] Every public declaration carries a label with language and standing.
- [x] Relation sentence templates name every argument. Waived with reason:
  the lab ships no sentence templates; answers degrade to plain wording.
- [x] The public vocabulary contract (for vocabulary packages) is current.
  Not applicable: this is a source package, not a vocabulary package.

## 4. Behavior

- [x] The package scenarios pass on the locked world.
- [x] Producer and reader queries show every word declared once and read
  where expected.
- [x] The lint catalog reports no new findings on this package.

```text
law test labparcels.registry: world labparcels.registry, labparcels.iface
  ok   [labparcels.registry#authored] tests/01-registered-ok.lawtest / urn:lab:parcels:registry:registered-ok
  ok   [labparcels.registry#authored] tests/02-registered-missing-kind.lawtest / urn:lab:parcels:registry:registered-missing-kind
  ok   [labparcels.registry#authored] tests/03-transfer-ok.lawtest / urn:lab:parcels:registry:transfer-ok
  ok   [labparcels.registry#authored] tests/04-transfer-stranger.lawtest / urn:lab:parcels:registry:transfer-stranger
total: 4 checked, 4 passed, 0 failed, 0 not run; code 0
```

```text
law audit labparcels.registry — formalization measure §33.1 (E-0249), profile static
CLIR lowered from sources (imports: deps); freshness: verified
levels not computed by this implementation: STRUCTURED, SEMANTIC

— urn:law:lab:parcels:registry#PARCEL_REGISTRY_RULES_TXT —
  unit: пункт (point), path declared; units 2, excluded 0
  EXECUTABLE 2, ANCHORED 0, SOURCE_ONLY 0, without nodes 0; reading-only under §152: 0
  aggregated model (detail not confirmed): none
  text coverage: 317 of 369 bytes (85.9 %), fragments 2

form (LawQL catalog lints on fresh snapshot, DECISION-0394): detectors 16, findings 0
dangling premises: 0 (unsupplied by package 0, enum variants in body 0)
one-way premises: 0 of 2 rules
```

The producer query names one strict rule behind the registered flag with
its anchor on the first article; the reader query names both registry
rules reading the shared holding link. Full rows sit in the filled
vocabulary contract.

## 5. Notes and verdict

None.

- Verdict: approved
- Reviewer signature: Lab team (fictional), 2026-10-03