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.d5-pin-neighborhood-first-moment
Original kind: candidate · recorded classification: PROVED_REVIEWED.
Independent evidence metadata axes
- source
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: reviews/d5_reconciliation_20260929/RECONCILIATION.md (complete document at the pinned source revision; no document text was acquired into this page).
Review report metadata: not_recorded.
Original node metadata
{
"classification": "PROVED_REVIEWED",
"controlling": false,
"kind": "candidate",
"layer": "D5",
"scope": "D5-a..D5-f of RECONCILIATION.md section 2; existential constants; fixed T; compact marks with k >= k_- > 0; d = 2",
"source": "reviews/d5_reconciliation_20260929/RECONCILIATION.md"
}
Typed neighbors
Directions and relation labels are preserved from the selected graph snapshot.
Outgoing required
- math.d5-component.punctured-pin-proof ·
requires_evidence·math.d5-pin-neighborhood-first-moment → math.d5-component.punctured-pin-proof· required:true - math.d5-component.punctured-pin-review-111 ·
requires_evidence·math.d5-pin-neighborhood-first-moment → math.d5-component.punctured-pin-review-111· required:true - math.d5-component.punctured-pin-continuum-review ·
requires_evidence·math.d5-pin-neighborhood-first-moment → math.d5-component.punctured-pin-continuum-review· required:true - math.d5-component.punctured-pin-continuum-check ·
requires_evidence·math.d5-pin-neighborhood-first-moment → math.d5-component.punctured-pin-continuum-check· required:true - math.d5-component.collar-proof ·
requires_evidence·math.d5-pin-neighborhood-first-moment → math.d5-component.collar-proof· required:true - math.d5-component.collar-review ·
requires_evidence·math.d5-pin-neighborhood-first-moment → math.d5-component.collar-review· required:true - math.d5-component.annulus-proof ·
requires_evidence·math.d5-pin-neighborhood-first-moment → math.d5-component.annulus-proof· required:true - math.d5-component.annulus-review ·
requires_evidence·math.d5-pin-neighborhood-first-moment → math.d5-component.annulus-review· required:true - math.d5-component.intermediate-window-proof ·
requires_evidence·math.d5-pin-neighborhood-first-moment → math.d5-component.intermediate-window-proof· required:true - math.d5-component.i5-review-xai ·
requires_evidence·math.d5-pin-neighborhood-first-moment → math.d5-component.i5-review-xai· required:true - math.d5-component.i5-review-claude ·
requires_evidence·math.d5-pin-neighborhood-first-moment → math.d5-component.i5-review-claude· required:true - math.d5-component.remote-window-proof ·
requires_evidence·math.d5-pin-neighborhood-first-moment → math.d5-component.remote-window-proof· required:true
Outgoing context
None recorded.
Incoming required
None recorded.
Incoming context
None recorded.