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, homogeneous-output any, none, typed causal chain, and unary typed gate with complete algebra conformance; a contract-bounded bhcp verify project-registry path; a capability-bounded local verifier process runner; deterministic targeted evidence bundles; a fail-closed coding-agent experiment controller; monotonic layered policy with scoped, expiring, auditable waivers; and the audited bounded presentation-profile layer.
• Measured: the Phase 2 audit classifies six pilots, four multi-seed attempts, and one registered-evidence forward run without retroactive promotion. The hardened registered results are valid negatives: 0/5 contextual-policy candidates and 0/1 in-session-evidence candidates accepted. The later preregistered studies also returned null results: positive registered-adapter use and acceptance were 0/12 in #92, while both prose and BHCP arms accepted 0/12 in #93; all 24 comparative claims were conservatively calibrated. These small, single-model studies support neither an advantage nor equivalence.
• Roadmap: Phases 1–4 and the separate evidence-generalization milestone are reviewed, merged, closed, and covered by checked-in evidence. #91 froze the studies before execution; #92 and #93 preserve every session and the exact null analyses. BHCP v0 remains incomplete.

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.