{"blobs":{"6f563d0780efab8bfb8724ce0193d3dd5cd448c40a15c47a3604ad5349026c1f":"LS0tCm5hbWU6IGJ1c2luZXNzLWludmFyaWFudHMtY29udHJhY3RzCmRlc2NyaXB0aW9uOiBVc2Ugd2hlbiB0cmFuc2xhdGluZyBhcHByb3ZlZCBidXNpbmVzcyBydWxlcywgZG9tYWluIGNvbnN0cmFpbnRzLCBwcmUvcG9zdGNvbmRpdGlvbnMsIGFuZCBhbGdlYnJhaWMgbGF3cyBpbnRvIGV4ZWN1dGFibGUgcHJvcGVydGllcyB3aXRoIGV4cGxpY2l0IGJvdW5kYXJpZXMgYW5kIHplcm8gaW52ZW50ZWQgcmVxdWlyZW1lbnRzLgotLS0KCiMgQnVzaW5lc3MgSW52YXJpYW50cyAmIENvbnRyYWN0cwoKVXNlIHRoaXMgc2tpbGwgd2hlbiB0dXJuaW5nIHByb2R1Y3QgcmVxdWlyZW1lbnRzLCBkb21haW4gc3BlY2lmaWNhdGlvbnMsIG9yIEFQSSBjb250cmFjdHMgaW50byBleGVjdXRhYmxlIHByb3BlcnR5LWJhc2VkIGFuZCBtb2RlbC1iYXNlZCBjaGVja3MuCgojIyBDb3JlIFByaW5jaXBsZXMKCjEuICoqR3JvdW5kIEV2ZXJ5IFByb3BlcnR5IGluIGFuIEFwcHJvdmVkIFJ1bGUqKjogTmV2ZXIgaW52ZW50IGJ1c2luZXNzIGludmFyaWFudHMgZnJvbSBndWVzc3dvcmsgb3IgY3VycmVudCBpbXBsZW1lbnRhdGlvbiBhY2NpZGVudHMuIERlcml2ZSBldmVyeSBwcm9wZXJ0eSBmcm9tIGRvY3VtZW50ZWQgc3BlY2lmaWNhdGlvbnMsIGRvbWFpbiBjb250cmFjdHMsIHJlZ3VsYXRvcnkgcnVsZXMsIG9yIGV4cGxpY2l0IGNsYXJpZmljYXRpb24gd2l0aCB0aGUgcHJvZHVjdCBhbmFseXN0IGFuZCBkb21haW4gc3BlY2lhbGlzdHMuCjIuICoqU3RhdGUgdGhlIFJ1bGUgaW4gUGxhaW4gRG9tYWluIExhbmd1YWdlIEZpcnN0Kio6IEV4cHJlc3MgdGhlIGludmFyaWFudCBhcyBhIGZhbHNpZmlhYmxlIGRvbWFpbiBzZW50ZW5jZSBiZWZvcmUgd3JpdGluZyBjb2RlOiAqIlVuZGVyIHByZWNvbmRpdGlvbiAkUCQsIGZvciBhbnkgdmFsaWQgaW5wdXRzL29wZXJhdGlvbnMgJFgkIGluIGRvbWFpbiAkRCQsIHBvc3Rjb25kaXRpb24vaW52YXJpYW50ICRRJCBob2xkcywgdW5sZXNzIGRvY3VtZW50ZWQgZXhjZXB0aW9uICRFJCBhcHBsaWVzLiIqCjMuICoqRGVzaWduIGJ5IENvbnRyYWN0IChNZXllcikqKjogU2VwYXJhdGUgZXZlcnkgcnVsZSBpbnRvIHRocmVlIGV4cGxpY2l0IHBhcnRzOgogICAtICoqUHJlY29uZGl0aW9ucyAoYHJlcXVpcmVzYCkqKjogV2hhdCBtdXN0IGhvbGQgYmVmb3JlIHRoZSBvcGVyYXRpb24gaXMgaW52b2tlZC4KICAgLSAqKlBvc3Rjb25kaXRpb25zIChgZW5zdXJlc2ApKio6IFdoYXQgdGhlIG9wZXJhdGlvbiBndWFyYW50ZWVzIHVwb24gY29tcGxldGlvbiAocmV0dXJuIHZhbHVlLCBzdGF0ZSBkZWx0YSwgZW1pdHRlZCBldmVudHMsIG9yIGNsZWFuIHJlamVjdGlvbikuCiAgIC0gKipJbnZhcmlhbnRzIChgaW52YXJpYW50YCkqKjogV2hhdCBtdXN0IHJlbWFpbiB0cnVlIGFjcm9zcyBldmVyeSByZWFjaGFibGUgc3RhdGUgYmVmb3JlIGFuZCBhZnRlciBhbnkgc2VxdWVuY2Ugb2YgdmFsaWQgb3IgcmVqZWN0ZWQgb3BlcmF0aW9ucy4KCiMjIFRheG9ub215IG9mIEJ1c2luZXNzIFByb3BlcnRpZXMKCi0gKipDb25zZXJ2YXRpb24gJiBBY2NvdW50aW5nIExhd3MqKjogVG90YWwgdmFsdWUgaXMgY29uc2VydmVkIGFjcm9zcyBzcGxpdHMsIHRyYW5zZmVycywgYWxsb2NhdGlvbnMsIGFuZCBzdGF0ZSB0cmFuc2l0aW9ucyAoJFxzdW0gXHRleHR7Y3JlZGl0c30gLSBcc3VtIFx0ZXh0e2RlYml0c30gPSBcdGV4dHtiYWxhbmNlfSQ7IHJlc2VydmVkICsgYXZhaWxhYmxlID0gdG90YWwpLgotICoqQm91bmRzICYgTW9ub3RvbmljaXR5Kio6IEJhbGFuY2VzLCBxdW90YXMsIHN0b2NrIHF1YW50aXRpZXMsIGFuZCBjb3VudGVycyBuZXZlciBjcm9zcyBmb3JiaWRkZW4gZmxvb3JzIG9yIGNlaWxpbmdzOyBtb25vdG9uaWMgc2VxdWVuY2VzIChhdWRpdCBJRHMsIHZlcnNpb24gbnVtYmVycywgZmluYWxpemVkIGxlZGdlciB0b3RhbHMpIG5ldmVyIG1vdmUgYmFja3dhcmQuCi0gKipJZGVtcG90ZW5jeSAmIERlZHVwbGljYXRpb24qKjogUmVwZWF0aW5nIGEgcmVxdWVzdCB3aXRoIHRoZSBzYW1lIGlkZW1wb3RlbmN5IGtleSBvciBldmVudCBJRCBwcm9kdWNlcyB0aGUgZXhhY3Qgc2FtZSBkb21haW4gc3RhdGUgYW5kIHNpZGUtZWZmZWN0IGNvdW50IGFzIGV4ZWN1dGluZyBpdCBvbmNlOiAkZihmKHMsIHgpKSA9IGYocywgeCkkLgotICoqU3RydWN0dXJhbCAmIFN0YXRlLU1hY2hpbmUgVmFsaWRpdHkqKjogRW50aXRpZXMgb25seSBpbmhhYml0IGRlY2xhcmVkIHN0YXRlcywgdHJhbnNpdGlvbiBvbmx5IGFsb25nIGxlZ2FsIGVkZ2VzLCBhbmQgbWFpbnRhaW4gcmVxdWlyZWQgY3Jvc3MtZmllbGQgcmVsYXRpb25zaGlwcyAoZS5nLiwgYHJlZnVuZGVkX2Ftb3VudCA8PSBjYXB0dXJlZF9hbW91bnRgKS4KLSAqKklzb2xhdGlvbiAmIE5vbi1JbnRlcmZlcmVuY2UqKjogT3BlcmF0aW9ucyBwZXJmb3JtZWQgYnkgYWN0b3IgJEEkIG9yIGluIHRlbmFudCAkVF8xJCBuZXZlciBhbHRlciBvciBleHBvc2UgcmVjb3JkcyBiZWxvbmdpbmcgdG8gdW5hdXRob3JpemVkIGFjdG9yICRCJCBvciB0ZW5hbnQgJFRfMiQuCgojIyBEb21haW4gQm91bmRhcmllcywgTnVtZXJpYyBQcmVjaXNpb24gJiBFeGNlcHRpb25zCgotICoqQ2xhcmlmeSBOdW1lcmljIERvbWFpbnMgVXAgRnJvbnQqKjogSWRlbnRpZnkgdGhlIGV4YWN0IHJlcHJlc2VudGF0aW9uIChtaW5vci11bml0IGludGVnZXJzLCBmaXhlZC1zY2FsZSBgRGVjaW1hbGAsIGBCaWdJbnRgKSwgY3VycmVuY3kgY29kZXMsIHJvdW5kaW5nIG1vZGUgKGhhbGYtZXZlbiwgaGFsZi11cCwgZmxvb3IpLCBtaW5pbXVtL21heGltdW0gYm91bmRzLCBhbmQgdGF4L2Rpc2NvdW50IGFwcGxpY2F0aW9uIG9yZGVyLgotICoqVmVyaWZ5IEFsZ2VicmFpYyBQcmVjb25kaXRpb25zKio6IE5ldmVyIGFzc3VtZSBvcGVyYXRpb25zIGNvbW11dGUgb3IgYXNzb2NpYXRlIHdoZW4gcm91bmRpbmcsIHRpZXJlZCBwcmljaW5nLCBjYXBzLCBvciBmZWUgZmxvb3JzIGFyZSBpbnZvbHZlZC4gRm9yIGV4YW1wbGUsICRcdGV4dHtyb3VuZH0oYSkgKyBcdGV4dHtyb3VuZH0oYikgXG5lcSBcdGV4dHtyb3VuZH0oYSArIGIpJCwgYW5kIGFwcGx5aW5nIGEgcGVyY2VudGFnZSBkaXNjb3VudCBiZWZvcmUgYSBmaXhlZCBjYXAgZGlmZmVycyBmcm9tIGFwcGx5aW5nIGl0IGFmdGVyLgotICoqVGVzdCBWYWxpZCBhbmQgSW52YWxpZCBJbnB1dHMgU2VwYXJhdGVseSoqOgogIC0gKlZhbGlkLWRvbWFpbiBwcm9wZXJ0aWVzKiBnZW5lcmF0ZSBsZWdhbCBidXNpbmVzcyBzdGF0ZXMgYW5kIGlucHV0cyBhbmQgYXNzZXJ0IHN0YXRlIHRyYW5zaXRpb25zIGFuZCBwb3N0Y29uZGl0aW9ucy4KICAtICpSZWplY3Rpb24gcHJvcGVydGllcyogZ2VuZXJhdGUgb3V0LW9mLXJhbmdlLCBtYWxmb3JtZWQsIHVuYXV0aG9yaXplZCwgb3Igc3RhdGUtdmlvbGF0aW5nIGlucHV0cyBhbmQgYXNzZXJ0IHRoYXQgdGhlIHN5c3RlbSByZWplY3RzIHRoZW0gY2xlYW5seSB3aXRoIHplcm8gcGFydGlhbCBzdGF0ZSBtdXRhdGlvbi4KCiMjIENoZWNrbGlzdAoKLSBbIF0gSXMgdGhlIHByb3BlcnR5IHRyYWNlZCB0byBhbiBleHBsaWNpdCBidXNpbmVzcyBydWxlLCBzcGVjaWZpY2F0aW9uLCBvciBjb25maXJtZWQgZG9tYWluIGNvbnRyYWN0PwotIFsgXSBJcyB0aGUgaW52YXJpYW50IHdyaXR0ZW4gaW4gY2xlYXIgZG9tYWluIHByb3NlIGFib3ZlIG9yIGluc2lkZSB0aGUgdGVzdCBiZWZvcmUgdGhlIGNvZGUgYXNzZXJ0aW9uPwotIFsgXSBBcmUgbnVtZXJpYyBwcmVjaXNpb24sIGN1cnJlbmN5IHVuaXRzLCByb3VuZGluZyBydWxlcywgYW5kIGRvY3VtZW50ZWQgZXhjZXB0aW9ucyBleHBsaWNpdGx5IG1vZGVsZWQ/Ci0gWyBdIEFyZSB2YWxpZC1pbnB1dCBwb3N0Y29uZGl0aW9ucyBhbmQgaW52YWxpZC1pbnB1dCByZWplY3Rpb24gZ3VhcmFudGVlcyBzZXBhcmF0ZWQgc28gbmVpdGhlciBtYXNrcyB0aGUgb3RoZXI/Cg=="},"entities":{"agents":[],"projects":[],"skills":[{"files":[{"blob":"6f563d0780efab8bfb8724ce0193d3dd5cd448c40a15c47a3604ad5349026c1f","executable":false,"path":"SKILL.md"}],"id":"skill-business-invariants-contracts","name":"business-invariants-contracts","origin":"orqestria-builtin-skill-business-invariants-contracts","version":"1.0.0+dd1caf412a04496cac6bd38a"}],"teams":[],"workflows":[]},"format":"orqestria.bundle","package":{"description":"business-invariants-contracts: Find edge cases with property-based and stateful tests that check invariants, concurrency and reproducible counterexamples.","id":"orqestria-skill-business-invariants-contracts","kind":"skill","name":"business-invariants-contracts","readme":"# business-invariants-contracts\n\nbusiness-invariants-contracts: Find edge cases with property-based and stateful tests that check invariants, concurrency and reproducible counterexamples.\n\nIncludes the complete skill and its supporting files (1 files). The exact authored scope is preserved below.\n\nOriginal skill description (source language)\n\nUse when translating approved business rules, domain constraints, pre/postconditions, and algebraic laws into executable properties with explicit boundaries and zero invented requirements.\n\nInstall the skill, review its source and trust settings, then enable it for the relevant project or agent.","requirements":["Orqestria installed on your computer."],"root":"skill-business-invariants-contracts","version":"1.0.0+0855e1d7f54d7bc7cd9372fc"},"schemaVersion":1}