# O seu problema real

O seu grande problema aí é que você está usando uma lista (`[]`) como argumento padrão no método `__init__` - como a linha `def __init__(self,caixa=[]):` é executada uma única vez, essa lista é criada apenas uma vez, e uma única e mesma lista vai ser usada em **todas as instâncias** da classe `f`.

Para arrumar isso, mude seu código para:
```python

class f():
    def __init__(self,caixa=None):
        self.caixa= caixa if caixa is not None else [] 
 ```
Pronto - com essa mudança, uma nova lista é criada a cada instância.

(claro que a classe `g` precisa da mesma mudança na declaração  do `__init__`)

# O comportamento de  `a = a + b` e `a += b`

O comportamento do  `+=` é dado pelo método `__iadd__` se ele existir na classe do objeto da esquerda. Se não houver - o `__add__` é chamado (ou `__radd__` no objeto da direita) - e o resultado é identico ao uso de `x = x + y`.

Por convenção ainda, o `__iadd__` quando existe vai modificar o _próprio_ objeto (self) - e o `__add__` vai criar uma outra instância.

Então, tipicamente a implementação vai ser algo como:
```
class F:
   def __init__(self, valor):
        self.valor = valor
   def  __add__(self, other):
       return type(self)(valor=self.valor + other.valor)
   def __iadd__(self, other):
       self.valor += other.valor
       return self

```
No caso de listas, e outros objetos mutáveis, é exatamente o que acontece. Então `lista1 += lista2` vai modificar a lista 1 internamente, já 
`lista1 = lista1 + lista2`  vai criar uma _nova_ lista que é a concatenação das listas lista1 + lista2 , e guarda o resultado disso no nome `lista1`, sobre-escrevendo a referência anterior. 

Se você tem alguma referência a lista1, antes da linha `lista1 = lista1 + lista2`, essa referência **não** vai ver alterações, e vai continuar apontando pra "lista1" original.  

# Entendendo o seu problema baseado nessas duas coisas:

É simples: a linha 
`self.listaFs[0].caixa= self.listaFs[0].caixa + ['ok']` cria uma NOVA lista que vai ficar em `a.caixa` -e então os objetos `b` e `c` ainda vão compartilhar a mesma lista- mas `a.caixa` fica sendo uma lista independente.

Enquanto que a linha: 
`self.listaFs[0].caixa+= ['ok']` altera a mesma instância da lista, que está no `a.caixa` -e aí, como ela permanece compartilhada nas instâncias `b` e `c`, você vê essa modificação olhando por aquelas instâncias.