{ "_meta": { "study": "solver-validation", "title": "Public Solver Validation Program: how ItemFits validates fit verdicts", "source": "https://itemfits.com/data/solver-validation", "permalink": "https://itemfits.com/data/solver-validation", "citation": "ItemFits Public Solver Validation Program. Expert-reviewed scenarios validated against frozen expected verdicts; public dataset and failure history.", "reuseTerms": "Free to reuse with attribution to ItemFits. Cite the source URL below.", "publisher": "ItemFits", "generatedAt": "2026-10-06T02:55:04.145Z", "corpus_hash": "sha256:c8daf6aa243a809ce3a67f2d116f7851d5464ea5d0d0c6becfe212587756d96c", "corpus_revision": 9, "solver_schema_version": 1 }, "cases": [ { "id": "opening-0001", "supersedes": null, "solver": "opening", "evidence_class": "expert_review", "inputs": { "item": { "w": 1524, "d": 2032, "h": 305, "unit": "mm" }, "space": { "w": 813, "h": 2032, "unit": "mm" }, "options": { "strictMode": true } }, "expected_verdict": "FITS", "verdict_granularity": "family", "reasoning": "Queen mattress (60x80x12in) through 32in door: on-edge 305mm clears the 813mm door with 508mm margin.", "created_at": "2026-06-23", "corpus_revision_added": 1 }, { "id": "opening-0002", "supersedes": null, "solver": "opening", "evidence_class": "direct_geometry", "inputs": { "item": { "w": 32, "d": 20, "h": 20, "unit": "in" }, "space": { "w": 813, "h": 2032, "unit": "mm" }, "options": { "strictMode": true } }, "expected_verdict": "FITS", "verdict_granularity": "family", "reasoning": "32x20x20in through 32in door: smallest cross-section 20in (508mm) through 813mm door = 305mm margin.", "created_at": "2026-06-23", "corpus_revision_added": 1 }, { "id": "opening-0003", "supersedes": null, "solver": "opening", "evidence_class": "expert_review", "inputs": { "item": { "w": 84, "d": 36, "h": 34, "unit": "in" }, "space": { "w": 36, "h": 80, "unit": "in" }, "options": { "strictMode": true } }, "expected_verdict": "FITS_TIGHT", "verdict_granularity": "family", "reasoning": "34in (864mm) through 36in (914mm) door on side = 50mm clearance, within the 13-50mm FITS_TIGHT tier.", "created_at": "2026-06-23", "corpus_revision_added": 1 }, { "id": "opening-0004", "supersedes": null, "solver": "opening", "evidence_class": "direct_geometry", "inputs": { "item": { "w": 39, "d": 75, "h": 10, "unit": "in" }, "space": { "w": 30, "h": 80, "unit": "in" }, "options": { "strictMode": true } }, "expected_verdict": "FITS", "verdict_granularity": "family", "reasoning": "Twin mattress 39x75x10in through 30in door on edge: 10in (254mm) through 762mm = 508mm clearance.", "created_at": "2026-06-23", "corpus_revision_added": 1 }, { "id": "opening-0005", "supersedes": null, "solver": "opening", "evidence_class": "direct_geometry", "inputs": { "item": { "w": 30, "d": 12, "h": 36, "unit": "in" }, "space": { "w": 813, "h": 2032, "unit": "mm" }, "options": { "strictMode": true } }, "expected_verdict": "FITS", "verdict_granularity": "family", "reasoning": "Small bookshelf 30x12x36in through standard 32in door: 12in side clears comfortably.", "created_at": "2026-06-23", "corpus_revision_added": 1 }, { "id": "opening-0006", "supersedes": null, "solver": "opening", "evidence_class": "direct_geometry", "inputs": { "item": { "w": 26, "d": 26, "h": 42, "unit": "in" }, "space": { "w": 813, "h": 2032, "unit": "mm" }, "options": { "strictMode": true } }, "expected_verdict": "FITS", "verdict_granularity": "family", "reasoning": "Office chair 26x26x42in: 26in (660mm) through 813mm door = 153mm margin.", "created_at": "2026-06-23", "corpus_revision_added": 1 }, { "id": "opening-0007", "supersedes": null, "solver": "opening", "evidence_class": "direct_geometry", "inputs": { "item": { "w": 24, "d": 16, "h": 26, "unit": "in" }, "space": { "w": 813, "h": 2032, "unit": "mm" }, "options": { "strictMode": true } }, "expected_verdict": "FITS", "verdict_granularity": "family", "reasoning": "Nightstand 24x16x26in: 16in side clears the 32in door with >300mm margin.", "created_at": "2026-06-23", "corpus_revision_added": 1 }, { "id": "opening-0008", "supersedes": null, "solver": "opening", "evidence_class": "direct_geometry", "inputs": { "item": { "w": 48, "d": 30, "h": 30, "unit": "in" }, "space": { "w": 914, "h": 2032, "unit": "mm" }, "options": { "strictMode": true } }, "expected_verdict": "FITS", "verdict_granularity": "family", "reasoning": "Kitchen table 48x30x30in through 36in wide door: 30in (762mm) through 914mm.", "created_at": "2026-06-23", "corpus_revision_added": 1 }, { "id": "opening-0009", "supersedes": null, "solver": "opening", "evidence_class": "direct_geometry", "inputs": { "item": { "w": 60, "d": 18, "h": 34, "unit": "in" }, "space": { "w": 36, "h": 80, "unit": "in" }, "options": { "strictMode": true } }, "expected_verdict": "FITS", "verdict_granularity": "family", "reasoning": "Dresser 60x18x34in: 18in (457mm) side through 914mm door = 457mm margin.", "created_at": "2026-06-23", "corpus_revision_added": 1 }, { "id": "opening-0010", "supersedes": null, "solver": "opening", "evidence_class": "edge_case", "inputs": { "item": { "w": 76, "d": 80, "h": 12, "unit": "in" }, "space": { "w": 36, "h": 80, "unit": "in" }, "options": { "strictMode": true } }, "expected_verdict": "FITS", "verdict_granularity": "family", "reasoning": "King mattress 76x80x12in through 36in door on edge; the source fixture asserts FITS or FITS_TIGHT (height-limited). Frozen to the live representative at family granularity.", "created_at": "2026-06-23", "corpus_revision_added": 1 }, { "id": "opening-0011", "supersedes": null, "solver": "opening", "evidence_class": "direct_geometry", "inputs": { "item": { "w": 40, "d": 40, "h": 40, "unit": "in" }, "space": { "w": 813, "h": 2032, "unit": "mm" }, "options": { "strictMode": true } }, "expected_verdict": "DOESNT_FIT", "verdict_granularity": "family", "reasoning": "40in cube: smallest dimension 40in (1016mm) exceeds the 813mm door in every orientation.", "created_at": "2026-06-23", "corpus_revision_added": 1 }, { "id": "opening-0012", "supersedes": null, "solver": "opening", "evidence_class": "direct_geometry", "inputs": { "item": { "w": 84, "d": 36, "h": 36, "unit": "in" }, "space": { "w": 28, "h": 80, "unit": "in" }, "options": { "strictMode": true } }, "expected_verdict": "DOESNT_FIT", "verdict_granularity": "family", "reasoning": "84x36x36in sectional through 28in door: min cross-section 36in (914mm) > 711mm.", "created_at": "2026-06-23", "corpus_revision_added": 1 }, { "id": "opening-0013", "supersedes": null, "solver": "opening", "evidence_class": "direct_geometry", "inputs": { "item": { "w": 50, "d": 50, "h": 50, "unit": "in" }, "space": { "w": 36, "h": 80, "unit": "in" }, "options": { "strictMode": true } }, "expected_verdict": "DOESNT_FIT", "verdict_granularity": "family", "reasoning": "50in cube exceeds the 36in (914mm) door in all orientations.", "created_at": "2026-06-23", "corpus_revision_added": 1 }, { "id": "opening-0014", "supersedes": null, "solver": "opening", "evidence_class": "expert_review", "inputs": { "item": { "w": 60, "d": 58, "h": 40, "unit": "in" }, "space": { "w": 813, "h": 2032, "unit": "mm" }, "options": { "strictMode": true } }, "expected_verdict": "DOESNT_FIT", "verdict_granularity": "family", "reasoning": "Grand piano ~60x58x40in: smallest dim 40in (1016mm) > 813mm door.", "created_at": "2026-06-23", "corpus_revision_added": 1 }, { "id": "opening-0015", "supersedes": null, "solver": "opening", "evidence_class": "direct_geometry", "inputs": { "item": { "w": 120, "d": 40, "h": 38, "unit": "in" }, "space": { "w": 28, "h": 80, "unit": "in" }, "options": { "strictMode": true } }, "expected_verdict": "DOESNT_FIT", "verdict_granularity": "family", "reasoning": "L-sectional 120x40x38in: smallest dim 38in (965mm) > 711mm door.", "created_at": "2026-06-23", "corpus_revision_added": 1 }, { "id": "opening-0016", "supersedes": null, "solver": "opening", "evidence_class": "direct_geometry", "inputs": { "item": { "w": 813, "d": 813, "h": 813, "unit": "mm" }, "space": { "w": 813, "h": 2032, "unit": "mm" }, "options": { "strictMode": true } }, "expected_verdict": "FITS_VERY_TIGHT", "verdict_granularity": "exact", "reasoning": "0mm margin (813 through 813) falls in the <13mm FITS_VERY_TIGHT tier.", "created_at": "2026-06-23", "corpus_revision_added": 1 }, { "id": "opening-0017", "supersedes": null, "solver": "opening", "evidence_class": "direct_geometry", "inputs": { "item": { "w": 801, "d": 801, "h": 801, "unit": "mm" }, "space": { "w": 813, "h": 2032, "unit": "mm" }, "options": { "strictMode": true } }, "expected_verdict": "FITS_VERY_TIGHT", "verdict_granularity": "exact", "reasoning": "12mm margin (<13mm) is FITS_VERY_TIGHT.", "created_at": "2026-06-23", "corpus_revision_added": 1 }, { "id": "opening-0018", "supersedes": null, "solver": "opening", "evidence_class": "direct_geometry", "inputs": { "item": { "w": 789, "d": 789, "h": 789, "unit": "mm" }, "space": { "w": 813, "h": 2032, "unit": "mm" }, "options": { "strictMode": true } }, "expected_verdict": "FITS_TIGHT", "verdict_granularity": "exact", "reasoning": "24mm margin is in the 13-50mm FITS_TIGHT band.", "created_at": "2026-06-23", "corpus_revision_added": 1 }, { "id": "opening-0019", "supersedes": null, "solver": "opening", "evidence_class": "direct_geometry", "inputs": { "item": { "w": 762, "d": 762, "h": 762, "unit": "mm" }, "space": { "w": 813, "h": 2032, "unit": "mm" }, "options": { "strictMode": true } }, "expected_verdict": "FITS", "verdict_granularity": "exact", "reasoning": "51mm margin is at/above the FITS threshold.", "created_at": "2026-06-23", "corpus_revision_added": 1 }, { "id": "opening-0020", "supersedes": null, "solver": "opening", "evidence_class": "direct_geometry", "inputs": { "item": { "w": 713, "d": 713, "h": 713, "unit": "mm" }, "space": { "w": 813, "h": 2032, "unit": "mm" }, "options": { "strictMode": true } }, "expected_verdict": "FITS", "verdict_granularity": "exact", "reasoning": "100mm margin is comfortably FITS.", "created_at": "2026-06-23", "corpus_revision_added": 1 }, { "id": "opening-0021", "supersedes": null, "solver": "opening", "evidence_class": "direct_geometry", "inputs": { "item": { "w": 814, "d": 814, "h": 814, "unit": "mm" }, "space": { "w": 813, "h": 2032, "unit": "mm" }, "options": { "strictMode": true } }, "expected_verdict": "DOESNT_FIT", "verdict_granularity": "exact", "reasoning": "-1mm margin (814 through 813) is DOESNT_FIT.", "created_at": "2026-06-23", "corpus_revision_added": 1 }, { "id": "opening-0022", "supersedes": null, "solver": "opening", "evidence_class": "direct_geometry", "inputs": { "item": { "w": 812, "d": 812, "h": 812, "unit": "mm" }, "space": { "w": 813, "h": 2032, "unit": "mm" }, "options": { "strictMode": true } }, "expected_verdict": "FITS_VERY_TIGHT", "verdict_granularity": "exact", "reasoning": "1mm margin (<13mm) is FITS_VERY_TIGHT.", "created_at": "2026-06-23", "corpus_revision_added": 1 }, { "id": "opening-0023", "supersedes": null, "solver": "opening", "evidence_class": "direct_geometry", "inputs": { "item": { "w": 60, "d": 80, "h": 6, "unit": "in" }, "space": { "w": 28, "h": 80, "unit": "in" }, "options": { "strictMode": true } }, "expected_verdict": "FITS", "verdict_granularity": "family", "reasoning": "Very flat 6in item through 28in door: 6in (152mm) through 711mm = 559mm clearance.", "created_at": "2026-06-23", "corpus_revision_added": 1 }, { "id": "opening-0024", "supersedes": null, "solver": "opening", "evidence_class": "direct_geometry", "inputs": { "item": { "w": 120, "d": 2, "h": 2, "unit": "in" }, "space": { "w": 813, "h": 2032, "unit": "mm" }, "options": { "strictMode": true } }, "expected_verdict": "FITS", "verdict_granularity": "family", "reasoning": "Curtain-rod-like 2in pole: 2in (51mm) through 813mm door = 762mm clearance.", "created_at": "2026-06-23", "corpus_revision_added": 1 }, { "id": "opening-0025", "supersedes": null, "solver": "opening", "evidence_class": "direct_geometry", "inputs": { "item": { "w": 30, "d": 30, "h": 30, "unit": "in" }, "space": { "w": 813, "h": 2032, "unit": "mm" }, "options": { "strictMode": true } }, "expected_verdict": "FITS", "verdict_granularity": "exact", "reasoning": "30in cube through 32in door: 762mm through 813mm = 51mm margin = FITS.", "created_at": "2026-06-23", "corpus_revision_added": 1 }, { "id": "opening-0026", "supersedes": null, "solver": "opening", "evidence_class": "direct_geometry", "inputs": { "item": { "w": 36, "d": 36, "h": 36, "unit": "in" }, "space": { "w": 813, "h": 2032, "unit": "mm" }, "options": { "strictMode": true } }, "expected_verdict": "DOESNT_FIT", "verdict_granularity": "family", "reasoning": "36in cube (914mm) exceeds the 813mm door in all orientations.", "created_at": "2026-06-23", "corpus_revision_added": 1 }, { "id": "opening-0027", "supersedes": null, "solver": "opening", "evidence_class": "direct_geometry", "inputs": { "item": { "w": 32, "d": 32, "h": 24, "unit": "in" }, "space": { "w": 813, "h": 2032, "unit": "mm" }, "options": { "strictMode": true } }, "expected_verdict": "FITS", "verdict_granularity": "family", "reasoning": "32x32x24in: 24in (610mm) through 813mm door = 203mm margin.", "created_at": "2026-06-23", "corpus_revision_added": 1 }, { "id": "opening-0028", "supersedes": null, "solver": "opening", "evidence_class": "direct_geometry", "inputs": { "item": { "w": 6, "d": 6, "h": 6, "unit": "in" }, "space": { "w": 813, "h": 2032, "unit": "mm" }, "options": { "strictMode": true } }, "expected_verdict": "FITS", "verdict_granularity": "family", "reasoning": "6in box through 32in door: >600mm clearance.", "created_at": "2026-06-23", "corpus_revision_added": 1 }, { "id": "opening-0029", "supersedes": null, "solver": "opening", "evidence_class": "regression_case", "inputs": { "item": { "w": 72, "d": 36, "h": 24, "unit": "in" }, "space": { "w": 813, "h": 2032, "unit": "mm" }, "options": { "strictMode": true } }, "expected_verdict": "FITS", "verdict_granularity": "family", "reasoning": "Orientation regression: 72x36x24in finds the 24in (610mm) cross-section through the 813mm door.", "created_at": "2026-06-23", "corpus_revision_added": 1 }, { "id": "opening-0030", "supersedes": null, "solver": "opening", "evidence_class": "regression_case", "inputs": { "item": { "w": 1524, "d": 2032, "h": 305, "unit": "mm" }, "space": { "w": 36, "h": 80, "unit": "in" }, "options": { "strictMode": true } }, "expected_verdict": "FITS", "verdict_granularity": "family", "reasoning": "Mattress 60x80x12in flat-vs-edge regression through 36in door: 508mm margin on edge.", "created_at": "2026-06-23", "corpus_revision_added": 1 }, { "id": "opening-0031", "supersedes": null, "solver": "opening", "evidence_class": "direct_geometry", "inputs": { "item": { "w": 900, "d": 900, "h": 900, "unit": "mm" }, "space": { "w": 813, "h": 2032, "unit": "mm" }, "options": { "strictMode": true } }, "expected_verdict": "DOESNT_FIT", "verdict_granularity": "family", "reasoning": "900mm cube > 813mm door: negative margin always DOESNT_FIT.", "created_at": "2026-06-23", "corpus_revision_added": 1 }, { "id": "opening-0032", "supersedes": null, "solver": "opening", "evidence_class": "direct_geometry", "inputs": { "item": { "w": 1100, "d": 1100, "h": 1100, "unit": "mm" }, "space": { "w": 813, "h": 2032, "unit": "mm" }, "options": { "strictMode": true } }, "expected_verdict": "DOESNT_FIT", "verdict_granularity": "family", "reasoning": "1100mm cube > 813mm door.", "created_at": "2026-06-23", "corpus_revision_added": 1 }, { "id": "opening-0033", "supersedes": null, "solver": "opening", "evidence_class": "direct_geometry", "inputs": { "item": { "w": 2000, "d": 2000, "h": 2000, "unit": "mm" }, "space": { "w": 813, "h": 2032, "unit": "mm" }, "options": { "strictMode": true } }, "expected_verdict": "DOESNT_FIT", "verdict_granularity": "family", "reasoning": "2000mm cube > 813mm door.", "created_at": "2026-06-23", "corpus_revision_added": 1 }, { "id": "opening-0034", "supersedes": null, "solver": "opening", "evidence_class": "direct_geometry", "inputs": { "item": { "w": 500, "d": 500, "h": 500, "unit": "mm" }, "space": { "w": 813, "h": 2032, "unit": "mm" }, "options": { "strictMode": true } }, "expected_verdict": "FITS", "verdict_granularity": "family", "reasoning": "500mm cube through 813mm door: comfortable positive margin = FITS.", "created_at": "2026-06-23", "corpus_revision_added": 1 }, { "id": "opening-0035", "supersedes": null, "solver": "opening", "evidence_class": "direct_geometry", "inputs": { "item": { "w": 400, "d": 400, "h": 400, "unit": "mm" }, "space": { "w": 813, "h": 2032, "unit": "mm" }, "options": { "strictMode": true } }, "expected_verdict": "FITS", "verdict_granularity": "family", "reasoning": "400mm cube through 813mm door = FITS.", "created_at": "2026-06-23", "corpus_revision_added": 1 }, { "id": "opening-0036", "supersedes": null, "solver": "opening", "evidence_class": "direct_geometry", "inputs": { "item": { "w": 300, "d": 300, "h": 300, "unit": "mm" }, "space": { "w": 813, "h": 2032, "unit": "mm" }, "options": { "strictMode": true } }, "expected_verdict": "FITS", "verdict_granularity": "family", "reasoning": "300mm cube through 813mm door = FITS.", "created_at": "2026-06-23", "corpus_revision_added": 1 }, { "id": "hallway-0001", "supersedes": null, "solver": "hallway", "evidence_class": "expert_review", "inputs": { "item": { "w": 84, "d": 36, "h": 34, "unit": "in" }, "space": { "w": 36, "unit": "in" }, "options": { "strictMode": true } }, "expected_verdict": "FITS_TIGHT", "verdict_granularity": "family", "reasoning": "84x36x34in couch through 36in hallway: 34in (864mm) through 914mm = 50mm = FITS_TIGHT.", "created_at": "2026-06-23", "corpus_revision_added": 1 }, { "id": "hallway-0002", "supersedes": null, "solver": "hallway", "evidence_class": "direct_geometry", "inputs": { "item": { "w": 18, "d": 18, "h": 18, "unit": "in" }, "space": { "w": 914, "h": 2440, "unit": "mm" }, "options": {} }, "expected_verdict": "FITS", "verdict_granularity": "family", "reasoning": "18in box through standard 36in hallway: >400mm clearance.", "created_at": "2026-06-23", "corpus_revision_added": 1 }, { "id": "hallway-0003", "supersedes": null, "solver": "hallway", "evidence_class": "direct_geometry", "inputs": { "item": { "w": 36, "d": 12, "h": 72, "unit": "in" }, "space": { "w": 42, "unit": "in" }, "options": {} }, "expected_verdict": "FITS", "verdict_granularity": "family", "reasoning": "Bookshelf 36x12x72in through 42in hallway: 12in side faces hallway width.", "created_at": "2026-06-23", "corpus_revision_added": 1 }, { "id": "hallway-0004", "supersedes": null, "solver": "hallway", "evidence_class": "direct_geometry", "inputs": { "item": { "w": 27, "d": 28, "h": 36, "unit": "in" }, "space": { "w": 36, "unit": "in" }, "options": {} }, "expected_verdict": "FITS", "verdict_granularity": "family", "reasoning": "Washer 27x28x36in through 36in hallway: 27in (686mm) through 914mm.", "created_at": "2026-06-23", "corpus_revision_added": 1 }, { "id": "hallway-0005", "supersedes": null, "solver": "hallway", "evidence_class": "direct_geometry", "inputs": { "item": { "w": 20, "d": 22, "h": 36, "unit": "in" }, "space": { "w": 32, "unit": "in" }, "options": {} }, "expected_verdict": "FITS", "verdict_granularity": "family", "reasoning": "Dining chair 20x22x36in through 32in hallway: >200mm margin.", "created_at": "2026-06-23", "corpus_revision_added": 1 }, { "id": "hallway-0006", "supersedes": null, "solver": "hallway", "evidence_class": "direct_geometry", "inputs": { "item": { "w": 100, "d": 100, "h": 100, "unit": "in" }, "space": { "w": 36, "unit": "in" }, "options": {} }, "expected_verdict": "DOESNT_FIT", "verdict_granularity": "family", "reasoning": "100in cube cannot pass a 36in hallway.", "created_at": "2026-06-23", "corpus_revision_added": 1 }, { "id": "hallway-0007", "supersedes": null, "solver": "hallway", "evidence_class": "direct_geometry", "inputs": { "item": { "w": 48, "d": 48, "h": 36, "unit": "in" }, "space": { "w": 32, "unit": "in" }, "options": { "strictMode": true } }, "expected_verdict": "DOESNT_FIT", "verdict_granularity": "family", "reasoning": "48x48x36in: smallest dim 36in (914mm) > 32in (813mm) hallway.", "created_at": "2026-06-23", "corpus_revision_added": 1 }, { "id": "hallway-0008", "supersedes": null, "solver": "hallway", "evidence_class": "direct_geometry", "inputs": { "item": { "w": 40, "d": 30, "h": 72, "unit": "in" }, "space": { "w": 28, "unit": "in" }, "options": { "strictMode": true } }, "expected_verdict": "DOESNT_FIT", "verdict_granularity": "family", "reasoning": "40x30x72in: smallest cross-section 30in (762mm) > 28in (711mm) hallway.", "created_at": "2026-06-23", "corpus_revision_added": 1 }, { "id": "hallway-0009", "supersedes": null, "solver": "hallway", "evidence_class": "direct_geometry", "inputs": { "item": { "w": 96, "d": 42, "h": 36, "unit": "in" }, "space": { "w": 34, "unit": "in" }, "options": { "strictMode": true } }, "expected_verdict": "DOESNT_FIT", "verdict_granularity": "family", "reasoning": "Oversized couch 96x42x36in through 34in hallway: 36in (914mm) > 864mm.", "created_at": "2026-06-23", "corpus_revision_added": 1 }, { "id": "hallway-0010", "supersedes": null, "solver": "hallway", "evidence_class": "direct_geometry", "inputs": { "item": { "w": 914, "d": 2000, "h": 1500, "unit": "mm" }, "space": { "w": 914, "unit": "mm" }, "options": { "strictMode": true } }, "expected_verdict": "FITS_VERY_TIGHT", "verdict_granularity": "exact", "reasoning": "0mm margin (914 through 914 hallway) is FITS_VERY_TIGHT.", "created_at": "2026-06-23", "corpus_revision_added": 1 }, { "id": "hallway-0011", "supersedes": null, "solver": "hallway", "evidence_class": "historical_bug", "inputs": { "item": { "w": 72, "d": 72, "h": 36, "unit": "in" }, "space": { "w": 36, "unit": "in" }, "options": { "strictMode": true } }, "expected_verdict": "FITS_VERY_TIGHT", "verdict_granularity": "exact", "reasoning": "Founding failure case: 6ft x 6ft x 3ft box through 36in hallway. 3ft (914mm) through 914mm = 0mm margin = FITS_VERY_TIGHT.", "created_at": "2026-06-23", "corpus_revision_added": 1 }, { "id": "container-0001", "supersedes": null, "solver": "container", "evidence_class": "direct_geometry", "inputs": { "item": { "w": 305, "d": 305, "h": 305, "unit": "mm" }, "space": { "w": 610, "d": 610, "h": 610, "unit": "mm" }, "options": {} }, "expected_verdict": "FITS", "verdict_granularity": "family", "reasoning": "12in box in a 24in container with comfortable margin.", "created_at": "2026-06-23", "corpus_revision_added": 1 }, { "id": "container-0002", "supersedes": null, "solver": "container", "evidence_class": "direct_geometry", "inputs": { "item": { "w": 762, "d": 762, "h": 762, "unit": "mm" }, "space": { "w": 508, "d": 508, "h": 508, "unit": "mm" }, "options": {} }, "expected_verdict": "DOESNT_FIT", "verdict_granularity": "family", "reasoning": "30in cube cannot fit a 20in container in any orientation.", "created_at": "2026-06-23", "corpus_revision_added": 1 }, { "id": "room-0001", "supersedes": null, "solver": "room", "evidence_class": "direct_geometry", "inputs": { "item": { "w": 1219, "d": 762, "h": 762, "unit": "mm" }, "space": { "w": 3658, "d": 3048, "h": 2438, "unit": "mm" }, "options": {} }, "expected_verdict": "FITS", "verdict_granularity": "family", "reasoning": "Small table (48x30x30in) in a 12x10x8ft room: fits with positive walkway margin.", "created_at": "2026-06-23", "corpus_revision_added": 1 }, { "id": "room-0002", "supersedes": null, "solver": "room", "evidence_class": "direct_geometry", "inputs": { "item": { "w": 2134, "d": 914, "h": 864, "unit": "mm" }, "space": { "w": 4572, "d": 3658, "h": 2438, "unit": "mm" }, "options": {} }, "expected_verdict": "FITS", "verdict_granularity": "family", "reasoning": "Couch (84x36x34in) in a 15x12x8ft living room: fits.", "created_at": "2026-06-23", "corpus_revision_added": 1 }, { "id": "elevator-0001", "supersedes": null, "solver": "elevator", "evidence_class": "expert_review", "inputs": { "item": { "w": 610, "d": 610, "h": 1219, "unit": "mm" }, "space": { "cab": { "w": 2032, "d": 1524, "h": 2438 }, "door": { "w": 1067, "h": 2134 }, "unit": "mm" }, "options": {} }, "expected_verdict": "FITS", "verdict_granularity": "family", "reasoning": "24x24x48in item in a standard passenger elevator: clears the 42in door and seats in the cab.", "created_at": "2026-06-23", "corpus_revision_added": 1 }, { "id": "turn-0001", "supersedes": null, "solver": "turn", "evidence_class": "edge_case", "inputs": { "item": { "w": 610, "d": 305, "h": 305, "unit": "mm" }, "space": { "w": 914, "width_after": 914, "turn_angle": 90, "unit": "mm" }, "options": {} }, "expected_verdict": "FITS", "verdict_granularity": "family", "reasoning": "Small 24x12x12in box around a 90-degree 36in corner; the source fixture asserts not-DOESNT_FIT. Frozen to the live representative at family granularity.", "created_at": "2026-06-23", "corpus_revision_added": 1 }, { "id": "opening-0037", "supersedes": null, "solver": "opening", "evidence_class": "regression_case", "inputs": { "item": { "w": 90, "d": 36, "h": 34, "unit": "in" }, "space": { "w": 32, "h": 80, "unit": "in" }, "options": {} }, "expected_verdict": "DOESNT_FIT", "verdict_granularity": "family", "reasoning": "Replay rc-001: \"90in wide 36in deep 34in tall couch through a 32in door\" -> too wide in any orientation.", "created_at": "2026-06-23", "corpus_revision_added": 1 }, { "id": "hallway-0012", "supersedes": null, "solver": "hallway", "evidence_class": "regression_case", "inputs": { "item": { "w": 60, "d": 18, "h": 30, "unit": "in" }, "space": { "w": 36, "unit": "in" }, "options": {} }, "expected_verdict": "FITS", "verdict_granularity": "family", "reasoning": "Replay rc-004: \"60in wide 18in deep 30in tall dresser through a 36in hallway\" -> rotated fits.", "created_at": "2026-06-23", "corpus_revision_added": 1 }, { "id": "opening-0038", "supersedes": null, "solver": "opening", "evidence_class": "regression_case", "inputs": { "item": { "w": 57, "d": 4, "h": 33, "unit": "in" }, "space": { "w": 32, "h": 80, "unit": "in" }, "options": {} }, "expected_verdict": "FITS", "verdict_granularity": "family", "reasoning": "Replay rc-005: \"57in wide 33in tall 4in deep TV through a 32in door\" -> thin profile fits.", "created_at": "2026-06-23", "corpus_revision_added": 1 }, { "id": "opening-0039", "supersedes": null, "solver": "opening", "evidence_class": "regression_case", "inputs": { "item": { "w": 27, "d": 31, "h": 38, "unit": "in" }, "space": { "w": 32, "h": 80, "unit": "in" }, "options": {} }, "expected_verdict": "FITS", "verdict_granularity": "family", "reasoning": "Replay rc-006: \"27in wide 38in tall 31in deep washer through a 32in door\" -> fits with clearance.", "created_at": "2026-06-23", "corpus_revision_added": 1 }, { "id": "opening-0040", "supersedes": null, "solver": "opening", "evidence_class": "regression_case", "inputs": { "item": { "w": 36, "d": 12, "h": 72, "unit": "in" }, "space": { "w": 32, "h": 80, "unit": "in" }, "options": {} }, "expected_verdict": "FITS", "verdict_granularity": "family", "reasoning": "Replay rc-007: \"36in wide 12in deep 72in tall bookshelf through a 32in doorway\" -> fits on side.", "created_at": "2026-06-23", "corpus_revision_added": 1 }, { "id": "opening-0041", "supersedes": null, "solver": "opening", "evidence_class": "regression_case", "inputs": { "item": { "w": 96, "d": 48, "h": 40, "unit": "in" }, "space": { "w": 30, "h": 80, "unit": "in" }, "options": {} }, "expected_verdict": "DOESNT_FIT", "verdict_granularity": "family", "reasoning": "Replay rc-008: \"96in wide 48in deep 40in tall sectional through a 30in door\" -> obvious impossibility.", "created_at": "2026-06-23", "corpus_revision_added": 1 }, { "id": "opening-0042", "supersedes": null, "solver": "opening", "evidence_class": "regression_case", "inputs": { "item": { "w": 31, "d": 20, "h": 40, "unit": "in" }, "space": { "w": 32, "h": 80, "unit": "in" }, "options": {} }, "expected_verdict": "FITS", "verdict_granularity": "family", "reasoning": "Replay rc-010: \"31in wide 20in deep 40in tall table through a 32in door\" -> tight but fits.", "created_at": "2026-06-23", "corpus_revision_added": 1 }, { "id": "container-0003", "supersedes": null, "solver": "container", "evidence_class": "direct_geometry", "inputs": { "item": { "w": 200, "d": 200, "h": 200, "unit": "mm" }, "space": { "w": 400, "d": 400, "h": 400, "unit": "mm" }, "options": {} }, "expected_verdict": "FITS", "verdict_granularity": "family", "reasoning": "200mm cube in a 400mm cube container: 200mm clearance on every axis, comfortably FITS.", "created_at": "2026-06-26", "corpus_revision_added": 2 }, { "id": "container-0004", "supersedes": null, "solver": "container", "evidence_class": "direct_geometry", "inputs": { "item": { "w": 500, "d": 100, "h": 100, "unit": "mm" }, "space": { "w": 600, "d": 200, "h": 200, "unit": "mm" }, "options": {} }, "expected_verdict": "FITS", "verdict_granularity": "family", "reasoning": "Orientation exercise: a 500x100x100mm bar seats only when its 500mm length aligns to the 600mm container length; the 100mm cross-section clears the 200mm faces with 100mm margin.", "created_at": "2026-06-26", "corpus_revision_added": 2 }, { "id": "container-0005", "supersedes": null, "solver": "container", "evidence_class": "direct_geometry", "inputs": { "item": { "w": 600, "d": 600, "h": 600, "unit": "mm" }, "space": { "w": 500, "d": 500, "h": 500, "unit": "mm" }, "options": {} }, "expected_verdict": "DOESNT_FIT", "verdict_granularity": "family", "reasoning": "Smallest item dimension (600mm) exceeds the largest container dimension (500mm) — impossible in every orientation.", "created_at": "2026-06-26", "corpus_revision_added": 2 }, { "id": "container-0006", "supersedes": null, "solver": "container", "evidence_class": "direct_geometry", "inputs": { "item": { "w": 300, "d": 300, "h": 700, "unit": "mm" }, "space": { "w": 600, "d": 600, "h": 600, "unit": "mm" }, "options": {} }, "expected_verdict": "DOESNT_FIT", "verdict_granularity": "family", "reasoning": "The 700mm axis exceeds the 600mm container on every face; no orientation seats it even though the 300mm axes would clear.", "created_at": "2026-06-26", "corpus_revision_added": 2 }, { "id": "container-0007", "supersedes": null, "solver": "container", "evidence_class": "direct_geometry", "inputs": { "item": { "w": 150, "d": 150, "h": 150, "unit": "mm" }, "space": { "w": 1000, "d": 500, "h": 400, "unit": "mm" }, "options": {} }, "expected_verdict": "FITS", "verdict_granularity": "family", "reasoning": "Small 150mm cube in a 1000x500x400mm bin: hundreds of mm of clearance on every axis.", "created_at": "2026-06-26", "corpus_revision_added": 2 }, { "id": "container-0008", "supersedes": null, "solver": "container", "evidence_class": "direct_geometry", "inputs": { "item": { "w": 700, "d": 500, "h": 50, "unit": "mm" }, "space": { "w": 800, "d": 600, "h": 200, "unit": "mm" }, "options": {} }, "expected_verdict": "FITS", "verdict_granularity": "family", "reasoning": "Flat tray 700x500x50mm in an 800x600x200mm box: 100mm on the floor axes, 150mm of height headroom.", "created_at": "2026-06-26", "corpus_revision_added": 2 }, { "id": "room-0003", "supersedes": null, "solver": "room", "evidence_class": "direct_geometry", "inputs": { "item": { "w": 600, "d": 600, "h": 400, "unit": "mm" }, "space": { "w": 5000, "d": 4000, "h": 2600, "unit": "mm" }, "options": {} }, "expected_verdict": "FITS", "verdict_granularity": "family", "reasoning": "Small 600x600mm cabinet in a 5x4m room: walkways of 1.7m+ on every accessible side — comfortably FITS.", "created_at": "2026-06-26", "corpus_revision_added": 2 }, { "id": "room-0004", "supersedes": null, "solver": "room", "evidence_class": "direct_geometry", "inputs": { "item": { "w": 1000, "d": 1000, "h": 2800, "unit": "mm" }, "space": { "w": 4000, "d": 4000, "h": 2400, "unit": "mm" }, "options": {} }, "expected_verdict": "DOESNT_FIT", "verdict_granularity": "family", "reasoning": "Ceiling fail: item height 2800mm exceeds the 2400mm room height. Floor area is irrelevant once the ceiling blocks it.", "created_at": "2026-06-26", "corpus_revision_added": 2 }, { "id": "room-0005", "supersedes": null, "solver": "room", "evidence_class": "direct_geometry", "inputs": { "item": { "w": 5000, "d": 4000, "h": 500, "unit": "mm" }, "space": { "w": 3000, "d": 3000, "h": 2600, "unit": "mm" }, "options": {} }, "expected_verdict": "DOESNT_FIT", "verdict_granularity": "family", "reasoning": "Floor-area fail: a 5x4m footprint exceeds a 3x3m room in both orientations — no placement exists.", "created_at": "2026-06-26", "corpus_revision_added": 2 }, { "id": "room-0006", "supersedes": null, "solver": "room", "evidence_class": "direct_geometry", "inputs": { "item": { "w": 1800, "d": 900, "h": 750, "unit": "mm" }, "space": { "w": 6000, "d": 4500, "h": 2600, "unit": "mm" }, "options": {} }, "expected_verdict": "FITS", "verdict_granularity": "family", "reasoning": "Sofa-scale 1800x900mm item in a 6x4.5m living room: ~1.8m+ walkways on the accessible sides — comfortably FITS.", "created_at": "2026-06-26", "corpus_revision_added": 2 }, { "id": "room-0007", "supersedes": null, "solver": "room", "evidence_class": "direct_geometry", "inputs": { "item": { "w": 1000, "d": 500, "h": 500, "unit": "mm" }, "space": { "w": 6000, "d": 5000, "h": 2600, "unit": "mm" }, "options": {} }, "expected_verdict": "FITS", "verdict_granularity": "family", "reasoning": "1000x500mm item in a 6x5m room: meters of walkway on every side — comfortably FITS.", "created_at": "2026-06-26", "corpus_revision_added": 2 }, { "id": "elevator-0002", "supersedes": null, "solver": "elevator", "evidence_class": "direct_geometry", "inputs": { "item": { "w": 600, "d": 600, "h": 600, "unit": "mm" }, "space": { "cab": { "w": 2134, "d": 1829, "h": 2438 }, "door": { "w": 1219, "h": 2032 }, "type": "freight", "unit": "mm" }, "options": {} }, "expected_verdict": "FITS", "verdict_granularity": "family", "reasoning": "600mm cube through a freight elevator (48in door, 84x72in cab): >600mm clearance at the binding door axis after the 10mm practical-clearance deduction.", "created_at": "2026-06-26", "corpus_revision_added": 2 }, { "id": "elevator-0003", "supersedes": null, "solver": "elevator", "evidence_class": "direct_geometry", "inputs": { "item": { "w": 2000, "d": 2000, "h": 2000, "unit": "mm" }, "space": { "cab": { "w": 1727, "d": 1372, "h": 2286 }, "door": { "w": 914, "h": 2032 }, "type": "passenger", "unit": "mm" }, "options": {} }, "expected_verdict": "DOESNT_FIT", "verdict_granularity": "family", "reasoning": "2000mm cube vs a passenger cab (68x54in floor): the 2000mm footprint exceeds both cab floor axes and the 914mm door — no orientation seats it.", "created_at": "2026-06-26", "corpus_revision_added": 2 }, { "id": "elevator-0004", "supersedes": null, "solver": "elevator", "evidence_class": "direct_geometry", "inputs": { "item": { "w": 700, "d": 700, "h": 1800, "unit": "mm" }, "space": { "cab": { "w": 1727, "d": 1372, "h": 2286 }, "door": { "w": 914, "h": 2032 }, "type": "passenger", "unit": "mm" }, "options": {} }, "expected_verdict": "FITS", "verdict_granularity": "family", "reasoning": "Tall 700x700x1800mm item (fridge-like) through a standard passenger elevator: enters on its 700x1800 face and stands in the cab; ~200mm binding door margin.", "created_at": "2026-06-26", "corpus_revision_added": 2 }, { "id": "elevator-0006", "supersedes": null, "solver": "elevator", "evidence_class": "direct_geometry", "inputs": { "item": { "w": 500, "d": 500, "h": 500, "unit": "mm" }, "space": { "cab": { "w": 1727, "d": 1372, "h": 2286 }, "door": { "w": 914, "h": 2032 }, "type": "passenger", "unit": "mm" }, "options": {} }, "expected_verdict": "FITS", "verdict_granularity": "family", "reasoning": "500mm cube through a standard passenger elevator: clears the 914mm door and seats in the cab with large margins.", "created_at": "2026-06-26", "corpus_revision_added": 2 }, { "id": "elevator-0007", "supersedes": null, "solver": "elevator", "evidence_class": "direct_geometry", "inputs": { "item": { "w": 1000, "d": 800, "h": 1800, "unit": "mm" }, "space": { "cab": { "w": 2134, "d": 1829, "h": 2438 }, "door": { "w": 1219, "h": 2032 }, "type": "freight", "unit": "mm" }, "options": {} }, "expected_verdict": "FITS", "verdict_granularity": "family", "reasoning": "1000x800x1800mm item through a freight elevator: enters on its 800x1800 face (binding door margin ~220mm) and seats in the larger freight cab.", "created_at": "2026-06-26", "corpus_revision_added": 2 }, { "id": "turn-0002", "supersedes": null, "solver": "turn", "evidence_class": "direct_geometry", "inputs": { "item": { "w": 300, "d": 300, "h": 300, "unit": "mm" }, "space": { "w": 1000, "width_after": 1000, "turn_angle": 90, "unit": "mm" }, "options": {} }, "expected_verdict": "FITS", "verdict_granularity": "family", "reasoning": "Small 300mm cube around a 90-degree corner between two 1000mm corridors: 700mm width margin and ample corner sweep — comfortably FITS.", "created_at": "2026-06-26", "corpus_revision_added": 2 }, { "id": "turn-0003", "supersedes": null, "solver": "turn", "evidence_class": "direct_geometry", "inputs": { "item": { "w": 1200, "d": 1200, "h": 1200, "unit": "mm" }, "space": { "w": 900, "width_after": 900, "turn_angle": 90, "unit": "mm" }, "options": {} }, "expected_verdict": "DOESNT_FIT", "verdict_granularity": "family", "reasoning": "Width short-circuit: the smallest item cross-section (1200mm) exceeds the 900mm corridor, so no orientation even enters the straight run — the corner is moot.", "created_at": "2026-06-26", "corpus_revision_added": 2 }, { "id": "turn-0005", "supersedes": null, "solver": "turn", "evidence_class": "direct_geometry", "inputs": { "item": { "w": 250, "d": 250, "h": 250, "unit": "mm" }, "space": { "w": 1500, "width_after": 1500, "turn_angle": 90, "unit": "mm" }, "options": {} }, "expected_verdict": "FITS", "verdict_granularity": "family", "reasoning": "Tiny 250mm cube around a wide 1500mm 90-degree corner: every constraint clears with a meter-plus of slack.", "created_at": "2026-06-26", "corpus_revision_added": 2 }, { "id": "turn-0006", "supersedes": null, "solver": "turn", "evidence_class": "direct_geometry", "inputs": { "item": { "w": 400, "d": 400, "h": 400, "unit": "mm" }, "space": { "w": 2000, "width_after": 1500, "turn_angle": 90, "unit": "mm" }, "options": {} }, "expected_verdict": "FITS", "verdict_granularity": "family", "reasoning": "Asymmetric corner (2000mm into 1500mm): a 400mm cube clears the narrower 1500mm side by 1100mm and sweeps the wide corner easily.", "created_at": "2026-06-26", "corpus_revision_added": 2 }, { "id": "turn-0007", "supersedes": null, "solver": "turn", "evidence_class": "direct_geometry", "inputs": { "item": { "w": 600, "d": 600, "h": 600, "unit": "mm" }, "space": { "w": 1200, "width_after": 500, "turn_angle": 90, "unit": "mm" }, "options": {} }, "expected_verdict": "DOESNT_FIT", "verdict_granularity": "family", "reasoning": "Width short-circuit on the narrow leg: a 600mm cube cannot enter the 500mm second corridor, so the turn is impossible regardless of the wider 1200mm approach.", "created_at": "2026-06-26", "corpus_revision_added": 2 }, { "id": "opening-0043", "supersedes": null, "solver": "opening", "evidence_class": "regression_case", "inputs": { "item": { "w": 816, "d": 816, "h": 2000, "unit": "mm" }, "space": { "w": 813, "h": 2032, "unit": "mm" }, "options": { "strictMode": true } }, "expected_verdict": "DOESNT_FIT", "verdict_granularity": "family", "reasoning": "bug_pattern_verdict_tolerance_band_unreachable: a -3mm opening miss (816mm cross-section vs 813mm door, in the [-6,0)mm measurement-tolerance band) must resolve to DOESNT_FIT at the SOLVER layer. getVerdictTier's within-tolerance band returns FITS_VERY_TIGHT for [-6,0)mm but is structurally unreachable because solvers boolean-gate margin>=0 before the tier fn; the documented fix is presentation-only (softened headline in ui-render), verdict/billing stay DOESNT_FIT. Freezes that the solver verdict family stays no-fit; the headline-softening half is ui-render's. Cross-ref bug_pattern_verdict_tolerance_band_unreachable.", "created_at": "2026-06-27", "corpus_revision_added": 2 }, { "id": "hallway-0013", "supersedes": null, "solver": "hallway", "evidence_class": "regression_case", "inputs": { "item": { "w": 1000, "d": 1000, "h": 1000, "unit": "mm" }, "space": { "w": 800, "unit": "mm" }, "options": {} }, "expected_verdict": "DOESNT_FIT", "verdict_granularity": "family", "reasoning": "bug_pattern_solver_path_space_shape: the canonical flat path-space shape ({width_mm,...}) must yield a REAL verdict. A 1000mm cube down an 800mm hallway is too wide in every orientation -> DOESNT_FIT. The bug was a malformed path-space producer shape ({kind:'door',dims:{widthMm}}) making PATH_SOLVERS[undefined] skip the solver, so solveHybrid fell through to a silent FITS/margin_mm=0; this freezes that the canonical shape produces a real DOESNT_FIT (a regression to the FITS/0 bypass flips it RED). The malformed-shape dispatch itself is guarded upstream by path-solver-handoff.regression.test.ts. Same shape-drop-across-a-seam class as unit_key_mismatch_discards_dims / route_strips_item_name / multiitem_proof_field_drop. Cross-ref bug_pattern_solver_path_space_shape.", "created_at": "2026-06-27", "corpus_revision_added": 2 }, { "id": "container-0009", "supersedes": null, "solver": "container", "evidence_class": "regression_case", "inputs": { "item": { "w": 84, "d": 36, "h": 34, "unit": "in" }, "space": { "w": 90, "d": 90, "h": 90, "unit": "in" }, "options": {} }, "expected_verdict": "FITS", "verdict_granularity": "family", "reasoning": "bug_pattern_unit_key_mismatch_discards_dims: explicit user dims must be HONORED, not dropped and re-resolved from the bare item name. A 7ft sectional given as 84x36x34in fits a 90in container -> FITS. The bug dropped width_mm-keyed parsed dims at a route->solver seam (space-sizing-solver step-0 only read width_in), forcing a DB name re-resolve that swapped 84x36x34 for a low-confidence 95x95x34 L-bbox -> false EXCEEDS_ALL (95>90 fails; 84/36 pass). space-sizing has no solver-validation adapter, so this container case freezes the dims-honored half; the route->solver unit-key seam is owned by tests/solvers/space-sizing-mm-dims.test.js. Same seam-drop class as solver_path_space_shape / route_strips_item_name / multiitem_proof_field_drop. Cross-ref bug_pattern_unit_key_mismatch_discards_dims.", "created_at": "2026-06-27", "corpus_revision_added": 2 }, { "id": "container-0010", "supersedes": null, "solver": "container", "evidence_class": "regression_case", "inputs": { "item": { "w": 104, "d": 50, "h": 50, "unit": "mm" }, "space": { "w": 100, "d": 100, "h": 100, "unit": "mm" }, "options": { "is_internal": true, "clearance_mm": 0, "wall_thickness_mm": 0, "borderlineProvenances": { "l": "llm_estimated", "w": "user", "h": "user" } } }, "expected_verdict": "DOESNT_FIT", "verdict_granularity": "family", "reasoning": "WU4 (BUG 4) off=legacy lock: a 104mm item on a 100mm axis misses by -4mm (inside the ±6mm tape-measure band) on an ESTIMATED governing dim. With CONTAINER_BORDERLINE_TOLERANCE=off (default) the solver returns the legacy confident DOESNT_FIT even though borderlineProvenances is present on the options — proving the tolerance-aware borderline path is fully flag-gated and adds nothing under the default flag state. The live-mode softening (borderline flag + interior-dims ask, still DOESNT_FIT token) is exercised by tests/unit/container-borderline-solver.test.js. Cross-ref bug_pattern_vehicle_empty_promise (confident No on estimate noise).", "created_at": "2026-07-04", "corpus_revision_added": 3 }, { "id": "container-0011", "supersedes": null, "solver": "container", "evidence_class": "regression_case", "inputs": { "item": { "w": 104, "d": 50, "h": 50, "unit": "mm" }, "space": { "w": 100, "d": 100, "h": 100, "unit": "mm" }, "options": { "is_internal": true, "clearance_mm": 0, "wall_thickness_mm": 0, "borderlineProvenances": { "l": "user", "w": "user", "h": "user" } } }, "expected_verdict": "DOESNT_FIT", "verdict_granularity": "family", "reasoning": "WU4 (BUG 4) tight-fit-not-borderline lock: the SAME -4mm sub-tolerance miss on MEASURED (user) dims must NOT be softened — a thin miss against real measurements is a genuine tight call, not estimate noise. Under the default flag this is a legacy DOESNT_FIT; even under CONTAINER_BORDERLINE_TOLERANCE=live it stays a hard DOESNT_FIT (the decider returns tight_fit, never borderline, when no governing dim is low-confidence). Freezes that borderline softening is ESTIMATE-gated. Live behavior in tests/unit/container-borderline-solver.test.js.", "created_at": "2026-07-04", "corpus_revision_added": 3 }, { "id": "container-0012", "supersedes": null, "solver": "container", "evidence_class": "regression_case", "inputs": { "item": { "w": 140, "d": 50, "h": 50, "unit": "mm" }, "space": { "w": 100, "d": 100, "h": 100, "unit": "mm" }, "options": { "is_internal": true, "clearance_mm": 0, "wall_thickness_mm": 0, "borderlineProvenances": { "l": "llm_estimated", "w": "user", "h": "user" } } }, "expected_verdict": "DOESNT_FIT", "verdict_granularity": "family", "reasoning": "WU4 (BUG 4) beyond-tolerance hard-no lock: a 140mm item on a 100mm axis misses by -40mm — well outside the ±6mm band — so it is a hard DOESNT_FIT regardless of provenance or flag state. Even with an estimated governing dim and CONTAINER_BORDERLINE_TOLERANCE=live the decider returns hard_no (no borderline), so the borderline path can never launder a real miss into a soft answer. Cross-ref bug_pattern_vehicle_empty_promise.", "created_at": "2026-07-04", "corpus_revision_added": 3 }, { "id": "opening-0044", "supersedes": null, "solver": "opening", "evidence_class": "regression_case", "inputs": { "item": { "w": 908, "d": 610, "h": 1746, "unit": "mm" }, "space": { "w": 749, "h": 2032, "unit": "mm" }, "options": {} }, "expected_verdict": "FITS", "verdict_granularity": "family", "reasoning": "Refrigerator (35.75W x 24D x 68.75H in) through a 29.5in-wide x 80in-tall doorway: kept upright, the 24in depth passes the 29.5in door width, so the binding axis clears with positive margin -> FITS. Frozen from production fit-check f199b5a0, which returned DOESNT_FIT only because a parser axis-mismap locked the door's own 29.5x80 onto the item as its width/depth; the solver on the correct dims returns FITS (the user flagged the deployed verdict inaccurate).", "created_at": "2026-07-06", "corpus_revision_added": 4 }, { "id": "opening-0045", "supersedes": null, "solver": "opening", "evidence_class": "expert_review", "inputs": { "item": { "w": 2280, "d": 949, "h": 829, "unit": "mm" }, "space": { "w": 762, "h": 2032, "unit": "mm" }, "options": {} }, "expected_verdict": "DOESNT_FIT", "verdict_granularity": "family", "reasoning": "IKEA Kivik sofa (89.75W x 37.375D x 32.625H in) through a 30in-wide door: the narrowest cross-sectional dimension (the 32.625in height) still exceeds the 30in opening in every rigid-box orientation, so DOESNT_FIT (fails the width axis by ~2.6in). Frozen from production fit-check 0a9e6a78 (user flagged inaccurate). The rigid-box solver is correct; the dispute reflects a real-world affordance (removable sofa legs drop the height under 30in) that the rigid-box model intentionally does not represent.", "created_at": "2026-07-06", "corpus_revision_added": 4 }, { "id": "turn-0008", "supersedes": null, "solver": "turn", "evidence_class": "historical_bug", "inputs": { "item": { "w": 11, "d": 70, "h": 70, "unit": "in" }, "space": { "w": 63, "width_after": 36, "turn_angle": 90, "unit": "in" }, "options": {} }, "expected_verdict": "FITS", "verdict_granularity": "family", "reasoning": "Leaf-truth anchor for prod fit-check f4b5b669 (user flagged inaccurate). An 11in-wide shelf rounding a 90deg corner from a 63in hallway into a 36in doorway clears easily: the binding axis is the 36in second leg against the 11in width (+635mm). This row exists to prove the TURN SOLVER was never the defect -- the false DOESNT_FIT was introduced downstream, in the hybrid composition (see hybrid-0001). If this row ever goes red, the leaf regressed and hybrid-0001's diagnosis no longer holds.", "created_at": "2026-07-13", "corpus_revision_added": 5 }, { "id": "hybrid-0001", "supersedes": null, "solver": "hybrid", "evidence_class": "historical_bug", "inputs": { "item": { "name": "shelving", "w": 11, "d": 70, "h": 70, "unit": "in" }, "space": { "type": "room", "w": 120, "d": 144, "h": 96, "unit": "in" }, "path": [ { "type": "hallway", "w": 63, "h": 96, "unit": "in" }, { "type": "turn", "w": 63, "width_after": 36, "turn_angle": 90, "h": 96, "unit": "in" }, { "type": "doorway", "w": 36, "h": 80, "unit": "in" } ] }, "expected_verdict": "FITS", "verdict_granularity": "family", "reasoning": "Prod fit-check f4b5b669 (2026-03-25, user_feedback=inaccurate): 11x70x70in shelving down a 63in hallway, 90deg turn, through a 36in door, into a room. EVERY leaf solver returns FITS (opening +635mm, turn +635mm, hallway +662mm -- see turn-0008), yet the composed verdict was DOESNT_FIT with a positive +635mm margin. Root cause was in the hybrid composition, not any leaf: the path-orientation -> floor-footprint mapping switched on `orientation.face`, which ONLY the opening solver emits. Hallway/turn/stairs/elevator legs name their carried axes (across, vertical, along) with no face, so they fell to a default branch that produced a {0,0} footprint. That zero-area footprint became the room solver's allowedOrientations, matched no real orientation, and fabricated a confident DOESNT_FIT. Frozen as a COMPOSITION case on purpose: a leaf opening/turn row is green on these inputs and would discard the defect entirely.", "created_at": "2026-07-13", "corpus_revision_added": 5 }, { "id": "hybrid-0002", "supersedes": null, "solver": "hybrid", "evidence_class": "regression_case", "inputs": { "item": { "name": "crate", "w": 67, "d": 67, "h": 67, "unit": "in" }, "space": { "type": "room", "w": 120, "d": 144, "h": 96, "unit": "in" }, "path": [ { "type": "hallway", "w": 63, "h": 96, "unit": "in" }, { "type": "doorway", "w": 36, "h": 80, "unit": "in" } ] }, "expected_verdict": "DOESNT_FIT", "verdict_granularity": "family", "reasoning": "Anti-rubber-stamp guard for the hybrid-0001 fix. A 67in cube cannot pass a 63in hallway in ANY orientation, so the path genuinely blocks it. The f4b5b669 fix loosened the composition (an unreadable path leg now fails OPEN rather than eliminating every room orientation); this row proves that loosening did not turn the path step into a rubber stamp. A real, measured block must still block.", "created_at": "2026-07-13", "corpus_revision_added": 5 }, { "id": "hybrid-0003", "supersedes": null, "solver": "hybrid", "evidence_class": "regression_case", "inputs": { "item": { "name": "beam", "w": 8, "d": 118, "h": 8, "unit": "in" }, "space": { "type": "room", "w": 36, "d": 36, "h": 96, "unit": "in" }, "path": [ { "type": "hallway", "w": 63, "h": 96, "unit": "in" } ] }, "expected_verdict": "DOESNT_FIT", "verdict_granularity": "family", "reasoning": "Anti-rubber-stamp guard, container side. A 118in beam is carried down the 63in hallway without trouble but cannot lie down in a 36x36in room, so the CONTAINER step is the genuine blocker (limiting_constraint floor_area). Before the f4b5b669 fix this row also returned DOESNT_FIT -- but for the wrong reason (no_valid_orientation_after_path_filter, the phantom zero-footprint path), which is exactly why a verdict-only assertion is not enough here: the verdict was right by accident. Keep this row paired with hybrid-0001.", "created_at": "2026-07-13", "corpus_revision_added": 5 }, { "id": "hybrid-0004", "supersedes": null, "solver": "hybrid", "evidence_class": "historical_bug", "inputs": { "item": { "name": "bookshelf", "w": 35.4, "d": 11.8, "h": 86.6, "unit": "in" }, "space": { "type": "room", "w": 157.5, "d": 157.5, "h": 94.5, "unit": "in" }, "path": [ { "type": "doorway", "w": 36, "h": 80, "unit": "in" } ] }, "expected_verdict": "FITS", "verdict_granularity": "family", "reasoning": "Carry pose is not resting pose. A 7ft2in bookshelf (86.6in tall) cannot go through a 6ft8in door standing up -- only its 35.4x11.8in top/bottom face clears, so it is carried in lying flat. You then stand it up inside: footprint 35.4x11.8in in a 13x13ft room, 86.6in under a 94.5in ceiling. Obviously FITS. The hybrid pipeline used to return DOESNT_FIT at HIGH confidence with a -1 margin, because it fed the CARRY footprint (width x HEIGHT) to the room solver as a resting-orientation whitelist -- and the room solver rests a rigid item on its width x depth base, always, so the whitelist matched no orientation and eliminated every placement. Sibling of hybrid-0001 (same pipeline, different conflation: 0001 could not READ the leg's orientation shape; 0004 read it correctly but compared it in the wrong pose basis). Both fabricated a block from an absence of evidence.", "created_at": "2026-07-13", "corpus_revision_added": 5 }, { "id": "vehicle-0001", "supersedes": null, "solver": "vehicle", "evidence_class": "direct_geometry", "inputs": { "item": { "w": 300, "d": 200, "h": 150, "unit": "mm" }, "space": { "w": 1, "d": 1, "h": 1, "unit": "mm", "vehicle_id": "sedan" } }, "expected_verdict": "FITS", "verdict_granularity": "family", "reasoning": "A small rigid box fits straight in the sedan cargo space.", "created_at": "2026-08-20", "corpus_revision_added": 6, "session09_coverage": [ "vehicle_straight", "unit_edge_mm" ] }, { "id": "vehicle-0002", "supersedes": null, "solver": "vehicle", "evidence_class": "edge_case", "inputs": { "item": { "w": 100, "d": 100, "h": 1900, "unit": "mm" }, "space": { "w": 1, "d": 1, "h": 1, "unit": "mm", "vehicle_id": "sedan" } }, "expected_verdict": "FITS", "verdict_granularity": "family", "reasoning": "A long narrow item requires diagonal placement in the folded-seat sedan envelope.", "created_at": "2026-08-20", "corpus_revision_added": 6, "session09_coverage": [ "vehicle_diagonal", "false_positive_partial_support" ] }, { "id": "vehicle-0003", "supersedes": null, "solver": "vehicle", "evidence_class": "regression_case", "inputs": { "item": { "w": 100, "d": 220, "h": 76, "unit": "cm" }, "space": { "w": 1, "d": 1, "h": 1, "unit": "mm", "vehicle": { "dimensionSource": "user", "spaces": { "cargo": { "label": "Cargo", "length_mm": 1900, "width_mm": 1100, "height_mm": 800 } }, "access_openings": {} } }, "options": { "rotatedFit3d": true } }, "expected_verdict": "DOESNT_FIT", "verdict_granularity": "family", "reasoning": "The bounded 3D tilt check rejects a legacy diagonal false positive whose cross-section collides.", "created_at": "2026-08-20", "corpus_revision_added": 6, "session09_coverage": [ "vehicle_tilted", "false_positive_partial_support", "unit_edge_cm" ] }, { "id": "vehicle-0004", "supersedes": null, "solver": "vehicle", "evidence_class": "edge_case", "inputs": { "item": { "w": 700, "d": 1850, "h": 500, "unit": "mm" }, "space": { "w": 1, "d": 1, "h": 1, "unit": "mm", "vehicle": { "dimensionSource": "user", "spaces": { "cargo": { "label": "Cargo", "length_mm": 1900, "width_mm": 1100, "height_mm": 800 } }, "access_openings": { "liftgate": { "width_mm": 300, "height_mm": 300, "constrains": [ "cargo" ] } } } }, "options": { "rotatedFit3d": true } }, "expected_verdict": "DOESNT_FIT", "verdict_granularity": "family", "reasoning": "Interior tilt cannot bypass a smaller liftgate opening.", "created_at": "2026-08-20", "corpus_revision_added": 6, "session09_coverage": [ "vehicle_hatch_opening" ] }, { "id": "vehicle-0005", "supersedes": null, "solver": "vehicle", "evidence_class": "edge_case", "inputs": { "item": { "w": 40, "d": 48, "h": 6, "unit": "in" }, "space": { "w": 1, "d": 1, "h": 1, "unit": "mm", "vehicle_id": "pickup-truck-crew" } }, "expected_verdict": "FITS", "verdict_granularity": "family", "reasoning": "A pallet fits the pickup bed while respecting the bed and wheel-well geometry represented by the vehicle fixture.", "created_at": "2026-08-20", "corpus_revision_added": 6, "session09_coverage": [ "vehicle_wheel_wells" ] }, { "id": "vehicle-0006", "supersedes": null, "solver": "vehicle", "evidence_class": "edge_case", "inputs": { "item": { "w": 10, "d": 10, "h": 74.8, "unit": "in" }, "space": { "w": 1, "d": 1, "h": 1, "unit": "mm", "vehicle_id": "sedan" }, "options": { "userOverrides": { "seatsSpecified": "up" } } }, "expected_verdict": "DOESNT_FIT", "verdict_granularity": "family", "reasoning": "An explicit seats-up restriction prevents using folded-seat cargo geometry.", "created_at": "2026-08-20", "corpus_revision_added": 6, "session09_coverage": [ "vehicle_seats", "orientation_restriction" ] }, { "id": "vehicle-0007", "supersedes": null, "solver": "vehicle", "evidence_class": "edge_case", "inputs": { "item": { "w": 300, "d": 200, "h": 150, "unit": "mm" }, "space": { "w": 1, "d": 1, "h": 1, "unit": "mm", "vehicle": { "spaces": {}, "access_openings": {} } } }, "expected_verdict": "UNKNOWN", "verdict_granularity": "exact", "reasoning": "Unavailable cargo facts are underspecified, not evidence that the item does not fit.", "created_at": "2026-08-20", "corpus_revision_added": 6, "session09_coverage": [ "vehicle_unavailable_cargo", "false_positive_unknown_margin" ] }, { "id": "capacity-0001", "supersedes": null, "solver": "capacity", "evidence_class": "direct_geometry", "inputs": { "item": { "name": "box", "w": 400, "d": 300, "h": 250, "unit": "mm" }, "space": { "name": "crate", "type": "container", "w": 2000, "d": 1200, "h": 1000, "unit": "mm" } }, "expected_verdict": "FITS", "verdict_granularity": "family", "reasoning": "Rigid container capacity exposes count and volumetric proof bases rather than treating margin_mm as linear clearance.", "created_at": "2026-08-20", "corpus_revision_added": 6, "session09_coverage": [ "capacity_count_basis", "capacity_volume_basis", "unit_edge_mm" ] }, { "id": "capacity-0002", "supersedes": null, "solver": "capacity", "evidence_class": "edge_case", "inputs": { "item": { "name": "sofa", "w": 84, "d": 35, "h": 33, "unit": "in" }, "space": { "name": "room", "type": "room", "w": 10, "d": 10, "h": 8, "unit": "ft" } }, "expected_verdict": "FITS", "verdict_granularity": "family", "reasoning": "Room capacity uses an explicit walkway/layout basis and never inherits a one-inch linear margin rule.", "created_at": "2026-08-20", "corpus_revision_added": 6, "session09_coverage": [ "capacity_walkway_basis", "unit_edge_mixed_units" ] }, { "id": "capacity-0003", "supersedes": null, "solver": "capacity", "evidence_class": "edge_case", "inputs": { "item": { "name": "shirt", "w": 14, "d": 10, "h": 2, "unit": "in" }, "space": { "name": "briefcase", "type": "container", "w": 18, "d": 13, "h": 5, "unit": "in" }, "options": { "classification": { "intent": "capacity", "scope": "multi_identical", "constraint": "container", "model": "approximate_soft" } } }, "expected_verdict": "FITS", "verdict_granularity": "family", "reasoning": "Compressible items retain an approximate-soft model, fuzzy range, and lowered confidence.", "created_at": "2026-08-20", "corpus_revision_added": 6, "session09_coverage": [ "compression", "false_positive_partial_support" ] }, { "id": "opening-0046", "supersedes": null, "solver": "opening", "evidence_class": "edge_case", "inputs": { "item": { "w": 2.5, "d": 1.5, "h": 3.25, "unit": "ft" }, "space": { "w": 36, "h": 80, "unit": "in" } }, "expected_verdict": "FITS", "verdict_granularity": "family", "reasoning": "Mixed feet-and-inches input normalizes deterministically at the opening boundary.", "created_at": "2026-08-20", "corpus_revision_added": 6, "session09_coverage": [ "unit_edge_feet_inches", "packaging" ] }, { "id": "hallway-0014", "supersedes": null, "solver": "hallway", "evidence_class": "edge_case", "inputs": { "item": { "w": 2.25, "d": 1.25, "h": 5.5, "unit": "ft" }, "space": { "w": 3.5, "h": 7.25, "unit": "ft" } }, "expected_verdict": "FITS", "verdict_granularity": "family", "reasoning": "Decimal-foot conversion remains stable through hallway width checks.", "created_at": "2026-08-20", "corpus_revision_added": 6, "session09_coverage": [ "unit_edge_decimal_feet", "handles" ] }, { "id": "turn-0009", "supersedes": null, "solver": "turn", "evidence_class": "edge_case", "inputs": { "item": { "w": 60, "d": 40, "h": 100, "unit": "cm" }, "space": { "w": 110, "width_after": 120, "h": 240, "unit": "cm", "turn_angle": 90 } }, "expected_verdict": "FITS", "verdict_granularity": "family", "reasoning": "Centimeter conversion preserves both legs of a compound turn.", "created_at": "2026-08-20", "corpus_revision_added": 6, "session09_coverage": [ "unit_edge_cm", "compound_turn" ] }, { "id": "container-0013", "supersedes": null, "solver": "container", "evidence_class": "edge_case", "inputs": { "item": { "w": 990, "d": 490, "h": 390, "unit": "mm" }, "space": { "w": 1000, "d": 500, "h": 400, "unit": "mm" } }, "expected_verdict": "FITS_VERY_TIGHT", "verdict_granularity": "exact", "reasoning": "Millimeter precision preserves a narrow three-axis container margin after the solver's handling tolerance.", "created_at": "2026-08-20", "corpus_revision_added": 6, "session09_coverage": [ "unit_edge_mm", "precision", "false_positive_narrow_margin", "removable_parts" ] }, { "id": "elevator-0008", "supersedes": null, "solver": "elevator", "evidence_class": "edge_case", "inputs": { "item": { "w": 80, "d": 50, "h": 180, "unit": "cm" }, "space": { "w": 2, "d": 1.5, "h": 2.4, "unit": "m", "cab": { "w": 2, "d": 1.5, "h": 2.4, "unit": "m" }, "door": { "w": 36, "h": 80, "unit": "in" } } }, "expected_verdict": "FITS", "verdict_granularity": "family", "reasoning": "Mixed cm, metres, and inches retain separate cab and door constraints.", "created_at": "2026-08-20", "corpus_revision_added": 6, "session09_coverage": [ "unit_edge_mixed_units", "multi_step" ] }, { "id": "room-0008", "supersedes": null, "solver": "room", "evidence_class": "edge_case", "inputs": { "item": { "w": 99.74, "d": 49.74, "h": 39.74, "unit": "cm" }, "space": { "w": 1, "d": 0.5, "h": 0.4, "unit": "m" } }, "expected_verdict": "DOESNT_FIT", "verdict_granularity": "exact", "reasoning": "Sub-millimeter decimal inputs round once at the adapter boundary; the room solver still honestly rejects the absent walkway clearance.", "created_at": "2026-08-20", "corpus_revision_added": 6, "session09_coverage": [ "unit_edge_rounding", "precision", "legs" ] }, { "id": "hybrid-0005", "supersedes": null, "solver": "hybrid", "evidence_class": "edge_case", "inputs": { "item": { "name": "cabinet", "w": 79.95, "d": 39.95, "h": 99.95, "unit": "cm" }, "space": { "type": "room", "w": 3.005, "d": 3.005, "h": 2.405, "unit": "m" }, "path": [ { "type": "doorway", "w": 0.905, "h": 2.005, "unit": "m" }, { "type": "hallway", "w": 1.105, "h": 2.405, "unit": "m" }, { "type": "turn", "w": 1.205, "width_after": 1.205, "turn_angle": 90, "h": 2.405, "unit": "m" } ] }, "expected_verdict": "FITS", "verdict_granularity": "family", "reasoning": "A rounded mixed-unit doorway-to-hallway-to-turn-to-room chain validates the composed multi-step result.", "created_at": "2026-08-20", "corpus_revision_added": 6, "session09_coverage": [ "unit_edge_precision", "multi_step", "compound_turn" ] }, { "id": "container-0014", "supersedes": null, "solver": "container", "evidence_class": "edge_case", "inputs": { "item": { "w": 600, "d": 400, "h": 350, "unit": "mm" }, "space": { "w": 1200, "d": 800, "h": 700, "unit": "mm" }, "options": { "closureType": "open" } }, "expected_verdict": "FITS", "verdict_granularity": "family", "reasoning": "The measured packed envelope, including handles and packaging, is tested as geometry; removability is not silently assumed.", "created_at": "2026-08-20", "corpus_revision_added": 6, "session09_coverage": [ "packaging", "handles", "removable_parts" ] }, { "id": "vehicle-0008", "supersedes": null, "solver": "vehicle", "evidence_class": "edge_case", "inputs": { "item": { "name": "box A", "w": 300, "d": 200, "h": 150, "unit": "mm" }, "items": [ { "name": "box A", "w": 300, "d": 200, "h": 150, "unit": "mm", "quantity": 1 }, { "name": "box B", "w": 400, "d": 250, "h": 200, "unit": "mm", "quantity": 1 } ], "space": { "w": 1, "d": 1, "h": 1, "unit": "mm", "vehicle_id": "minivan" } }, "expected_verdict": "FITS", "verdict_granularity": "family", "reasoning": "Two distinct entities retain their cardinality through deterministic joint vehicle packing.", "created_at": "2026-08-20", "corpus_revision_added": 6, "session09_coverage": [ "multiple_items" ] }, { "id": "elevator-0009", "supersedes": "elevator-0005", "solver": "elevator", "evidence_class": "regression_case", "inputs": { "item": { "w": 600, "d": 600, "h": 2400, "unit": "mm" }, "space": { "cab": { "w": 1727, "d": 1372, "h": 2286 }, "door": { "w": 914, "h": 2032 }, "type": "passenger", "unit": "mm" }, "options": {} }, "expected_verdict": "UNKNOWN", "verdict_granularity": "exact", "reasoning": "The original axis-only rejection is not an all-orientation obstruction: a 2400mm axis exceeding each cab axis rules out axis-aligned placement only. The item diagonal is about 2546mm, below the cab diagonal of about 3177mm, and the 600mm minimum dimension clears the door and cab. These necessary bounds do not prove a fit either. Combined insertion, tilt and turning have no established entry-path witness or impossibility proof, so this access check must remain UNKNOWN.", "created_at": "2026-09-09", "corpus_revision_added": 7 }, { "id": "turn-0010", "supersedes": "turn-0004", "solver": "turn", "evidence_class": "regression_case", "inputs": { "item": { "w": 400, "d": 6000, "h": 400, "unit": "mm" }, "space": { "w": 800, "width_after": 800, "turn_angle": 90, "unit": "mm" }, "options": {} }, "expected_verdict": "UNKNOWN", "verdict_granularity": "exact", "reasoning": "The original claim that a 6000mm pole cannot turn even tilted is unsupported without a measured ceiling or a restriction forbidding tilt. With sufficient headroom it could stand on its 400x400mm end and pass an 800mm corner. Failure of the checked planar and default-height tilt strategies therefore proves neither impossibility nor a feasible measured path; UNKNOWN is required.", "created_at": "2026-09-09", "corpus_revision_added": 7 }, { "id": "elevator-0010", "supersedes": null, "solver": "elevator", "evidence_class": "direct_geometry", "inputs": { "item": { "w": 600, "d": 600, "h": 4000, "unit": "mm" }, "space": { "cab": { "w": 1727, "d": 1372, "h": 2286 }, "door": { "w": 914, "h": 2032 }, "type": "passenger", "unit": "mm" }, "options": {} }, "expected_verdict": "DOESNT_FIT", "verdict_granularity": "exact", "reasoning": "A rigid 600x600x4000mm box has an opposite-corner distance of about 4089mm, exceeding the measured cab diameter of about 3177mm. No rotation can place both corners inside the cab. This is a proven obstruction even though the 600mm minimum dimension clears the door.", "created_at": "2026-09-09", "corpus_revision_added": 7 }, { "id": "stairs-0013", "supersedes": "stairs-0007", "solver": "stairs", "evidence_class": "direct_geometry", "inputs": { "item": { "w": 0.6, "d": 0.4, "h": 1, "unit": "m" }, "space": { "w": 1.1, "h": 2.4, "unit": "m", "has_turn": false, "stairGeometry": { "unit": "m", "headroom": 2.4, "handrailCount": 0 } } }, "expected_verdict": "FITS", "verdict_granularity": "family", "reasoning": "Owner reversed the stair half of decision D3 on 2026-09-18 (docs/2026-09-18-stair-grid-answers-p0-handoff.md): measured or typical stair width and headroom are enough to answer; stair answers built on typical data are hedged downstream (hedgeStairTypicalVerdict), not withheld. Fully measured straight stairs provide a deterministic width and headroom result.", "created_at": "2026-09-18", "corpus_revision_added": 9, "session09_coverage": [ "stairs_straight" ] }, { "id": "stairs-0014", "supersedes": "stairs-0008", "solver": "stairs", "evidence_class": "direct_geometry", "inputs": { "item": { "w": 60, "d": 40, "h": 100, "unit": "cm" }, "space": { "w": 110, "h": 240, "unit": "cm", "has_turn": true, "turn_angle": 90, "stairGeometry": { "unit": "cm", "headroom": 240, "landing_width": 130, "landing_depth": 130, "hasLanding": true, "handrailCount": 0 } } }, "expected_verdict": "FITS", "verdict_granularity": "family", "reasoning": "Owner reversed the stair half of decision D3 on 2026-09-18 (docs/2026-09-18-stair-grid-answers-p0-handoff.md): measured or typical stair width and headroom are enough to answer; stair answers built on typical data are hedged downstream (hedgeStairTypicalVerdict), not withheld. An L-turn case evaluates both the straight flight and the 90-degree landing turn.", "created_at": "2026-09-18", "corpus_revision_added": 9, "session09_coverage": [ "stairs_l_turn", "stairs_landing", "unit_edge_cm" ] }, { "id": "stairs-0015", "supersedes": "stairs-0009", "solver": "stairs", "evidence_class": "direct_geometry", "inputs": { "item": { "w": 600, "d": 400, "h": 1000, "unit": "mm" }, "space": { "w": 1100, "h": 2400, "unit": "mm", "has_turn": true, "turn_angle": 180, "stairGeometry": { "unit": "mm", "headroom": 2400, "landing_width": 1300, "landing_depth": 1300, "hasLanding": true, "handrailCount": 0 } } }, "expected_verdict": "FITS", "verdict_granularity": "family", "reasoning": "Owner reversed the stair half of decision D3 on 2026-09-18 (docs/2026-09-18-stair-grid-answers-p0-handoff.md): measured or typical stair width and headroom are enough to answer; stair answers built on typical data are hedged downstream (hedgeStairTypicalVerdict), not withheld. A U-turn case evaluates the 180-degree landing configuration rather than a straight-flight proxy.", "created_at": "2026-09-18", "corpus_revision_added": 9, "session09_coverage": [ "stairs_u_turn" ] }, { "id": "stairs-0016", "supersedes": "stairs-0010", "solver": "stairs", "evidence_class": "edge_case", "inputs": { "item": { "w": 600, "d": 400, "h": 1000, "unit": "mm" }, "space": { "w": 1100, "h": 800, "unit": "mm", "has_turn": false, "stairGeometry": { "unit": "mm", "headroom": 800, "handrailCount": 0 } } }, "expected_verdict": "FITS_TIGHT", "verdict_granularity": "exact", "reasoning": "Owner reversed the stair half of decision D3 on 2026-09-18 (docs/2026-09-18-stair-grid-answers-p0-handoff.md): measured or typical stair width and headroom are enough to answer; stair answers built on typical data are hedged downstream (hedgeStairTypicalVerdict), not withheld. Low headroom constrains the swept stair cross-section and produces a tight result.", "created_at": "2026-09-18", "corpus_revision_added": 9, "session09_coverage": [ "stairs_headroom", "false_positive_narrow_margin" ] }, { "id": "stairs-0017", "supersedes": "stairs-0011", "solver": "stairs", "evidence_class": "edge_case", "inputs": { "item": { "w": 600, "d": 400, "h": 1000, "unit": "mm" }, "space": { "w": 1100, "h": 2400, "unit": "mm", "has_turn": false, "stairGeometry": { "unit": "mm", "headroom": 2400, "handrailCount": 2, "handrailProtrusion": 250 } } }, "expected_verdict": "FITS", "verdict_granularity": "family", "reasoning": "Owner reversed the stair half of decision D3 on 2026-09-18 (docs/2026-09-18-stair-grid-answers-p0-handoff.md): measured or typical stair width and headroom are enough to answer; stair answers built on typical data are hedged downstream (hedgeStairTypicalVerdict), not withheld. Two measured rail intrusions reduce usable width and remain explicit solver inputs.", "created_at": "2026-09-18", "corpus_revision_added": 9, "session09_coverage": [ "stairs_railings" ] }, { "id": "stairs-0018", "supersedes": "stairs-0012", "solver": "stairs", "evidence_class": "edge_case", "inputs": { "item": { "w": 2, "d": 1.5, "h": 3, "unit": "ft" }, "space": { "w": 3.5, "h": 7, "unit": "ft", "has_turn": false, "stairGeometry": { "unit": "in", "headroom": 84, "handrailCount": 0 } } }, "expected_verdict": "FITS", "verdict_granularity": "family", "reasoning": "Owner reversed the stair half of decision D3 on 2026-09-18 (docs/2026-09-18-stair-grid-answers-p0-handoff.md): measured or typical stair width and headroom are enough to answer; stair answers built on typical data are hedged downstream (hedgeStairTypicalVerdict), not withheld. Feet and inches cross-field conversion preserves the explicit stair geometry.", "created_at": "2026-09-18", "corpus_revision_added": 9, "session09_coverage": [ "unit_edge_feet_inches" ] }, { "id": "hybrid-0008", "supersedes": "hybrid-0007", "solver": "hybrid", "evidence_class": "edge_case", "inputs": { "item": { "name": "irregular sofa bounding box", "w": 2100, "d": 900, "h": 850, "unit": "mm" }, "space": { "type": "room", "w": 4000, "d": 4000, "h": 2500, "unit": "mm" }, "path": [ { "type": "doorway", "w": 1000, "h": 2100, "unit": "mm" }, { "type": "stairs", "w": 1200, "h": 2400, "unit": "mm" } ] }, "options": { "classification": { "model": "irregular_bounding_box" } }, "expected_verdict": "FITS", "verdict_granularity": "family", "reasoning": "Owner reversed the stair half of decision D3 on 2026-09-18 (docs/2026-09-18-stair-grid-answers-p0-handoff.md): measured or typical stair width and headroom are enough to answer; stair answers built on typical data are hedged downstream (hedgeStairTypicalVerdict), not withheld. An irregular item is represented explicitly as a conservative bounding box through a multi-step path.", "created_at": "2026-09-18", "corpus_revision_added": 9, "session09_coverage": [ "irregular_item", "multi_step", "false_positive_partial_support" ] } ], "lineage": [ { "id": "elevator-0005", "supersedes": null, "solver": "elevator", "evidence_class": "direct_geometry", "inputs": { "item": { "w": 600, "d": 600, "h": 2400, "unit": "mm" }, "space": { "cab": { "w": 1727, "d": 1372, "h": 2286 }, "door": { "w": 914, "h": 2032 }, "type": "passenger", "unit": "mm" }, "options": {} }, "expected_verdict": "DOESNT_FIT", "verdict_granularity": "family", "reasoning": "The 2400mm axis exceeds every passenger-cab dimension (1727/1372/2286mm): it cannot lie down or stand up inside — cab is the binding constraint.", "created_at": "2026-06-26", "corpus_revision_added": 2 }, { "id": "turn-0004", "supersedes": null, "solver": "turn", "evidence_class": "direct_geometry", "inputs": { "item": { "w": 400, "d": 6000, "h": 400, "unit": "mm" }, "space": { "w": 800, "width_after": 800, "turn_angle": 90, "unit": "mm" }, "options": {} }, "expected_verdict": "DOESNT_FIT", "verdict_granularity": "family", "reasoning": "Corner-sweep fail: a 6000mm pole fits the 800mm corridor width (400mm cross-section) but cannot sweep a 90-degree corner that narrow, even tilted.", "created_at": "2026-06-26", "corpus_revision_added": 2 }, { "id": "stairs-0001", "supersedes": null, "solver": "stairs", "evidence_class": "direct_geometry", "inputs": { "item": { "w": 0.6, "d": 0.4, "h": 1, "unit": "m" }, "space": { "w": 1.1, "h": 2.4, "unit": "m", "has_turn": false, "stairGeometry": { "unit": "m", "headroom": 2.4, "handrailCount": 0 } } }, "expected_verdict": "FITS", "verdict_granularity": "family", "reasoning": "Fully measured straight stairs provide a deterministic width and headroom result.", "created_at": "2026-08-20", "corpus_revision_added": 6, "session09_coverage": [ "stairs_straight" ] }, { "id": "stairs-0002", "supersedes": null, "solver": "stairs", "evidence_class": "direct_geometry", "inputs": { "item": { "w": 60, "d": 40, "h": 100, "unit": "cm" }, "space": { "w": 110, "h": 240, "unit": "cm", "has_turn": true, "turn_angle": 90, "stairGeometry": { "unit": "cm", "headroom": 240, "landing_width": 130, "landing_depth": 130, "hasLanding": true, "handrailCount": 0 } } }, "expected_verdict": "FITS", "verdict_granularity": "family", "reasoning": "An L-turn case evaluates both the straight flight and the 90-degree landing turn.", "created_at": "2026-08-20", "corpus_revision_added": 6, "session09_coverage": [ "stairs_l_turn", "stairs_landing", "unit_edge_cm" ] }, { "id": "stairs-0003", "supersedes": null, "solver": "stairs", "evidence_class": "direct_geometry", "inputs": { "item": { "w": 600, "d": 400, "h": 1000, "unit": "mm" }, "space": { "w": 1100, "h": 2400, "unit": "mm", "has_turn": true, "turn_angle": 180, "stairGeometry": { "unit": "mm", "headroom": 2400, "landing_width": 1300, "landing_depth": 1300, "hasLanding": true, "handrailCount": 0 } } }, "expected_verdict": "FITS", "verdict_granularity": "family", "reasoning": "A U-turn case evaluates the 180-degree landing configuration rather than a straight-flight proxy.", "created_at": "2026-08-20", "corpus_revision_added": 6, "session09_coverage": [ "stairs_u_turn" ] }, { "id": "stairs-0004", "supersedes": null, "solver": "stairs", "evidence_class": "edge_case", "inputs": { "item": { "w": 600, "d": 400, "h": 1000, "unit": "mm" }, "space": { "w": 1100, "h": 800, "unit": "mm", "has_turn": false, "stairGeometry": { "unit": "mm", "headroom": 800, "handrailCount": 0 } } }, "expected_verdict": "FITS_TIGHT", "verdict_granularity": "exact", "reasoning": "Low headroom constrains the swept stair cross-section and produces a tight result.", "created_at": "2026-08-20", "corpus_revision_added": 6, "session09_coverage": [ "stairs_headroom", "false_positive_narrow_margin" ] }, { "id": "stairs-0005", "supersedes": null, "solver": "stairs", "evidence_class": "edge_case", "inputs": { "item": { "w": 600, "d": 400, "h": 1000, "unit": "mm" }, "space": { "w": 1100, "h": 2400, "unit": "mm", "has_turn": false, "stairGeometry": { "unit": "mm", "headroom": 2400, "handrailCount": 2, "handrailProtrusion": 250 } } }, "expected_verdict": "FITS", "verdict_granularity": "family", "reasoning": "Two measured rail intrusions reduce usable width and remain explicit solver inputs.", "created_at": "2026-08-20", "corpus_revision_added": 6, "session09_coverage": [ "stairs_railings" ] }, { "id": "stairs-0006", "supersedes": null, "solver": "stairs", "evidence_class": "edge_case", "inputs": { "item": { "w": 2, "d": 1.5, "h": 3, "unit": "ft" }, "space": { "w": 3.5, "h": 7, "unit": "ft", "has_turn": false, "stairGeometry": { "unit": "in", "headroom": 84, "handrailCount": 0 } } }, "expected_verdict": "FITS", "verdict_granularity": "family", "reasoning": "Feet and inches cross-field conversion preserves the explicit stair geometry.", "created_at": "2026-08-20", "corpus_revision_added": 6, "session09_coverage": [ "unit_edge_feet_inches" ] }, { "id": "hybrid-0006", "supersedes": null, "solver": "hybrid", "evidence_class": "edge_case", "inputs": { "item": { "name": "irregular sofa bounding box", "w": 2100, "d": 900, "h": 850, "unit": "mm" }, "space": { "type": "room", "w": 4000, "d": 4000, "h": 2500, "unit": "mm" }, "path": [ { "type": "doorway", "w": 1000, "h": 2100, "unit": "mm" }, { "type": "stairs", "w": 1200, "h": 2400, "unit": "mm" } ] }, "options": { "classification": { "model": "irregular_bounding_box" } }, "expected_verdict": "FITS", "verdict_granularity": "family", "reasoning": "An irregular item is represented explicitly as a conservative bounding box through a multi-step path.", "created_at": "2026-08-20", "corpus_revision_added": 6, "session09_coverage": [ "irregular_item", "multi_step", "false_positive_partial_support" ] }, { "id": "stairs-0007", "supersedes": "stairs-0001", "solver": "stairs", "evidence_class": "direct_geometry", "inputs": { "item": { "w": 0.6, "d": 0.4, "h": 1, "unit": "m" }, "space": { "w": 1.1, "h": 2.4, "unit": "m", "has_turn": false, "stairGeometry": { "unit": "m", "headroom": 2.4, "handrailCount": 0 } } }, "expected_verdict": "UNKNOWN", "verdict_granularity": "exact", "reasoning": "Width and headroom alone do not establish a straight stair carry: measured riser/tread, floor and ceiling profiles, carry pitch, and entry/exit staging are absent. No obstruction is proved either; the verdict must remain UNKNOWN.", "created_at": "2026-09-09", "corpus_revision_added": 8, "session09_coverage": [ "stairs_straight" ] }, { "id": "stairs-0008", "supersedes": "stairs-0002", "solver": "stairs", "evidence_class": "direct_geometry", "inputs": { "item": { "w": 60, "d": 40, "h": 100, "unit": "cm" }, "space": { "w": 110, "h": 240, "unit": "cm", "has_turn": true, "turn_angle": 90, "stairGeometry": { "unit": "cm", "headroom": 240, "landing_width": 130, "landing_depth": 130, "hasLanding": true, "handrailCount": 0 } } }, "expected_verdict": "UNKNOWN", "verdict_granularity": "exact", "reasoning": "A measured 90-degree landing rectangle does not establish a continuous carry through the stair flights and landing. Flight profiles, pitch and entry/exit staging are absent; UNKNOWN is required.", "created_at": "2026-09-09", "corpus_revision_added": 8, "session09_coverage": [ "stairs_l_turn", "stairs_landing", "unit_edge_cm" ] }, { "id": "stairs-0009", "supersedes": "stairs-0003", "solver": "stairs", "evidence_class": "direct_geometry", "inputs": { "item": { "w": 600, "d": 400, "h": 1000, "unit": "mm" }, "space": { "w": 1100, "h": 2400, "unit": "mm", "has_turn": true, "turn_angle": 180, "stairGeometry": { "unit": "mm", "headroom": 2400, "landing_width": 1300, "landing_depth": 1300, "hasLanding": true, "handrailCount": 0 } } }, "expected_verdict": "UNKNOWN", "verdict_granularity": "exact", "reasoning": "A measured 180-degree landing rectangle does not establish a continuous carry through both flights and the reversal. Flight profiles, pitch and entry/exit staging are absent; UNKNOWN is required.", "created_at": "2026-09-09", "corpus_revision_added": 8, "session09_coverage": [ "stairs_u_turn" ] }, { "id": "stairs-0010", "supersedes": "stairs-0004", "solver": "stairs", "evidence_class": "edge_case", "inputs": { "item": { "w": 600, "d": 400, "h": 1000, "unit": "mm" }, "space": { "w": 1100, "h": 800, "unit": "mm", "has_turn": false, "stairGeometry": { "unit": "mm", "headroom": 800, "handrailCount": 0 } } }, "expected_verdict": "UNKNOWN", "verdict_granularity": "exact", "reasoning": "An 800mm headroom measurement alone cannot establish a tight swept stair clearance. Without measured flight profiles, pitch and entry/exit staging, neither a complete carry nor an obstruction is proved; UNKNOWN is required.", "created_at": "2026-09-09", "corpus_revision_added": 8, "session09_coverage": [ "stairs_headroom", "false_positive_narrow_margin" ] }, { "id": "stairs-0011", "supersedes": "stairs-0005", "solver": "stairs", "evidence_class": "edge_case", "inputs": { "item": { "w": 600, "d": 400, "h": 1000, "unit": "mm" }, "space": { "w": 1100, "h": 2400, "unit": "mm", "has_turn": false, "stairGeometry": { "unit": "mm", "headroom": 2400, "handrailCount": 2, "handrailProtrusion": 250 } } }, "expected_verdict": "UNKNOWN", "verdict_granularity": "exact", "reasoning": "Measured handrail intrusions establish usable width only. They do not establish the missing flight profiles, pitch and entry/exit staging needed for a continuous carry; UNKNOWN is required.", "created_at": "2026-09-09", "corpus_revision_added": 8, "session09_coverage": [ "stairs_railings" ] }, { "id": "stairs-0012", "supersedes": "stairs-0006", "solver": "stairs", "evidence_class": "edge_case", "inputs": { "item": { "w": 2, "d": 1.5, "h": 3, "unit": "ft" }, "space": { "w": 3.5, "h": 7, "unit": "ft", "has_turn": false, "stairGeometry": { "unit": "in", "headroom": 84, "handrailCount": 0 } } }, "expected_verdict": "UNKNOWN", "verdict_granularity": "exact", "reasoning": "Feet/inches conversion preserves the supplied width and headroom but cannot supply missing flight profiles, pitch or entry/exit staging. A complete stair carry remains unproved; UNKNOWN is required.", "created_at": "2026-09-09", "corpus_revision_added": 8, "session09_coverage": [ "unit_edge_feet_inches" ] }, { "id": "hybrid-0007", "supersedes": "hybrid-0006", "solver": "hybrid", "evidence_class": "edge_case", "inputs": { "item": { "name": "irregular sofa bounding box", "w": 2100, "d": 900, "h": 850, "unit": "mm" }, "space": { "type": "room", "w": 4000, "d": 4000, "h": 2500, "unit": "mm" }, "path": [ { "type": "doorway", "w": 1000, "h": 2100, "unit": "mm" }, { "type": "stairs", "w": 1200, "h": 2400, "unit": "mm" } ] }, "options": { "classification": { "model": "irregular_bounding_box" } }, "expected_verdict": "UNKNOWN", "verdict_granularity": "exact", "reasoning": "A doorway and destination room fit cannot establish passage through the intermediate stairs. That leg supplies only width and height, without measured flight profiles or entry/exit staging; the composed path must remain UNKNOWN.", "created_at": "2026-09-09", "corpus_revision_added": 8, "session09_coverage": [ "irregular_item", "multi_step", "false_positive_partial_support" ] } ], "failure_ledger": [ { "case_id": "hybrid-0001", "class": "solver_bug", "resolution": "fixed", "opened_at": "2026-07-06", "fixed_in": "2026-07-13 — hybrid-pipeline path-orientation → floor-footprint contract (toFloorFootprint + fail-open extractFeasibleOrientations)", "note": "Prod fit-check f4b5b669-f4b0-48b9-ac0f-8c6efb550e69 (user_feedback='inaccurate'). Every leaf solver returned FITS; the hybrid composition returned DOESNT_FIT carrying a POSITIVE +635mm margin. Root cause: faceToFloorFootprint switched on `orientation.face`, which only the opening solver emits — hallway/turn/stairs/elevator legs fell to a default branch that produced a {0,0} floor footprint, which then eliminated every room orientation (no_valid_orientation_after_path_filter) and fabricated a confident DOESNT_FIT. Fixed by deriving the footprint from the carried (across × along) axes for every path-solver orientation shape, and by failing OPEN (no orientation filter) rather than closed when a leg's shape cannot be read. Investigation: docs/investigation-2026-07-06-turn-multistep-composition-doesnt-fit.md. Regression guards: hybrid-0002 + hybrid-0003 (a genuine block must still block) and tests/hybrid-path-footprint-contract.test.js." }, { "case_id": "hybrid-0004", "class": "solver_bug", "resolution": "fixed", "opened_at": "2026-07-13", "fixed_in": "2026-07-13 — carry-pose ≠ resting-pose (hybrid-pipeline _reorientInside) + honest no_permitted_orientation branch (room-solver)", "note": "Found while fixing hybrid-0001: the fabricated proof card it produced ('a 3659mm item in a 3658mm room' — an item dimension 1mm larger than the room, invented so a failing axis card could be rendered) was the fingerprint of a SECOND wrong verdict, not merely bad presentation. A 7'2\" bookshelf that can only clear a 6'8\" door lying flat has a CARRY footprint of (width × HEIGHT); the room and capacity solvers rest a rigid item on its (width × depth) base, always. Feeding the carry footprint in as a resting-orientation whitelist matched no orientation, eliminated every placement, and returned DOESNT_FIT at HIGH confidence for a bookshelf with metres of floor to spare. Fixed by only constraining the resting orientation when the item is actually carried in its resting pose (otherwise it is turned upright inside — surfaced as an explicit assumption), by failing OPEN in room-solver on a pose-basis mismatch, and by never fabricating a dimension or reporting a -1 sentinel as a clearance. The proof contract requiring a limiting card with a real margin was the signal the verdict was unjustifiable — satisfying it required lying. Regression guards: hybrid-0004, tests/hybrid-path-footprint-contract.test.js, src/lib/ai/solvers/__tests__/room-proof-steps.test.js." }, { "date": "2026-09-09", "case_id": "elevator-0005", "class": "corpus_correction", "resolution": "corpus_corrected", "superseded_by": "elevator-0009", "note": "The original axis-only rejection is not an all-orientation obstruction: a 2400mm axis exceeding each cab axis rules out axis-aligned placement only. The item diagonal is about 2546mm, below the cab diagonal of about 3177mm, and the 600mm minimum dimension clears the door and cab. These necessary bounds do not prove a fit either. Combined insertion, tilt and turning have no established entry-path witness or impossibility proof, so this access check must remain UNKNOWN. Corrected after the access-path proof guards in 686376bd9 exposed the stale expectation during deployment prebuild. Original inputs and row remain immutable; no solver bypass or open-bug exemption added." }, { "date": "2026-09-09", "case_id": "turn-0004", "class": "corpus_correction", "resolution": "corpus_corrected", "superseded_by": "turn-0010", "note": "The original claim that a 6000mm pole cannot turn even tilted is unsupported without a measured ceiling or a restriction forbidding tilt. With sufficient headroom it could stand on its 400x400mm end and pass an 800mm corner. Failure of the checked planar and default-height tilt strategies therefore proves neither impossibility nor a feasible measured path; UNKNOWN is required. Corrected after the access-path proof guards in 686376bd9 exposed the stale expectation during deployment prebuild. Original inputs and row remain immutable; no solver bypass or open-bug exemption added." }, { "date": "2026-09-09", "case_id": "stairs-0001", "class": "corpus_correction", "resolution": "corpus_corrected", "superseded_by": "stairs-0007", "note": "Width and headroom alone do not establish a straight stair carry: measured riser/tread, floor and ceiling profiles, carry pitch, and entry/exit staging are absent. No obstruction is proved either; the verdict must remain UNKNOWN. Corrected stale positive expectations after the access-path proof guards. Original inputs and rows remain immutable; no solver bypass or open-bug exemption added." }, { "date": "2026-09-09", "case_id": "stairs-0002", "class": "corpus_correction", "resolution": "corpus_corrected", "superseded_by": "stairs-0008", "note": "A measured 90-degree landing rectangle does not establish a continuous carry through the stair flights and landing. Flight profiles, pitch and entry/exit staging are absent; UNKNOWN is required. Corrected stale positive expectations after the access-path proof guards. Original inputs and rows remain immutable; no solver bypass or open-bug exemption added." }, { "date": "2026-09-09", "case_id": "stairs-0003", "class": "corpus_correction", "resolution": "corpus_corrected", "superseded_by": "stairs-0009", "note": "A measured 180-degree landing rectangle does not establish a continuous carry through both flights and the reversal. Flight profiles, pitch and entry/exit staging are absent; UNKNOWN is required. Corrected stale positive expectations after the access-path proof guards. Original inputs and rows remain immutable; no solver bypass or open-bug exemption added." }, { "date": "2026-09-09", "case_id": "stairs-0004", "class": "corpus_correction", "resolution": "corpus_corrected", "superseded_by": "stairs-0010", "note": "An 800mm headroom measurement alone cannot establish a tight swept stair clearance. Without measured flight profiles, pitch and entry/exit staging, neither a complete carry nor an obstruction is proved; UNKNOWN is required. Corrected stale positive expectations after the access-path proof guards. Original inputs and rows remain immutable; no solver bypass or open-bug exemption added." }, { "date": "2026-09-09", "case_id": "stairs-0005", "class": "corpus_correction", "resolution": "corpus_corrected", "superseded_by": "stairs-0011", "note": "Measured handrail intrusions establish usable width only. They do not establish the missing flight profiles, pitch and entry/exit staging needed for a continuous carry; UNKNOWN is required. Corrected stale positive expectations after the access-path proof guards. Original inputs and rows remain immutable; no solver bypass or open-bug exemption added." }, { "date": "2026-09-09", "case_id": "stairs-0006", "class": "corpus_correction", "resolution": "corpus_corrected", "superseded_by": "stairs-0012", "note": "Feet/inches conversion preserves the supplied width and headroom but cannot supply missing flight profiles, pitch or entry/exit staging. A complete stair carry remains unproved; UNKNOWN is required. Corrected stale positive expectations after the access-path proof guards. Original inputs and rows remain immutable; no solver bypass or open-bug exemption added." }, { "date": "2026-09-09", "case_id": "hybrid-0006", "class": "corpus_correction", "resolution": "corpus_corrected", "superseded_by": "hybrid-0007", "note": "A doorway and destination room fit cannot establish passage through the intermediate stairs. That leg supplies only width and height, without measured flight profiles or entry/exit staging; the composed path must remain UNKNOWN. Corrected stale positive expectations after the access-path proof guards. Original inputs and rows remain immutable; no solver bypass or open-bug exemption added." }, { "date": "2026-09-18", "case_id": "stairs-0007", "class": "corpus_correction", "resolution": "corpus_corrected", "superseded_by": "stairs-0013", "note": "The owner reversed the stair half of decision D3 on 2026-09-18 (docs/2026-09-18-stair-grid-answers-p0-handoff.md; merged in b8c42d9d7, bfe354f29 and 5c8ac48f5): stair width and headroom, measured or from a picked stair type, are enough to answer, and answers built on typical data are hedged downstream by hedgeStairTypicalVerdict instead of withheld. The 2026-09-09 UNKNOWN/clarification expectation is therefore stale. It surfaced when the deployment prebuild ran after those merges, because the stair-P0 verification gates did not include this corpus. The superseding row restores the pre-2026-09-09 expectation with identical inputs. Original rows are unchanged; no solver bypass or open-defect exemption was added." }, { "date": "2026-09-18", "case_id": "stairs-0008", "class": "corpus_correction", "resolution": "corpus_corrected", "superseded_by": "stairs-0014", "note": "The owner reversed the stair half of decision D3 on 2026-09-18 (docs/2026-09-18-stair-grid-answers-p0-handoff.md; merged in b8c42d9d7, bfe354f29 and 5c8ac48f5): stair width and headroom, measured or from a picked stair type, are enough to answer, and answers built on typical data are hedged downstream by hedgeStairTypicalVerdict instead of withheld. The 2026-09-09 UNKNOWN/clarification expectation is therefore stale. It surfaced when the deployment prebuild ran after those merges, because the stair-P0 verification gates did not include this corpus. The superseding row restores the pre-2026-09-09 expectation with identical inputs. Original rows are unchanged; no solver bypass or open-defect exemption was added." }, { "date": "2026-09-18", "case_id": "stairs-0009", "class": "corpus_correction", "resolution": "corpus_corrected", "superseded_by": "stairs-0015", "note": "The owner reversed the stair half of decision D3 on 2026-09-18 (docs/2026-09-18-stair-grid-answers-p0-handoff.md; merged in b8c42d9d7, bfe354f29 and 5c8ac48f5): stair width and headroom, measured or from a picked stair type, are enough to answer, and answers built on typical data are hedged downstream by hedgeStairTypicalVerdict instead of withheld. The 2026-09-09 UNKNOWN/clarification expectation is therefore stale. It surfaced when the deployment prebuild ran after those merges, because the stair-P0 verification gates did not include this corpus. The superseding row restores the pre-2026-09-09 expectation with identical inputs. Original rows are unchanged; no solver bypass or open-defect exemption was added." }, { "date": "2026-09-18", "case_id": "stairs-0010", "class": "corpus_correction", "resolution": "corpus_corrected", "superseded_by": "stairs-0016", "note": "The owner reversed the stair half of decision D3 on 2026-09-18 (docs/2026-09-18-stair-grid-answers-p0-handoff.md; merged in b8c42d9d7, bfe354f29 and 5c8ac48f5): stair width and headroom, measured or from a picked stair type, are enough to answer, and answers built on typical data are hedged downstream by hedgeStairTypicalVerdict instead of withheld. The 2026-09-09 UNKNOWN/clarification expectation is therefore stale. It surfaced when the deployment prebuild ran after those merges, because the stair-P0 verification gates did not include this corpus. The superseding row restores the pre-2026-09-09 expectation with identical inputs. Original rows are unchanged; no solver bypass or open-defect exemption was added." }, { "date": "2026-09-18", "case_id": "stairs-0011", "class": "corpus_correction", "resolution": "corpus_corrected", "superseded_by": "stairs-0017", "note": "The owner reversed the stair half of decision D3 on 2026-09-18 (docs/2026-09-18-stair-grid-answers-p0-handoff.md; merged in b8c42d9d7, bfe354f29 and 5c8ac48f5): stair width and headroom, measured or from a picked stair type, are enough to answer, and answers built on typical data are hedged downstream by hedgeStairTypicalVerdict instead of withheld. The 2026-09-09 UNKNOWN/clarification expectation is therefore stale. It surfaced when the deployment prebuild ran after those merges, because the stair-P0 verification gates did not include this corpus. The superseding row restores the pre-2026-09-09 expectation with identical inputs. Original rows are unchanged; no solver bypass or open-defect exemption was added." }, { "date": "2026-09-18", "case_id": "stairs-0012", "class": "corpus_correction", "resolution": "corpus_corrected", "superseded_by": "stairs-0018", "note": "The owner reversed the stair half of decision D3 on 2026-09-18 (docs/2026-09-18-stair-grid-answers-p0-handoff.md; merged in b8c42d9d7, bfe354f29 and 5c8ac48f5): stair width and headroom, measured or from a picked stair type, are enough to answer, and answers built on typical data are hedged downstream by hedgeStairTypicalVerdict instead of withheld. The 2026-09-09 UNKNOWN/clarification expectation is therefore stale. It surfaced when the deployment prebuild ran after those merges, because the stair-P0 verification gates did not include this corpus. The superseding row restores the pre-2026-09-09 expectation with identical inputs. Original rows are unchanged; no solver bypass or open-defect exemption was added." }, { "date": "2026-09-18", "case_id": "hybrid-0007", "class": "corpus_correction", "resolution": "corpus_corrected", "superseded_by": "hybrid-0008", "note": "The owner reversed the stair half of decision D3 on 2026-09-18 (docs/2026-09-18-stair-grid-answers-p0-handoff.md; merged in b8c42d9d7, bfe354f29 and 5c8ac48f5): stair width and headroom, measured or from a picked stair type, are enough to answer, and answers built on typical data are hedged downstream by hedgeStairTypicalVerdict instead of withheld. The 2026-09-09 UNKNOWN/clarification expectation is therefore stale. It surfaced when the deployment prebuild ran after those merges, because the stair-P0 verification gates did not include this corpus. The superseding row restores the pre-2026-09-09 expectation with identical inputs. Original rows are unchanged; no solver bypass or open-defect exemption was added." } ] }