sayfirst-testing 0.3.0__tar.gz

sayfirst_testing-0.3.0/.gitignore

@@ -0,0 +1,10 @@
+# SPDX-License-Identifier: Apache-2.0
+__pycache__/
+*.py[cod]
+.pytest_cache/
+.ruff_cache/
+.venv/
+dist/
+
+# The working report of a change, kept beside the tree and never published.
+.sdd-quiet-gaps-report.md

sayfirst_testing-0.3.0/LICENSE

@@ -0,0 +1,202 @@
+
+                                 Apache License
+                           Version 2.0, January 2004
+                        http://www.apache.org/licenses/
+
+   TERMS AND CONDITIONS FOR USE, REPRODUCTION, AND DISTRIBUTION
+
+   1. Definitions.
+
+      "License" shall mean the terms and conditions for use, reproduction,
+      and distribution as defined by Sections 1 through 9 of this document.
+
+      "Licensor" shall mean the copyright owner or entity authorized by
+      the copyright owner that is granting the License.
+
+      "Legal Entity" shall mean the union of the acting entity and all
+      other entities that control, are controlled by, or are under common
+      control with that entity. For the purposes of this definition,
+      "control" means (i) the power, direct or indirect, to cause the
+      direction or management of such entity, whether by contract or
+      otherwise, or (ii) ownership of fifty percent (50%) or more of the
+      outstanding shares, or (iii) beneficial ownership of such entity.
+
+      "You" (or "Your") shall mean an individual or Legal Entity
+      exercising permissions granted by this License.
+
+      "Source" form shall mean the preferred form for making modifications,
+      including but not limited to software source code, documentation
+      source, and configuration files.
+
+      "Object" form shall mean any form resulting from mechanical
+      transformation or translation of a Source form, including but
+      not limited to compiled object code, generated documentation,
+      and conversions to other media types.
+
+      "Work" shall mean the work of authorship, whether in Source or
+      Object form, made available under the License, as indicated by a
+      copyright notice that is included in or attached to the work
+      (an example is provided in the Appendix below).
+
+      "Derivative Works" shall mean any work, whether in Source or Object
+      form, that is based on (or derived from) the Work and for which the
+      editorial revisions, annotations, elaborations, or other modifications
+      represent, as a whole, an original work of authorship. For the purposes
+      of this License, Derivative Works shall not include works that remain
+      separable from, or merely link (or bind by name) to the interfaces of,
+      the Work and Derivative Works thereof.
+
+      "Contribution" shall mean any work of authorship, including
+      the original version of the Work and any modifications or additions
+      to that Work or Derivative Works thereof, that is intentionally
+      submitted to Licensor for inclusion in the Work by the copyright owner
+      or by an individual or Legal Entity authorized to submit on behalf of
+      the copyright owner. For the purposes of this definition, "submitted"
+      means any form of electronic, verbal, or written communication sent
+      to the Licensor or its representatives, including but not limited to
+      communication on electronic mailing lists, source code control systems,
+      and issue tracking systems that are managed by, or on behalf of, the
+      Licensor for the purpose of discussing and improving the Work, but
+      excluding communication that is conspicuously marked or otherwise
+      designated in writing by the copyright owner as "Not a Contribution."
+
+      "Contributor" shall mean Licensor and any individual or Legal Entity
+      on behalf of whom a Contribution has been received by Licensor and
+      subsequently incorporated within the Work.
+
+   2. Grant of Copyright License. Subject to the terms and conditions of
+      this License, each Contributor hereby grants to You a perpetual,
+      worldwide, non-exclusive, no-charge, royalty-free, irrevocable
+      copyright license to reproduce, prepare Derivative Works of,
+      publicly display, publicly perform, sublicense, and distribute the
+      Work and such Derivative Works in Source or Object form.
+
+   3. Grant of Patent License. Subject to the terms and conditions of
+      this License, each Contributor hereby grants to You a perpetual,
+      worldwide, non-exclusive, no-charge, royalty-free, irrevocable
+      (except as stated in this section) patent license to make, have made,
+      use, offer to sell, sell, import, and otherwise transfer the Work,
+      where such license applies only to those patent claims licensable
+      by such Contributor that are necessarily infringed by their
+      Contribution(s) alone or by combination of their Contribution(s)
+      with the Work to which such Contribution(s) was submitted. If You
+      institute patent litigation against any entity (including a
+      cross-claim or counterclaim in a lawsuit) alleging that the Work
+      or a Contribution incorporated within the Work constitutes direct
+      or contributory patent infringement, then any patent licenses
+      granted to You under this License for that Work shall terminate
+      as of the date such litigation is filed.
+
+   4. Redistribution. You may reproduce and distribute copies of the
+      Work or Derivative Works thereof in any medium, with or without
+      modifications, and in Source or Object form, provided that You
+      meet the following conditions:
+
+      (a) You must give any other recipients of the Work or
+          Derivative Works a copy of this License; and
+
+      (b) You must cause any modified files to carry prominent notices
+          stating that You changed the files; and
+
+      (c) You must retain, in the Source form of any Derivative Works
+          that You distribute, all copyright, patent, trademark, and
+          attribution notices from the Source form of the Work,
+          excluding those notices that do not pertain to any part of
+          the Derivative Works; and
+
+      (d) If the Work includes a "NOTICE" text file as part of its
+          distribution, then any Derivative Works that You distribute must
+          include a readable copy of the attribution notices contained
+          within such NOTICE file, excluding those notices that do not
+          pertain to any part of the Derivative Works, in at least one
+          of the following places: within a NOTICE text file distributed
+          as part of the Derivative Works; within the Source form or
+          documentation, if provided along with the Derivative Works; or,
+          within a display generated by the Derivative Works, if and
+          wherever such third-party notices normally appear. The contents
+          of the NOTICE file are for informational purposes only and
+          do not modify the License. You may add Your own attribution
+          notices within Derivative Works that You distribute, alongside
+          or as an addendum to the NOTICE text from the Work, provided
+          that such additional attribution notices cannot be construed
+          as modifying the License.
+
+      You may add Your own copyright statement to Your modifications and
+      may provide additional or different license terms and conditions
+      for use, reproduction, or distribution of Your modifications, or
+      for any such Derivative Works as a whole, provided Your use,
+      reproduction, and distribution of the Work otherwise complies with
+      the conditions stated in this License.
+
+   5. Submission of Contributions. Unless You explicitly state otherwise,
+      any Contribution intentionally submitted for inclusion in the Work
+      by You to the Licensor shall be under the terms and conditions of
+      this License, without any additional terms or conditions.
+      Notwithstanding the above, nothing herein shall supersede or modify
+      the terms of any separate license agreement you may have executed
+      with Licensor regarding such Contributions.
+
+   6. Trademarks. This License does not grant permission to use the trade
+      names, trademarks, service marks, or product names of the Licensor,
+      except as required for reasonable and customary use in describing the
+      origin of the Work and reproducing the content of the NOTICE file.
+
+   7. Disclaimer of Warranty. Unless required by applicable law or
+      agreed to in writing, Licensor provides the Work (and each
+      Contributor provides its Contributions) on an "AS IS" BASIS,
+      WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or
+      implied, including, without limitation, any warranties or conditions
+      of TITLE, NON-INFRINGEMENT, MERCHANTABILITY, or FITNESS FOR A
+      PARTICULAR PURPOSE. You are solely responsible for determining the
+      appropriateness of using or redistributing the Work and assume any
+      risks associated with Your exercise of permissions under this License.
+
+   8. Limitation of Liability. In no event and under no legal theory,
+      whether in tort (including negligence), contract, or otherwise,
+      unless required by applicable law (such as deliberate and grossly
+      negligent acts) or agreed to in writing, shall any Contributor be
+      liable to You for damages, including any direct, indirect, special,
+      incidental, or consequential damages of any character arising as a
+      result of this License or out of the use or inability to use the
+      Work (including but not limited to damages for loss of goodwill,
+      work stoppage, computer failure or malfunction, or any and all
+      other commercial damages or losses), even if such Contributor
+      has been advised of the possibility of such damages.
+
+   9. Accepting Warranty or Additional Liability. While redistributing
+      the Work or Derivative Works thereof, You may choose to offer,
+      and charge a fee for, acceptance of support, warranty, indemnity,
+      or other liability obligations and/or rights consistent with this
+      License. However, in accepting such obligations, You may act only
+      on Your own behalf and on Your sole responsibility, not on behalf
+      of any other Contributor, and only if You agree to indemnify,
+      defend, and hold each Contributor harmless for any liability
+      incurred by, or claims asserted against, such Contributor by reason
+      of your accepting any such warranty or additional liability.
+
+   END OF TERMS AND CONDITIONS
+
+   APPENDIX: How to apply the Apache License to your work.
+
+      To apply the Apache License to your work, attach the following
+      boilerplate notice, with the fields enclosed by brackets "[]"
+      replaced with your own identifying information. (Don't include
+      the brackets!)  The text should be enclosed in the appropriate
+      comment syntax for the file format. We also recommend that a
+      file or class name and description of purpose be included on the
+      same "printed page" as the copyright notice for easier
+      identification within third-party archives.
+
+   Copyright [yyyy] [name of copyright owner]
+
+   Licensed under the Apache License, Version 2.0 (the "License");
+   you may not use this file except in compliance with the License.
+   You may obtain a copy of the License at
+
+       http://www.apache.org/licenses/LICENSE-2.0
+
+   Unless required by applicable law or agreed to in writing, software
+   distributed under the License is distributed on an "AS IS" BASIS,
+   WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+   See the License for the specific language governing permissions and
+   limitations under the License.

sayfirst_testing-0.3.0/NOTICE

@@ -0,0 +1,12 @@
+sayfirst control plane
+Copyright 2026 Frédéric Aime
+
+This product is licensed under the Apache License, Version 2.0 (the "License");
+you may not use these files except in compliance with the License. A copy of the
+License is in the LICENSE file at the root of this repository.
+
+Distributions that incorporate this software must reproduce the attribution
+notices this file carries (Apache License 2.0, section 4(d)).
+
+The Apache License grants no rights in the names and marks of this project; see
+TRADEMARKS.md.

sayfirst_testing-0.3.0/PKG-INFO

@@ -0,0 +1,27 @@
+Metadata-Version: 2.5
+Name: sayfirst-testing
+Version: 0.3.0
+Summary: Published conformance suites for control-plane ports
+Project-URL: Repository, https://github.com/fredaime/sayfirst-control-plane
+Project-URL: Documentation, https://github.com/fredaime/sayfirst-control-plane/blob/main/packages/testing/README.md
+Project-URL: Changelog, https://github.com/fredaime/sayfirst-control-plane/blob/main/CHANGELOG.md
+Author-email: fredaime <frederic.aime@gmail.com>
+License-Expression: Apache-2.0
+Classifier: Development Status :: 4 - Beta
+Classifier: Programming Language :: Python :: 3
+Classifier: Programming Language :: Python :: 3.12
+Classifier: Programming Language :: Python :: 3.13
+Classifier: Programming Language :: Python :: 3.14
+Requires-Python: <3.15,>=3.12
+Requires-Dist: sayfirst-contract==0.3.0
+Requires-Dist: sayfirst-control-plane==0.3.0
+Provides-Extra: schemas
+Requires-Dist: jsonschema<5,>=4.25; extra == 'schemas'
+Description-Content-Type: text/markdown
+
+<!-- SPDX-License-Identifier: Apache-2.0 -->
+# `sayfirst` port conformance kit
+
+This distribution publishes reusable contract suites for the policy authority,
+policy projection, and append-only decision store ports. A provider is a
+provider only when its adapter passes the corresponding suite.

sayfirst_testing-0.3.0/README.md

@@ -0,0 +1,6 @@
+<!-- SPDX-License-Identifier: Apache-2.0 -->
+# `sayfirst` port conformance kit
+
+This distribution publishes reusable contract suites for the policy authority,
+policy projection, and append-only decision store ports. A provider is a
+provider only when its adapter passes the corresponding suite.

sayfirst_testing-0.3.0/hatch_build.py

@@ -0,0 +1,32 @@
+# SPDX-License-Identifier: Apache-2.0
+"""Reproduce repository notices in the wheel."""
+
+from __future__ import annotations
+
+from pathlib import Path
+from typing import Any
+
+from hatchling.builders.hooks.plugin.interface import BuildHookInterface
+
+
+class CustomBuildHook(BuildHookInterface):
+    """Include the repository licence and notice as wheel metadata."""
+
+    def initialize(self, version: str, build_data: dict[str, Any]) -> None:
+        # In the workspace the notices live at the repository root and have to
+        # be carried in by hand. In an unpacked source distribution they
+        # travel beside the package, where the backend's own licence globs
+        # already find them, so carrying them again would add the same file
+        # twice.
+        root = Path(self.root)
+        if not (root / "LICENSE").is_file():
+            metadata_directory = (
+                f"{self.metadata.core.name.replace('-', '_')}-{self.metadata.version}.dist-info"
+            )
+            repository = root.parents[1]
+            build_data["force_include"].update(
+                {
+                    str(repository / "LICENSE"): f"{metadata_directory}/licenses/LICENSE",
+                    str(repository / "NOTICE"): f"{metadata_directory}/licenses/NOTICE",
+                }
+            )

sayfirst_testing-0.3.0/pyproject.toml

@@ -0,0 +1,50 @@
+# SPDX-License-Identifier: Apache-2.0
+[project]
+name = "sayfirst-testing"
+version = "0.3.0"
+description = "Published conformance suites for control-plane ports"
+readme = "README.md"
+requires-python = ">=3.12,<3.15"
+dependencies = ["sayfirst-contract==0.3.0", "sayfirst-control-plane==0.3.0"]
+license = "Apache-2.0"
+
+authors = [{ name = "fredaime", email = "frederic.aime@gmail.com" }]
+classifiers = [
+  "Development Status :: 4 - Beta",
+  "Programming Language :: Python :: 3",
+  "Programming Language :: Python :: 3.12",
+  "Programming Language :: Python :: 3.13",
+  "Programming Language :: Python :: 3.14",
+]
+
+# The public repository this distribution sends a reader to. It was created
+# fresh, as article 0 asks, in the act that published it on 2026-09-17, under
+# the name the operator chose. `tests/test_pointers_survive_publication.py`
+# holds these URLs, so a rename lands in every project file and in the guard
+# together or not at all. No licence classifier: the licence is declared as an
+# expression above, and an index refuses a distribution that carries both.
+[project.urls]
+Repository = "https://github.com/fredaime/sayfirst-control-plane"
+Documentation = "https://github.com/fredaime/sayfirst-control-plane/blob/main/packages/testing/README.md"
+Changelog = "https://github.com/fredaime/sayfirst-control-plane/blob/main/CHANGELOG.md"
+
+[project.optional-dependencies]
+schemas = ["jsonschema>=4.25,<5"]
+
+[build-system]
+requires = ["hatchling==1.32.0"]
+build-backend = "hatchling.build"
+
+[tool.uv.sources]
+sayfirst-contract = { workspace = true }
+sayfirst-control-plane = { workspace = true }
+
+[tool.hatch.build.targets.wheel]
+packages = ["src/sayfirst_testing"]
+
+[tool.hatch.build.targets.sdist.force-include]
+"../../LICENSE" = "LICENSE"
+"../../NOTICE" = "NOTICE"
+
+[tool.hatch.build.targets.wheel.hooks.custom]
+path = "hatch_build.py"

sayfirst_testing-0.3.0/src/sayfirst_testing/__init__.py

@@ -0,0 +1,6 @@
+# SPDX-License-Identifier: Apache-2.0
+"""The conformance kit: the contract of each port, and the doubles that script it.
+
+Everything published here is a test double or a contract suite. Nothing here is
+a provider the configuration may name (article 8).
+"""

sayfirst_testing-0.3.0/src/sayfirst_testing/account_directory_contract.py

@@ -0,0 +1,95 @@
+# SPDX-License-Identifier: Apache-2.0
+"""The contract of the AccountDirectory port, run against every provider.
+
+Article 8: a provider that does not pass this suite is not a provider. The
+suite asks only what the port promises — that ids resolve to names and
+memberships, that an id with no entry is `None` and never an invented one,
+and that the answers are the directory's own words.
+"""
+
+from __future__ import annotations
+
+from typing import Protocol
+
+
+class _Directory(Protocol):
+    VERSION: int
+
+    def account(self, uid: int): ...  # type: ignore[no-untyped-def]
+
+    def group_ids(self, name: str, primary_gid: int) -> tuple[int, ...]: ...
+
+    def group_name(self, gid: int) -> str | None: ...
+
+
+def assert_the_port_is_versioned(directory: _Directory) -> None:
+    """Article 8: a port carries an integer version, and so does its provider."""
+    assert isinstance(directory.VERSION, int)
+    assert not isinstance(directory.VERSION, bool)
+    assert directory.VERSION >= 1
+
+
+def assert_a_known_account_resolves(directory: _Directory, uid: int, name: str) -> None:
+    """A uid the host knows is answered with its name and its primary group."""
+    account = directory.account(uid)
+    assert account is not None, f"uid {uid} has no account"
+    assert account.name == name
+    assert isinstance(account.primary_gid, int)
+    assert account.primary_gid >= 0
+
+
+def assert_an_unknown_id_is_none(directory: _Directory, absent_uid: int, absent_gid: int) -> None:
+    """No entry is `None`, never a fabricated account and never an exception.
+
+    Article 2: the directory saying nothing about an id is its own answer.
+    """
+    assert directory.account(absent_uid) is None
+    assert directory.group_name(absent_gid) is None
+
+
+def assert_a_membership_includes_its_primary_group(
+    directory: _Directory, name: str, primary_gid: int
+) -> None:
+    """Rule G1: the primary group is a membership, listed with the others."""
+    gids = directory.group_ids(name, primary_gid)
+    assert isinstance(gids, tuple)
+    assert all(isinstance(gid, int) for gid in gids)
+    assert primary_gid in gids
+    assert len(set(gids)) == len(gids), "a group is listed twice"
+
+
+def assert_group_names_are_returned_as_they_are(
+    directory: _Directory, gid: int, expected: str
+) -> None:
+    """Rule G6: no case folding, no trimming, no domain stripping."""
+    answered = directory.group_name(gid)
+    assert answered == expected
+    assert answered is not None
+    assert answered == answered.strip() or answered != expected.strip()
+
+
+def assert_the_directory_answers_the_same_way_twice(
+    directory: _Directory, uid: int, gid: int
+) -> None:
+    """A resolution the daemon repeats within a lifetime must be repeatable."""
+    assert directory.account(uid) == directory.account(uid)
+    assert directory.group_name(gid) == directory.group_name(gid)
+
+
+def run_the_account_directory_contract(
+    directory: _Directory,
+    *,
+    known_uid: int,
+    known_name: str,
+    known_primary_gid: int,
+    known_group_name: str,
+    absent_uid: int,
+    absent_gid: int,
+) -> None:
+    """Every promise of the port, against one provider."""
+    assert_the_port_is_versioned(directory)
+    assert_a_known_account_resolves(directory, known_uid, known_name)
+    assert_an_unknown_id_is_none(directory, absent_uid, absent_gid)
+    assert_a_membership_includes_its_primary_group(directory, known_name, known_primary_gid)
+    assert_group_names_are_returned_as_they_are(directory, known_primary_gid, known_group_name)
+    assert_the_directory_answers_the_same_way_twice(directory, known_uid, known_primary_gid)

sayfirst_testing-0.3.0/src/sayfirst_testing/clock_contract.py

@@ -0,0 +1,49 @@
+# SPDX-License-Identifier: Apache-2.0
+"""The contract of the Clock port, run against every provider.
+
+Article 8: a provider that does not pass this suite is not a provider. Every
+instant this project records comes through here, and every one of them is
+offset-aware — an instant without an offset is not a time anyone can compare
+across hosts (article 2).
+"""
+
+from __future__ import annotations
+
+from datetime import datetime
+from typing import Protocol
+
+
+class _Clock(Protocol):
+    VERSION: int
+
+    def now(self) -> datetime: ...
+
+
+def assert_the_port_is_versioned(clock: _Clock) -> None:
+    """Article 8: a port carries an integer version, and so does its provider."""
+    assert isinstance(clock.VERSION, int)
+    assert not isinstance(clock.VERSION, bool)
+    assert clock.VERSION >= 1
+
+
+def assert_every_instant_carries_its_offset(clock: _Clock) -> None:
+    """An instant with no offset is one no other host can read."""
+    instant = clock.now()
+    assert isinstance(instant, datetime)
+    assert instant.tzinfo is not None
+    assert instant.utcoffset() is not None
+    assert datetime.fromisoformat(instant.isoformat()) == instant
+
+
+def assert_time_does_not_run_backwards(clock: _Clock) -> None:
+    """Two readings in order are in order: a lifetime is computed from them."""
+    first = clock.now()
+    second = clock.now()
+    assert second >= first
+
+
+def run_the_clock_contract(clock: _Clock) -> None:
+    """Every promise of the port, against one provider."""
+    assert_the_port_is_versioned(clock)
+    assert_every_instant_carries_its_offset(clock)
+    assert_time_does_not_run_backwards(clock)

sayfirst_testing-0.3.0/src/sayfirst_testing/decision_store_contract.py

@@ -0,0 +1,142 @@
+# SPDX-License-Identifier: Apache-2.0
+"""Reusable contract suite for an append-only scoped decision authority.
+
+Article 3: a decision is an authority record, appended once and never updated;
+article 5: every read names its scope, and the local default never applies to
+a read. Block 2.7 adds what a durable store owes on top: an append answers the
+position it committed the record at, in a store it names, and the store says
+where it keeps its records so the grade can inspect them (article 7).
+"""
+
+from __future__ import annotations
+
+from copy import deepcopy
+from pathlib import Path
+
+from sayfirst_contract.decisions import Decision, Outcome, Reason
+from sayfirst_control_plane.ports.decision_store import (
+    DecisionAlreadyExists,
+    DecisionPosition,
+    DecisionStore,
+    ScopeRequired,
+)
+
+
+def _decision(reference: str, *, scope: str = "local", outcome: Outcome = Outcome.DENY) -> Decision:
+    return Decision(
+        decision_ref=reference,
+        scope=scope,
+        capability="mail.send",
+        outcome=outcome,
+        reason=Reason.POLICY_ABSENT,
+        policy_version="sha256:" + "a" * 64,
+        approval_ref=None,
+        decided_at="2026-09-04T00:00:00Z",
+        correlation=None,
+        contract_generation=1,
+        extra={
+            "principal": {"kind": "process", "uid": 1000, "name": "build"},
+            "arguments_digest": None,
+            "rule_id": None,
+            "grant_id": None,
+        },
+    )
+
+
+def assert_decision_store_contract(
+    store: DecisionStore,
+    first: Decision,
+    replacement: Decision,
+) -> None:
+    """Prove append-only identity, copy isolation, and explicit scoped reads."""
+    assert store.VERSION == 1
+    expected = deepcopy(first)
+    store.append(first)
+    if isinstance(first.extra, dict):
+        first.extra["planted"] = "caller mutation"
+    assert store.get(expected.scope, expected.decision_ref) == expected
+    try:
+        store.append(replacement)
+    except DecisionAlreadyExists:
+        pass
+    else:
+        raise AssertionError("a duplicate decision was accepted")
+    assert store.get(expected.scope, expected.decision_ref) == expected
+    try:
+        store.get("", expected.decision_ref)
+    except ScopeRequired:
+        pass
+    else:
+        raise AssertionError("an unscoped read was accepted")
+    assert store.get(f"{expected.scope}-other", expected.decision_ref) is None
+    assert store.get(f"{expected.scope}-other", "never-existed") is None
+
+
+class DecisionStoreContract:
+    """Subclass, implement `make_store`, and every case below runs against the adapter."""
+
+    def make_store(self, tmp_path: Path) -> DecisionStore:
+        raise NotImplementedError
+
+    def test_a_decision_appended_is_read_back_as_appended(self, tmp_path: Path) -> None:
+        """Article 3: the record read is the record appended, whole, not rebuilt."""
+        store = self.make_store(tmp_path)
+        given = _decision("decision-1", outcome=Outcome.ALLOW)
+        expected = deepcopy(given)
+        store.append(given)
+        given.extra["planted"] = "caller mutation"  # type: ignore[index]
+        read = store.get("local", "decision-1")
+        assert read == expected
+        assert read is not given
+
+    def test_a_duplicate_decision_reference_is_refused_never_upserted(self, tmp_path: Path) -> None:
+        """Article 3: an authority identity is append-only within its scope."""
+        store = self.make_store(tmp_path)
+        store.append(_decision("decision-1"))
+        try:
+            store.append(_decision("decision-1", outcome=Outcome.ALLOW))
+        except DecisionAlreadyExists:
+            pass
+        else:
+            raise AssertionError("a duplicate decision reference was accepted")
+        read = store.get("local", "decision-1")
+        assert read is not None and read.outcome is Outcome.DENY
+
+    def test_a_read_without_a_scope_is_refused(self, tmp_path: Path) -> None:
+        """Article 5: the local default never applies to a read."""
+        store = self.make_store(tmp_path)
+        store.append(_decision("decision-1"))
+        try:
+            store.get("", "decision-1")
+        except ScopeRequired:
+            pass
+        else:
+            raise AssertionError("an unscoped read was accepted")
+
+    def test_another_scopes_decision_is_never_read_here(self, tmp_path: Path) -> None:
+        """Article 5: an id in another scope is indistinguishable from no id."""
+        store = self.make_store(tmp_path)
+        store.append(_decision("decision-1", scope="one"))
+        assert store.get("two", "decision-1") is None
+        assert store.get("two", "never-existed") is None
+        read = store.get("one", "decision-1")
+        assert read is not None and read.scope == "one"
+
+    def test_an_append_answers_its_committed_position_in_a_named_store(
+        self, tmp_path: Path
+    ) -> None:
+        """C2: the position is fixed when the append completes, and never recycled."""
+        store = self.make_store(tmp_path)
+        first = store.append(_decision("decision-1"))
+        second = store.append(_decision("decision-2"))
+        other = store.append(_decision("decision-3", scope="other"))
+        assert isinstance(first, DecisionPosition) and isinstance(second, DecisionPosition)
+        assert first.store_id and first.store_id == second.store_id
+        assert (first.position, second.position) == (1, 2)
+        assert other.position == 1 and other.store_id != first.store_id
+
+    def test_the_store_says_where_it_keeps_its_records(self, tmp_path: Path) -> None:
+        """Article 7: a grade inspects what it can name."""
+        location = self.make_store(tmp_path).location()
+        assert location.kind
+        assert location.retention