feat: chain Council proposals into Khipu

Adds a best-effort in-process Khipu receipt so freshly issued Council evidence can pass signature, payload-digest, and hash-chain verification. Persistence remains explicitly in-memory and resets on restart.

a11oy_ayllu.py

@@ -174,6 +174,7 @@ def council_manifest(ns: str = "a11oy") -> Dict[str, Any]:
             "persona/model/round/output digest per turn",
             "Nemo governed-route decision and DSSE receipt",
             "deterministic replay key over participants, mode, and output digests",
+            "in-process Khipu chain receipt (resets on process restart)",
             "outer Council DSSE receipt",
         ],
         "limits": {
@@ -184,6 +185,7 @@ def council_manifest(ns: str = "a11oy") -> Dict[str, Any]:
             "effectors": "none",
             "decision_state": "PROPOSAL_ONLY",
             "semantic_consensus": "NOT_MEASURED",
+            "chain_persistence": "IN_MEMORY_RESETS_ON_RESTART",
         },
         "reproduce": {
             "manifest": base + "/council/manifest",
@@ -318,6 +320,38 @@ def _build_council_contract(prompt: str, result: Dict[str, Any],
     }
 
 
+def _mint_council_chain(contract: Dict[str, Any], ns: str = "a11oy") -> Dict[str, Any]:
+    """Append the proposal receipt to the shared in-process Khipu chain."""
+    try:
+        import szl_khipu
+        dag = szl_khipu.get_dag("ayllu_council", ns=ns)
+        receipt = dag.emit("ayllu.council.proposal", {
+            "contract_version": contract.get("contract_version"),
+            "decision_state": contract.get("decision_state"),
+            "evidence_state": contract.get("evidence_state"),
+            "prompt_sha256": contract.get("prompt_sha256"),
+            "replay_key": (contract.get("replay") or {}).get("key"),
+        })
+        chain = dag.verify_chain()
+        return {
+            "state": "LIVE",
+            "organ": "ayllu_council",
+            "receipt_id": receipt.get("digest"),
+            "seq": receipt.get("seq"),
+            "chain_verified": bool(chain.get("ok")),
+            "depth": dag.depth(),
+            "persistence": "IN_MEMORY_RESETS_ON_RESTART",
+        }
+    except Exception as exc:
+        return {
+            "state": "UNAVAILABLE",
+            "organ": "ayllu_council",
+            "receipt_id": None,
+            "error": type(exc).__name__,
+            "honesty": "Khipu append unavailable; no chain receipt fabricated.",
+        }
+
+
 # --- The /ayllu page: a working chat + council UI. 0-CDN (pure inline markup, no
 #     external assets). `__NS__`/`__VERSION__` are substituted at render time so the
 #     JS+CSS braces stay literal (no f-string brace-doubling). --------------------
@@ -800,6 +834,7 @@ def register(app, ns: str = "a11oy") -> str:
         signer = _runtime_signer(request)
         nemo_route = _nemo_council_route(prompt, sign_fn=signer)
         contract = _build_council_contract(prompt, result, nemo_route)
+        contract["chain"] = _mint_council_chain(contract, ns=ns)
         receipt_body = {
             "council_id": council_id,
             "prompt_sha256": hashlib.sha256(prompt.encode()).hexdigest(),
@@ -813,11 +848,13 @@ def register(app, ns: str = "a11oy") -> str:
             "nemo_route_receipt_sha256": _receipt_sha(
                 (contract.get("routing") or {}).get("receipt")),
             "human_checkpoint": contract["human_checkpoint"],
+            "chain": contract["chain"],
         }
         receipt = _make_receipt({
             "schema": "szl.ayllu.council-receipt/v2",
             "body": receipt_body,
             "payload_digest": _sha256_json(receipt_body),
+            "receipt_id": contract["chain"].get("receipt_id"),
         }, sign_fn=signer)
         return JSONResponse({"council_id": council_id, "result": result,
                              "contract": contract, "receipt": receipt})

test/test_council_contract.py

@@ -74,6 +74,8 @@ class CouncilContractTests(unittest.TestCase):
         self.assertEqual(body["contract"]["decision_state"], "PROPOSAL_ONLY")
         self.assertTrue(body["receipt"]["signed"])
         self.assertEqual(body["contract"]["routing"]["state"], "HEURISTIC")
+        self.assertEqual(body["contract"]["chain"]["state"], "LIVE")
+        self.assertTrue(body["contract"]["chain"]["chain_verified"])
 
 
 if __name__ == "__main__":