Prove native-history action coupling and reduce the QQ16 comparison

research/qq16-native-history/ADMISSION.json

@@ -0,0 +1,107 @@
+{
+  "schema_version": 1,
+  "scope": "Successful source-admitted original C calls and the root-only incremental QQ16 comparison; written source theorem with reduced physical evidence.",
+  "items": [
+    {
+      "item": "authenticated_source",
+      "status": "newly checked",
+      "source": "runtime.py / inputs/PR4167-MANIFEST.json / SOURCES.json",
+      "obligation": "No inherited executable is loaded before retained/canonical integrity checks. Bootstrap verifier/seals are trusted committed bytes.",
+      "cost_and_limit": "source integrity, not scientific correctness"
+    },
+    {
+      "item": "legal_closed_histories",
+      "status": "new finite execution",
+      "source": "fitted_fixture.py / HISTORY.md",
+      "obligation": "Successful fallback and fitted/fallback invocations generate different free orders in five arenas including both runtime arenas.",
+      "cost_and_limit": "test construction and replay only; no runtime reset"
+    },
+    {
+      "item": "fitted_branch",
+      "status": "new finite execution",
+      "source": "fitted_fixture.py / EXECUTION.json",
+      "obligation": "Actual Ordinary.fitted via authenticated declared small grammar, two actual padded native roots.",
+      "cost_and_limit": "full fitted execution metered; not production selector admission"
+    },
+    {
+      "item": "six_arena_relation",
+      "status": "new written quantified result",
+      "source": "MECHANISM.md",
+      "obligation": "Activation-local value/alias/head map, ordered free correspondence, saved parent map and exact slot restoration.",
+      "cost_and_limit": "zero reset sites, extra engines or physical tapes"
+    },
+    {
+      "item": "codec_action_shape",
+      "status": "new source-bound finite certificate",
+      "source": "mechanism.py",
+      "obligation": "All490 actual transitions,360 erased classes; legal nonconstant slot-record reorder and childreuse restore.",
+      "cost_and_limit": "exact R/W/M formula, all loop/delimiter costs"
+    },
+    {
+      "item": "payload_opacity",
+      "status": "new written source-case result",
+      "source": "COMPARISON.md",
+      "obligation": "Successful coefficient bits never become descriptor/address Ring operands; fixed-width scans preserve action schedules.",
+      "cost_and_limit": "source action equality only; arbitrary Ring value-obliviousness excluded"
+    },
+    {
+      "item": "actual_nested_return",
+      "status": "new finite targeted cut",
+      "source": "native_nested.py",
+      "obligation": "First real child returns; exact parent word identities/values/heads, paused roles, PC/mode/root and borrowed input restored.",
+      "cost_and_limit": "remainder parent program not executed; explicit disposal separately charged"
+    },
+    {
+      "item": "closure_and_escaped_handles",
+      "status": "inherited ownership plus new checks",
+      "source": "LIFECYCLE.md / lifecycle.py",
+      "obligation": "Six arenas/templates and pools/codec/heads closed after protected output consumption; absence of escaped Word references remains source owner premise.",
+      "cost_and_limit": "twelve receipt mutation controls; no arbitrary recovery claim"
+    },
+    {
+      "item": "marker_class",
+      "status": "new exact subtrace and whole-epoch proof",
+      "source": "MECHANISM.md / LIFECYCLE.md",
+      "obligation": "Ordinary BLANK/LEFT correction retained; actual complex warm-erased phase; original backend once703W potential cancels B/D.",
+      "cost_and_limit": "literal rearm bill and six source helper calibrations"
+    },
+    {
+      "item": "geometry_and_census",
+      "status": "inherited semantics plus newly checked source census",
+      "source": "COMPARISON.md / BILL.json",
+      "obligation": "All510646 retained calls paired by occurrence with full descriptors; service rows/(448Gamma) equals original U.",
+      "cost_and_limit": "14298088Gamma caller-header actions remain; Gamma once"
+    },
+    {
+      "item": "whole_incremental_bill",
+      "status": "resolved context, remaining prices unknown",
+      "source": "COMPARISON.md / RESOURCE.md",
+      "obligation": "All retained body history/payload residuals removed; complete nonchild/shell/E1/E8 threshold retained against fair B/B*.",
+      "cost_and_limit": "no sign or affordability claim; fixed-mechanism expansion stopped"
+    },
+    {
+      "item": "numerical_endpoint",
+      "status": "inherited",
+      "source": "original3385 and frozen4129/4166 closure",
+      "obligation": "Exact C, admitted stored width/grid, source quantum/range, stock/depth, ordinary/Compact, hosting and long-record hypotheses retained.",
+      "cost_and_limit": "no new numerical representation or source arithmetic"
+    },
+    {
+      "item": "inventory_and_backing",
+      "status": "inherited bounds plus new observations",
+      "source": "RESOURCE.md / state_model.py",
+      "obligation": "No extra runtime mechanism; simultaneous B/D inventories unchanged, per-role historical maxima and codec visited coordinates retained.",
+      "cost_and_limit": "no equal-space or storage-dominance claim"
+    },
+    {
+      "item": "finite_control",
+      "status": "explicit fixed realization and remaining tariff",
+      "source": "MECHANISM.md / RESOURCE.md",
+      "obligation": "Finite allocator-state component can implement fixed-label operations directly; slot bitloops remain charged. Enclosing compiler/selector and payload branch control tariff separate.",
+      "cost_and_limit": "no Python-time or unrestricted Turing-step equality"
+    }
+  ],
+  "scientific_base": "12fa8c5c844be21bfefb38a19503fbd867a11244",
+  "new_supplier_admitted": false,
+  "selected_frontier_changed": false
+}