Hmm – I do notice, one comment of yours up, you note: “if that group is procedurally Unfriendly (as opposed to just foreign), there’s no reason to expect the process to correct to FAI).” Something about this phrasing suggests you might be using the phrase friendly/unfriendly/foreign in ways that weren’t quite mapping to how I was using them.
Noting this mostly as “I’m updating a bit towards my previous comment not quite landing in your ontology” (which I’m trying to get better at tracking).
Hmm – I do notice, one comment of yours up, you note: “if that group is procedurally Unfriendly (as opposed to just foreign), there’s no reason to expect the process to correct to FAI).” Something about this phrasing suggests you might be using the phrase friendly/unfriendly/foreign in ways that weren’t quite mapping to how I was using them.
Noting this mostly as “I’m updating a bit towards my previous comment not quite landing in your ontology” (which I’m trying to get better at tracking).