neco_quotient_certificate - v0.1.0

neco_quotient_certificate/admission

Types

Checked

opaque </>

照合を通過した証明書。構築はこのモジュールの admit に限る。

pub opaque type Checked(s, rev, c, obs, r, e)

Values

admit

</> 
pub fn admit(
  table: rule_table.RuleTable(s, rev, c, obs, e),
  certificate: certificate.Certificate(s, rev, c, obs, r, e),
  expected: certificate.Expected(s, rev, c, obs, r),
  provenance: p,
  show_identity: fn(s) -> String,
  show_revision: fn(rev) -> String,
) -> Result(Checked(s, rev, c, obs, r, e), failure.Mismatch(p))

証明書を期待値と照合する。段階はリビジョン、表、入力参照、座標、観測、射影ダイジェスト、残余の順に検査し、 最初に不一致となった段階の失敗を返す。失敗の origin は証明書のリビジョンと入力参照から作り、 provenance は呼び出す側の値をそのまま保持する。show_identity と show_revision は失敗の表示に使う。

certificate

</> 
pub fn certificate(
  checked: Checked(s, rev, c, obs, r, e),
) -> certificate.Certificate(s, rev, c, obs, r, e)

照合を通過した証明書を返す。

recomputed

</> 
pub fn recomputed(
  checked: Checked(s, rev, c, obs, r, e),
) -> List(digest.ProjectionDigest)

表の規則が再計算した射影ダイジェストの列を返す。

source

</> 
pub fn source(
  checked: Checked(s, rev, c, obs, r, e),
) -> source.SourceRef(s, rev)

照合を通過した証明書の出所を返す。

✨ Search Document