Skip to content

Diligence Index

This page is a public navigation aid, not a public data room. It identifies what can be verified from the documentation site and where the evidence boundary ends.

Public diligence map

Diligence questionCurrent public answerEvidence destination
What is the company building?Governed-AI infrastructure with source, policy, receipt, and proof documentationAbout and Architecture
Which products have public source surfaces?a11oy and killinchu are documented as flagship source productsFlagships
Is a hosted runtime currently available?Do not infer this from source or a release; use the dated runtime observationRuntime status
Which formal claims are established?The corpus is MIXED; locked-proven formulas and sorry-tagged/open items are listed separatelyProof and Evidence
Is Lambda formally proved?No. It is CONJECTURE 1Doctrine register
Are receipt signatures available?Inspect the exact artifact and the central stated posture; do not infer signing from a hash chainCompliance and Evidence
What supply-chain level or certifications are claimed?SLSA L1 is the documented posture; FedRAMP, SOC 2, IL5, and CMMC are not claimedCompliance
What does the Trust layer demonstrate?Historical, read-only artifact integrity within its stated scope; it is not a current execution serviceTrust
Are financials or customer metrics public?No public financials are provided on this siteRequest investor diligence

How to read an SZL claim

Use all three dimensions before treating a claim as decision-grade:

  1. Evidence classREAL, MEASURED, MODELED, ROADMAP, or UNAVAILABLE.
  2. Operational state — a dated observation of whether a service is available; see Runtime status.
  3. Proof statusLOCKED-PROVEN, MIXED, or CONJECTURE; see Proof.

No page, badge, screenshot, or source release upgrades another dimension. A build artifact does not prove a deployed runtime; a runtime response does not prove a theorem; and a hash-linked artifact does not prove a signature unless the exact signature is independently verifiable.

Public-safe engagement

Public materials are intended to support an initial technical and governance review. Confidential financial model and cap-table materials are not published here and may be shared directly with qualified investors on request.

Request investor diligence

Public claims link to source and evidence. SLSA L1 is the current stated supply-chain posture.