Home

BHCP

Beyond Human-Centric Programming (BHCP) is an experiment in making intent, authority, limits, and required evidence first-class program meaning. A person states what must be true and what may happen; machines remain free to discover an acceptable execution without silently weakening the contract.

BHCP is early but executable. The repository is not claiming a complete language, planner, runtime, or SDK.

Current maturity

• Implemented: a safe-Rust canonical-source slice; typed canonical AST and semantic IR; deterministic CBOR; SHA3-512 algorithm-tagged identities; CDDL validation; a minimal reducer kernel; self-hosted all and homogeneous-output any; and registered-verifier/evidence-bundle foundations.
• Measured: five checked-in coding-agent pilots. The strongest frozen case shows canonical policy order preventing one plausible prose-only error, while the broader evidence remains mixed and explicitly limited.
• In progress: Pilot 006, a harder ordered-policy benchmark, is atomically claimed.
• Planned: complete the self-hosted goal algebra with none, chain, and gate, make evidence reproducible in-session, enforce monotonic user/organization policy, then add safe custom presentation profiles.

Start here

• Purpose — the problem, intended users, success measures, and non-goals.
• Architecture and Approaches — the semantic pipeline and minimal trusted core.
• Development and Operations — the Rust toolchain, quality gates, and current operational limits.
• Roadmap and Agentic Workflow — live milestones, dependencies, claims, review, and merge rules.
• Decisions and Interesting Bits — concise decisions and experiment findings.

The repository remains the source of truth: README, vision, normative semantics, CDDL bundle, and conformance catalog.