Skip to content

Home

Jump to bottom
Sasha Lopashev edited this page Jul 21, 2026 · 44 revisions

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; complete deterministic AST parsing for v0 type, general function, predicate, and standalone refinement definitions from #100, complete goal headers, clauses, cases, calls, quantification, and nested compositions from #101, and closed policy, waiver, syntax/profile, and derived/native extension definitions from #102; the closed v0 value/type checker from #103, including canonical forms, generic bounds, nominal/structural subtyping, candidate-bound refinements, exact numerics, closed references, and recursive checked Dynamic boundaries; the complete total-pure S5 wire expression and pattern calculus from #104, including immutable construction, exact and checked numeric operations, exhaustive matching, casts, collections, and finite quantification; and deterministic source-defined function/predicate elaboration from #105, including bounded generic specialization, alpha-normalized bindings, canonical verifier configuration, and fail-closed retained-call resolution; 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; the audited bounded presentation-profile layer; and the machine-checked practical-v0 completion contract and reference program from #99. Ownership/effects, complete source-to-IR coverage, graph construction, planning, and complete execution remain roadmap work.
  • 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, the separate evidence-generalization milestone, and the fast required-CI milestone are reviewed, merged, and closed. #97 cut protected test feedback from 38:01 to about five minutes without dropping a target. In the open v0 — End-to-end constrained execution milestone, the frozen completion contract, all three source-parser slices, the complete value/type checker, the total expression/pattern calculus, and function/predicate elaboration #99–#105 are reviewed and merged. Ownership analysis #106, effect/authority analysis #107, extension lowering #110, and graph identity #113 form the ready frontier; the other 25 open issues remain dependency-blocked through final certification #134. BHCP v0 remains incomplete until those implementations and their evidence are reviewed and merged.

Start here

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

BHCP

Canonical sources

Clone this wiki locally