SOKORI · STRUCTURAL CONFORMANCE

Λ Conformance — 142 invariants

ledger c7e08b3e7f7b · generated 2026-08-09 22:15 UTC · git 1a57e28
123enforced
2partial
1mechanism
16intention
0BROKEN

Gap worklist

PARTIAL no-degraded-mode-without-haltclaims: partial CORE project
PARTIAL store-not-auto-createdclaims: partial project
MECHANISM completion-claim-carries-identifierclaims: mechanism_present CORE project
INTENTION authority-separationclaims: intention CORE project
INTENTION authorization-requires-verifiable-recordclaims: intention CORE project
INTENTION citations-restricted-to-observable-lineageclaims: intention CORE project
INTENTION detection-attribution-runtimeclaims: intention project
INTENTION emit-outside-boundary-unobservedclaims: intention project
INTENTION external-payload-schema-closedclaims: intention CORE project
INTENTION fatal-retry-deadline-not-configclaims: intention project
INTENTION hand-over-entry-count-is-unbounded-and-unobservedclaims: intention project
INTENTION identity-never-reaches-authorization-foldclaims: intention CORE project
INTENTION once-only-condition-cannot-reach-a-threshold-of-twoclaims: intention project
INTENTION origin-required-for-green-armclaims: intention CORE project
INTENTION recurrence-namespaced-by-producerclaims: intention CORE project
INTENTION runtime-check-coverage-deferredclaims: intention project
INTENTION self-disposition-outside-observationclaims: intention project
INTENTION standards-sections-verifiedclaims: intention project
INTENTION uncovered-enforcer-verdict-yields-no-recordclaims: intention project
Full ledger · 142 rows
idstateclaimssourcecore
store-single-writerENFORCEDenforcedprojectCORE
no-silent-defaultsENFORCEDenforcedproject
yaml-disciplineENFORCEDenforcedproject
boundary-disciplineENFORCEDenforcedprojectCORE
no-environment-defaultsENFORCEDenforcedproject
surface-no-per-kind-branchENFORCEDenforcedproject
substrate-append-onlyENFORCEDenforcedproject
producer-holds-no-resourceENFORCEDenforcedproject
identity-keys-on-shapeENFORCEDenforcedproject
signature-column-not-surfacedENFORCEDenforcedproject
store-not-auto-createdPARTIALpartialproject
authority-separationINTENTIONintentionprojectCORE
fatal-retry-deadline-not-configINTENTIONintentionproject
standards-sections-verifiedINTENTIONintentionproject
producer-does-not-choose-zoneENFORCEDenforcedprojectCORE
review-surface-holds-no-readerENFORCEDenforcedprojectCORE
completion-claim-carries-identifierMECHANISMmechanism_presentprojectCORE
authorization-requires-verifiable-recordINTENTIONintentionprojectCORE
no-degraded-mode-without-haltPARTIALpartialprojectCORE
unreadable-marker-structurally-distinctENFORCEDenforcedproject
citation-resolution-one-levelENFORCEDenforcedproject
detection-set-closedENFORCEDenforcedproject
detection-attribution-runtimeINTENTIONintentionproject
observer-reentrancy-guardedENFORCEDenforcedproject
observer-failure-is-loudENFORCEDenforcedproject
proposer-reached-from-every-outermost-exitENFORCEDenforcedproject
once-only-condition-cannot-reach-a-threshold-of-twoINTENTIONintentionproject
disposition-refuses-at-resourceENFORCEDenforcedproject
self-disposition-outside-observationINTENTIONintentionproject
surface-class-contract-declaredENFORCEDenforcedproject
single-live-cardinalityENFORCEDenforcedproject
kaizen-recurrence-proposalENFORCEDenforcedproject
testwatch-second-producer-emits-test-failureENFORCEDenforcedproject
session-end-failures-recorded-in-their-own-sessionENFORCEDenforcedproject
uncovered-enforcer-verdict-yields-no-recordINTENTIONintentionproject
emit-outside-boundary-unobservedINTENTIONintentionproject
disposition-claim-substantiated-by-queryENFORCEDenforcedproject
refusal-reasons-render-distinctly-from-structureENFORCEDenforcedproject
observed-recurrence-frozen-and-live-unreconciledENFORCEDenforcedproject
grove-dev-token-absent-from-packageENFORCEDenforcedproject
relaxation-records-never-skipsENFORCEDenforcedproject
recognizer-holds-the-perimeterENFORCEDenforcedproject
applier-holds-the-perimeterENFORCEDenforcedproject
applier-invoked-at-the-resource-and-failure-haltsENFORCEDenforcedproject
granted-workspace-writer-owns-the-refusalsENFORCEDenforcedproject
zones-schema-validates-published-key-valuesENFORCEDenforcedproject
zones-schema-closes-its-key-sets-both-directionsENFORCEDenforcedproject
granted-workspace-disjoint-from-read-paths-at-loadENFORCEDenforcedproject
granted-workspace-containment-predicateENFORCEDenforcedproject
read-closure-coverage-shipped-schema-matches-registryENFORCEDenforcedproject
closure-source-is-the-named-scope-defining-surfaceENFORCEDenforcedproject
read-closure-is-transitiveENFORCEDenforcedproject
unresolvable-read-set-forces-scope-definingENFORCEDenforcedproject
declared-path-members-well-formed-at-loadENFORCEDenforcedproject
scope-defining-members-consumedENFORCEDenforcedproject
scope-defining-write-classifiedENFORCEDenforcedproject
zones-absent-skill-promotion-is-none-not-emptyENFORCEDenforcedproject
no-public-function-returns-a-mutable-globalENFORCEDenforcedproject
no-operator-text-in-signaturesENFORCEDenforcedproject
permanent-condition-surfaced-onceENFORCEDenforcedproject
gate-ledger-structurally-validENFORCEDenforcedproject
runtime-check-coverage-deferredINTENTIONintentionproject
authorized-regressions-validated-and-consumedENFORCEDenforcedproject
vendored-standard-carries-its-noticeENFORCEDenforcedproject
no-grove-module-reads-the-vendored-standardENFORCEDenforcedproject
permitted-key-sets-cover-what-the-standard-publishesENFORCEDenforcedproject
grant-document-refused-with-every-defectENFORCEDenforcedproject
permitted-grant-key-sets-cover-what-the-standard-publishesENFORCEDenforcedproject
approval-time-zone-derived-from-surface-grant-and-deputyENFORCEDenforcedproject
scope-defining-write-coverage-is-a-factENFORCEDenforcedproject
write-target-declared-before-approvalENFORCEDenforcedproject
confused-deputy-verdict-precedes-the-durable-rowENFORCEDenforcedproject
untrusted-path-components-are-not-symlinksENFORCEDenforcedproject
issuer-key-registry-refuses-at-loadENFORCEDenforcedproject
grant-signed-set-refused-at-loadENFORCEDenforcedproject
grant-signature-canonical-form-and-verificationENFORCEDenforcedproject
verification-verdict-reaches-the-refusal-and-nothing-elevatesENFORCEDenforcedproject
grant-signed-set-is-a-declared-constant-with-a-prose-pinENFORCEDenforcedproject
revocation-signed-fields-are-ours-and-canonicalizedENFORCEDenforcedproject
canonical-form-parameterised-grant-bytes-byte-identicalENFORCEDenforcedproject
revocation-intake-refused-at-loadENFORCEDenforcedproject
grants-loader-refuses-duplicate-grant-idENFORCEDenforcedproject
revocation-memory-is-append-only-and-refuses-when-absentENFORCEDenforcedproject
revocation-union-predicate-absorbs-what-verifiesENFORCEDenforcedproject
a-revocation-refuses-the-grant-whose-signature-it-namesENFORCEDenforcedproject
the-additive-reconcile-is-closed-against-the-recency-substrateENFORCEDenforcedproject
unrecorded-revocation-halts-with-its-causeENFORCEDenforcedproject
revoked-at-is-not-an-authorization-operandENFORCEDenforcedproject
revocation-file-loader-not-called-outside-the-predicateENFORCEDenforcedproject
revoked-grant-refused-at-the-authorization-readENFORCEDenforcedproject
revocation-fact-renders-distinctly-at-the-surfaceENFORCEDenforcedproject
scope-defining-arm-returns-red-under-every-revocation-verdictENFORCEDenforcedproject
scope-defining-members-accessor-is-symmetricENFORCEDenforcedproject
scope-defining-member-applier-names-a-memberENFORCEDenforcedproject
scope-defining-member-writer-overwrites-in-the-authority-frameENFORCEDenforcedproject
grants-document-permanently-excluded-as-a-write-targetENFORCEDenforcedprojectCORE
authorisation-substrate-is-never-a-write-targetENFORCEDenforcedproject
scope-defining-containment-is-selected-by-surface-classENFORCEDenforcedproject
applier-registration-is-a-declared-set-and-single-sitedENFORCEDenforcedproject
load-time-disjointness-unchanged-by-the-member-write-seamENFORCEDenforcedproject
no-scope-defining-write-is-performed-this-phaseENFORCEDenforcedproject
classifier-docstring-states-no-bridge-was-builtENFORCEDenforcedproject
zone-vocabulary-is-an-ordered-friction-topologyENFORCEDenforcedproject
grants-authorization-folds-every-qualifying-grant-to-maximum-frictionENFORCEDenforcedproject
grants-authorization-excludes-and-distinguishes-why-none-qualifiedENFORCEDenforcedproject
the-first-yes-authorises-a-scope-defining-writeENFORCEDenforcedproject
a-grant-is-bounded-by-its-expiry-not-refused-for-carrying-oneENFORCEDenforcedproject
containment-precedes-authorisationENFORCEDenforcedproject
the-authorisation-relation-is-the-sole-pathENFORCEDenforcedproject
a-member-write-surfaces-authority-drift-in-the-same-processENFORCEDenforcedproject
the-approval-names-what-authorised-itENFORCEDenforcedproject
the-newly-reachable-halt-paths-are-coveredENFORCEDenforcedproject
seam-membershipENFORCEDenforcedproject
loop-boundaryENFORCEDenforcedproject
an-unsigned-draft-authorises-nothingENFORCEDenforcedproject
a-draft-lands-only-inside-a-declared-workspaceENFORCEDenforcedproject
a-signed-installed-grant-authorises-a-scope-defining-writeENFORCEDenforcedproject
the-prospective-fold-is-display-onlyENFORCEDenforcedproject
operator-surfaces-refuse-instead-of-raisingENFORCEDenforcedproject
grant-provenance-not-read-by-the-runtimeENFORCEDenforcedprojectCORE
origin-required-for-green-armINTENTIONintentionprojectCORE
recurrence-namespaced-by-producerINTENTIONintentionprojectCORE
proposal-recurrence-namespaced-by-lineageENFORCEDenforcedproject
external-payload-schema-closedINTENTIONintentionprojectCORE
citations-restricted-to-observable-lineageINTENTIONintentionprojectCORE
identity-never-reaches-authorization-foldINTENTIONintentionprojectCORE
emission-carries-a-signing-digestENFORCEDenforcedproject
row-path-citations-resolveENFORCEDenforcedproject
cardinality-declarations-resolve-to-the-treeENFORCEDenforcedproject
enforcer-relations-and-invocation-are-pinnedENFORCEDenforcedproject
registered-kinds-declared-and-agreedENFORCEDenforcedproject
authority-check-refuses-an-incomplete-contractENFORCEDenforcedproject
refusal-attributed-only-from-carried-factsENFORCEDenforcedproject
refusal-origin-stamped-at-the-resourceENFORCEDenforcedproject
refusal-text-dispatches-on-the-stamped-originENFORCEDenforcedproject
read-path-does-not-alter-the-storeENFORCEDenforcedproject
schema-reconcile-is-an-operator-actENFORCEDenforcedproject
pure-reads-refuse-on-a-store-behind-this-codeENFORCEDenforcedproject
hook-catch-width-is-ordinary-onlyENFORCEDenforcedproject
hook-refusal-reports-into-a-surviving-reportENFORCEDenforcedproject
hand-over-entry-count-is-unbounded-and-unobservedINTENTIONintentionproject
the-migration-seam-exists-and-excludes-the-recency-substrateENFORCEDenforcedproject