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.mesoscopic-scaled-annulus
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": "x=r y with A<=|y|<=B away from pins",
"kind": "region",
"layer": "D5",
"notes": "Reviewed only at D5-d with R >= B (covers the reviewed fixed annulus); 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",
"math.d5-component.annulus-proof",
"math.d5-component.annulus-review"
],
"review_disposition": "ACCEPT_AT_STATED_SCOPE",
"review_source": "reviews/d5_reconciliation_20260929/RECONCILIATION.md",
"scope": "D5-d with R >= B (covers the reviewed fixed annulus)"
}
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.mesoscopic-scaled-annulus → math.d5-component.punctured-pin-proof· required:true - math.d5-component.punctured-pin-review-111 ·
requires_evidence·math.rn-region.mesoscopic-scaled-annulus → math.d5-component.punctured-pin-review-111· required:true - math.d5-component.punctured-pin-continuum-review ·
requires_evidence·math.rn-region.mesoscopic-scaled-annulus → math.d5-component.punctured-pin-continuum-review· required:true - math.d5-component.punctured-pin-continuum-check ·
requires_evidence·math.rn-region.mesoscopic-scaled-annulus → math.d5-component.punctured-pin-continuum-check· required:true - math.d5-component.collar-proof ·
requires_evidence·math.rn-region.mesoscopic-scaled-annulus → math.d5-component.collar-proof· required:true - math.d5-component.collar-review ·
requires_evidence·math.rn-region.mesoscopic-scaled-annulus → math.d5-component.collar-review· required:true - math.d5-component.annulus-proof ·
requires_evidence·math.rn-region.mesoscopic-scaled-annulus → math.d5-component.annulus-proof· required:true - math.d5-component.annulus-review ·
requires_evidence·math.rn-region.mesoscopic-scaled-annulus → math.d5-component.annulus-review· required:true
Outgoing context
None recorded.
Incoming required
None recorded.
Incoming context
- math.rn-mesoscopic-reduction ·
targets_region·math.rn-mesoscopic-reduction → math.rn-region.mesoscopic-scaled-annulus· required:false