Frame-aware native construction lemmas and exact p16 certificates (no new κ)

research/frame-aware-native/.gitattributes

@@ -0,0 +1 @@
+* -text

research/frame-aware-native/AUDIT-CONTROLS.json

@@ -0,0 +1,22 @@
+[
+  {
+    "control": "false_paid_rank",
+    "rejected": true,
+    "reason": "Paid rank and source frame"
+  },
+  {
+    "control": "wrong_scalar_sign",
+    "rejected": true,
+    "reason": "Every original arbitrary-input column, with final ABI permutation"
+  },
+  {
+    "control": "wrong_final_ownership",
+    "rejected": true,
+    "reason": "Every original arbitrary-input column, with final ABI permutation"
+  },
+  {
+    "control": "omit_final_owned_clear",
+    "rejected": true,
+    "reason": "Owned C0 cleared at return"
+  }
+]

research/frame-aware-native/BASELINE-INDEPENDENT.json

@@ -0,0 +1,133 @@
+{
+  "native": {
+    "backward": {
+      "arbitrary_owned_C0_cleared": true,
+      "final_alias_sha256": "551970bb8217c36b64fc8a06f42325f59fe1618bb3c4e243510b270e8c5cb4b2",
+      "independent_owned_entry_columns": 1,
+      "independent_persistent_columns": 632,
+      "l1_witness": {
+        "event": 6396,
+        "role": [
+          "L",
+          225
+        ]
+      },
+      "max_denominator": 64,
+      "max_formal_prefix_l1": "169",
+      "paid_profile": {
+        "1": 2237,
+        "2": 388,
+        "3": 494,
+        "4": 147,
+        "5": 36,
+        "8": 8
+      },
+      "paid_rank_mass": 5327,
+      "real_scalar_allowance": 158168,
+      "scalar_frames_checked": true,
+      "second_literal": {
+        "all_scalar_frames_checked": true,
+        "clean_J": false,
+        "conservative_real_scalar_primitive_allowance": 158168,
+        "direction": "backward",
+        "dyadic_coefficients_and_unit_scales_checked": true,
+        "event_counts": {
+          "adapter": 448,
+          "center": 8,
+          "climb": 3302,
+          "phase": 10,
+          "scalar": 17453,
+          "warp": 240
+        },
+        "expected_restored_arbitrary_cleanup_buffers": 0,
+        "expected_restored_helpers": 408,
+        "explicitly_owned_C_fields_cleared": 1,
+        "free_warp_operator_endpoint_matches": true,
+        "independent_borrowed_input_fields": 632,
+        "mismatch_examples": [],
+        "negative_control_omitted_last_cleanup_scalar": false,
+        "original_data_fields": 224,
+        "paid_profile": {
+          "1": 2237,
+          "2": 388,
+          "3": 494,
+          "4": 147,
+          "5": 36,
+          "8": 8
+        },
+        "paid_rank_mass": 5327
+      }
+    },
+    "forward": {
+      "arbitrary_owned_C0_cleared": true,
+      "final_alias_sha256": "551970bb8217c36b64fc8a06f42325f59fe1618bb3c4e243510b270e8c5cb4b2",
+      "independent_owned_entry_columns": 1,
+      "independent_persistent_columns": 632,
+      "l1_witness": {
+        "event": 19048,
+        "role": [
+          "L",
+          224
+        ]
+      },
+      "max_denominator": 32,
+      "max_formal_prefix_l1": "457",
+      "paid_profile": {
+        "1": 2237,
+        "2": 388,
+        "3": 494,
+        "4": 147,
+        "5": 36,
+        "8": 8
+      },
+      "paid_rank_mass": 5327,
+      "real_scalar_allowance": 158120,
+      "scalar_frames_checked": true,
+      "second_literal": {
+        "all_scalar_frames_checked": true,
+        "clean_J": false,
+        "conservative_real_scalar_primitive_allowance": 158120,
+        "direction": "forward",
+        "dyadic_coefficients_and_unit_scales_checked": true,
+        "event_counts": {
+          "adapter": 448,
+          "center": 8,
+          "climb": 3302,
+          "phase": 10,
+          "scalar": 17453,
+          "warp": 240
+        },
+        "expected_restored_arbitrary_cleanup_buffers": 0,
+        "expected_restored_helpers": 408,
+        "explicitly_owned_C_fields_cleared": 1,
+        "free_warp_operator_endpoint_matches": true,
+        "independent_borrowed_input_fields": 632,
+        "mismatch_examples": [],
+        "negative_control_omitted_last_cleanup_scalar": false,
+        "original_data_fields": 224,
+        "paid_profile": {
+          "1": 2237,
+          "2": 388,
+          "3": 494,
+          "4": 147,
+          "5": 36,
+          "8": 8
+        },
+        "paid_rank_mass": 5327
+      }
+    }
+  },
+  "new_physical_edges": [],
+  "paid": {
+    "1": 2237,
+    "2": 388,
+    "3": 494,
+    "4": 147,
+    "5": 36,
+    "8": 8
+  },
+  "payload_sha256": "d9ce8efd0f51191cd67d206d1d933834b1df16a0ce77c22318596370de5e1814",
+  "physical_edge_count": 0,
+  "scope": "Source interpreter and exact Clifford audit; inherited primitive/rounding and compiler premises remain.",
+  "status": "PASS_INDEPENDENT_FULL_ALIAS_NATIVE_632_COLUMNS_BOTH_DIRECTIONS"
+}

research/frame-aware-native/CONTENT-HASHES.json

@@ -0,0 +1,25 @@
+{
+  "status": "CONSTRUCTIVE_TOOLS_NO_NEW_KAPPA",
+  "files": {
+    "AUDIT-CONTROLS.json": "a6fa986fcb020518ba965358a4c381775cfb0120e460270fd7c9394d978f5036",
+    "BASELINE-INDEPENDENT.json": "a0bd0492b8a33accb7d5dd292f357305e216e38c50017080aac755200d41715f",
+    "EXPECTED-RESPONSES.json": "44a7295bad8b9102451b5f1d62886ea226b4edca2397eaeedad6ef8ae6af4da9",
+    "full_identity_rebuild.py": "9af2ffbb0038c92e2a7d281081b0daaeadce75b11b566e5427845dc1af91e33d",
+    "lazy-response-audit.json": "433c8835e6855074d09794648c2d06f0bdcc0ccc7e00a9748eec615411544b99",
+    "LAZY-RESPONSE.md": "b1bcc0b56d26c6349e5b412b92662e84c2ef116aaca7e6df5936b73d7fd0402e",
+    "MONOMIAL-ADAPTER.md": "21e6691563f8b04d788da15d2dd011ada92ff5a78de53cb011da50b19ae6f2f3",
+    "NATIVE-INPUT.json": "d9ce8efd0f51191cd67d206d1d933834b1df16a0ce77c22318596370de5e1814",
+    "NATIVE-SOURCE-HASHES.json": "c85bea27bca4cd5d97d02fd278dd86df33379d78faabac69c20d46a305877488",
+    "OWNED-C-RETIMING.md": "82aa5be0e6f81fa74a52935c621e49347486908ab7c9e6d2bb7958827e257111",
+    "owned-C-source.json": "e20ca735d5829bb469eb00449bc688c6b7d1ecf2a29ee9a1ace84ed3a3d5acfc",
+    "README.md": "151408fa9db6802fae2d80d6d7bee7053c21c76249fc4da9b6c2b4ab5574f78a",
+    "verify_lazy_response.py": "d8c3a8f4ca48f7fe2400090fdab46e1667f19d4b499edd21f7a7dbdbcc21e798",
+    "noncommuting-controller/CONTROLLER.json": "1f5d6aa267e4e66048818714b5d3b5eae17a58abe91d15deeaa34574f7391a5f",
+    "noncommuting-controller/FREE-CERTIFICATE.json": "12c732f840c2e9f375a73b941089bde5319b420688401276b7ac270cdd278350",
+    "noncommuting-controller/PROOF.md": "b52366c15c37fe0313549608b309d8689bb27c3d87fd1c6ec2511352d5015d26",
+    "noncommuting-controller/README.md": "413e0c111c46bf5bcffa89fd67bf06abe7b2b4b9369006ea5ada1a2688e88408",
+    "noncommuting-controller/RESULT.json": "f8361744cf068cef6273117a026e332ddfee7f229ca6ad6017a8461da8cf73f3",
+    "noncommuting-controller/SOURCES.json": "6d73cdee2ac3a510449e51ab932418feacf1aecc0a9733e5f93c4590fafc1dbc",
+    "noncommuting-controller/verify.py": "da28d003a8be95725fcd749530ed4beb7dd9b05c1b7b26107088fa6bf5217e3e"
+  }
+}