Skip to content

feat: make active external claims expire without refreshed state #147

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
hippoley merged 5 commits into from
Oct 7, 2026
Merged

feat: make active external claims expire without refreshed state #147

Changes from 1 commit
Commits
Show all changes
5 commits
Select commit Hold shift + click to select a range
9e57ccd
feat: snapshot external claim and standards-node state
hippoley Oct 7, 2026
3fa9525
docs: define conformance corpus lifecycle boundary
hippoley Oct 7, 2026
ea8f92f
feat: bind active interoperability claim to external state snapshot
hippoley Oct 7, 2026
8026aab
test: enforce freshness budgets for active external claims
hippoley Oct 7, 2026
6042182
fix: scope freshness observations and use UTC date
hippoley Oct 7, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Next Next commit
test: enforce freshness budgets for active external claims
  • Loading branch information
@hippoley
hippoley committed Oct 7, 2026
commit 8026aabeb781b7ae49edfd37f589c418577bdb0f
15 changes: 15 additions & 0 deletions tests/unit/test_public_surfaces.py
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,5 +1,6 @@
import hashlib
import json
from datetime import date
from pathlib import Path

import yaml
Expand Down Expand Up @@ -102,6 +103,10 @@ def test_proof_lab_lifecycle_matches_canonical_reality_contracts():
Path("examples/claim_matrix/reality-contracts.yml").read_text(encoding="utf-8")
)
contracts = {item["id"]: item for item in suite["contracts"]}
external_state = yaml.safe_load(
Path("examples/claim_matrix/external-state.yml").read_text(encoding="utf-8")
)
observations = {item["id"]: item for item in external_state["observations"]}

bound_cases = [item for item in published["cases"] if item.get("reality_contract_id")]
assert bound_cases, "Proof Lab must publish at least one Reality Contract-bound case"
Expand Down Expand Up @@ -199,6 +204,16 @@ def test_high_signal_public_claims_match_canonical_reality_contracts():
f'observed={observed_value!r}'
)

state_ref = claim.get("external_state_ref")
if state_ref:
observation = observations[state_ref]
observed_at = date.fromisoformat(observation["observed_at"])
age_days = (date.today() - observed_at).days
assert age_days <= observation["refresh_after_days"], (
f'{claim["id"]} external state snapshot is {age_days} days old; '
f'refresh after {observation["refresh_after_days"]}'
)

assert bool(claim.get("reality_contract_id")) ^ bool(provenance), (
f'{claim["id"]} must bind exactly one canonical evidence source'
)
Expand Down
Loading