blackmore-technology-group · Oct 2, 2026 · Oct 2, 2026
diff --git a/BTDU_ORIENTATION_LANGUAGE_EXTENSION_V1.json b/BTDU_ORIENTATION_LANGUAGE_EXTENSION_V1.json
@@ -0,0 +1,31 @@
+{
+  "schema": "entity-btdu-orientation-language-extension-v1",
+  "entity_display_version": "3.4.3",
+  "btdu_schema_version": "3.4.2",
+  "build_revision": "v3.4.3+btdu-orientation-math-code-english.20261002",
+  "orientation_modes": ["SYMMETRIC", "INVERSE_PAIR", "CONTEXT_COMMUTATIVE", "ORDERED"],
+  "orientation_semantics": {
+    "symmetric_requires_math_profile_or_proof": true,
+    "inverse_pair_requires_math_profile_or_proof": true,
+    "context_commutative_requires_explicit_proof": true,
+    "ordered_is_default": true
+  },
+  "language_surfaces": ["language_summary", "lookup_english_lemma", "code_token_usage"],
+  "qualified_counts": {
+    "math_declarations": 246646,
+    "math_modules": 18942,
+    "language_nodes": 36733,
+    "language_relations": 595898,
+    "english_synsets": 107519,
+    "english_lemmas": 136219,
+    "orientation_topologies": 37490,
+    "orientation_occurrences": 180126
+  },
+  "rights_boundary": {
+    "topology_creates_rights": false,
+    "topology_creates_ownership": false,
+    "topology_creates_economic_entitlement": false
+  },
+  "runtime_state_committed_to_git": false,
+  "historical_release_manifest_rewritten": false
+}
diff --git a/BUILD_V3_4_3_LANGUAGE_20261002.json b/BUILD_V3_4_3_LANGUAGE_20261002.json
@@ -0,0 +1,20 @@
+{
+  "btdu_schema_version": "3.4.2",
+  "build_revision": "v3.4.3+btdu-orientation-math-code-english.20261002",
+  "claim_boundary": [
+    "No historical GitHub release/tag rewritten by this local rebuild.",
+    "Protocol origin and canonical state guarded byte-for-byte.",
+    "External corpora retain upstream provenance and licenses."
+  ],
+  "entity_display_version": "3.4.3",
+  "features": [
+    "BTDU orientation/mirror topology",
+    "advanced mathematics corpus",
+    "programming-language shared atom substrate",
+    "English lexical/grammar substrate"
+  ],
+  "generated_unix": 1790954205.3039753,
+  "historical_release_manifest_preserved": true,
+  "lineage_guard_sha256": "F6D6DA3E4718B16403156FA774AF340044E668B06C35A992E79AA9ECF00B39DA",
+  "schema": "entity-v343-in-place-build-revision-v1"
+}
diff --git a/docs/evidence/v3.4.3-btdu-20261002/COMBINED_BTDU_RESULT.json b/docs/evidence/v3.4.3-btdu-20261002/COMBINED_BTDU_RESULT.json
@@ -0,0 +1,165 @@
+{
+  "btdu_schema_version": "3.4.2",
+  "build_revision": "v3.4.3+btdu-orientation-math-code-english.20261002",
+  "duration_seconds": 1216.5715408325195,
+  "entity_display_version": "3.4.3",
+  "existing_entity_state_modified_only_by_new_btdu_namespace": true,
+  "lineage_guard_preserved": true,
+  "merged": {
+    "atomic_root": "0e66d770202720622408ce4781ed77115a52c02f7bf703da4108bcbf4cb97164",
+    "atoms": 704276,
+    "bonds": 795592,
+    "compounds": 28639,
+    "sequence": 75084,
+    "sql": {
+      "edges": 195860,
+      "english_lemmas": 136219,
+      "english_synsets": 107519,
+      "language_nodes": 36733,
+      "language_relations": 595898,
+      "math_declarations": 246646,
+      "math_modules": 18942,
+      "objects": 4932,
+      "orientation_occurrences": 0,
+      "orientation_topologies": 0
+    }
+  },
+  "ok": true,
+  "schema": "entity-v343-qualified-btdu-merge-v1",
+  "seed": {
+    "atomic_root": "bd5488fefb5fddd566e599a2b5e95d789b8a2b6c6738c7c85328488f6a5737a5",
+    "atoms": 154856,
+    "bonds": 163582,
+    "compounds": 19688,
+    "sequence": 75033,
+    "sql": {
+      "edges": 159748,
+      "english_lemmas": 0,
+      "english_synsets": 0,
+      "language_nodes": 0,
+      "language_relations": 0,
+      "math_declarations": 0,
+      "math_modules": 9471,
+      "objects": 4929,
+      "orientation_occurrences": 0,
+      "orientation_topologies": 0
+    }
+  },
+  "sources": [
+    {
+      "atomic": {
+        "new_atoms": 256300,
+        "new_bonds": 36082,
+        "new_compounds": 8927
+      },
+      "label": "math",
+      "sql": {
+        "edges": {
+          "after": 195830,
+          "before": 159748,
+          "delta": 36082
+        },
+        "math_declarations": {
+          "after": 246646,
+          "before": 0,
+          "delta": 246646
+        },
+        "math_domains": {
+          "after": 103,
+          "before": 0,
+          "delta": 103
+        },
+        "math_module_compounds": {
+          "after": 8924,
+          "before": 0,
+          "delta": 8924
+        },
+        "math_modules": {
+          "after": 18942,
+          "before": 9471,
+          "delta": 9471
+        },
+        "math_sources": {
+          "after": 2,
+          "before": 0,
+          "delta": 2
+        },
+        "objects": {
+          "after": 4930,
+          "before": 4929,
+          "delta": 1
+        },
+        "orientation_occurrences": {
+          "after": 0,
+          "before": 0,
+          "delta": 0
+        },
+        "orientation_topologies": {
+          "after": 0,
+          "before": 0,
+          "delta": 0
+        },
+        "repository_manifests": {
+          "after": 61,
+          "before": 61,
+          "delta": 0
+        }
+      }
+    },
+    {
+      "atomic": {
+        "new_atoms": 293120,
+        "new_bonds": 595928,
+        "new_compounds": 24
+      },
+      "label": "language",
+      "sql": {
+        "edges": {
+          "after": 195860,
+          "before": 195830,
+          "delta": 30
+        },
+        "english_lemmas": {
+          "after": 136219,
+          "before": 0,
+          "delta": 136219
+        },
+        "english_synsets": {
+          "after": 107519,
+          "before": 0,
+          "delta": 107519
+        },
+        "language_nodes": {
+          "after": 36733,
+          "before": 0,
+          "delta": 36733
+        },
+        "language_relations": {
+          "after": 595898,
+          "before": 0,
+          "delta": 595898
+        },
+        "objects": {
+          "after": 4932,
+          "before": 4930,
+          "delta": 2
+        },
+        "orientation_occurrences": {
+          "after": 0,
+          "before": 0,
+          "delta": 0
+        },
+        "orientation_topologies": {
+          "after": 0,
+          "before": 0,
+          "delta": 0
+        },
+        "repository_manifests": {
+          "after": 61,
+          "before": 61,
+          "delta": 0
+        }
+      }
+    }
+  ]
+}
diff --git a/docs/evidence/v3.4.3-btdu-20261002/MATH_ORIENTATION_INGEST_RESULT.json b/docs/evidence/v3.4.3-btdu-20261002/MATH_ORIENTATION_INGEST_RESULT.json
@@ -0,0 +1,56 @@
+{
+  "claim_boundary": "Derived semantic orientation index over preserved mathlib4 source signatures; no universal compression claim.",
+  "dangling_occurrences": 0,
+  "duration_seconds": 211.17186450958252,
+  "eventlog": {
+    "base_root": "0e66d770202720622408ce4781ed77115a52c02f7bf703da4108bcbf4cb97164",
+    "base_sequence": 75084,
+    "events_appended": 37,
+    "final_root": "74f9c41c26f1260c01adc3db839f573cb664cbf80b84e2ba4788d7da08bbebfd",
+    "final_sequence": 75121
+  },
+  "extracted_occurrences": 181581,
+  "manifest": {
+    "atoms": 741766,
+    "authority_id": "9eedbc890bcb26d065b8900bf73d766b2ff90af7e4304564b77979445206ffdf",
+    "bonds": 795592,
+    "checkpoint_root": "0000000000000000000000000000000000000000000000000000000000000000",
+    "checkpoint_sequence": 0,
+    "compounds": 28639,
+    "format": "ADAM-v0.41-construction-native-universe",
+    "recovered_torn_bytes": 0,
+    "root_hash": "74f9c41c26f1260c01adc3db839f573cb664cbf80b84e2ba4788d7da08bbebfd",
+    "sequence": 75121
+  },
+  "orientation_counts": {
+    "occurrences": 180126,
+    "topologies": 37490
+  },
+  "pass": true,
+  "rights_boundary": {
+    "topology_creates_economic_entitlement": false,
+    "topology_creates_ownership": false,
+    "topology_creates_rights": false
+  },
+  "schema": "entity-btdu-math-orientation-ingest-result-v1",
+  "sqlite_quick_check": "ok",
+  "strategy": "memory-bounded-eventlog-append",
+  "top_families": {
+    "equality": 15692,
+    "iff": 4015,
+    "inequality": 610,
+    "nonstrict_order": 4051,
+    "ordered:*": 2801,
+    "ordered:+": 1873,
+    "ordered:-": 1579,
+    "ordered:/": 704,
+    "ordered:^": 761,
+    "ordered:\u2192": 3568,
+    "strict_order": 1836
+  },
+  "topology_modes": {
+    "INVERSE_PAIR": 5887,
+    "ORDERED": 11286,
+    "SYMMETRIC": 20317
+  }
+}
diff --git a/docs/evidence/v3.4.3-btdu-20261002/QUALIFICATION.json b/docs/evidence/v3.4.3-btdu-20261002/QUALIFICATION.json
@@ -0,0 +1,48 @@
+{
+  "schema": "entity-v343-btdu-public-qualification-v1",
+  "qualified_utc": "2026-10-02T21:29:46.1181285Z",
+  "entity_display_version": "3.4.3",
+  "btdu_schema_version": "3.4.2",
+  "build_revision": "v3.4.3+btdu-orientation-math-code-english.20261002",
+  "installed_regression_tests": {"passed": 102, "total": 102},
+  "publication_integration_tests": {"passed": 103, "total": 103, "base_commit": "349c1d752323bf237f3ef40b6e73c911bb966c6c"},
+  "signed_state": {
+    "final_sequence": 75121,
+    "final_root": "74f9c41c26f1260c01adc3db839f573cb664cbf80b84e2ba4788d7da08bbebfd",
+    "sqlite_quick_check": "ok",
+    "dangling_orientation_occurrences": 0,
+    "duplicate_orientation_atom_refs": 0
+  },
+  "counts": {
+    "math_declarations": 246646,
+    "math_modules": 18942,
+    "language_nodes": 36733,
+    "language_relations": 595898,
+    "english_synsets": 107519,
+    "english_lemmas": 136219,
+    "orientation_topologies": 37490,
+    "orientation_occurrences": 180126
+  },
+  "lineage_guard": {
+    "preserved": true,
+    "protocol_freeze_sha256": "8099811548F3A8C25DA192AD732CFC767020E0491C805C2C79764E351296DDFF",
+    "protocol_origin_bundle_sha256": "26D86A01E855F4433FC23BF693B1D043209750F3D432A79BF61AD5BC3602DAD5",
+    "canonical_state_sha256": "FF7E1199422207DA0FFF9AD50C70C8E788B04439BEDDFC68906B89F9C19E8F53"
+  },
+  "claim_boundary": {
+    "runtime_state_committed_to_git": false,
+    "multi_gigabyte_btdu_journal_committed_to_git": false,
+    "historical_release_manifest_rewritten": false,
+    "topology_creates_rights": false,
+    "topology_creates_ownership": false,
+    "topology_creates_economic_entitlement": false,
+    "universal_compression_claim": false
+  },
+  "published_file_hashes": {
+    "src/40_BTDU/canonical_btdu.py": "5878BA5FCBA6DA30B326C23757477E65B06D3E59C4BC9AE7BA335C0DE0A92E80",
+    "src/40_BTDU/orientation_topology.py": "F151C44578A1D7E2C47F02AFCD11DA6CEF6F83CD31DB0924E89317AF61BEBFF6",
+    "tests/test_v343_btdu_orientation_language.py": "93059F28699A9EDE04DFB376CF2060E1B383A4A28E0CFC223AA329E2C0596965",
+    "BUILD_V3_4_3_LANGUAGE_20261002.json": "570038518B35851B7712F19BD1B50ED6B2FF5007891D379F07FF910AC48B9DE5",
+    "BTDU_ORIENTATION_LANGUAGE_EXTENSION_V1.json": "CA224E4DE3340444E61E49F469FF5442662FECC4CD163076A133F77B9F4B6E26"
+  }
+}