Skip to content

README.md

Latest commit

 

History

History
53 lines (43 loc) · 3.62 KB

README.md

File metadata and controls

53 lines (43 loc) · 3.62 KB
Raw

Hum Decision Records

Date: 2026-07-06 Status: active decision index

Purpose

Decision records explain why major Hum design rails exist. They do not replace ../ARCHITECTURE.md, but they preserve the reasoning behind choices that future contributors should not reopen casually.

Use this directory for accepted or rejected decisions that materially affect language semantics, diagnostics, graph facts, tooling, profiles, security, standard library direction, backend strategy, or release posture.

Records

ID Status Decision
0001 accepted Adopt evidence-native architecture.
0002 accepted Use Rust bootstrap until staged self-hosting is proven.
0003 accepted Keep Milestone 0 local, offline-first, and non-executing.
0004 accepted Make tests first-class evidence with graph-linked obligations.
0005 accepted Keep external verifiers as evidence producers, not compiler authority.
0006 accepted Make resource, layout, and compile-time power explicit.
0007 accepted Adopt progressive disclosure and migration discipline.
0008 accepted Adopt a swappable backend ladder.
0009 accepted Adopt formal readability, not English mimicry.
0010 accepted Adopt an explicit state model.
0011 accepted Add checked resolver before execution.
0012 accepted Adopt snake_case identifiers, retire spaced names.
0013 accepted Remove the Number type; core numerics are Int and UInt.
0014 accepted (delegated, veto open) Adopt ownership and borrowing as the core model; Session V earns only the exact local direct-field writable-alias slice.
0015 accepted (delegated, veto open) Classify runtime contracts by proof and trust boundary before any elision.
0016 accepted under delegated authority (BDFL veto open) Require explicit nominal propagation and preserve causal failure sites.
0017 accepted under delegated authority (BDFL veto open) Make the executable app structural, source authority bounded, operator consent explicit, and native paths non-Text.
0018 accepted under delegated authority (BDFL veto open) Adopt open row-polymorphic effects with explicit capture guards.
0019 accepted (BDFL reserved matter) Relicense from AGPL-3.0 to Apache-2.0; add a trademark/name policy.
0020 accepted (design only; authorizes no implementation) Separate termination measures from quantitative loop bounds; pin a post-ownership termination stage; defer public may diverge:.

Template

A decision record should include:

  • status
  • context
  • decision
  • consequences
  • alternatives rejected
  • BDFL note

For feature proposals before a decision exists, use ../RFC_TEMPLATE.md.