ProofCanonical receipt index

The session ends.
The proof remains.

Every repeated factual claim has one home here, with its source, scope, status, date, and limit kept close.

RegistryPublic claim registry

Claims with their limits attached.

A registry check date records review of the public row. It does not turn a pending artifact into a verified result. External-provider facts are dated because they can change.

Claim IDs are stable identifiers; retired IDs are not reused.

FIG 1.1 · Registry distribution

How do the 34 public claims distribute across evidence state and lifecycle?

Scope: all canonical public claim scan rowsSource: authored data-claim-status and data-claim-lifecycle attributesChecked 2026-07-20

Evidence state

Reading the canonical scan-row ledger.

Lifecycle spread

Lifecycle labels resolve from the same 34 rows.

9 claims

Product

What is implemented in the product and public interfaces?

3 claims

Reconciliation

What is declared, observed, and still directional?

7 claims

Integrations

Which connected-state claims have mode-specific evidence?

Gmail and Google Calendar are live on the agent surface: authorized agents can read and act through configured Workspace tools. Inbound Gmail for one mailbox is continuously ingested into ax0s-memory; Calendar state is not.

Internal dogfood

Superseded

Source / method

The receipts prove agent access, one bounded authorized read, and one persistent-ingest cycle with checkpoint, deduplication, and later recall on the recorded dates. They do not prove continuous operation, production health, or customer availability; Calendar and Drive state is not persistently ingested.

Gmail, Google Calendar, and Google Drive (files and Docs text) are continuously ingested into ax0s-memory on 5-minute cycles; authorized agents can also read and act through configured Workspace tools. Sheets and Slides content is not ingested.

Internal dogfood

Verified 2026-07-17

Source / method

The receipts prove agent access and persistent-ingest cycles with checkpoint, deduplication, and later recall on the recorded dates. They do not prove continuous operation, a completed Drive bootstrap, production health, or customer availability; Sheets and Slides content is not ingested.

1 claim

Client work

What method exists for bounded client work?

1 claim

Security

Which access-control boundary is implemented?

Per-principal tokens and slug/capability grants, expiry, revocation, rate limits, default-deny enforcement, and access-audit records are implemented; record-level authorization, hardened multi-tenant isolation, and externally validated identity controls are not established.

Implemented

Verified 2026-07-14

Source / method

Record-level authorization, hardened multi-tenant isolation, and externally validated identity controls are not established. A legacy shared-bearer compatibility path remains when no principal registry is seeded or an explicit unexpired compatibility block remains. Routine full-access owner allows are intentionally omitted from access-audit records.

4 claims

Website operations

What happens on the public website rather than in the product?

7 claims

Limitations

Which evidence, ingest, and research boundaries remain explicit?

Canonical detail cardsInspect all 34 full recordsScope · evidence · limitation

DetailComplete records

Open the anchored detail behind any scan row.

Every canonical card below retains the full scope, evidence links, and limitation from the registry-backed release surface.

C-01Verified 2026-07-14

The default self-hosted product path keeps stored product data on operator-controlled machines.

Status / date
Verified
Scope
The default storage path implemented in ax0s-memory 0.5.0; optional model calls, website forms, analytics, and agent-provider traffic are separate.
Limitation
A public release record is pending. Host hardening, operator networking, optional external endpoints, and website services remain outside this default boundary.
C-02Verified 2026-07-14

Connection paths are implemented separately for Claude Code, Codex, ChatGPT, and Hermes; a dated same-store four-surface receipt is pending.

Status / date
Verified
Scope
Four separately reviewed agent-surface implementation paths; not a combined runtime claim.
Limitation
The paths were reviewed separately. This does not establish simultaneous operation against one store, current runtime health, any additional surface, or externally validated identity.
C-03Verified 2026-07-14

Stale facts are superseded instead of deleted, and their history stays addressable.

Status / date
Verified
Scope
The supersession behavior implemented and test-covered in ax0s-memory 0.5.0.
Limitation
A public release record is pending. The fixture remains hand-authored mechanism data; the recorded transcript is one bounded round trip, and the mechanism does not resolve every contradiction automatically.
C-04Method published

Ax0s intends to publish methodology, null results, and killed ideas as part of its evidence policy.

Status / date
Method published · Checked
Scope
Public evidence policy; not a certification or audit claim.
Limitation
This states a publication intent; methodology, null-result, and killed-idea artifacts remain sparse or unavailable.
C-05Re-run pending

The retrieval recall@10 evaluation is withheld until a fresh run and dated methodology artifact are published.

Status / date
Re-run pending · Checked
Scope
Previously published retrieval evaluation; no value is asserted here.
Limitation
Corpus, labels, retrieval configuration, cutoff, run date, and result artifact are not yet published together.
C-06Re-run pending

The consolidation precision evaluation is withheld until a fresh run and dated methodology artifact are published.

Status / date
Re-run pending · Checked
Scope
Previously published human-adjudicated consolidation evaluation; no value is asserted here.
Limitation
Label protocol, evaluation population, code version, run date, and result artifact are not yet published together.
C-07Method published

Ax0s stores memory records in LanceDB on the operator-controlled filesystem.

Status / date
Method published · Checked
Scope
The reviewed self-hosted storage path.
Limitation
This does not establish application-managed backup, restoration, retention, or at-rest encryption.
C-08Verified 2026-07-14

Per-principal tokens and slug/capability grants, expiry, revocation, rate limits, default-deny enforcement, and access-audit records are implemented; record-level authorization, hardened multi-tenant isolation, and externally validated identity controls are not established.

Status / date
Verified
Scope
Authentication and authorization controls in the reviewed self-hosted product source and tests.
Limitation
Record-level authorization, hardened multi-tenant isolation, and externally validated identity controls are not established. A legacy shared-bearer compatibility path remains when no principal registry is seeded or an explicit unexpired compatibility block remains. Routine full-access owner allows are intentionally omitted from access-audit records.
C-09Method published

The Access form is outside the self-hosted product boundary.

Status / date
Method published · Checked
Scope
The public website form and processor path, separate from ax0s-memory.
Limitation
Submitting sends the enumerated request fields to Web3Forms for email delivery to the monitored founder mailbox; the page does not write them to ax0s-memory.
C-10Verified 2026-07-09

Website analytics is inactive; the local analytics stub sends and stores no events.

Status / date
Verified
Scope
The public website JavaScript included in this release.
Limitation
This is the current state, not a promise about a future provider or configuration.
C-11Verified 2026-07-14

Submissions are delivered by Web3Forms (the form processor) to a monitored founder mailbox at chris@ax0s.io.

Status / date
Verified
Scope
The public Access form processor and currently configured receiving mailbox; the existing form key and destination remain in use.
Limitation
Processor acceptance confirms delivery only; it does not approve access, begin an engagement, or promise a response time.
C-12Re-run pending

Per Web3Forms' public statements (not independently captured), its retention information conflicts: 30-day free-plan submission history, no stored submissions with server-log deletion every two months, and retention of up to three years.

Status / date
Re-run pending · Checked
Scope
A dated local note of the provider's public pricing and FAQ statements; not an independent primary capture.
Limitation
The exact statements were not independently captured and may have changed; Ax0s does not claim a shorter provider retention period.
C-14Verified 2026-07-14

The public documentation targets ax0s-memory 0.5.0; the CLI parser, MCP stdio startup, and recall serialization paths are implemented and test-covered.

Status / date
Verified
Scope
The public MCP, module CLI, and recall serialization implementation and static test-definition boundary for product version 0.5.0.
Limitation
Implemented and test-covered does not mean a current full-suite run, compatibility certification, coverage report, or support promise.
C-15Direction

Ax0s is building toward one declared, structured, connected, visible, and navigable state across a business's people and systems.

Status / date
Direction · Checked
Scope
The Ax0s operating thesis across people and systems; not a statement of current business-wide product coverage.
Limitation
This is direction, not a shipped capability, complete accountability model, customer outcome, or finished company operating plane.
C-16Internal dogfood

A fleet manifest declares four nodes, expected services, monitored domains, and ownership roles.

Status / date
Internal dogfood · Checked
Scope
The declared manifest for the Ax0s internal fleet first instance.
Limitation
The row has no dated runtime artifact; it does not establish that all four nodes are operating, current cadence, customer deployment, or business-wide coverage.
C-17Internal dogfood

Declared-versus-observed comparison is configured to run twice hourly; deviations are defined as drift records, and undeclared findings enter an adopt-or-kill decision queue.

Status / date
Internal dogfood · Checked
Scope
The configured declare-observe-adjudicate loop for the Ax0s internal fleet.
Limitation
The row has no dated reconciliation receipt; it does not establish successful cadence, completed business-wide reconciliation, or a customer operating surface.
C-18Superseded

Gmail and Google Calendar are live on the agent surface: authorized agents can read and act through configured Workspace tools. Their state is not yet continuously ingested into ax0s-memory.

Status / date
Superseded 2026-07-15 · was Verified · superseded by the 2026-07-15 correction
Scope
LIVE — AGENT SURFACE only for the configured Google Workspace tools recorded in the sanitized receipt.
Limitation
The receipt proves server startup, tool registration, and one bounded authorized read on the recorded date. It does not prove continuous operation, persistent ingest, production health, or customer availability.
C-31Superseded

Gmail and Google Calendar are live on the agent surface: authorized agents can read and act through configured Workspace tools. Inbound Gmail for one mailbox is continuously ingested into ax0s-memory; Calendar state is not.

Status / date
Superseded 2026-07-17 · was Verified · superseded by the 2026-07-17 correction · supersedes the 2026-07-14 agent-surface claim
Scope
LIVE — AGENT SURFACE for the configured Google Workspace tools recorded in the sanitized receipt, plus persistent inbound-Gmail ingest for one mailbox recorded in the dated ingest receipt.
Limitation
The receipts prove agent access, one bounded authorized read, and one persistent-ingest cycle with checkpoint, deduplication, and later recall on the recorded dates. They do not prove continuous operation, production health, or customer availability; Calendar and Drive state is not persistently ingested.
C-33Verified 2026-07-17

Gmail, Google Calendar, and Google Drive (files and Docs text) are continuously ingested into ax0s-memory on 5-minute cycles; authorized agents can also read and act through configured Workspace tools. Sheets and Slides content is not ingested.

Status / date
Verified · supersedes the 2026-07-15 agent-surface claim
Scope
LIVE — persistent Gmail, Calendar, and Drive/Docs ingest for one account recorded in the dated ingest receipts, plus the agent surface for the configured Google Workspace tools recorded in the sanitized receipt.
Limitation
The receipts prove agent access and persistent-ingest cycles with checkpoint, deduplication, and later recall on the recorded dates. They do not prove continuous operation, a completed Drive bootstrap, production health, or customer availability; Sheets and Slides content is not ingested.
C-19Verified 2026-07-14

A historical Ax0s Live regression artifact records 190 of 190 scenarios passing across seven connector families in 176,480 ms.

Status / date
Verified
Scope
One historical stored golden regression result across seven connector families.
Limitation
Historical stored regression receipt — not current health. It does not establish current production health, live customer integrations, freshness, or persistent ingest into ax0s-memory.
C-20Verified 2026-07-14

A historical Ax0s Live cross-connector stress artifact records 50 of 50 scenarios passing, including three spanning all seven connector families.

Status / date
Verified
Scope
One historical stored multi-source stress result containing scenarios across two to seven connector families.
Limitation
Historical stored regression receipt — not current health. It does not establish production uptime, current connector freshness, customer availability, or persistent ingest.
C-21Verified 2026-07-14

A historical Ax0s Live single-connector stress artifact records 140 of 140 scenarios passing, twenty per connector family.

Status / date
Verified
Scope
One historical stored stress result with twenty scenarios for each of seven connector families.
Limitation
Historical stored regression receipt — not current health. It does not establish production uptime, current connector freshness, customer availability, or persistent ingest.
C-22Verified 2026-07-14

One anonymized Ax0s Live source catalog recorded 147 tables, 1,836 scalar fields, 1,263 relationships, and 245,161 rows when introspected on 2026-03-11.

Status / date
Verified
Scope
One historical anonymized event-operations source catalog; separate from every multi-source registry snapshot and regression result.
Limitation
Historical stored regression receipt — not current health. This one-source catalog must not be combined with a separate multi-source schema scope and does not establish client outcomes or persistent ingest.
C-23In build

Entity-fabric Phase 0 is implemented in ax0s-memory; connector migration and the unified operating surface remain in build.

Status / date
In build · Checked
Scope
Phase 0 entity rows, receipt-gated writes, provenance, query, ownership roles, and supersession on the Memory substrate.
Limitation
Phase 0 only. Connector migration, customer-ready ownership workflows, and the unified operating surface remain in build; this is not business-wide coverage.
C-24Superseded

Automated secret redaction is not part of current ingest paths.

Status / date
Superseded 2026-07-15 · was Verified · superseded by the 2026-07-15 correction
Scope
Current Memory and Ax0s Live ingest paths described by the public product and integration boundaries.
Limitation
Source permissions, integration scope, secret handling, retention, and data handling require operator review before persistent ingest is enabled.
C-32Superseded

Automated secret redaction runs on the Fathom and Gmail persistent-ingest paths before any write; other ingest paths remain unredacted.

Status / date
Superseded 2026-07-17 · was Verified · superseded by the 2026-07-17 correction · supersedes the 2026-07-14 boundary claim
Scope
The ax0s-ingest Fathom and Gmail persistent-ingest paths; all other Memory and Ax0s Live ingest paths remain unredacted.
Limitation
Redaction is pattern-based over known secret shapes and is applied at the write chokepoint of the two named ingest paths only; it is not a guarantee against novel secret formats, and other ingest paths remain unredacted.
C-34Superseded

Automated secret redaction runs on the Fathom, Gmail, Google Calendar, Google Drive, and SignWell persistent-ingest paths before any write; the iMessage path and other ingest paths remain unredacted.

Status / date
Superseded 2026-07-20 · was Verified · superseded by the 2026-07-20 correction · supersedes the 2026-07-15 boundary claim
Scope
The ax0s-ingest Fathom, Gmail, Google Calendar, Google Drive, and SignWell persistent-ingest paths; the iMessage path and all other Memory and Ax0s Live ingest paths remain unredacted.
Limitation
Redaction is pattern-based over known secret shapes and is applied at the write chokepoint of the five named ingest paths only; it is not a guarantee against novel secret formats, and other ingest paths remain unredacted.
C-35Verified 2026-07-20

Automated secret redaction runs on the Fathom, Gmail, Google Calendar, Google Drive, SignWell, Stripe, and Mercury persistent-ingest paths before any write; the iMessage path and other ingest paths remain unredacted.

Status / date
Verified · supersedes the 2026-07-17 boundary claim
Scope
The ax0s-ingest Fathom, Gmail, Google Calendar, Google Drive, SignWell, Stripe, and Mercury persistent-ingest paths; the iMessage path and all other Memory and Ax0s Live ingest paths remain unredacted.
Limitation
Redaction is pattern-based over known secret shapes and is applied at the write chokepoint of the seven named ingest paths only; it is not a guarantee against novel secret formats, and other ingest paths remain unredacted.
C-25Verified 2026-07-14

A correction can become current while the prior record remains addressable.

Status / date
Verified
Scope
Recorded ax0s-memory 0.5.0 product transcript covering write, recall, human-confirmed supersession, current recall, history recall, session close, and cleanup.
Limitation
One recorded product round trip on the stated environment; not a compatibility, concurrency, durability, or universal contradiction-resolution claim.

C-25 resolution path

Read the claim through its proof boundary.

The archive resolves this record in one direction: statement, artifact, then stated limit.

  1. Limitation

    one bounded round trip, not a durability or universal contradiction-resolution claim

Worked receipt · recorded 2026-07-14 The correction becomes current. The prior record remains in history.
History · supersededrecord:r_demo_friday

Staging deploys go out Friday at 17:00 UTC. QA signs off Thursday.

is_superseded:trueretained and addressable
Human-confirmed correction
Current · recall defaultrecord:r_demo_wednesday

Staging deploys now go out Wednesday at 15:00 UTC. Release captain owns the window.

is_superseded:falsereturned by default

Current recall returns record:r_demo_wednesday; recall with --include-superseded also returns record:r_demo_friday.

C-26Verified 2026-07-14

The current source snapshot registers 34 MCP tools; four are documented as the public core subset.

Status / date
Verified
Scope
Anchored count of MCP tool decorators in the current ax0s-memory source snapshot and the four-tool public documentation subset.
Limitation
A static registration count is not a startup, invocation, health, compatibility, or customer-availability receipt.
C-27Verified 2026-07-14

The ax0s-memory HTTP surface has 48 test functions defined in the current source snapshot.

Status / date
Verified
Scope
Static count of HTTP test-function definitions in the current source snapshot.
Limitation
Test definitions are not a current test run, passing-suite receipt, coverage report, security review, or runtime-health claim.
C-28Verified 2026-07-14

Ten static audit-helper tests are defined for log helpers, recording, record round-trip, and CLI behavior.

Status / date
Verified
Scope
Static test-function definitions for the audit-helper file in the current source snapshot.
Limitation
This narrow count does not establish broad access-event coverage, tamper evidence, a current passing run, or coverage percentage.
C-29Verified 2026-07-14

The experimental Rust research engine contains 245 explicit Rust test definitions.

Status / date
Verified
Scope
Static count of explicit Rust test definitions in the scoped experimental research engine.
Limitation
The engine is experimental and not integrated into the product. This count is not a current passing run or product-capability claim.
C-30Method published

The published Ax0s Practice method defines five stages: fit check, evidence inventory, human review, report-card readout, and optional bounded remediation.

Status / date
Method published · Checked
Scope
The public Practice engagement method and its five stages; a human-reviewed service method, not an automated score, customer outcome, or service-performance claim.
Limitation
Publication documents the method and blank report-card structure only; it supplies no client scores or completed-engagement evidence. Structured intake and default access and retention terms are not yet published.