Words / CONCEPT
Arithmetic Rigidity of a Marked Prefix
The marked prefix survives tight odd palindromic cuts with a corrected charge inequality.
Closed
DIRECT PREREQUISITES9
DIRECT CONSEQUENCES1
PROOF DEPTH7
DOCUMENT LINKS1
Retained and removed prefix alternatives
RELATIONSHIP ATLAS
Every connection, in context.
Direct recorded relationships
Proof dependencyStructural affinityDocument link
Certified topology / UPSTREAM
Prerequisites
- Arithmetic Meaning of the Base Transducertruth-dependency · Closed
- Base Position Memorytruth-dependency · Closed
- Base Projection of Marked Pathstruth-dependency · Closed
- Complete Representation of Palindrome Cutstruth-dependency · Closed
- Exact Stream of a Marked Prefixtruth-dependency · Closed
- Marked Input Annotationtruth-dependency · Closed
- Marked Path Selectiontruth-dependency · Closed
- Signed Tail Phasetruth-dependency · Closed
- Unmarked Flip Semanticstruth-dependency · Closed
Certified topology / DOWNSTREAM
Consequences
RELATED KNOWLEDGE
Structural connections
- Affine subsequences of integer k-regular sequencesstructural-affinity · Closed
- Arithmetic Meaning of the Base Transducerstructural-affinity · Closed
- Arithmetic of Separated Marked Prefixesstructural-affinity · Closed
- At Most One Tight Even Cutstructural-affinity · Closed
- Base Position Memorystructural-affinity · Closed
- Base Projection of Marked Pathsstructural-affinity · Closed
- Class Preservation and Charge Monotonicitystructural-affinity · Closed
- Complete Representation of Palindrome Cutsstructural-affinity · Closed
- Exact Sparse Diagonalstructural-affinity · Closed
- Exact Stream of a Marked Prefixstructural-affinity · Closed
- Finite interleavings of integer k-regular sequencesstructural-affinity · Closed
- Marked Charge Obstructionstructural-affinity · Closed
- Marked Input Annotationstructural-affinity · Closed
- Marked Input Shapestructural-affinity · Closed
- Marked Path Selectionstructural-affinity · Closed
- Marked Suffix Agreementstructural-affinity · Closed
- Odd Cuts in Even Tight Pathsstructural-affinity · Closed
- Parity positions in the Sobolewski–Ulas meta-Fibonacci sequencestructural-affinity · Closed
- Period-Doubling PPL-Difference Is Not Automaticstructural-affinity · Closed
- Signed Tail Phasestructural-affinity · Closed
- Sparse Kernel Rankstructural-affinity · Closed
- Tight Palindromic Factorizationsstructural-affinity · Closed
- Unmarked Flip Semanticsstructural-affinity · Closed
Documents & exposition
Other authored & advisory relationships
None recorded in this release.
LIBRARY / RELEASE VERSIONS
Content history
Loading release versions...
Browse the archiveCertified provenance