PROJECT CONTRACT COMPILER
Tell AI what is actually true before it starts building.
Turn incomplete project reality into an authorized contract that any agent, workflow or software factory can execute.
Unknowns stay unknown · Agent-independent · Deterministic contract state
02 · WHY IT EXISTS
AI can build faster than organizations can specify what should be built.
A PROMPT
- “We need an AI assistant.”
- ambiguity
- assumptions
- hidden authority
- missing constraints
- MODEL
THE SAME INTENT, THROUGH MALTIN
- PROJECT REALITY
- MALTIN
- AUTHORIZED CONTRACT
- ANY SOFTWARE FACTORY
Don’t make the model invent the project.
03 · THE SEVEN LAYERS
The project contract layer of the software factory.
0Project contractMALTIN
What is true, authorized, constrained and still unknown?
GIVES EVERY LAYER BELOW ITS CONTRACT
1Execution contractecosystem example
What executable work must be represented?
2Processecosystem example
Through which workflow should the work move?
3Capabilityecosystem example
What competencies are required?
4Toolsecosystem example
Which operational interfaces are permitted?
5Reasoningecosystem example
How should implementation be generated?
6Runtimeecosystem example
How does implementation become running software?
Maltin does not replace your stack. It gives your stack a contract.
04 · ONE CONTRACT, MANY FACTORIES
One project truth. Any software factory.
DEMONSTRATION CONTRACT · COMPILED BY THE REAL COMPILER
CONTRACT
Support reply drafter
1947 dece 1413
canonicalSpecHash
Generic agent
available Maltin target
maltin-1947dece1413-generic.zip
Claude Code
available Maltin target
maltin-1947dece1413-claude-code.zip
Codex
available Maltin target
maltin-1947dece1413-codex.zip
OpenSpec
export
maltin-f4f593484c90-openspec.zip
Own the contract. Change the factory.
Every package carries the same contract, byte for byte. Changing the agent changes only its manifest and its pointer, never what was decided.
05 · WHAT IT ENFORCES TODAY
A compiler, not a chatbot.
- Deterministic compilationenforced · held by tests
- The same decisions compile to a contract that is reproducible byte for byte, in any process, locale or time zone.
- Explicit unknownsenforced · held by tests
- What nobody decided stays unknown, in the contract and in every package. It is never filled in for you.
- One identity across targetsenforced · held by tests
- Every package, and every export, carries the identity of the one contract it came from.
- A change shows what movedenforced · held by tests
- Change one decision and the compiled contract shows what moved, why, and what did not.
Science pages are coming.