feat: add MNCS-native dataset and training slice with lineage

docs/mncs-reconstruction/evidence/mnel-core-differential-study.json

@@ -7,27 +7,47 @@
  "reference_side": {
   "implementation": "Machine-Native-Experimental-Learning src/mnel (Python control plane)",
   "corpus": "mncs/corpora/mnel-core-reference.json",
-  "corpus_sha256": "0f0510e8eb5e8522ba935ba7c22d67f9209e0c462a9c5866fba3c2e60d444541",
-  "cases": 160,
+  "corpus_sha256": "a818605acab5768b5fb67078bb5c54c3983d043648c5316b6a5267a5fff7c2e4",
+  "cases": 172,
   "oracle_kinds": [
    "derived-table",
    "reference-code"
   ]
  },
  "mncs_side": {
   "source": "mncs/source/mnel/all.mncs",
-  "source_sha256": "93edf3cb10c7098ff255e8a4067356a394c75a88389e61047d043ddd8fdf2a7d",
-  "module": "mnel.core",
-  "language_profile": "0.5"
+  "source_sha256": "0e5b61440462ad287a0821ef14adf40b74ee519d9eede37fd4a0c905c328f2e0",
+  "module": "mnel.all",
+  "language_profile": "0.8",
+  "standard_library_bindings": [
+   "mncs.core.status.v1",
+   "mncs.core.logic.v1",
+   "mncs.core.random.v1",
+   "mncs.core.numeric.v1"
+  ],
+  "library_path": "/home/epi13/Documents/Projects/mncs-language/library"
  },
  "backends": [
   {
    "backend": "mncs-research-bytecode",
    "outcome": "corpus-executed",
    "summary": {
     "exit_code": 0,
-    "cases_total": 160,
-    "cases_met": 160,
+    "cases_total": 172,
+    "cases_met": 172,
+    "experiment_status": "UNKNOWN",
+    "unresolved_reasons": [
+     "compilation retained required unresolved obligations"
+    ]
+   }
+  },
+  {
+   "backend": "mncs-portable-wasm-mvp",
+   "outcome": "corpus-executed",
+   "summary": {
+    "exit_code": 0,
+    "cases_total": 172,
+    "cases_met": 172,
     "experiment_status": "UNKNOWN",
     "unresolved_reasons": [
      "compilation retained required unresolved obligations"

docs/mncs-reconstruction/evidence/mnel-training-differential-study.json

@@ -0,0 +1,64 @@
+{
+ "schema_version": "0.1",
+ "identity_kind": "bounded-differential-study-record",
+ "study": "mnel-training-slice",
+ "runner_identity": "mnel-mncs-differential-runner/0.1",
+ "interpretation": "bounded_observational_agreement_over_declared_corpus; not_universal_equivalence_not_conformance_not_assurance",
+ "reference_side": {
+  "implementation": "Machine-Native-Experimental-Learning src/mnel (Python control plane)",
+  "corpus": "mncs/corpora/mnel-training-reference.json",
+  "corpus_sha256": "848164449fc6e737d05ae9186e55581d3e95c8cc135fd8d048b431699511e141",
+  "cases": 15,
+  "oracle_kinds": [
+   "reference-code"
+  ]
+ },
+ "mncs_side": {
+  "source": "mncs/source/mnel/training.mncs",
+  "source_sha256": "b677125735e88cf3e64813214a74a9d40fb5cf2853308917943b2af535f0a5e8",
+  "module": "mnel.training",
+  "language_profile": "0.8",
+  "standard_library_bindings": [
+   "mncs.core.status.v1",
+   "mncs.core.random.v1",
+   "mncs.core.numeric.v1"
+  ],
+  "library_path": "/home/epi13/Documents/Projects/mncs-language/library"
+ },
+ "backends": [
+  {
+   "backend": "mncs-research-bytecode",
+   "outcome": "corpus-executed",
+   "summary": {
+    "exit_code": 0,
+    "cases_total": 15,
+    "cases_met": 15,
+    "experiment_status": "UNKNOWN",
+    "unresolved_reasons": [
+     "compilation retained required unresolved obligations"
+    ]
+   }
+  },
+  {
+   "backend": "mncs-portable-wasm-mvp",
+   "outcome": "corpus-executed",
+   "summary": {
+    "exit_code": 0,
+    "cases_total": 15,
+    "cases_met": 15,
+    "experiment_status": "UNKNOWN",
+    "unresolved_reasons": [
+     "compilation retained required unresolved obligations"
+    ]
+   }
+  }
+ ],
+ "comparison_status": "AGREEMENT_OVER_CORPUS",
+ "disagreements": [],
+ "non_claims": [
+  "observed agreement is not proof of semantic equivalence",
+  "the corpus covers a bounded slice of MNEL training concepts only",
+  "backend envelope refusals are recorded, not resolved",
+  "unresolved obligations remain UNKNOWN; nothing here certifies the MNCS implementation against the reference beyond the corpus"
+ ]
+}