{ "date": "2026-10-07", "scope": "Selected original figures, saved data, manuscript tables and explicit model specifications. No new scientific validation.", "sources": { "sssp": { "document": "sssp.json", "locator": "Saved project data; values read directly", "sha256": "92a3263f3918e448a345993b773ca9a5c70b88107f5fcc605c64aad369222a1b", "url": "/research/figure-data/sssp.json" }, "plasma": { "document": "plasma.json", "locator": "Saved project data; values read directly", "sha256": "4aa7c0b5428e3606fb884298130c81d424ff79cfcf6b6b8719a0744261112672", "url": "/research/figure-data/plasma.json" }, "power-spectrum": { "document": "power-spectrum.json", "locator": "Saved project data; values read directly", "sha256": "3add274de08289619dc7f02000fef917a5b9a68ea24e25c01623ed4975660ee5", "url": "/research/figure-data/power-spectrum.json" }, "oshun": { "document": "oshun.json", "locator": "Saved project data; values read directly", "sha256": "bc24b589b1498b8c9e6eca79083aec1fdc7188f0f5272653b6667139ddd8678a", "url": "/research/figure-data/oshun.json" }, "icarus": { "document": "icarus.json", "locator": "Saved project data; values read directly", "sha256": "cc0cbdc9da4a71a15077b9fed91153c52809a02b36397b5b05238ca55a5fe602", "url": "/research/figure-data/icarus.json" }, "halcyon": { "document": "report.json", "locator": "overall_verdict.categories; full validation report", "sha256": "14ca7d0ab23e3c8f140c5d37f1e5bd17b50dda50461b8e9a7688f4cd78432504", "url": "/halcyon/reports/latest/report.json" }, "fal-core": { "document": "f16.js", "locator": "augmentedF16(), shortPeriod and actuator definitions", "sha256": "69dabe5bf12aa9ec6b5c824646393948627d34bc79872c8390f9e76573cd66f6", "url": "/fal-core/" }, "scj": { "document": "paper.tex", "locator": "Table labeled tab:cfs-fp, Compound-Rule Hit Reduction", "sha256": "51543e84cf5685be4e3cbfb59161e62319129d8f88fc9956602ff40072f99266", "url": "/scj/papers/scj-hunt-vs-nasa-oss-2026-06.pdf" }, "sha-paper": { "document": "sha256_measurement.tex", "locator": "10 September 2026 working paper; Early structure and independent evaluation", "sha256": "c5e0b370252cb0cefb2f07447471ee9b0bfe80af678839be46bbcd46d0e2580c", "url": null }, "sha-early": { "document": "early_structure.png", "locator": "Original paper figure; copied without alteration", "sha256": "aa280c8215459f9568758d4d8119928c41d2d1b5d45703c081e338d2d9ca5c27", "url": null }, "sha-holdout": { "document": "holdout_search.png", "locator": "Original paper figure; copied without alteration", "sha256": "afcddd593d1ae8e4b4d887867f98e84367eef81bf74bb7e893e99573276a12f3", "url": null }, "sha-numbers": { "document": "followup_numbers.tex", "locator": "MatchedSearchDiffTwo, MatchedSearchCITwo, MatchedSearchBelowTwo", "sha256": "fe1a8b47e9e0680c8963e5ea8b3de94e19ef02fb7531809a1b9f2e550acb106e", "url": null }, "laminar-surrogates": { "document": "03_surrogates.png", "locator": "Original paper figure; copied without alteration", "sha256": "ae611aeabdd06e8bb44b966c23a5fd97f2cfbfc06de080b99ff40fb7d1eae5d9", "url": null }, "laminar-incidence": { "document": "02_incidence.png", "locator": "Original paper figure; copied without alteration", "sha256": "c76de3fcb8019822b43f91cc9278d0048b91ad3d226700e3aee6bd2579c59db4", "url": null }, "laminar-sample": { "document": "sample_table.tex", "locator": "Table tab:sample; all 15 rows", "sha256": "b09aac4a11792ef8655b94d5a6768249e2e142134fa4250ae45eccf3602bb678", "url": null }, "fluid": { "document": "davis_navier_stokes.tex", "locator": "Experimental Verification NS-001 and NS-003 tables", "sha256": "9ba57aeb10cdd89acf252af32cad9c3284ef8d0d806c5b2a8ab5cf113e85a90b", "url": null }, "calcifer": { "document": "thermal_geometry_paper_v2.tex", "locator": "Unification table and explicit Rindler metric", "sha256": "1b193a0786143e1ff0a6fae1304e916bcd10bbd5f52dd9141d81b4d850318c0c", "url": null }, "prism": { "document": "REPORT.md", "locator": "Section 2.2 Embedding Space; v0.1 build report", "sha256": "bf3abb0e3dd85c8c825b8367de323e1f4942432836a90d32ee4e925659c03e9e", "url": null }, "demeter": { "document": "DEMETER-SPEC.md", "locator": "Version 2.0, section 1.4 Data Model", "sha256": "99113b756d5d0393697e0e9526c3e44058ab1298ac7b3c86639662eaaa4e36b9", "url": null }, "mirador": { "document": "MIRADOR_SPEC.md", "locator": "Version 0.2, Architecture Overview: layers 0–9", "sha256": "1e78774d3a400348d554160c43c259d8fa02a2dcf7ec606e2c633dd0b1b4808e", "url": null }, "psychohistory": { "document": "psychohistory_paper_v3.tex", "locator": "Version 3.0: K-floor gate and disconnection-mode classification table", "sha256": "c45f80cf142562f4d73701968ffafd39fc07d0ca2149bd832c8320a0ee019bfe", "url": null }, "geodesic-study1": { "document": "GEODESIC_Validation_Study_1__Real_TCGA_PanCancer_Atlas_Data_Analysis (1).pdf", "locator": "5 December 2025; Tables 2, 4 and 6, PDF pages 4–6", "sha256": "0a002a68918a269fe6906931d4347335c74cd7466c035614aad390637222a15e", "url": null }, "amc": { "document": "Adaptive_Embedding_Format_Switching_and_Semantic_Translation_in_High_Volume_Telemetry_Systems-10.pdf", "locator": "Table I and §IV.B–E, PDF pages 5–6; file suffix -10", "sha256": "558b74bb120d7d81c6f483d8b9923226dcfbd902b9b117db03b565fbac1ceb39", "url": null }, "gigi": { "document": "index.html", "locator": "Operation reference: PULLBACK, TRANSPORT, HOLONOMY", "sha256": "c96f124de25b5c14cd61014ff020cd560f644959160f3893ac7ab9207e875f1e", "url": "/gigi/docs/" }, "aurora": { "document": "aurora.html", "locator": "Benchmark ladder and timestep receipt specification", "sha256": "568c69e568fd50004abc9346b3d12cd6e71b9dfdc3ab70e889e2b4fd2c0580a5", "url": "/aurora.html" }, "sudoku": { "document": "sudoku.html", "locator": "Three-phase solver architecture", "sha256": "6601f92132b04d847915f8eb8a37b07205eece63337329bfa53d05815657980f", "url": "/projects/sudoku.html" }, "marcella": { "document": "marcella.html", "locator": "Runtime and generative-research descriptions", "sha256": "ad39bf5903a618dda01b6106d975244be08e15ce24b37f0728b9c7c795d7375b", "url": "/marcella.html" }, "immune": { "document": "mirador.tex", "locator": "Conceptual overview; coverage construction and vacuity floor", "sha256": "3c62eb7cea339c1edd1d40094da185e86924d989d2ca6f5107b2c48aa25d8d5c", "url": null }, "herald": { "document": "herald.tex", "locator": "Bounded-distortion assumption, Cantelli proposition, compositional error budget", "sha256": "d6ef5a63fc4e6d2555c568c7a250b3e639dd382aa25a139f2ddbdff8fb8efc89", "url": null }, "parallax": { "document": "README.md", "locator": "TESSERA description and analysis gateway", "sha256": "43092b5c4e0c02055c13360d5bd066f76a66374ff0982773d3905e19bb7a64cf", "url": null }, "tessera-encoder": { "document": "tessera_encoder.py", "locator": "KmerEncoder.__init__, count_kmers and forward", "sha256": "eb8274310e17738494ad7d91e31539a7ac51065bd37aaee6f275f2aef49d9a56", "url": null }, "kraken": { "document": "KRAKEN_DEMO_REDESIGN_SPEC.md", "locator": "Multi-modal contact interface and audit/replay design", "sha256": "d56aa551a956da9b34a687bba7308b29c884f06082e5677519899b2f21c384f2", "url": null }, "math-review": { "document": "review.html", "locator": "Unmodified approximation-suite rerun", "sha256": "78bd073341abe5baf8a24182f4b1fed59a279313868899e971f4ae4809b0232a", "url": "/research/math/review.html" }, "pagerank-paper": { "document": "davis_manifold_pagerank.pdf", "locator": "Tables 2–4, PDF pages 8–11", "sha256": "93d06fb1abe7222c1697d20119017d4ae3f4a7cc65b9d00108d61599b118b37c", "url": "https://zenodo.org/records/18285541" }, "superfluid-paper": { "document": "davis_landau_sonic_onset.pdf", "locator": "Version 3, Table 2, PDF page 16", "sha256": "a7f5c561e06f788b1f32c6d5d92f211d10b7612be5ec89e2080713e51ef04174", "url": "https://zenodo.org/records/18369500" }, "cosmology-paper": { "document": "davis_spacetime_topology.pdf", "locator": "Definitions and Table 3; critical-length Remark 4.1, PDF page 16", "sha256": "56b229ae42f832df5026e868f2f35d80a6b11959e0d5ea1a16e5f83dad0285fd", "url": "https://zenodo.org/records/19038092" }, "complexity-paper": { "document": "p_neq_np_geometric_separation.pdf", "locator": "Axioms 8.8 and 8.9; earlier axioms in §§2–3", "sha256": "5ec2bbe1dc18d0cd70bbc9382a0a0bf2d4a930203db71cae51af9ebe9735d838", "url": "https://zenodo.org/records/18210109" }, "aurora-spec": { "document": "AURORA_SYMPLECTIC_FLOW_SPEC.md", "sha256": "e777177d5498be75bf00ddb704af7beb27aaba4df6f0235b4d672b3fd9090da2", "locator": "v0.1: AtmoState, H, m, q, timestep and weighted projection; source of annotated atmospheric plates", "url": null } }, "domains": { "shortest-paths": [ { "type": "table", "title": "What duplicate suppression actually removes", "kind": "Saved work counters", "headers": [ "Implementation arm", "Vertex scans", "Unchanged scans", "Heavy-edge work", "Total edge scans" ], "rows": [ [ "heavy_only", "29540.5", "21195.5", "1249712.0", "17263035.5" ], [ "list_both", "29540.5", "21195.5", "7383815.5", "14764482.5" ], [ "mean_map", "8271.0", "21195.5", "1249712.0", "6630177.5" ], [ "skip_only", "8271.0", "21195.5", "2065777.5", "4132423.5" ] ], "note": "Dense input, n = 5,000. These are saved aggregate counters, so half-integer values are possible. Compare work counters within this input; they are not elapsed-time speedups.", "sources": [ "sssp" ] } ], "plasma": [ { "type": "table", "title": "The saved shaped-plasma sweep", "kind": "Model output", "headers": [ "βN", "Signed spectral diagnostic", "Worst radial position x", "all_stable flag", "Suydam violated fraction" ], "rows": [ [ 0.5, "0.009823", "0.0500", "true", 1.0 ], [ 0.8, "-0.009491", "0.8346", "false", 1.0 ], [ 1.0, "-0.198168", "0.8577", "false", 1.0 ], [ 1.2, "-0.398591", "0.8577", "false", 1.0 ], [ 1.4, "-0.608436", "0.8808", "false", 1.0 ], [ 1.6, "-0.769188", "0.8808", "false", 1.0 ], [ 1.8, "-0.897392", "0.8808", "false", 1.0 ], [ 2.0, "-1.006743", "0.8808", "false", 1.0 ], [ 2.2, "-1.093224", "0.8808", "false", 1.0 ], [ 2.4, "-1.162348", "0.9038", "false", 1.0 ], [ 2.6, "-1.205199", "0.9038", "false", 1.0 ], [ 2.8, "-1.241508", "0.9269", "false", 1.0 ], [ 3.0, "-1.251243", "0.9269", "false", 1.0 ], [ 3.2, "-1.279691", "0.9500", "false", 1.0 ], [ 3.5, "-1.280360", "0.9500", "false", 1.0 ], [ 4.0, "-1.142735", "0.9500", "false", 1.0 ], [ 4.5, "-0.881999", "0.8808", "false", 1.0 ], [ 5.0, "-1.163572", "0.8808", "false", 1.0 ] ], "note": "The flags are reproduced independently, including disagreement between diagnostics. The source calls the signed value spectral_gap; it is not a universally nonnegative graph-Laplacian gap. This is the shaped model, not a plasma discharge or the separate graph experiment.", "sources": [ "plasma" ] } ], "power-grids": [ { "type": "table", "title": "All nine inter-machine modes", "kind": "Saved operator comparison", "headers": [ "Mode", "Effective operator eigenvalue", "Classical undamped ω²", "Relative difference" ], "rows": [ [ 1, "15.242756558688", "15.242756558688", "8.158e-16" ], [ 2, "35.334664630263", "35.334664630263", "3.821e-15" ], [ 3, "41.756163125938", "41.756163125938", "3.403e-16" ], [ 4, "51.128735571200", "51.128735571200", "8.338e-16" ], [ 5, "63.348513125872", "63.348513125872", "2.243e-16" ], [ 6, "65.229304216625", "65.229304216626", "2.614e-15" ], [ 7, "85.745491583703", "85.745491583703", "2.983e-15" ], [ 8, "92.714172402740", "92.714172402740", "1.533e-16" ], [ 9, "94.360580494108", "94.360580494108", "1.506e-15" ] ], "note": "IEEE 39-bus base case; the near-zero common-angle mode is excluded. The maximum relative difference is 3.821 × 10⁻¹⁵. The operators are algebraically equivalent: agreement checks implementation, not forecasting advantage.", "sources": [ "power-spectrum" ] } ], "ingredient-science": [ { "type": "table", "title": "Prediction error alongside the changing sample", "kind": "Saved conditioning comparison", "headers": [ "Fit / conditioning", "Measurements retained", "Dropped", "Context cells", "RMSE (log Kp)", "R²" ], "rows": [ [ "No conditioning", 534, 0, 1, "1.2583", "0.0210" ], [ "Refit here", 534, 0, 1, "1.1454", "0.1887" ], [ "+ vehicle", 441, 93, 8, "1.1038", "0.2737" ], [ "+ full protocol", 311, 223, 15, "0.9912", "0.3727" ] ], "note": "The first row applies the published Potts–Guy equation; subsequent rows refit with leave-one-out evaluation. Full conditioning retains 311 of 534 measurements. Because the populations differ, the lower RMSE is not a paired estimate of improvement on the same cases.", "sources": [ "oshun" ] }, { "type": "table", "title": "Inside the full-protocol strata", "kind": "Saved subgroup results", "headers": [ "Body site / layer / vehicle", "n", "RMSE (log Kp)", "R²" ], "rows": [ [ "abdomen | epidermis | unspecified", 75, "1.1558", "0.0229" ], [ "abdomen | epidermis | PBS", 37, "0.8826", "0.4683" ], [ "abdomen | epidermis, dermis | unspecified", 28, "0.9255", "-0.1202" ], [ "abdomen | dermis | unspecified", 24, "1.3003", "0.2924" ], [ "thigh | epidermis, dermis | unspecified", 22, "1.2689", "0.2932" ], [ "unspecified | epidermis | unspecified", 21, "0.4399", "0.8374" ] ], "note": "Selected strata retained in the companion data, not all 15 cells. Negative R² values remain visible; conditioning does not make every subgroup predictable.", "sources": [ "oshun" ] } ], "guidance-control": [ { "type": "table", "title": "One instant, three advisory decisions", "kind": "Saved synthetic ascent", "headers": [ "Quantity / configuration", "Value at T + 66 s", "Interpretation" ], "rows": [ [ "Envelope radius", "207.142 m", "Four-second model envelope" ], [ "Error budget", "12.5109 m", "About 6.04% of the radius" ], [ "Highest represented frequency", "25.445 Hz", "Above the 25 Hz Nyquist limit of 50 Hz navigation" ], [ "Full advisory", "Observe", "Sampling guard remains active" ], [ "Blind-envelope ablation", "Confident", "Saved levelBlind = 2" ], [ "Guard ablation", "Confident", "Saved levelAblate = 2" ] ], "note": "Read from sample 132 of the 601-point trace (zero-based indexing). A small budget/envelope ratio alone misses the sampling problem. The scenario is synthetic; these are not flight-test measurements.", "sources": [ "icarus" ] } ], "gauge-physics": [ { "type": "table", "title": "The complete saved validation verdict", "kind": "Recorded simulation checks", "headers": [ "Check", "Recorded verdict" ], "rows": [ [ "Substrate identities", "PASS" ], [ "Energy conservation", "PASS" ], [ "Covariant Gauss residual", "PASS" ], [ "Time reversibility", "PASS" ], [ "Migdal-Witten analytical target", "PASS" ], [ "Gauge invariance", "PASS" ], [ "Microcanonical vs canonical", "FAIL" ], [ "Beta-scan", "PASS" ], [ "Operational beta envelope", "PASS" ], [ "Sector classifier", "NOT APPLICABLE" ] ], "note": "Run halcyon_dde14a276d54: eight PASS, one FAIL, and one NOT APPLICABLE. In particular, microcanonical versus canonical does not pass. These checks concern the finite simulation and do not establish a hardware effect.", "sources": [ "halcyon" ] } ], "propulsion": [ { "type": "table", "title": "The actual four-state plant", "kind": "Implemented model coefficients", "headers": [ "State derivative", "α coefficient", "q coefficient", "δe coefficient", "δ̇e coefficient", "Command u coefficient" ], "rows": [ [ "α̇", -1.01887, 0.90506, -0.00215, 0, 0 ], [ "q̇", 0.82225, -1.07741, -0.17555, 0, 0 ], [ "δ̇e", 0, 0, 0, 1, 0 ], [ "δ̈e", 0, 0, -2500, -70, 2500 ] ], "note": "ẋ = Ax + Bu; x = [α, q, δe, δ̇e]ᵀ and y = q. Angle of attack and elevator angle are in radians; q and δ̇e are in rad/s. Coefficients have the corresponding derivative/state units. This is the implemented short-period aircraft model with an elevator actuator, not a propulsion model or a measured aircraft response.", "sources": [ "fal-core" ] }, { "type": "table", "title": "How the actuator enters the model", "kind": "Source model specification", "headers": [ "Element", "Source value / equation", "Role" ], "rows": [ [ "Natural frequency", "ωn = 50 rad/s", "Sets actuator response scale" ], [ "Damping ratio", "ζ = 0.7", "Sets damping of the second-order actuator" ], [ "Actuator equation", "δ̈e + 70δ̇e + 2500δe = 2500u", "Maps commanded elevator to actual elevator" ], [ "Measurement", "C = [0, 1, 0, 0]; D = 0", "Only pitch rate is returned as y" ], [ "Source operating point", "Mach 0.6; altitude 15,000 ft", "Operating point stated in the source comment" ] ], "note": "The operating point is attributed to the model source; its agreement with a particular airframe is not independently established here. The numerical response above uses these same coefficients.", "sources": [ "fal-core" ] } ], "security": [ { "type": "table", "title": "How architectural triage changed the candidate queue", "kind": "Manuscript table", "headers": [ "Compound rule", "v0.7", "v0.8", "v0.9", "v0.9b", "v0.9c" ], "rows": [ [ "module_load_with_cmd_filename", 0, 1, 0, 0, 0 ], [ "psp_write_from_sb", 0, 7, 0, 0, 0 ], [ "sb_memcpy_unbounded", 0, 12, 1, 0, 0 ], [ "sb_tbl_load_dispatch", 0, 3, 3, 1, 1 ], [ "tbl_load_no_validate", 0, 3, 3, 1, 1 ], [ "tbl_address_deref_no_check", 0, 8, 8, 6, 6 ], [ "cds_restore_unvalidated", 0, 2, 2, 2, 2 ], [ "fs_header_no_magic_check", 0, 1, 1, 1, 1 ], [ "Total", 0, 29, 18, 11, 11 ], [ "High-severity slice (weight ≥ 5)", 0, 20, 1, 0, 0 ] ], "note": "Five cFS bundles, approximately 650 functions. These counts are rule hits, not confirmed vulnerabilities. The manuscript explains the surviving v0.9c patterns as correct by design or guarded by another function. Zero high-severity hits does not prove the software is vulnerability-free.", "sources": [ "scj" ] } ], "cryptography": [ { "type": "figure", "title": "Bit significance changes the apparent advantage", "kind": "Original manuscript figure", "src": "/research/evidence/cryptography-early_structure.png", "pdf": "/research/evidence/cryptography-early_structure.pdf", "width": 491, "height": 192, "note": "Original September 2026 figure. Left: round-2 responses at the 32 positions of W0, discovery and holdout. Right: candidate-minus-control minimum Hamming distance on 256 fresh bases; negative favors the candidate. Blue uses 20 uniform control sets, orange 40 significance-matched sets. Bars are descriptive 95% base-bootstrap intervals, conditional on the sampled sets; rounds are discrete evaluations.", "sources": [ "sha-early" ], "companion": false }, { "type": "figure", "title": "The independent holdout behind the claim", "kind": "Original manuscript figure", "src": "/research/evidence/cryptography-holdout_search.png", "pdf": "/research/evidence/cryptography-holdout_search.pdf", "width": 491, "height": 199, "note": "Original manuscript companion figure: all 440 selected-position comparisons and equal-budget two-bit search differences. This adds the discovery/holdout view rather than enlarging the first chart. It does not establish an attack or a digest distinguisher.", "sources": [ "sha-holdout" ], "companion": true }, { "type": "table", "title": "The round-two matched-control result", "kind": "Manuscript numerical record", "headers": [ "Comparison", "Reported value" ], "rows": [ [ "Fresh base messages", 256 ], [ "Patterns per six-position set per base", 15 ], [ "Significance-matched control sets", 40 ], [ "Candidate minus matched-control mean", "+1.55 Hamming bits" ], [ "Descriptive 95% base-bootstrap interval", "[+1.14, +1.96] bits" ], [ "Matched sets with lower mean minimum", 36 ] ], "note": "Positive values favor the controls. The candidate is worse at this endpoint after matching bit significance. This is a working-state search experiment, not a collision or preimage attack.", "sources": [ "sha-paper", "sha-numbers" ] } ], "market-structure": [ { "type": "figure", "title": "The classifier responds to surrogate inputs too", "kind": "Original manuscript figure", "src": "/research/evidence/market-structure-03_surrogates.png", "pdf": "/research/evidence/market-structure-03_surrogates.pdf", "width": 518, "height": 389, "note": "Original LAMINAR manuscript figure. Dashed lines give matched real-input incidence. Dots are seed results, diamonds their means, and segments their ranges—not confidence intervals. There are three surrogate seeds for 6J, ZT and GC, and two for ES. The denominator here includes terminal bins; the sample table below uses the manuscript’s different L + U + R denominator.", "sources": [ "laminar-surrogates" ], "companion": false }, { "type": "figure", "title": "Session variation and two denominators", "kind": "Original manuscript figure", "src": "/research/evidence/market-structure-02_incidence.png", "pdf": "/research/evidence/market-structure-02_incidence.pdf", "width": 518, "height": 446, "note": "Original manuscript figure comparing session incidence with tape-level summaries. This companion view exposes variation across sessions and how conditioning on an asserted regime changes the denominator.", "sources": [ "laminar-incidence" ], "companion": true }, { "type": "table", "title": "The measured sample, with both incidence denominators", "kind": "Manuscript table", "headers": [ "Tape", "Trades", "N = L + U + R", "L / N (%)", "L / (L + U) (%)", "Sessions with L / all", "2026 period" ], "rows": [ [ "RTY", "421,982", "3,370", "9.67", "16.47", "5/5", "Jul" ], [ "6E", "133,221", "3,231", "8.82", "14.91", "5/5", "Jul" ], [ "YM", "277,026", "3,299", "8.58", "15.17", "5/5", "Jul" ], [ "CL", "3,392,888", "12,964", "8.07", "14.00", "19/19", "Mar–Apr" ], [ "ZT", "128,267", "2,976", "7.90", "11.60", "5/5", "Jul" ], [ "NQ", "1,795,518", "3,385", "7.68", "13.18", "5/5", "Jul" ], [ "GC", "331,552", "3,377", "7.67", "13.45", "5/5", "Jul" ], [ "6J", "95,882", "3,221", "7.48", "12.31", "5/5", "Jul" ], [ "ES", "10,298,409", "13,303", "7.35", "12.50", "20/20", "Mar–Apr" ], [ "ZB", "144,380", "2,904", "7.30", "9.23", "5/5", "Jul" ], [ "ZF", "263,750", "3,060", "7.06", "8.90", "5/5", "Jul" ], [ "ES-apr", "8,887,782", "13,720", "7.01", "11.46", "20/20", "Apr–May" ], [ "ES-jul", "2,088,165", "3,385", "7.00", "11.62", "5/5", "Jul" ], [ "ZN-summer", "5,647,076", "42,144", "6.73", "9.20", "65/65", "Apr–Jul" ], [ "ZN", "2,628,030", "13,118", "6.35", "8.55", "20/20", "Mar–Apr" ] ], "note": "L = LAMINAR, U = TURBULENT, R = TRANSITIONAL. N excludes initializing and separately recorded terminal bins. Conditioning on an asserted regime drops R from the denominator. These are label-incidence measurements, not returns or trading performance.", "sources": [ "laminar-sample" ] } ], "fluid-dynamics": [ { "type": "table", "title": "What the finite simulation is reported to contain", "kind": "Manuscript-reported values", "headers": [ "Diagnostic", "Reported value", "Time / range" ], "rows": [ [ "Initial maximum vorticity", "12.0", "t = 0" ], [ "Peak maximum vorticity", "87.99", "t = 0.796" ], [ "Final maximum vorticity", "5.43", "t = 5.0" ], [ "Fitted spectral exponent", "−1.6642", "k ∈ [4, 30]" ], [ "Reference slope", "−5/3 ≈ −1.6667", "Inertial-range comparison" ] ], "note": "The manuscript specifies a 256³ Taylor–Green simulation at Re = 2,000. Values are transcribed, not rerun; source nondimensionalization applies. A bounded finite trajectory and a fitted spectrum do not prove global regularity or a continuation criterion.", "sources": [ "fluid" ] } ], "horizon-thermodynamics": [ { "type": "table", "title": "Metric inputs and the temperature formula", "kind": "Manuscript equation table", "headers": [ "Spacetime / chart", "Lapse α", "Radial spatial coefficient", "K = √γ / α", "Surface gravity κ" ], "rows": [ [ "Schwarzschild exterior", "√(1 − rs/r)", "γrr = (1 − rs/r)⁻¹", "(1 − rs/r)⁻¹", "c⁴ / (4GM)" ], [ "De Sitter static patch", "√(1 − r²/RH²)", "γrr = (1 − r²/RH²)⁻¹", "(1 − r²/RH²)⁻¹", "c² / RH" ], [ "Rindler wedge, α > 0", "1 + gz/c²", "γzz = 1", "(1 + gz/c²)⁻¹", "g" ] ], "note": "All three temperature expressions use T = ℏκ / (2πckB). The Rindler row follows the manuscript’s explicit flat-spatial metric, not its overbroad earlier statement that f = h for every nonrotating case. K and c/K depend on coordinates; locally measured light speed remains c. This table organizes assumptions, not a quantum-free derivation.", "sources": [ "calcifer" ] } ], "financial-systems": [ { "type": "table", "title": "Where the 512 coordinates go", "kind": "Implemented representation specification", "headers": [ "Sub-bundle", "Dimensions", "Fraction of total", "Field treatment in the report" ], "rows": [ [ "Invariant", 256, "50%", "Amount, currency and date hashing" ], [ "Entity", 128, "25%", "Character bigrams" ], [ "Semantic", 96, "18.75%", "One-hot projection" ], [ "Context", 32, "6.25%", "Word hashing" ] ], "note": "The four blocks are combined and L2-normalized. This shows the actual allocation rather than presenting every payment field as interchangeable. Representation dimensions are not matching-accuracy measurements.", "sources": [ "prism" ] } ], "agriculture": [ { "type": "table", "title": "The fields the model actually keeps", "kind": "Specification schema", "headers": [ "Bundle / key", "Retained quantities", "Units or context" ], "rows": [ [ "field_observations / field_id + date", "tau_m, K_m, sm, precip, et0, kc", "days; in/day; moisture %; in; in/day; crop coefficient" ], [ "equipment_telemetry / machine_id + timestamp", "tau_e, K_e, hydraulic_psi, engine_rpm", "ms; ms; psi; rpm" ], [ "fields / field_id", "soil_series, awc, om_pct, root_depth", "Soil series, water capacity, organic matter %, rooting context" ], [ "phenology_tracking / field_id + date", "gdd_accumulated, gdd_remaining, growth_stage", "Growing-degree-days and labeled growth stage" ], [ "market_observations / commodity + report_date", "ending_stocks, consumption, tau_mkt", "Million bushels; million bushels/month; months" ] ], "note": "Transcribed from the specified GIGI bundles. This is a data model, not a table of farm observations. The domain-dependent units are retained; equal formula shapes do not make moisture, machinery and markets equivalent.", "sources": [ "demeter" ] } ], "drug-response": [ { "type": "table", "title": "The ten specified therapeutic layers", "kind": "Design specification", "headers": [ "Layer", "Input / task", "Proposed mathematical object" ], "rows": [ [ 0, "Patient genome / phenome", "Patient manifold (P, gP)" ], [ 1, "Disease target", "Target manifold (T, h)" ], [ 2, "Molecular configuration", "Candidate manifold (M, gM)" ], [ 3, "Binding interaction", "Fiber bundle π: E → T" ], [ 4, "Pharmacophore extraction", "Topological invariant τ" ], [ 5, "ADMET", "Total curvature K" ], [ 6, "Optimization", "C* = max(τ/K)" ], [ 7, "Resistance", "Holonomy group Hol(∇)" ], [ 8, "Combination therapy", "Tensor product E₁ ⊗ E₂" ], [ 9, "Dosing schedule", "Parallel transport along c(t)" ] ], "note": "These are the manuscript’s proposed objects. The table does not assert that each object has a calibrated biological meaning or an empirically validated implementation. In particular, binding, exposure, toxicity and clinical response remain distinct endpoints.", "sources": [ "mirador" ] } ], "conflict-modeling": [ { "type": "table", "title": "The branch added for weakly connected dyads", "kind": "Manuscript decision rule", "headers": [ "Source state label", "Condition", "Which model branch is used" ], "rows": [ [ "CONNECTED", "K ≥ 0.05", "Standard helicity" ], [ "DISCONNECTION_TRAP", "K < 0.05 and Γd < 0.1", "Disconnection metrics; low diplomatic mobility" ], [ "DISCONNECTION_VOLATILE", "K < 0.05 and Γd ≥ 0.1", "Disconnection metrics; diplomatic paths remain" ] ], "note": "K and Γd are model-defined quantities, not direct measures of inevitability. These are source thresholds, not newly calibrated cutoffs. A prospective warning claim needs release-dated data and false-alert accounting.", "sources": [ "psychohistory" ] } ], "oncology": [ { "type": "table", "title": "The TCGA study’s reported results", "kind": "Manuscript-reported cohort analysis", "headers": [ "Measurement", "Reported value", "What it measures" ], "rows": [ [ "Samples / cancer types", "10,967 / 32", "TCGA cohort represented in the manuscript" ], [ "Input / embedding", "40 binary driver-gene fields / 64 dimensions", "Specified encoder representation" ], [ "Radius–driver correlation", "Spearman ρ = 0.9866", "Association with driver count in the analyzed representation" ], [ "Sector accuracy", "35.4%", "Tissue-label classification in this study" ], [ "Sector margin", "0.791", "Minimum distance between cancer-type centroids" ], [ "Full-embedding silhouette", "−0.228", "Euclidean cluster separation diagnostic" ] ], "note": "Transcribed from Study 1, not independently reproduced. The report does not clearly document an independent held-out evaluation for these results. Driver-count correlation is not validation of a malignancy score. Its separate infinite configuration-margin entry is not presented as successful benign/cancer discrimination because the comparison population is not established.", "sources": [ "geodesic-study1" ] } ], "operations": [ { "type": "table", "title": "The adaptive-format controller’s explicit settings", "kind": "Manuscript configuration", "headers": [ "Symbol", "Value", "Defined role" ], "rows": [ [ "λ", 0.95, "Exponential-moving-average decay for selector weights" ], [ "γ", 1800, "TTL scaling in seconds" ], [ "θ", 0.05, "Rollback threshold" ], [ "ε", 0.1, "Semantic-drift bound" ], [ "k", 10, "Nearest centroids for scoring" ], [ "η", "1%", "Violation-rate threshold for translator retraining" ] ], "note": "This table belongs to the adaptive-embedding manuscript, not the separate BRIDGE replay manuscript. Values specify the reported controller; they do not prove semantic equivalence. Conflicting storage-baseline and latency wording elsewhere in this manuscript is not promoted into a performance headline.", "sources": [ "amc" ] } ], "data-systems": [ { "type": "table", "title": "Queries a reader can inspect in the reference", "kind": "Documented interface examples", "headers": [ "Operation", "Source example", "Documented output" ], "rows": [ [ "PULLBACK", "PULLBACK readings ALONG sensor_id ONTO sensors PRESERVE LEFT;", "Joined records retaining unmatched left records" ], [ "TRANSPORT", "TRANSPORT corpus FROM (token_str='walk') TO (token_str='walked') ON FIBER (f4, f11, f12);", "Rotation angle, 2 × 2 SO(2) matrix, raw displacements" ], [ "HOLONOMY", "HOLONOMY corpus ON FIBER (f11, f12) AROUND tense_label;", "Group centroids, transport angles and total deficit" ] ], "note": "Exact query examples, not freshly executed outputs. The implementation defines what these geometric operator names mean; a returned angle is not automatically a physical or linguistic invariant.", "sources": [ "gigi" ] } ], "atmosphere": [ { "type": "table", "title": "The staged benchmark ladder", "kind": "Specified experiments", "headers": [ "Stage", "Named comparison", "Question being separated" ], "rows": [ [ "Shallow-water core", "Williamson cases 2, 5 and 6", "Balanced flow, topography and evolving wave structure" ], [ "Forced dry atmosphere", "Held–Suarez", "Response to idealized forcing and damping" ], [ "Idealized moist climate", "Aquaplanet", "Climate behavior under simplified boundary conditions" ], [ "Prescribed surface conditions", "Prescribed sea-surface-temperature experiments", "Comparison with externally specified boundary forcing" ] ], "note": "The named stages come from the companion; the right column is an editorial reading guide. This is a benchmark plan, not a pass/fail table. Conservation receipts and solution error must both be reported when a stage is run.", "sources": [ "aurora" ] } ], "constraint-satisfaction": [ { "type": "table", "title": "Three operations inside the CUDA solver", "kind": "Documented implementation structure", "headers": [ "Phase", "Representation", "Operation", "Output used by the next phase" ], "rows": [ [ "Propagation", "Candidate bitmasks", "Arc consistency and hidden singles", "Reduced candidate domains" ], [ "Relaxation", "Softmax probabilities", "Continuous energy relaxation", "Candidate preferences" ], [ "Search", "Discrete assignments", "Iterative-deepening depth-first search", "A checked assignment or continued search" ] ], "note": "This is the architecture described by the solver companion. It does not reuse the inconsistent historical speedup headline or pool kernel latency with batched throughput.", "sources": [ "sudoku" ] } ], "language-models": [ { "type": "table", "title": "Keep the experiments and outputs separate", "kind": "Companion research comparison", "headers": [ "Research component", "Object under study", "Finding / behavior recorded by the companion" ], "rows": [ [ "Reply composition", "Indexed source-backed response components", "Voice opener, framing, citation and closing are assembled" ], [ "Knowledge gate", "Question relative to the indexed corpus", "Refusal depends on source coverage" ], [ "Multi-view, closed-form model", "Separate representations of the input", "Complementarity helped the tested models" ], [ "Multi-view, transformer capacity", "Same research question in a higher-capacity model", "Reported gain washed out" ], [ "Contrastive alignment", "Aligning views versus keeping them separate", "Reported loss relative to retaining perspectives" ] ], "note": "Qualitative findings from distinct experiments; no missing benchmark values have been filled in. A retrieval runtime result is not a language-model perplexity or decoding-speed result.", "sources": [ "marcella" ] } ], "immune-design": [ { "type": "table", "title": "The objects needed before a panel can be certified", "kind": "Conceptual manuscript definitions", "headers": [ "Object", "Specified role", "Evidence needed for biological use" ], "rows": [ [ "Antigen and receptor co-embeddings", "Place both in a common binding-related space", "Binding measurements supporting that common distance" ], [ "Antigen path family", "Defines which future variations are considered", "Coverage of plausible held-out antigenic variation" ], [ "Receptor coverage set", "Antigens lying in a declared binding neighborhood", "A calibrated neighborhood threshold" ], [ "Panel-selection problem", "Choose receptors covering the sampled paths", "Panel size constraint and sampling error" ], [ "Error budget / vacuity floor", "Reduce the lower bound when uncertainty consumes the margin", "Estimated distortion, forecast and binding errors" ] ], "note": "The first two columns condense the source construction; the final column identifies its empirical dependencies. The original manuscript reports no neutralization or clinical outcomes.", "sources": [ "immune" ] } ], "viral-surveillance": [ { "type": "table", "title": "What each stage of the risk argument requires", "kind": "Conceptual manuscript assumptions", "headers": [ "Stage", "Mathematical object / condition", "Scope" ], "rows": [ [ "Representation", "(1 − ε) dg ≤ δ ≤ (1 + ε) dg", "Only the stated bounded-distortion path family" ], [ "Separation", "Distance gap Δ", "Depends on the contrastive objective and its assumptions" ], [ "Tail bound", "Finite class-conditional second moments", "Cantelli bound, not a Gaussian-noise assumption" ], [ "Composition", "(1 − ε₁)(1 − α)(1 − ξ)", "Product form requires the stated conditional independence" ], [ "Fallback", "1 − (ε₁ + α + ξ)", "Conservative union bound when independence is unavailable" ] ], "note": "These are ingredients of a conditional argument, not fitted surveillance probabilities. Negative lower bounds provide no positive guarantee. Assay linkage, calibration, and abstention remain necessary.", "sources": [ "herald" ] } ], "antimicrobial-resistance": [ { "type": "table", "title": "The implemented k-mer encoder, layer by layer", "kind": "Source-code model definition", "headers": [ "Step", "Size / operation", "Meaning" ], "rows": [ [ "Count sequence words", "k = 6; 4⁶ = 4,096 features", "Frequency vector over A, C, G, T words" ], [ "Normalize counts", "Divide by the total counted words", "Removes total-count scale" ], [ "Hidden layer 1", "4,096 → 512; ReLU; dropout 0.2", "Learned projection" ], [ "Hidden layer 2", "512 → 256; ReLU; dropout 0.2", "Learned nonlinear representation" ], [ "Output", "256 → 128; L2 normalization", "Unit-length embedding" ] ], "note": "Default KmerEncoder configuration in the reviewed source. No trained weights or predictive accuracy are implied by these layer sizes. Its preprocessing removes N characters before counting, which can create artificial adjacency across ambiguous bases and needs evaluation.", "sources": [ "tessera-encoder" ] }, { "type": "table", "title": "Three outputs that must not share one accuracy claim", "kind": "Platform-defined tasks", "headers": [ "Output in the project", "Evidence type needed to evaluate it", "Unit of comparison" ], "rows": [ [ "Outbreak clustering", "Independently supported outbreak / lineage labels", "Assembly or isolate" ], [ "Resistance-gene detection", "Independent sequence annotation", "Gene or region" ], [ "Horizontal-transfer tracking", "Supported mobile-element / transfer evidence", "Segment and genomic context" ] ], "note": "The task names come from PARALLAX; the evidence and comparison columns are the editorial evaluation map. No clinical resistance or transfer-rate measurements are present in this source.", "sources": [ "parallax" ] } ], "maritime": [ { "type": "table", "title": "Which information survives a fused contact", "kind": "Demonstrator specification", "headers": [ "Retained object", "Fields / operation", "What can be inspected" ], "rows": [ [ "Contact state", "Identity, bearing, course, range", "The contact being described" ], [ "Modal evidence", "Originating sensor and modality contribution", "Which observation supports which part of the state" ], [ "Uncertainty", "Covariance-aware comparison and tail-risk fusion", "Disagreement and the scope of confidence" ], [ "Translation", "Bounded mappings and pullback geometry", "Representation changes before fusion" ], [ "Audit record", "Merkle-linked replay", "Integrity and provenance of the computation" ] ], "note": "Condensed from the interface specification. Mock contact values have intentionally not been turned into detection measurements. Replay integrity and classification accuracy are different properties.", "sources": [ "kraken" ] } ], "mathematical-foundations": [ { "type": "table", "title": "A correction the mathematical review retains", "kind": "Recorded validation-suite result", "headers": [ "Check / quantity", "Recorded result", "Interpretation" ], "rows": [ [ "Supplied suite", "10 / 11 checks passed", "Only the suite’s own finite tests" ], [ "Test 9, original coordinates", "Mean error 0.2952", "Synthetic regression" ], [ "Test 9, rotated coordinates", "Mean error 0.1425", "Same rotation-invariance check" ], [ "Rotated / original error", "0.483", "The check failed; coordinate sensitivity remains" ] ], "note": "The suite does not prove the proposed lower bound or a mass gap. Keeping the failed rotation check visible is part of the mathematical record.", "sources": [ "math-review" ] } ], "pagerank": [ { "type": "table", "title": "Iteration counts with the final residuals beside them", "kind": "Deposited manuscript tables", "headers": [ "Graph / size", "Jacobi iterations", "Selected method iterations", "Jacobi residual", "Selected method residual" ], "rows": [ [ "Clustered / 10,000", 51, 8, "8.1 × 10⁻⁹", "3.5 × 10⁻⁶" ], [ "Social / 10,000", 55, 11, "8.1 × 10⁻⁹", "9.1 × 10⁻⁷" ], [ "Chain / 5,000", 66, 66, "7.5 × 10⁻⁹", "7.5 × 10⁻⁹" ], [ "Power-law / 5,000", 33, 33, "5.3 × 10⁻⁹", "5.3 × 10⁻⁹" ] ], "note": "Joined by graph and size from Tables 2–4. Dense cases use Gauss–Seidel with SOR; sparse cases use Jacobi in both arms. Dense iteration savings are not a comparison at matched residual. The clustered residual 3.5 × 10⁻⁶ also exceeds the manuscript’s stated 10⁻⁶ threshold, contrary to its nearby prose. Counts are manuscript-reported, not rerun.", "sources": [ "pagerank-paper" ] } ], "superfluids": [ { "type": "table", "title": "The two obstacle regimes actually compared", "kind": "Deposited simulation table", "headers": [ "Obstacle", "Dimensionless parameters", "β: ⁸⁷Rb", "β: ²³Na", "β: ⁷Li" ], "rows": [ [ "Gaussian, semi-hard", "σ = 3ξ; V₀ = 50μ", 0.486, 0.486, 0.486 ], [ "Tanh-wall, hard", "R = 8ξ; V₀ = 1000μ", 0.425, 0.425, 0.425 ] ], "note": "β = vc / cs; ξ is healing length and μ chemical potential. These are the reported values at the sampled thresholds, not zero-uncertainty physical constants. Equal dimensionless outcomes for three parameterizations of a rescaled Gross–Pitaevskii model do not establish universality across temperatures, obstacle families or experiments.", "sources": [ "superfluid-paper" ] } ], "cosmology": [ { "type": "table", "title": "The observability model’s mathematical inputs", "kind": "Deposited theoretical definitions", "headers": [ "Symbol", "Role in the manuscript", "What must be specified" ], "rows": [ [ "L", "Length of a topological cycle", "Chosen compact spatial model and length convention" ], [ "Φ", "Phase assigned to transport around a cycle", "The connection and observable carrying that phase" ], [ "τ", "Horizon-dependent tolerance budget", "Which horizon radius and normalization are used" ], [ "K", "Model-defined cost of the cycle", "Its relation to the chosen phase" ], [ "C = τ/K; Γ = C/π", "Capacity and regime parameter", "An observation model connecting the ratio to a statistic" ] ], "note": "This is the proposed mathematical model, not an observed cosmic topology. The manuscript’s Table 3 places Γ near one at L ≈ 2 LH, while Remark 4.1 computes a critical length of 3.92 LH. Those normalizations need reconciliation before reproducing its observational threshold plots.", "sources": [ "cosmology-paper" ] } ], "complexity": [ { "type": "table", "title": "The assumptions carrying the final separation argument", "kind": "Deposited conditional argument", "headers": [ "Source statement", "Mathematical form", "Role in the proposed argument" ], "rows": [ [ "Axiom 8.8: information-flow law", "C = τ / K(A, B)", "Connects geometric barrier cost to information flow" ], [ "Axiom 8.9: tolerance intensivity", "τ = Θ(1) as n grows", "Prevents the tolerance budget from growing with input size" ], [ "Standard-model correspondence", "A separate proof obligation", "Must connect these quantities to every algorithm in the ordinary computation model" ] ], "note": "The first two rows state the final section’s assumed axioms; the third is an editorial proof obligation. Earlier sections introduce additional geometric correspondences. This table neither audits every lemma nor establishes an unconditional P versus NP separation.", "sources": [ "complexity-paper" ] } ] } }