Record passing complete-scene probe and preserved warning failures

2026-10-01 17:55:57 -07:00
parent f754ad85d3
commit 971b9721c3
14 changed files with 14721 additions and 3 deletions
@@ -12,7 +12,7 @@ The existing router already penalizes crossings/shared segments and avoids some

 An independently audited historical full-scene witness from the published #32 corpus has ten nodes and fourteen real exchanges. Two edges share a run beyond a common port lead, without node, label or port occlusion at the sampled point. Both have distinct labels and unshared segments elsewhere. This establishes an ambiguous target at that point, **not a globally inaccessible relation**. Regeneration and input through the current application remain necessary; recorded geometry and a picking-helper test are insufficient.

-The [prepared probe, fixtures and independent source review](experiments/diagram-readability-20260929/README.md) make those assumptions executable. Review corrected an initial port-hit radius assumption and a five-edge omission from the representative answer key. The mixed-layer eight-card view has twelve actual relationships and uses Traceability, which flattens visual parents; it is not evidence for nested/folded controls. Current execution and native workflows remain separate gates.
+The [probe, fixtures and independent source review](experiments/diagram-readability-20260929/README.md) make those assumptions executable. Review corrected an initial port-hit radius assumption, a five-edge omission from the representative answer key and an incomplete warning baseline. [Current-router execution](experiments/diagram-readability-20260929/run-results.md) passes five tests and reproduces the historical overlap without changing the model. The mixed-layer eight-card view has twelve actual relationships and uses Traceability, which flattens visual parents; it is not evidence for nested/folded controls. Native reading/editing workflows remain a separate gate.

 ## Alternatives and decision boundary

@@ -1,2 +1,3 @@
 # Preserve checksum-bound fixtures and provenance through Git round trips.
 *.json -text whitespace=cr-at-eol
+run-f754/*.log -text whitespace=-blank-at-eol,-blank-at-eof,cr-at-eol
@@ -93,6 +93,11 @@ Inherited navigation defects (#43) must be recorded separately from routing (#38

 ## Run and review

+The first completed current-router run at `f754ad85` passes all five tests and
+both generation/query commands. [Results and independent interpretation](run-results.md)
+link exact artifacts and retained warning-baseline failures. Native workflows
+and any production improvement remain unverified.
+
 From the pinned worktree, with a fresh output path:

 ```powershell
@@ -1,6 +1,6 @@
 {
  "declared_base": "715036e132677dd2bc2fb37ed316d93dc9987aec",
-  "status": "Initial probe compilation succeeded at 2aac3e83532166dc45cd3519cc5d89b3e84d57f3; first test run: 1 passed, 4 failed due to incomplete expected warnings. Source-derived baseline corrected to 60; rerun and geometry generation pending.",
+  "status": "Completed Windows current-router run at f754ad85d3674a709d10054e6fe23079f977c547: formatting, five tests, generation and separate query pass. Initial failed24 run preserved; native workflows remain unverified. See run-results.md and run-f754/receipt.json.",
  "files": [
    {
      "path": "crates/oa-core/src/model.rs",
@@ -100,4 +100,4 @@
    "rationale": "warning-baseline-review.md"
  },
  "baseline_review": "Independent critic verified all 60 exact rows, no duplicates, original 24 rows unchanged, and original input hash preserved. Rerun pending."
-}
+}
@@ -0,0 +1,3 @@
+   Compiling oa-core v0.2.0 (C:\ar-diagram-01a0d717\crates\oa-core)
+    Finished `dev` profile [unoptimized] target(s) in 1.97s
+     Running `C:\Users\User\Documents\Git\ARCADIA-Studio\.local\target-gnullvm\debug\examples\diagram_readability_probe.exe generate .local/issue38-probe-run01`
@@ -0,0 +1,2 @@
+    Finished `dev` profile [unoptimized] target(s) in 0.28s
+     Running `C:\Users\User\Documents\Git\ARCADIA-Studio\.local\target-gnullvm\debug\examples\diagram_readability_probe.exe probe harness/experiments/diagram-readability-20260929/mixed-dispatch-original.json harness/experiments/diagram-readability-20260929/mixed-dispatch-expected-diagnostics.json 00000000-0000-0000-0000-0000000186a1 1982 375 1 .local/issue38-probe-query01.json`
@@ -0,0 +1,60 @@
+{
+  "source": "f754ad85d3674a709d10054e6fe23079f977c547",
+  "recorded_utc": "2026-10-02T00:55:33.621109+00:00",
+  "compiler": "rustc 1.98.1 (48a229cea 2026-09-01)",
+  "target": "x86_64-pc-windows-gnullvm",
+  "profile": "dev/unoptimized",
+  "executable": {
+    "bytes": 22633984,
+    "sha256": "d94f86b2f4af594b27960cfa169fd681adb9b3a5eae2928dd72c541bc2db1c57"
+  },
+  "artifacts": {
+    "mixed-dispatch-geometry.json": {
+      "bytes": 122181,
+      "sha256": "651707cba81ae78802cd21bd1aacc9b58a7b9239953f7395cef3b2fb8a5aa5ee"
+    },
+    "eight-card-representative-geometry.json": {
+      "bytes": 206818,
+      "sha256": "2c3e86e58f48272b818e764a339902599b502cb8b718f3ed8de8593651682f2c"
+    },
+    "query-mixed.json": {
+      "bytes": 158526,
+      "sha256": "09cffd48e67f619d5bb9edd8e684d0dba5289b303de4d2cf118b0ec670d8e9b7"
+    },
+    "fmt.log": {
+      "bytes": 0,
+      "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855"
+    },
+    "tests.log": {
+      "bytes": 837,
+      "sha256": "b15549bf4400aa71fe7944bf53772dde1772aae74b89f3bce48f406cdbe0d3b9"
+    },
+    "generate.log": {
+      "bytes": 292,
+      "sha256": "3ca7a0a6b3b4181783bf7e15fea141ef5bc93fcb18e5697f87fec9372ede9085"
+    },
+    "query.log": {
+      "bytes": 443,
+      "sha256": "247d833a9438a0acd61f4a98a587475349033789fed9ed5d7d3eb22ff8a89949"
+    },
+    "initial-failed24.log": {
+      "bytes": 54395,
+      "sha256": "897de362a2d001a83a6880138bc498a28b92602a350ac25405ee38fe81124cc8"
+    }
+  },
+  "results": {
+    "fmt_exit": 0,
+    "tests_exit": 0,
+    "tests_passed": 5,
+    "generate_exit": 0,
+    "query_exit": 0,
+    "historical_witness_reproduced": true
+  },
+  "commands": [
+    "cargo fmt --all -- --check",
+    "cargo test --locked -p oa-core --example diagram_readability_probe",
+    "cargo run --locked -p oa-core --example diagram_readability_probe -- generate .local/issue38-probe-run01",
+    "cargo run --locked -p oa-core --example diagram_readability_probe -- probe harness/experiments/diagram-readability-20260929/mixed-dispatch-original.json harness/experiments/diagram-readability-20260929/mixed-dispatch-expected-diagnostics.json 00000000-0000-0000-0000-0000000186a1 1982 375 1 .local/issue38-probe-query01.json"
+  ],
+  "limits": "Headless full-scene geometry and conservation checks only; no native usability, selection, edit/history/save acceptance or production change."
+}
@@ -0,0 +1,13 @@
+   Compiling oa-core v0.2.0 (C:\ar-diagram-01a0d717\crates\oa-core)
+    Finished `test` profile [unoptimized] target(s) in 2.39s
+     Running unittests examples\diagram_readability_probe.rs (C:\Users\User\Documents\Git\ARCADIA-Studio\.local\target-gnullvm\debug\examples\diagram_readability_probe-6772f474561e0ccd.exe)
+
+running 5 tests
+test tests::analytical_query_controls_distinguish_edges_segments_and_labels ... ok
+test tests::complete_scene_preserves_semantics_sentinel_and_authored_route ... ok
+test tests::square_port_corner_is_occluded_even_outside_ten_unit_circle ... ok
+test tests::unexpected_diagnostics_and_invalid_source_fail_closed ... ok
+test tests::representative_preserves_every_original_record_and_view ... ok
+
+test result: ok. 5 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.28s
+
@@ -0,0 +1,39 @@
+# Current-router full-scene evidence
+
+Source `f754ad85d3674a709d10054e6fe23079f977c547` passes formatting, all five
+probe tests, fixture generation and the separate declared-point query on Windows
+gnullvm. [Receipt and raw logs](run-f754/receipt.json) bind the executable hash,
+compiler, commands and artifacts. The original one-pass/four-failure warning
+admission run remains preserved; [source-derived correction](warning-baseline-review.md)
+and independent record review establish the exact 60-warning fixture baseline.
+No model or production validator changed.
+
+The current router reproduces the historical witness: two real exchanges
+`...01adb8` and `...01adb9` share a 78-unit run at x1982, y336..414. Query
+`(1982,375)` at zoom1 finds both at distance zero and no reported node, port,
+ordinary-label or association-label occluder. Both also retain distinct label
+and line samples elsewhere. This is point ambiguity, not global inaccessibility.
+
+Independent read-only review verified all recorded input/source hashes, complete
+answer-key inventories and Project conservation. The mixed scene has ten nodes
+and fourteen routes; its authored feedback and sentinel view remain intact. The
+representative scene has eight nodes and twelve routes; removing its added view
+recovers the original Project exactly. JSON expansion of an authored f32 `.4`
+to `.4000000059604645` reflects serialization, not a changed model value.
+
+The representative contains two unlabeled PortAllocations sharing x1065,
+y89.5..361, with a ChainInvolvement six world units away. At `(1065,200)` the two
+PortAllocations are coincident and the ChainInvolvement is at distance6. At
+`(1065,430)` the latter PortAllocation is at zero and ChainInvolvement at six;
+`(1071,430)` reverses those distances. The conservative alternate-access probe
+finds no single-candidate samples for either PortAllocation. Production chooses
+the nearest segment before selection/identity ties, so this result does not
+establish native inaccessibility. These are useful distance and tie controls.
+
+The Technician service conversation's label center is 134.5 units horizontally
+displaced from its route anchor, providing a local label-association repair case.
+Native evaluation should first record unaided tracing, then deliberate selection
+with coincident and distance controls, label/bend repair, cancellation, exact
+Undo/Redo/save/reopen, and drawing a valid relationship in the populated scene.
+Inspector lookup does not count as unaided reading. No routing candidate or GUI
+workflow has been accepted from this headless evidence.