Skip to content

BHCP v0.1.0 — OpenAI Build Week

Latest
Latest

Choose a tag to compare

View all tags
@alexlopashev alexlopashev released this 21 Jul 20:15
v0.1.0-build-week
b4dbae6
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.

BHCP v0.1.0 — OpenAI Build Week

This release is the judge-ready BHCP semantic compiler and verification foundation
submitted to OpenAI Build Week.

Fast trial

Download the archive for your platform, extract it, and run inside the extracted
directory:

./bhcp inspect canonical-simple.bhcp
./bhcp hash canonical-simple.bhcp
./bhcp hash canonical-simple-presentation.bhcp

The two hash commands produce the same semantic identity despite the different
source presentation.

No account, API key, credentials, or network access are required. The expected
semantic ID is:

bhcp.hash/sha3-512@0:e9a14cee4bff2f70e05cdb86b38984ae324dcfee4e5ebb2cb8df8367b21a5ae15b763e38e9d323e0fce85e27112f16f31bc2998760461f7076e2fb71cd8f3e1d

Supported release platforms

  • macOS 15+ on Apple silicon
  • Linux x86-64 with glibc 2.39+ (for example, Ubuntu 24.04+)
  • Linux ARM64 with glibc 2.39+ (for example, Ubuntu 24.04+)

All three packaged binaries were exercised against the included example before
release and produced the expected semantic ID. See SHA256SUMS for archive hashes.

BHCP is not yet the complete planned parser, planner, runtime, SDK, or proof system.
Unsupported behavior fails closed rather than being silently accepted.

Assets 6
Loading