Softanza
DémarrerEnglish
Softanza
Sept portes, une seule histoire

Pour qui

Softanza raconte une seule histoire à sept sortes d'artisans du logiciel, et chaque porte mène à la page de ce lecteur, qui lit tout le site depuis sa place. Chaque porte ci-dessous dit ce que ce lecteur déclare et ce qu'il obtient, et montre un exemple exécuté le soir de la publication.

Pour une organisation, en huit réponses

Les questions qu'un responsable informatique pose avant un pilote, chacune avec sa réponse en une ou deux phrases et la page qui en tient la preuve.

Ce qu'elle fait pour une organisation
Elle livre une plateforme déclarée : votre monde, vos règles et vos rôles, écrits avec vos propres mots en texte brut qui vous appartient ; des agents d'IA qui proposent et ne peuvent pas engager ; et un déploiement répété sur un jumeau avant d'être réel. Solutions pour les organisations
Ce qui est construit, et ce qui ne l'est pas encore
Chaque produit est listé avec son stade : construit, en construction ou nommé, et le site ne dit jamais construit ce qui ne l'est pas. Le patrimoine, étape par étape
Qui l'utilise
Les projets qui l'ont façonnée, avec ce que chacun demandait et ce qui existe aujourd'hui. Applications réelles et Forgée en projets
Est-elle sûre
Trente-huit garanties, chacune liée à un garde ; une attaque d'exercice détectée en 395 ms et contenue en 50 ms, 27 assertions sur 27, mesurée sur une seule machine et une seule forme d'attaque. Les chiffres de la sécurité
Est-elle souveraine
Ici, la souveraineté veut dire une seule chose : rien que quiconque d'autre puisse retirer. Chaque dépendance reçoit un verdict écrit : possédée, empruntée et épinglée, ou embarquée avec le code. Souveraineté
Ce qu'elle coûte
La plateforme est gratuite et entière, sous licence MIT, sans aucun module retenu, et rien sur ce site n'a de prix. Éditions
À quoi ressemble un premier projet
Trois temps : spécifier le monde de l'organisation comme une déclaration, répéter toute la solution sur un jumeau jusqu'à ce qu'elle soit jugée, puis la livrer par un plan avec retour arrière. À la fin, le code, la configuration et les données sont à l'organisation, en texte brut. Une mission, en trois temps
Comment travailler avec l'auteur
Comment ces livres sont offerts, et comment travailler avec l'auteur(s'ouvre dans un nouvel onglet). L'invitation permanente est aussi au pied de chaque page.

Qu'est-ce qu'un artisan du logiciel ?

Un artisan du logiciel transforme ce qu'il sait d'un monde en quelque chose qui tourne, sans attendre l'industrie du logiciel. Il n'est pas défini par sa maîtrise de la programmation mais par la propriété : l'artefact est à lui, en texte brut, et il n'expire pas. Une enseignante, un analyste, un commerçant, un élève, un fonctionnaire, et un agent d'IA qui propose sous tous ces mondes.

Sept portes

Porte 1

Programmeur ou programmeuse, seul·e ou en petite équipe

Ce que vous déclarez : votre intention, dans une bibliothèque qui se lit comme une phrase : on trouve d'abord, on agit ensuite. Ce que vous obtenez : un moteur Zig sous chaque appel, correct en Unicode, et des narrations qui racontent ses idées en code. Où commencer : la page Démarrer, puis le chapitre 1 du cours. Votre page : Pour un programmeur.

Softanza
o1 = new stzList([ "tea", "rice", "tea", "fish", "rice", "tea" ])
? o1.ContainsDuplicates()
? o1.NumberOfOccurrence("tea")
? @@( o1.FindAll("tea") )
? @@( o1.DuplicatesRemoved() )
Sortie
1
3
[ 1, 3, 6 ]
[ "tea", "rice", "fish" ]

exécuté le 2026-09-30 à 23:11, Softanza au commit 0e72e2e2c

Porte 2

Analyste fonctionnel ou data

Ce que vous déclarez : les entités, les règles et les flux de votre organisation, dans un fichier de connaissance en texte brut. Ce que vous obtenez : un monde interrogeable, où le graphe des dépendances et la table des symboles sont le même graphe, plus des tables et des statistiques calculées par le moteur. Où commencer : le chapitre 12 du cours, « Enseigner un monde », dans le lecteur. Votre page : Pour un analyste ou un concepteur.

Softanza
o = new stzTable([ [ :region, :population ],
    [ "Agadez", 487620 ], [ "Maradi", 3402094 ], [ "Zinder", 3539764 ] ])
o.Show()
Sortie
╭────────┬────────────╮
│ Region │ Population │
├────────┼────────────┤
│ Agadez │     487620 │
│ Maradi │    3402094 │
│ Zinder │    3539764 │
╰────────┴────────────╯

exécuté le 2026-10-01 à 09:26 ; les chiffres sont ceux du recensement RGPH 2012 de l'Institut national de la statistique du Niger, tels que lus par le garde de la carte

Porte 3

Designer UI, UX, CX

Ce que vous déclarez : une image, une carte, un écran, comme un programme. Ce que vous obtenez : un rendu produit par le moteur, reproductible à l'octet, et une constitution des interfaces de 122 règles et 22 verbes qu'une machine peut vérifier. Où commencer : le chapitre 11 du cours, « Dessiner la réponse », et la constitution Zui. Votre page : Pour un analyste ou un concepteur.

Une image rendue par le moteur pour le domaine du graphisme.
Une des vingt-huit images de la page Plateforme, chacune produite par la plateforme elle-même ; la carte du Niger sur la page Vision en est une autre.
Porte 4

CTO, gouvernement, startup, entreprise

Ce que vous déclarez : votre monde, votre gouvernance, et ce que chaque acteur, humain ou agent, peut commettre. Ce que vous obtenez : des agents qui ne peuvent pas vous nuire, un modèle de menace de trente-huit garanties avec leurs gardes, un confinement mesuré, et la propriété de tout : code, configuration, données, en texte brut. Où commencer : le paradigme agentique, puis ce qui existe aujourd'hui. Votre page : Pour un décideur.

Un analyste de banque déclare un agent
A bank analyst declares a stock-watcher agent,
first without saying what it covers:
-> refused / [pia-coverage @ coverage]
   an agent must say WHAT IT COVERS.
...then with its coverage stated:
-> The court judged your declaration,
   and every promise of the exercise was kept.
L'exercice de confinement
>> TIME TO DETECT : 395 ms
>> TIME TO CONTAIN: 50 ms
TOTAL: 27 assertions, 27 pass, 0 fail

exécuté le 2026-09-30 à 23:10 (démonstration, scène 7) et le 2026-10-01 à 00:41 (exercice de confinement)

Porte 5

Éducateur, linguiste, auteur, architecte de connaissance

Ce que vous déclarez : un cours, une surcouche pour votre institution, une édition dans votre langue, un monde de connaissance. Ce que vous obtenez : un programme en texte brut où chaque cellule s'exécute et où chaque exercice est vérifié en s'exécutant, un tuteur qui demande, des cohortes dont le rapport est une narration. Où commencer : Éducation, avec ses trois portes : apprendre, enseigner, diriger un programme. À côté : les éditions française, arabe et haoussa sont des brouillons (0 unité sur 35 relue), les cellules s'exécutent sur le bureau, et aucune institution ne l'a encore adopté : ce qui est prouvé, et ce qui ne l'est pas. Votre page : Pour un enseignant ou un auteur.

Zara, 9 ans, répond à la mission 1 en haoussa
? len( NaturallyIn("ha",
   'Yi jeri dauke [ "Ibrahim", "Fatima", "Ibrahim",
                    "Moussa", "Fatima" ] cire maimaitattu').Result() )
-> Every promise of the exercise was kept when your program ran.
PROVED  the child's Hausa program passed, checked by running it
Le moteur compte des lettres, pas des octets
? Q("سلام").NumberOfChars()         --> 4
? Q("مرحبا بالعالم").Script()        --> arabic

exécuté le 2026-09-30 à 23:10 et le 2026-10-01 à 09:26

Porte 6

Un agent d'IA

Ce que vous déclarez : vous-même, dans un fichier d'agent : ce que vous couvrez, la réversibilité de vos actes, la posture de chaque fonction que vous appelez. Ce que vous obtenez : un atelier où tout ce que vous faites est répété sans toucher le réel, une grammaire contrainte qui vous empêche d'émettre une phrase malformée, et un tribunal qui juge votre plan. Ce que vous n'obtenez pas : la capacité de commettre. Où commencer : le paradigme agentique, et le chapitre 14 du cours, « Un agent qui ne peut pas nuire ». Votre page : Pour un agent d'IA.

Un agent propose 610 suppressions
Update plan (610 of 610 operations to commit):
* 1. delete file '…/course.zknw'
* 2. delete file '…/curriculum.zknw'
...
Le tribunal répond
actor 'amina-helper-llm' cannot commit
-- it lacks the 'effectful' capability
   (required by operation 1)
PROVED  the course folder still holds all 610 files

exécuté le 2026-09-30 à 23:10 par demo(s'ouvre dans un nouvel onglet), scène 6

Porte 7

Une équipe qui livre une application

Ce que vous déclarez : un monde : ce qui y vit et ce qui y est vrai, comment il réagit, ce qu'il veut, et où il dure. Ce que vous obtenez : une application jugée par des gardes, servie par un hôte bâti sur le réacteur du moteur, répétée sur un jumeau avant d'être déployée. Elle tourne sur le web aujourd'hui, et l'interface native est en construction. Par où commencer : Applications, puis votre première application. Votre page : Pour un architecte.

Comment Softanza se finance

La manière Softanza La septième doctrine de la conception de référence le dit en une phrase : le projet se finance lui-même, pour qu'aucun capital extérieur n'acquière jamais de voix sur la fondation ouverte, et chaque frontière commerciale tombe sur ce que chaque chose sert. Pour qui décide d'investir un effort ici, cette phrase vaut plus qu'une grille de prix.