service

Complete local gate lifecycle service. External systems are represented only by already-signed fact data; this module performs no provider I/O.

Values

check

</>

pub fn check(
  workspace: String,
  id: String,
) -> Result(json.Json, String)

ingest_fact

</>

pub fn ingest_fact(
  workspace: String,
  id: String,
  issuer: String,
  wire_json: String,
) -> Result(json.Json, String)

Verify before crossing the transactional persistence boundary. The verified fields, signature replay marker, gate head, audit, and change event then commit together.

list

</>

pub fn list(
  workspace: String,
  args: List(String),
) -> Result(json.Json, String)

readiness_tasks

</>

pub fn readiness_tasks(
  workspace: String,
  tasks: List(types.Task),
  now: Int,
) -> Result(List(types.Task), String)

resolve

</>

pub fn resolve(
  workspace: String,
  id: String,
  args: List(String),
) -> Result(json.Json, String)

show

</>

pub fn show(
  workspace: String,
  id: String,
) -> Result(json.Json, String)