1 · Operator
The concrete instance operator is bound according to exactly one topology: B2B organization/operator root or B2C user root. Technical operation alone does not choose sovereignty.
Safety · PUBLIC C0 REFERENCE ARCHITECTURE
Allow safety-relevant effect only under bound authority
Safety Control Machine — Orders safety-relevant effect, authority, states, rules and consequences ex ante instead of relying only on post-hoc safety control.
100/100 is binary: an unresolved constitutive condition does not create partial PASS and must not be completed by implementation assumptions.
This page describes a source-bound C0 machine architecture. It is not software, not a platform, and not proof of an already bound or productively activated operator instance.
SOVEREIGNTY + FORMATION · A6 v1.2
Who operates? Who is sovereign? How is the instance formed?
Roles are bound separately. Operation, authority, sovereignty and formation are not the same thing.
2 · Root sovereignty: O/U
- B2B organization/operator root: Safety-relevant effect space of the concrete organizational instance
- B2C end user root: Safety-relevant personal effect space of the concrete user instance
3 · Delegated sovereignty
No additional delegated sovereignty domain is claimed at C0 level.
4 · Authority-only roles
- Safety roles with bounded authority
- technical safety carriers/providers
5 · Target rule source
Engineering path: the machine-specific Target rule set is defined/authorized in the Target’s own sovereign binding. Prepared SSMFF path: solution operator/publisher supplies Target rule templates -> sovereign selects/authorizes -> SSMFF binds. SSMFF does not author Target rules.
6 · Formation path
Both: Engineering or prepared SSMFF formation
SSMFF role: Optional prepared formation path: SSMFF may carry discovery/scope/binding/formation burden for a prepared Target while sovereign decisions stay with the Target sovereign.
7 · Factory/Target boundary
SSMFF Formation Rules != Target Rules. Sovereign decisions stay with the sovereign. Factory result/verification/validation/readiness != Target C2/C3/C4/PASS. Missing Target rule or sovereign decision remains non-PASS.
1 · EFFECT PROBLEM
Allow safety-relevant effect only under bound authority
Orders safety-relevant effect, authority, states, rules and consequences ex ante instead of relying only on post-hoc safety control.
Source-bound reading
The canonical v1.1 Safety Control Machine is an SES machine type for security-relevant digital effects.
2 · MACHINE DEFINITION
What is this machine?
The canonical v1.1 Safety Control Machine is an SES machine type for security-relevant digital effects.
This page describes a source-bound C0 machine architecture. It is not software, not a platform, and not proof of an already bound or productively activated operator instance.
4 · EFFECT MODEL
What effect is bound?
Positive effects are represented through one or more MUTATE, MAKE_AVAILABLE or EXECUTE components, while independently relevant co-effects and composite effects remain separately bound.
The effect/result model remains source-local; no foreign machine model is imposed on it.
5 · SCOPE
Scope is causal completeness, not an inventory.
All directly and indirectly effect-relevant path classes must be captured; unresolved influence remains OPEN and is never silently excluded.
New or previously unresolved effect-relevant paths reopen the affected claim and must be revalidated.
6 · EXTERNAL SYSTEMS AND CARRIERS
Carriers may carry — not invent normative meaning.
External systems may supply input, carry technical functions, contribute receipts or evidence, or execute bound consequences. Participation, access, provider status, model output, or technical capability does not create normative authority. The concrete role remains source- and instance-bound.
7 · BASELINE / DOMAIN RELATION
Baseline semantics remain machine-specific.
Safety v1.1 does not make a SEBG baseline constitutive. The v1.1 source instead closes its own effect grammar, obligation, realization and revalidation semantics.
SEBG-first is TBYD guidance for existing effect spaces, provided it is not confused with the machine source’s own architecture.
8 · RULES · STATE · JUDGMENT
Rule, state, and judgment must be closed before positive reliance.
This A6 does not impose a generic result model. The source-specific rule/state/judgment model remains controlling. Missing authority, missing required state, conflict, UNKNOWN/OPEN, or another source-defined non-PASS state must not be converted into validity by runtime guessing or programmer defaults.
9 · EVIDENCE
Evidence proves only the claim it actually carries.
Evidence is reconstructive and distinct from effect realization; missing evidence is not proof that the underlying effect did not occur.
Evidence integrity is not automatically semantic or external truth.
10 · FAILURE AND REVALIDATION
Failure is not reinterpreted as PASS.
A source-defined failure is not merely a warning. It binds the specified non-PASS consequence. A material source, scope, authority, rule, state, evidence, or dependency change reopens affected gates; prior PASS is not silently inherited.
11 · FORMATION AND CARRIERS
The machine order is formed before carrier implementation.
The constitutive order remains: Sovereign / Domain → Quality / Process / Systems Engineering → Domain Assurance → Technical Carrier Engineering. Carriers come after normative and machine closure; they may not invent missing rules, authority, or consequences.
1 · Sovereign / Domain
Effect space, authority, and acceptance boundaries.
2 · Quality · Process · Systems
Close scope, rules, state, failure, evidence, and revalidation.
3 · Domain Assurance
Review domain meaning and claim-relevant assurance.
4 · Technical Carrier
Technically carry the already closed order.
12 · C0 BOUNDARY
Public C0 is architecture — not your finished machine.
The public page binds the machine-type architecture. C1 closes concrete artifacts, C2 binds one operator instance, technical carriers carry the already closed machine, C3 proves activation readiness, and C4 productively activates that exact instance. Public C0 does not transfer PASS to an operator instance.
C0 → C1 → C2 → Technical Carrier → C3 → C4
13 · PUBLICATION STATE
A6 is fully readable without IPFS linking.
v1.1 · A7_NOT_BOUND · NO_CID_LINK
Source-bound C0 version: v1.1. This A6 publishes no CID, no IPFS link, and no A7/version route. Publication integrity will be closed later as a separate project and is not a substitute for C0/C1/C2/C3/C4.
14 · CHECKPOINT
Six statements against the most common misreadings.
- The canonical v1.1 Safety Control Machine is an SES machine type for security-relevant digital effects.
- The sovereign is the only normative source of the active rule space; code, AI, providers, interfaces and security tools have no normative power of their own.
- Positive effects are represented through one or more MUTATE, MAKE_AVAILABLE or EXECUTE components, while independently relevant co-effects and composite effects remain separately bound.
- All directly and indirectly effect-relevant path classes must be captured; unresolved influence remains OPEN and is never silently excluded.
- Safety v1.1 does not make a SEBG baseline constitutive. The v1.1 source instead closes its own effect grammar, obligation, realization and revalidation semantics.
- Public C0 is not an operator instance; A7/IPFS remains without active links in this build.
15 · NEXT STEP
Continue to operator formation, the catalogue, or verification.
Apply
Place concrete operator formation from C0 through C1/C2 and carriers to C3/C4.
Go to Apply →Machines
Return to the public catalogue and compare other generic C0 architectures.
Go to Machines →Verify
Place Quality, Process and Systems Engineering for the next closure step.
Go to Verify →