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.rn-region.pin-collision
Original kind: region · recorded classification: PROVED_REVIEWED.
Independent evidence metadata axes
- source
not_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 metadata: not_recorded.
Review report: reviews/d5_reconciliation_20260929/RECONCILIATION.md (complete document at the pinned source revision; no document text was acquired into this page).
Original node metadata
{
"classification": "PROVED_REVIEWED",
"controlling": false,
"fingerprint": "near +-e1/2 scaled pin sites",
"kind": "region",
"layer": "D5",
"notes": "Reviewed only at D5-a, D5-b, D5-d; see the complete D5 reconciliation reading rule. No d>2, numerical, elder-selection, JETMOD, or witness-collision closure.",
"reading_rule": [
"math.d5-component.punctured-pin-proof",
"math.d5-component.punctured-pin-review-111",
"math.d5-component.punctured-pin-continuum-review",
"math.d5-component.punctured-pin-continuum-check",
"math.d5-component.collar-proof",
"math.d5-component.collar-review"
],
"review_disposition": "ACCEPT_AT_STATED_SCOPE",
"review_source": "reviews/d5_reconciliation_20260929/RECONCILIATION.md",
"scope": "D5-a, D5-b, D5-d"
}
Typed neighbors
Directions and relation labels are preserved from the selected graph snapshot.
Outgoing required
- math.d5-component.punctured-pin-proof ·
requires_evidence·math.rn-region.pin-collision → math.d5-component.punctured-pin-proof· required:true - math.d5-component.punctured-pin-review-111 ·
requires_evidence·math.rn-region.pin-collision → math.d5-component.punctured-pin-review-111· required:true - math.d5-component.punctured-pin-continuum-review ·
requires_evidence·math.rn-region.pin-collision → math.d5-component.punctured-pin-continuum-review· required:true - math.d5-component.punctured-pin-continuum-check ·
requires_evidence·math.rn-region.pin-collision → math.d5-component.punctured-pin-continuum-check· required:true - math.d5-component.collar-proof ·
requires_evidence·math.rn-region.pin-collision → math.d5-component.collar-proof· required:true - math.d5-component.collar-review ·
requires_evidence·math.rn-region.pin-collision → math.d5-component.collar-review· required:true
Outgoing context
None recorded.
Incoming required
None recorded.
Incoming context
None recorded.