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 corpus/MANIFEST_INDEX.json
Original file line number Diff line number Diff line change
Expand Up @@ -5,26 +5,26 @@
"artifact_id": "g-2026-0001",
"bridge_sha256": "d07c7462aee22640661faed5262cf802ce0fcbc663f312961a39be92bf857050",
"manifest_path": "corpus/artifacts/g-2026-0001/manifest.json",
"manifest_sha256": "eb825f6d575254a56d657e064f1dc582b50c5dac04cba60719dc1ce90c5a0b1b",
"manifest_sha256": "898ee2fe249574b4279da37fcaa6edb6cc680eb57e43b18686706462cd22147f",
"prev_hash": null,
"source_sha256": "c805df445d613b408e37337765572021265e3f5dfdc7d1fa53b22ba1600b8014",
"verdict_hash_sha256": "dd2c30d0393e6772e67f3146c41d492229f470f1be6cb3784c9715f6223c3d88",
"verdict_hash_sha256": "ae4679f6044a4c3caa0b2f3a6030648bc633b1d878957a759120f011f71ded5e",
"verdict_status": "PASS"
},
{
"alias": "magnetar-2024-core-interior-slim",
"artifact_id": "g-2026-0002",
"bridge_sha256": "bfdf36ffb0bb768f3409d818403990e64d4c262c6780603be87f8077387ad86d",
"manifest_path": "corpus/artifacts/g-2026-0002/manifest.json",
"manifest_sha256": "365c02c11080003a7dc6872e6ed6e20e2c7d2cf971dc405dc88135a8e7e8f557",
"prev_hash": "0944bbea9b0f994469ba53db17ff78dc346464004a50e51af560844a1c6db827",
"manifest_sha256": "42bbeeaa0f0f7cf0fb9e6b8289b6910eedf9d49d4cbc38d7c894b3693c4dc1e7",
"prev_hash": "052f805331139ce12af539bc2537b44ff9428e436205ec5f93d131fd1f7d4c94",
"source_sha256": "c805df445d613b408e37337765572021265e3f5dfdc7d1fa53b22ba1600b8014",
"verdict_hash_sha256": "e535c522deb0e53def892f31914767f40c1b329f4ce0ae4e325d7a941b15828d",
"verdict_hash_sha256": "afa87bb0a4e35ea8e5fa9a1adb21b29f8a0ba532571c88fd00c14dabcd4c7145",
"verdict_status": "PASS"
}
],
"chain_algorithm": "sha256 over JCS-lite canonical entries (sorted keys, no whitespace, UTF-8)",
"chain_head": "79e22fd9c252bca9c3d87500e1418e63e27fcce001f0dc2eca84ebed48477989",
"chain_head": "42f52b37d53389f1a1e08a26e84cea209e64c9cd3544d94a6e83851dba0add53",
"schema_version": "1.0.0",
"signature": null,
"signing_status": "not implemented — SPEC.md §12.2 requires an Ed25519 signature over the chain head; no maintainer key is published yet, so this chain is tamper-evident but not cryptographically anchored"
Expand Down
52 changes: 38 additions & 14 deletions corpus/artifacts/g-2026-0001/manifest.json
Original file line number Diff line number Diff line change
Expand Up @@ -60,11 +60,13 @@
},
"counts": {
"walls": {
"status": "known",
"status": "decoder_baseline",
"expected": 0,
"source": "paired Revit IFC export",
"source_ifc_type": "IFCWALL",
"tolerance": 0
"tolerance": 0,
"tracking_issue": 211,
"notes": "The paired 20 KB element fixture carries none of this type; the same .rvt carries 360, scored against the full export in the sibling manifest magnetar-2024-core-interior-slim (#211). Recorded as a decoder baseline here so the reference side stays the element fixture and the count is not double-claimed."
},
"floors": {
"status": "known_gap",
Expand All @@ -84,18 +86,22 @@
"tolerance": 0
},
"doors": {
"status": "known",
"status": "decoder_baseline",
"expected": 0,
"source": "paired Revit IFC export",
"source_ifc_type": "IFCDOOR",
"tolerance": 0
"tolerance": 0,
"tracking_issue": 211,
"notes": "The paired 20 KB element fixture carries none of this type; the same .rvt carries 132, scored against the full export in the sibling manifest magnetar-2024-core-interior-slim (#211). Recorded as a decoder baseline here so the reference side stays the element fixture and the count is not double-claimed."
},
"windows": {
"status": "known",
"status": "decoder_baseline",
"expected": 0,
"source": "paired Revit IFC export",
"source_ifc_type": "IFCWINDOW",
"tolerance": 0
"tolerance": 0,
"tracking_issue": 211,
"notes": "The paired 20 KB element fixture carries none of this type; the same .rvt carries 6, scored against the full export in the sibling manifest magnetar-2024-core-interior-slim (#211). Recorded as a decoder baseline here so the reference side stays the element fixture and the count is not double-claimed."
},
"rooms_spaces": {
"status": "known_gap",
Expand All @@ -104,7 +110,7 @@
"source_ifc_type": "IFCSPACE",
"tolerance": 0,
"tracking_issue": 33,
"unsupported_feature": "typed_door_window_discrimination_and_host_binding",
"unsupported_feature": "partial_element_geometry",
"notes": "Strict partition space-name recovers emit IFCSPACE; paired IFC has 0 spaces."
},
"columns": {
Expand Down Expand Up @@ -154,33 +160,51 @@
"source_ifc_type": "IFCPROPERTYSET",
"tolerance": 0,
"tracking_issue": 35,
"unsupported_feature": "typed_door_window_discrimination_and_host_binding",
"notes": "Current decoder emits RvtFloorGeometry property sets for plan-loop slabs (boundary annotation) plus RvtColumnGeometry sets for the 256 recovered columns (#204); not a match for the paired IFC property-set inventory."
"unsupported_feature": "revit_element_parameters_to_ifc_property_sets",
"notes": "Current decoder emits RvtFloorGeometry property sets for plan-loop slabs (boundary annotation) plus 754 RvtElementRecordGeometry sets for the columns, walls, doors and windows recovered from partition element records (#204/#211); not a match for the paired IFC property-set inventory, and no set carries a Revit element parameter yet (#35)."
}
},
"semantic_surface": [
"entity_counts.IFCWALL",
"entity_counts.IFCROOF",
"entity_counts.IFCDOOR",
"entity_counts.IFCWINDOW",
"entity_counts.IFCBEAM",
"entity_counts.IFCFLOWTERMINAL",
"entity_counts.IFCUNITASSIGNMENT"
],
"excluded": [
{
"category": "walls",
"field": "entity_counts.IFCWALL",
"reason": "decoder_baseline",
"tracking_issue": 211,
"unsupported_feature": null
},
{
"category": "floors",
"field": "entity_counts.IFCSHADINGDEVICE",
"reason": "known_gap",
"tracking_issue": 31,
"unsupported_feature": "floor_slab_extrusion_thickness"
},
{
"category": "doors",
"field": "entity_counts.IFCDOOR",
"reason": "decoder_baseline",
"tracking_issue": 211,
"unsupported_feature": null
},
{
"category": "windows",
"field": "entity_counts.IFCWINDOW",
"reason": "decoder_baseline",
"tracking_issue": 211,
"unsupported_feature": null
},
{
"category": "rooms_spaces",
"field": "entity_counts.IFCSPACE",
"reason": "known_gap",
"tracking_issue": 33,
"unsupported_feature": "typed_door_window_discrimination_and_host_binding"
"unsupported_feature": "partial_element_geometry"
},
{
"category": "columns",
Expand All @@ -201,7 +225,7 @@
"field": "entity_counts.IFCPROPERTYSET",
"reason": "known_gap",
"tracking_issue": 35,
"unsupported_feature": "typed_door_window_discrimination_and_host_binding"
"unsupported_feature": "revit_element_parameters_to_ifc_property_sets"
}
],
"notes": "`counts` is the normative SPEC.md §6.1 block and is what the gate reads; `semantic_surface` and `excluded` are the declared result, and tools/verdict.py fails with MANIFEST_ERROR if they disagree with what `counts` implies — so an accidental status flip is loud rather than a silent surface change. Tracking issues 31/33/34/35 are rvt-rs issues (github.com/DrunkOnJava/rvt-rs). The rvt-rs project-count manifest's `levels` category is omitted here: its status is `decoder_baseline` and it carries no `source_ifc_type`, so it is a decoder regression baseline, not a cross-witness category. The `decoder_*` fields are omitted for the same reason. The bridge file is a 20 KB element-export fixture, not a full project schedule, so seven of the eight agreeing surface fields are zero counts. See PROVENANCE.md."
Expand Down
47 changes: 27 additions & 20 deletions corpus/artifacts/g-2026-0001/observations/rvt-rs.json
Original file line number Diff line number Diff line change
Expand Up @@ -5,51 +5,57 @@
"input_hash_sha256": "c805df445d613b408e37337765572021265e3f5dfdc7d1fa53b22ba1600b8014",
"input_role": "source",
"observation": {
"building_elements_with_geometry": 256,
"building_elements_with_geometry": 754,
"entity_counts": {
"IFCAPPLICATION": 1,
"IFCAXIS2PLACEMENT2D": 256,
"IFCAXIS2PLACEMENT3D": 257,
"IFCAXIS2PLACEMENT2D": 754,
"IFCAXIS2PLACEMENT3D": 755,
"IFCBUILDING": 1,
"IFCBUILDINGSTOREY": 11,
"IFCCARTESIANPOINT": 513,
"IFCCARTESIANPOINT": 1509,
"IFCCOLUMN": 256,
"IFCCONVERSIONBASEDUNIT": 4,
"IFCDIMENSIONALEXPONENTS": 4,
"IFCDIRECTION": 258,
"IFCEXTRUDEDAREASOLID": 256,
"IFCDIRECTION": 756,
"IFCDOOR": 132,
"IFCEXTRUDEDAREASOLID": 754,
"IFCGEOMETRICREPRESENTATIONCONTEXT": 1,
"IFCLOCALPLACEMENT": 351,
"IFCLOCALPLACEMENT": 849,
"IFCMATERIAL": 102,
"IFCMEASUREWITHUNIT": 4,
"IFCORGANIZATION": 1,
"IFCOWNERHISTORY": 1,
"IFCPERSON": 1,
"IFCPERSONANDORGANIZATION": 1,
"IFCPRODUCTDEFINITIONSHAPE": 256,
"IFCPRODUCTDEFINITIONSHAPE": 754,
"IFCPROJECT": 1,
"IFCPROPERTYSET": 320,
"IFCPROPERTYSINGLEVALUE": 1792,
"IFCRECTANGLEPROFILEDEF": 256,
"IFCPROPERTYSET": 818,
"IFCPROPERTYSINGLEVALUE": 4769,
"IFCRECTANGLEPROFILEDEF": 754,
"IFCRELAGGREGATES": 3,
"IFCRELCONTAINEDINSPATIALSTRUCTURE": 11,
"IFCRELDEFINESBYPROPERTIES": 320,
"IFCSHAPEREPRESENTATION": 256,
"IFCRELDEFINESBYPROPERTIES": 818,
"IFCSHAPEREPRESENTATION": 754,
"IFCSITE": 1,
"IFCSIUNIT": 6,
"IFCSLAB": 64,
"IFCSPACE": 18,
"IFCUNITASSIGNMENT": 1
"IFCUNITASSIGNMENT": 1,
"IFCWALL": 360,
"IFCWINDOW": 6
},
"exported_building_elements": {
"IFCCOLUMN": 256,
"IFCDOOR": 132,
"IFCSLAB": 64,
"IFCSPACE": 18
"IFCSPACE": 18,
"IFCWALL": 360,
"IFCWINDOW": 6
},
"material_count": 102,
"storey_count": 11
},
"observation_hash_sha256": "b1ae3c34ebf7b6261c11d65b67af240e1c398ac046f4e8838ca3a356080181d8",
"observation_hash_sha256": "d88897c6d9b8223350a831f4caf48d76d469a4d4f47815da56da6d34e9364fb7",
"schema_version": "1.0.0",
"semantic_surface_covered": [
"entity_counts"
Expand All @@ -58,15 +64,16 @@
"partial_element_geometry",
"revit_compound_assemblies_and_walltype_widths",
"floor_slab_extrusion_thickness",
"typed_door_window_discrimination_and_host_binding",
"door_window_host_wall_binding",
"opening_index_to_ifc_openingelement_host_join",
"schema_field_wall_instances"
"schema_field_wall_instances",
"revit_element_parameters_to_ifc_property_sets"
],
"warnings": [
"Unsupported or incomplete geometry was reported: unsupported_geometry_curve=18, unsupported_geometry_missing_level=18, unsupported_geometry_missing_dimensions=18, floor_boundary_annotation_only=64.",
"Unsupported or incomplete geometry was reported: unsupported_geometry_curve=18, unsupported_geometry_unresolved_host=138, unsupported_geometry_missing_level=29, unsupported_geometry_missing_dimensions=18, floor_boundary_annotation_only=64.",
"Unmapped Revit unit identifiers were preserved in diagnostics: autodesk.unit.unit:amperes-1.0.0, autodesk.unit.unit:britishThermalUnits-1.0.1, autodesk.unit.unit:britishThermalUnitsPerDegreeFahrenheit-1.0.1, autodesk.unit.unit:britishThermalUnitsPerHour-1.0.1, autodesk.unit.unit:britishThermalUnitsPerHourCubicFoot-1.0.1, autodesk.unit.unit:britishThermalUnitsPerHourFootDegreeFahrenheit-1.0.1, autodesk.unit.unit:britishThermalUnitsPerHourSquareFoot-1.0.1, autodesk.unit.unit:britishThermalUnitsPerHourSquareFootDegreeFahrenheit-1.0.1",
"11 building storey(s) lack a confident partition Level name and keep elevation fallback labels.",
"11 building storey elevation(s) were measured from partition element-record bounding boxes and 256 building element(s) bound to them by base elevation (#213); the 12 recovered Level name string(s) could not be paired with those elevations and are not asserted as storey names.",
"11 building storey elevation(s) were measured from partition element-record bounding boxes and 743 building element(s) bound to them by base elevation (#213); the 12 recovered Level name string(s) could not be paired with those elevations and are not asserted as storey names.",
"Suppressed 18 low-confidence schema scan candidates from default export.",
"Formats/Latest multipage integrity uncertain (checksum-page strip disabled; RVT_FORMATS_MULTIPAGE_UNVERIFIED)."
],
Expand Down
30 changes: 24 additions & 6 deletions corpus/artifacts/g-2026-0001/verdict.json
Original file line number Diff line number Diff line change
Expand Up @@ -2,19 +2,40 @@
"artifact_id": "magnetar-2024-core-interior",
"diffs": [],
"excluded": [
{
"category": "walls",
"field": "entity_counts.IFCWALL",
"reason": "decoder_baseline",
"tracking_issue": 211,
"unsupported_feature": null
},
{
"category": "floors",
"field": "entity_counts.IFCSHADINGDEVICE",
"reason": "known_gap",
"tracking_issue": 31,
"unsupported_feature": "floor_slab_extrusion_thickness"
},
{
"category": "doors",
"field": "entity_counts.IFCDOOR",
"reason": "decoder_baseline",
"tracking_issue": 211,
"unsupported_feature": null
},
{
"category": "windows",
"field": "entity_counts.IFCWINDOW",
"reason": "decoder_baseline",
"tracking_issue": 211,
"unsupported_feature": null
},
{
"category": "rooms_spaces",
"field": "entity_counts.IFCSPACE",
"reason": "known_gap",
"tracking_issue": 33,
"unsupported_feature": "typed_door_window_discrimination_and_host_binding"
"unsupported_feature": "partial_element_geometry"
},
{
"category": "columns",
Expand All @@ -35,7 +56,7 @@
"field": "entity_counts.IFCPROPERTYSET",
"reason": "known_gap",
"tracking_issue": 35,
"unsupported_feature": "typed_door_window_discrimination_and_host_binding"
"unsupported_feature": "revit_element_parameters_to_ifc_property_sets"
}
],
"independence": {
Expand Down Expand Up @@ -72,16 +93,13 @@
"insufficient_witnesses": false,
"schema_version": "1.0.0",
"semantic_surface": [
"entity_counts.IFCWALL",
"entity_counts.IFCROOF",
"entity_counts.IFCDOOR",
"entity_counts.IFCWINDOW",
"entity_counts.IFCBEAM",
"entity_counts.IFCFLOWTERMINAL",
"entity_counts.IFCUNITASSIGNMENT"
],
"status": "PASS",
"verdict_hash_sha256": "dd2c30d0393e6772e67f3146c41d492229f470f1be6cb3784c9715f6223c3d88",
"verdict_hash_sha256": "ae4679f6044a4c3caa0b2f3a6030648bc633b1d878957a759120f011f71ded5e",
"witnesses_compared": [
"ifc-lite",
"ifcopenshell",
Expand Down
Loading