docs: consolidate language repository index
ober
4f5bc2e7acdfd7fcbc50f018f2ec5860b8dcfda0
--- a/docs/index.md +++ b/docs/index.md @@ -60,6 +60,7 @@ or status document links them as implemented behavior. - [reader-syntax.md](reader-syntax.md) - brackets, method dispatch braces, keywords, module paths, strings, and regex literals - [pattern-matching.md](pattern-matching.md) - literals, destructuring, predicates, guards, views, active patterns, and sealed hierarchies - [typing.md](typing.md) - gradual typing and runtime assertions +- [typed-kotlin.md](typed-kotlin.md) - typed subset Kotlin backend notes - [contracts.md](contracts.md) - runtime contracts and checked boundaries - [sequences.md](sequences.md) - lazy sequences, reducers, transducers, and data tables - [data-structures.md](data-structures.md) - persistent collections, weak collections, relations, and equality helpers @@ -138,6 +139,9 @@ Design background: - [ffi-audit.md](ffi-audit.md) - current native/FFI audit inventory and remaining remediation gates - [wasm.md](wasm.md) - WebAssembly compiler and runtime - [wasm-example.md](wasm-example.md) - worked WASM examples +- [wasm-gc-bootstrap.md](wasm-gc-bootstrap.md) - WASM GC bootstrap plan and constraints +- [wasm-gc-backend-handoff.md](wasm-gc-backend-handoff.md) - backend handoff notes for WASM GC work +- [wasm-gc-goeteia-parity.md](wasm-gc-goeteia-parity.md) - WASM GC parity checklist - [slang.md](slang.md) - secure static subset for hardened binaries ## Runtime And Performance @@ -147,6 +151,7 @@ Design background: - [chez-limits.md](chez-limits.md) - runtime bottlenecks and mitigations - [Chez-changes.md](Chez-changes.md) - local Chez runtime changes - [chez-gc-findings.md](chez-gc-findings.md) - GC behavior and tuning notes +- [gc-improvement.md](gc-improvement.md) - GC improvement roadmap and validation notes - [optimization.md](optimization.md) - compiler tuning and WPO - [cp0-passes.md](cp0-passes.md) - user-defined `cp0` passes - [partial-evaluation.md](partial-evaluation.md) - partial evaluation @@ -156,6 +161,7 @@ Design background: ## Tooling - [devex.md](devex.md) - debugger, profiler, hot reload, and developer tooling +- [browser-repl-plan.md](browser-repl-plan.md) - browser REPL architecture plan - [repl-protocol.md](repl-protocol.md) - TCP REPL protocol - [rocks.md](rocks.md) - REPL and standard-library showcase - [testing-and-infrastructure.md](testing-and-infrastructure.md) - tests, property checks, profiling, and config @@ -163,6 +169,7 @@ Design background: ## Project Context - [Philosophy.md](Philosophy.md) - project values and design constraints +- [model-coding-guidance.md](model-coding-guidance.md) - repository-specific guidance for model-assisted code work - [gerbil-like.md](gerbil-like.md) - Gerbil-style macro compatibility notes - [vs-rust.md](vs-rust.md) - Jerboa and Rust tradeoffs - [finalizer-safety-net.md](finalizer-safety-net.md) - finalizer warning policy for resources --- a/docs/kimi3-security-recommmendations.md +++ b/docs/kimi3-security-recommmendations.md @@ -1070,7 +1070,9 @@ fix must add its scanner rule in the same commit (write it into `docs/reviews/`, and this file is only the roadmap/handoff. `SECURITY.md` points to the same hierarchy. `README.md` now points to `docs/index.md` as the maintained map instead of carrying a parallel long-form documentation - catalogue. + catalogue. As of 2026-07-28, every tracked top-level Markdown file under + `docs/` is represented in `docs/index.md`; untracked draft files must not be + linked from the maintained map until they are intentionally added. - `ai-threat.md`'s comparative table already reflects TUF, signatures, transparency, SBOM, OSV, and content-addressed artifacts; its SQL status now reflects the literal-SQL, parameterized safe-prelude surface.