ECO-CANON-1: повний перехід на Canon + мовно-нейтральна таблиця функцій

[juv4uk]

Рішення власника — 2026-09-11

Повністю перевести my-lisp на Canon як єдину таблицю semantic identities і зробити повну machine-readable таблицю функцій/операцій.

Принцип

CANON = незмінна identity/meaning, не Environment і не display spelling. Назви поверхонь можуть змінюватися; meaning та semantic ID — ні. my-lisp тут є semantic authority.

Робота

• Аудитувати всі primitive/special-form/builtin/library identities, aliases, hard-coded spellings, локальні registry/table copies та місця, де ASCII-ім'я використовується як identity.
• Звести authority у Canon/semantic-registry та versioned language contract; generated projections мають походити з authority, а не копіювати факти вручну.
• Створити/довести до повноти machine-readable таблицю функцій з полями щонайменше: canonical identity, semantic ID, формальна семантична дія, surface/display projections, authority/owner, status (stable/provisional-stable/local-only), implementation projection і executable witness.
• У людському поданні таблиці surface-колонки мають іти в такому порядку: Українська → Повна українська → English → Sanskrit → інші наявні projections.
• Повна українська — окрема projection-колонка тієї самої semantic identity, а не нова identity і не друга реалізація. Вона призначена для повнослівного українського source-стилю: без локальних програмістських скорочень за замовчуванням; міжнародні технічні позначення можуть бути явно дозволені. До ратифікації конкретної назви клітинка може мати статус candidate/needs-review, але не повинна вгадуватися автоматично.
• Поточна Українська лишається compatibility/stable surface там, де це вже ратифіковано; перехід на повнослівну форму не повинен ламати старий код.
• Не робити display-рядок identity. Не допускати двох різних таблиць істини для однієї функції.
• Canon-факти мають формулюватися через спостережувану поведінку, без Rust-лексики як семантичної норми.
• Додати drift/mutation tests: зміна spelling не змінює identity; невідомий/відсутній semantic ID fail-closed; дубль/колізія identity відхиляється.

Acceptance

• Для всіх публічних/канонічних функцій є одна machine-readable identity row і чіткий статус.
• Кожен рядок явно показує Українська і Повна українська поруч; повна форма або заповнена, або чесно позначена як така, що потребує огляду.
• Surface aliases ведуть до тієї самої identity, а не до дубльованих реалізацій.
• Споживачі можуть генерувати свої projection tables із Canon без hand-copy.
• Existing conformance лишається green; нові negative/mutation witnesses доводять, що drift ловиться.

[juv4uk]

ECO-CANON-1 — first deliverable (2026-09-11)

Зроблено

• scripts/generate-function-table.py — projection semantic-registry.wsm → ft/1
  • колонки: uk → full-uk → en → sa (+ sym, primary, authority)
  • full-uk не вигадує назв (mirror stable/candidate uk; compat → needs-review)
  • --check для drift
• docs/ECO-CANON-1-STATUS-2026-09-11.md — статус + межі
• docs/CANON-MIGRATION-PLAN-2026-09-11.md (вже був) — consumer pattern

Локально (повна таблиця 161 rows)

python3 scripts/generate-function-table.py
# writes lib/generated/function-table.wsm + docs/generated/function-table.md
python3 scripts/generate-function-table.py --check
python3 scripts/check_semantic_registry.py

На момент коміту в git можуть бути скорочені stubs таблиць через ліміт payload агента — generator є джерелом повної проєкції; після прогону закомітити згенероване.

Ще по #75

• formal action prose / witness column
• CI --check job
• окрема ратифікація «Повна українська» де відрізняється від uk

Authority лишається лише lib/surface/semantic-registry.wsm.

[juv4uk]

ECO-CANON-1 — branch archaeology / implementation constraint (2026-09-13)

Після повної ревізії всіх гілок зафіксовано два старі Canon-експерименти, які не слід merge-ити як є, але їхній результат треба вважати evidence для #75.

1. fix/canon-builtin-semantic-identity

Експериментував з перехідним представленням на кшталт Builtin { semantic_id: Option<&'static str>, ... } і helper-ами Builtin::local(...), Builtin::semantic(...), builtin_semantic_id(), same_builtin_semantic_identity().

Корисний висновок: semantic identity не повинна залежати від адреси/екземпляра Rust builtin. Але ця модель усе ще зберігає identity всередині host mechanism, тому не є кінцевою архітектурою Canon.

Поточна гілка сильно розійшлася з main (9 ahead / 58 behind) і складається переважно з one-shot patcher/workflow artifacts. Не переносити її wholesale.

2. fix/canon-semantic-ref-slice

Експериментував з окремим Value::SemanticRef("<semantic-id>"), тобто з відділенням:

semantic identity = що це
implementation projection = як це зараз виконується

Це концептуально ближче до цілі #75 і майбутніх Rust/Lisp/WASM/GPU/FPGA projections.

Але експеримент дав важливий реальний failure у compiler corpus: compiled call path очікував, що target must be a builtin. Отже прихована залежність зараз така:

semantic call target
      ↓
compiler/invocation
      ↓
Rust Builtin required as identity

Архітектурний висновок для наступного зрізу

Не формулювати наступну роботу просто як «додати SemanticRef». Спочатку потрібно зробити окремий TDD-зріз:

compiler + invocation layer повинні нести semantic ID як call-target identity і лише потім резолвити implementation projection, не вимагаючи Rust Builtin pointer/value як самої identity.

Цільова форма:

surface
  ↓
Canon / semantic-registry
  ↓
opaque semantic ID
  ↓
semantic call target
  ↓
implementation resolution
  ├─ Rust
  ├─ Lisp/meta
  ├─ WASM
  ├─ GPU
  └─ FPGA/other MP

Дисципліна переносу

• не merge-ити старі automation patcher-гілки wholesale;
• спочатку RED-test, який доводить, що compiled call target може зберігати semantic identity незалежно від Rust Builtin identity;
• потім мінімальний GREEN;
• після цього вже вирішувати, чи кінцева репрезентація має бути SemanticRef, окремий SemanticCallTarget, чи інший opaque carrier;
• semantic authority лишається в semantic-registry/language contract; Rust-тип не стає новою таблицею істини.

Ці дві старі гілки після фіксації цього evidence можна вважати архівними експериментами, а не активною базою для merge.