Who it is for
Softanza tells one story to seven kinds of crafters, and each door leads to that reader's page, which reads the whole site from their place. Each door below says what that reader declares and what they get, and shows one example run on the night of publication.
For an organisation, in eight answers
The questions a head of IT asks before a pilot, each answered in one or two sentences, with the page that holds the proof.
- What it does for an organisation
- It delivers a declared platform: your world, your rules and your roles, written in your own words as plain text you own; AI agents that propose and cannot commit; and a deployment rehearsed on a twin before it is real. Solutions for organisations
- What is built, and what is not yet
- Every product is listed with its stage: built, in construction or named, and the site never calls a thing built before it is. The estate, stage by stage
- Who uses it
- The projects that shaped it, with what each one asked for and what exists today. Real applications and Forged in projects
- Is it safe
- Thirty-eight guarantees, each tied to a guard; an attack drill detected in 395 ms and contained in 50 ms, 27 of 27 assertions, measured on one machine against one attack shape. The security numbers
- Is it sovereign
- Sovereignty here means one thing: nothing anyone else can withdraw. Every dependency gets a written verdict: owned, borrowed and pinned, or vendored with the code. Sovereignty
- What it costs
- The platform is free and whole, under the MIT licence, with no module held back, and nothing on this site is priced. Editions
- What a first project looks like
- Three moves: specify the organisation's world as a declaration, rehearse the whole solution on a twin until it is judged, then deliver it through a plan with rollback. At the end the code, the configuration and the data are the organisation's, in plain text. An engagement, in three moves
- How to work with the author
- How these books are offered, and how to work with the author(opens in a new tab). The standing invitation is also at the foot of every page.
What is a software crafter?
A software crafter turns what they know about a world into something that runs, without waiting for the software industry. They are not defined by programming skill but by ownership: the artefact is theirs, in plain text, and it does not expire. A teacher, an analyst, a merchant, a student, a civil servant, and an AI agent that proposes under all of those worlds.
Seven doors
A programmer, alone or in a small team
What you declare: your intent, in a library that reads like a sentence: find first, then apply. What you get: a Zig engine under every call, correct in Unicode, and narrations that tell its ideas in code. Where to start: the Start page, then chapter 1 of the course. Your page: For a programmer.
o1 = new stzList([ "tea", "rice", "tea", "fish", "rice", "tea" ])
? o1.ContainsDuplicates()
? o1.NumberOfOccurrence("tea")
? @@( o1.FindAll("tea") )
? @@( o1.DuplicatesRemoved() )
1 3 [ 1, 3, 6 ] [ "tea", "rice", "fish" ]
run on 2026-09-30 at 23:11, Softanza at commit 0e72e2e2c
A functional or data analyst
What you declare: your organisation's entities, rules and flows, in a plain-text knowledge file. What you get: a queryable world, where the dependency graph and the symbol table are the same graph, plus tables and statistics computed by the engine. Where to start: chapter 12 of the course, "Teach a world", in the reader. Your page: For an analyst or a designer.
o = new stzTable([ [ :region, :population ],
[ "Agadez", 487620 ], [ "Maradi", 3402094 ], [ "Zinder", 3539764 ] ])
o.Show()
╭────────┬────────────╮ │ Region │ Population │ ├────────┼────────────┤ │ Agadez │ 487620 │ │ Maradi │ 3402094 │ │ Zinder │ 3539764 │ ╰────────┴────────────╯
run on 2026-10-01 at 09:26; the figures are the RGPH 2012 census of Niger's National Institute of Statistics, as read by the map guard
A UI, UX or CX designer
What you declare: a picture, a map, a screen, as a program. What you get: a render produced by the engine, reproducible to the byte, and an interface constitution of 122 rules and 22 verbs that a machine can check. Where to start: chapter 11 of the course, "Draw the answer", and the Zui constitution. Your page: For an analyst or a designer.
A CTO, a government, a startup, a business
What you declare: your world, your governance, and what each actor, human or agent, may commit. What you get: agents that cannot hurt you, a threat model of thirty-eight guarantees with their guards, measured containment, and ownership of everything: code, configuration, data, in plain text. Where to start: the agentic paradigm, then what exists today. Your page: For a decision-maker.
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.
>> TIME TO DETECT : 395 ms >> TIME TO CONTAIN: 50 ms TOTAL: 27 assertions, 27 pass, 0 fail
run on 2026-09-30 at 23:10 (demo, scene 7) and on 2026-10-01 at 00:41 (containment drill)
An educator, linguist, author or knowledge architect
What you declare: a course, an overlay for your institution, an edition in your language, a world of knowledge. What you get: a plain-text program where every cell runs and every exercise is checked by running, a tutor that asks, cohorts whose report is a narration. Where to start: Education, with its three doors: learn, teach, run a programme. Beside it: the French, Arabic and Hausa editions are drafts (0 of 35 units reviewed), the cells run on the desktop, and no institution has adopted it yet: what is proved, and what is not. Your page: For an educator or an author.
? 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
? Q("سلام").NumberOfChars() --> 4
? Q("مرحبا بالعالم").Script() --> arabic
run on 2026-09-30 at 23:10 and 2026-10-01 at 09:26
An AI agent
What you declare: yourself, in an agent file: what you cover, the reversibility of your acts, the posture of every function you call. What you get: a workbench where everything you do is rehearsed without touching reality, a constrained grammar that keeps you from emitting a malformed sentence, and a court that judges your plan. What you do not get: the capability to commit. Where to start: the agentic paradigm, and chapter 14 of the course, "An agent that cannot hurt". Your page: For an AI agent.
Update plan (610 of 610 operations to commit): * 1. delete file '…/course.zknw' * 2. delete file '…/curriculum.zknw' ...
actor 'amina-helper-llm' cannot commit -- it lacks the 'effectful' capability (required by operation 1) PROVED the course folder still holds all 610 files
run on 2026-09-30 at 23:10 by demo(opens in a new tab), scene 6
A team that ships an application
What you declare: a world: what lives in it and what is true of it, how it reacts, what it wants, and where it endures. What you get: an application judged by guards, served by a host built on the engine's reactor, rehearsed on a twin before it is deployed. It runs on the web today, and the native interface is in construction. Where to start: Applications, then your first application. Your page: For an architect.
How Softanza pays for itself
The Softanza way The reference design's seventh doctrine says it in one sentence: the project funds itself, so that no outside capital ever acquires a voice over the open foundation, and every commercial boundary falls on what each thing serves. For anyone deciding whether to invest effort here, that sentence is worth more than a price list.