docs: refresh language spec to v0.7 and discover spec path in tests

Fold the recent surface additions (`?` on Option, default params,
constants, tuples, list slice patterns, #lower_name, generated-namespace
isolation) into the spec, bump the version to v0.7, and replace the
historical changelog blocks with a current "Implemented surface" status
index plus the existing future-directions section.

Tests no longer hard-code the spec version: a common helper discovers
docs/RSScript_v*_Spec.md (and the package-manager design doc) by name
shape, and the dynamic-dispatch assertion is version-agnostic.

Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>

Author: olwang

README.md

@@ -208,7 +208,7 @@ The product core is the review protocol: `.rssi` semantic contracts, structured
 
 Before AI, writing code was expensive and reviewing was manageable. That ratio has flipped: generating is cheap, reviewing is the bottleneck. RSScript is designed for the new ratio: AI writes, the compiler checks semantic boundaries, humans focus on the *risk*. What mutates, what gets retained, who owns a resource, where you cross into native or unsafe, what changed in a public API — all of it lives in the signature and in machine-readable diagnostics.
 
-This discipline is binding, not aspirational: the language specification opens with a [Constitution](docs/RSScript_v0.6_Spec.md#constitution) of nine articles that govern every design decision — most importantly that constraint is the product, that review-critical behavior must be explicit in the signature, and that a feature is admitted only if it phrases as a reviewer question and needs no implicit rule to be ergonomic. Restraint is anchored to a measurable property (review cost), which is what keeps it from eroding as the language grows.
+This discipline is binding, not aspirational: the language specification opens with a [Constitution](docs/RSScript_v0.7_Spec.md#constitution) of nine articles that govern every design decision — most importantly that constraint is the product, that review-critical behavior must be explicit in the signature, and that a feature is admitted only if it phrases as a reviewer question and needs no implicit rule to be ergonomic. Restraint is anchored to a measurable property (review cost), which is what keeps it from eroding as the language grows.
 
 ---
 

crates/rsscript/tests/checker_package/lock_metadata.rs

@@ -511,8 +511,7 @@ risk = "unknown"
 
 #[test]
 fn package_manager_spec_uses_implemented_provider_resolution_manifest_shape() {
-    let root = common::workspace_root();
-    let spec = fs::read_to_string(root.join("docs/RSScript_Package_Manager_Design_v0.6.md"))
+    let spec = fs::read_to_string(common::package_manager_spec_path())
         .expect("package manager spec should be readable");
 
     for stale in ["[provider]", "mode = \"platform_provided\""] {

crates/rsscript/tests/checker_package/misc.rs

@@ -9,12 +9,17 @@ fn docs_do_not_reintroduce_legacy_gc_runtime_surface() {
     let legacy_runtime_path = ["rsscript_runtime::", "G", "c"].concat();
     let legacy_review_category = ["safe", "_to_", "skip"].concat();
 
-    for relative_path in [
-        "README.md",
-        "docs/RSScript_v0.6_Spec.md",
-        "docs/RSScript_Package_Manager_Design_v0.6.md",
+    for doc_path in [
+        root.join("README.md"),
+        common::language_spec_path(),
+        common::package_manager_spec_path(),
     ] {
-        let source = fs::read_to_string(root.join(relative_path))
+        let relative_path = doc_path
+            .strip_prefix(&root)
+            .unwrap_or(&doc_path)
+            .display()
+            .to_string();
+        let source = fs::read_to_string(&doc_path)
             .unwrap_or_else(|error| panic!("{relative_path} should read: {error}"));
 
         assert!(
@@ -34,8 +39,7 @@ fn docs_do_not_reintroduce_legacy_gc_runtime_surface() {
 
 #[test]
 fn package_manager_spec_uses_current_http_and_env_facade_shapes() {
-    let root = common::workspace_root();
-    let spec = fs::read_to_string(root.join("docs/RSScript_Package_Manager_Design_v0.6.md"))
+    let spec = fs::read_to_string(common::package_manager_spec_path())
         .expect("package manager spec should be readable");
 
     for stale in [
@@ -67,8 +71,7 @@ fn package_manager_spec_uses_current_http_and_env_facade_shapes() {
 
 #[test]
 fn rss_spec_keeps_protocol_dynamic_dispatch_deferred() {
-    let root = common::workspace_root();
-    let spec = fs::read_to_string(root.join("docs/RSScript_v0.6_Spec.md"))
+    let spec = fs::read_to_string(common::language_spec_path())
         .unwrap_or_else(|error| panic!("RSScript spec should read: {error}"));
 
     for forbidden in [
@@ -80,10 +83,10 @@ fn rss_spec_keeps_protocol_dynamic_dispatch_deferred() {
     ] {
         assert!(
             !spec.contains(forbidden),
-            "v0.6 protocol dynamic dispatch must remain deferred, found `{forbidden}`"
+            "protocol dynamic dispatch must remain deferred, found `{forbidden}`"
         );
     }
-    assert!(spec.contains("Dynamic dispatch (deferred, not admitted in v0.6)"));
+    assert!(spec.contains("Dynamic dispatch (deferred, not admitted in v"));
     assert!(spec.contains("The only implemented and specified protocol call form is"));
     assert!(spec.contains("explicit `Protocol.method(...)` dispatch"));
 }

crates/rsscript/tests/common/mod.rs

@@ -31,6 +31,40 @@ pub fn workspace_root() -> PathBuf {
     crate_root().join("../..")
 }
 
+/// Locate the language spec under `docs/` by its stable, version-independent
+/// name shape `RSScript_v<version>_Spec.md`, so tests never hard-code the spec
+/// version. Panics if zero or more than one match is found.
+pub fn language_spec_path() -> PathBuf {
+    find_versioned_doc("RSScript_v", "_Spec.md")
+}
+
+/// Locate the package-manager design doc by its version-independent name shape
+/// `RSScript_Package_Manager_Design_v<version>.md`.
+pub fn package_manager_spec_path() -> PathBuf {
+    find_versioned_doc("RSScript_Package_Manager_Design_v", ".md")
+}
+
+/// Find exactly one file in `docs/` whose name starts with `prefix` and ends
+/// with `suffix` (the span between them is the version and is not constrained).
+fn find_versioned_doc(prefix: &str, suffix: &str) -> PathBuf {
+    let docs = workspace_root().join("docs");
+    let mut matches: Vec<PathBuf> = fs::read_dir(&docs)
+        .unwrap_or_else(|error| panic!("docs/ should be readable: {error}"))
+        .filter_map(|entry| entry.ok().map(|entry| entry.path()))
+        .filter(|path| {
+            path.file_name()
+                .and_then(|name| name.to_str())
+                .is_some_and(|name| name.starts_with(prefix) && name.ends_with(suffix))
+        })
+        .collect();
+    matches.sort();
+    match matches.as_slice() {
+        [path] => path.clone(),
+        [] => panic!("no docs/ file matched `{prefix}*{suffix}`"),
+        many => panic!("expected exactly one docs/ file matching `{prefix}*{suffix}`, found {many:?}"),
+    }
+}
+
 pub fn runtime_path() -> String {
     workspace_root()
         .join("crates/runtime")

docs/README.md

@@ -8,7 +8,7 @@ LLMs); everything else lives here.
 
 | Doc | What it governs |
 |-----|-----------------|
-| [RSScript_v0.6_Spec.md](RSScript_v0.6_Spec.md) | The language. Opens with a binding **Constitution** (Articles I–IX) that overrides every chapter. |
+| [RSScript_v0.7_Spec.md](RSScript_v0.7_Spec.md) | The language. Opens with a binding **Constitution** (Articles I–IX) that overrides every chapter. |
 | [RSScript_Package_Manager_Design_v0.6.md](RSScript_Package_Manager_Design_v0.6.md) | The package manager (`rss pkg`): `.rssi` contracts, `rsspkg.toml`/`.lock`, semantic dependency review. |
 | [Review_Evidence_IR_Spec_v0.2.md](Review_Evidence_IR_Spec_v0.2.md) | REIR — the review-evidence IR consumed by `--reir` tooling and CI gates. |
 | [ARCHITECTURE.md](ARCHITECTURE.md) | Module boundaries of the checker/lowering implementation. |