Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
12 changes: 6 additions & 6 deletions .trinity/seals/DatalogEngine.json
Original file line number Diff line number Diff line change
Expand Up @@ -7,16 +7,16 @@
}
],
"config": "gen=c,rust,verilog,zig;tests=zig",
"gen_hash_c": "sha256:53b71ef6ec786012e875b7253f54076ffe9b394faa91f6e70d8393fa2bf85e68",
"gen_hash_rust": "sha256:9c995a0f67e1def9cadc8c96ae4b458016a36efa6d4ec2d47f637d6cd3c993a4",
"gen_hash_verilog": "sha256:33ee6d2c28d853b57ae94c38a625a099580a9cea007f74885720ba3959cfe0f6",
"gen_hash_zig": "sha256:65e4997bcec9230e723411a3e2e288e4da07094858a5b047a677661165a0d2c2",
"gen_hash_c": "sha256:e177976555ae946fca80a0f2ea977e73d53dda7d10218d0792c1b644a1aa106c",
"gen_hash_rust": "sha256:80c0bac3d5197c543c5a29d7020450315e2b5bf630ffe668b0df143238511810",
"gen_hash_verilog": "sha256:73f581973048c74a79252d00c9cae6a1d135a0f42a5afdf26a2ee70be9ccf18d",
"gen_hash_zig": "sha256:884f29d5a2c05849d12b6a8544e80845e0b9aa964e99fa750a0575a0a2c2a7e2",
"module": "datalog_engine",
"ring": 12,
"seal_schema": 2,
"sealed_at": "2026-10-18T09:29:36Z",
"sealed_at": "2026-10-18T10:47:41Z",
"sealed_by": "t27c-bootstrap@0.5.2",
"spec_hash": "sha256:87593c89dc0850001a456e2dcadac858617c7e133511a6bc4d3499b5c914f2a2",
"spec_hash": "sha256:52016c554a0dc551f8146f51c394bca2f01110762cd88582c28740a8b9d7caa5",
"spec_path": "specs/ar/datalog_engine.t27",
"tests": {
"failed": 0,
Expand Down
12 changes: 6 additions & 6 deletions .trinity/seals/ar_DatalogEngine.json
Original file line number Diff line number Diff line change
Expand Up @@ -7,16 +7,16 @@
}
],
"config": "gen=c,rust,verilog,zig;tests=zig",
"gen_hash_c": "sha256:53b71ef6ec786012e875b7253f54076ffe9b394faa91f6e70d8393fa2bf85e68",
"gen_hash_rust": "sha256:9c995a0f67e1def9cadc8c96ae4b458016a36efa6d4ec2d47f637d6cd3c993a4",
"gen_hash_verilog": "sha256:33ee6d2c28d853b57ae94c38a625a099580a9cea007f74885720ba3959cfe0f6",
"gen_hash_zig": "sha256:65e4997bcec9230e723411a3e2e288e4da07094858a5b047a677661165a0d2c2",
"gen_hash_c": "sha256:e177976555ae946fca80a0f2ea977e73d53dda7d10218d0792c1b644a1aa106c",
"gen_hash_rust": "sha256:80c0bac3d5197c543c5a29d7020450315e2b5bf630ffe668b0df143238511810",
"gen_hash_verilog": "sha256:73f581973048c74a79252d00c9cae6a1d135a0f42a5afdf26a2ee70be9ccf18d",
"gen_hash_zig": "sha256:884f29d5a2c05849d12b6a8544e80845e0b9aa964e99fa750a0575a0a2c2a7e2",
"module": "datalog_engine",
"ring": 12,
"seal_schema": 2,
"sealed_at": "2026-10-18T09:29:36Z",
"sealed_at": "2026-10-18T10:47:41Z",
"sealed_by": "t27c-bootstrap@0.5.2",
"spec_hash": "sha256:87593c89dc0850001a456e2dcadac858617c7e133511a6bc4d3499b5c914f2a2",
"spec_hash": "sha256:52016c554a0dc551f8146f51c394bca2f01110762cd88582c28740a8b9d7caa5",
"spec_path": "specs/ar/datalog_engine.t27",
"tests": {
"failed": 0,
Expand Down
14 changes: 7 additions & 7 deletions .trinity/seals/ar_coa_planning.json
Original file line number Diff line number Diff line change
@@ -1,22 +1,22 @@
{
"built_by": "t27c-bootstrap@0.5.2+093bf4713",
"built_by": "t27c-bootstrap@0.5.2+9448ab4be",
"closure": [
{
"spec": "specs/base/types.t27",
"spec_hash": "sha256:3c2fb2a2edf20e90bc76798fb5d12690b2f60fc0f5bbf2f6052936e22d6e62e2"
}
],
"config": "gen=c,rust,verilog,zig;tests=zig",
"gen_hash_c": "sha256:73052f6405021ced45bec65ca41ab84ce2ae45791983bd74ca9f66436a7ca6a1",
"gen_hash_rust": "sha256:f52372abfffaa791487f5795f7574157c4114ba69d1f6fa41037abea5550f29a",
"gen_hash_verilog": "sha256:da4c08e037138eb684e5977f268e86c51417da872395f9680f3c507087ea915d",
"gen_hash_zig": "sha256:8d681fb65d3ebbfd0a8994590dd129ae103e140fe15ea20e9df70daf2e33ca13",
"gen_hash_c": "sha256:b645c316292baa31cfc7b2c6b94fee49b47936c9a00517733c661ae435776625",
"gen_hash_rust": "sha256:fe51bf8bc98e674d7a224a8cd355c95acd355c9264ae337bacb0e93900cc7e50",
"gen_hash_verilog": "sha256:acac34bf7b218b8c15d17dab86d2d8f0f89aa8f70d4dec550afc18c01dcf5386",
"gen_hash_zig": "sha256:dd4a4ab0b093b791166a44ceed113ae74e12265edea264797708cf7e1bb92c79",
"module": "coa_planning",
"ring": 12,
"seal_schema": 2,
"sealed_at": "2026-10-18T09:29:36Z",
"sealed_at": "2026-10-18T10:47:39Z",
"sealed_by": "t27c-bootstrap@0.5.2",
"spec_hash": "sha256:d88d0199bd4974d508c822771f72c1855e1804f3ab69407262b4acc5bddf8ce1",
"spec_hash": "sha256:44ed31095160994e28ac2f65458af64c84118bdc0ae9945382c5598cfe41589a",
"spec_path": "specs/ar/coa_planning.t27",
"tests": {
"failed": 0,
Expand Down
14 changes: 7 additions & 7 deletions .trinity/seals/ar_datalog_engine.json
Original file line number Diff line number Diff line change
@@ -1,22 +1,22 @@
{
"built_by": "t27c-bootstrap@0.5.2+093bf4713",
"built_by": "t27c-bootstrap@0.5.2+9448ab4be",
"closure": [
{
"spec": "specs/base/types.t27",
"spec_hash": "sha256:3c2fb2a2edf20e90bc76798fb5d12690b2f60fc0f5bbf2f6052936e22d6e62e2"
}
],
"config": "gen=c,rust,verilog,zig;tests=zig",
"gen_hash_c": "sha256:53b71ef6ec786012e875b7253f54076ffe9b394faa91f6e70d8393fa2bf85e68",
"gen_hash_rust": "sha256:9c995a0f67e1def9cadc8c96ae4b458016a36efa6d4ec2d47f637d6cd3c993a4",
"gen_hash_verilog": "sha256:33ee6d2c28d853b57ae94c38a625a099580a9cea007f74885720ba3959cfe0f6",
"gen_hash_zig": "sha256:65e4997bcec9230e723411a3e2e288e4da07094858a5b047a677661165a0d2c2",
"gen_hash_c": "sha256:e177976555ae946fca80a0f2ea977e73d53dda7d10218d0792c1b644a1aa106c",
"gen_hash_rust": "sha256:80c0bac3d5197c543c5a29d7020450315e2b5bf630ffe668b0df143238511810",
"gen_hash_verilog": "sha256:73f581973048c74a79252d00c9cae6a1d135a0f42a5afdf26a2ee70be9ccf18d",
"gen_hash_zig": "sha256:884f29d5a2c05849d12b6a8544e80845e0b9aa964e99fa750a0575a0a2c2a7e2",
"module": "datalog_engine",
"ring": 12,
"seal_schema": 2,
"sealed_at": "2026-10-18T09:29:36Z",
"sealed_at": "2026-10-18T10:47:41Z",
"sealed_by": "t27c-bootstrap@0.5.2",
"spec_hash": "sha256:87593c89dc0850001a456e2dcadac858617c7e133511a6bc4d3499b5c914f2a2",
"spec_hash": "sha256:52016c554a0dc551f8146f51c394bca2f01110762cd88582c28740a8b9d7caa5",
"spec_path": "specs/ar/datalog_engine.t27",
"tests": {
"failed": 0,
Expand Down
12 changes: 6 additions & 6 deletions .trinity/seals/bus-schema.json
Original file line number Diff line number Diff line change
Expand Up @@ -2,16 +2,16 @@
"built_by": "t27c-bootstrap@0.5.2+093bf4713",
"closure": [],
"config": "gen=c,rust,verilog,zig;tests=zig",
"gen_hash_c": "sha256:d22bce45e0204d2bcdbad2a44105d04be02c5ec34248212fbff003ad5a10ee54",
"gen_hash_rust": "sha256:5bbc48eb273b37edc455dc2f3a4027107ed35c36cad9b76862311d4f16f7e599",
"gen_hash_verilog": "sha256:01c1d923a2ce3335a97005db06cd9cb69a369bbcffc21e56b44b51c30907e857",
"gen_hash_zig": "sha256:00d82e4e7e0be532e30f7ae594ca5fd8784daa0829ff4a7b3dec9132faf57d73",
"gen_hash_c": "sha256:dfabef0d788ade5f2b4e7a55bcbc63d6a7c1ef17dca9135ecae799b87cb5e432",
"gen_hash_rust": "sha256:0d28dd423c071e10844a6422af81fe8e9ca75d719247ff33b910617ae152ca01",
"gen_hash_verilog": "sha256:e6b1d283eae6b7a97ce7025de436ffe6d883cccbc43a14f5e688bd80381e71b6",
"gen_hash_zig": "sha256:7bc39985be3705964426d94e68b9b1d7d277bec0efdb4b4a7f16e2defe577d07",
"module": "bus-schema",
"ring": 12,
"seal_schema": 2,
"sealed_at": "2026-10-18T09:29:41Z",
"sealed_at": "2026-10-18T10:47:42Z",
"sealed_by": "t27c-bootstrap@0.5.2",
"spec_hash": "sha256:76393971b7cf90665df9492a8fc5243c0c893ba25613dcec5818ba05c7039893",
"spec_hash": "sha256:1252d5a26a2656a213ae87826324b561dd5969349885ec9536d6289eca17616e",
"spec_path": "specs/bus/schema.t27",
"tests": {
"failed": 0,
Expand Down
14 changes: 7 additions & 7 deletions .trinity/seals/bus_bus-schema.json
Original file line number Diff line number Diff line change
@@ -1,17 +1,17 @@
{
"built_by": "t27c-bootstrap@0.5.2+093bf4713",
"built_by": "t27c-bootstrap@0.5.2+9448ab4be",
"closure": [],
"config": "gen=c,rust,verilog,zig;tests=zig",
"gen_hash_c": "sha256:d22bce45e0204d2bcdbad2a44105d04be02c5ec34248212fbff003ad5a10ee54",
"gen_hash_rust": "sha256:5bbc48eb273b37edc455dc2f3a4027107ed35c36cad9b76862311d4f16f7e599",
"gen_hash_verilog": "sha256:01c1d923a2ce3335a97005db06cd9cb69a369bbcffc21e56b44b51c30907e857",
"gen_hash_zig": "sha256:00d82e4e7e0be532e30f7ae594ca5fd8784daa0829ff4a7b3dec9132faf57d73",
"gen_hash_c": "sha256:dfabef0d788ade5f2b4e7a55bcbc63d6a7c1ef17dca9135ecae799b87cb5e432",
"gen_hash_rust": "sha256:0d28dd423c071e10844a6422af81fe8e9ca75d719247ff33b910617ae152ca01",
"gen_hash_verilog": "sha256:e6b1d283eae6b7a97ce7025de436ffe6d883cccbc43a14f5e688bd80381e71b6",
"gen_hash_zig": "sha256:7bc39985be3705964426d94e68b9b1d7d277bec0efdb4b4a7f16e2defe577d07",
"module": "bus-schema",
"ring": 12,
"seal_schema": 2,
"sealed_at": "2026-10-18T09:29:41Z",
"sealed_at": "2026-10-18T10:47:42Z",
"sealed_by": "t27c-bootstrap@0.5.2",
"spec_hash": "sha256:76393971b7cf90665df9492a8fc5243c0c893ba25613dcec5818ba05c7039893",
"spec_hash": "sha256:1252d5a26a2656a213ae87826324b561dd5969349885ec9536d6289eca17616e",
"spec_path": "specs/bus/schema.t27",
"tests": {
"failed": 0,
Expand Down
12 changes: 6 additions & 6 deletions .trinity/seals/coa_planning.json
Original file line number Diff line number Diff line change
Expand Up @@ -7,16 +7,16 @@
}
],
"config": "gen=c,rust,verilog,zig;tests=zig",
"gen_hash_c": "sha256:73052f6405021ced45bec65ca41ab84ce2ae45791983bd74ca9f66436a7ca6a1",
"gen_hash_rust": "sha256:f52372abfffaa791487f5795f7574157c4114ba69d1f6fa41037abea5550f29a",
"gen_hash_verilog": "sha256:da4c08e037138eb684e5977f268e86c51417da872395f9680f3c507087ea915d",
"gen_hash_zig": "sha256:8d681fb65d3ebbfd0a8994590dd129ae103e140fe15ea20e9df70daf2e33ca13",
"gen_hash_c": "sha256:b645c316292baa31cfc7b2c6b94fee49b47936c9a00517733c661ae435776625",
"gen_hash_rust": "sha256:fe51bf8bc98e674d7a224a8cd355c95acd355c9264ae337bacb0e93900cc7e50",
"gen_hash_verilog": "sha256:acac34bf7b218b8c15d17dab86d2d8f0f89aa8f70d4dec550afc18c01dcf5386",
"gen_hash_zig": "sha256:dd4a4ab0b093b791166a44ceed113ae74e12265edea264797708cf7e1bb92c79",
"module": "coa_planning",
"ring": 12,
"seal_schema": 2,
"sealed_at": "2026-10-18T09:29:36Z",
"sealed_at": "2026-10-18T10:47:39Z",
"sealed_by": "t27c-bootstrap@0.5.2",
"spec_hash": "sha256:d88d0199bd4974d508c822771f72c1855e1804f3ab69407262b4acc5bddf8ce1",
"spec_hash": "sha256:44ed31095160994e28ac2f65458af64c84118bdc0ae9945382c5598cfe41589a",
"spec_path": "specs/ar/coa_planning.t27",
"tests": {
"failed": 0,
Expand Down
12 changes: 6 additions & 6 deletions .trinity/seals/datalog_engine.json
Original file line number Diff line number Diff line change
Expand Up @@ -7,16 +7,16 @@
}
],
"config": "gen=c,rust,verilog,zig;tests=zig",
"gen_hash_c": "sha256:53b71ef6ec786012e875b7253f54076ffe9b394faa91f6e70d8393fa2bf85e68",
"gen_hash_rust": "sha256:9c995a0f67e1def9cadc8c96ae4b458016a36efa6d4ec2d47f637d6cd3c993a4",
"gen_hash_verilog": "sha256:33ee6d2c28d853b57ae94c38a625a099580a9cea007f74885720ba3959cfe0f6",
"gen_hash_zig": "sha256:65e4997bcec9230e723411a3e2e288e4da07094858a5b047a677661165a0d2c2",
"gen_hash_c": "sha256:e177976555ae946fca80a0f2ea977e73d53dda7d10218d0792c1b644a1aa106c",
"gen_hash_rust": "sha256:80c0bac3d5197c543c5a29d7020450315e2b5bf630ffe668b0df143238511810",
"gen_hash_verilog": "sha256:73f581973048c74a79252d00c9cae6a1d135a0f42a5afdf26a2ee70be9ccf18d",
"gen_hash_zig": "sha256:884f29d5a2c05849d12b6a8544e80845e0b9aa964e99fa750a0575a0a2c2a7e2",
"module": "datalog_engine",
"ring": 12,
"seal_schema": 2,
"sealed_at": "2026-10-18T09:29:36Z",
"sealed_at": "2026-10-18T10:47:41Z",
"sealed_by": "t27c-bootstrap@0.5.2",
"spec_hash": "sha256:87593c89dc0850001a456e2dcadac858617c7e133511a6bc4d3499b5c914f2a2",
"spec_hash": "sha256:52016c554a0dc551f8146f51c394bca2f01110762cd88582c28740a8b9d7caa5",
"spec_path": "specs/ar/datalog_engine.t27",
"tests": {
"failed": 0,
Expand Down
12 changes: 6 additions & 6 deletions .trinity/seals/server-router.json
Original file line number Diff line number Diff line change
@@ -1,12 +1,12 @@
{
"gen_hash_c": "sha256:5b3e5961fb10f973c49ca779ec6dc679551716203c9168e5fafbd32b2422007e",
"gen_hash_rust": "sha256:350388b710c6b563cce9c2b56e78ee3c9a847ef971350e934d552e7eff4fead6",
"gen_hash_verilog": "sha256:1598abc22c4a6e767b0283208209827c4857fb7ad5de507eba1d7ea3525ba7ce",
"gen_hash_zig": "sha256:f09c1261037b84aa7ae546013fc589d13d3c928e4531f63a5d2a0e9dced12c97",
"gen_hash_c": "sha256:c216a81c92ea9011f5eb77dd43a048ab3583576b50db61de27ce810591b15427",
"gen_hash_rust": "sha256:5943205cacbd4129b26502cbe23510c77a938b0687b326afb7fc11a6c48f9c71",
"gen_hash_verilog": "sha256:c76d199b5caebf0f29458b7804d03876b4bf324fd749e9f31c310314e5a9ae64",
"gen_hash_zig": "sha256:e796c3cf59552f2943c705667d4fcde02d031d3ec68efc9f0da2e2b0bf25066a",
"module": "server-router",
"ring": 12,
"sealed_at": "2026-10-18T09:28:52Z",
"spec_hash": "sha256:edce4491bd6af64efbc18380b09540f3a876d3c65d96da9757accc98055e51d9",
"sealed_at": "2026-10-18T10:47:42Z",
"spec_hash": "sha256:b42a7981025b0ab2ef7213db14a562586ee18b8de5f7f63ebbc37f50d7057426",
"spec_path": "specs/server/router.t27",
"tests": {
"failed": 0,
Expand Down
14 changes: 7 additions & 7 deletions .trinity/seals/server_server-router.json
Original file line number Diff line number Diff line change
@@ -1,17 +1,17 @@
{
"built_by": "t27c-bootstrap@0.5.2+093bf4713",
"built_by": "t27c-bootstrap@0.5.2+9448ab4be",
"closure": [],
"config": "gen=c,rust,verilog,zig;tests=zig",
"gen_hash_c": "sha256:5b3e5961fb10f973c49ca779ec6dc679551716203c9168e5fafbd32b2422007e",
"gen_hash_rust": "sha256:350388b710c6b563cce9c2b56e78ee3c9a847ef971350e934d552e7eff4fead6",
"gen_hash_verilog": "sha256:1598abc22c4a6e767b0283208209827c4857fb7ad5de507eba1d7ea3525ba7ce",
"gen_hash_zig": "sha256:f09c1261037b84aa7ae546013fc589d13d3c928e4531f63a5d2a0e9dced12c97",
"gen_hash_c": "sha256:c216a81c92ea9011f5eb77dd43a048ab3583576b50db61de27ce810591b15427",
"gen_hash_rust": "sha256:5943205cacbd4129b26502cbe23510c77a938b0687b326afb7fc11a6c48f9c71",
"gen_hash_verilog": "sha256:c76d199b5caebf0f29458b7804d03876b4bf324fd749e9f31c310314e5a9ae64",
"gen_hash_zig": "sha256:e796c3cf59552f2943c705667d4fcde02d031d3ec68efc9f0da2e2b0bf25066a",
"module": "server-router",
"ring": 12,
"seal_schema": 2,
"sealed_at": "2026-10-18T09:28:52Z",
"sealed_at": "2026-10-18T10:47:42Z",
"sealed_by": "t27c-bootstrap@0.5.2",
"spec_hash": "sha256:edce4491bd6af64efbc18380b09540f3a876d3c65d96da9757accc98055e51d9",
"spec_hash": "sha256:b42a7981025b0ab2ef7213db14a562586ee18b8de5f7f63ebbc37f50d7057426",
"spec_path": "specs/server/router.t27",
"tests": {
"failed": 0,
Expand Down
14 changes: 7 additions & 7 deletions .trinity/seals/utils_port::security.json
Original file line number Diff line number Diff line change
@@ -1,17 +1,17 @@
{
"built_by": "t27c-bootstrap@0.5.2+093bf4713",
"built_by": "t27c-bootstrap@0.5.2+9448ab4be",
"closure": [],
"config": "gen=c,rust,verilog,zig;tests=zig",
"gen_hash_c": "sha256:60771a6f93ccfb8de16717d052528d08feeaa8b60ad15667d08b4b184522c6c0",
"gen_hash_rust": "sha256:cfda8b27cf4df67427e9122419116e202fffefe73f641dd3b9b58a66b7afeb98",
"gen_hash_verilog": "sha256:afb3daf5e2b39528eca1be78a70b40a50dcee7784a3ee2a70d920dd7874ed6b2",
"gen_hash_zig": "sha256:e2f83b891ed566508e2632c3310ccc0e921ec9866259d45b0ca4c76673b3ee43",
"gen_hash_c": "sha256:fffdf3f5ceaed732ec03113e282b2c896ba2ab451ab7351fe89eaf63d6f4404a",
"gen_hash_rust": "sha256:ac4374ff081bf86deb5b5e3e4eef6c47970e6ea70263a727a99aa160c217d5a5",
"gen_hash_verilog": "sha256:1dceca6c50f54d460e297132ce89ddbc21bccc97bf1c0cd8591b7f5d72c3d5cd",
"gen_hash_zig": "sha256:7fd4349f60cf1b68d05ca83c573d41a74d7f1ef7b918b49fcb5957347611a854",
"module": "port::security",
"ring": 12,
"seal_schema": 2,
"sealed_at": "2026-10-18T09:31:22Z",
"sealed_at": "2026-10-18T10:47:43Z",
"sealed_by": "t27c-bootstrap@0.5.2",
"spec_hash": "sha256:0b67848dfcb85a2c5c7f65c9c1f6c23d3b0958e45081c71f6a40618136c1e4db",
"spec_hash": "sha256:76ff11fbcb9c000c1ede6cde66418e3998940599f4b3b38b9c98f0a19063eb3e",
"spec_path": "specs/port/browseros/trios/agent-server/apps/server/src/api/utils/security.t27",
"tests": {
"failed": 0,
Expand Down
3 changes: 1 addition & 2 deletions docs/TYPE_CONFLICTS.md
Original file line number Diff line number Diff line change
Expand Up @@ -61,7 +61,7 @@ definition moves. `tri types classified` cross-checks the file against a live
Non-empty drift in either direction exits non-zero. A classification nobody
re-reads becomes a claim about a tree that no longer exists.

## DRIFT -- 61 names
## DRIFT -- 60 names

One concept, two definitions. These are the ones with a repair.

Expand All @@ -78,7 +78,6 @@ One concept, two definitions. These are the ones with a repair.
| `Graph` | 2 | 2 files | Have graph_bfs.t27 `use` tri::graph::graph and drop its local Graph; separately, teach the re... |
| `HttpRequest` | 2 | 2 files | Extract one http-types module (HttpMethod, HttpHeader/HttpHeaders, HttpStatus) and have both ... |
| `HttpResponse` | 3 | 3 files | Delete router.t27's stub and import server/http.t27's HttpResponse; then reconcile adapters.t... |
| `HttpStatus` | 2 | 2 files | Pick `[]const u8` and have server/http.t27 import tri::net::http::HttpStatus. This is the che... |
| `HybridBigInt` | 2 | 2 files | Highest-value fix in this slice. Choose one representation (the Option-cache + dirty version ... |
| `Hypervector` | 2 | 2 files | Qualify the type in the contract doc (`hybrid_arithmetic::HybridBigInt`) or regenerate that s... |
| `Issue` | 2 | 2 files | Have specs/port/scripts/tri-search.t27 use the github::issues Issue and add url there, or ren... |
Expand Down
1 change: 0 additions & 1 deletion docs/reports/type_conflicts.json
Original file line number Diff line number Diff line change
Expand Up @@ -26,7 +26,6 @@
"Graph",
"HttpRequest",
"HttpResponse",
"HttpStatus",
"HybridBigInt",
"Hypervector",
"Info",
Expand Down
13 changes: 1 addition & 12 deletions docs/reports/type_conflicts_classified.json
Original file line number Diff line number Diff line change
@@ -1,7 +1,7 @@
{
"note": "Classification of every conflicted type name reported by `tri types dup`. DRIFT = one concept that grew two definitions; DISTINCT = two concepts that collided on a name. Evidence is the reading that decided it. Regenerate the observation with `tri types dup`; cross-check this file against it with `tri types classified`.",
"verdicts": {
"DRIFT": 61,
"DRIFT": 60,
"DISTINCT": 47
},
"names": [
Expand Down Expand Up @@ -276,17 +276,6 @@
"confidence": "Certain. The `/// HTTP response (forward declaration)` comment states the author's intent to refer to an existing type, and the declaration contradicts it. Three specs in one application give one wire object three shapes, with the status code typed HttpStatus / u16 / i32.",
"suggested_action": "Delete router.t27's stub and import server/http.t27's HttpResponse; then reconcile adapters.t27 onto the same type. Whatever else changes, the status code should have one width."
},
{
"name": "HttpStatus",
"sites": [
"specs/server/http.t27:68",
"specs/tri/net/http.t27:17"
],
"verdict": "DRIFT",
"evidence": "THE NARROWEST CONFLICT IN THE CENSUS \u2014 one qualifier from IDENTICAL. http.t27:68 `pub const HttpStatus = struct { code : u16, reason : []u8, }`. tri/net/http.t27:17 `pub const HttpStatus = struct { code : u16, reason : []const u8, }`. Same two fields, same names, same order, same widths; the only difference in the entire declaration is `const` in the slice type of `reason`. I am NOT calling this a detector bug: `[]u8` and `[]const u8` are different types to a resolver (mutable vs immutable backing), so the tool is right to separate them \u2014 but a human reading the census should know this pair is a whitespace-width apart, not a design disagreement. Contexts differ: server/http.t27 is the application's HTTP server spec, tri/net/http.t27 is the stub-generated stdlib module (\"Standard HTTP status codes\", bodies are `// TODO: Implement from .tri spec`) whose `fn status_from_code(code: u16)` and `fn is_success(code: u16)` are exactly the helpers the server side would want.",
"confidence": "Certain about the shapes (quoted verbatim). Not certain which side was copied from which \u2014 both are the obvious {code, reason} pair, and either could have been written first.",
"suggested_action": "Pick `[]const u8` and have server/http.t27 import tri::net::http::HttpStatus. This is the cheapest conflict in the census to retire, and retiring it removes one 'unbounded' answer from the quantifier census for free."
},
{
"name": "HybridBigInt",
"sites": [
Expand Down
Loading
Loading