CHECKSUMS.sha256

918be374ce16320f402b181827963ad09c75289fa61923fc9391d8172e98c9cb  ./.github/workflows/ci.yml
3d370723affd8fee8dbc357112de0105b896e5493c5044f2f660129781f88fc1  ./.gitignore
0bf9cb6309cbad1ca38fdee28578066baf01089af5c091590b13194452fcd515  ./AGENTS.md
27cd275f7fb2f4c73a6fd8155711ade21a523f37aa36c254618f395d7623accb  ./CHANGELOG.md
62007dcf80792bda8be8890467a6e3eaa86839a608bda8aae9dfb9fac0337e6f  ./CHECKSUMS.sha256
724a9a9352debc517c59df75cfc56e27dfb407b2a6f0f4803d867e9d94307daa  ./CLAUDE.md
b39c0f35a0f5436b69303473a585c420205cebefbacce61349c79a245c124912  ./CONTRIBUTING.md
d30da8d43fa8ce2fc0e8c5e91bd8bbd848a5bdfc2c10d3220fe6f56a0e10fac2  ./Cargo.lock
c53245aa5afa8409fc47b309679e863701d8c4f88fd5d16fc4f353a4cc67b9e7  ./Cargo.toml
131b9cb1ca90991493669539214a1fcd31546a1b2237c444ff16c16ab14db5c3  ./DOCUMENTS.md
1fcb286f37f99fe5c4b3f57c21b3c40c4aa3708daced14da5dc1b1c59563c8d5  ./GLOSSARY.md
a7330c0ecb2a64a80607ad6c85df1cbcc662407ae9bb3d1d2f08a67a85df85f6  ./GOVERNANCE.md
30a0744e7d2a797053c5ee3bf6a14fdaded221761f17515c4cd594393a4fa47f  ./GUIDE.md
aedcd42b3cf8c8d355269de3029977679e65f7b9e9795ac55f5028fcfd3e5c00  ./LICENSE
7da48e943f72d1a01d4e9f34e26b986c8c72cb01a6b103df3d49df46e69fb4d2  ./MANIFEST.md
11999aec94ba806012a8b62ebf29aeaa3ad351dcdc07031bad6ca2ff2bf08d7a  ./README.md
13d8427a018f37b04f5869b4494ac569798837ece55041e6522d8ed610fb3121  ./ROADMAP.md
0a8896ae2e091d1666bb1771a2cc23479c567b33b286620351d7049f8e147fca  ./SECURITY.md
4e0d0a1cdc3fd8951db95b01db0b94fd51375c289accedb0d34db80a89cacabd  ./SPEC.md
0a4ca1dc914f2bf78c5f0a52999a2a9f9648ae225e81aa8eee28da53c1ced491  ./TOOLING.md
2f50106f47937506087b3c0d2ad4ed1e88ec41f740209eee97b447aaec929c18  ./examples/README.md
8171f0f63c089fe2f79ae350d24449aa777ac7e5a25451aa93e6c863e03c5576  ./examples/commerce/GLOSSARY.md
d579fc551d643cbd82e263a88cd335d31daea77a5f26f3cba426ebb17ae5873b  ./examples/commerce/checkout.workflow.yaml
888f5a0483bb1afbed2d290a056475605e0cecdd617a4b8d13cd7beef1640887  ./examples/commerce/context-map.yaml
261e952e2f266aceb08d546c024506ab005b020b9a8409b90b1cb5d00878faa9  ./examples/commerce/contracts/authorize-payment.v1.yaml
c337255f15260f552b3304e5adf4da118b9db02a8f41867b0b3411d60c73f116  ./examples/commerce/contracts/capture-payment.v1.yaml
153f6a39ca44b3fab562f23f93b4f0a94e282ba9920a3b2fe6c8d761266eaef3  ./examples/commerce/contracts/checkout-completed.v1.yaml
99ccb7f879fe88df511e2996e930782dc63a8e0d51a54d51db18e8417f63ae13  ./examples/commerce/contracts/checkout-requires-review.v1.yaml
d4d42903b9635568a9419ca0b9e420a0340547cd7b6f040f04bd64b8672140e7  ./examples/commerce/contracts/commerce-api.v1.yaml
b295b7607f25ca2ad91fead5b3c48adf1b9d7c68e694f030b77dcc582c02afff  ./examples/commerce/contracts/durable-scheduler.yaml
b47eb4cd8caf6fceb49a39e89ad54dadbe9130d994445ccb615af0cb2f1f4f8e  ./examples/commerce/contracts/durable-store.yaml
04a12c291b63dd72f4c6e56db0d94a4242c7d95873463c473f5241d5b8920a7b  ./examples/commerce/contracts/get-checkout-status.v1.yaml
39ee963619b41988e92029e5d4fe48e0407ac50a1d6a18e2f4218d5b80cfe4a6  ./examples/commerce/contracts/get-payment-status.v1.yaml
610a4bcd1cbb703810f060f7190e87314afcb4185ec98bd22e6faff644120172  ./examples/commerce/contracts/order-ready-for-fulfillment.v1.yaml
e84b164d1c80a45a7d3eef016bfd5afff61a66b9f43dd5470a6cc5b8ce4ee4e7  ./examples/commerce/contracts/payment-outcome.v1.yaml
d50596c1debaa79115d0cb099c9bd34f909812d91ff0a67ea1cdf560e72963ff  ./examples/commerce/contracts/payment-provider.yaml
f5c76d012be9bea0afbd05db430f4ac2cfa513d2bd8c695ddc53d059a528cc5a  ./examples/commerce/contracts/payment-requested.v1.yaml
fc0e2878334fca77fae27950baa2ae2f0fab74273a6b0fe5c751708727ff49ff  ./examples/commerce/contracts/refund-payment.v1.yaml
848fbeb3e92a5494ce88ad482f9a0eafed67a3f7a842e8f0e885427c4214dd93  ./examples/commerce/contracts/release-inventory.v1.yaml
c33ebe3b5ede5e545c41d184c4a4e509ce41c8358f4232eb1db5d24ccdb86665  ./examples/commerce/contracts/reserve-inventory.v1.yaml
003694ef8eadb47b7f17f1887170703572985c568026f9e68fb33fe8bf2f72c1  ./examples/commerce/contracts/start-checkout.v1.yaml
88563a627da11a9e39303143ed683f59b23fb54679d91ba090bca085138e58ec  ./examples/commerce/contracts/submit-order.v1.yaml
ebd73ff161aff1827c2f693da0346cd1e3e7e0ebc225b3bf2c55312bc3e49c59  ./examples/commerce/docs/payment-lifecycle.md
f520061b270567defc8c47b715cdb5c6154b2e639ca7ae8f5963574581c93bba  ./examples/commerce/ops/checks/payment-invariants
d2a068d86c982300fed18d7b118dae8c327de2c68bc3455edcf3672bb48c53e2  ./examples/commerce/ops/reconcile/payment-provider
f421588ce023ef048db36040d953bd98c41e3033e321cb7b0c1dfcdeb799cf8f  ./examples/commerce/ops/runbooks/unknown-payment-outcome.md
a5c662cc54c54a0ddea645843c0a74ea1429b231b64412752785599a729ec8a8  ./examples/commerce/payments.module.yaml
a2ecc9bc926ed0ec355a6a5ee2766f48feb7a3aaf339afea2f8138a20673e715  ./examples/commerce/system.yaml
b0752d32e51700c0afec1639921aceadbd08d444d5eae67cfee7caf676dfa5c0  ./examples/commerce/verification/boundaries/malformed_command_rejection
d34695e32c0002a4b7ad30ae6c475231a44870cc2c58dda89dc49e82fd501019  ./examples/commerce/verification/contracts/provider-contracts
578ae2037a47f90c96c58f959cd28c3aeffbbfa85518ff0ee47c33df34d1f80f  ./examples/commerce/verification/laws/capture_requires_authorization
3a577a6334574e0b31105d52faa41506344db15dc1d864412bc4ae9ab0b73999  ./examples/commerce/verification/laws/one_terminal_outcome
1bc9daa953099e92c62c9f5785a03a7fd49edd01b5d1d8e5b540ae76a3a8f267  ./examples/commerce/verification/laws/refund_within_capture
70d03fd663accd9208a2dd66946d6b54ccf24f069654a900dd75b0269667278a  ./examples/commerce/verification/scenarios/payment_failure_releases_inventory
74939c618a0a56c527242a64844321ca2c8c3a23de7226ded7e875abbd8eb8c4  ./examples/commerce/verification/scenarios/unknown_outcome_reconciliation
ff4b91e1c872d0309f25bb20761a2946c66a12655d2e6260220d526306737ea4  ./examples/minimal/GLOSSARY.md
1f87bda8b5f49389ac4046980d64ece5422ca0d67771f6d93ef7b65dbdf46e37  ./examples/minimal/conformance-report.json
02e1ea2b94c8773f77da830511cb845cbded3f792d6d8fc5cfeb46160a8cf7f7  ./examples/minimal/context-map.yaml
c7748ca3c51e415de5f8eec1fe1440c6f36fdc86cf7fe89883fde41501aab9fa  ./examples/minimal/implementation.yaml
3c09621eea71a62a5145cbcea1e2ecc645dee877efabfc904f9530a9acc36581  ./examples/minimal/module.yaml
573ff74f1fee146fcbaac9e4e89ac0882fd93b6626d762aaca63fb12645c39f4  ./examples/minimal/src/example.txt
631d8e0cc7c6c2d44dff05762405e973c5aa127bed08d066fa4bf15ed184471b  ./examples/minimal/system.yaml
d8474e75cb1a84f6ca085e387b69342024f8716e3c324de565a539ea235a427f  ./examples/minimal/verification/laws/example_is_valid
814680675f61b63a6b0c568e9e4d9ef85ece60881c3cc5b913ca8ab33898f293  ./examples/minimal/verification/scenarios/example_acceptance
41b38f9c5fb04a08df699a9c21a8abb0672a46f754a38daf2cc019cc7b7ba811  ./examples/rust/Cargo.lock
be52f4f1b3f1350eabd833fce51cbcadfb1d7cbf9fa673e6994a8b321d1b167d  ./examples/rust/Cargo.toml
5ca8c86ab38f90ec50fc0a900c43056627315ef1c2b6351c646f55af35b8dd12  ./examples/rust/GLOSSARY.md
0f4daaac02ce1fee548a14e87092f2fad4dcde15cde0077ee8d6d2c2cf3b682b  ./examples/rust/context-map.yaml
0e4c4099036d8efeae6a16b160ccb2456195f3d3e888a9f2bc19126b5df739bf  ./examples/rust/contracts/describe-widget.v1.yaml
27a09861a3175c0e4405588c3ea4c50b32464b3e088b22cafaeecda07b00a5ca  ./examples/rust/implementation.yaml
7305ce7d6f682bbc24ced773b2fa8ab79e4576df538f46b882c08cb4bd7f003f  ./examples/rust/module.yaml
c4320f0f8e81697c5f941783dcdbf3f956005206085509fb1b27eb8ce5b2d7b8  ./examples/rust/src/lib.rs
e5ab648c0f5cad9e7c037d265d25f12734b12faa36adae51be21c4a81e222a48  ./examples/rust/src/widget.rs
55f055cac13d4123744b413bc656d33fe1552dac015dcea621ea9ad140647905  ./examples/rust/system.yaml
72e3662f91611211295adc9c7d2d4b17224afcfc822ec2183527647151eeffc5  ./examples/rust/verification/boundaries/not_applicable
fa6d1923334edb0788a690cfb815fedd552385ea8df4f5a33941c26d3ba32606  ./examples/rust/verification/contracts/describe_widget_contract
71e567b2a805d324a8c4796910adbf8b3f07c6b4d5c9ac7e89a1f465bf777d92  ./examples/rust/verification/laws/accepted_widget_has_name
3d8686bb023fb711cadda09330c48ebe08873f1d4ea1c6bf1d886be400328c7b  ./examples/rust/verification/scenarios/widget_acceptance
f9a3e3b38969fed3a750960802361c85e12065414513fcc900bdd23f79d51ca7  ./examples/swift/GLOSSARY.md
b2973066d266b5190370dd824cc6a7fe78bf14eae3df89b88adb0fd302eefb66  ./examples/swift/Package.swift
6212ca13dcc5d74b48262ab1d8ac9fd519a4dca4211723ee9a3647cce7e23930  ./examples/swift/Sources/RmsSwiftExample/RmsSwiftExample.swift
078471b614d0dc5b35b5e119d1bb381c18b18a1d577f4748a084e72b8f08a611  ./examples/swift/Tests/RmsSwiftExampleTests/RmsSwiftExampleTests.swift
786a30584a87a813632c3e281a99306ad38ae2cf240c9d926d061dfae9442ce7  ./examples/swift/context-map.yaml
59e827e6eec6bf774f8adb756a60e903c13091ec02ae8794fdd6b53e417a89ab  ./examples/swift/contracts/describe-swift-widget.v1.yaml
8f01a661149c2a484d5f415ad9d9bf90658824d4901469436e6d23dae75be33d  ./examples/swift/implementation.yaml
4674e9900301444f1db955064a16d5690360223ef8ac43404d676d85fb12aa12  ./examples/swift/module.yaml
02a37e750b95c064e48771626c31f0303e519ab97cfe78d22dfe7187028f298a  ./examples/swift/system.yaml
90da30fba0a4c1f410f9d14048a4658b415e717ce9fc76783bccd50ac64ecd0a  ./examples/swift/verification/boundaries/not_applicable
648b0aeb776aa02e2b97d26c5572570e2b20626180d4df9caa90441d7efa380c  ./examples/swift/verification/contracts/describe_swift_widget
0d27c10435e62394c62f3d923eaf70e9a9799df24be9d3b76a3f5a6d43fd6a9c  ./examples/swift/verification/laws/accepted_swift_widget_has_name
8c8027574d2915c8ac07dbbe3cc5565d0bd5f69dc0fc52e80571ac61767b9c4a  ./examples/swift/verification/scenarios/accept_non_empty_widget
f7acdff98380aeba952ad4535bfaa80cdf68a9aa3c451f4b428842827daadcdb  ./integrations/CLAUDE_CODE.md
f9dd512d8ad5e55b0e84cac211f34c1554b964e531f942c4290a62c0e4fd369f  ./integrations/CODEX.md
4972143119211662447764c3b528210bc689e280f7e83824c39a0c1f6ee9459f  ./integrations/GENERIC_AGENT.md
ac7d535fae578f2777550d5c2f5b0717d4dac04b28352770f929a93f15a104e1  ./integrations/README.md
500c141720d52d8f9ab4874088cf69c428d52603b0cc132a0302f9919a366913  ./integrations/codex/rms/.codex-plugin/plugin.json
3ca6189846167b7012d3828d24d286d4a9e7a1bfc95ab7bb8914c548a83b385d  ./integrations/codex/rms/README.md
083be034fa41453b57741338d291b9f234afa5507238a1fb1ded911b2249ce20  ./integrations/codex/rms/hooks/README.md
c12f2c3a3998e82e2a139868972e9f96d37324756a60bc99277f6558ff56f363  ./integrations/codex/rms/scripts/sync-skills.sh
05fee1599583c0fa3f3031b43538a331996f8989f99415535cbcf8e51a634f83  ./integrations/codex/rms/skills/add-module/SKILL.md
9fe3815463672916a03f5cffdfd15b07525f67b00cf31f02f4589fd393e024ea  ./integrations/codex/rms/skills/compose-modules/SKILL.md
1e539f36b630f6b9a384e629338ba18e1beca6a58b38978f351c20c36689971a  ./integrations/codex/rms/skills/evolve-contract/SKILL.md
e2dabb89e7c5cd7d6861703921cf7a881653f06d044a4e965655667993b287f3  ./integrations/codex/rms/skills/implement-change/SKILL.md
5521ccf9310f458df58478fb0f084809cc8f5e65c0adb4217588fb54ac4ede19  ./integrations/codex/rms/skills/inspect-module/SKILL.md
21188b2da4408ad05c7ba2641e8c5fecc50904086eb12c27f3a9edf8cf84d5ae  ./integrations/codex/rms/skills/prune-module/SKILL.md
e05b87356c6e1216d85d507c1c9a5ca51ad0038876575af5e5fda77237e29af7  ./integrations/codex/rms/skills/refactor-module/SKILL.md
4fa3e8d622895f9b927e4b3b65b8f6c4aa618578062e042b8927d86ee618920c  ./integrations/codex/rms/skills/verify-module/SKILL.md
d414698cbd71b3c3f9581a2b452b6c8d6373a45c0ccb542493aa85f35d4ec35a  ./schemas/README.md
331fa6b4ea6e3303d2827d4821e735093b6ec99f373a8be2725ed6835c8c54fe  ./schemas/conformance.schema.json
017862066f37947749f1eca644a5d52e375db4c2b98f649b6910cc907c7d2008  ./schemas/context-map.schema.json
6e937737e20c6bf0bdd38a5f9fb06acc208fa026b8bfbb35cc953c27c9a8a0f2  ./schemas/contract.schema.json
e82035966b121e9ae6e49519855ec0494099e7c50edb6258ac7c8503630b1068  ./schemas/implementation.schema.json
f934b13523debd084c1f75325bc81c45e0664fef33c191c4cbaca9dca1edb2f7  ./schemas/module.schema.json
189d6d825a50c857d4bf7a4d08e6053e818732eae4b9441207db5831a80324c5  ./schemas/system.schema.json
3629e59e0a0a8365ed7fea988e3a7cc5591843f5b5723b0340704f9c53a1644b  ./skills/README.md
05fee1599583c0fa3f3031b43538a331996f8989f99415535cbcf8e51a634f83  ./skills/add-module/SKILL.md
9fe3815463672916a03f5cffdfd15b07525f67b00cf31f02f4589fd393e024ea  ./skills/compose-modules/SKILL.md
1e539f36b630f6b9a384e629338ba18e1beca6a58b38978f351c20c36689971a  ./skills/evolve-contract/SKILL.md
e2dabb89e7c5cd7d6861703921cf7a881653f06d044a4e965655667993b287f3  ./skills/implement-change/SKILL.md
5521ccf9310f458df58478fb0f084809cc8f5e65c0adb4217588fb54ac4ede19  ./skills/inspect-module/SKILL.md
21188b2da4408ad05c7ba2641e8c5fecc50904086eb12c27f3a9edf8cf84d5ae  ./skills/prune-module/SKILL.md
e05b87356c6e1216d85d507c1c9a5ca51ad0038876575af5e5fda77237e29af7  ./skills/refactor-module/SKILL.md
4fa3e8d622895f9b927e4b3b65b8f6c4aa618578062e042b8927d86ee618920c  ./skills/verify-module/SKILL.md
ad5f5fce9ea7f314d41cf389908e510beba0efccd30e5e76e8fc756ac8a6cba6  ./templates/CONTEXT_README.md
2bbe5a4f0b08be37b6bd23afe4ee296366a50309b69a75d19e57726a9d7ece8e  ./templates/DECISION.md
1e0a292385386707fe7900fa520319ec6cb88e034e79a51514f5352de78bbe91  ./templates/GLOSSARY_ENTRY.md
023032a7708777547ace746178be7c0d95aacb10404ec6b8f73e618717723c49  ./templates/MODULE_README.md
e2670e3a3e10f0c0bd0320e2122ae69d1cf37cf1624b6ce1912057777c9fdaa4  ./templates/README.md
5912accdc49ba999e7b060b8d1060cec66d70230ba92898a2ce14da2bb0697e2  ./tooling/README.md
0eddb9ce237157799694beea85b99c8d0f9f242ffbdf25b65ced316ae0ed6287  ./tooling/rust/rms/Cargo.toml
e01d1d3a337ff3720cfd49ab9a6fb4e890cc471c524d3b0e62dcb463428ba609  ./tooling/rust/rms/README.md
e769ca1e0758da7cbfd1b96fd1c97808ea0aa58a3510844a79969e1fa3e6e03c  ./tooling/rust/rms/src/main.rs