Spaces:
Running
Running
rename: AMARU->YACHAY, SENTRA->CHAPAQ (user-visible) + SLSA reconcile
Browse filesFounder-directed organ rename. AMARU->YACHAY (read-only reasoning cortex), SENTRA->CHAPAQ (egress immune inspector) across user-visible surfaces (home pipeline card, anatomy SVG, a11oy.code TIERS token). SLSA reconciled to one honest line on /api/health + /observability/summary + warhacker index. Infra/GHCR/Zarf coordinates UNCHANGED. Doctrine v11 LOCKED 749/14/163. Lambda=Conjecture 1.
- a11oy_code.py +6 -6
- a11oy_warhacker_obs.py +1 -1
- pages/console.html +11 -11
- serve.py +3 -3
a11oy_code.py
CHANGED
|
@@ -33,10 +33,10 @@ TIERS: List[Dict[str, Any]] = [
|
|
| 33 |
"role": "cross-session recall", "cost_per_1k_usd": 0.0020},
|
| 34 |
{"tier": "HEART", "rank": 3, "organ": "YUYAY", "model_id": "claude_sonnet_4_6",
|
| 35 |
"role": "13-axis evaluation", "cost_per_1k_usd": 0.0030},
|
| 36 |
-
{"tier": "IMMUNE", "rank": 4, "organ": "
|
| 37 |
-
"role": "adversarial detection", "cost_per_1k_usd": 0.0100},
|
| 38 |
-
{"tier": "PRIME", "rank": 5, "organ": "
|
| 39 |
-
"role": "high-stakes reasoning", "cost_per_1k_usd": 0.0150},
|
| 40 |
{"tier": "FRONTIER", "rank": 6, "organ": "SUMAQ", "model_id": "alphaproof",
|
| 41 |
"role": "theorem discharge", "cost_per_1k_usd": 0.0500},
|
| 42 |
]
|
|
@@ -46,10 +46,10 @@ _BY_RANK = {t["rank"]: t for t in TIERS}
|
|
| 46 |
|
| 47 |
# Organ_context keyword → preferred organ (auto-route).
|
| 48 |
_ORGAN_HINTS = {
|
| 49 |
-
"
|
| 50 |
"YUYAY": ["eval", "axis", "gate", "critique", "score", "trust"],
|
| 51 |
"KALLPA": ["wire", "propagat", "route", "fast", "relay"],
|
| 52 |
-
"
|
| 53 |
"YAWAR": ["receipt", "ledger", "attest", "provenance", "sign"],
|
| 54 |
"UNAY": ["memory", "recall", "history", "embed", "retriev", "session"],
|
| 55 |
"SUMAQ": ["theorem", "proof", "lean", "discharge", "prove", "lemma"],
|
|
|
|
| 33 |
"role": "cross-session recall", "cost_per_1k_usd": 0.0020},
|
| 34 |
{"tier": "HEART", "rank": 3, "organ": "YUYAY", "model_id": "claude_sonnet_4_6",
|
| 35 |
"role": "13-axis evaluation", "cost_per_1k_usd": 0.0030},
|
| 36 |
+
{"tier": "IMMUNE", "rank": 4, "organ": "CHAPAQ", "model_id": "gpt_5_4_reasoning",
|
| 37 |
+
"role": "egress immune inspector / adversarial detection", "cost_per_1k_usd": 0.0100},
|
| 38 |
+
{"tier": "PRIME", "rank": 5, "organ": "YACHAY_CORTEX", "model_id": "claude_opus_4_8",
|
| 39 |
+
"role": "read-only reasoning cortex / high-stakes reasoning", "cost_per_1k_usd": 0.0150},
|
| 40 |
{"tier": "FRONTIER", "rank": 6, "organ": "SUMAQ", "model_id": "alphaproof",
|
| 41 |
"role": "theorem discharge", "cost_per_1k_usd": 0.0500},
|
| 42 |
]
|
|
|
|
| 46 |
|
| 47 |
# Organ_context keyword → preferred organ (auto-route).
|
| 48 |
_ORGAN_HINTS = {
|
| 49 |
+
"YACHAY_CORTEX": ["reason", "orchestrat", "plan", "strateg", "high-stakes", "complex"],
|
| 50 |
"YUYAY": ["eval", "axis", "gate", "critique", "score", "trust"],
|
| 51 |
"KALLPA": ["wire", "propagat", "route", "fast", "relay"],
|
| 52 |
+
"CHAPAQ": ["adversar", "threat", "attack", "inject", "malic", "immune", "security"],
|
| 53 |
"YAWAR": ["receipt", "ledger", "attest", "provenance", "sign"],
|
| 54 |
"UNAY": ["memory", "recall", "history", "embed", "retriev", "session"],
|
| 55 |
"SUMAQ": ["theorem", "proof", "lean", "discharge", "prove", "lemma"],
|
a11oy_warhacker_obs.py
CHANGED
|
@@ -51,7 +51,7 @@ from fastapi.responses import JSONResponse
|
|
| 51 |
|
| 52 |
DOCTRINE = "v11"
|
| 53 |
LAMBDA_STATUS = "Conjecture 1 (NOT a theorem — LOCKED)"
|
| 54 |
-
SLSA_NOTE = "SLSA L2 build-provenance on
|
| 55 |
|
| 56 |
import re as _re_scrub
|
| 57 |
_BANNED_RE = _re_scrub.compile(r"(?i)\b(killinchu|sentra|amaru|rosie|vessels|drones?)\b")
|
|
|
|
| 51 |
|
| 52 |
DOCTRINE = "v11"
|
| 53 |
LAMBDA_STATUS = "Conjecture 1 (NOT a theorem — LOCKED)"
|
| 54 |
+
SLSA_NOTE = "SLSA L1 across all organs; L2 build-provenance verified on 3/5 (a11oy/sentra/rosie), L2 roadmap for the rest."
|
| 55 |
|
| 56 |
import re as _re_scrub
|
| 57 |
_BANNED_RE = _re_scrub.compile(r"(?i)\b(killinchu|sentra|amaru|rosie|vessels|drones?)\b")
|
pages/console.html
CHANGED
|
@@ -538,10 +538,10 @@ organism:{title:'Living Organism \u2014 SZL Agent Body',badge:'ANATOMY + LIVE YU
|
|
| 538 |
<div class="kpi"><div class="k">Gate rule</div><div class="v teal">all(\u2265floor)</div><div class="d">NOT a weighted average</div></div>
|
| 539 |
<div class="kpi"><div class="k">Shared mesh</div><div class="v" style="color:#c9b787">YAWAR + span</div><div class="d">a11oy \u21c4 killinchu</div></div></div>
|
| 540 |
<div class="grid2">
|
| 541 |
-
<div class="card"><div class="card-h"><span class="card-t">a11oy body \u2014 5 systems (our-own SVG anatomy)</span><span class="card-ep">distinct viz \u00b7 hover organs</span></div><div id="org-body" style="display:flex;justify-content:center;padding:.5rem"></div><div class="brain-note">AXIAL spine (gold) = doctrine + receipt chain. Blood loop = YAWAR. Thin nerves = span lineage. Brain (
|
| 542 |
<div class="card"><div class="card-h"><span class="card-t">Exercise the YUYAY gate \u2014 REAL 13-axis conjunctive evaluation</span><span class="card-ep">POST /yuyay/gate \u00b7 live</span></div><div id="org-gate-form"></div><div id="org-gate-out" style="margin-top:.6rem"></div></div>
|
| 543 |
</div>
|
| 544 |
-
<div class="card"><div class="card-h"><span class="card-t">The action pipeline \u2014
|
| 545 |
<div class="card"><div class="card-h"><span class="card-t">Five systems \u2014 organ \u00b7 function \u00b7 real mechanism</span><span class="card-ep">Quechua name + plain English</span></div><div id="org-systems"></div>
|
| 546 |
<div class="brain-note">Shared organism: a11oy (governed-AI decision body) and killinchu (maritime/drone C2 body) run the SAME heart (YUYAY gate), the SAME blood (append-only YAWAR receipts) and the SAME read-only brain pattern, linked by the UDS mesh \u2014 \u039b-signed receipts pulse between the two bodies on one circulatory + nervous system.</div></div>${HONEST}`;window.organism_load();}},
|
| 547 |
|
|
@@ -2614,15 +2614,15 @@ window.warboard_init=warboard_init; window.warboard_all=warboard_all;
|
|
| 2614 |
];
|
| 2615 |
var ANATOMY=[
|
| 2616 |
{sys:'1 · HEART',organ:'YUYAY v3',fn:'13-axis conjunctive truth gate',mech:'pass = all(score[i] ≥ floor[i]) — NOT a weighted average. 0.94 on moralGrounding FAILS even if the other 12 = 1.00.',col:RED},
|
| 2617 |
-
{sys:'2 · CIRCULATORY',organ:'YAWAR + RUWAY +
|
| 2618 |
-
{sys:'3 · BRAIN',organ:'
|
| 2619 |
{sys:'4 · NERVOUS',organ:'span lineage + HUKLLA',fn:'W3C TraceContext propagation · deadman tripwire',mech:'trace_id · span_id · parent_span_id propagate brain → effectors; replay verifier checks child.parent_span_id == parent.span_id. HUKLLA tripwire → freeze span → halt into HATUN root.',col:'#7fa8d0'},
|
| 2620 |
{sys:'5 · SKELETON',organ:'12 service repos + R0513/OVERWATCH + HATUN',fn:'structural frame · read-only 5-invariant audit · sovereign seal',mech:'AXIAL spine (doctrine+receipt chain) vs APPENDICULAR bones. R0513 audits 5 invariants read-only (never halts). HATUN sovereign seal = identity-trace to a HUMAN principal.',col:'#b58fd0'}
|
| 2621 |
];
|
| 2622 |
var PIPELINE=[
|
| 2623 |
-
{k:'
|
| 2624 |
{k:'YUYAY',t:'13-axis conjunctive gate',d:'pass = all(score ≥ floor); a single axis below floor → DENY'},
|
| 2625 |
-
{k:'RUWAY+
|
| 2626 |
{k:'YAWAR',t:'append-only receipt',d:'SHA-256 chained; never mutated or deleted'},
|
| 2627 |
{k:'R0513',t:'read-only audit',d:'5 invariants checked; event-log only, never halts/gates'},
|
| 2628 |
{k:'span',t:'lineage replayable',d:'child.parent_span_id == parent.span_id verified on replay'},
|
|
@@ -2640,16 +2640,16 @@ window.warboard_init=warboard_init; window.warboard_all=warboard_all;
|
|
| 2640 |
s+='<path d="M160 110 C 250 160, 250 360, 160 410 C 70 360, 70 160, 160 110 Z" fill="none" stroke="'+GOLD+'" stroke-width="2" opacity=".55"><title>YAWAR — append-only receipt bus (circulatory)</title></path>';
|
| 2641 |
// nervous (span) — thin branching nerves
|
| 2642 |
s+='<path d="M160 150 L110 220 M160 150 L210 220 M160 300 L110 370 M160 300 L210 370" stroke="#7fa8d0" stroke-width="1.4" opacity=".6" fill="none"><title>span lineage (nervous)</title></path>';
|
| 2643 |
-
// head = BRAIN (
|
| 2644 |
-
s+=node(160,110,38,TEAL,'BRAIN —
|
| 2645 |
-
s+='<text x="160" y="115" text-anchor="middle" fill="'+TEAL+'" font-size="11" font-family="monospace">
|
| 2646 |
// heart = YUYAY
|
| 2647 |
s+=node(160,250,30,RED,'HEART — YUYAY 13-axis conjunctive gate');
|
| 2648 |
s+='<text x="160" y="248" text-anchor="middle" fill="'+RED+'" font-size="10" font-family="monospace">YUYAY</text>';
|
| 2649 |
s+='<text x="160" y="262" text-anchor="middle" fill="'+RED+'" font-size="8" font-family="monospace">13-axis</text>';
|
| 2650 |
// hands/feet = skeleton bones + organs
|
| 2651 |
-
s+=node(110,220,16,'#b58fd0','
|
| 2652 |
-
s+='<text x="110" y="224" text-anchor="middle" fill="#b58fd0" font-size="8" font-family="monospace">
|
| 2653 |
s+=node(210,220,16,GOLD,'RUWAY — sole authorized write surface');
|
| 2654 |
s+='<text x="210" y="224" text-anchor="middle" fill="'+GOLD+'" font-size="8" font-family="monospace">RUWAY</text>';
|
| 2655 |
s+=node(110,370,16,'#b58fd0','R0513 / OVERWATCH — read-only 5-invariant audit');
|
|
|
|
| 538 |
<div class="kpi"><div class="k">Gate rule</div><div class="v teal">all(\u2265floor)</div><div class="d">NOT a weighted average</div></div>
|
| 539 |
<div class="kpi"><div class="k">Shared mesh</div><div class="v" style="color:#c9b787">YAWAR + span</div><div class="d">a11oy \u21c4 killinchu</div></div></div>
|
| 540 |
<div class="grid2">
|
| 541 |
+
<div class="card"><div class="card-h"><span class="card-t">a11oy body \u2014 5 systems (our-own SVG anatomy)</span><span class="card-ep">distinct viz \u00b7 hover organs</span></div><div id="org-body" style="display:flex;justify-content:center;padding:.5rem"></div><div class="brain-note">AXIAL spine (gold) = doctrine + receipt chain. Blood loop = YAWAR. Thin nerves = span lineage. Brain (YACHAY — read-only reasoning cortex) reads, never writes; HATUN seals to a human.</div></div>
|
| 542 |
<div class="card"><div class="card-h"><span class="card-t">Exercise the YUYAY gate \u2014 REAL 13-axis conjunctive evaluation</span><span class="card-ep">POST /yuyay/gate \u00b7 live</span></div><div id="org-gate-form"></div><div id="org-gate-out" style="margin-top:.6rem"></div></div>
|
| 543 |
</div>
|
| 544 |
+
<div class="card"><div class="card-h"><span class="card-t">The action pipeline \u2014 YACHAY proposes \u2192 YUYAY gate \u2192 \u039b-signed YAWAR receipt \u2192 R0513 audit \u2192 span lineage \u2192 HATUN seal to a human</span><span class="card-ep">efficiency path = honesty proof</span></div><div id="org-pipeline"></div></div>
|
| 545 |
<div class="card"><div class="card-h"><span class="card-t">Five systems \u2014 organ \u00b7 function \u00b7 real mechanism</span><span class="card-ep">Quechua name + plain English</span></div><div id="org-systems"></div>
|
| 546 |
<div class="brain-note">Shared organism: a11oy (governed-AI decision body) and killinchu (maritime/drone C2 body) run the SAME heart (YUYAY gate), the SAME blood (append-only YAWAR receipts) and the SAME read-only brain pattern, linked by the UDS mesh \u2014 \u039b-signed receipts pulse between the two bodies on one circulatory + nervous system.</div></div>${HONEST}`;window.organism_load();}},
|
| 547 |
|
|
|
|
| 2614 |
];
|
| 2615 |
var ANATOMY=[
|
| 2616 |
{sys:'1 · HEART',organ:'YUYAY v3',fn:'13-axis conjunctive truth gate',mech:'pass = all(score[i] ≥ floor[i]) — NOT a weighted average. 0.94 on moralGrounding FAILS even if the other 12 = 1.00.',col:RED},
|
| 2617 |
+
{sys:'2 · CIRCULATORY',organ:'YAWAR + RUWAY + CHAPAQ',fn:'append-only SHA-256 receipt bus · sole write surface · egress inspector',mech:'h = sha256(json.dumps(packet, sort_keys=True)); appended, never mutated/deleted. Writes traverse RUWAY (only authorized writer) through CHAPAQ egress inspection.',col:GOLD},
|
| 2618 |
+
{sys:'3 · BRAIN',organ:'YACHAY cortex',fn:'read-only reasoning cortex',mech:'5 cortex regions; hangs off the bus by a single tether — READS snapshots, NEVER writes. The thinking layer cannot tamper with the record.',col:TEAL},
|
| 2619 |
{sys:'4 · NERVOUS',organ:'span lineage + HUKLLA',fn:'W3C TraceContext propagation · deadman tripwire',mech:'trace_id · span_id · parent_span_id propagate brain → effectors; replay verifier checks child.parent_span_id == parent.span_id. HUKLLA tripwire → freeze span → halt into HATUN root.',col:'#7fa8d0'},
|
| 2620 |
{sys:'5 · SKELETON',organ:'12 service repos + R0513/OVERWATCH + HATUN',fn:'structural frame · read-only 5-invariant audit · sovereign seal',mech:'AXIAL spine (doctrine+receipt chain) vs APPENDICULAR bones. R0513 audits 5 invariants read-only (never halts). HATUN sovereign seal = identity-trace to a HUMAN principal.',col:'#b58fd0'}
|
| 2621 |
];
|
| 2622 |
var PIPELINE=[
|
| 2623 |
+
{k:'YACHAY',t:'proposes',d:'read-only reasoning cortex emits a candidate (thought · action · tool call)'},
|
| 2624 |
{k:'YUYAY',t:'13-axis conjunctive gate',d:'pass = all(score ≥ floor); a single axis below floor → DENY'},
|
| 2625 |
+
{k:'RUWAY+CHAPAQ',t:'Λ-signed receipt',d:'sole authorized write surface; egress inspected; signed onto YAWAR'},
|
| 2626 |
{k:'YAWAR',t:'append-only receipt',d:'SHA-256 chained; never mutated or deleted'},
|
| 2627 |
{k:'R0513',t:'read-only audit',d:'5 invariants checked; event-log only, never halts/gates'},
|
| 2628 |
{k:'span',t:'lineage replayable',d:'child.parent_span_id == parent.span_id verified on replay'},
|
|
|
|
| 2640 |
s+='<path d="M160 110 C 250 160, 250 360, 160 410 C 70 360, 70 160, 160 110 Z" fill="none" stroke="'+GOLD+'" stroke-width="2" opacity=".55"><title>YAWAR — append-only receipt bus (circulatory)</title></path>';
|
| 2641 |
// nervous (span) — thin branching nerves
|
| 2642 |
s+='<path d="M160 150 L110 220 M160 150 L210 220 M160 300 L110 370 M160 300 L210 370" stroke="#7fa8d0" stroke-width="1.4" opacity=".6" fill="none"><title>span lineage (nervous)</title></path>';
|
| 2643 |
+
// head = BRAIN (YACHAY — read-only reasoning cortex)
|
| 2644 |
+
s+=node(160,110,38,TEAL,'BRAIN — YACHAY read-only reasoning cortex');
|
| 2645 |
+
s+='<text x="160" y="115" text-anchor="middle" fill="'+TEAL+'" font-size="11" font-family="monospace">YACHAY</text>';
|
| 2646 |
// heart = YUYAY
|
| 2647 |
s+=node(160,250,30,RED,'HEART — YUYAY 13-axis conjunctive gate');
|
| 2648 |
s+='<text x="160" y="248" text-anchor="middle" fill="'+RED+'" font-size="10" font-family="monospace">YUYAY</text>';
|
| 2649 |
s+='<text x="160" y="262" text-anchor="middle" fill="'+RED+'" font-size="8" font-family="monospace">13-axis</text>';
|
| 2650 |
// hands/feet = skeleton bones + organs
|
| 2651 |
+
s+=node(110,220,16,'#b58fd0','CHAPAQ — egress immune inspector');
|
| 2652 |
+
s+='<text x="110" y="224" text-anchor="middle" fill="#b58fd0" font-size="8" font-family="monospace">CHAPAQ</text>';
|
| 2653 |
s+=node(210,220,16,GOLD,'RUWAY — sole authorized write surface');
|
| 2654 |
s+='<text x="210" y="224" text-anchor="middle" fill="'+GOLD+'" font-size="8" font-family="monospace">RUWAY</text>';
|
| 2655 |
s+=node(110,370,16,'#b58fd0','R0513 / OVERWATCH — read-only 5-invariant audit');
|
serve.py
CHANGED
|
@@ -2182,7 +2182,7 @@ async def _a11oy_pr_honest_v2():
|
|
| 2182 |
"declarations": 749, "axioms_unique": 14, "sorries_total": 163,
|
| 2183 |
"kernel_commit": "c7c0ba17",
|
| 2184 |
"lambda_status": "Conjecture 1 — NOT a theorem",
|
| 2185 |
-
"slsa": "SLSA
|
| 2186 |
"slsa_evidence": {
|
| 2187 |
"level": "L2",
|
| 2188 |
"image_tag": "uds-v0.2.0",
|
|
@@ -3111,7 +3111,7 @@ try:
|
|
| 3111 |
"launch_at": "/api/a11oy/v1/warhacker/launch/" + d["key"]}
|
| 3112 |
for d in _WH_DEMOS],
|
| 3113 |
"lambda_status": "Conjecture 1 (advisory, not a pass/fail oracle)",
|
| 3114 |
-
"slsa": "SLSA
|
| 3115 |
})
|
| 3116 |
|
| 3117 |
# Map the launch keys to the REAL exhaustive-demo engine keys (the demos
|
|
@@ -4520,7 +4520,7 @@ async def api_health() -> JSONResponse:
|
|
| 4520 |
"counts": "749/14/163",
|
| 4521 |
"lean_sha": "c7c0ba17",
|
| 4522 |
"lambda_status": "Conjecture 1 (NOT a theorem)",
|
| 4523 |
-
"slsa": "L1 (
|
| 4524 |
})
|
| 4525 |
|
| 4526 |
|
|
|
|
| 2182 |
"declarations": 749, "axioms_unique": 14, "sorries_total": 163,
|
| 2183 |
"kernel_commit": "c7c0ba17",
|
| 2184 |
"lambda_status": "Conjecture 1 — NOT a theorem",
|
| 2185 |
+
"slsa": "SLSA L1 across all organs; L2 build-provenance verified on 3/5 (a11oy/sentra/rosie), L2 roadmap for the rest.",
|
| 2186 |
"slsa_evidence": {
|
| 2187 |
"level": "L2",
|
| 2188 |
"image_tag": "uds-v0.2.0",
|
|
|
|
| 3111 |
"launch_at": "/api/a11oy/v1/warhacker/launch/" + d["key"]}
|
| 3112 |
for d in _WH_DEMOS],
|
| 3113 |
"lambda_status": "Conjecture 1 (advisory, not a pass/fail oracle)",
|
| 3114 |
+
"slsa": "SLSA L1 across all organs; L2 build-provenance verified on 3/5 (a11oy/sentra/rosie), L2 roadmap for the rest.",
|
| 3115 |
})
|
| 3116 |
|
| 3117 |
# Map the launch keys to the REAL exhaustive-demo engine keys (the demos
|
|
|
|
| 4520 |
"counts": "749/14/163",
|
| 4521 |
"lean_sha": "c7c0ba17",
|
| 4522 |
"lambda_status": "Conjecture 1 (NOT a theorem)",
|
| 4523 |
+
"slsa": "SLSA L1 across all organs; L2 build-provenance verified on 3/5 (a11oy/sentra/rosie), L2 roadmap for the rest.",
|
| 4524 |
})
|
| 4525 |
|
| 4526 |
|