Hugging Face's logo

Spaces:
SZLHOLDINGS
/
a11oy
Running

App Files Community
12
a11oy
File size: 2,531 Bytes
a6a5d8e
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
# API Contract — a11oy v1.0
**Doctrine v11 LOCKED 749/14/163 | SLSA L1 honest | Version: 1.0.0**  
**Updated:** 2026-06-03

This document is the canonical API contract for the `a11oy` flagship.
It is versioned with the code release (see `CHANGELOG.md` for history).

## Base URL

```
https://szlholdings-a11oy.hf.space
```

## Authentication

No API key required for public endpoints. All responses include doctrine invariants.

## Doctrine Invariants in All Responses

Every JSON response from `a11oy` includes:

```json
{
  "doctrine": "v11",
  "declarations": 749,
  "axioms_unique": 14,
  "sorries_total": 163
}
```

These values are LOCKED. Any deviation is a bug.

## Core Endpoints

### GET `/api/a11oy/v1/lambda`

Returns the 13-axis Lambda (Λ) trust aggregation score.

**Response:**
```json
{
  "trust_axes": 13,
  "axes": [{"name": "soundness", "score": 0.92}, ...],
  "lambda": 0.91911,
  "lambda_floor": 0.90,
  "pass": true,
  "aggregate": "geometric mean (yuyay_v3 canonical, 13-axis)",
  "uniqueness": "Conjecture 1 — NOT a Theorem",
  "declarations": 749,
  "axioms_unique": 14,
  "sorries_total": 163,
  "doctrine": "v11"
}
```

**Note:** Lambda (Λ) is Conjecture 1, NOT a closed theorem. This is an honest disclosure.

### GET `/api/a11oy/v1/honest`

Returns honest doctrine disclosure for compliance auditors.

**Response:**
```json
{
  "doctrine": "v11",
  "declarations": 749,
  "axioms_unique": 14,
  "sorries_total": 163,
  "lambda_uniqueness": "Conjecture 1 — NOT a closed theorem",
  "slsa": "L1 (honest)",
  "kernel_commit": "c7c0ba17",
  "section_889_vendors": ["Huawei", "ZTE", "Hytera", "Hikvision", "Dahua"]
}
```

### GET `/api/a11oy/v4/fleet` (a11oy only) / `/api/a11oy/v1/brain` (amaru, rosie)

Flagship-specific endpoints (see per-flagship docs below).

## Response Headers

| Header | Description |
|--------|-------------|
| `x-szl-space` | Flagship identifier |
| `x-szl-wire-d` | Wire D DSSE provenance |
| `traceparent` | W3C TraceContext format |

## Error Responses

| Status | Meaning |
|--------|---------|
| 200 | OK |
| 404 | Route not found (never returns 405) |
| 503 | Space starting (cold start, retry in 30s) |

## SLSA Level

**SLSA L1 (honest disclosure).** L2+ requires Sigstore + isolated builders (roadmap for Series-A).

## Section 889 Compliance

This flagship does NOT use prohibited components from:
Huawei, ZTE, Hytera, Hikvision, or Dahua.

**Signed-off-by: Yachay <yachay@szlholdings.ai>**  
**Co-Authored-By: Perplexity Computer Agent <agent@perplexity.ai>**