docs/notes — the design-notes map

` on line 1. -->

The exhaustive index of docs/notes/, grouped by status. CLAUDE.md's reference table carries the curated active pointers (the always-loaded working set); this is the full map. Regenerate with just notes-index; --check gates it in just fitness.

active (75)

Current living reference. Also pointed to by CLAUDE.md's reference index.

• OPEN_QUESTIONS.md — Open questions — the design-question ledger
• actor-sendable-design.md — Actor-send (!) sendable fragment — design (G7, POST-V1)
• calcjson-compiled-diagnosis.md — calc / json on the compiled + emitted paths — diagnosis
• calculated-typer-survey.md — Calculated type CHECKING — design inputs for a future ADR
• calm-as-grade-survey.md — CALM as a grade — can monotonicity be a coeffect in bang's row system?
• cap-gc-rep-design.md — First-class-capability GC rep — design (#133)
• carrier-inference-design.md — Carrier-inference design — closing #55's result-position instantiation-discovery gap
• categorical-architecture.md — The categorical reading of bang's architecture
• clone-triage.md — Clone triage — duplication census + the extraction map
• compiler-as-dbms-survey.md — Compiler-as-DBMS — design survey: the query-engine architecture for bang's tooling
• copy-kit.md — Copy kit — pitching bang accurately and hook-worthily
• ctr-design.md — Compute-then-return design map — lifting the ADR-0095 D4 ret-shape restriction (#44 exit gate)
• d5-param-handlers-design.md — D5 — parameterised handlers (handler memory): design probe with HOLD (#44 rung-2 face)
• design-space-map.md — Design-space map — the open language-design questions
• dev-env.md — Dev environment
• development-lifecycle.md — bang-lang development lifecycle
• distributed-story.md — The distributed-systems story — nondeterminism as an effect, the runtime as a handler
• distribution-survey.md — Distribution survey — a more accessible install story than "ride Nix"
• dogfood-calc-findings.md — Dogfood findings — a multi-module calculator written in bang
• dogfood-json-findings.md — Dogfood findings — a JSON parser/printer written in bang
• effect-algebra-survey.md — The algebra of effects and the effect-side lambda cube — design survey (R-series companion to R6)
• effect-sound-refoundation.md — effect_sound re-foundation — the three trace axioms → defs (Q14, 2026-07-12)
• effects-vs-cic.md — Effects vs the Calculus of (Inductive) Constructions — additive or derivative?
• emission-bignum-design.md — Emission bignum design — full ℤ on the WasmGC path (closing the rung-4/5 i64-wrap gap)
• emission-rung1-probe.md — Emission rung-1 probe — pure ⊥-row arithmetic → real .wat, run on wasmtime
• emission-rung3-design.md — Emission rung-3 design — transaction journal/rollback on Wasm (the ◊5.5 novelty rung)
• emission-rung4-design.md — Emission rung-4 design — closures + ADTs + recursion on WasmGC (the "nqueens compiles" rung)
• emission-rung5-design.md — Emission rung-5 design — unifying effects onto the GC path (the "closures + handlers" rung)
• explainer-series.md — Explainer series — the multi-sensory outline
• formatting-survey.md — Formatting-techniques survey — the design inputs for bang's multi-line layout (#58)
• god-file-seams.md — God-file seam map — split proposal for TypeCheck.lean/AbstractMachine.lean
• grade-poly-returner-consult.md — Consult note — the grade-polymorphic binop returner (F ∀q'), issue #115
• h1b-nearness-design.md — H1b — lexical nearness for module-qualified host performs (design pass, #127)
• host-io-design.md — Host-IO environment design — filesystem/network/ambient IO as effects + handlers
• increment-lifecycle.md — the incN lifecycle
• interactive-tour-design.md — Interactive language tour + in-browser playground — design
• kernel-substrate-survey.md — Kernel-as-substrate — design survey: the verified semantic substrate + the profile ladder
• lambda-cube-ascent-survey.md — Lambda-cube ascent — design survey (R6, ROADMAP §Pre-v1 research ladder)
• laws-taxonomy.md — The taxonomy of laws — model-shaped vs morphism-shaped, and where a property lives
• lean-comment-style.md — Lean comment convention (BANG)
• listdecl-injection-design.md — List-decl injection design — should the prelude ship data List a?
• loop-audit.md — Loop audit — feedback loops by radius
• memory-management-survey.md — Memory-management — design survey: param-passing handlers, the CBPV stack/heap split, and the heap ladder
• multishot-survey.md — Multi-shot resumption — empirical design inputs for the Q22 cap-rep fork
• mutual-rec-design.md — Mutual let rec / sibling forward-reference — design probe (#97 item 2)
• ndet-dst-design.md — Nondeterminism as an effect + a DST handler + the sim-KV hello-world — the first Stage-7 consumer
• os-inspiration-survey.md — OS-inspiration survey — what operating systems teach bang about resources, scheduling, and access policy
• proof-assets.md — Reusable proof assets (generated inventory)
• proof-export-survey.md — Proof export (Q43) — design survey: a bang law becomes a Lean proof goal, proved once, cached
• q38-handler-surface-survey.md — Handler surface + the module≟trait≟effect unification — empirical design inputs (Q38 / Stage-7)
• refinement-types-survey.md — Refinement types vs grades — design survey (R5, ROADMAP §Pre-v1 research ladder)
• rung5-s5-proofgrade-refutation.md — Rung-5 S5 proof-grade — the obligation, RE-FRAMED (one half done, one half unstateable in v1)
• sched-library-demo.md — Scheduler-as-handler, as ordinary library code — the ADR-0101 flagship demo
• scoped-cap-types-design.md — Scoped capability types — the post-v1 door ADR-0063 named, now concretely motivated (#134)
• spanned-surf-design.md — Spanned-Surf design — located errors + LSP-hover tier (#52)
• spec-handover.md — Spec handover — research/engineering interface
• spec-proof-discipline.md — Spec proof discipline
• stage5-lr-design.md — Stage-5 LR design map — the user-effect binary LR (#44 Stage 5)
• stage6-soundness-design.md — Stage 6 (soundness composition) — design map
• stage7-elab-probe.md — Stage-7 handle … with elaboration mechanics probe (#21 s7probe)
• stdlib-map.md — Standard-library map — the third stratum
• stdlib-prelude-survey.md — Prelude / standard-library survey — the common core
• stranger-test-1.md — Stranger test — round 1 (2026-07-09)
• stranger-test-2.md — Stranger test — round 2 (2026-07-10)
• stranger-test-3.md — Stranger test — round 3 (2026-07-10)
• stranger-test-4.md — Stranger test — round 4
• stranger-test-5.md — Stranger test — round 5 (pre-v0.2)
• structok-multiarg-design.md — structOK multi-arg / accumulator descent — design note (#50)
• tactics-survey.md — Lean 4 tactics + tooling survey (for bang-lang verification)
• traction-survey.md — Traction survey — how new-age languages got adopted, mapped to a bang plan
• traits-prelude-survey.md — Traits / typeclasses prelude survey — the census + the derivability matrix
• type-power-entry-design.md — Type-power wave — entry-slice design (Wave E, ROADMAP §Pre-v1 type-power ladder)
• verification-ladder.md — The verification ladder — quality gates for agent-speed code
• wasm-concurrency-survey.md — Wasm components + concurrency — how bang should model concurrent execution (design survey)
• wgcexec-calculation-plan.md — The calculated wgcexec machine — calculation plan + tractability spike (Wave D, 2026-07-12)

archival (12)

Spike / experiment / pivot record — input to a specific ADR; preserved, not current.

• calc-typer-experiment-findings.md — Experiment: does Cousot's calculate-the-rules method port to bang's graded CBPV?
• calculated-type-system-frontier.md — Calculating the type system — a post-v1 research frontier
• cap-representation-spike-findings.md — Cap-representation feasibility spike — findings (→ ADR-0053 GO on absolute caps)
• compiler-overview.md — bang-lang compiler overview — how it works (for the Lexa comparison)
• dispatch-verification-landscape.md — Effect-handler dispatch × verification — the landscape, and consequences for bang-lang
• envsem-survey.md — Environment / closure semantics — the design-space survey for #61's fix
• flagged-headline-triage.md — Flagged-headline triage (proof-debt lane, 2026-07-11)
• hang-61-diagnosis.md — Issue #61 diagnosis — the "hang" is per-step Comp.subst cost, not term blowup
• kernel-shell-library.md — Kernel / Shell / Library — the layering of bang-lang
• monadic-recast-spike-findings.md — Feasibility spike: recasting CalcReify's bisimulation into the Bahr–Hutton 2022 monadic frame
• scoped-capabilities-for-vcapfree-drop.md — Scoped capabilities — the #18 (drop-VcapFree) design record
• typed-static-pivot-scope.md — Scoping the typed + static-dispatch pivot

historical (2)

Pre-pivot narrative, honestly labelled; kept for the story, superseded by present docs.

• k2-calculation-playbook.md — K2 calculation — proof playbook
• k3-historical-status.md — K3 historical status (pre-ADR-0016 narrative)