841 lines
29 KiB
JSON
841 lines
29 KiB
JSON
{
|
|
"source_commit": "7d14bd0dd1cf4a2293c00c185573fd4a7fc364ae",
|
|
"command": "cargo test --locked -p oa-core --lib analysis_numeric::tests -- --test-threads=1",
|
|
"exit_code": 0,
|
|
"passed": 26,
|
|
"failed": 0,
|
|
"ignored": 0,
|
|
"filtered_out": 42,
|
|
"test_seconds": 0.29,
|
|
"build_seconds": 385,
|
|
"scope": "Exact numeric foundation unit tests only; no schema8 model/evaluator or desktop acceptance.",
|
|
"toolchain": "Rust/Cargo1.98.1 x86_64-pc-windows-gnullvm; LLVM-MinGW20260908; jobs1",
|
|
"prior_attempt": "The broader command without --lib was intentionally stopped before tests while compiling unrelated integration executables. It supplies no pass result.",
|
|
"artifacts": {
|
|
"oa-core-tests.exe": {
|
|
"bytes": 24529920,
|
|
"sha256": "F92A4C4CF01DB0AD4810527F0D8AC2212196AEB3A4907E8EEA12FD5EDEADDB0D"
|
|
},
|
|
"libunwind.dll": {
|
|
"bytes": 190464,
|
|
"sha256": "AA282FA47BB2C4E210CEA5E470CDBDCA58568F0BE0BC73E404D86AB9CD95EF6A"
|
|
},
|
|
"numeric-unit.log": {
|
|
"bytes": 2754,
|
|
"sha256": "DF7F71D037CF2B3D38234C834F9F399F3BB30CC4757F453D72833DE9A9C3C063"
|
|
}
|
|
},
|
|
"input_files": [
|
|
{
|
|
"path": "Cargo.lock",
|
|
"bytes": 119973,
|
|
"sha256": "065C23C94908FE499D32ED91D55A70946ED5B08ECFDA3B483EC1E635572257BF"
|
|
},
|
|
{
|
|
"path": "Cargo.toml",
|
|
"bytes": 400,
|
|
"sha256": "369F5B4B2B60705A94623C8C0B68F8E0B048F263280CE07AE0629AD353797D62"
|
|
},
|
|
{
|
|
"path": "crates/oa-core/Cargo.toml",
|
|
"bytes": 408,
|
|
"sha256": "6B5C062474EBB62D5082E07DABED99EE85E4A833EDF26690FB4F887028D3416F"
|
|
},
|
|
{
|
|
"path": "crates/oa-core/build.rs",
|
|
"bytes": 45,
|
|
"sha256": "AB1BE6AE1FD8BF3EBAEEF6348347A9D5E666BDE693126F199E041659E0B094A9"
|
|
},
|
|
{
|
|
"path": "crates/oa-core/examples/generate_demo.rs",
|
|
"bytes": 795,
|
|
"sha256": "E26F432C95331AECA50985DBB3AD2C558AFFD43023B585811F0F7BFAA59F6661"
|
|
},
|
|
{
|
|
"path": "crates/oa-core/examples/generate_release1.rs",
|
|
"bytes": 1798,
|
|
"sha256": "1D5F11165D74893E4BC18DBF3A2F2111F4026BD89FD06EE7F0BAE69E45C4D4B5"
|
|
},
|
|
{
|
|
"path": "crates/oa-core/examples/release_dense_views.rs",
|
|
"bytes": 14664,
|
|
"sha256": "A83158488EF9B7394F136C52B1496719BE935C4E5BDFE457CAB5C9894F5F9412"
|
|
},
|
|
{
|
|
"path": "crates/oa-core/examples/routing_workshop.rs",
|
|
"bytes": 17248,
|
|
"sha256": "571307B18B6D4FA04700C5A4D4B0C2154C419E93A21292B2028E7B6F46A2FAA7"
|
|
},
|
|
{
|
|
"path": "crates/oa-core/src/analysis_numeric.rs",
|
|
"bytes": 3735,
|
|
"sha256": "6C88EEF3119162AEB6C07B9E75812C3AF9FBFE75554B0503AD00F103CB478408"
|
|
},
|
|
{
|
|
"path": "crates/oa-core/src/analysis_numeric/dimension.rs",
|
|
"bytes": 3045,
|
|
"sha256": "D4AD8E5307A1620E31791D724A0E31FDBA860D00DC83E3E1F2209D9C5E22A340"
|
|
},
|
|
{
|
|
"path": "crates/oa-core/src/analysis_numeric/exact.rs",
|
|
"bytes": 17338,
|
|
"sha256": "4EB8CB0F66B10E5DA204899AF82EE26ADFEC74BAB47B1A6C9842B5488EE04C4D"
|
|
},
|
|
{
|
|
"path": "crates/oa-core/src/analysis_numeric/fixtures/r7-literal-boundaries.json",
|
|
"bytes": 6085,
|
|
"sha256": "3B959DEC5E100A6F03817F5314BEF497347BA579EBD235476516D4BD83399181"
|
|
},
|
|
{
|
|
"path": "crates/oa-core/src/analysis_numeric/meter.rs",
|
|
"bytes": 7129,
|
|
"sha256": "1F7174BEB992935B4C399ACDEF91114AF73FAF041070FEAB968455AC827E8EE4"
|
|
},
|
|
{
|
|
"path": "crates/oa-core/src/analysis_numeric/quantity.rs",
|
|
"bytes": 12257,
|
|
"sha256": "EAD5142D6EEEA8F99399D57E02D8F7D819980923DE76387CD454694D6A747AEE"
|
|
},
|
|
{
|
|
"path": "crates/oa-core/src/analysis_numeric/tests.rs",
|
|
"bytes": 27486,
|
|
"sha256": "323CE82FC057D36F44463569FD8EA324C7D700FDDFBF32BCE15E04BD2A66970B"
|
|
},
|
|
{
|
|
"path": "crates/oa-core/src/data.rs",
|
|
"bytes": 42696,
|
|
"sha256": "7F9C7C7DD8353CB5A38597B92CDE6D3E890203D392473187EB387D41FF37414A"
|
|
},
|
|
{
|
|
"path": "crates/oa-core/src/demo.rs",
|
|
"bytes": 20657,
|
|
"sha256": "AD62123F96C20FF023CAFC1A9849B0FA06BC62EDD1FB9701799E4599B458600C"
|
|
},
|
|
{
|
|
"path": "crates/oa-core/src/language.rs",
|
|
"bytes": 99938,
|
|
"sha256": "638F08A42E9CF4996B5D07F69B4D6F517A518369F3604D25BE1006E40E080765"
|
|
},
|
|
{
|
|
"path": "crates/oa-core/src/language/semantic_source.rs",
|
|
"bytes": 7326,
|
|
"sha256": "584B5BB59D87A7B8D44D5DD2D124C3A1323B21492B138A17BC9526C0087C9E29"
|
|
},
|
|
{
|
|
"path": "crates/oa-core/src/language_nesting_tests.rs",
|
|
"bytes": 20639,
|
|
"sha256": "BD061611E8CB6F28AB203C73E544AC98BF275EB464CD314AD5FBD25F773DF33B"
|
|
},
|
|
{
|
|
"path": "crates/oa-core/src/lib.rs",
|
|
"bytes": 549,
|
|
"sha256": "EA1D9BF5ACBA8381BA204DB12FF5B5FE1F320417D17AF517E46B90FD6BCB241C"
|
|
},
|
|
{
|
|
"path": "crates/oa-core/src/migration_v2/README.md",
|
|
"bytes": 1515,
|
|
"sha256": "FB61D3FAA33D7BDFBA73415415A0882C0FBD3E0B45DF42F972A19AEC6DA927B9"
|
|
},
|
|
{
|
|
"path": "crates/oa-core/src/migration_v2/adapter.rs",
|
|
"bytes": 9490,
|
|
"sha256": "66741B4C8354A23B8A932ECC5BF1BC3BB6E74279558757B8C35BC2157A7E51B5"
|
|
},
|
|
{
|
|
"path": "crates/oa-core/src/migration_v2/mod.rs",
|
|
"bytes": 1158,
|
|
"sha256": "857D8BB13B6814DABA6780CA770C16352943C01CB130245D055F11B3B957B3E9"
|
|
},
|
|
{
|
|
"path": "crates/oa-core/src/migration_v2/model.rs",
|
|
"bytes": 52059,
|
|
"sha256": "8AC63EB59B2E57BDECFF2477EE0634096090924D3DD1851E1C454880A889DACB"
|
|
},
|
|
{
|
|
"path": "crates/oa-core/src/migration_v2/references.rs",
|
|
"bytes": 13369,
|
|
"sha256": "33A6819ABC83139FDAEBEEBD1B553238A328637106CCE7DD5A535F1791D43E20"
|
|
},
|
|
{
|
|
"path": "crates/oa-core/src/migration_v2/source.rs",
|
|
"bytes": 21946,
|
|
"sha256": "74FEE9B24E7C912182C998AB9D9AEEC125E2009C3214959229E844C67AFE2BF6"
|
|
},
|
|
{
|
|
"path": "crates/oa-core/src/migration_v2/state_validation.rs",
|
|
"bytes": 15769,
|
|
"sha256": "E29EF071BAB0A68460DDF55C46131C6F66C022D52C3C602C37C013C3649DA1B0"
|
|
},
|
|
{
|
|
"path": "crates/oa-core/src/migration_v2/transitions.rs",
|
|
"bytes": 704,
|
|
"sha256": "F74174C532BA56B57C80B719A11FB4ADEA0A78CCC2828FFF72FE2B9EDA5A10B1"
|
|
},
|
|
{
|
|
"path": "crates/oa-core/src/migration_v2/validation.rs",
|
|
"bytes": 98736,
|
|
"sha256": "6D5E4A4E2805AE5045BF789A0485E14A61C63346587BACE2B4A91173A688F780"
|
|
},
|
|
{
|
|
"path": "crates/oa-core/src/migration_v3/README.md",
|
|
"bytes": 2128,
|
|
"sha256": "3755A63F840D7F0EADF68AFA7A9D587877A9468FF982D3610539E8A0BB067A82"
|
|
},
|
|
{
|
|
"path": "crates/oa-core/src/migration_v3/mod.rs",
|
|
"bytes": 23023,
|
|
"sha256": "F4EDB6A0B50ECFE8670973776D703047B064420CB1F05913129C00FC656B3722"
|
|
},
|
|
{
|
|
"path": "crates/oa-core/src/migration_v4.rs",
|
|
"bytes": 4020,
|
|
"sha256": "50C652964F0F309E7F3F54B6EF12C40D42FCECC0490F005995C713DF1179AF70"
|
|
},
|
|
{
|
|
"path": "crates/oa-core/src/model.rs",
|
|
"bytes": 66352,
|
|
"sha256": "4585C895C64C4A183941C92CF047A9E52FF0CBE41971E16E78D229EA9DC101FB"
|
|
},
|
|
{
|
|
"path": "crates/oa-core/src/operations.rs",
|
|
"bytes": 11405,
|
|
"sha256": "A5FFBBF54CD440316A106D1188BFB699B57DAE59F466EDCB33618C333CD19F41"
|
|
},
|
|
{
|
|
"path": "crates/oa-core/src/persistence.rs",
|
|
"bytes": 31774,
|
|
"sha256": "1C01474F906A63E552C0D590B272C95821C00A100B3E79E58E67DBBEAC341A14"
|
|
},
|
|
{
|
|
"path": "crates/oa-core/src/ports.rs",
|
|
"bytes": 45413,
|
|
"sha256": "5CAC12EEA70A54EBEBBD6BE77B63CE92E3195325C4BC7D27705C518686CBAC80"
|
|
},
|
|
{
|
|
"path": "crates/oa-core/src/projection.rs",
|
|
"bytes": 21374,
|
|
"sha256": "69ED12BACE2CC5024E151752A174AB14034AC2D05EB741FCF13E9A27521C059B"
|
|
},
|
|
{
|
|
"path": "crates/oa-core/src/projection/port_layout.rs",
|
|
"bytes": 13474,
|
|
"sha256": "A08D17D10A58BB8B206DD001B19B91D5AA3A9F743B298A4DA57D503223C20079"
|
|
},
|
|
{
|
|
"path": "crates/oa-core/src/projection/state.rs",
|
|
"bytes": 5233,
|
|
"sha256": "73A607BAC713EC7FF49A509FEFB1A53C7686DCA93EE241FFC835564D743AFB28"
|
|
},
|
|
{
|
|
"path": "crates/oa-core/src/references.rs",
|
|
"bytes": 21957,
|
|
"sha256": "93553C234F32DA35F1F41A7B83AD81C471C9803EFA78CA222CF7DE3C2F86C0BB"
|
|
},
|
|
{
|
|
"path": "crates/oa-core/src/routing.rs",
|
|
"bytes": 50309,
|
|
"sha256": "C5EBB350BA76F731F5C48D968BFBBA4B6EF68EC046EB5893D116C4637EF15080"
|
|
},
|
|
{
|
|
"path": "crates/oa-core/src/semantic.rs",
|
|
"bytes": 540,
|
|
"sha256": "F9895DD5B8FB27D10D4CFBB41C3542EF2018365A589B8D5778E5674AE5A1F239"
|
|
},
|
|
{
|
|
"path": "crates/oa-core/src/semantic/catalog.rs",
|
|
"bytes": 49407,
|
|
"sha256": "1FF74FCCA18084D178681D7FF38EE1CCAC632C27C4DE0595BA1CEAB8067AB3A4"
|
|
},
|
|
{
|
|
"path": "crates/oa-core/src/semantic/historical.rs",
|
|
"bytes": 15271,
|
|
"sha256": "EAF3284BF234312698514CDB636BC8348E1B5D746CB16B18DF777E77D312ABFB"
|
|
},
|
|
{
|
|
"path": "crates/oa-core/src/semantic/linked.rs",
|
|
"bytes": 6035,
|
|
"sha256": "6F335B14E809AECFC35DEFCAF77CB821B080D1506DBC46297912B25AF98C07A2"
|
|
},
|
|
{
|
|
"path": "crates/oa-core/src/semantic/mutate.rs",
|
|
"bytes": 22683,
|
|
"sha256": "DC2B4C4A6EB156FE468EAA8C85FD37A505C0CD8EA1F226CB69CD01689AFD3D9D"
|
|
},
|
|
{
|
|
"path": "crates/oa-core/src/semantic/review.rs",
|
|
"bytes": 51116,
|
|
"sha256": "0C157D2C327E72E89CCA3B423E71EE73798105C5BB7271439C1A101642C91E3E"
|
|
},
|
|
{
|
|
"path": "crates/oa-core/src/semantic/types.rs",
|
|
"bytes": 10405,
|
|
"sha256": "6922FE35089F12FAD43AB0CE1C6886D01A3855F90B8E2543E99802AC5E6F1BBB"
|
|
},
|
|
{
|
|
"path": "crates/oa-core/src/session.rs",
|
|
"bytes": 35237,
|
|
"sha256": "1EB77B329B2986FC6F5DC0171E77FD860375CDFD8C769A1367B445D6C49EBE00"
|
|
},
|
|
{
|
|
"path": "crates/oa-core/src/source_files.rs",
|
|
"bytes": 74803,
|
|
"sha256": "669491DBDDB8E8E6556161426DFFA1A49AC1C826D31020BFF0956D81A4D84683"
|
|
},
|
|
{
|
|
"path": "crates/oa-core/src/source_project.rs",
|
|
"bytes": 61843,
|
|
"sha256": "1394370BCC5908873B830C2C11312E6E1611AF41F46C4F43CA0A6BCB713BB466"
|
|
},
|
|
{
|
|
"path": "crates/oa-core/src/source_project/source_migration.rs",
|
|
"bytes": 4700,
|
|
"sha256": "ADD463AE85C420F853D324B00A221F0F874164CC3F3ED6BBB07557A9ED7A8C95"
|
|
},
|
|
{
|
|
"path": "crates/oa-core/src/source_project/source_structure.rs",
|
|
"bytes": 20225,
|
|
"sha256": "9F1F83315856A7025FE662C0FBB13452F31613224A03663150D6225D1DDC162F"
|
|
},
|
|
{
|
|
"path": "crates/oa-core/src/state_validation.rs",
|
|
"bytes": 15665,
|
|
"sha256": "E28D7F74385E2A78763716B34491BD73A00BFECCC085970CEB130627E3FAEE18"
|
|
},
|
|
{
|
|
"path": "crates/oa-core/src/topology_context.rs",
|
|
"bytes": 13734,
|
|
"sha256": "16DE69B297DE95D93C73808621607833B713AF811DD082F0169186AE1E5C3E2D"
|
|
},
|
|
{
|
|
"path": "crates/oa-core/src/topology_context/analysis.rs",
|
|
"bytes": 20036,
|
|
"sha256": "DEAD6194F0AA60CC46045C0E5EE10DBDBB689158C38634DFBBBC45D2BA88AC65"
|
|
},
|
|
{
|
|
"path": "crates/oa-core/src/topology_context/analysis_tests.rs",
|
|
"bytes": 5258,
|
|
"sha256": "17839263410815E96FE027D4EBA3AAE0A9AB3B82B16947E2B29EBE0D09782B56"
|
|
},
|
|
{
|
|
"path": "crates/oa-core/src/transitions.rs",
|
|
"bytes": 51998,
|
|
"sha256": "FADD1B07B89CAE4117B91ABB4F1AC9EA81FF818EF20F2175E76EE8CF21FB708D"
|
|
},
|
|
{
|
|
"path": "crates/oa-core/src/transitions/communication.rs",
|
|
"bytes": 8634,
|
|
"sha256": "2B476630A88EDD9021B9156CA12A5402E01604095F0D4002AFB452671903A028"
|
|
},
|
|
{
|
|
"path": "crates/oa-core/src/validation.rs",
|
|
"bytes": 112792,
|
|
"sha256": "7C1B4AE5E4EBBA13E99AF9158CCDE138DFC5E9A7AFB580E76FBA72D0B64BA74E"
|
|
},
|
|
{
|
|
"path": "crates/oa-core/src/validation/coverage.rs",
|
|
"bytes": 6478,
|
|
"sha256": "B08E4B344ECAD055714168C83BEFF7FE29BA4EDC53EDBFFA2EAE04E5580A4D5F"
|
|
},
|
|
{
|
|
"path": "crates/oa-core/src/view_options.rs",
|
|
"bytes": 24481,
|
|
"sha256": "421EDE0A04C593CA1DF0E6E0D06FABCFCC8113CDBCFB0ADC7F5C8EF4D1724208"
|
|
},
|
|
{
|
|
"path": "crates/oa-core/src/view_options_tests.rs",
|
|
"bytes": 21433,
|
|
"sha256": "64AAC44DE2DF42A1012239A3DD75C473DAF0C8990B3170B7BF7E78A556080208"
|
|
},
|
|
{
|
|
"path": "crates/oa-core/tests/communication_boundary_scenarios.rs",
|
|
"bytes": 8816,
|
|
"sha256": "E1100B8F363910A487D90C73ACC7DF543DC6D532158C3C63AD11CD3D40D8E12B"
|
|
},
|
|
{
|
|
"path": "crates/oa-core/tests/communication_means.rs",
|
|
"bytes": 18102,
|
|
"sha256": "A25F2749180BC6F4BEB1445BFAD3351EEDF0669131A7439B633AB804439E95A4"
|
|
},
|
|
{
|
|
"path": "crates/oa-core/tests/coverage_diagnostics.rs",
|
|
"bytes": 20527,
|
|
"sha256": "E2E9C3996DAAB47F2BD23F5D8C48B4E372AF33331152F5FC85B76F06D04FCDF4"
|
|
},
|
|
{
|
|
"path": "crates/oa-core/tests/fixtures/v2-coastal-rescue.arcadia",
|
|
"bytes": 29220,
|
|
"sha256": "F0DF129C1914BFC01D0B047B0CD4B520D8CF0C249EA9CED085DE400C0BE87FF3"
|
|
},
|
|
{
|
|
"path": "crates/oa-core/tests/fixtures/v2-coastal-rescue.json",
|
|
"bytes": 43990,
|
|
"sha256": "3ED53508EB544BBD788832F7BEBEA2EC31B3D66191F24F45098CC9750EC4C005"
|
|
},
|
|
{
|
|
"path": "crates/oa-core/tests/fixtures/v3-data-contract.arcadia",
|
|
"bytes": 2450,
|
|
"sha256": "305F19D1B79F99F8D4CF627BA2E9CA6836BB7959CC0070227815937A699EAFEA"
|
|
},
|
|
{
|
|
"path": "crates/oa-core/tests/fixtures/v3-data-contract.json",
|
|
"bytes": 8240,
|
|
"sha256": "1B41299C53204E6232397D25A58D5BCCDBBC16E770C75E8EDB55CE36CCFE58A2"
|
|
},
|
|
{
|
|
"path": "crates/oa-core/tests/fixtures/v4-reviewed-prose.arcadia",
|
|
"bytes": 1222,
|
|
"sha256": "5FA53A26A5AD010C8E59EB56D9B2B52003569E66C0377FFB58840590168AD0C1"
|
|
},
|
|
{
|
|
"path": "crates/oa-core/tests/fixtures/v4-reviewed-prose.json",
|
|
"bytes": 1734,
|
|
"sha256": "2808088AFCC165F4BD6DA5129151143411C997041C3DE61D600AB76E05D24A47"
|
|
},
|
|
{
|
|
"path": "crates/oa-core/tests/language.rs",
|
|
"bytes": 56482,
|
|
"sha256": "77F6CB2A69976BFB5F60B243B71C07FB0EDC7505002C1E9E73FCD6DDF6D9496E"
|
|
},
|
|
{
|
|
"path": "crates/oa-core/tests/port_anchors.rs",
|
|
"bytes": 26893,
|
|
"sha256": "EFBC0FA18733B1AAAC501F9785A4C392FC49C05C45A5778D26E9B5DD951CA6FA"
|
|
},
|
|
{
|
|
"path": "crates/oa-core/tests/port_migration.rs",
|
|
"bytes": 15620,
|
|
"sha256": "1801C376A5435AC7EFB2A8342348B2C7FFEF930BBA65DECA4ACB66B06E0483D7"
|
|
},
|
|
{
|
|
"path": "crates/oa-core/tests/port_source.rs",
|
|
"bytes": 4858,
|
|
"sha256": "8D2DDACA4045D330F6EDA2591561497B858AAD53769A823249D0BEA4F5916E12"
|
|
},
|
|
{
|
|
"path": "crates/oa-core/tests/prepared_commands.rs",
|
|
"bytes": 9555,
|
|
"sha256": "52CAB1C668064777412DF0A6A3C20D74D579B33794B4B00525B9F151C06EAC9B"
|
|
},
|
|
{
|
|
"path": "crates/oa-core/tests/process_diagnostics.rs",
|
|
"bytes": 1104,
|
|
"sha256": "1DBBC590239EF7542BE4A2BDC9543AAA64D108417B03DD312A0894E364745906"
|
|
},
|
|
{
|
|
"path": "crates/oa-core/tests/r3_constructor_ack.rs",
|
|
"bytes": 24163,
|
|
"sha256": "E5C44676EA0AAB97F2E091DDAC2F4BC4A4A90F5877F7BBF08B61229600944DD0"
|
|
},
|
|
{
|
|
"path": "crates/oa-core/tests/r3_migration.rs",
|
|
"bytes": 6590,
|
|
"sha256": "EBD04120F5215B3956FDC79EE78F6E38734C7D13392F1FC28AABA957912265BD"
|
|
},
|
|
{
|
|
"path": "crates/oa-core/tests/r3_semantic.rs",
|
|
"bytes": 77473,
|
|
"sha256": "49C3763EAF2131070A7C46CC23A84F917D292D41610B6404510E5607F8890C32"
|
|
},
|
|
{
|
|
"path": "crates/oa-core/tests/r3_source.rs",
|
|
"bytes": 15311,
|
|
"sha256": "F31F60659DF3C7EF601650D1CFF140589D8729F01A3F65A4A6A6C2272F15C408"
|
|
},
|
|
{
|
|
"path": "crates/oa-core/tests/r6_data.rs",
|
|
"bytes": 41437,
|
|
"sha256": "5F7FFB3BC73C3C85423623FE56F8680646DC97040327BDBEAD9D47A37E80F155"
|
|
},
|
|
{
|
|
"path": "crates/oa-core/tests/r6_migration.rs",
|
|
"bytes": 9174,
|
|
"sha256": "81519BC1512F5E069432E9A1CDAD04C10216D492DF01B4B75B02102480EBD6A1"
|
|
},
|
|
{
|
|
"path": "crates/oa-core/tests/r6_source.rs",
|
|
"bytes": 9519,
|
|
"sha256": "88A0AA087A7678E2898FF6057538072CA92072190712F05FFF08372CC56EBED6"
|
|
},
|
|
{
|
|
"path": "crates/oa-core/tests/release1_teaching.rs",
|
|
"bytes": 10010,
|
|
"sha256": "BE179290D871125DC97CFD2A3067C7AC89C8A538FDB0AFAFC5B825BCDFB2BEF2"
|
|
},
|
|
{
|
|
"path": "crates/oa-core/tests/release_capabilities.rs",
|
|
"bytes": 19422,
|
|
"sha256": "B92CBA2A562E78287DDD7DC3E94557848D17FAA0C8A102601B50286B9AF48A30"
|
|
},
|
|
{
|
|
"path": "crates/oa-core/tests/release_diagrams.rs",
|
|
"bytes": 7689,
|
|
"sha256": "CEFCC0582D91266D5DE6EE5DAEFCFE41B606AB971AB235B59034A8E1DBC24B7D"
|
|
},
|
|
{
|
|
"path": "crates/oa-core/tests/release_language_limits.rs",
|
|
"bytes": 5204,
|
|
"sha256": "8578DA4F76BBD2D0E1BFE295AB1259E2162A3FE3D0D2BA8901915D7A40942806"
|
|
},
|
|
{
|
|
"path": "crates/oa-core/tests/release_ports.rs",
|
|
"bytes": 32740,
|
|
"sha256": "506E62BEAB0C7EC0CECE83E9E0C1A810FA1F99285C9E1CAB0C77F06DE55A40E1"
|
|
},
|
|
{
|
|
"path": "crates/oa-core/tests/release_routing.rs",
|
|
"bytes": 23165,
|
|
"sha256": "AE168FAABA23769B7CA1FD65F217B9DB671726E67276EB5A04E5E72B1447A462"
|
|
},
|
|
{
|
|
"path": "crates/oa-core/tests/release_scenarios.rs",
|
|
"bytes": 41067,
|
|
"sha256": "0F5D876BADEEC653FC7B12610A77D867E9A53582E605253DEFF8D379DA21572F"
|
|
},
|
|
{
|
|
"path": "crates/oa-core/tests/release_states.rs",
|
|
"bytes": 26873,
|
|
"sha256": "B1A26ACEE95EABA7F9920F9DA738A1E33606552EB078E6D298895DAFF7E3D811"
|
|
},
|
|
{
|
|
"path": "crates/oa-core/tests/release_topology.rs",
|
|
"bytes": 17643,
|
|
"sha256": "C51DBE5AA5A038F9ED830DAA02AA67714472179EB7FD6DA5CE36DC6931C8B3A9"
|
|
},
|
|
{
|
|
"path": "crates/oa-core/tests/review_regressions.rs",
|
|
"bytes": 21823,
|
|
"sha256": "F154E5C88D35E31512E2B07733A1327EA3E2FCFD1EF8EB23066A4E9573F387C1"
|
|
},
|
|
{
|
|
"path": "crates/oa-core/tests/route_source.rs",
|
|
"bytes": 7270,
|
|
"sha256": "1A73FDBAC0D0AE0E84D8D67B6AD398E11223958F5DCA007F73757C91827DECFB"
|
|
},
|
|
{
|
|
"path": "crates/oa-core/tests/routing_geometry.rs",
|
|
"bytes": 31890,
|
|
"sha256": "2D8EEA4A2BBA535ED0EA6DAABCCDAF87B375828C404BAA10518C7BD7FD6253D3"
|
|
},
|
|
{
|
|
"path": "crates/oa-core/tests/routing_labels.rs",
|
|
"bytes": 5530,
|
|
"sha256": "DFF884D799C3C5C9257210248C55767E294E3CB317C605CBD0DDC9600C216EB6"
|
|
},
|
|
{
|
|
"path": "crates/oa-core/tests/semantic_artifact_absence_oracle.rs",
|
|
"bytes": 4640,
|
|
"sha256": "D93EAF9667F4221232168BEF0FE9F069E5BE1B1F23410BDA5DD67010B96E5C8A"
|
|
},
|
|
{
|
|
"path": "crates/oa-core/tests/semantic_attachments_gui_oracle.rs",
|
|
"bytes": 14957,
|
|
"sha256": "7F526D363BA05E7AC89FAF0FEAD0796E419C34EE204EDF44A1B46C78308B0970"
|
|
},
|
|
{
|
|
"path": "crates/oa-core/tests/source6_view_contract.rs",
|
|
"bytes": 14307,
|
|
"sha256": "FA566DE53946D40BBBD9033EDFEED177180C4DC44AFA2F2F4667FFDC622EB3BB"
|
|
},
|
|
{
|
|
"path": "crates/oa-core/tests/source7_contract.rs",
|
|
"bytes": 43262,
|
|
"sha256": "CAD4F1A135DDBD947BDF3C71D1B44F1E438725095EA8C4D893464BC721C2363F"
|
|
},
|
|
{
|
|
"path": "crates/oa-core/tests/source_files.rs",
|
|
"bytes": 13168,
|
|
"sha256": "F0429A0B89A443458EA9AF7083C1E4E7411417A7E6B47E618BFBB9266DC164F9"
|
|
},
|
|
{
|
|
"path": "crates/oa-core/tests/source_identity_updates.rs",
|
|
"bytes": 5139,
|
|
"sha256": "F52AA38B4D317E532C641AD7463472E4B40E802E60052CF0017556FFC63DA06C"
|
|
},
|
|
{
|
|
"path": "crates/oa-core/tests/source_nested_updates.rs",
|
|
"bytes": 16892,
|
|
"sha256": "9AC3390936C0D250651EA94A1B8FAF0ADFB680F061ECECC56F2A52909B5BA855"
|
|
},
|
|
{
|
|
"path": "crates/oa-core/tests/source_project.rs",
|
|
"bytes": 45910,
|
|
"sha256": "CEF58ADB16AA4D2527DDC0628AEC3E26F0B42B4BE70014A7E360FAFDAC13A942"
|
|
},
|
|
{
|
|
"path": "crates/oa-core/tests/state_diagrams.rs",
|
|
"bytes": 23973,
|
|
"sha256": "6B02B387A3AE559CB3AD72DE24292A5ABCB76AAAC0ADBAB5D2AA5211B22CD2E5"
|
|
},
|
|
{
|
|
"path": "crates/oa-core/tests/workflows.rs",
|
|
"bytes": 33426,
|
|
"sha256": "BD843DFDDBD5724EC08F657571F887496203056FE2FA5864EF50A168A613B89B"
|
|
},
|
|
{
|
|
"path": "docs/language.rst",
|
|
"bytes": 130753,
|
|
"sha256": "AC6B1D982C55F246DE2F3C844B24B874599A3C20CFBD7ED22EFE4561AC622B83"
|
|
},
|
|
{
|
|
"path": "examples/coastal-rescue.arcadia",
|
|
"bytes": 33107,
|
|
"sha256": "7E183EF9FD8154D3074303F1956CD0D9871C19E3FFC630D333B0BFFBD6E30E17"
|
|
},
|
|
{
|
|
"path": "examples/coastal-rescue.json",
|
|
"bytes": 49715,
|
|
"sha256": "242F0B031229A87AF5C4EBE5D651DEFE59C191A6B7A69DC0A77F7E203411F195"
|
|
},
|
|
{
|
|
"path": "examples/legacy-v1-coastal-rescue.arcadia",
|
|
"bytes": 3449,
|
|
"sha256": "4DBBBDF8BC7E6CB8E0A81DD678069DAE585A9E5187C59BC3665E1FDAB3F1A86A"
|
|
},
|
|
{
|
|
"path": "examples/legacy-v1-coastal-rescue.oa.json",
|
|
"bytes": 5976,
|
|
"sha256": "FD0E9DEDFB7ADB922DC0575CC2B820D40344D639F1D8052BD70363AA59DE9C24"
|
|
},
|
|
{
|
|
"path": "examples/release1/README.md",
|
|
"bytes": 11137,
|
|
"sha256": "113CFB1CF38A98B51BFF60442D86A35D636A3D80EF206BECE7D53D0AAE67F2D5"
|
|
},
|
|
{
|
|
"path": "examples/release1/evidence/repair-check.md",
|
|
"bytes": 1419,
|
|
"sha256": "F4DB17BDCA4ECBB1BF0CAEF01B2DA5F1F7F798AB3152B648CE6DD8696A6A68E5"
|
|
},
|
|
{
|
|
"path": "examples/release1/expected-diagnostics.json",
|
|
"bytes": 288,
|
|
"sha256": "3700393D76B940CFC076BF52861BD7B1F43370F8EABCE3594531BD0BF1FC851E"
|
|
},
|
|
{
|
|
"path": "examples/release1/model.json",
|
|
"bytes": 134520,
|
|
"sha256": "EF0EF4006C3E09D5DB6E1B621256B3F7D6642F3A7B09CC34607CFBCCA830C727"
|
|
},
|
|
{
|
|
"path": "examples/release1/model.rs",
|
|
"bytes": 28762,
|
|
"sha256": "15F30F6BDE655808FE754665C26D560E36F2A9BAD340F346B09137D0D05045F5"
|
|
},
|
|
{
|
|
"path": "examples/release1/oa/activities/activity_oa_restore_work.arcadia",
|
|
"bytes": 1307,
|
|
"sha256": "83E73D0A013D5C3E1A4AF0D9139AB0CFA362D25A846671FC2DAC59181061A9D4"
|
|
},
|
|
{
|
|
"path": "examples/release1/oa/behavior/process_oa_assessment_procedure.arcadia",
|
|
"bytes": 697,
|
|
"sha256": "172C32C044EF4B5BC58A1F4635CC81F48DABB4014479B47DCE7B25FEDF2DBD0D"
|
|
},
|
|
{
|
|
"path": "examples/release1/oa/behavior/process_oa_field_procedure.arcadia",
|
|
"bytes": 1781,
|
|
"sha256": "D2552DC5383E2E91CB302A790364E197F663C2EDC013A2AB1978789825C9C324"
|
|
},
|
|
{
|
|
"path": "examples/release1/oa/behavior/process_oa_response.arcadia",
|
|
"bytes": 3225,
|
|
"sha256": "CF86F46FA5C5D70592EF43F1BC1CB4D968EFD8ADD384BA88036BEF6B88AA4ABC"
|
|
},
|
|
{
|
|
"path": "examples/release1/oa/behavior/scenario_oa_conversation.arcadia",
|
|
"bytes": 1795,
|
|
"sha256": "B25BE524E98A35EBAC5E4481B7609C027B32BAF9605E8097F807560F94A77CA6"
|
|
},
|
|
{
|
|
"path": "examples/release1/oa/behavior/scenario_oa_full_scenario.arcadia",
|
|
"bytes": 1261,
|
|
"sha256": "00A1EDF2C9707A0EB62AC070C2D02467874F2C9C1F273CC6DDB53D6D65999A1C"
|
|
},
|
|
{
|
|
"path": "examples/release1/oa/behavior/state_machine_oa_monitor.arcadia",
|
|
"bytes": 2022,
|
|
"sha256": "447C9AD1359F4A31ECF975AD07C0B08D8E7E03191FB0858E2FC56F377B223CD5"
|
|
},
|
|
{
|
|
"path": "examples/release1/oa/capabilities.arcadia",
|
|
"bytes": 781,
|
|
"sha256": "FC8012E5554350B12E1CB80080F8FEAB80D933C9B33C0F2A7BB500CB7D609936"
|
|
},
|
|
{
|
|
"path": "examples/release1/oa/model.arcadia",
|
|
"bytes": 661,
|
|
"sha256": "F7CF914766EA73EC53B85E32D117EA9A9DBA52D3E038246863541AE7069B1A15"
|
|
},
|
|
{
|
|
"path": "examples/release1/oa/participants.arcadia",
|
|
"bytes": 1834,
|
|
"sha256": "951764C14179F27C10E315ACF2EA37D1FFF54C77B8441E23ADDD239E8C715CE3"
|
|
},
|
|
{
|
|
"path": "examples/release1/oa/types.arcadia",
|
|
"bytes": 788,
|
|
"sha256": "9D0396FB82DD5733EDD8D1CF52F968CA84906927C704F9CF0944A7FAE215CF49"
|
|
},
|
|
{
|
|
"path": "examples/release1/project.arcadia",
|
|
"bytes": 1958,
|
|
"sha256": "B2674E6BF77CFE0F6F0BA79C81D2E96D92F39C02CA2C6266D80E91723BFB9FDA"
|
|
},
|
|
{
|
|
"path": "examples/release1/sa/behavior/process_sa_assessment_procedure.arcadia",
|
|
"bytes": 706,
|
|
"sha256": "73928CED61C06CBC08728D7956676A50FD4C05AA5B7F1FF4F29CE27A0B0F2088"
|
|
},
|
|
{
|
|
"path": "examples/release1/sa/behavior/process_sa_field_procedure.arcadia",
|
|
"bytes": 1790,
|
|
"sha256": "886D462AF83110CBFA55DD232A667EA1446761234471357CBB878794E98E8768"
|
|
},
|
|
{
|
|
"path": "examples/release1/sa/behavior/process_sa_response.arcadia",
|
|
"bytes": 3234,
|
|
"sha256": "041785FC22842423822431BD5E6E8D16094EBD0716965E7C765FB8C1D7549E8A"
|
|
},
|
|
{
|
|
"path": "examples/release1/sa/behavior/scenario_sa_conversation.arcadia",
|
|
"bytes": 2127,
|
|
"sha256": "97276F5757EE9AA12A0DBD9D3CCD58174B3091162BB8BCCE357CEC20A45F5D85"
|
|
},
|
|
{
|
|
"path": "examples/release1/sa/behavior/scenario_sa_full_scenario.arcadia",
|
|
"bytes": 1256,
|
|
"sha256": "E12FC406B99D60A2F7768AAA0B25BA560E8605F0B8E37F3A7CDD3B8443562B74"
|
|
},
|
|
{
|
|
"path": "examples/release1/sa/behavior/state_machine_sa_monitor.arcadia",
|
|
"bytes": 2022,
|
|
"sha256": "05CE29AF99424C491C47FE2450DC6F5F8CE995511C01EC7E17BB5855BE3C9736"
|
|
},
|
|
{
|
|
"path": "examples/release1/sa/capabilities.arcadia",
|
|
"bytes": 781,
|
|
"sha256": "B6912FB3ECE439912345FA71724ACD462E716A1E5A88203A1058A5C3B2C20A4F"
|
|
},
|
|
{
|
|
"path": "examples/release1/sa/functions/function_sa_audit_thresholds.arcadia",
|
|
"bytes": 297,
|
|
"sha256": "E5A04325D52183956DCA814DD90F4E56C96C6B7DB0F4F202F203ECB49C3E0F4F"
|
|
},
|
|
{
|
|
"path": "examples/release1/sa/functions/function_sa_restore_work.arcadia",
|
|
"bytes": 2576,
|
|
"sha256": "FDDEB67308051325041FEE641FE758DDF43345B7C47B66D433616AD07FDCCDD6"
|
|
},
|
|
{
|
|
"path": "examples/release1/sa/model.arcadia",
|
|
"bytes": 661,
|
|
"sha256": "D431509251ACB859FBB98733B6D18ADD952495E10A78703FBE8F31E40BC083C4"
|
|
},
|
|
{
|
|
"path": "examples/release1/sa/participants.arcadia",
|
|
"bytes": 4012,
|
|
"sha256": "780D2EB08B217B67B55FEBB3D34846F727B8EE9018DF6C5741748647E36B2FF8"
|
|
},
|
|
{
|
|
"path": "examples/release1/sa/types.arcadia",
|
|
"bytes": 1227,
|
|
"sha256": "101FC0FBD99F1101514AA7B6DA4F8E535AAE0BB94C9E2B9E7E6C151135B28660"
|
|
},
|
|
{
|
|
"path": "examples/release1/traceability.arcadia",
|
|
"bytes": 29506,
|
|
"sha256": "48A96F543456C9B5A5798FC795594E4119147FE45F11A6F109F141B7F514560F"
|
|
},
|
|
{
|
|
"path": "examples/release1/transition-before.json",
|
|
"bytes": 35801,
|
|
"sha256": "2253E6434F741687E22327C37D520ED15C043BC36025498650BC2366BB6A874D"
|
|
},
|
|
{
|
|
"path": "examples/release1/transition-request.json",
|
|
"bytes": 4276,
|
|
"sha256": "43B9A22E5F95AD3BC0EBD2478EAD0E14406854ABC989AE94DED9367B013D812A"
|
|
},
|
|
{
|
|
"path": "examples/release1/views/diagram_oa_allocation_view.arcadia",
|
|
"bytes": 2176,
|
|
"sha256": "DFC0EB61E0E2AA5BDA45524571FBFA3494F44CE19696F3E15E07438074A07BC7"
|
|
},
|
|
{
|
|
"path": "examples/release1/views/diagram_sa_allocation_view.arcadia",
|
|
"bytes": 2173,
|
|
"sha256": "B78B43A26A82EFB8FBD5374B09C329FA341F57B29F635D397B9EF8AEDE71D389"
|
|
},
|
|
{
|
|
"path": "examples/release1/views/diagram_sa_capability_view.arcadia",
|
|
"bytes": 1620,
|
|
"sha256": "75E8DC9FB30F25D6F8FD3C6B595593AB4F98958A25798F961E336E0FAC557649"
|
|
},
|
|
{
|
|
"path": "examples/release1/views/diagram_sa_service_view.arcadia",
|
|
"bytes": 2209,
|
|
"sha256": "B08C84F3EA633E7C78DFDAD3272F75415F6256CF3614B6D99BFD4F0269076C9B"
|
|
},
|
|
{
|
|
"path": "examples/release1/views/diagram_sa_state_view.arcadia",
|
|
"bytes": 1931,
|
|
"sha256": "5F42F4C605E57B817D8400ED21F2B14BFC4E1592AEBE941FF113767504C2B869"
|
|
},
|
|
{
|
|
"path": "examples/routing-workshop.arcadia",
|
|
"bytes": 66431,
|
|
"sha256": "DC6B75DA72884D399132ED9E300FA5A26B73D802BB526C9AF986AE9EEB0A646A"
|
|
},
|
|
{
|
|
"path": "examples/routing-workshop.json",
|
|
"bytes": 100281,
|
|
"sha256": "8592714F75B271133F21CE017D87896B6CF91EA0E4837F1C2ED453E21BE26B14"
|
|
},
|
|
{
|
|
"path": "examples/source-project/oa.arcadia",
|
|
"bytes": 2142,
|
|
"sha256": "5F60642F211B2D352A951092FAEEB7503D4FB7F6F7FCA99E810347231101D31C"
|
|
},
|
|
{
|
|
"path": "examples/source-project/project.arcadia",
|
|
"bytes": 606,
|
|
"sha256": "787F6B67B179FFD221F7E5FAF1A4EDD74CFD116AA1E3B5E9ED9F22FBFF612D8D"
|
|
},
|
|
{
|
|
"path": "examples/source-project/sa/assurance.arcadia",
|
|
"bytes": 682,
|
|
"sha256": "AB76044836E4DCD42A82D316846EC87DA2108939AA2037640C5BCA1D2ECDEE0F"
|
|
},
|
|
{
|
|
"path": "examples/source-project/sa/participants.arcadia",
|
|
"bytes": 1231,
|
|
"sha256": "1ABAD579812E77877B45A3D8E3C3E9DA734BE2D04A0254CC730A5257EBD2DC88"
|
|
},
|
|
{
|
|
"path": "examples/source-project/sa/reporting.arcadia",
|
|
"bytes": 2839,
|
|
"sha256": "F0B7443F728912CA163DE39B6055876B533A77FEAA3219B2D40A2DD65712E058"
|
|
},
|
|
{
|
|
"path": "examples/source-project/views.arcadia",
|
|
"bytes": 3508,
|
|
"sha256": "E29AD3F406A6A50D2F0AE2CA2A53EE3B0C18222CD4098704A46D4F48B64EA17F"
|
|
},
|
|
{
|
|
"path": "examples/text-first/README.md",
|
|
"bytes": 1367,
|
|
"sha256": "4EC8250D5ED556F1D496E8C85137E973E802ECB11DF1A36488411E8CDC5A9F9E"
|
|
},
|
|
{
|
|
"path": "examples/text-first/project.arcadia",
|
|
"bytes": 480,
|
|
"sha256": "F441535C623E0CF20E1875EB2CD33B587ED00E078C37AF39CB36D89BB5EDC19A"
|
|
},
|
|
{
|
|
"path": "rust-toolchain.toml",
|
|
"bytes": 66,
|
|
"sha256": "A6A0BBD29FFAA8182DC22D1D9149709F1091E47DF40ED96EB8A78A711C66A4CE"
|
|
}
|
|
]
|
|
}
|