ObserverMemory / CONCEPT
Sharp rewrite budget for a fixed split
The same noncentral direct sum has sharp worst initial rewrite cost one or two, and every persistent cumulative controller obeys that lower bound.
Closed
DIRECT PREREQUISITES1
DIRECT CONSEQUENCES1
PROOF DEPTH6
DOCUMENT LINKS1
Classification and necessary persistent budget
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
- Action Graph Communication Boundstructural-affinity · Closed
- Control rewrite directional communicationstructural-affinity · Closed
- Initialized endpoint control protocolsstructural-affinity · Closed
- Necessary persistent controller capacitiesstructural-affinity · Closed
- Passive Query Memoizationstructural-affinity · Closed
- Restricted initialized control implementationstructural-affinity · Closed
- Saturated Control Regionstructural-affinity · Closed
- Shared Control-Bit Storage Boundstructural-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