{"ns":"a11oy","surface":"ai-assurance","description":"Honest 'where a11oy fits' — governance/assurance OVERLAY positioning. a11oy never claims to be or replace Advana/WDP/Foundry/Databricks.","summary":"a11oy is the governance + verifiable-provenance OVERLAY for WDP-era agentic AI. It does NOT replace Advana, WDP, Palantir Foundry, or Databricks Unity Catalog. Those stay the system of record. a11oy adds the cryptographic, buyer-verifiable assurance layer that the Jan-2026 WDP memo demands: agentic AI + auditability.","what_a11oy_is":["Governance overlay: policy gates (Λ, threat-scan, PII-egress) on every AI inference call.","Verifiable receipt emitter: DSSE-signed Khipu receipts per decision — buyer can re-verify offline.","Honest assurance evidence: data labels, model card, TEVV artifacts per call.","Refusal explainer (WILLAY): signed, auditable refusals — not black-box boolean gates."],"what_a11oy_is_not":["NOT a replacement for Advana/WDP (the authoritative DoD financial data platform).","NOT a replacement for Palantir Foundry (ontology + operational data lineage).","NOT a replacement for Databricks Unity Catalog (column-level data governance).","NOT accredited (no ATO/IL5/FedRAMP — ROADMAP).","NOT a certified classifier — Λ is Conjecture 1 (advisory; NOT a theorem).","NOT claiming 183 proven theorems — 8 kernel-proven only (locked_count_eight @ c7c0ba17)."],"wdp_wedge":"The Jan-2026 DoD memo restructuring Advana into WDP explicitly calls for 'agentic AI' AND 'enhanced auditability' toward a clean FY27/FY28 audit. Foundry shows you data lineage. Unity Catalog shows you column-level provenance. a11oy gives you a cryptographic signature on the AI DECISION itself — something the buyer can verify offline, without trusting the provider.","unique_value":"Foundry/Unity Catalog: lineage is viewable but NOT cryptographically buyer-verifiable. a11oy: every governed decision produces a DSSE receipt signed with ECDSA-P256. Buyer pastes the receipt into /verify — WebCrypto confirms or rejects in-browser. No other inference governance layer offers this. The math is the receipt.","platform_diagram":{"description":"Stack diagram (text representation for buyers/auditors):\n\n  ┌─────────────────────────────────────────────────────────┐\n  │  a11oy — Governance + Trust Overlay                     │\n  │  (signed receipts · policy gates · honest labels)       │\n  └───────────────┬────────────────────────────────────────┘\n                  │ sits on top of\n  ┌───────────────▼────────────────────────────────────────┐\n  │  WDP / Advana / Palantir Foundry / Databricks UC       │\n  │  (System of Record — data, lineage, ontology)          │\n  └─────────────────────────────────────────────────────────┘\n","a11oy_layer":"Governance + Trust Overlay (signed receipts, policy gates, honest labels)","platform_layer":"WDP / Advana / Palantir Foundry / Databricks Unity Catalog (System of Record)","relationship":"OVERLAY — a11oy sits on top, never replaces"},"honest_accreditation_status":{"ato":"NOT obtained — ROADMAP","il5":"NOT obtained — ROADMAP","fedramp_high":"NOT obtained — ROADMAP","note":"a11oy can be deployed within an accredited environment to contribute governance evidence, but a11oy itself is not accredited. This is stated plainly because the honesty is the product."},"doctrine":{"lambda_kind":"Conjecture 1 (advisory; NOT a theorem)","bft_kind":"Conjecture 2 (NOT proven; NOT a theorem)","locked_proven":8,"kernel_commit":"c7c0ba17","ci_gate":"locked_count_eight","honest_labels":["LIVE","MEASURED","SAMPLE","MODELED","ROADMAP"],"no_fabrication":"NEVER fabricates signatures, ATOs, accreditations, or theorem counts."}}