From 7b8bf3ca5b440157a0ba0b0bb4fe21d32393b557 Mon Sep 17 00:00:00 2001 From: Hermes Date: Sat, 23 May 2026 07:58:50 +0000 Subject: [PATCH] fix org-mode heading syntax in revenue-hub --- ideas/revenue-hub.org | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/ideas/revenue-hub.org b/ideas/revenue-hub.org index 04ef292..aeb95b7 100644 --- a/ideas/revenue-hub.org +++ b/ideas/revenue-hub.org @@ -21,7 +21,7 @@ Existing coverage ([[file:verification-appliance.org]], [[file:domain-gate-packa | Compute marketplace | Both | Verified symbolic engine cycles (see Agora) | | Verified skill marketplace | End State | Commission on third-party gate rules | -**Unexplored Logos streams:** +*** Unexplored Logos streams | Stream | Phase | Rationale | |--------+-------+-----------| @@ -67,7 +67,7 @@ Existing coverage ([[file:agora-usernames.org]], [[file:pds-as-a-service.org]], The most fertile ground is contracts. DIDs provide identity, DIDComm provides communication, PDS provides state, gate rules encode terms, ACL2 verifies execution, and the symbolic engine runs deterministically. This is a full smart contract platform, strictly stronger than existing ones because ACL2 verifies the /rules themselves/, not just execution trace validity. -**Unexplored Agora streams — contracts:** +*** Unexplored Agora streams — contracts | Stream | Phase | Rationale | |--------+-------+-----------|