Current research sources

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

main 4f600d9dc0441113568483fb3c34533b4be7440e · Math- 6e502c1f8a5632eb90670fd9fc0d52e421c015a2

Current status source · Current research guide · Current proof index

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

Historical mathematical material (original pins and observation).

math.d1-component.section9-replacement-v1_1

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: reviews/d1_section9_borel_repair_20260925/REPAIR.md (complete document at the pinned source revision; no document text was acquired into this page).

Review report: reviews/d1_chain_reconciliation_20260928/LEDGER.json (complete document at the pinned source revision; no document text was acquired into this page).

Original node metadata

{
  "author_provider": "OpenAI",
  "classification": "PROVED_REVIEWED",
  "component_of": "math.uniform-matrix-cap-lifetime",
  "component_role": "amendment",
  "controlling": false,
  "fingerprint": "845abf9f9c99d672c2a10a887b5a2e7206a3d2de3d876f35f75ff6e2dc13e62f",
  "kind": "reading_rule_component",
  "layer": "D1",
  "ledger_items": [
    "D1-B-E2"
  ],
  "review_basis": [
    {
      "depth": "full",
      "provider": "Anthropic",
      "review": "C1",
      "verdict": "ACCEPT"
    },
    {
      "depth": "full",
      "provider": "xAI",
      "review": "G2",
      "verdict": "ACCEPT"
    }
  ],
  "review_source": "reviews/d1_chain_reconciliation_20260928/LEDGER.json",
  "scope": "replaces parent section 9 (Borel elder mark in weighted pair Kac-Rice), C1-C6",
  "source": "reviews/d1_section9_borel_repair_20260925/REPAIR.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.