Freeze byte-identical independent routing inputs and review
This commit is contained in:
@@ -0,0 +1 @@
|
||||
* -text
|
||||
@@ -35,13 +35,13 @@ Any completed warmup/measured call above5s censors the case and stops its remain
|
||||
|
||||
Complete this fixed comparison once, investigate concrete correctness or measurement defects, and stop parameter tuning. Prefer the simpler J if L has no independently observable task benefit or exceeds the timing guardrails. Keep L experimental or discard it rather than add permanent settings to preserve sunk work. If none meets the rubric, report the failing constraint and choose the smallest conceptually different next experiment; do not quietly extend the corpus until a winner emerges. Production Command::Layout/reset integration, Undo/Redo/Save, desktop input behavior and native acceptance remain subsequent gates.
|
||||
|
||||
Driver/corpus source review is pending their readiness; this rubric makes no claim that they already implement these checks.
|
||||
Driver/corpus source review is pending their readiness; this rubric makes no claim that they already implement these checks.
|
||||
|
||||
## Ready driver source review
|
||||
|
||||
Reviewed `crates/oa-core/examples/routing_cost_probe.rs` SHA256 `90ad27099a9486e9a7d45460bc9b66930e35d8336e3007fc30f90b48d88407d4` before compilation. No blocking source defect found for this protocol. The timer encloses routing plus result black_box; projection, parsing, cloned input, result equality/digest/serialization/destruction are outside. Seven full RoutedViews compare to warmup, with endpoint comparisons additionally emitted. Both warmup and samples can censor; median is absent for incomplete cases and stability_observed is false when warmup prevented all measured calls. Schema requires description in each case in addition to name/project_file/diagram. Paths are canonicalized under the manifest directory and duplicate case names reject.
|
||||
|
||||
The driver's censored case can still finish with process exit0 by design. External acceptance must require every expected case, complete=true, censored=false, seven measured samples, all equality flags true and project_unchanged=true; do not equate exit0 with responsiveness. A finite external process timeout is still required. The digest is correctly labeled noncryptographic; external corpus/source/binary hashes remain necessary. No execution occurred during this review. Corpus source review remains pending readiness.
|
||||
The driver's censored case can still finish with process exit0 by design. External acceptance must require every expected case, complete=true, censored=false, seven measured samples, all equality flags true and project_unchanged=true; do not equate exit0 with responsiveness. A finite external process timeout is still required. The digest is correctly labeled noncryptographic; external corpus/source/binary hashes remain necessary. No execution occurred during this review. Corpus source review remains pending readiness.
|
||||
|
||||
## Final corpus and probe source review before execution
|
||||
|
||||
@@ -61,4 +61,4 @@ The geometry mode validates nonempty unique cases, Project validity and diagram
|
||||
|
||||
The updated cost schema intentionally removes deny_unknown_fields, retaining additional corpus/case metadata in flattened maps and emitting those maps. This now accepts generator trace_tasks/source_counts/metadata without losing them. Required typed fields remain required. Clock and censor logic agree with the earlier review. Neither probe must claim that a zero exit status alone establishes all semantic constraints or timing acceptance. External exact corpus/binary hashes and timeout remain necessary.
|
||||
|
||||
The geometry loader's relative-component check is less strict than the timing loader's canonical containment check (a symlink could resolve outside); for these parent-generated frozen ordinary files this is not a blocker. Both must read the same hashed files. No request is made for unrelated loader architecture or extra fixture families before the finite run.
|
||||
The geometry loader's relative-component check is less strict than the timing loader's canonical containment check (a symlink could resolve outside); for these parent-generated frozen ordinary files this is not a blocker. Both must read the same hashed files. No request is made for unrelated loader architecture or extra fixture families before the finite run.
|
||||
|
||||
@@ -0,0 +1,271 @@
|
||||
{
|
||||
"cases": [
|
||||
{
|
||||
"description": "Saved coastal rescue Allocation view, all source records retained.",
|
||||
"diagram": "cb21862d-79e1-5a9d-bdf0-ee344c2fb219",
|
||||
"metadata": {
|
||||
"source": "examples/routing-workshop.json",
|
||||
"view_alias": "sa_system_boundary_and_functions"
|
||||
},
|
||||
"name": "workshop_sa_original",
|
||||
"project_file": "workshop_sa_original.json",
|
||||
"source_counts": {
|
||||
"elements": 75,
|
||||
"relations": 62,
|
||||
"selected_view_authored_routes": 0,
|
||||
"selected_view_placements": 12,
|
||||
"views": 6
|
||||
},
|
||||
"trace_tasks": [
|
||||
{
|
||||
"alias": "sa_report_to_relay",
|
||||
"edge": "4678335a-04ae-5a19-a302-ea583bdd6c65",
|
||||
"name": "Report to relay",
|
||||
"source": "f5497540-43a7-5573-826b-61eb7e4760a9",
|
||||
"target": "8b23ecf0-f5ce-57cf-8bce-8e0c08f89436"
|
||||
},
|
||||
{
|
||||
"alias": "sa_direct_advice",
|
||||
"edge": "956d5b0a-1e34-518f-b46d-425751998bbc",
|
||||
"name": "Direct advice",
|
||||
"source": "b8896811-d893-50fc-b695-d2ee07dae9e3",
|
||||
"target": "febf00a2-efed-5faf-b8c2-5d4bc77ddb53"
|
||||
},
|
||||
{
|
||||
"alias": "sa_incident_decision",
|
||||
"edge": "526753bc-88b0-5322-bffc-1b36376becf1",
|
||||
"name": "Incident decision",
|
||||
"source": "b05744bd-4dce-54b7-a9ff-8861d11dc1e0",
|
||||
"target": "b8896811-d893-50fc-b695-d2ee07dae9e3"
|
||||
}
|
||||
]
|
||||
},
|
||||
{
|
||||
"description": "Same saved Project with only rescue_coordination_system placement folded.",
|
||||
"diagram": "cb21862d-79e1-5a9d-bdf0-ee344c2fb219",
|
||||
"metadata": {
|
||||
"folded_element": "30fc41ea-fc3d-5b57-9a05-67b14425fad9",
|
||||
"folded_placement": "75920e7a-4586-58b7-9eb2-7e0a3d8a1825",
|
||||
"source": "examples/routing-workshop.json",
|
||||
"unfold_restores_original_exact": true
|
||||
},
|
||||
"name": "workshop_sa_folded",
|
||||
"project_file": "workshop_sa_folded.json",
|
||||
"source_counts": {
|
||||
"elements": 75,
|
||||
"relations": 62,
|
||||
"selected_view_authored_routes": 0,
|
||||
"selected_view_placements": 12,
|
||||
"views": 6
|
||||
},
|
||||
"trace_tasks": [
|
||||
{
|
||||
"alias": "sa_report_to_relay",
|
||||
"edge": "4678335a-04ae-5a19-a302-ea583bdd6c65",
|
||||
"name": "Report to relay",
|
||||
"source": "f5497540-43a7-5573-826b-61eb7e4760a9",
|
||||
"target": "8b23ecf0-f5ce-57cf-8bce-8e0c08f89436"
|
||||
},
|
||||
{
|
||||
"alias": "sa_direct_advice",
|
||||
"edge": "956d5b0a-1e34-518f-b46d-425751998bbc",
|
||||
"name": "Direct advice",
|
||||
"source": "b8896811-d893-50fc-b695-d2ee07dae9e3",
|
||||
"target": "febf00a2-efed-5faf-b8c2-5d4bc77ddb53"
|
||||
},
|
||||
{
|
||||
"alias": "sa_incident_decision",
|
||||
"edge": "526753bc-88b0-5322-bffc-1b36376becf1",
|
||||
"name": "Incident decision",
|
||||
"source": "b05744bd-4dce-54b7-a9ff-8861d11dc1e0",
|
||||
"target": "b8896811-d893-50fc-b695-d2ee07dae9e3"
|
||||
}
|
||||
]
|
||||
},
|
||||
{
|
||||
"description": "Ten-function sensing/decision/dispatch network, explicit port sharing and fixed anchors.",
|
||||
"diagram": "00000000-0000-0000-0000-0000000186a1",
|
||||
"metadata": {
|
||||
"authored_label_count_main": 1,
|
||||
"authored_waypoint_count_main": 1,
|
||||
"declared_feedback_cycle": [
|
||||
"00000000-0000-0000-0000-000000018704",
|
||||
"00000000-0000-0000-0000-000000018708",
|
||||
"00000000-0000-0000-0000-00000001870a",
|
||||
"00000000-0000-0000-0000-00000001870e",
|
||||
"00000000-0000-0000-0000-000000018710",
|
||||
"00000000-0000-0000-0000-000000018704"
|
||||
],
|
||||
"fixed_anchor_records": 6,
|
||||
"secondary_diagram": "00000000-0000-0000-0000-0000000186a2",
|
||||
"sentinel_edge": "00000000-0000-0000-0000-00000001adbd",
|
||||
"shared_input": "ebfcf690-4ac5-5976-864c-337d844b6cd6",
|
||||
"shared_outputs": [
|
||||
"9244d718-d53a-54cb-a920-5b5312576da6",
|
||||
"169224b3-b692-540d-ac73-1435e2a87b04"
|
||||
]
|
||||
},
|
||||
"name": "mixed_dispatch",
|
||||
"project_file": "mixed_dispatch.json",
|
||||
"source_counts": {
|
||||
"elements": 35,
|
||||
"relations": 14,
|
||||
"selected_view_authored_routes": 1,
|
||||
"selected_view_placements": 10,
|
||||
"views": 2
|
||||
},
|
||||
"trace_tasks": [
|
||||
{
|
||||
"alias": "flow_01",
|
||||
"edge": "00000000-0000-0000-0000-00000001adb1",
|
||||
"name": "Sensor B observations",
|
||||
"source": "00000000-0000-0000-0000-000000018706",
|
||||
"target": "00000000-0000-0000-0000-000000018708"
|
||||
},
|
||||
{
|
||||
"alias": "flow_03",
|
||||
"edge": "00000000-0000-0000-0000-00000001adb3",
|
||||
"name": "Archive incoming observations",
|
||||
"source": "00000000-0000-0000-0000-000000018708",
|
||||
"target": "00000000-0000-0000-0000-00000001870c"
|
||||
},
|
||||
{
|
||||
"alias": "flow_09",
|
||||
"edge": "00000000-0000-0000-0000-00000001adb9",
|
||||
"name": "Operator dispatch copy",
|
||||
"source": "00000000-0000-0000-0000-000000018712",
|
||||
"target": "00000000-0000-0000-0000-000000018716"
|
||||
},
|
||||
{
|
||||
"alias": "flow_13",
|
||||
"edge": "00000000-0000-0000-0000-00000001adbd",
|
||||
"name": "Sensor A sampling feedback",
|
||||
"source": "00000000-0000-0000-0000-000000018710",
|
||||
"target": "00000000-0000-0000-0000-000000018704"
|
||||
}
|
||||
]
|
||||
},
|
||||
{
|
||||
"description": "Same mixed Project with fixed reversed relation-ID permutation, remapped references.",
|
||||
"diagram": "00000000-0000-0000-0000-0000000186a1",
|
||||
"metadata": {
|
||||
"edge_id_correspondence": {
|
||||
"00000000-0000-0000-0000-00000001adb0": "00000000-0000-0000-0000-00000001adbd",
|
||||
"00000000-0000-0000-0000-00000001adb1": "00000000-0000-0000-0000-00000001adbc",
|
||||
"00000000-0000-0000-0000-00000001adb2": "00000000-0000-0000-0000-00000001adbb",
|
||||
"00000000-0000-0000-0000-00000001adb3": "00000000-0000-0000-0000-00000001adba",
|
||||
"00000000-0000-0000-0000-00000001adb4": "00000000-0000-0000-0000-00000001adb9",
|
||||
"00000000-0000-0000-0000-00000001adb5": "00000000-0000-0000-0000-00000001adb8",
|
||||
"00000000-0000-0000-0000-00000001adb6": "00000000-0000-0000-0000-00000001adb7",
|
||||
"00000000-0000-0000-0000-00000001adb7": "00000000-0000-0000-0000-00000001adb6",
|
||||
"00000000-0000-0000-0000-00000001adb8": "00000000-0000-0000-0000-00000001adb5",
|
||||
"00000000-0000-0000-0000-00000001adb9": "00000000-0000-0000-0000-00000001adb4",
|
||||
"00000000-0000-0000-0000-00000001adba": "00000000-0000-0000-0000-00000001adb3",
|
||||
"00000000-0000-0000-0000-00000001adbb": "00000000-0000-0000-0000-00000001adb2",
|
||||
"00000000-0000-0000-0000-00000001adbc": "00000000-0000-0000-0000-00000001adb1",
|
||||
"00000000-0000-0000-0000-00000001adbd": "00000000-0000-0000-0000-00000001adb0"
|
||||
},
|
||||
"inverse_recovers_original_exact": true,
|
||||
"paired_case": "mixed_dispatch",
|
||||
"secondary_diagram": "00000000-0000-0000-0000-0000000186a2"
|
||||
},
|
||||
"name": "mixed_dispatch_edge_ids_reversed",
|
||||
"project_file": "mixed_dispatch_edge_ids_reversed.json",
|
||||
"source_counts": {
|
||||
"elements": 35,
|
||||
"relations": 14,
|
||||
"selected_view_authored_routes": 1,
|
||||
"selected_view_placements": 10,
|
||||
"views": 2
|
||||
},
|
||||
"trace_tasks": [
|
||||
{
|
||||
"alias": "flow_01",
|
||||
"edge": "00000000-0000-0000-0000-00000001adbc",
|
||||
"name": "Sensor B observations",
|
||||
"source": "00000000-0000-0000-0000-000000018706",
|
||||
"target": "00000000-0000-0000-0000-000000018708"
|
||||
},
|
||||
{
|
||||
"alias": "flow_03",
|
||||
"edge": "00000000-0000-0000-0000-00000001adba",
|
||||
"name": "Archive incoming observations",
|
||||
"source": "00000000-0000-0000-0000-000000018708",
|
||||
"target": "00000000-0000-0000-0000-00000001870c"
|
||||
},
|
||||
{
|
||||
"alias": "flow_09",
|
||||
"edge": "00000000-0000-0000-0000-00000001adb4",
|
||||
"name": "Operator dispatch copy",
|
||||
"source": "00000000-0000-0000-0000-000000018712",
|
||||
"target": "00000000-0000-0000-0000-000000018716"
|
||||
},
|
||||
{
|
||||
"alias": "flow_13",
|
||||
"edge": "00000000-0000-0000-0000-00000001adb0",
|
||||
"name": "Sensor A sampling feedback",
|
||||
"source": "00000000-0000-0000-0000-000000018710",
|
||||
"target": "00000000-0000-0000-0000-000000018704"
|
||||
}
|
||||
]
|
||||
},
|
||||
{
|
||||
"description": "Five eight-stage subsystem chains with twenty directed cross-subsystem handoffs; all ports distinct.",
|
||||
"diagram": "00000000-0000-0000-0000-000000030d41",
|
||||
"metadata": {
|
||||
"all_exchange_ports_distinct": true,
|
||||
"chain_edges": 35,
|
||||
"cross_edges": 20,
|
||||
"grid_columns": 8,
|
||||
"grid_rows": 5,
|
||||
"groups": [
|
||||
"Sensing",
|
||||
"Communications",
|
||||
"Assessment",
|
||||
"Planning",
|
||||
"Delivery"
|
||||
],
|
||||
"stages": [
|
||||
"Acquire",
|
||||
"Decode",
|
||||
"Validate",
|
||||
"Enrich",
|
||||
"Aggregate",
|
||||
"Decide",
|
||||
"Package",
|
||||
"Publish"
|
||||
]
|
||||
},
|
||||
"name": "subsystems_40_sparse",
|
||||
"project_file": "subsystems_40_sparse.json",
|
||||
"source_counts": {
|
||||
"elements": 150,
|
||||
"relations": 55,
|
||||
"selected_view_authored_routes": 0,
|
||||
"selected_view_placements": 40,
|
||||
"views": 1
|
||||
},
|
||||
"trace_tasks": [
|
||||
{
|
||||
"alias": "flow_35",
|
||||
"edge": "00000000-0000-0000-0000-000000033473",
|
||||
"name": "Sensing Decode handoff to Communications Acquire",
|
||||
"source": "00000000-0000-0000-0000-000000030da6",
|
||||
"target": "00000000-0000-0000-0000-000000030db4"
|
||||
},
|
||||
{
|
||||
"alias": "flow_54",
|
||||
"edge": "00000000-0000-0000-0000-000000033486",
|
||||
"name": "Delivery Publish handoff to Sensing Package",
|
||||
"source": "00000000-0000-0000-0000-000000030df2",
|
||||
"target": "00000000-0000-0000-0000-000000030db0"
|
||||
}
|
||||
]
|
||||
}
|
||||
],
|
||||
"construction": "Source-authored positions/topology, no Layout/projection/routing calls; validate all before writing.",
|
||||
"definition_baseline": "f72aa2ca",
|
||||
"generation_in_routing_timing": false,
|
||||
"invariants": "Routing is read-only. Preserve all semantic records, port identities, fixed anchors, authored routes/labels, fold flags, and other views. ID permutation correspondence is explicit. No quality or automatic endpoint-side expectation.",
|
||||
"schema": 1
|
||||
}
|
||||
File diff suppressed because it is too large
Load Diff
+1144
File diff suppressed because it is too large
Load Diff
File diff suppressed because it is too large
Load Diff
File diff suppressed because it is too large
Load Diff
File diff suppressed because it is too large
Load Diff
@@ -0,0 +1,36 @@
|
||||
{
|
||||
"source_commit": "f0eae74912061455453acd7ec17e2ddbe498ee2c",
|
||||
"repeated_generation_byte_identical": true,
|
||||
"files": [
|
||||
{
|
||||
"path": "manifest.json",
|
||||
"bytes": 10593,
|
||||
"sha256": "a58a6956e26b414e88fafd4fdb92e006050653a4149178f08df84128e3917717"
|
||||
},
|
||||
{
|
||||
"path": "mixed_dispatch.json",
|
||||
"bytes": 32787,
|
||||
"sha256": "81d25af021cbad18af4262a220ba60372e51ca19083b7e80f2b19196baf05990"
|
||||
},
|
||||
{
|
||||
"path": "mixed_dispatch_edge_ids_reversed.json",
|
||||
"bytes": 32787,
|
||||
"sha256": "25c95be6b6e7ad9ebcdc83aacc13fbbaa5a56651ba2843f8d1658c075ed789f8"
|
||||
},
|
||||
{
|
||||
"path": "subsystems_40_sparse.json",
|
||||
"bytes": 124043,
|
||||
"sha256": "ad0ee7a0ab9c9f3c5f26a6d839f6627a82aa38858a3d5cc1ca87f5a8d795533e"
|
||||
},
|
||||
{
|
||||
"path": "workshop_sa_folded.json",
|
||||
"bytes": 102922,
|
||||
"sha256": "ea5fd285d11795e5e543e4144349c32c92a5b328b8c5e2d1be8b75b70703dc97"
|
||||
},
|
||||
{
|
||||
"path": "workshop_sa_original.json",
|
||||
"bytes": 102923,
|
||||
"sha256": "cc9b26390594513c11b3d85b768d244b2df8e7bed8cb76c4bdf0dc24db1d2ef6"
|
||||
}
|
||||
]
|
||||
}
|
||||
Reference in New Issue
Block a user