3 Commits

Author SHA1 Message Date
Vijay Janapa Reddi
a33296df5f feat(vault): corpus licensed CC-BY-NC-4.0 (explicit user decision)
User concern: preventing commercial reuse of the corpus (e.g., a
vendor training a paid product on the questions, selling access to
them). CC-BY-NC-4.0 permits research citation + non-commercial
derivatives while requiring written permission for commercial use.

interviews/vault/questions/LICENSE (NEW)
  CC-BY-NC-4.0 full text with BibTeX template tied to release_hash.
  Commercial licensing contact noted.

interviews/vault/ARCHITECTURE.md §15 #1
  Marked DECIDED. Rationale recorded. vault-cli license
  intentionally left at historical status (not relicensed as part
  of this change).

interviews/vault/REVIEWS.md
  License state: DECIDED. Removed from Phase-3 blocker list.

interviews/CONTRIBUTING.md
  New 'License' section: NC constraint explicit. External corpus
  PRs assumed offered under same CC-BY-NC-4.0. Contact for commercial
  licensing specified.
2026-04-16 13:48:29 -04:00
Vijay Janapa Reddi
0ad41c693d docs(vault): architecture v2.2 + Round-3 ledger + paper-agree-by-SQL
ARCHITECTURE.md header bumped to v2.2. Full changelog block added
(v2.1 → v2.2) keyed to Round-3 finding IDs. §7.1 + §10.2 edited to
align X-Vault-Release soft-signal semantics with §6.1.1 (Soumith F-1).

REVIEWS.md §Round-3 added: per-reviewer verdicts (Chip YELLOW, Dean
YELLOW→GREEN, Soumith GREEN-conditional, David YELLOW→GREEN),
convergence map of 11 integrated items, explicitly-deferred list
(Cache API, breaker half-open, rate-limit KV, cross-lang hash path,
worker vitest, LSH dedup — all documented as Phase-3-entry gates).

CONTRIBUTING.md quickstart corrected (David R3-H5): step 3 dropped
the Phase-1+ 'doctor'/'stats' references; step 4 shows 'vault build'
before 'vault api' so the shim has something to serve.

paper/scripts/generate_macros.py rewritten as thin wrapper over
'vault export-paper' (B.1 — closes §20.5 #2 + #7). Uses
sys.executable -m vault_cli.main so PATH isn't required.

paper/macros.tex (regenerated): 66-line emission with both
\staffml* and legacy \num* namespaces. paper.tex needs no edits
during transition. Paper and site now agree by construction —
the structural fix for H-21 (9,199 vs 8,053) bug class.

paper/corpus_stats.json (regenerated): full superset of the v1
analyze_corpus.py output, driven by SQL over vault.db with
'by_zone', 'by_level', 'by_track', chain 'by_length' distribution,
'bloom_distribution' (zone→bloom derived mapping), applicability.
2026-04-16 13:10:16 -04:00
Vijay Janapa Reddi
6dff01c065 docs(vault): Phase 0 documentation deliverables
EVOLUTION.md (fixes H-1 from REVIEWS.md)
  Schema-version rules: SemVer semantics (additive-minor implicit,
  breaking-major bumps schema_version). Loader contract across
  versions. vault migrate-schema mechanics: parallel tree, forward/
  rollback functions, --dry-run, failure log. Mixed-version PRs
  forbidden — CI rejects. Canonicalization-version (CANON_VERSION)
  bumps separate from schema_version. Historical record stub.

EXIT_CODES.md
  Stable exit-code taxonomy table with rationale for each category
  (0 vs 1, 1 vs 2, 3 vs 4, 5 as user-abort). Usage in code, tests,
  JSON output. Evolution policy: add new codes, never renumber.

JSON_OUTPUT.md
  Common envelope: {ok, exit_code, exit_symbol, command,
  cli_version, data, errors, warnings}. Per-command schemas for
  check, stats, verify, doctor, diff. LSP-diagnostic shape for
  check errors. --json-schema meta-command prints per-command
  JSON Schema.

CONTRIBUTING.md (fixes H-17)
  Quick-start path from clone → local site serving a question in
  ≤10min target. What can be contributed, workflow, PR review.
  Provenance-honesty rules. Author attribution via
  vault/contributors.yaml. Phase-by-phase scope of what works today
  vs what lands later.

All four are referenced directly from ARCHITECTURE.md sections.
2026-04-15 21:25:52 -04:00