diff --git a/docs/HYPERTWIST_ALGORITHM_LANGUAGE_AND_TRAINING_SEMANTIC_HIERARCHY_RECONCILIATION_2026-05-27.md b/docs/HYPERTWIST_ALGORITHM_LANGUAGE_AND_TRAINING_SEMANTIC_HIERARCHY_RECONCILIATION_2026-05-27.md new file mode 100644 index 0000000..7189d2e --- /dev/null +++ b/docs/HYPERTWIST_ALGORITHM_LANGUAGE_AND_TRAINING_SEMANTIC_HIERARCHY_RECONCILIATION_2026-05-27.md @@ -0,0 +1,196 @@ +# HyperTwist Algorithm-Language And Training-Semantic Hierarchy Reconciliation - 2026-05-27 + +## Status + +This document is the source-backed reconciliation note for the current +algorithm-language and training-semantic family across: + +- `cubing/alg.js` +- the landed first-party `HyperTwistAlgorithm/*` owner lane +- the current first-party training-runtime consumer surfaces +- adjacent classic-cubing semantics and viewer/runtime lanes that must not + absorb this donor + +It answers one narrow question: + +- does the current `cubing/alg.js` source require reopening the landed bounded + first-party algorithm-language owner lane before any future semantic, + consumer, or shell packet is considered + +Result: + +- no product-code reopening is required +- yes selective authority backfill is required so candidate-era metadata no + longer understates the already-landed owner lane +- the exact current owner slice remains narrow: algorithm-language parser, AST, + traversal, validation, keyboard mapping, and share/interchange semantics + +## Source basis + +- `C:\HyperTwist\docs\HYPERTWIST_PHASE_0R_PACKET_0R_D_EVALUATION_2026-05-13.md` +- `C:\HyperTwist\docs\REPO_LICENSE_TRACKING.md` +- `C:\HyperTwist\docs\v6_5_deep_manual_pack\HyperTwist\FEATURE_REGISTRY.md` +- `C:\Workspaces\HyperTwist\repos.manifest.json` +- `C:\Workspaces\HyperTwist\clean-room-specs\cubing-alg-js.model-a.md` +- `C:\Workspaces\HyperTwist\clean-room-specs\outputs\cubing-alg-js.model-b-reconciled.md` +- `C:\Workspaces\HyperTwist\mirrors\restrictive\cubing\alg.js\README.md` +- `C:\Workspaces\HyperTwist\mirrors\restrictive\cubing\alg.js\src\parser.ts` +- `C:\Workspaces\HyperTwist\mirrors\restrictive\cubing\alg.js\src\json.ts` +- `C:\Workspaces\HyperTwist\mirrors\restrictive\cubing\alg.js\src\traversal.ts` +- `C:\Workspaces\HyperTwist\mirrors\restrictive\cubing\alg.js\src\validation.ts` +- `C:\Workspaces\HyperTwist\mirrors\restrictive\cubing\alg.js\src\keyboard.ts` +- `C:\Workspaces\HyperTwist\mirrors\restrictive\cubing\alg.js\src\url.ts` +- current first-party runtime and test authority under: + - `C:\HyperTwist\UnrealHyperTwist\Source\UnrealHyperTwist\Public\HyperTwistAlgorithm` + - `C:\HyperTwist\UnrealHyperTwist\Source\UnrealHyperTwist\Private\HyperTwistAlgorithm` + - `C:\HyperTwist\UnrealHyperTwist\Source\UnrealHyperTwist\Private\HyperTwistTraining\HyperTwistTrainingRuntimeLibrary.cpp` + +## Slice-local verdict + +| Slice | Primary authority | Secondary value kept | Route | Width | Result | +| --- | --- | --- | --- | --- | --- | +| Algorithm-language parser, owned AST, traversal, validation, keyboard mapping, and share/interchange semantics | first-party `HyperTwistAlgorithm/*` lane grounded in `cubing/alg.js` | retained donor lineage only | `R3` | `F2` | unchanged live implementation owner | +| Training-runtime parse/store/serialize adoption of the active algorithm sequence | first-party training runtime | `cubing/alg.js` remains upstream lineage only | existing first-party route | `F2` | unchanged consumer owner | +| Broader classic-cubing semantics, puzzle-state ownership, and viewer/runtime shells | `cubing/cubing.js`, `cubing/twisty.js`, and first-party runtime owners | none required from `cubing/alg.js` | existing adjacent routes | `F2` | unchanged adjacent owners | + +## Why no product-code reopening is required + +### `cubing/alg.js` + +The donor still owns the narrow algorithm-language center of gravity: + +- parser boundary +- durable immutable AST family +- traversal and transform behavior +- validation profiles and structured issues +- keyboard-to-move mapping +- URL/share and structured interchange helpers + +That retained slice is still the correct one. It does not widen into puzzle +state, runtime, viewer, device, or solver ownership. + +### Landed first-party owner lane + +The first-party owner lane is already live and closed in current code: + +- public owner surfaces exist under `Public/HyperTwistAlgorithm` +- private implementation surfaces exist under `Private/HyperTwistAlgorithm` +- current training-runtime adoption is already wired through + `UHyperTwistTrainingRuntimeLibrary::ParseAlgJs` and `SerializeAlgJs` +- the repo-local reconciled note already records `Bounds 1-4 closed` +- automation coverage exists in `HyperTwistAlgorithmAutomationTests.cpp` + +That means the same-bound owner work is already landed. This pass does not find +an owner-side gap that justifies reopening it. + +### Current training-runtime consumer seam + +The checked consumer seam is narrow and appropriate: + +- training runtime parses text through the first-party parser +- training runtime stores the active algorithm sequence in the training + subsystem +- training runtime serializes back through the first-party serializer + +That is consumer adoption above the owner lane, not evidence that the +algorithm-language lane itself is still incomplete. + +## Selective backfill result + +### Earlier packet reopened + +- `C:\HyperTwist\docs\HYPERTWIST_PHASE_0R_PACKET_0R_D_EVALUATION_2026-05-13.md` + +### Earlier standing note reopened + +- `C:\Workspaces\HyperTwist\clean-room-specs\cubing-alg-js.model-a.md` + +### Manifest row reopened + +- `C:\Workspaces\HyperTwist\repos.manifest.json` + +### Additional canon reopened + +- `C:\HyperTwist\docs\REPO_LICENSE_TRACKING.md` +- `C:\HyperTwist\docs\v6_5_deep_manual_pack\HyperTwist\FEATURE_REGISTRY.md` + +### Reason + +The landed lane itself was already correct. The stale part was the metadata: + +- the canonical `Model A` handoff still described the row as not yet verified + live +- the manifest row still preserved the older reset-era wording +- the tracker and registry were accurate at a high level but still too compact + to express the exact narrow landed owner slice and the consumer-owner + separation cleanly + +### Change class + +- repo-local extraction did not change +- landed owner interpretation was confirmed rather than reversed +- dependent canon was sharpened so the lane stays narrow and clearly closed +- no product-code change occurred + +### What remained valid + +- the restrictive `GPL-3.0-or-later` clean-room route remained valid +- the original `0R-D` decision to keep `cubing/alg.js` separate from + `cubing/cubing.js` custody remained valid +- the repo-local `Bounds 1-4 closed` conclusion remained valid + +### What changed + +The dependent canon now makes the current landed role explicit: + +- keep `cubing/alg.js` grounded first-party ownership inside + `HyperTwistAlgorithm/*` +- keep training-runtime parse/store/serialize behavior as a consumer seam, not + as proof that the owner lane is still open +- keep puzzle-state semantics, runtime ownership, and viewer/player ownership + with their adjacent lanes +- do not reopen the closed `Bound 1` through `Bound 4` sequence by default + +## Propagation result + +### Feature registry + +Updated. + +The registry now says what is actually live: first-party algorithm-language +ownership is real for parser, AST, traversal, validation, keyboard mapping, and +share/interchange semantics, while training-runtime adoption remains a consumer +surface above it. + +### Cross-lane doctrine + +No doctrine wording change was needed. + +This pass applied the existing `A/R/F` hierarchy; it did not change the +hierarchy rules themselves. + +### Skillization + +No doctrine or `SKILLS.md` change was needed. + +This pass did not create or reopen any command or skill surface. + +### Legal evidence + +No license-status or mirror-custody change occurred. + +The repo-row tracker, feature registry, manifest row, and canonical handoff +status were sharpened instead. + +## Operational answer + +Before any future consumer-side semantic shell, registry, or broader +algorithm-facing packet is considered, the correct move was this authority +backfill first. + +After this pass: + +- do not reopen `Bound 1`, `Bound 2`, `Bound 3`, or `Bound 4` +- do not reinterpret training-runtime adoption as a same-bound owner gap +- if later work is justified, scope it as a new consumer-owner or shell packet + above the closed algorithm-language owner lane diff --git a/docs/HYPERTWIST_PHASE_0R_PACKET_0R_D_EVALUATION_2026-05-13.md b/docs/HYPERTWIST_PHASE_0R_PACKET_0R_D_EVALUATION_2026-05-13.md index d7c76d5..0904699 100644 --- a/docs/HYPERTWIST_PHASE_0R_PACKET_0R_D_EVALUATION_2026-05-13.md +++ b/docs/HYPERTWIST_PHASE_0R_PACKET_0R_D_EVALUATION_2026-05-13.md @@ -242,6 +242,16 @@ Integration call: - use it in `Phase 2R` to freeze first-party parser, AST, validation, serialization, keyboard-input, and URL/interchange contracts - refresh the Model A handoff with the deeper node-family and traversal findings - if later implementation proceeds, schedule Model B work in `Phase 5R`, not as direct donor use +- current `2026-05-27` reconciliation overlay: + - repo-local extraction unchanged + - the first-party `HyperTwistAlgorithm/*` owner lane is now verified live and + closed through `Bound 4` + - current training-runtime parse/store/serialize usage is a consumer seam, + not a same-bound owner gap + - keep broader classic-cubing semantics with `cubing/cubing.js` and + viewer/player ownership with `cubing/twisty.js` + - do not reopen `Bound 1` through `Bound 4` by default; later work must be a + new consumer-owner or shell packet if justified ### `cubing/twisty.js` diff --git a/docs/REPO_LICENSE_TRACKING.md b/docs/REPO_LICENSE_TRACKING.md index 7e88fc2..710cfeb 100644 --- a/docs/REPO_LICENSE_TRACKING.md +++ b/docs/REPO_LICENSE_TRACKING.md @@ -1024,6 +1024,15 @@ Approved working posture: - treat it as its own Model A extraction line for parser, AST, traversal, validation, keyboard, and URL/interchange semantics - Model B must not read the mirror - Model B may only consume `C:\Workspaces\HyperTwist\clean-room-specs\cubing-alg-js.model-a.md` +- current `2026-05-27` reconciliation overlay: + - the bounded first-party `HyperTwistAlgorithm/*` owner lane is verified live + and closed through `Bound 4` + - the landed owner slice is parser, AST, traversal, validation, keyboard + mapping, and share/interchange semantics only + - checked training-runtime parse/store/serialize adoption stays a consumer + seam above that owner lane + - do not reopen the closed owner lane by default; later work must be a new + consumer-owner or shell packet if justified ### `cubing/twisty.js` diff --git a/docs/v6_5_deep_manual_pack/HyperTwist/FEATURE_REGISTRY.md b/docs/v6_5_deep_manual_pack/HyperTwist/FEATURE_REGISTRY.md index dc5b1f8..9e41c2e 100644 --- a/docs/v6_5_deep_manual_pack/HyperTwist/FEATURE_REGISTRY.md +++ b/docs/v6_5_deep_manual_pack/HyperTwist/FEATURE_REGISTRY.md @@ -152,7 +152,7 @@ repo. | Classic-cubing semantic/runtime adapter | Implemented now | landed `cubing/cubing.js` packet | Live adapter family. | | Seeded competition scramble workflow and lightweight scramble-operator shell adjuncts | Deep-source grounded retained | `cubing/cubing.js` retained lane + `cubing/mark3` / `cubing/scramble.cubing.net` successor evaluation | Source-backed successor surfaces sharpen competition-spec workflow and operator-shell expectations above the retained scramble and visualization seams, but they do not displace `cubing/cubing.js` or `cubing/twisty.js`; `scramble-display` remains comparison-only. | | Replay shell and timeline | Implemented now | landed `cubing/twisty.js` bounded packets | Replay/runtime viewer family is real. | -| Algorithm/training semantic lane | Implemented now | landed `cubing/alg.js` bounded packets | Semantic/training contract is real. | +| Algorithm/training semantic lane | Implemented now | landed `cubing/alg.js` bounded packets | First-party `HyperTwistAlgorithm/*` now owns the bounded parser, AST, traversal, validation, keyboard-mapping, and share/interchange contract grounded in `cubing/alg.js`; current training-runtime parse/store/serialize usage remains a consumer seam above that owner lane rather than proof that the lane is still open. | | Readable classic-cube state/history and beginner-helper benchmark | Deep-source grounded retained | `vwcwong/CubeSim` retained clean-room benchmark lane | Retained as `A1 + R4 + F2` only for a small renderer-independent classic-cube state/history split, scramble parse or invert behavior, and beginner `LBL` decomposition benchmark for later clean-room lesson/debug/helper use. This does not displace the first-party canonical replay packet, training attempt/solve/review history, or the bounded classic-cube `Phase 6R-Q/R/S` explanation and correction shells. | | Large-`N` classic-cube center/edge/parity strategy | Deep-source grounded retained | `ShellPuppy/RCube` retained benchmark/oracle lane | Retained as `A1 + R4 + F2` only for large-`N` classic-cube center-stage planning, edge-pairing/parity handling, and virtual-rotation strategy. This does not displace the landed `Hyperspeedcube`, `MagicTile`, `Magic120Cell`, or `MagicCube5D` higher-dimensional runtime families, and it does not reopen the bounded classic-cube `Phase 6R-Q/R/S` shell/state seams. | | Hyper puzzle catalog | Implemented now | `Hyperspeedcube` bounded packet | Current realized hyper-puzzle entry slice. |