ConceptDynamics / CONCEPT
The rectangular localized cochain equals the same actual positive-word gyration modulo three
The rectangular localized cochain equals the same actual positive-word gyration modulo three.
Closed
DIRECT PREREQUISITES2
DIRECT CONSEQUENCES1
PROOF DEPTH10
DOCUMENT LINKS0
The localized sum is the same actual word invariant
RELATIONSHIP ATLAS
Every connection, in context.
Direct recorded relationships
Proof dependencyStructural affinityDocument link
Certified topology / UPSTREAM
Prerequisites
Certified topology / DOWNSTREAM
Consequences
RELATED KNOWLEDGE
Structural connections
- Actual finite graph words give chronological rectangular RS paths and exact scalar-extended endpoint mapsstructural-affinity · Closed
- Actual kernel quotients and original-power invariantsstructural-affinity · Closed
- Actual positive-word loop transport to literal vertex coordinates with both endpoint correctionsstructural-affinity · Closed
- Actual relabel row matrices equal the reduced forward gyrationstructural-affinity · Closed
- Actual-history charts, endpoint-corrected positive-word gyration and signed time translationstructural-affinity · Closed
- Assemble actual dictionary weights over typed wordsstructural-affinity · Closed
- Closed RS loops change coefficient basis through two triangles before endpoint cancellationstructural-affinity · Closed
- Parallel-edge discrepancy on the original primitive path basisstructural-affinity · Closed
- Ranked permutation factors as actual graph relabelingsstructural-affinity · Closed
- Signed congruence for the fixed positive-lift cochainstructural-affinity · Closed
- The same cochain on a finite unit word and its collapsed edgestructural-affinity · Closed
- Transport both relabel factors through the actual chartsstructural-affinity · Closed
- Transport forward orbit phases under timed history equivalencesstructural-affinity · Closed
- Unit-factor recodings retain the original parallel-edge rankstructural-affinity · Closed
Documents & exposition
None recorded in this release.
Other authored & advisory relationships
None recorded in this release.
LIBRARY / RELEASE VERSIONS
Content history
Loading release versions...
Browse the archiveCertified provenance