Skip to content

共通モデル

Takoform の共通モデルは publisher 中立です。誰が Form を書いても、同じ identity 文法、 同じ package 形式、同じ compile 規則、同じ trust 入力を通ります。normative な定義は API と共通概念 の各 contract document が持ちます。

identity の文法

何を指すか
Form Family groupversionless な reverse-DNS 名前空間。path segment 一つとして運ばれ、/ を含めない
FormRefapiVersion / kind / definitionVersion / schemaDigest の四要素
definitionVersionその Form の portable な desired-state 契約の SemVer
schemaDigestimmutable な Definition の RFC 8785 canonical digest
package digest配布 bytes の content digest。identity の決定には参加しない audit 証拠

group は namespace であって version ではありません。group を変えると digest 束縛の Definition が変わるので、member 全体が別 identity になります。

data の層

  • Form Definition — 四要素の FormRef と、portable な desired / observed / output の形。
  • Form Package — 一つの exact な Form のための、閉じた data-only package。実行コード、credential、配置、商用の内容を持ちません。
  • Immutable Snapshot — 検証済みで digest 固定された contract を、順序に 依存しない immutable graph へ deterministic に compile したもの。失敗したときに 部分的な Snapshot を返しません。
  • Interface contractBinding contract — digest 束縛の data contract。名前や 「互換に見える」ことから binding を推測する実装はありません。
  • Artifact transport — content addressed な manifest と blob。 digest は bytes を指し、権限を指しません。
  • Standard services — sealed slot と、opaque に正規化された reverse-DNS の protocol identifier。中央 enum はありません。
  • Trust と revocation — caller が渡す provenance と、offline の検証入力。

version 軸は二つだけ

対象identifier意味
Host API laneforms.takoform.com/v1 のような exact な wire majorHost discovery と wire document の互換性
Form definition一つの FormRef の definitionVersionその Form の desired-state 契約の互換性

package の $id、schema の $id、Interface / Binding ref、trust の記録、client の release identity、library の SemVer は、それぞれ自分の bytes か reader を指す identity です。追加の Takoform version 軸として提示してはいけません。詳細は Versioning and compatibility にあります。

publisher の平等

すべての publisher が同じ FormRef、package 検証、canonical digest、trust、revocation、 Snapshot、installation、Host support、activation の経路を通ります。provenance と policy を 選ぶのは operator であり、特権 allowlist も official bit もありません。

検証、installation、support、activation、商用 offering は、それぞれ独立した事実です。 一つが真でも他は導けません。

normative source は tako0614/takoform。realized DNS と配信 account は公開 operator の authority です。