Claim Freshness

Open Knowledge derives claim freshness from evidence state. It does not store a second authored stale flag.

Observation contract

Claim verification records the SHA-256 identity of each local live evidence resource in verification.evidence_versions. The ordered list is append-only. The last entry for an evidence ID is the current reviewed observation.

A pinned source uses two identities. resource points to the immutable content-addressed artifact. live_resource points to the upstream local file. This separation prevents the artifact from hiding later upstream changes.

Remote evidence stays network-free during validation and claim maintenance. Remote-only verification can have no local evidence observation.

Derived state

The parser hashes an observable local live resource. When that digest differs from the latest reviewed observation, it sets stale: true on the machine claim projection and lists the exact evidence IDs in staleEvidence.

The derived state reaches search context, runtime policy, MCP, the viewer, and the audit. It remains stale across unrelated edits because the stored evidence history does not change.

Reconciliation

Use this review loop:

okn claims stale --path Wiki
okn claims reconcile <claim-id> --document <path> \
  --approved-by human:<id> --path Wiki
okn audit Wiki --baseline .openknowledge/audit-sources.json \
  --update-baseline --fail-on high

reconcile appends a current local evidence observation in one validated file write. It preserves the previous claim verification and observation history. It does not decide whether the claim is semantically true. Correct or replace the claim before reconciliation when the evidence no longer supports it.

The command writes page-level verified only when all active claims on the page are verified and current. It leaves generated unchanged because an evidence-only reconciliation does not change the body.

The audit refuses to advance its source baseline while a changed source has an unresolved typed claim. A source without typed claims keeps its page-level source-changed finding until review.

History evaluation

okn eval claims reads a strict dataset and checks active claim IDs at immutable Git checkpoints. Recorded states are supported, refuted, and unverified. The report classifies observed claims as supported, stale, hallucinated, or unverified.

This evaluation tests memory behavior across repository history. It does not use a model as a truth oracle.