Skip to content

SPEC_INDEX.md

Latest commit

 

History

History
117 lines (96 loc) · 10.1 KB

SPEC_INDEX.md

File metadata and controls

117 lines (96 loc) · 10.1 KB
Raw

Status (2026-06-22): Current-with-noted-drift. Normative map + descriptive inventory. All linked paths resolve, but: line 101 'AGENTS.md §1.13' is stale (now §1.11/§1.12, §2.4); and three normative docs AGENTS.md itself cites are missing from the index — DISCIPLINE_GATES.md, UNIFIED_BENCH_CONTRACT.md, FI_JOHTOLAUSE_SURFACE_PARSER_CONTRACT.md (plus NZ/NO/SE status docs, indexed only for US).

LawVM Spec Index

Status: current public/spec index for the v0.1 release line. Kind: normative map plus compact descriptive inventory.

This file points to the documents that should be treated as current for the public v0.1 release line. Historical internal work queues and investigation packets are not part of the public source tree.

Spec Kinds

LawVM separates three kinds of documents:

  • Normative: cleanroom contracts and phase boundaries. These define the target architecture.
  • Descriptive: current implementation state, migration seams, and active frontend status.
  • Explanatory: theory, design rationale, and long-term proof direction.

If a new idea changes the target, update a normative spec. If it documents current implementation reality, update a descriptive note. If it only motivates the architecture, keep it explanatory.

Release-Facing Docs

Normative Core

Finland Reference Frontend

  • FINLAND_FRONTEND_ELABORATION_ARCHITECTURE.md
  • FINLAND_CLAUSE_AST_SPEC.md
  • FINLAND_PAYLOAD_IR_SPEC.md
  • FINLAND_XML_INGEST_ONLY_SOURCE_MODEL.md
  • FINLAND_ELABORATION_RULES.md
  • FINLAND_ELABORATED_GROUP_SPEC.md
  • FINLAND_SPARSE_SUBSECTION_SLOT_SPEC.md
  • FI_AMENDMENT_DRAFTING_GRAMMAR.md — best-practice johtolause drafting guide derived from the per-rule register tiers (32 canonical / 7 accepted / 22 discouraged / 5 archaic)
  • FI_REFERENCE_CATALOGUE.md — living catalogue of Finnish citation/reference families: resolution-status ladder + determinism tiers (T1/T2/T3), the typed-overlay IR model (references as H1 of the Legal Surface Algebra), per-family table + detail cards, recognizer inventory (wired vs standalone), typed-primitive/status map, registry/convention dependencies, verification matrix, coverage ledger
  • FINLAND_PERIODIC_TABLE.md — Finland abstraction axes (phase/structure/time/provenance/evidence/instrumentation); filled cells, open holes, proof-projector split map; machine catalog in src/lawvm/finland/periodic_table.py
  • LEGAL_SURFACE_GRAPH.md — canonical spec for the Legal Surface Graph: node/edge model + source-anchored identity, lens producers, the surface_only/replay_authorized authority firewall, typed residue + token-partition/coverage certificate, the SourceSyntaxGraph forest (totality certifier, not yet sole producer), bitemporal broken-ref detection, and the projection consumers. The spine the catalogue's H1 plugs into. Core algebra src/lawvm/core/legal_surface_{graph,assembler,lens,lints,tokens}.py; Finland lenses src/lawvm/finland/legal_surface/; E2E entry lawvm surface-graph <id> (full code map in the spec).

Other Frontends

  • ESTONIA_FRONTEND_LIVING_SPEC.md
  • ESTONIA_GUARD_LIVENESS_DISCIPLINE.md — EE guard-liveness ratchet: every blocking CompileAdjudication rule_id is partitioned into fire-drills or a debt allowlist with a monotone-decreasing ceiling
  • UK_FRONTEND_ELABORATION_ARCHITECTURE.md
  • UK_REPLAY_LIVING_SPEC.md
  • UK_REPLAY_REGIME_CONTRACT.md
  • UK_OFFICIAL_DRAFTING_SOURCE_LEDGER.md — per-statute UK official drafting-source rules
  • US_LAWVM_STATUS.md — U.S. federal frontend status/limits/roadmap: witness-anchored dry-run over keyless govinfo PLAW USLM source + USC annual-edition htm oracle; coverage, lowering-gap residual classes, geo-block reality
  • SWEDEN_LAWVM_STATUS.md — Sweden frontend status/limits/roadmap: official SFS PDF → clause surface → payload surface → elaboration → effects plan → lowering → replay with typed recovery ladder; unified bench comparator; typed conservation receipt (§1.8 FilterResult); observed-write-audit (§2.3 receipt contract, first step); structured replay outcome; ~1% genuine mismatch on 500-act sample, 0% error rate
  • NEW_ZEALAND_LAWVM_STATUS.md — New Zealand frontend status/limits/roadmap
  • NORWAY_LAWVM_STATUS.md — Norway frontend status/limits/roadmap
  • OPEN_LAW_FRONTEND_SPEC.md
  • OPEN_LAW_REGIME.md

Evidence and Verification

Theory and Long-Term Design

Current Implementation Maps

  • LAWVM_ARCHITECTURE_INDEX.md
  • LAWVM_STACK_MAP.md
  • REGEX_TO_GRAMMAR_MIGRATION.md — when string matching stays regex (lint + prefilter) vs becomes a named recognizer/spec; applies AGENTS.md §1.11/§1.12 (regex/recognizer firewall) + §2.4
  • IMPLEMENTATION_DIVERGENCE_LEDGER.md — current target-vs-implementation gaps + active work queue
  • ARCHITECTURE_LEAK_LEDGER.md — EV-ranked backlog of representation/typing/authority leaks vs LAWVM_PIPELINE_CONTRACT.md (audit-and-enforce, not rewrite); 27 ranked sites + 2 CI-gate specs + 2 seam candidates from the e2e architecture-coherence audit
  • LAWVM_INVARIANT_GENERATOR_V0.md — the METHOD the registry is generated from (Pro-blessed 2026-06-23): "no public claim without a live accounting path"; the 12-field InvariantSpec, 6 axes (planes × waists × object-kinds × transform-verbs × failure-classes × public-claims), the 12-question generator, the 9-bucket stopping rule (forbidden = implicit convention), and 15 under-covered families to fold (INV-META/POL/SRC-LINEAGE/TIME-AXIS/SCOPE/SEL/WRITE/SCHED/PROJ/OVL/SIG/CORPUS/NEG/DET/REGEX)
  • INVARIANT_DISCIPLINE_AND_PRECEDENT.md — standalone account of the total-invariant-mining discipline: precise statement, its lineage (Design-by-Contract, HAZOP/FMEA, DO-178C/ISO-26262 traceability, proof-carrying code & CompCert/seL4, assertion-based auditing, Jepsen/mutation-testing), what is genuinely novel (HAZOP-generator over a compiler's typed waists + proof-carrying certs + per-unit totality, transferred to law; guard-liveness as a non-optional completion field), how it manifests in LawVM artifacts, and honest limits (bounds the claim surface not the world; evidence- not proof-carrying; oracle-fallible floor)
  • LAWVM_AUDIT_INVARIANT_REGISTRY.md — complete a-priori audit/invariant coverage map: 78 distinct audits across 6 planes from 8 generative axes (planes/waists/§1.x/prime-directive-facts/temporal-determinism/certificate/meta-overlay/cross-jurisdiction); 31 implemented / 27 partial / 20 open, 44 new beyond the UK roadmap; ranked OPEN next-tier roadmap + adversarial completeness self-critique. Subsumes the UK-checkout LAWVM_AUDIT_REGISTRY_ROADMAP.md
  • FINLAND_COVERAGE_GAP_REPORT.md — Finland projection freshness / coverage snapshot