Snapshot research sources

Pinned source observation: . 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.

math.d5-component.intermediate-window-proof

Original kind: reading_rule_component · recorded classification: PROVED_REVIEWED.

Independent evidence metadata axes

source
recorded
review
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: frontiers/intermediate_window_20260928/PROOF.md (complete document at the pinned source revision; no document text was acquired into this page).

Review report metadata: not_recorded.

Original node metadata

{
  "author_provider": "OpenAI",
  "classification": "PROVED_REVIEWED",
  "component_of": "math.d5-pin-neighborhood-first-moment",
  "component_role": "proof",
  "controlling": false,
  "fingerprint": "b3eb9456d7058b5b78149cfca4e072679beda85cd1a0293d209664a542db66cf",
  "kind": "reading_rule_component",
  "layer": "D5",
  "review_basis": [
    {
      "depth": "full",
      "provider": "xAI",
      "review": "d5_i5_planar_f_20260928",
      "verdict": "ACCEPT existential"
    },
    {
      "depth": "full",
      "provider": "Anthropic",
      "review": "d5_intermediate_window_claude_20260928",
      "verdict": "ACCEPT"
    }
  ],
  "source": "frontiers/intermediate_window_20260928/PROOF.md"
}

Typed neighbors

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

Outgoing required

None recorded.

Outgoing context

None recorded.

Incoming required

Incoming context

None recorded.