Situated Project Seed
Orientamento sul progetto corrente.
Collega stato revisionato, fonti, vincoli e lavoro selezionato senza trasformare proiezioni in fatti.
Kernel · generazione del progetto
RepoKernel
Genera la forma operativa situata di un progetto.
RepoKernel legge un contratto di setup revisionato e genera una struttura locale per stato, fonti, competenze, autorità, rientro e apprendimento. Il risultato è un Project Kernel legato al progetto che accompagna.
- 01SetupSpec
Il contesto revisionato diventa un contratto d’ingresso stabile.
- 02RepoKernel
Il compilatore valida e compone la forma legata al progetto.
- 03Project Kernel
Il progetto generato riceve stato, fonti e facoltà operative durevoli.
- 04Adozione
L’ambiente di destinazione installa, riconosce e verifica la forma generata.
Posizione in MAIOS
Cosa entra. Cosa viene generato. Cosa resta da provare.
- Usa → SetupSpecRepoKernel parte dal contesto del setup dopo che è diventato un contratto revisionabile.
- Genera → Project KernelL’output è situato nel progetto e porta un Situated Project Seed e una Project Operating Faculty.
- Preserva → proprietà del progettoIl compilatore non copia nel pacchetto lo stato privato di MMK, THIA o dell’operatore.
- Richiede → adozione nel targetLa presenza nell’archivio non dimostra installazione, riconoscimento, attivazione o comportamento utile.
Forma del progetto generato
L’assistente riceve un luogo in cui orientarsi, continuare ed evolvere.
Il Project Kernel generato mantiene vicino al lavoro il minimo contesto durevole del progetto. Resta vincolato al progetto e alle capacità realmente disponibili nell’host scelto.
Project Operating Faculty
La grammatica operativa del progetto.
Mantiene collegati stato, proprietario, autorità, confini e prossimo movimento selezionato.
Meta-facoltà
Funzioni selezionabili di evoluzione e rientro.
Le facoltà aggiuntive entrano solo dopo neutralizzazione, composizione del pacchetto e verifica nel target.