Skip to content
@belgi-protocol

BELGI

Working Draft specifications and reference verifiers for exact-edition replay of software-change admission records.
README.md

BELGI

BELGI preserves the exact material behind a software-change review so a verifier can derive the verdict again instead of trusting the stored result.

Start here

  1. Specification — Working Draft semantics and technical report.
  2. Python reference — Runnable replay, conformance, and one-byte tamper witness.
  3. Go verifier — Run the command-oriented verifier against selected bounded surfaces.

This is research/reference work. The specification is a Working Draft; the two implementations cover explicitly named, bounded surfaces and do not claim production readiness or independent authorship.

The historical origin archive preserves the January 2026 concept archive. It documents lineage; it is not a predecessor specification edition, compatibility source, or priority claim.

Pinned Loading

  1. belgi-spec belgi-spec Public

    Working Draft specification family for exact-edition semantic replay of bounded software-change admission records.

    Python

  2. belgi-reference belgi-reference Public

    Bounded Python reference distribution for replaying finite software-change review records and checking conformance.

    Python

  3. belgi-verifier-go belgi-verifier-go Public

    Command-oriented Go reference verifier for selected BELGI Working Draft replay and conformance surfaces.

    Go

Repositories

Showing 6 of 6 repositories

Top languages

Loading…

Most used topics

Loading…