iter 22-tidy.3: prose-lib — drop 22b.4 reference from class/instance placeholder

crates/ailang-prose/src/lib.rs

@@ -77,27 +77,27 @@ fn write_def(out: &mut String, def: &Def, level: usize) {
         Def::Type(td) => write_type_def(out, td, level),
         Def::Fn(fd) => write_fn_def(out, fd, level),
         Def::Const(cd) => write_const_def(out, cd, level),
-        // Iter 22b.1: ClassDef / InstanceDef render as a single-line
+        // ClassDef / InstanceDef render as a single-line placeholder
-        // placeholder so prose round-trip survives a module that
+        // so prose round-trip survives a module that contains them.
-        // contains them. The full Form-B projection (mirror of the
+        // The full Form-B projection (mirror of the Form-A schema,
-        // ClassDef / InstanceDef Form-A schema, with method bodies
+        // with method bodies re-indented and superclass / default
-        // re-indented and superclass / default markers spelled out)
+        // markers spelled out) is queued post-22 — `crates/ailang-prose`
-        // is deferred to 22b.4 alongside the prose-roundtrip parser
+        // is one-way (no parser by design), so the placeholder is
-        // arms. The placeholder is informational only — the prose
+        // informational only and the round-trip mediator does not
-        // round-trip mediator does not yet read these forms back.
+        // read these back.
         Def::Class(c) => {
             indent(out, level);
             out.push_str("// (class ");
             out.push_str(&c.name);
             out.push(' ');
             out.push_str(&c.param);
-            out.push_str(") -- 22b.4 will render full Form-B\n");
+            out.push_str(") -- full Form-B projection deferred (post-22)\n");
         }
         Def::Instance(i) => {
             indent(out, level);
             out.push_str("// (instance ");
             out.push_str(&i.class);
-            out.push_str(") -- 22b.4 will render full Form-B\n");
+            out.push_str(") -- full Form-B projection deferred (post-22)\n");
         }
     }
 }