docs: expand every Unproven item into a full technical reference
docs: split performance wiki by lifecycle
docs: validate assumption-based shortcut candidates