CI / CD

Project dashboard

Build health, verification evidence, and release delivery.

Loading the local build summary…

Installed version

Unknown

Revision unavailable

Local verification

Not recorded

Counts below describe recorded checks; missing or older results are marked.

Latest release

Not fetched

Refresh to read published release metadata.

Recorded checks

Build snapshot

No check results available.

Mechanical closure

Historical evidence

No closure report included.

A closure result applies only to its frozen inputs and finite claims. This panel does not assert that an earlier run verifies the currently deployed build.

Lean proof obligations

Implementation roadmap

Obligation summary not included.

Open obligations are implementation work, not established Lean proofs. See the project’s Lean closure plan for proof boundaries and required witnesses.

Workflow activity

Not fetched

Refresh to fetch public GitHub metadata. This view is read-only.

Workflow	Status	Revision	Started	Artifacts