UNIVERSAL LAW MATHEMATICS IN THE OPEN

Current research sources

Pinned source observation: . Compare this timestamp with the present time; observation is not scientific revalidation.

main cefdb56e87a1787be2874ec260a70a730bbbddd7 · Math- 6e502c1f8a5632eb90670fd9fc0d52e421c015a2

Current status source · Current research guide · Current proof index

Current mathematical atlas · Current static graph and complete source inventory · Exact current observation payload · Historical mathematical material (original pins and observation). Scientific effect: NONE.

Search the current public source inventory

8 of 3373 indexed public files shown. Historical, recovery and operational paths are outside this discovery population.

History capacity: 2 of 512 mathematical archives; 25985735 of 805306368 conservative retained bytes (including registry and release-key allowances). Publication refuses additional versions at capacity; no history is pruned.

Finite source snapshot · interactive mathematics

Equations and dependency worktree

Explore the recorded mathematical objects and the sources they consume. Each node keeps its original classification; equations are exact excerpts from separate proof sources.

Loading the current pinned graph…

Static node index and evidence pages · Preserved 3 October dependency snapshot · Share this source snapshot and selection

Minimap of the loaded neighborhood only

Select a node after its source verifies.

Read an equation in its source

Snapshot diagnostics and mapping gaps

    History and activity

    This view selects one current source snapshot. Source-bound archive links retain earlier node records; the published snapshot manifest identifies the retained population. The preserved dependency snapshot below retains its original date and identity. No activity report is admitted in this projection; no live presence, assignment or review activity is inferred.

    SOURCE-BOUND RESEARCH NAVIGATION

    Claim dependency viewer

    Find a recorded object, inspect its scope and evidence references, and trace the dependencies that give it context.

    Dated read-only snapshot of Math 7858329, captured 3 October 2026. This page derives navigation, ranking, and paths from frozen source bytes. It does not update current claim status, accept a proof, or replace the live proof index. Scientific effect: NONE.

    As read on 8 October 2026 (Math- 2ca3bf26), the live GRAPH.json had not changed since the pinned commit (its last change is 42db0ef, 29 September 2026). Later changes are not imported here; compare against the current GRAPH.json (mutable branch link).

    PINNED SOURCE

    What is in this graph?

    Loading the local source snapshot…

    —

    Recorded nodes

    —

    Source edges

    —

    Unresolved research targets

    Rendered from dependency-source/GRAPH.json (SHA-256 8822e9618678321a342d69cd0b8ae6552de1b5d578c331de5072b2892ee9dd09, 38,753 bytes, Git blob 220b56867f24c5ef6f55a3cce70490e9777cf3af) as pinned by PROVENANCE.json; the page refuses to render if the bytes differ.

    How this graph's classifications relate to review verdicts

    “Classification” is the downstream gate's promotion state at Math 7858329, quoted from its pinned README: “Only PROVED_REVIEWED satisfies a still-required positive premise. Required REFUTED, BLOCKED_ABSENT, author-side/open, and SUPERSEDED_NONBLOCKING nodes block promotion.” A node classified AUTHOR_SIDE_CANDIDATE may still record a review disposition such as ACCEPT; that recorded disposition is shown beside the node and in its evidence table, and is the proof index's register, not the gate's.

    Tokens recorded in this snapshot, quoted and not defined by this viewer — classifications: AUTHOR_SIDE_CANDIDATE, AUTHOR_SIDE_REDUCTION, BLOCKED_ABSENT, COVERED_BY_CANDIDATE, ENGINEERING_CONTROL, FALSE, HOLD, OPEN_ACTIVE, OPEN_HISTORICAL, PROVED_REVIEWED, REFUTED, SUPERSEDED_NONBLOCKING; layers D0–D7 as the source groups them; kinds: candidate, carrier, engineering, integrity_control, inventory, predicate, reading_rule_component, region, regional_supersession, register. The source also names tokens that never discharge an obligation: GREEN_CI, HASH_MATCH, ARCHITECTURAL_ADMISSION, NUMERICAL_EXPERIMENT, SAME_AUTHOR_REVIEW, NAVIGATION_SUCCESS, AUTHOR_SELF_CHECK.

    FIND A CLAIM

    Search exact identifiers and relations

    Search includes node IDs, classifications, notes, source paths, and edge relations.

    Filters describe this dated graph, not current scientific acceptance. The URL retains your filters and selected object.

    Enter a search after the graph loads.

    UNRESOLVED TARGETS

    Ranked by all-edge reach (includes context)

    Unresolved here means a node whose recorded classification is OPEN_ACTIVE, OPEN_HISTORICAL, AUTHOR_SIDE_CANDIDATE or AUTHOR_SIDE_REDUCTION and whose kind is not engineering, integrity_control, inventory or register (the viewer's list rule in dependency-model.mjs, not a source verdict). Open leaves remain listed even when both counts are zero.

    All-edge reach counts the distinct nodes that reach a target through any recorded edge in this snapshot, including context edges that are not required premises; the target itself is excluded. Required-dependency reach counts only the nodes that reach a target through required edges at every step, in this snapshot. Neither count says how many results are blocked, how many premises remain unsatisfied, or whether a proof is complete.

      SELECTED NODE

      Choose a claim to inspect

      Select an unresolved target or a search result. A saved URL may use ?node=exact.id#node-detail.

      HOW TO READ THIS PAGE

      Paths explain the snapshot. They do not promote claims.

      The graph records dependency direction as dependent → dependency. Rankings are derived solely from those edges. Consult the live proof index and current source-bound reviews before acting on any displayed classification.