先命名不等式
在既有 logs 分開 completion、authority、receipt、outcome 與 ownership。
Protocol 0.1 / 可執行候選版本
Protocol 0.1 已有八種 record schemas、確定性的六軸 reducer、CLI 與兩個 fixture observation adapters。這些是本地實作產物,尚不代表公開套件發布或真實 runtime 認證。
Markdown 版本 ↗HelmLoop
Protocol 0.1 已有八種 record schemas、確定性的六軸 reducer、CLI 與兩個 fixture observation adapters。這些是本地實作產物,尚不代表公開套件發布或真實 runtime 認證。
| Record | Schema | 責任 |
|---|---|---|
OutcomeContractV1 | JSON ↗ | 可問責的 outcome、risk、owner、horizon、criteria、constraints、preferences、stop conditions 與六個軸。 |
AuthorityGrantV1 | JSON ↗ | 由 owner 簽發、精確、會到期、可撤銷、單次使用,且具有 durable reservation 與終止 lineage 的 authority。 |
ExecutionReceiptV1 | JSON ↗ | 綁定 attempt 的 execution fact,含 resource owner、provider request 與精確 reserved authority reference。 |
EvidenceRecordV1 | JSON ↗ | 具有 freshness cap、criterion digest、provenance、dependency fingerprints 與 limitations 的結論。 |
AssuranceDecisionV1 | JSON ↗ | 綁定 evidence 的 L0–L3 assurance decision;sufficiency 由 reducer 重算。 |
PromotionDecisionV1 | JSON ↗ | 以精確 target parameters、獨立 promote authority 與不可倒退 lineage 綁定單一 revision 的 owner decision。 |
ReconciliationRecordV1 | JSON ↗ | 綁定精確 execution、attempt、provider request、locator 與 observed external state 的新鮮查詢。 |
LearningSignalV1 | JSON ↗ | 由 outcome evidence 支撐的有限提案;不能自我接受,也不能自行成為 truth。 |
HelmLoop
| Axis | 責任 | 狀態 |
|---|---|---|
execution | Executor 實際做了什麼 | NOT_STARTED · RESERVED · RUNNING · COMPLETED · FAILED · UNKNOWN · INVALID |
evidence | 必要 claims 是否新鮮且受到支持 | MISSING · FRESH · STALE · CONFLICTING · INVALID |
authority | 精確 action 是否獲得授權 | MISSING · ACTIVE · EXPIRED · REVOKED · WRONG_BINDING · CONSUMED · AMBIGUOUS · INVALID |
promotion | Accountable owner 做了什麼決定 | NOT_REQUESTED · PENDING · APPROVED · REJECTED · HOLD · AMBIGUOUS · INVALID |
reconciliation | Provider 與 observed external state 顯示什麼 | NOT_REQUIRED · PENDING · MATCHED · DIVERGED · UNKNOWN · INVALID |
observedOutcome | 獨立 outcome evidence 顯示什麼 | NOT_DUE · NOT_OBSERVED · MET · NOT_MET · MIXED · UNKNOWN · INVALID |
HelmLoop
排程、狀態、授權、實際動作與業務真相都由 host 持有。HelmLoop 判定輸入的契約與觀測;Better Workflows 是可選接入對象,不是必要後端。
在既有 logs 分開 completion、authority、receipt、outcome 與 ownership。
為一個 consequential transition 使用小型 deterministic check 與具名 owner。
記錄 subject、revision、expiry 與 external reconciliation。
只在風險值得成本時使用 Better Workflows 或等價方案。
HelmLoop
現有 fixture 結果不認證真實 runtime、全面可攜性、production readiness 或業務价值;研究頁保留這些待驗問題。
0.1 保留 HL-C14N-1、原 reader 與六軸語義。規劃中的 0.2 使用 helmloop-jcs-sha256-v1 與 typed sha256: 引用。Digest 一致可檢查完整性,不會產生信任或授權。