Capability proof ledger

Evidence the system works

Counterpedia does not ask you to take its capabilities on faith. Every claim on this page is backed by a real specimen you can inspect. No planned capabilities appear here.

Try something we did not choose. Search uses the ordinary Counterpedia record surface, not a proof-only demo path.

Six featured capabilities, four visual flagship journeys

These are not feature promises. They are inspectable examples of the system crossing real boundaries: discovery, archive addressability, custody-backed composition, verification history, and independent verification.

Open the four visual flagship journeys →

ProvenPublic surface

Search without collapsing evidentiary states

One ordinary search can return governed records, research, documentary sources, governed evidence history, and Wikimedia observations while keeping their standing distinct.

Specimen: Counterpedia /search

What this proves

• Counterpedia search presents multiple record planes without promoting observation, research, or source presence into governed standing.

Boundary

• Search rank is not authority, proximity is not support, and a Wikimedia match is not canonical Counterpedia identity.

Try · Try an ordinary search →machine · Inspect a literal-query search receipt →

ProvenLive external provider

Follow a structured lead into live scholarly discovery

The Q131194 subject case carries a Wikidata DOI lead through a bounded Crossref observation into an exact CandidateLocator while preserving the downstream stop boundary.

Specimen: Q131194 → DOI 10.1006/CRES.2001.0252 → Crossref

What this proves

• A retained subject observation can yield a bounded provider-backed documentary lead with exact provider-observation ancestry.

Boundary

• The accepted case explicitly records that capture, SourceEdition creation, Check, support, and publication were not performed.

Try · Open the subject →inspect · Inspect the accepted discovery-case model ↗

ProvenLive external provider

Address a historical web object to an exact WARC byte range

A live Common Crawl CDX observation can be projected into a bounded WARC locator with collection, timestamp, filename, offset, length, URL, and provider digest.

Specimen: Common Crawl CC-MAIN-2026-39 / https://www.example.com/

What this proves

• Counterpedia Acquisition can preserve the exact archive address needed for bounded HTTP Range retrieval of a historical WARC object.

Boundary

• Archive presence and byte custody do not establish that the archived page is true or that its content supports any proposition.

inspect · Inspect the live-provider correction ↗inspect · Inspect WARC range custody ↗

ProvenLive custody-backed

Compose a Position from live custody-backed evidence

TH-S09 composes exactly one deterministic Position from separately retained Attribution and Warrant custody reads plus a fixed source snapshot.

Specimen: TH-S09 Position composition

What this proves

• The landed Position projection has been executed against the dedicated owner custody databases and records exact snapshot and projection digests.

Boundary

• The run did not activate or mutate Origin or METHOD1.

inspect · Inspect the live evidence artifact ↗inspect · Inspect the live-run PR ↗

ProvenRecorded real-source

Preserve and compare successive Check attempts

Amnesiac retains Check attempts append-only and can compare exact replay bases, artifacts, outcomes, reason codes, procedure, method, and lineage without overwriting the earlier attempt.

Specimen: xz Attempt A → Attempt B recheck

What this proves

• A later successful recheck does not erase an earlier not-established attempt, and the two occurrences remain mechanically comparable.

Boundary

• Attempt custody and diffing do not create support, truth, admission, standing, source identity, or publication authority.

inspect · Inspect the real xz custody specimen ↗inspect · Inspect exact attempt diffing ↗

ProvenIndependently reproducible

Independently verify governed agent receipts

Counterpedia's canonical proof path shows governed reads, admission and outcome receipts, independent ARCS Verify findings, limitation codes, and a refused write-classed mutation whose body never runs.

Specimen: Counterpedia → DAGR → SRS → ARCS Verify

What this proves

• Receipt structure, profile conformance, signature, issuer-key resolution, and declared limits can be independently recomputed from serialized artifacts.

Boundary

• Receipt verification does not adjudicate the underlying truth of the governed record or prove a real-world event occurred.

Try · Open the canonical proof path →machine · Inspect the proof manifest →

What Counterpedia can prove today

10 capability claims · every row binds to a specimen, exact source revision, proof target, and explicit limitation.

Machine ledger →

Capability	Real specimen	Status
Search without collapsing evidentiary states One ordinary search can return governed records, research, documentary sources, governed evidence history, and Wikimedia observations while keeping their standing distinct.	Counterpedia /search Try · Try an ordinary search →machine · Inspect a literal-query search receipt →	ProvenPublic surface
Follow a structured lead into live scholarly discovery The Q131194 subject case carries a Wikidata DOI lead through a bounded Crossref observation into an exact CandidateLocator while preserving the downstream stop boundary.	Q131194 → DOI 10.1006/CRES.2001.0252 → Crossref Try · Open the subject →inspect · Inspect the accepted discovery-case model ↗	ProvenLive external provider
Address a historical web object to an exact WARC byte range A live Common Crawl CDX observation can be projected into a bounded WARC locator with collection, timestamp, filename, offset, length, URL, and provider digest.	Common Crawl CC-MAIN-2026-39 / https://www.example.com/ inspect · Inspect the live-provider correction ↗inspect · Inspect WARC range custody ↗	ProvenLive external provider
Compose a Position from live custody-backed evidence TH-S09 composes exactly one deterministic Position from separately retained Attribution and Warrant custody reads plus a fixed source snapshot.	TH-S09 Position composition inspect · Inspect the live evidence artifact ↗inspect · Inspect the live-run PR ↗	ProvenLive custody-backed
Preserve and compare successive Check attempts Amnesiac retains Check attempts append-only and can compare exact replay bases, artifacts, outcomes, reason codes, procedure, method, and lineage without overwriting the earlier attempt.	xz Attempt A → Attempt B recheck inspect · Inspect the real xz custody specimen ↗inspect · Inspect exact attempt diffing ↗	ProvenRecorded real-source
Independently verify governed agent receipts Counterpedia's canonical proof path shows governed reads, admission and outcome receipts, independent ARCS Verify findings, limitation codes, and a refused write-classed mutation whose body never runs.	Counterpedia → DAGR → SRS → ARCS Verify Try · Open the canonical proof path →machine · Inspect the proof manifest →	ProvenIndependently reproducible
Traverse evidence structure without turning adjacency into support Countergraph exposes a read-only structural projection and the product vocabulary Find, Explore, Evidence, Related, and History over the governed corpus.	WIDEN0 structural topology Try · Open the structural map →inspect · Inspect Countergraph beta operations ↗	ProvenPublic surface
Challenge a synthesis, research it again, and preserve both revisions Counterforum's NYT v. OpenAI investigation targets one exact R1 statement with CH-001, records bounded later-docket research, and creates R2 while leaving R1 immutable.	NYT v. OpenAI CH-001 → CH-001-RUN1 → synthesis R2 inspect · Inspect challenge semantics ↗inspect · Inspect R1 and R2 synthesis ↗	ProvenRecorded real-source
Bind private local context to public evidence without sending the private context The extension composes local-only private bindings with public Counterpedia references, canonical Check, and append-only local verification history.	PERSONAL-BIND0 → LOCAL-VERIFY1 → LOCAL-OVERLAY1 inspect · Inspect the browser-local proof journey ↗	ProvenBrowser-local
Traverse a bounded CourtListener investigation frontier A carried CourtListener docket cohort can be inspected as a bounded provider frontier while keeping observation, adjacency, Check, history, and forum challenge separate.	CourtListener 68117049 → carried docket cohort Try · Open the carried CourtListener seed →inspect · Inspect the recursive proof journey →machine · Inspect the carried docket source module ↗continue · Continue to challenge and revision ↗	ProvenRecorded real-source

A proof page that can fail closed

The ledger is machine-readable and release-checked. A row cannot enter v0.1 as planned, coming soon, or implied. A proven row must carry an exact source revision, an inspectable proof target, a statement of what was established, and a statement of what was not.