Skip to content

S8: the claims this arc left behind — eight verified stale statements #249

Description

@Polichinel

Part of the #241 epic. Registers C-82.

Problem

This arc introduced or left behind claims that are now false. Each is small; the pattern is the point, and it is the same pattern the arc was fixing.

Every item below was verified in this repository.

# Location The claim Reality
1 tests/test_env_declaration.py:511-517 A #: comment block Garbled edit-splice. Opens mid-sentence — "#: direction is deliberately unchecked." — with the antecedent gone, and a stranded line "#: silent while v1.5.0 adding [contract] is a red build ..." sits below a parenthetical. Reads as one block attached to _ROLES.
2 tests/test_env_declaration.py:676-677 The partition docstring Duplicated clause: "An IGNORED table disappearing is not our business, which is an IGNORED table disappearing is silent while ..."
3 .github/workflows/run_pytest.yml:43 "...test_env_declaration read the working tree..." Zero do. All four were moved to origin/main; this is the founding-incident file again.
4 tests/test_ci_sibling_coverage.py:253 G7's docstring, "Reading the working tree from development..." Same stale premise.
5 docs/ADRs/017_*.md:145 "None of those three is in place yet" D3 landed (registry read, both partners); D4 landed for FAO.
6 docs/ADRs/016_*.md §4 The public? column An unverifiable cross-repo claim with no ADR-014 §4 trigger or owner — in the ADR whose §3 is about exactly that.
7 reports/technical_risk_register.md C-86 "re-pinning is hygiene with no safety consequence" Contradicted by measurement: the previous pin fcf32c9 fails the new drift check for both partners.
8 views_postprocessing/{unfao,crafd}/appwrite_env.py:8-9 blob/c7b597e/... in both docstrings A second, unguarded copy of the sha. The docstring test parses only the version. An annotated-tag pin already shipped a 404 from this exact URL on this branch.

Work

Fix each. Where a claim was load-bearing, say what replaced it rather than deleting it silently — the register's house style keeps corrections visible.

For #8, add the guard, not just the fix: something must assert that the sha in the URL equals SEAM_CONTRACT_COMMIT and that it resolves to a commit. That is the third time this sha class has bitten.

#6 is a judgement call: either give the public? column a trigger and an owner, or remove the column and say why the fact is not tracked. Do not leave it as an unowned assertion about another repository in the ADR that forbids them.

Acceptance criteria

  • All eight corrected.
  • A test asserts the blob URL's sha equals the declared commit constant, for both partner modules. Mutation-proven by desynchronising them.
  • pytest -q tests/test_doc_accuracy.py tests/test_register_integrity.py green.
  • No new claim introduced by this story is unguarded — if a sentence asserts a fact, name what checks it or say plainly that nothing does.

Implementation notes

This story is deliberately last among the code stories: several of these sentences describe behaviour that #245 and #247 change, and correcting them first would mean correcting them twice.

Items 3 and 4 are the same claim in two files, which is why nobody caught it — worth one grep for the phrase across the tree rather than two edits.

Labels

story, documentation

Activity

  1. added
    documentationImprovements or additions to documentation
    storyA single reviewable unit of an epic
    on Aug 12, 2026
  2. Polichinel commented on Aug 12, 2026

    @Polichinel
    CollaboratorAuthor

    Two additions from the expert review, both verified:

    9. The integration-test prohibition is mis-cited. The register cites þing-02 D2 in at least three places (around lines 475, 1628, 1717). The ruling is þing-01 D2 (þingit/01_identity_secrets_config/orð_dómr.md:53-61). This is not pedantry — the mis-citation sent every reader to the wrong verdict, and the real one is conditional: "Until the operator creates one: integration tests against the production project are FORBIDDEN ... read-only preflight validation is the only permitted live check." A whole class of mechanism was believed closed for weeks because the citation pointed at the wrong document.

    10. [test_environment] is misclassified. tests/test_env_declaration.py:509 classifies it IGNORED — "a fact about the platform, not about this package". It is in fact the registry table that governs which live checks this package is permitted to build. Reclassify and read it, or record why not.

  3. added a commit that references this issue on Aug 12, 2026
  4. Polichinel commented on Aug 12, 2026

    @Polichinel
    CollaboratorAuthor

    Landed in #258. Ten claims corrected, and the blob-URL sha finally has a guard — third time that class has bitten.

    Notable: ADR-017's current-state sentence was deleted rather than updated, which is #250's §7b applied on the day it landed.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

No one assigned

    Labels

    documentationImprovements or additions to documentationstoryA single reviewable unit of an epic

    Type

    No type

    Projects

    No projects

      Milestone

      No milestone

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions