my-lang/ANCHOR.scope-arrest.2026-01-01.Jewell.scm at main · hyperpolymath/my-lang · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
;; SPDX-License-Identifier: MPL-2.0
;; SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>

;; ANCHOR.scope-arrest.2026-01-01.Jewell.scm  (my-lang)
(define anchor
  '((schema . "hyperpolymath.anchor/1")
    (repo . "hyperpolymath/my-lang")
    (date . "2026-01-01")
    (authority . "repo-superintendent")
    (purpose . ("Contain scope; make one dialect real; quarantine the rest."))
    (identity
      . ((project . "My")
         (kind . "progressive-reveal language")
         (domain . "multi-dialect (Me/Solo/Duet/Ensemble)")
         (one-sentence . "A language family with progressive complexity levels; only one level is authoritative in f0.")))

    (semantic-anchor
      . ((policy . "dual")
         (reference-impl . ("Solo dialect interpreter is authoritative in f0"))
         (formal-spec . ("SPEC.core.scm defines Solo syntax/semantics only"))
         (dialect-policy
           . ("In f0: only SOLO is in-scope."
              "Other dialects must be tagged 'planned' and MUST NOT ship partial semantics."))))

    (allowed-implementation-languages
      . ("Rust"))
    (quarantined-optional
      . ("AI integration hooks (must be stubbed/offline in tests)"
         "SSG and extra tooling"))
    (forbidden
      . ("Implementing multiple dialects in f0"
         "Network-required builds"
         "Adding new host languages"))

    (golden-path
      . ((smoke-test-command . "cargo test && cargo run -- run examples/hello.ml")
         (success-criteria . ("Solo example parses+runs"
                              "invalid Solo programs fail deterministically"
                              "no network access required"))))

    (first-pass-directives
      . ("Freeze a minimal Solo grammar and evaluator."
         "Move other dialect docs into ROADMAP only (no partial code)."
         "Create conformance corpus for Solo."))

    (rsr
      . ((target-tier . "bronze-now") (upgrade-path . "silver-after-f1")))))