docs(6205): last id-less stories in services — a ported-from project name and two "this milestone" references
backup_s3 says what its signing is checked against instead of which of the operator's projects it was ported from; rulebooks and shape_check state what the code is for rather than which milestone it belonged to. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
This commit is contained in:
@@ -1,8 +1,8 @@
|
|||||||
"""A small S3 client for sending backups: AWS Signature Version 4 over httpx,
|
"""A small S3 client for sending backups: AWS Signature Version 4 over httpx,
|
||||||
path-style addressing (endpoint/bucket/key), and the two calls a backup needs.
|
path-style addressing (endpoint/bucket/key), and the two calls a backup needs.
|
||||||
|
|
||||||
Ported from FabledSteward's `steward/backup/s3.py`, which is tested against
|
The signing is checked against AWS's published SigV4 examples in
|
||||||
the same AWS examples as tests/test_services_backup_s3.py.
|
tests/test_services_backup_s3.py.
|
||||||
|
|
||||||
Scribe puts and lists; it never deletes. The bucket keeps the history and
|
Scribe puts and lists; it never deletes. The bucket keeps the history and
|
||||||
thins it on its own policy, so a key that may only add objects is enough —
|
thins it on its own policy, so a key that may only add objects is enough —
|
||||||
|
|||||||
@@ -324,8 +324,8 @@ def rule_brief(rule: Rule, **extra) -> dict:
|
|||||||
of payload for a precision nobody reads.
|
of payload for a precision nobody reads.
|
||||||
|
|
||||||
`why` and `how_to_apply` are deliberately NOT here — they are the depth a
|
`why` and `how_to_apply` are deliberately NOT here — they are the depth a
|
||||||
caller gets from get_rule, and putting them in every listing is the bloat
|
caller gets from get_rule, and putting them in every listing would bloat
|
||||||
this milestone is about.
|
every payload that lists rules.
|
||||||
"""
|
"""
|
||||||
out = {
|
out = {
|
||||||
"id": rule.id,
|
"id": rule.id,
|
||||||
@@ -1583,11 +1583,10 @@ async def rules_due_for_verification(
|
|||||||
) -> list[Rule]:
|
) -> list[Rule]:
|
||||||
"""Rules that carry a check, oldest verification first, never-checked top.
|
"""Rules that carry a check, oldest verification first, never-checked top.
|
||||||
|
|
||||||
THE QUERY THIS MILESTONE EXISTS FOR. `verify_with` and `expires_when` are
|
`verify_with` and `expires_when` are storage; this is what turns them into
|
||||||
storage; this is what turns them into something that gets acted on. The
|
something that gets acted on. Without it, finding broken rules takes an
|
||||||
307 audit cost a session and found four broken rules by luck — this makes
|
audit and luck — this makes the same question a list, and staleness
|
||||||
the same question a list, and staleness measurable by age instead of
|
measurable by age instead of discoverable by accident.
|
||||||
discoverable by accident.
|
|
||||||
|
|
||||||
Ordered `verified_at` ASC NULLS FIRST: never-checked outranks
|
Ordered `verified_at` ASC NULLS FIRST: never-checked outranks
|
||||||
checked-long-ago, because a rule nobody has ever confirmed is a claim
|
checked-long-ago, because a rule nobody has ever confirmed is a claim
|
||||||
|
|||||||
@@ -161,8 +161,8 @@ def summarise(outcomes: list[str]) -> dict:
|
|||||||
`checked` is turns the question was put to (a first stop that wrote
|
`checked` is turns the question was put to (a first stop that wrote
|
||||||
something): passed + blocked. `asked` is the blocked ones. `left` is
|
something): passed + blocked. `asked` is the blocked ones. `left` is
|
||||||
asks the agent walked past — the stop after a block that still had
|
asks the agent walked past — the stop after a block that still had
|
||||||
unjudged shapes. That last number is the slip the milestone exists to
|
unjudged shapes. That last number is the slip this check exists to make
|
||||||
make visible."""
|
visible."""
|
||||||
checked = sum(1 for o in outcomes if o in ("passed", "blocked"))
|
checked = sum(1 for o in outcomes if o in ("passed", "blocked"))
|
||||||
asked = sum(1 for o in outcomes if o == "blocked")
|
asked = sum(1 for o in outcomes if o == "blocked")
|
||||||
left = sum(1 for o in outcomes if o == "left_after_block")
|
left = sum(1 for o in outcomes if o == "left_after_block")
|
||||||
|
|||||||
Reference in New Issue
Block a user