Snapshot research sources

Pinned source observation: 2026-10-13T12:34:29Z. Compare this timestamp with the present time; observation is not scientific revalidation.

main b7deb198722582df191006e4f47238f92e6e543d · Math- a115feebd861119d90a1ea1f9344f685d9535d0e

Current status source · Current research guide · Current proof index

Current mathematical atlas · Snapshot static graph and complete source inventory · Exact snapshot observation payload. Scientific effect: NONE.

Immutable snapshot record · payload SHA-256 7c583e28878d2bf2c94bf37325820bd5eb1e7f3f557e8a78dd27881a27f6548c.

hist.ENV-RESCOV

Original kind: predicate · recorded classification: OPEN_HISTORICAL.

Independent evidence metadata axes

source: not_recorded
review: not_recorded
kernel: not_recorded
computation: not_recorded
alignment: not_recorded

These values describe metadata presence, not a proof result, applicability or scientific acceptance. No kernel, computation or alignment record is admitted by this graph export.

Graph-to-artifact binding: unresolved; artifact roles: unknown; custody: unknown. No Artifact Index mapping is inferred.

Source and recorded review references

Source metadata: not_recorded.

Review report metadata: not_recorded.

Original node metadata

{
  "classification": "OPEN_HISTORICAL",
  "controlling": false,
  "fingerprint": "status-rn-unif-ordered-wall-1",
  "kind": "predicate",
  "layer": "D0",
  "notes": "OPEN for historical D3; qualitatively rederived on newer routes where proved"
}

Typed neighbors

Directions and relation labels are preserved from the selected graph snapshot.

Outgoing required

hist.rnu_env.py · historical_certificate_carrier · hist.ENV-RESCOV → hist.rnu_env.py · required: true

Outgoing context

None recorded.

Incoming required

None recorded.

Incoming context

None recorded.