Import corrected creation oracle and verified external evidence

.gitattributes

@@ -30,6 +30,10 @@ harness/fixtures/scenario-authoring/base/** -text whitespace=cr-at-eol
 harness/experiments/textual-authoring-20260911/** -text whitespace=cr-at-eol
 harness/experiments/textual-authoring-20260911/observed/split-entry.arcadia whitespace=-blank-at-eol,cr-at-eol
 harness/experiments/analysis-context-20260911/** -text whitespace=cr-at-eol
+harness/experiments/constructor-defaults-20260911/** -text whitespace=blank-at-eol,blank-at-eof,space-before-tab,cr-at-eol
+harness/experiments/constructor-defaults-20260911/results/*.arcadia whitespace=-blank-at-eol,cr-at-eol
+harness/experiments/behavior-creation-native-20260911/** -text whitespace=blank-at-eol,blank-at-eof,space-before-tab,cr-at-eol
+harness/behavior-creation-contract.rs -text whitespace=cr-at-eol
 
 # Preserve checksum-bound font notices verbatim through Git round trips.
 scripts/windows-notices/GNOME-Cantarell-61362600e104-COPYING -text

AGENTS.md

@@ -8,6 +8,7 @@ Use Gitea MCP to coordinate with other agents working on this project.
 - Respect work already in progress. Coordinate overlapping changes and preserve other agents' edits.
 - Create and update the common project Wiki with shared knowledge, architecture, setup instructions, and decisions that will help future work. Keep it accurate as the project changes.
 - Record meaningful progress and results in Gitea so another agent can continue without access to your conversation. Include relevant commits, validation results, and next steps.
+- Publish versioned Gitea releases at meaningful, working milestones so the user can see progress and try the application. Include runnable builds or appropriate distributable artifacts, concise release notes, launch instructions, known limitations, and what was verified. Mark unfinished versions as prereleases. Coordinate release ownership to avoid duplicates.
 - Keep coordination concise and useful. Use the available MCP tools, and report access failures honestly.
 
 Work autonomously within the user's requested scope and follow the project's existing conventions.

harness/behavior-creation-contract.rs

@@ -1,5 +1,5 @@
 //! Independent native creation oracle; no desktop producer is imported.
-//! self-check BASE | check STAGE BASE ACTUAL ROLES | same EXPECTED ACTUAL
+//! self-check BASE | check STAGE BASE ACTUAL ROLES | same EXPECTED ACTUAL [UNDO_FROM]
 use oa_core::{source_project::*, *};
 use std::{
     collections::{BTreeMap, BTreeSet},
@@ -41,7 +41,9 @@ impl Stage {
     }
 }
 
-fn source_paths(root: &Path, here: &Path, paths: &mut BTreeSet<String>) {
+type DiskSources = BTreeMap<String, Vec<u8>>;
+
+fn source_paths(root: &Path, here: &Path, paths: &mut DiskSources) {
     for entry in fs::read_dir(here).unwrap() {
         let entry = entry.unwrap();
         let kind = entry.file_type().unwrap();
@@ -61,11 +63,12 @@ fn source_paths(root: &Path, here: &Path, paths: &mut BTreeSet<String>) {
                     .to_str()
                     .unwrap()
                     .replace('\\', "/"),
+                fs::read(entry.path()).unwrap(),
             );
         }
     }
 }
-fn load(entry: &Path) -> CompiledSourceProject {
+fn load_checkpoint(entry: &Path) -> (CompiledSourceProject, DiskSources) {
     let files = source_files::load_project(entry, ProjectLimits::default()).unwrap();
     let raw = files.reachable_bundle();
     let compiled = compile_bundle(&raw, ProjectLimits::default()).unwrap();
@@ -74,13 +77,30 @@ fn load(entry: &Path) -> CompiledSourceProject {
         "No migration, normalization or implicit identity insertion"
     );
     execute_batch(&compiled.decoded.project, &[]).unwrap();
-    let mut disk = BTreeSet::new();
+    let mut disk = BTreeMap::new();
     let root = entry.parent().unwrap();
     source_paths(root, root, &mut disk);
+    (compiled, disk)
+}
+fn predicted_disk(reachable: &SourceBundle, undo_from: Option<&DiskSources>) -> DiskSources {
+    // Saving Undo writes the restored reachable files and deliberately keeps
+    // detached files from the previously saved checkpoint. Never infer their
+    // bytes from the actual Undo directory: its explicit origin is the oracle.
+    let mut expected = undo_from.cloned().unwrap_or_default();
+    expected.extend(
+        reachable
+            .files
+            .iter()
+            .map(|(path, source)| (path.clone(), source.as_bytes().to_vec())),
+    );
+    expected
+}
+fn load(entry: &Path) -> CompiledSourceProject {
+    let (compiled, disk) = load_checkpoint(entry);
     assert_eq!(
         disk,
-        raw.files.keys().cloned().collect(),
+        predicted_disk(&compiled.bundle, None),
-        "Reject detached extra source files too"
+        "Ordinary checkpoints must contain exactly their reachable source files; retained Undo files require an explicit origin"
     );
     compiled
 }
@@ -526,6 +546,76 @@ fn self_check(base: &CompiledSourceProject) {
         "Reject an altered baseline before use"
     );
     assert_equal(&original, base);
+    let before = predict(base, Stage::Scenario, &carrier);
+    let created = predict(base, Stage::Machine, &carrier);
+    let origin = predicted_disk(&created.bundle, None);
+    let detached: Vec<_> = created
+        .bundle
+        .files
+        .keys()
+        .filter(|path| !before.bundle.files.contains_key(*path))
+        .cloned()
+        .collect();
+    assert_eq!(
+        detached.len(),
+        1,
+        "A machine creation adds one source module"
+    );
+    // Independently simulate the saver's observable result: restored reachable
+    // bytes plus the one new module left on disk by the prior creation.
+    let mut retained = predicted_disk(&before.bundle, None);
+    retained.insert(
+        detached[0].clone(),
+        created.bundle.files[&detached[0]].as_bytes().to_vec(),
+    );
+    assert_eq!(
+        retained[&detached[0]], origin[&detached[0]],
+        "Retained bytes must come from the exact created checkpoint"
+    );
+    assert_ne!(
+        retained,
+        predicted_disk(&before.bundle, None),
+        "Ordinary comparison must not accept detached history files"
+    );
+    assert_eq!(
+        retained,
+        predicted_disk(&before.bundle, Some(&origin)),
+        "Explicit Undo origin permits only the expected retained bytes"
+    );
+    let mut unknown = retained.clone();
+    unknown.insert("unknown.arcadia".into(), b"// Unclaimed file\n".to_vec());
+    assert_ne!(
+        unknown,
+        predicted_disk(&before.bundle, Some(&origin)),
+        "Reject unknown detached files"
+    );
+    let mut changed = retained.clone();
+    changed.get_mut(&detached[0]).unwrap().push(b' ');
+    assert_ne!(
+        changed,
+        predicted_disk(&before.bundle, Some(&origin)),
+        "Reject changed detached bytes"
+    );
+    let mut missing = retained.clone();
+    missing.remove(&detached[0]);
+    assert_ne!(
+        missing,
+        predicted_disk(&before.bundle, Some(&origin)),
+        "The retained file set is exact, not optional"
+    );
+    let mut reachable_drift = retained.clone();
+    reachable_drift
+        .get_mut("rationale.arcadia")
+        .unwrap()
+        .push(b' ');
+    assert_ne!(
+        reachable_drift,
+        predicted_disk(&before.bundle, Some(&origin)),
+        "An Undo exemption cannot hide reachable-source changes"
+    );
+    println!(
+        "PASS explicit Undo disk contract: known detached retention accepted; unknown, changed, missing and reachable drift rejected"
+    );
     println!("PASS baseline retained unchanged; no native acceptance claimed");
 }
 fn main() {
@@ -554,15 +644,33 @@ fn main() {
             );
         }
         Some("same") => {
-            assert_eq!(args.len(), 4, "same EXPECTED_CHECKPOINT ACTUAL_CHECKPOINT");
+            assert!(
+                matches!(args.len(), 4 | 5),
+                "same EXPECTED_CHECKPOINT ACTUAL_CHECKPOINT [UNDO_FROM_CHECKPOINT]"
+            );
             let expected = load(Path::new(&args[2]));
-            let actual = load(Path::new(&args[3]));
+            let (actual, disk) = load_checkpoint(Path::new(&args[3]));
             assert_equal(&expected, &actual);
+            let origin = args.get(4).map(|entry| {
+                // The first committed checkpoint is itself exact. This keeps
+                // arbitrary pre-existing detached files out of the exception.
+                let committed = load(Path::new(entry));
+                predicted_disk(&committed.bundle, None)
+            });
+            assert_eq!(
+                disk,
+                predicted_disk(&expected.bundle, origin.as_ref()),
+                "Disk source files differ from the exact checkpoint plus explicitly proven retained Undo files"
+            );
             println!(
-                "PASS exact checkpoint identity/model/{}-file SourceBundle equality",
+                "PASS exact checkpoint identity/model/{}-file SourceBundle equality; {} exact disk files ({} known retained)",
-                actual.bundle.files.len()
+                actual.bundle.files.len(),
+                disk.len(),
+                disk.len() - actual.bundle.files.len()
             );
         }
-        _ => panic!("self-check BASE | check STAGE BASE ACTUAL ROLES | same EXPECTED ACTUAL"),
+        _ => panic!(
+            "self-check BASE | check STAGE BASE ACTUAL ROLES | same EXPECTED ACTUAL [UNDO_FROM]"
+        ),
     }
 }

harness/experiments/behavior-creation-native-20260911/manifest.json

@@ -0,0 +1,671 @@
+{
+  "reviewer": "Codex-9e8r6t /root/palette_finish",
+  "started_utc": "2026-09-11T09:18:19.944507+00:00",
+  "finished_utc": "2026-09-11T09:18:23.213965+00:00",
+  "scope": "Frozen checkpoints only; no live work/profile/UI access or compilation.",
+  "artifacts": [
+    {
+      "path": ".local/behavior-creation-oracle-20260911/behavior-creation-contract-v2.exe",
+      "bytes": 20757504,
+      "sha256": "056eefd444924916bf6ac3c4897ab2ff4a8a4bb892e1dbc16adad32e59bf6a36"
+    },
+    {
+      "path": "harness/behavior-creation-contract.rs",
+      "bytes": 23982,
+      "sha256": "51ab2ffa1826dd949b79f3a9690042a2f9e38daf9ed91517cade3861482117ba"
+    },
+    {
+      "path": "harness/experiments/behavior-creation-native-20260911/verify.py",
+      "bytes": 5348,
+      "sha256": "4921c4615071240c3ac3bbe1223c0db3bf472fe5e3eec2ae5dac12f95b1674df"
+    },
+    {
+      "path": ".local/native-qa/behavior-20260911-v4/bin/arcadia-studio.exe",
+      "bytes": 111163904,
+      "sha256": "d4d9c2bd937e301ff1009d7cb93a34ee5aa6dfc837ff7e87d468c85371b20c31"
+    },
+    {
+      "path": ".local/native-qa/behavior-20260911-v4/bin/libunwind.dll",
+      "bytes": 190976,
+      "sha256": "f45604a12e8bcd839fd86f667c1be1cc7c4f9da2b3c69ff381ac708f0e1ae7d4"
+    },
+    {
+      "path": ".local/native-qa/behavior-20260911-v4/bin/manifest.json",
+      "bytes": 41579,
+      "sha256": "e0470afae0ae21941ac6da63fadfb3c70d0ce646317c65fafa5c186e94f18fe2"
+    },
+    {
+      "path": ".local/native-qa/behavior-20260911-v4/baseline-source-manifest.json",
+      "bytes": 927,
+      "sha256": "7b5bcd66739ad9f3ddaa3a50db7a4bba3be144d13d161e1db85d2d43f3038259"
+    },
+    {
+      "path": ".local/native-qa/behavior-20260911-v4/cancel-save-verification.json",
+      "bytes": 1439,
+      "sha256": "5fb79d14a000fa0ecc046fba64bcd2846d3bc2eb8708a88e334db0ede4ce16a1"
+    },
+    {
+      "path": ".local/native-qa/behavior-20260911-v4/scenario-empty-saved.png",
+      "bytes": 90419,
+      "sha256": "b03fb33d3f4cf1e5f95e7ac4198a4dee30ffd9af5e250d481e0d5dc2a2a0f90c"
+    },
+    {
+      "path": ".local/native-qa/behavior-20260911-v4/machine-created-saved.png",
+      "bytes": 98897,
+      "sha256": "1e7af3d6219c430eaafb0de5afd8df4c51b4efeb80de3f642084188633dcb65b"
+    }
+  ],
+  "checkpoints": {
+    "baseline": {
+      "path": ".local/native-qa/palette-20260910-v3/checkpoint-transition-reopen",
+      "files": {
+        "oa/activities/activity_assess_incident.arcadia": {
+          "bytes": 376,
+          "sha256": "ae41d7c20b062b39c2edab7fb890a3d88a9ce18fd8d03018ef2d6f95eeff62e8"
+        },
+        "oa/participants.arcadia": {
+          "bytes": 403,
+          "sha256": "094cab67f34b64902942c10a35bbcd0f760886d862588a0816d6ceb57bacf51b"
+        },
+        "project.arcadia": {
+          "bytes": 4844,
+          "sha256": "b35a3f63f223cc4fe2760d6308e87b016ed1eadfbef0a3a4bd051b52c9080958"
+        },
+        "rationale.arcadia": {
+          "bytes": 57,
+          "sha256": "c01867c9dc0d40726853119fac3c6ad24a40d8d362a93a8b9d20df04ec2e273f"
+        },
+        "sa/participants.arcadia": {
+          "bytes": 124,
+          "sha256": "fb975b83d3ec164c38936bf27fe7d2021cc46805574902a534744b040f7d3ae8"
+        },
+        "traceability.arcadia": {
+          "bytes": 395,
+          "sha256": "f778acaaa85de0940cedcd9514cd803032a11e782d859454203235febb73e5f0"
+        }
+      }
+    },
+    "process": {
+      "path": ".local/native-qa/behavior-20260911-v4/checkpoint-process",
+      "files": {
+        "oa/activities/activity_assess_incident.arcadia": {
+          "bytes": 376,
+          "sha256": "ae41d7c20b062b39c2edab7fb890a3d88a9ce18fd8d03018ef2d6f95eeff62e8"
+        },
+        "oa/behavior/process_coordinate_rescue.arcadia": {
+          "bytes": 149,
+          "sha256": "8f393d1cee5e7eed5e41af14539b1fe7ae1c7300dd9383ca0ef1ee17254b6253"
+        },
+        "oa/participants.arcadia": {
+          "bytes": 403,
+          "sha256": "094cab67f34b64902942c10a35bbcd0f760886d862588a0816d6ceb57bacf51b"
+        },
+        "project.arcadia": {
+          "bytes": 4906,
+          "sha256": "961d99c287dd7728c8ece8b20ca1a7965ac2d0581b3eaedf11a2b243975b0ea8"
+        },
+        "rationale.arcadia": {
+          "bytes": 57,
+          "sha256": "c01867c9dc0d40726853119fac3c6ad24a40d8d362a93a8b9d20df04ec2e273f"
+        },
+        "sa/participants.arcadia": {
+          "bytes": 124,
+          "sha256": "fb975b83d3ec164c38936bf27fe7d2021cc46805574902a534744b040f7d3ae8"
+        },
+        "traceability.arcadia": {
+          "bytes": 395,
+          "sha256": "f778acaaa85de0940cedcd9514cd803032a11e782d859454203235febb73e5f0"
+        }
+      }
+    },
+    "process-undo": {
+      "path": ".local/native-qa/behavior-20260911-v4/checkpoint-process-undo",
+      "files": {
+        "oa/activities/activity_assess_incident.arcadia": {
+          "bytes": 376,
+          "sha256": "ae41d7c20b062b39c2edab7fb890a3d88a9ce18fd8d03018ef2d6f95eeff62e8"
+        },
+        "oa/behavior/process_coordinate_rescue.arcadia": {
+          "bytes": 149,
+          "sha256": "8f393d1cee5e7eed5e41af14539b1fe7ae1c7300dd9383ca0ef1ee17254b6253"
+        },
+        "oa/participants.arcadia": {
+          "bytes": 403,
+          "sha256": "094cab67f34b64902942c10a35bbcd0f760886d862588a0816d6ceb57bacf51b"
+        },
+        "project.arcadia": {
+          "bytes": 4844,
+          "sha256": "b35a3f63f223cc4fe2760d6308e87b016ed1eadfbef0a3a4bd051b52c9080958"
+        },
+        "rationale.arcadia": {
+          "bytes": 57,
+          "sha256": "c01867c9dc0d40726853119fac3c6ad24a40d8d362a93a8b9d20df04ec2e273f"
+        },
+        "sa/participants.arcadia": {
+          "bytes": 124,
+          "sha256": "fb975b83d3ec164c38936bf27fe7d2021cc46805574902a534744b040f7d3ae8"
+        },
+        "traceability.arcadia": {
+          "bytes": 395,
+          "sha256": "f778acaaa85de0940cedcd9514cd803032a11e782d859454203235febb73e5f0"
+        }
+      }
+    },
+    "process-redo": {
+      "path": ".local/native-qa/behavior-20260911-v4/checkpoint-process-redo",
+      "files": {
+        "oa/activities/activity_assess_incident.arcadia": {
+          "bytes": 376,
+          "sha256": "ae41d7c20b062b39c2edab7fb890a3d88a9ce18fd8d03018ef2d6f95eeff62e8"
+        },
+        "oa/behavior/process_coordinate_rescue.arcadia": {
+          "bytes": 149,
+          "sha256": "8f393d1cee5e7eed5e41af14539b1fe7ae1c7300dd9383ca0ef1ee17254b6253"
+        },
+        "oa/participants.arcadia": {
+          "bytes": 403,
+          "sha256": "094cab67f34b64902942c10a35bbcd0f760886d862588a0816d6ceb57bacf51b"
+        },
+        "project.arcadia": {
+          "bytes": 4906,
+          "sha256": "961d99c287dd7728c8ece8b20ca1a7965ac2d0581b3eaedf11a2b243975b0ea8"
+        },
+        "rationale.arcadia": {
+          "bytes": 57,
+          "sha256": "c01867c9dc0d40726853119fac3c6ad24a40d8d362a93a8b9d20df04ec2e273f"
+        },
+        "sa/participants.arcadia": {
+          "bytes": 124,
+          "sha256": "fb975b83d3ec164c38936bf27fe7d2021cc46805574902a534744b040f7d3ae8"
+        },
+        "traceability.arcadia": {
+          "bytes": 395,
+          "sha256": "f778acaaa85de0940cedcd9514cd803032a11e782d859454203235febb73e5f0"
+        }
+      }
+    },
+    "scenario": {
+      "path": ".local/native-qa/behavior-20260911-v4/checkpoint-scenario",
+      "files": {
+        "oa/activities/activity_assess_incident.arcadia": {
+          "bytes": 376,
+          "sha256": "ae41d7c20b062b39c2edab7fb890a3d88a9ce18fd8d03018ef2d6f95eeff62e8"
+        },
+        "oa/behavior/process_coordinate_rescue.arcadia": {
+          "bytes": 149,
+          "sha256": "8f393d1cee5e7eed5e41af14539b1fe7ae1c7300dd9383ca0ef1ee17254b6253"
+        },
+        "oa/behavior/scenario_rescue_coordination_conversation.arcadia": {
+          "bytes": 284,
+          "sha256": "8eed98446dfb4f4dbd5261f550ce8cae1a21d638975d91b32baaf6f309daba98"
+        },
+        "oa/participants.arcadia": {
+          "bytes": 403,
+          "sha256": "094cab67f34b64902942c10a35bbcd0f760886d862588a0816d6ceb57bacf51b"
+        },
+        "project.arcadia": {
+          "bytes": 4984,
+          "sha256": "1fa6dd826fd53ccdf3c93cfdcdd657487e344313d76dabe0c438e08128851ee6"
+        },
+        "rationale.arcadia": {
+          "bytes": 57,
+          "sha256": "c01867c9dc0d40726853119fac3c6ad24a40d8d362a93a8b9d20df04ec2e273f"
+        },
+        "sa/participants.arcadia": {
+          "bytes": 124,
+          "sha256": "fb975b83d3ec164c38936bf27fe7d2021cc46805574902a534744b040f7d3ae8"
+        },
+        "traceability.arcadia": {
+          "bytes": 395,
+          "sha256": "f778acaaa85de0940cedcd9514cd803032a11e782d859454203235febb73e5f0"
+        }
+      }
+    },
+    "scenario-undo": {
+      "path": ".local/native-qa/behavior-20260911-v4/checkpoint-scenario-undo",
+      "files": {
+        "oa/activities/activity_assess_incident.arcadia": {
+          "bytes": 376,
+          "sha256": "ae41d7c20b062b39c2edab7fb890a3d88a9ce18fd8d03018ef2d6f95eeff62e8"
+        },
+        "oa/behavior/process_coordinate_rescue.arcadia": {
+          "bytes": 149,
+          "sha256": "8f393d1cee5e7eed5e41af14539b1fe7ae1c7300dd9383ca0ef1ee17254b6253"
+        },
+        "oa/behavior/scenario_rescue_coordination_conversation.arcadia": {
+          "bytes": 284,
+          "sha256": "8eed98446dfb4f4dbd5261f550ce8cae1a21d638975d91b32baaf6f309daba98"
+        },
+        "oa/participants.arcadia": {
+          "bytes": 403,
+          "sha256": "094cab67f34b64902942c10a35bbcd0f760886d862588a0816d6ceb57bacf51b"
+        },
+        "project.arcadia": {
+          "bytes": 4906,
+          "sha256": "961d99c287dd7728c8ece8b20ca1a7965ac2d0581b3eaedf11a2b243975b0ea8"
+        },
+        "rationale.arcadia": {
+          "bytes": 57,
+          "sha256": "c01867c9dc0d40726853119fac3c6ad24a40d8d362a93a8b9d20df04ec2e273f"
+        },
+        "sa/participants.arcadia": {
+          "bytes": 124,
+          "sha256": "fb975b83d3ec164c38936bf27fe7d2021cc46805574902a534744b040f7d3ae8"
+        },
+        "traceability.arcadia": {
+          "bytes": 395,
+          "sha256": "f778acaaa85de0940cedcd9514cd803032a11e782d859454203235febb73e5f0"
+        }
+      }
+    },
+    "scenario-redo": {
+      "path": ".local/native-qa/behavior-20260911-v4/checkpoint-scenario-redo",
+      "files": {
+        "oa/activities/activity_assess_incident.arcadia": {
+          "bytes": 376,
+          "sha256": "ae41d7c20b062b39c2edab7fb890a3d88a9ce18fd8d03018ef2d6f95eeff62e8"
+        },
+        "oa/behavior/process_coordinate_rescue.arcadia": {
+          "bytes": 149,
+          "sha256": "8f393d1cee5e7eed5e41af14539b1fe7ae1c7300dd9383ca0ef1ee17254b6253"
+        },
+        "oa/behavior/scenario_rescue_coordination_conversation.arcadia": {
+          "bytes": 284,
+          "sha256": "8eed98446dfb4f4dbd5261f550ce8cae1a21d638975d91b32baaf6f309daba98"
+        },
+        "oa/participants.arcadia": {
+          "bytes": 403,
+          "sha256": "094cab67f34b64902942c10a35bbcd0f760886d862588a0816d6ceb57bacf51b"
+        },
+        "project.arcadia": {
+          "bytes": 4984,
+          "sha256": "1fa6dd826fd53ccdf3c93cfdcdd657487e344313d76dabe0c438e08128851ee6"
+        },
+        "rationale.arcadia": {
+          "bytes": 57,
+          "sha256": "c01867c9dc0d40726853119fac3c6ad24a40d8d362a93a8b9d20df04ec2e273f"
+        },
+        "sa/participants.arcadia": {
+          "bytes": 124,
+          "sha256": "fb975b83d3ec164c38936bf27fe7d2021cc46805574902a534744b040f7d3ae8"
+        },
+        "traceability.arcadia": {
+          "bytes": 395,
+          "sha256": "f778acaaa85de0940cedcd9514cd803032a11e782d859454203235febb73e5f0"
+        }
+      }
+    },
+    "machine": {
+      "path": ".local/native-qa/behavior-20260911-v4/checkpoint-machine",
+      "files": {
+        "oa/activities/activity_assess_incident.arcadia": {
+          "bytes": 376,
+          "sha256": "ae41d7c20b062b39c2edab7fb890a3d88a9ce18fd8d03018ef2d6f95eeff62e8"
+        },
+        "oa/behavior/process_coordinate_rescue.arcadia": {
+          "bytes": 149,
+          "sha256": "8f393d1cee5e7eed5e41af14539b1fe7ae1c7300dd9383ca0ef1ee17254b6253"
+        },
+        "oa/behavior/scenario_rescue_coordination_conversation.arcadia": {
+          "bytes": 284,
+          "sha256": "8eed98446dfb4f4dbd5261f550ce8cae1a21d638975d91b32baaf6f309daba98"
+        },
+        "oa/participants.arcadia": {
+          "bytes": 403,
+          "sha256": "094cab67f34b64902942c10a35bbcd0f760886d862588a0816d6ceb57bacf51b"
+        },
+        "project.arcadia": {
+          "bytes": 5057,
+          "sha256": "59b61b321b0cf4817c1ff9276fa59deafc09518765e761a2ebd9e5602afab9cb"
+        },
+        "rationale.arcadia": {
+          "bytes": 57,
+          "sha256": "c01867c9dc0d40726853119fac3c6ad24a40d8d362a93a8b9d20df04ec2e273f"
+        },
+        "sa/participants.arcadia": {
+          "bytes": 285,
+          "sha256": "9b77b88f66e4e80540ae33b83f1af1f3edcd37dafb98c33a861d4c34c66d2559"
+        },
+        "traceability.arcadia": {
+          "bytes": 395,
+          "sha256": "f778acaaa85de0940cedcd9514cd803032a11e782d859454203235febb73e5f0"
+        },
+        "views/diagram_rescue_team_operating_modes_states.arcadia": {
+          "bytes": 842,
+          "sha256": "498eab80da7ac4523883622a0d008b9033a1305e5bb5f168b8e9d4c41dde62de"
+        }
+      }
+    },
+    "machine-undo": {
+      "path": ".local/native-qa/behavior-20260911-v4/checkpoint-machine-undo",
+      "files": {
+        "oa/activities/activity_assess_incident.arcadia": {
+          "bytes": 376,
+          "sha256": "ae41d7c20b062b39c2edab7fb890a3d88a9ce18fd8d03018ef2d6f95eeff62e8"
+        },
+        "oa/behavior/process_coordinate_rescue.arcadia": {
+          "bytes": 149,
+          "sha256": "8f393d1cee5e7eed5e41af14539b1fe7ae1c7300dd9383ca0ef1ee17254b6253"
+        },
+        "oa/behavior/scenario_rescue_coordination_conversation.arcadia": {
+          "bytes": 284,
+          "sha256": "8eed98446dfb4f4dbd5261f550ce8cae1a21d638975d91b32baaf6f309daba98"
+        },
+        "oa/participants.arcadia": {
+          "bytes": 403,
+          "sha256": "094cab67f34b64902942c10a35bbcd0f760886d862588a0816d6ceb57bacf51b"
+        },
+        "project.arcadia": {
+          "bytes": 4984,
+          "sha256": "1fa6dd826fd53ccdf3c93cfdcdd657487e344313d76dabe0c438e08128851ee6"
+        },
+        "rationale.arcadia": {
+          "bytes": 57,
+          "sha256": "c01867c9dc0d40726853119fac3c6ad24a40d8d362a93a8b9d20df04ec2e273f"
+        },
+        "sa/participants.arcadia": {
+          "bytes": 124,
+          "sha256": "fb975b83d3ec164c38936bf27fe7d2021cc46805574902a534744b040f7d3ae8"
+        },
+        "traceability.arcadia": {
+          "bytes": 395,
+          "sha256": "f778acaaa85de0940cedcd9514cd803032a11e782d859454203235febb73e5f0"
+        },
+        "views/diagram_rescue_team_operating_modes_states.arcadia": {
+          "bytes": 842,
+          "sha256": "498eab80da7ac4523883622a0d008b9033a1305e5bb5f168b8e9d4c41dde62de"
+        }
+      }
+    },
+    "machine-redo": {
+      "path": ".local/native-qa/behavior-20260911-v4/checkpoint-machine-redo",
+      "files": {
+        "oa/activities/activity_assess_incident.arcadia": {
+          "bytes": 376,
+          "sha256": "ae41d7c20b062b39c2edab7fb890a3d88a9ce18fd8d03018ef2d6f95eeff62e8"
+        },
+        "oa/behavior/process_coordinate_rescue.arcadia": {
+          "bytes": 149,
+          "sha256": "8f393d1cee5e7eed5e41af14539b1fe7ae1c7300dd9383ca0ef1ee17254b6253"
+        },
+        "oa/behavior/scenario_rescue_coordination_conversation.arcadia": {
+          "bytes": 284,
+          "sha256": "8eed98446dfb4f4dbd5261f550ce8cae1a21d638975d91b32baaf6f309daba98"
+        },
+        "oa/participants.arcadia": {
+          "bytes": 403,
+          "sha256": "094cab67f34b64902942c10a35bbcd0f760886d862588a0816d6ceb57bacf51b"
+        },
+        "project.arcadia": {
+          "bytes": 5057,
+          "sha256": "59b61b321b0cf4817c1ff9276fa59deafc09518765e761a2ebd9e5602afab9cb"
+        },
+        "rationale.arcadia": {
+          "bytes": 57,
+          "sha256": "c01867c9dc0d40726853119fac3c6ad24a40d8d362a93a8b9d20df04ec2e273f"
+        },
+        "sa/participants.arcadia": {
+          "bytes": 285,
+          "sha256": "9b77b88f66e4e80540ae33b83f1af1f3edcd37dafb98c33a861d4c34c66d2559"
+        },
+        "traceability.arcadia": {
+          "bytes": 395,
+          "sha256": "f778acaaa85de0940cedcd9514cd803032a11e782d859454203235febb73e5f0"
+        },
+        "views/diagram_rescue_team_operating_modes_states.arcadia": {
+          "bytes": 842,
+          "sha256": "498eab80da7ac4523883622a0d008b9033a1305e5bb5f168b8e9d4c41dde62de"
+        }
+      }
+    },
+    "creation-reopen": {
+      "path": ".local/native-qa/behavior-20260911-v4/checkpoint-creation-reopen",
+      "files": {
+        "oa/activities/activity_assess_incident.arcadia": {
+          "bytes": 376,
+          "sha256": "ae41d7c20b062b39c2edab7fb890a3d88a9ce18fd8d03018ef2d6f95eeff62e8"
+        },
+        "oa/behavior/process_coordinate_rescue.arcadia": {
+          "bytes": 149,
+          "sha256": "8f393d1cee5e7eed5e41af14539b1fe7ae1c7300dd9383ca0ef1ee17254b6253"
+        },
+        "oa/behavior/scenario_rescue_coordination_conversation.arcadia": {
+          "bytes": 284,
+          "sha256": "8eed98446dfb4f4dbd5261f550ce8cae1a21d638975d91b32baaf6f309daba98"
+        },
+        "oa/participants.arcadia": {
+          "bytes": 403,
+          "sha256": "094cab67f34b64902942c10a35bbcd0f760886d862588a0816d6ceb57bacf51b"
+        },
+        "project.arcadia": {
+          "bytes": 5057,
+          "sha256": "59b61b321b0cf4817c1ff9276fa59deafc09518765e761a2ebd9e5602afab9cb"
+        },
+        "rationale.arcadia": {
+          "bytes": 57,
+          "sha256": "c01867c9dc0d40726853119fac3c6ad24a40d8d362a93a8b9d20df04ec2e273f"
+        },
+        "sa/participants.arcadia": {
+          "bytes": 285,
+          "sha256": "9b77b88f66e4e80540ae33b83f1af1f3edcd37dafb98c33a861d4c34c66d2559"
+        },
+        "traceability.arcadia": {
+          "bytes": 395,
+          "sha256": "f778acaaa85de0940cedcd9514cd803032a11e782d859454203235febb73e5f0"
+        },
+        "views/diagram_rescue_team_operating_modes_states.arcadia": {
+          "bytes": 842,
+          "sha256": "498eab80da7ac4523883622a0d008b9033a1305e5bb5f168b8e9d4c41dde62de"
+        }
+      }
+    }
+  },
+  "commands": [
+    {
+      "label": "self-check",
+      "command_argv": [
+        "C:\\Users\\User\\Documents\\Git\\ARCADIA-Studio\\.local\\behavior-creation-oracle-20260911\\behavior-creation-contract-v2.exe",
+        "self-check",
+        "C:\\Users\\User\\Documents\\Git\\ARCADIA-Studio\\.local\\native-qa\\palette-20260910-v3\\checkpoint-transition-reopen\\project.arcadia"
+      ],
+      "exit_code": 0,
+      "elapsed_seconds": 0.967588,
+      "stdout": "PASS self-check Process: full source fixed point; false metadata, unrelated edits and source-only drift rejected\nPASS self-check Scenario: full source fixed point; false metadata, unrelated edits and source-only drift rejected\nPREDICT first view: Rescue team operating modes \u00b7 states; machine-root position Position { x: 60.0, y: 60.0 }, size Size { width: 336.0, height: 104.0 }; 9 exact source files\nPASS self-check Machine: full source fixed point; false metadata, unrelated edits and source-only drift rejected\nPASS explicit Undo disk contract: known detached retention accepted; unknown, changed, missing and reachable drift rejected\nPASS baseline retained unchanged; no native acceptance claimed\n",
+      "stderr": ""
+    },
+    {
+      "label": "baseline",
+      "command_argv": [
+        "C:\\Users\\User\\Documents\\Git\\ARCADIA-Studio\\.local\\behavior-creation-oracle-20260911\\behavior-creation-contract-v2.exe",
+        "check",
+        "baseline",
+        "C:\\Users\\User\\Documents\\Git\\ARCADIA-Studio\\.local\\native-qa\\palette-20260910-v3\\checkpoint-transition-reopen\\project.arcadia",
+        "C:\\Users\\User\\Documents\\Git\\ARCADIA-Studio\\.local\\native-qa\\palette-20260910-v3\\checkpoint-transition-reopen\\project.arcadia",
+        "C:\\Users\\User\\Documents\\Git\\ARCADIA-Studio\\.local\\native-qa\\palette-20260910-v3\\checkpoint-transition-reopen\\project.arcadia"
+      ],
+      "exit_code": 0,
+      "elapsed_seconds": 0.119426,
+      "stdout": "PASS Baseline: complete Project + 6 exact source files; only fresh literal-role UUIDs borrowed\n",
+      "stderr": ""
+    },
+    {
+      "label": "process",
+      "command_argv": [
+        "C:\\Users\\User\\Documents\\Git\\ARCADIA-Studio\\.local\\behavior-creation-oracle-20260911\\behavior-creation-contract-v2.exe",
+        "check",
+        "process",
+        "C:\\Users\\User\\Documents\\Git\\ARCADIA-Studio\\.local\\native-qa\\palette-20260910-v3\\checkpoint-transition-reopen\\project.arcadia",
+        "C:\\Users\\User\\Documents\\Git\\ARCADIA-Studio\\.local\\native-qa\\behavior-20260911-v4\\checkpoint-process\\project.arcadia",
+        "C:\\Users\\User\\Documents\\Git\\ARCADIA-Studio\\.local\\native-qa\\behavior-20260911-v4\\checkpoint-process\\project.arcadia"
+      ],
+      "exit_code": 0,
+      "elapsed_seconds": 0.163785,
+      "stdout": "PASS Process: complete Project + 7 exact source files; only fresh literal-role UUIDs borrowed\n",
+      "stderr": ""
+    },
+    {
+      "label": "process-undo",
+      "command_argv": [
+        "C:\\Users\\User\\Documents\\Git\\ARCADIA-Studio\\.local\\behavior-creation-oracle-20260911\\behavior-creation-contract-v2.exe",
+        "same",
+        "C:\\Users\\User\\Documents\\Git\\ARCADIA-Studio\\.local\\native-qa\\palette-20260910-v3\\checkpoint-transition-reopen\\project.arcadia",
+        "C:\\Users\\User\\Documents\\Git\\ARCADIA-Studio\\.local\\native-qa\\behavior-20260911-v4\\checkpoint-process-undo\\project.arcadia",
+        "C:\\Users\\User\\Documents\\Git\\ARCADIA-Studio\\.local\\native-qa\\behavior-20260911-v4\\checkpoint-process\\project.arcadia"
+      ],
+      "exit_code": 0,
+      "elapsed_seconds": 0.155607,
+      "stdout": "PASS exact checkpoint identity/model/6-file SourceBundle equality; 7 exact disk files (1 known retained)\n",
+      "stderr": ""
+    },
+    {
+      "label": "process-redo",
+      "command_argv": [
+        "C:\\Users\\User\\Documents\\Git\\ARCADIA-Studio\\.local\\behavior-creation-oracle-20260911\\behavior-creation-contract-v2.exe",
+        "check",
+        "process",
+        "C:\\Users\\User\\Documents\\Git\\ARCADIA-Studio\\.local\\native-qa\\palette-20260910-v3\\checkpoint-transition-reopen\\project.arcadia",
+        "C:\\Users\\User\\Documents\\Git\\ARCADIA-Studio\\.local\\native-qa\\behavior-20260911-v4\\checkpoint-process-redo\\project.arcadia",
+        "C:\\Users\\User\\Documents\\Git\\ARCADIA-Studio\\.local\\native-qa\\behavior-20260911-v4\\checkpoint-process\\project.arcadia"
+      ],
+      "exit_code": 0,
+      "elapsed_seconds": 0.187937,
+      "stdout": "PASS Process: complete Project + 7 exact source files; only fresh literal-role UUIDs borrowed\n",
+      "stderr": ""
+    },
+    {
+      "label": "scenario",
+      "command_argv": [
+        "C:\\Users\\User\\Documents\\Git\\ARCADIA-Studio\\.local\\behavior-creation-oracle-20260911\\behavior-creation-contract-v2.exe",
+        "check",
+        "scenario",
+        "C:\\Users\\User\\Documents\\Git\\ARCADIA-Studio\\.local\\native-qa\\palette-20260910-v3\\checkpoint-transition-reopen\\project.arcadia",
+        "C:\\Users\\User\\Documents\\Git\\ARCADIA-Studio\\.local\\native-qa\\behavior-20260911-v4\\checkpoint-scenario\\project.arcadia",
+        "C:\\Users\\User\\Documents\\Git\\ARCADIA-Studio\\.local\\native-qa\\behavior-20260911-v4\\checkpoint-scenario\\project.arcadia"
+      ],
+      "exit_code": 0,
+      "elapsed_seconds": 0.253057,
+      "stdout": "PASS Scenario: complete Project + 8 exact source files; only fresh literal-role UUIDs borrowed\n",
+      "stderr": ""
+    },
+    {
+      "label": "scenario-undo",
+      "command_argv": [
+        "C:\\Users\\User\\Documents\\Git\\ARCADIA-Studio\\.local\\behavior-creation-oracle-20260911\\behavior-creation-contract-v2.exe",
+        "same",
+        "C:\\Users\\User\\Documents\\Git\\ARCADIA-Studio\\.local\\native-qa\\behavior-20260911-v4\\checkpoint-process\\project.arcadia",
+        "C:\\Users\\User\\Documents\\Git\\ARCADIA-Studio\\.local\\native-qa\\behavior-20260911-v4\\checkpoint-scenario-undo\\project.arcadia",
+        "C:\\Users\\User\\Documents\\Git\\ARCADIA-Studio\\.local\\native-qa\\behavior-20260911-v4\\checkpoint-scenario\\project.arcadia"
+      ],
+      "exit_code": 0,
+      "elapsed_seconds": 0.160712,
+      "stdout": "PASS exact checkpoint identity/model/7-file SourceBundle equality; 8 exact disk files (1 known retained)\n",
+      "stderr": ""
+    },
+    {
+      "label": "scenario-redo",
+      "command_argv": [
+        "C:\\Users\\User\\Documents\\Git\\ARCADIA-Studio\\.local\\behavior-creation-oracle-20260911\\behavior-creation-contract-v2.exe",
+        "check",
+        "scenario",
+        "C:\\Users\\User\\Documents\\Git\\ARCADIA-Studio\\.local\\native-qa\\palette-20260910-v3\\checkpoint-transition-reopen\\project.arcadia",
+        "C:\\Users\\User\\Documents\\Git\\ARCADIA-Studio\\.local\\native-qa\\behavior-20260911-v4\\checkpoint-scenario-redo\\project.arcadia",
+        "C:\\Users\\User\\Documents\\Git\\ARCADIA-Studio\\.local\\native-qa\\behavior-20260911-v4\\checkpoint-scenario\\project.arcadia"
+      ],
+      "exit_code": 0,
+      "elapsed_seconds": 0.222,
+      "stdout": "PASS Scenario: complete Project + 8 exact source files; only fresh literal-role UUIDs borrowed\n",
+      "stderr": ""
+    },
+    {
+      "label": "machine",
+      "command_argv": [
+        "C:\\Users\\User\\Documents\\Git\\ARCADIA-Studio\\.local\\behavior-creation-oracle-20260911\\behavior-creation-contract-v2.exe",
+        "check",
+        "machine",
+        "C:\\Users\\User\\Documents\\Git\\ARCADIA-Studio\\.local\\native-qa\\palette-20260910-v3\\checkpoint-transition-reopen\\project.arcadia",
+        "C:\\Users\\User\\Documents\\Git\\ARCADIA-Studio\\.local\\native-qa\\behavior-20260911-v4\\checkpoint-machine\\project.arcadia",
+        "C:\\Users\\User\\Documents\\Git\\ARCADIA-Studio\\.local\\native-qa\\behavior-20260911-v4\\checkpoint-machine\\project.arcadia"
+      ],
+      "exit_code": 0,
+      "elapsed_seconds": 0.266748,
+      "stdout": "PASS Machine: complete Project + 9 exact source files; only fresh literal-role UUIDs borrowed\n",
+      "stderr": ""
+    },
+    {
+      "label": "machine-undo",
+      "command_argv": [
+        "C:\\Users\\User\\Documents\\Git\\ARCADIA-Studio\\.local\\behavior-creation-oracle-20260911\\behavior-creation-contract-v2.exe",
+        "same",
+        "C:\\Users\\User\\Documents\\Git\\ARCADIA-Studio\\.local\\native-qa\\behavior-20260911-v4\\checkpoint-scenario\\project.arcadia",
+        "C:\\Users\\User\\Documents\\Git\\ARCADIA-Studio\\.local\\native-qa\\behavior-20260911-v4\\checkpoint-machine-undo\\project.arcadia",
+        "C:\\Users\\User\\Documents\\Git\\ARCADIA-Studio\\.local\\native-qa\\behavior-20260911-v4\\checkpoint-machine\\project.arcadia"
+      ],
+      "exit_code": 0,
+      "elapsed_seconds": 0.122982,
+      "stdout": "PASS exact checkpoint identity/model/8-file SourceBundle equality; 9 exact disk files (1 known retained)\n",
+      "stderr": ""
+    },
+    {
+      "label": "machine-redo",
+      "command_argv": [
+        "C:\\Users\\User\\Documents\\Git\\ARCADIA-Studio\\.local\\behavior-creation-oracle-20260911\\behavior-creation-contract-v2.exe",
+        "check",
+        "machine",
+        "C:\\Users\\User\\Documents\\Git\\ARCADIA-Studio\\.local\\native-qa\\palette-20260910-v3\\checkpoint-transition-reopen\\project.arcadia",
+        "C:\\Users\\User\\Documents\\Git\\ARCADIA-Studio\\.local\\native-qa\\behavior-20260911-v4\\checkpoint-machine-redo\\project.arcadia",
+        "C:\\Users\\User\\Documents\\Git\\ARCADIA-Studio\\.local\\native-qa\\behavior-20260911-v4\\checkpoint-machine\\project.arcadia"
+      ],
+      "exit_code": 0,
+      "elapsed_seconds": 0.229706,
+      "stdout": "PASS Machine: complete Project + 9 exact source files; only fresh literal-role UUIDs borrowed\n",
+      "stderr": ""
+    },
+    {
+      "label": "reopen-contract",
+      "command_argv": [
+        "C:\\Users\\User\\Documents\\Git\\ARCADIA-Studio\\.local\\behavior-creation-oracle-20260911\\behavior-creation-contract-v2.exe",
+        "check",
+        "machine",
+        "C:\\Users\\User\\Documents\\Git\\ARCADIA-Studio\\.local\\native-qa\\palette-20260910-v3\\checkpoint-transition-reopen\\project.arcadia",
+        "C:\\Users\\User\\Documents\\Git\\ARCADIA-Studio\\.local\\native-qa\\behavior-20260911-v4\\checkpoint-creation-reopen\\project.arcadia",
+        "C:\\Users\\User\\Documents\\Git\\ARCADIA-Studio\\.local\\native-qa\\behavior-20260911-v4\\checkpoint-machine\\project.arcadia"
+      ],
+      "exit_code": 0,
+      "elapsed_seconds": 0.192465,
+      "stdout": "PASS Machine: complete Project + 9 exact source files; only fresh literal-role UUIDs borrowed\n",
+      "stderr": ""
+    },
+    {
+      "label": "reopen-exact-redo",
+      "command_argv": [
+        "C:\\Users\\User\\Documents\\Git\\ARCADIA-Studio\\.local\\behavior-creation-oracle-20260911\\behavior-creation-contract-v2.exe",
+        "same",
+        "C:\\Users\\User\\Documents\\Git\\ARCADIA-Studio\\.local\\native-qa\\behavior-20260911-v4\\checkpoint-machine-redo\\project.arcadia",
+        "C:\\Users\\User\\Documents\\Git\\ARCADIA-Studio\\.local\\native-qa\\behavior-20260911-v4\\checkpoint-creation-reopen\\project.arcadia"
+      ],
+      "exit_code": 0,
+      "elapsed_seconds": 0.131742,
+      "stdout": "PASS exact checkpoint identity/model/9-file SourceBundle equality; 9 exact disk files (0 known retained)\n",
+      "stderr": ""
+    }
+  ],
+  "all_checkpoint_files_unchanged": true,
+  "machine_redo_reopen_inventory_equal": true,
+  "machine_redo_reopen_direct_byte_comparisons": {
+    "oa/activities/activity_assess_incident.arcadia": true,
+    "oa/behavior/process_coordinate_rescue.arcadia": true,
+    "oa/behavior/scenario_rescue_coordination_conversation.arcadia": true,
+    "oa/participants.arcadia": true,
+    "project.arcadia": true,
+    "rationale.arcadia": true,
+    "sa/participants.arcadia": true,
+    "traceability.arcadia": true,
+    "views/diagram_rescue_team_operating_modes_states.arcadia": true
+  },
+  "log": {
+    "path": "harness/experiments/behavior-creation-native-20260911/commands-results.log",
+    "bytes": 9392,
+    "sha256": "f5bfbee185f7064419b1bd9fe33ec6a48526b5bbe3f818c006feb74eddf8e189"
+  },
+  "pass": true
+}

harness/experiments/behavior-creation-native-20260911/recovery-manifest.json

@@ -0,0 +1,200 @@
+{
+  "reviewer": "Codex-9e8r6t /root/palette_finish",
+  "started_utc": "2026-09-11T09:22:33.387447+00:00",
+  "finished_utc": "2026-09-11T09:22:34.502189+00:00",
+  "scope": "Immutable evidence only; native observations supplied separately by root. No live work/profile/UI/Cargo access; no persisted Undo claim.",
+  "artifacts": [
+    {
+      "path": "harness/experiments/behavior-creation-native-20260911/verify-recovery.py",
+      "bytes": 5560,
+      "sha256": "3546b4fe68d3e1a2474015be1b652a665af238e5fcf63e04bac3f25df3d35e90"
+    },
+    {
+      "path": "harness/experiments/behavior-creation-native-20260911/manifest.json",
+      "bytes": 30406,
+      "sha256": "356dfbb27dec04764a4b3f2372602f39953b472baac0a3de3e72acd9c1d76b8a"
+    },
+    {
+      "path": ".local/behavior-creation-oracle-20260911/behavior-creation-contract-v2.exe",
+      "bytes": 20757504,
+      "sha256": "056eefd444924916bf6ac3c4897ab2ff4a8a4bb892e1dbc16adad32e59bf6a36"
+    },
+    {
+      "path": ".local/native-qa/behavior-20260911-v4/recovery-evidence/before-interruption.json",
+      "bytes": 27382,
+      "sha256": "0c355aa3c7b9be623d767ff35c4b85cf7b2907eb9bc3be39d619aa610c989692"
+    },
+    {
+      "path": ".local/native-qa/behavior-20260911-v4/recovery-evidence/after-recovery-and-typing.json",
+      "bytes": 27263,
+      "sha256": "fafa7a884275bac09afab365f8ab0063f998ca56c5ffc70be596db6f78a10103"
+    },
+    {
+      "path": ".local/native-qa/behavior-20260911-v4/recovery-evidence/restored-draft.png",
+      "bytes": 113820,
+      "sha256": "8ae0fe8957d5a935b6e2605a6ffb68934bd0e8840f3594c43e63865ab89d03c9"
+    },
+    {
+      "path": ".local/native-qa/behavior-20260911-v4/recovery-launch.json",
+      "bytes": 812,
+      "sha256": "641ff05ea50d551a51e642f728650cf254dbf131cfb2f585865db436a8877396"
+    },
+    {
+      "path": ".local/native-qa/behavior-20260911-v4/bin/arcadia-studio.exe",
+      "bytes": 111163904,
+      "sha256": "d4d9c2bd937e301ff1009d7cb93a34ee5aa6dfc837ff7e87d468c85371b20c31"
+    }
+  ],
+  "input_file_inventories": {
+    ".local\\native-qa\\behavior-20260911-v4\\checkpoint-creation-reopen": {
+      "oa/activities/activity_assess_incident.arcadia": {
+        "path": ".local/native-qa/behavior-20260911-v4/checkpoint-creation-reopen/oa/activities/activity_assess_incident.arcadia",
+        "bytes": 376,
+        "sha256": "ae41d7c20b062b39c2edab7fb890a3d88a9ce18fd8d03018ef2d6f95eeff62e8"
+      },
+      "oa/behavior/process_coordinate_rescue.arcadia": {
+        "path": ".local/native-qa/behavior-20260911-v4/checkpoint-creation-reopen/oa/behavior/process_coordinate_rescue.arcadia",
+        "bytes": 149,
+        "sha256": "8f393d1cee5e7eed5e41af14539b1fe7ae1c7300dd9383ca0ef1ee17254b6253"
+      },
+      "oa/behavior/scenario_rescue_coordination_conversation.arcadia": {
+        "path": ".local/native-qa/behavior-20260911-v4/checkpoint-creation-reopen/oa/behavior/scenario_rescue_coordination_conversation.arcadia",
+        "bytes": 284,
+        "sha256": "8eed98446dfb4f4dbd5261f550ce8cae1a21d638975d91b32baaf6f309daba98"
+      },
+      "oa/participants.arcadia": {
+        "path": ".local/native-qa/behavior-20260911-v4/checkpoint-creation-reopen/oa/participants.arcadia",
+        "bytes": 403,
+        "sha256": "094cab67f34b64902942c10a35bbcd0f760886d862588a0816d6ceb57bacf51b"
+      },
+      "project.arcadia": {
+        "path": ".local/native-qa/behavior-20260911-v4/checkpoint-creation-reopen/project.arcadia",
+        "bytes": 5057,
+        "sha256": "59b61b321b0cf4817c1ff9276fa59deafc09518765e761a2ebd9e5602afab9cb"
+      },
+      "rationale.arcadia": {
+        "path": ".local/native-qa/behavior-20260911-v4/checkpoint-creation-reopen/rationale.arcadia",
+        "bytes": 57,
+        "sha256": "c01867c9dc0d40726853119fac3c6ad24a40d8d362a93a8b9d20df04ec2e273f"
+      },
+      "sa/participants.arcadia": {
+        "path": ".local/native-qa/behavior-20260911-v4/checkpoint-creation-reopen/sa/participants.arcadia",
+        "bytes": 285,
+        "sha256": "9b77b88f66e4e80540ae33b83f1af1f3edcd37dafb98c33a861d4c34c66d2559"
+      },
+      "traceability.arcadia": {
+        "path": ".local/native-qa/behavior-20260911-v4/checkpoint-creation-reopen/traceability.arcadia",
+        "bytes": 395,
+        "sha256": "f778acaaa85de0940cedcd9514cd803032a11e782d859454203235febb73e5f0"
+      },
+      "views/diagram_rescue_team_operating_modes_states.arcadia": {
+        "path": ".local/native-qa/behavior-20260911-v4/checkpoint-creation-reopen/views/diagram_rescue_team_operating_modes_states.arcadia",
+        "bytes": 842,
+        "sha256": "498eab80da7ac4523883622a0d008b9033a1305e5bb5f168b8e9d4c41dde62de"
+      }
+    },
+    ".local\\native-qa\\behavior-20260911-v4\\checkpoint-recovery-cancel": {
+      "oa/activities/activity_assess_incident.arcadia": {
+        "path": ".local/native-qa/behavior-20260911-v4/checkpoint-recovery-cancel/oa/activities/activity_assess_incident.arcadia",
+        "bytes": 376,
+        "sha256": "ae41d7c20b062b39c2edab7fb890a3d88a9ce18fd8d03018ef2d6f95eeff62e8"
+      },
+      "oa/behavior/process_coordinate_rescue.arcadia": {
+        "path": ".local/native-qa/behavior-20260911-v4/checkpoint-recovery-cancel/oa/behavior/process_coordinate_rescue.arcadia",
+        "bytes": 149,
+        "sha256": "8f393d1cee5e7eed5e41af14539b1fe7ae1c7300dd9383ca0ef1ee17254b6253"
+      },
+      "oa/behavior/scenario_rescue_coordination_conversation.arcadia": {
+        "path": ".local/native-qa/behavior-20260911-v4/checkpoint-recovery-cancel/oa/behavior/scenario_rescue_coordination_conversation.arcadia",
+        "bytes": 284,
+        "sha256": "8eed98446dfb4f4dbd5261f550ce8cae1a21d638975d91b32baaf6f309daba98"
+      },
+      "oa/participants.arcadia": {
+        "path": ".local/native-qa/behavior-20260911-v4/checkpoint-recovery-cancel/oa/participants.arcadia",
+        "bytes": 403,
+        "sha256": "094cab67f34b64902942c10a35bbcd0f760886d862588a0816d6ceb57bacf51b"
+      },
+      "project.arcadia": {
+        "path": ".local/native-qa/behavior-20260911-v4/checkpoint-recovery-cancel/project.arcadia",
+        "bytes": 5057,
+        "sha256": "59b61b321b0cf4817c1ff9276fa59deafc09518765e761a2ebd9e5602afab9cb"
+      },
+      "rationale.arcadia": {
+        "path": ".local/native-qa/behavior-20260911-v4/checkpoint-recovery-cancel/rationale.arcadia",
+        "bytes": 57,
+        "sha256": "c01867c9dc0d40726853119fac3c6ad24a40d8d362a93a8b9d20df04ec2e273f"
+      },
+      "sa/participants.arcadia": {
+        "path": ".local/native-qa/behavior-20260911-v4/checkpoint-recovery-cancel/sa/participants.arcadia",
+        "bytes": 285,
+        "sha256": "9b77b88f66e4e80540ae33b83f1af1f3edcd37dafb98c33a861d4c34c66d2559"
+      },
+      "traceability.arcadia": {
+        "path": ".local/native-qa/behavior-20260911-v4/checkpoint-recovery-cancel/traceability.arcadia",
+        "bytes": 395,
+        "sha256": "f778acaaa85de0940cedcd9514cd803032a11e782d859454203235febb73e5f0"
+      },
+      "views/diagram_rescue_team_operating_modes_states.arcadia": {
+        "path": ".local/native-qa/behavior-20260911-v4/checkpoint-recovery-cancel/views/diagram_rescue_team_operating_modes_states.arcadia",
+        "bytes": 842,
+        "sha256": "498eab80da7ac4523883622a0d008b9033a1305e5bb5f168b8e9d4c41dde62de"
+      }
+    }
+  },
+  "checks": {
+    "literal_name_before": true,
+    "literal_name_after": true,
+    "sa_machine": true,
+    "selected_exact_system_actor": true,
+    "first_view_selected": true,
+    "complete_behavior_equal_except_deliberate_suffix": true,
+    "accepted_exact_json_equality": true,
+    "workspace_exact_json_equality": true,
+    "property_exact_json_equality": true,
+    "workflow_exact_json_equality": true,
+    "selected_exact_json_equality": true,
+    "reserved_ids_unchanged": true,
+    "complete_file_inventory_equal": true,
+    "complete_file_bytes_equal": true,
+    "accepted_snapshot_exactly_matches_saved_checkpoint": true,
+    "reserved_objects_not_committed": true,
+    "oracle_same_pass": true,
+    "input_files_unchanged": true,
+    "evidence_and_prior_manifest_unchanged": true
+  },
+  "reserved_ids": {
+    "element": "c6f559f5-401e-4e0d-af93-91faee68d3f5",
+    "diagram": "11ad8f0a-73aa-416a-bbeb-9b886bf39854",
+    "placement": "171f7d7e-3a8f-4200-86f6-a9e2efd87610"
+  },
+  "reopen_recovery_cancel_direct_byte_comparisons": {
+    "views/diagram_rescue_team_operating_modes_states.arcadia": true,
+    "traceability.arcadia": true,
+    "oa/activities/activity_assess_incident.arcadia": true,
+    "sa/participants.arcadia": true,
+    "rationale.arcadia": true,
+    "oa/behavior/process_coordinate_rescue.arcadia": true,
+    "project.arcadia": true,
+    "oa/participants.arcadia": true,
+    "oa/behavior/scenario_rescue_coordination_conversation.arcadia": true
+  },
+  "comparison_origin": "checkpoint-creation-reopen",
+  "command": {
+    "command_argv": [
+      "C:\\Users\\User\\Documents\\Git\\ARCADIA-Studio\\.local\\behavior-creation-oracle-20260911\\behavior-creation-contract-v2.exe",
+      "same",
+      "C:\\Users\\User\\Documents\\Git\\ARCADIA-Studio\\.local\\native-qa\\behavior-20260911-v4\\checkpoint-creation-reopen\\project.arcadia",
+      "C:\\Users\\User\\Documents\\Git\\ARCADIA-Studio\\.local\\native-qa\\behavior-20260911-v4\\checkpoint-recovery-cancel\\project.arcadia"
+    ],
+    "exit_code": 0,
+    "elapsed_seconds": 0.147209,
+    "stdout": "PASS exact checkpoint identity/model/9-file SourceBundle equality; 9 exact disk files (0 known retained)\n",
+    "stderr": ""
+  },
+  "log": {
+    "path": "harness/experiments/behavior-creation-native-20260911/recovery-commands-results.log",
+    "bytes": 641,
+    "sha256": "1dc3e89aa46660bfad796e7b6bf821bebd7e5bc5a7902a826021d461a3e74c68"
+  },
+  "pass": true
+}

harness/experiments/behavior-creation-native-20260911/verify-recovery.py

@@ -0,0 +1,89 @@
+"""Verify immutable recovery evidence; never access live profile/work or UI."""
+from pathlib import Path
+import copy
+import datetime
+import hashlib
+import json
+import os
+import subprocess
+import time
+
+ROOT = Path(__file__).resolve().parents[3]
+OUT = Path(__file__).resolve().parent
+STAGE = ROOT / '.local/native-qa/behavior-20260911-v4'
+EVIDENCE = STAGE / 'recovery-evidence'
+EXPECTED = STAGE / 'checkpoint-creation-reopen'
+ACTUAL = STAGE / 'checkpoint-recovery-cancel'
+EXE = ROOT / '.local/behavior-creation-oracle-20260911/behavior-creation-contract-v2.exe'
+
+
+def record(path):
+    data = path.read_bytes()
+    return {'path': path.relative_to(ROOT).as_posix(), 'bytes': len(data),
+            'sha256': hashlib.sha256(data).hexdigest()}
+
+
+def inventory(directory):
+    return {p.relative_to(directory).as_posix(): record(p)
+            for p in sorted(directory.rglob('*')) if p.is_file()}
+
+
+artifacts = [record(p) for p in (Path(__file__), OUT / 'manifest.json', EXE,
+    EVIDENCE / 'before-interruption.json', EVIDENCE / 'after-recovery-and-typing.json',
+    EVIDENCE / 'restored-draft.png', STAGE / 'recovery-launch.json', STAGE / 'bin/arcadia-studio.exe')]
+assert artifacts[1]['sha256'] == '356dfbb27dec04764a4b3f2372602f39953b472baac0a3de3e72acd9c1d76b8a'
+assert artifacts[2]['sha256'] == '056eefd444924916bf6ac3c4897ab2ff4a8a4bb892e1dbc16adad32e59bf6a36'
+before = json.loads((EVIDENCE / 'before-interruption.json').read_text(encoding='utf-8-sig'))
+after = json.loads((EVIDENCE / 'after-recovery-and-typing.json').read_text(encoding='utf-8-sig'))
+draft = before['behavior']['draft']
+expected_name = 'Recovery — secours Δ «operating modes»'
+checks = {'literal_name_before': draft['name'] == expected_name,
+          'literal_name_after': after['behavior']['draft']['name'] == expected_name + ' · resumed',
+          'sa_machine': draft['layer'] == 'Sa' and draft['family'] == 'Machine',
+          'selected_exact_system_actor': draft['owner'] == 'c0629449-1209-4b50-afac-f558a9a0fc7f',
+          'first_view_selected': draft['first_view'] is True}
+normalized = copy.deepcopy(after['behavior'])
+if checks['literal_name_after']:
+    normalized['draft']['name'] = expected_name
+checks['complete_behavior_equal_except_deliberate_suffix'] = normalized == before['behavior']
+for field in ('accepted', 'workspace', 'property', 'workflow', 'selected'):
+    checks[field + '_exact_json_equality'] = before[field] == after[field]
+reserved = {field: draft[field] for field in ('element', 'diagram', 'placement')}
+checks['reserved_ids_unchanged'] = all(after['behavior']['draft'][k] == v for k, v in reserved.items())
+inputs = {str(p.relative_to(ROOT)): inventory(p) for p in (EXPECTED, ACTUAL)}
+expected_names = set(inputs[str(EXPECTED.relative_to(ROOT))])
+actual_names = set(inputs[str(ACTUAL.relative_to(ROOT))])
+checks['complete_file_inventory_equal'] = expected_names == actual_names
+byte_results = {name: (EXPECTED / name).read_bytes() == (ACTUAL / name).read_bytes()
+                for name in expected_names if name in actual_names}
+checks['complete_file_bytes_equal'] = all(byte_results.values()) and len(byte_results) == len(expected_names)
+checks['accepted_snapshot_exactly_matches_saved_checkpoint'] = (
+    set(before['accepted']['files']) == expected_names and
+    all(text.encode('utf-8') == (EXPECTED / name).read_bytes()
+        for name, text in before['accepted']['files'].items()))
+checks['reserved_objects_not_committed'] = all(
+    all(value.encode('utf-8') not in (ACTUAL / name).read_bytes() for value in reserved.values())
+    for name in actual_names)
+command = [str(EXE), 'same', str(EXPECTED / 'project.arcadia'), str(ACTUAL / 'project.arcadia')]
+env = os.environ.copy()
+env['PATH'] = str(STAGE / 'bin') + os.pathsep + env.get('PATH', '')
+started = datetime.datetime.now(datetime.timezone.utc).isoformat()
+tick = time.perf_counter()
+run = subprocess.run(command, cwd=ROOT, env=env, capture_output=True, text=True, encoding='utf-8', errors='replace', timeout=60)
+elapsed = time.perf_counter() - tick
+checks['oracle_same_pass'] = run.returncode == 0
+checks['input_files_unchanged'] = inputs == {str(p.relative_to(ROOT)): inventory(p) for p in (EXPECTED, ACTUAL)}
+checks['evidence_and_prior_manifest_unchanged'] = artifacts == [record(ROOT / item['path']) for item in artifacts]
+result = {'command_argv': command, 'exit_code': run.returncode,
+          'elapsed_seconds': round(elapsed, 6), 'stdout': run.stdout, 'stderr': run.stderr}
+(OUT / 'recovery-commands-results.log').write_text(json.dumps(result, indent=2) + '\n', encoding='utf-8', newline='\n')
+manifest = {'reviewer': 'Codex-9e8r6t /root/palette_finish', 'started_utc': started,
+            'finished_utc': datetime.datetime.now(datetime.timezone.utc).isoformat(),
+            'scope': 'Immutable evidence only; native observations supplied separately by root. No live work/profile/UI/Cargo access; no persisted Undo claim.',
+            'artifacts': artifacts, 'input_file_inventories': inputs, 'checks': checks,
+            'reserved_ids': reserved, 'reopen_recovery_cancel_direct_byte_comparisons': byte_results,
+            'comparison_origin': 'checkpoint-creation-reopen', 'command': result,
+            'log': record(OUT / 'recovery-commands-results.log'), 'pass': all(checks.values())}
+(OUT / 'recovery-manifest.json').write_text(json.dumps(manifest, indent=2) + '\n', encoding='utf-8', newline='\n')
+print(json.dumps({'pass': manifest['pass'], 'checks': checks, 'manifest': record(OUT / 'recovery-manifest.json')}))
+raise SystemExit(0 if manifest['pass'] else 1)

harness/experiments/behavior-creation-native-20260911/verify.py

@@ -0,0 +1,93 @@
+"""Read only frozen checkpoints; run the existing v2 oracle without compiling."""
+from pathlib import Path
+import datetime
+import hashlib
+import json
+import os
+import subprocess
+import time
+
+ROOT = Path(__file__).resolve().parents[3]
+OUT = Path(__file__).resolve().parent
+STAGE = ROOT / '.local/native-qa/behavior-20260911-v4'
+BASE = ROOT / '.local/native-qa/palette-20260910-v3/checkpoint-transition-reopen'
+EXE = ROOT / '.local/behavior-creation-oracle-20260911/behavior-creation-contract-v2.exe'
+
+
+def record(path):
+    data = path.read_bytes()
+    return {'path': path.relative_to(ROOT).as_posix(), 'bytes': len(data),
+            'sha256': hashlib.sha256(data).hexdigest()}
+
+
+def inventory(directory):
+    return {p.relative_to(directory).as_posix(): {
+        'bytes': p.stat().st_size, 'sha256': hashlib.sha256(p.read_bytes()).hexdigest()
+    } for p in sorted(directory.rglob('*')) if p.is_file()}
+
+
+def entry(directory):
+    return str(directory / 'project.arcadia')
+
+
+checkpoints = {'baseline': BASE}
+for family in ('process', 'scenario', 'machine'):
+    for suffix in ('', '-undo', '-redo'):
+        checkpoints[family + suffix] = STAGE / ('checkpoint-' + family + suffix)
+checkpoints['creation-reopen'] = STAGE / 'checkpoint-creation-reopen'
+before = {name: inventory(path) for name, path in checkpoints.items()}
+artifacts = [record(p) for p in (
+    EXE, ROOT / 'harness/behavior-creation-contract.rs', Path(__file__),
+    STAGE / 'bin/arcadia-studio.exe', STAGE / 'bin/libunwind.dll',
+    STAGE / 'bin/manifest.json', STAGE / 'baseline-source-manifest.json',
+    STAGE / 'cancel-save-verification.json', STAGE / 'scenario-empty-saved.png',
+    STAGE / 'machine-created-saved.png')]
+assert artifacts[0]['sha256'] == '056eefd444924916bf6ac3c4897ab2ff4a8a4bb892e1dbc16adad32e59bf6a36'
+assert artifacts[1]['sha256'] == '51ab2ffa1826dd949b79f3a9690042a2f9e38daf9ed91517cade3861482117ba'
+commands = [('self-check', ['self-check', entry(BASE)]),
+            ('baseline', ['check', 'baseline', entry(BASE), entry(BASE), entry(BASE)])]
+previous = BASE
+for family in ('process', 'scenario', 'machine'):
+    first = checkpoints[family]
+    commands.extend([
+        (family, ['check', family, entry(BASE), entry(first), entry(first)]),
+        (family + '-undo', ['same', entry(previous), entry(checkpoints[family + '-undo']), entry(first)]),
+        (family + '-redo', ['check', family, entry(BASE), entry(checkpoints[family + '-redo']), entry(first)])])
+    previous = first
+commands.extend([
+    ('reopen-contract', ['check', 'machine', entry(BASE), entry(checkpoints['creation-reopen']), entry(checkpoints['machine'])]),
+    ('reopen-exact-redo', ['same', entry(checkpoints['machine-redo']), entry(checkpoints['creation-reopen'])])])
+env = os.environ.copy()
+env['PATH'] = str(STAGE / 'bin') + os.pathsep + env.get('PATH', '')
+started = datetime.datetime.now(datetime.timezone.utc).isoformat()
+results = []
+for label, args in commands:
+    t = time.perf_counter()
+    command = [str(EXE), *args]
+    run = subprocess.run(command, cwd=ROOT, env=env, capture_output=True, text=True, encoding='utf-8', errors='replace', timeout=60)
+    results.append({'label': label, 'command_argv': command, 'exit_code': run.returncode,
+                    'elapsed_seconds': round(time.perf_counter() - t, 6),
+                    'stdout': run.stdout, 'stderr': run.stderr})
+after = {name: inventory(path) for name, path in checkpoints.items()}
+redo_files = checkpoints['machine-redo']
+reopen_files = checkpoints['creation-reopen']
+same_names = set(before['machine-redo']) == set(before['creation-reopen'])
+byte_results = {name: (redo_files / name).read_bytes() == (reopen_files / name).read_bytes()
+                for name in before['machine-redo'] if (reopen_files / name).is_file()}
+success = (all(r['exit_code'] == 0 for r in results) and before == after
+           and same_names and all(byte_results.values()))
+log = '\n\n'.join(f"[{r['label']}] argv={json.dumps(r['command_argv'])}\nexit={r['exit_code']} elapsed={r['elapsed_seconds']}s\nstdout:\n{r['stdout']}stderr:\n{r['stderr']}" for r in results)
+(OUT / 'commands-results.log').write_text(log + '\n', encoding='utf-8', newline='\n')
+manifest = {'reviewer': 'Codex-9e8r6t /root/palette_finish', 'started_utc': started,
+            'finished_utc': datetime.datetime.now(datetime.timezone.utc).isoformat(),
+            'scope': 'Frozen checkpoints only; no live work/profile/UI access or compilation.',
+            'artifacts': artifacts, 'checkpoints': {name: {'path': path.relative_to(ROOT).as_posix(), 'files': before[name]} for name, path in checkpoints.items()},
+            'commands': results, 'all_checkpoint_files_unchanged': before == after,
+            'machine_redo_reopen_inventory_equal': same_names,
+            'machine_redo_reopen_direct_byte_comparisons': byte_results,
+            'log': record(OUT / 'commands-results.log'), 'pass': success}
+(OUT / 'manifest.json').write_text(json.dumps(manifest, indent=2) + '\n', encoding='utf-8', newline='\n')
+print(json.dumps({'pass': success, 'commands_passed': sum(r['exit_code'] == 0 for r in results),
+                  'commands_total': len(results), 'unchanged_checkpoints': before == after,
+                  'reopen_exact_files': len(byte_results), 'manifest': record(OUT / 'manifest.json')}))
+raise SystemExit(0 if success else 1)

harness/experiments/constructor-defaults-20260911/README.md

@@ -0,0 +1,37 @@
+# Existing source-7 constructor defaults
+
+Compatibility experiment, not proposed grammar. `probe.rs` imports only the
+matching existing `oa_core` rlib; it performs no production or Cargo edits.
+
+In a coordinated direct-rustc writer slot:
+
+```powershell
+. .local/toolchain/env.ps1
+rustc --edition 2024 -D warnings --crate-name constructor_defaults_probe harness/experiments/constructor-defaults-20260911/probe.rs --extern oa_core=.local/target-gnullvm/debug/deps/liboa_core-3e81c616fea1d901.rlib -L dependency=.local/target-gnullvm/debug/deps -C linker=clang.exe -o .local/constructor-defaults-20260911/probe.exe
+& .local/constructor-defaults-20260911/probe.exe NEW_ISOLATED_OUTPUT_DIRECTORY
+```
+
+Use a fresh output directory when reproducing so the committed evidence is not
+overwritten. The rlib SHA256 is
+`5018A1FD7286ED9DFEDCBBF5B68B399AD5D143F2A9AAAED3078CFC934C9589C4`.
+The exact compiler, core source hashes, executable hash and result inventory
+are in `provenance.json`.
+
+`results/results.tsv` records **54 admitted explicit/omitted cases** and
+**12 missing-required-field refusals**, covering both OA and SA source 7.
+Every admitted occurrence is compared with a literal expected typed body and
+the full explicit-case Project. It also requires exact source retention on
+stabilization/no-op, a name-only patch retaining omissions, and canonical
+format/reparse equality. Both scenario viewpoint omission cases separately
+require MixedLegacy equality and canonical stability.
+
+The `.canonical.arcadia` siblings intentionally expand hydrated defaults;
+they are not expected to retain authored omission. Exchange `operation none`
+is deliberately omitted by canonical serialization. Files named
+`omit-bindings`, `omit-kind`, `omit-operator`, `omit-branches`, `omit-guard`, or
+`omit-occurrences` are **expected invalid fixtures**, retained to show the
+specific missing-field diagnostic. They are not modeling examples.
+
+The program/result files are durable evidence. The compiled executable and
+initial/final build logs remain in ignored `.local/constructor-defaults-20260911/`.
+Other constructor families and old schema versions were not exhaustively tested.

harness/experiments/constructor-defaults-20260911/probe.rs

@@ -0,0 +1,316 @@
+//! Existing source-7 admission experiment; imports no desktop producer.
+use oa_core::{source_project::*, *};
+use std::{fs, path::Path};
+
+struct Case {
+    kind: &'static str,
+    fields: Vec<(&'static str, &'static str, bool)>,
+    expected: OccurrenceBody,
+}
+fn cases() -> Vec<Case> {
+    vec![
+        Case {
+            kind: "Exchange",
+            fields: vec![
+                ("exchange", "none", false),
+                ("sender", "none", false),
+                ("receiver", "none", false),
+                ("message_kind", "Asynchronous", false),
+                ("reply_to", "none", false),
+                ("values", "[]", false),
+                ("operation", "none", false),
+            ],
+            expected: OccurrenceBody::Exchange {
+                exchange: None,
+                sender: None,
+                receiver: None,
+                message_kind: MessageKind::Asynchronous,
+                reply_to: None,
+                values: vec![],
+                operation: None,
+            },
+        },
+        Case {
+            kind: "Action",
+            fields: vec![("action", "none", false), ("lifeline", "none", false)],
+            expected: OccurrenceBody::Action {
+                action: None,
+                lifeline: None,
+            },
+        },
+        Case {
+            kind: "State",
+            fields: vec![("state", "none", false), ("lifeline", "none", false)],
+            expected: OccurrenceBody::State {
+                state: None,
+                lifeline: None,
+            },
+        },
+        Case {
+            kind: "SequenceReference",
+            fields: vec![("sequence", "none", false)],
+            expected: OccurrenceBody::SequenceReference { sequence: None },
+        },
+        Case {
+            kind: "ScenarioUse",
+            fields: vec![("scenario", "none", false), ("bindings", "[]", true)],
+            expected: OccurrenceBody::ScenarioUse {
+                scenario: None,
+                bindings: vec![],
+            },
+        },
+        Case {
+            kind: "Control",
+            fields: vec![("kind", "Choice", true)],
+            expected: OccurrenceBody::Control {
+                kind: ControlKind::Choice,
+            },
+        },
+        Case {
+            kind: "Fragment",
+            fields: vec![("operator", "Alternative", true), ("branches", "[]", true)],
+            expected: OccurrenceBody::Fragment {
+                operator: FragmentOperator::Alternative,
+                branches: vec![],
+            },
+        },
+        Case {
+            kind: "Branch",
+            fields: vec![("guard", "\"\"", true), ("occurrences", "[]", true)],
+            expected: OccurrenceBody::Branch {
+                guard: String::new(),
+                occurrences: vec![],
+            },
+        },
+    ]
+}
+fn id(last: u8) -> Id {
+    Id::parse_str(&format!("00000000-0000-4000-8000-{last:012}")).unwrap()
+}
+fn fixture(layer: Layer, kind: &str, fields: &str) -> String {
+    let prefix = if layer == Layer::Oa { "oa" } else { "sa" };
+    let sequence = if layer == Layer::Oa {
+        "oa_process"
+    } else {
+        "sa_functional_chain"
+    };
+    let viewpoint = if layer == Layer::Oa {
+        "OperationalActivity"
+    } else {
+        "Functional"
+    };
+    let root_sequence = matches!(
+        kind,
+        "Exchange" | "Action" | "Control" | "SequenceReference"
+    );
+    let owner_kind = if root_sequence {
+        sequence.to_owned()
+    } else {
+        format!("{prefix}_scenario")
+    };
+    let owner_view = if root_sequence {
+        String::new()
+    } else {
+        format!("viewpoint {viewpoint};")
+    };
+    let step = if kind == "Branch" {
+        "holder"
+    } else {
+        "subject"
+    };
+    let parent = if kind == "Branch" { "holder" } else { "owner" };
+    let holder = if kind == "Branch" {
+        format!(
+            "{prefix}_occurrence holder \"Fragment owner\" id \"{}\" {{ parent @owner; body {{ Fragment {{ operator Alternative; branches [@subject]; }}; }}; }}",
+            id(4)
+        )
+    } else {
+        String::new()
+    };
+    format!(
+        "arcadia 7;\nproject defaults \"Constructor defaults\" id \"{}\" {{\n  {owner_kind} owner \"Owner\" id \"{}\" {{ {owner_view} steps [@{step}]; }}\n  {holder}\n  // Authored omissions must stay omitted through no-op and a name edit.\n  {prefix}_occurrence subject \"Subject\" id \"{}\" {{ parent @{parent}; body {{ {kind} {{ {fields} }}; }}; }}\n}}\n",
+        id(1),
+        id(2),
+        id(3)
+    )
+}
+fn bundle(source: &str) -> SourceBundle {
+    SourceBundle {
+        entry: "project.arcadia".into(),
+        files: [("project.arcadia".into(), source.into())]
+            .into_iter()
+            .collect(),
+    }
+}
+fn compile(source: &str) -> Result<CompiledSourceProject, Vec<SourceDiagnostic>> {
+    compile_bundle(&bundle(source), ProjectLimits::default())
+}
+fn body(project: &Project) -> &OccurrenceBody {
+    let Some(SharedBody::Occurrence { body, .. }) = project.elements[&id(3)].shared() else {
+        panic!("Subject is not an occurrence")
+    };
+    body
+}
+fn accepted(out: &Path, name: &str, source: &str, expected: &Project) -> usize {
+    fs::write(out.join(format!("{name}.arcadia")), source).unwrap();
+    let compiled = compile(source).unwrap_or_else(|e| panic!("{name}: {e:?}"));
+    assert_eq!(
+        &compiled.decoded.project, expected,
+        "{name}: exact complete Project"
+    );
+    assert_eq!(
+        compiled.bundle,
+        bundle(source),
+        "{name}: explicit UUIDs need no stabilization edit"
+    );
+    execute_batch(expected, &[]).unwrap();
+    let noop = update_bundle(&compiled, expected, ProjectLimits::default()).unwrap();
+    assert_eq!(
+        noop.bundle, compiled.bundle,
+        "{name}: no-op preserves all authored omissions"
+    );
+    let renamed = execute_batch(
+        expected,
+        &[Command::Rename(id(3), "Renamed subject".into())],
+    )
+    .unwrap();
+    let edited = update_bundle(&compiled, &renamed, ProjectLimits::default()).unwrap();
+    assert_eq!(
+        edited.bundle,
+        bundle(&source.replace("\"Subject\"", "\"Renamed subject\"")),
+        "{name}: name-only edit preserves constructor spelling"
+    );
+    let canonical = language::format(expected);
+    fs::write(out.join(format!("{name}.canonical.arcadia")), &canonical).unwrap();
+    assert_eq!(
+        compile(&canonical).unwrap().decoded.project,
+        *expected,
+        "{name}: canonical roundtrip"
+    );
+    if matches!(
+        body(expected),
+        OccurrenceBody::Exchange {
+            operation: None,
+            ..
+        }
+    ) {
+        assert!(canonical.contains("message_kind Asynchronous;"));
+        assert!(canonical.contains("reply_to none;") && canonical.contains("values [];"));
+        assert!(
+            !canonical.contains("operation "),
+            "None operation is deliberately skipped by canonical serialization"
+        );
+    }
+    validation::validate(expected).len()
+}
+fn main() {
+    let out_arg = std::env::args().nth(1).expect("output directory");
+    let out = Path::new(&out_arg);
+    fs::create_dir_all(out).unwrap();
+    let mut rows = String::from("case\tlayer\tresult\tdetail\n");
+    let mut passes = 0;
+    let mut rejects = 0;
+    for layer in [Layer::Oa, Layer::Sa] {
+        for case in cases() {
+            let explicit_fields = case
+                .fields
+                .iter()
+                .map(|(name, value, _)| format!("{name} {value};"))
+                .collect::<Vec<_>>()
+                .join(" ");
+            let explicit = fixture(layer, case.kind, &explicit_fields);
+            let baseline = compile(&explicit)
+                .unwrap_or_else(|e| panic!("{layer} {} explicit: {e:?}", case.kind));
+            assert_eq!(body(&baseline.decoded.project), &case.expected);
+            let name = format!("{layer}-{}-explicit", case.kind);
+            let issues = accepted(out, &name, &explicit, &baseline.decoded.project);
+            rows.push_str(&format!("{name}\t{layer}\taccept\texact Project, raw/no-op/name/canonical; {issues} model issues\n"));
+            passes += 1;
+            for (omit, _, required) in &case.fields {
+                let fields = case
+                    .fields
+                    .iter()
+                    .filter(|(field, _, _)| field != omit)
+                    .map(|(field, value, _)| format!("{field} {value};"))
+                    .collect::<Vec<_>>()
+                    .join(" ");
+                let source = fixture(layer, case.kind, &fields);
+                let name = format!("{layer}-{}-omit-{omit}", case.kind);
+                if *required {
+                    fs::write(out.join(format!("{name}.arcadia")), &source).unwrap();
+                    let errors = compile(&source).expect_err("Required field omission must reject");
+                    let detail = format!("{errors:?}");
+                    assert!(
+                        detail.contains("missing field") && detail.contains(omit),
+                        "{name}: must fail on the missing constructor field: {detail}"
+                    );
+                    rows.push_str(&format!("{name}\t{layer}\treject\t{detail}\n"));
+                    rejects += 1;
+                } else {
+                    let issues = accepted(out, &name, &source, &baseline.decoded.project);
+                    rows.push_str(&format!("{name}\t{layer}\taccept\texact Project, raw/no-op/name/canonical; {issues} model issues\n"));
+                    passes += 1;
+                }
+            }
+            if case.fields.iter().any(|(_, _, required)| !required) {
+                let fields = case
+                    .fields
+                    .iter()
+                    .filter(|(_, _, required)| *required)
+                    .map(|(field, value, _)| format!("{field} {value};"))
+                    .collect::<Vec<_>>()
+                    .join(" ");
+                let name = format!("{layer}-{}-omit-all-optional", case.kind);
+                let issues = accepted(
+                    out,
+                    &name,
+                    &fixture(layer, case.kind, &fields),
+                    &baseline.decoded.project,
+                );
+                rows.push_str(&format!("{name}\t{layer}\taccept\texact Project, raw/no-op/name/canonical; {issues} model issues\n"));
+                passes += 1;
+            }
+        }
+        let prefix = if layer == Layer::Oa { "oa" } else { "sa" };
+        let source = format!(
+            "arcadia 7;\nproject defaults \"Defaults\" id \"{}\" {{ {prefix}_scenario scene \"Scene\" id \"{}\" {{ }} }}\n",
+            id(1),
+            id(2)
+        );
+        let compiled = compile(&source).unwrap();
+        let explicit = source.replace("{ }", "{ viewpoint MixedLegacy; }");
+        assert_eq!(
+            compiled.decoded.project,
+            compile(&explicit).unwrap().decoded.project
+        );
+        assert_eq!(compiled.bundle, bundle(&source));
+        assert!(matches!(
+            compiled.decoded.project.elements[&id(2)].shared(),
+            Some(SharedBody::Scenario {
+                viewpoint: ScenarioViewpoint::MixedLegacy,
+                ..
+            })
+        ));
+        let canonical = language::format(&compiled.decoded.project);
+        assert_eq!(
+            compile(&canonical).unwrap().decoded.project,
+            compiled.decoded.project
+        );
+        fs::write(
+            out.join(format!("{layer}-scenario-viewpoint-omitted.arcadia")),
+            source,
+        )
+        .unwrap();
+        fs::write(
+            out.join(format!("{layer}-scenario-viewpoint-explicit.arcadia")),
+            explicit,
+        )
+        .unwrap();
+        rows.push_str(&format!("{layer}-scenario-viewpoint\t{layer}\taccept\texact MixedLegacy Project, retained omission, canonical roundtrip\n"));
+        passes += 1;
+    }
+    fs::write(out.join("results.tsv"), rows).unwrap();
+    println!(
+        "PASS: {passes} accepted explicit/omitted comparisons; {rejects} missing-required-field refusals; both source-7 layers. Full Project, canonical roundtrip, no-op and exact name-only source retention checked."
+    );
+}

harness/experiments/constructor-defaults-20260911/results/OA-Action-explicit.arcadia

@@ -0,0 +1,7 @@
+arcadia 7;
+project defaults "Constructor defaults" id "00000000-0000-4000-8000-000000000001" {
+  oa_process owner "Owner" id "00000000-0000-4000-8000-000000000002" {  steps [@subject]; }
+  
+  // Authored omissions must stay omitted through no-op and a name edit.
+  oa_occurrence subject "Subject" id "00000000-0000-4000-8000-000000000003" { parent @owner; body { Action { action none; lifeline none; }; }; }
+}

harness/experiments/constructor-defaults-20260911/results/OA-Action-explicit.canonical.arcadia

@@ -0,0 +1,24 @@
+arcadia 7;
+project defaults "Constructor defaults" id "00000000-0000-4000-8000-000000000001" {
+    description "";
+
+    oa_process owner "Owner" id "00000000-0000-4000-8000-000000000002" {
+        description "";
+        parent none;
+        steps [@subject];
+    }
+
+    oa_occurrence subject "Subject" id "00000000-0000-4000-8000-000000000003" {
+        body {
+            Action {
+                action none;
+                lifeline none;
+            };
+        };
+        description "";
+        parent @owner;
+        postcondition "";
+        precondition "";
+    }
+
+}

harness/experiments/constructor-defaults-20260911/results/OA-Action-omit-action.arcadia

@@ -0,0 +1,7 @@
+arcadia 7;
+project defaults "Constructor defaults" id "00000000-0000-4000-8000-000000000001" {
+  oa_process owner "Owner" id "00000000-0000-4000-8000-000000000002" {  steps [@subject]; }
+  
+  // Authored omissions must stay omitted through no-op and a name edit.
+  oa_occurrence subject "Subject" id "00000000-0000-4000-8000-000000000003" { parent @owner; body { Action { lifeline none; }; }; }
+}

harness/experiments/constructor-defaults-20260911/results/OA-Action-omit-action.canonical.arcadia

@@ -0,0 +1,24 @@
+arcadia 7;
+project defaults "Constructor defaults" id "00000000-0000-4000-8000-000000000001" {
+    description "";
+
+    oa_process owner "Owner" id "00000000-0000-4000-8000-000000000002" {
+        description "";
+        parent none;
+        steps [@subject];
+    }
+
+    oa_occurrence subject "Subject" id "00000000-0000-4000-8000-000000000003" {
+        body {
+            Action {
+                action none;
+                lifeline none;
+            };
+        };
+        description "";
+        parent @owner;
+        postcondition "";
+        precondition "";
+    }
+
+}

harness/experiments/constructor-defaults-20260911/results/OA-Action-omit-all-optional.arcadia

@@ -0,0 +1,7 @@
+arcadia 7;
+project defaults "Constructor defaults" id "00000000-0000-4000-8000-000000000001" {
+  oa_process owner "Owner" id "00000000-0000-4000-8000-000000000002" {  steps [@subject]; }
+  
+  // Authored omissions must stay omitted through no-op and a name edit.
+  oa_occurrence subject "Subject" id "00000000-0000-4000-8000-000000000003" { parent @owner; body { Action {  }; }; }
+}

harness/experiments/constructor-defaults-20260911/results/OA-Action-omit-all-optional.canonical.arcadia

@@ -0,0 +1,24 @@
+arcadia 7;
+project defaults "Constructor defaults" id "00000000-0000-4000-8000-000000000001" {
+    description "";
+
+    oa_process owner "Owner" id "00000000-0000-4000-8000-000000000002" {
+        description "";
+        parent none;
+        steps [@subject];
+    }
+
+    oa_occurrence subject "Subject" id "00000000-0000-4000-8000-000000000003" {
+        body {
+            Action {
+                action none;
+                lifeline none;
+            };
+        };
+        description "";
+        parent @owner;
+        postcondition "";
+        precondition "";
+    }
+
+}

harness/experiments/constructor-defaults-20260911/results/OA-Action-omit-lifeline.arcadia

@@ -0,0 +1,7 @@
+arcadia 7;
+project defaults "Constructor defaults" id "00000000-0000-4000-8000-000000000001" {
+  oa_process owner "Owner" id "00000000-0000-4000-8000-000000000002" {  steps [@subject]; }
+  
+  // Authored omissions must stay omitted through no-op and a name edit.
+  oa_occurrence subject "Subject" id "00000000-0000-4000-8000-000000000003" { parent @owner; body { Action { action none; }; }; }
+}

harness/experiments/constructor-defaults-20260911/results/OA-Action-omit-lifeline.canonical.arcadia

@@ -0,0 +1,24 @@
+arcadia 7;
+project defaults "Constructor defaults" id "00000000-0000-4000-8000-000000000001" {
+    description "";
+
+    oa_process owner "Owner" id "00000000-0000-4000-8000-000000000002" {
+        description "";
+        parent none;
+        steps [@subject];
+    }
+
+    oa_occurrence subject "Subject" id "00000000-0000-4000-8000-000000000003" {
+        body {
+            Action {
+                action none;
+                lifeline none;
+            };
+        };
+        description "";
+        parent @owner;
+        postcondition "";
+        precondition "";
+    }
+
+}

harness/experiments/constructor-defaults-20260911/results/OA-Branch-explicit.arcadia

@@ -0,0 +1,7 @@
+arcadia 7;
+project defaults "Constructor defaults" id "00000000-0000-4000-8000-000000000001" {
+  oa_scenario owner "Owner" id "00000000-0000-4000-8000-000000000002" { viewpoint OperationalActivity; steps [@holder]; }
+  oa_occurrence holder "Fragment owner" id "00000000-0000-4000-8000-000000000004" { parent @owner; body { Fragment { operator Alternative; branches [@subject]; }; }; }
+  // Authored omissions must stay omitted through no-op and a name edit.
+  oa_occurrence subject "Subject" id "00000000-0000-4000-8000-000000000003" { parent @holder; body { Branch { guard ""; occurrences []; }; }; }
+}

harness/experiments/constructor-defaults-20260911/results/OA-Branch-explicit.canonical.arcadia

@@ -0,0 +1,41 @@
+arcadia 7;
+project defaults "Constructor defaults" id "00000000-0000-4000-8000-000000000001" {
+    description "";
+
+    oa_scenario owner "Owner" id "00000000-0000-4000-8000-000000000002" {
+        context none;
+        description "";
+        parent none;
+        postcondition "";
+        precondition "";
+        steps [@holder];
+        viewpoint OperationalActivity;
+    }
+
+    oa_occurrence subject "Subject" id "00000000-0000-4000-8000-000000000003" {
+        body {
+            Branch {
+                guard "";
+                occurrences [];
+            };
+        };
+        description "";
+        parent @holder;
+        postcondition "";
+        precondition "";
+    }
+
+    oa_occurrence holder "Fragment owner" id "00000000-0000-4000-8000-000000000004" {
+        body {
+            Fragment {
+                branches [@subject];
+                operator Alternative;
+            };
+        };
+        description "";
+        parent @owner;
+        postcondition "";
+        precondition "";
+    }
+
+}

harness/experiments/constructor-defaults-20260911/results/OA-Branch-omit-guard.arcadia

@@ -0,0 +1,7 @@
+arcadia 7;
+project defaults "Constructor defaults" id "00000000-0000-4000-8000-000000000001" {
+  oa_scenario owner "Owner" id "00000000-0000-4000-8000-000000000002" { viewpoint OperationalActivity; steps [@holder]; }
+  oa_occurrence holder "Fragment owner" id "00000000-0000-4000-8000-000000000004" { parent @owner; body { Fragment { operator Alternative; branches [@subject]; }; }; }
+  // Authored omissions must stay omitted through no-op and a name edit.
+  oa_occurrence subject "Subject" id "00000000-0000-4000-8000-000000000003" { parent @holder; body { Branch { occurrences []; }; }; }
+}

harness/experiments/constructor-defaults-20260911/results/OA-Branch-omit-occurrences.arcadia

@@ -0,0 +1,7 @@
+arcadia 7;
+project defaults "Constructor defaults" id "00000000-0000-4000-8000-000000000001" {
+  oa_scenario owner "Owner" id "00000000-0000-4000-8000-000000000002" { viewpoint OperationalActivity; steps [@holder]; }
+  oa_occurrence holder "Fragment owner" id "00000000-0000-4000-8000-000000000004" { parent @owner; body { Fragment { operator Alternative; branches [@subject]; }; }; }
+  // Authored omissions must stay omitted through no-op and a name edit.
+  oa_occurrence subject "Subject" id "00000000-0000-4000-8000-000000000003" { parent @holder; body { Branch { guard ""; }; }; }
+}

harness/experiments/constructor-defaults-20260911/results/OA-Control-explicit.arcadia

@@ -0,0 +1,7 @@
+arcadia 7;
+project defaults "Constructor defaults" id "00000000-0000-4000-8000-000000000001" {
+  oa_process owner "Owner" id "00000000-0000-4000-8000-000000000002" {  steps [@subject]; }
+  
+  // Authored omissions must stay omitted through no-op and a name edit.
+  oa_occurrence subject "Subject" id "00000000-0000-4000-8000-000000000003" { parent @owner; body { Control { kind Choice; }; }; }
+}

harness/experiments/constructor-defaults-20260911/results/OA-Control-explicit.canonical.arcadia

@@ -0,0 +1,23 @@
+arcadia 7;
+project defaults "Constructor defaults" id "00000000-0000-4000-8000-000000000001" {
+    description "";
+
+    oa_process owner "Owner" id "00000000-0000-4000-8000-000000000002" {
+        description "";
+        parent none;
+        steps [@subject];
+    }
+
+    oa_occurrence subject "Subject" id "00000000-0000-4000-8000-000000000003" {
+        body {
+            Control {
+                kind Choice;
+            };
+        };
+        description "";
+        parent @owner;
+        postcondition "";
+        precondition "";
+    }
+
+}

harness/experiments/constructor-defaults-20260911/results/OA-Control-omit-kind.arcadia

@@ -0,0 +1,7 @@
+arcadia 7;
+project defaults "Constructor defaults" id "00000000-0000-4000-8000-000000000001" {
+  oa_process owner "Owner" id "00000000-0000-4000-8000-000000000002" {  steps [@subject]; }
+  
+  // Authored omissions must stay omitted through no-op and a name edit.
+  oa_occurrence subject "Subject" id "00000000-0000-4000-8000-000000000003" { parent @owner; body { Control {  }; }; }
+}

harness/experiments/constructor-defaults-20260911/results/OA-Exchange-explicit.arcadia

@@ -0,0 +1,7 @@
+arcadia 7;
+project defaults "Constructor defaults" id "00000000-0000-4000-8000-000000000001" {
+  oa_process owner "Owner" id "00000000-0000-4000-8000-000000000002" {  steps [@subject]; }
+  
+  // Authored omissions must stay omitted through no-op and a name edit.
+  oa_occurrence subject "Subject" id "00000000-0000-4000-8000-000000000003" { parent @owner; body { Exchange { exchange none; sender none; receiver none; message_kind Asynchronous; reply_to none; values []; operation none; }; }; }
+}

harness/experiments/constructor-defaults-20260911/results/OA-Exchange-explicit.canonical.arcadia

@@ -0,0 +1,28 @@
+arcadia 7;
+project defaults "Constructor defaults" id "00000000-0000-4000-8000-000000000001" {
+    description "";
+
+    oa_process owner "Owner" id "00000000-0000-4000-8000-000000000002" {
+        description "";
+        parent none;
+        steps [@subject];
+    }
+
+    oa_occurrence subject "Subject" id "00000000-0000-4000-8000-000000000003" {
+        body {
+            Exchange {
+                exchange none;
+                message_kind Asynchronous;
+                receiver none;
+                reply_to none;
+                sender none;
+                values [];
+            };
+        };
+        description "";
+        parent @owner;
+        postcondition "";
+        precondition "";
+    }
+
+}

harness/experiments/constructor-defaults-20260911/results/OA-Exchange-omit-all-optional.arcadia

@@ -0,0 +1,7 @@
+arcadia 7;
+project defaults "Constructor defaults" id "00000000-0000-4000-8000-000000000001" {
+  oa_process owner "Owner" id "00000000-0000-4000-8000-000000000002" {  steps [@subject]; }
+  
+  // Authored omissions must stay omitted through no-op and a name edit.
+  oa_occurrence subject "Subject" id "00000000-0000-4000-8000-000000000003" { parent @owner; body { Exchange {  }; }; }
+}

harness/experiments/constructor-defaults-20260911/results/OA-Exchange-omit-all-optional.canonical.arcadia

@@ -0,0 +1,28 @@
+arcadia 7;
+project defaults "Constructor defaults" id "00000000-0000-4000-8000-000000000001" {
+    description "";
+
+    oa_process owner "Owner" id "00000000-0000-4000-8000-000000000002" {
+        description "";
+        parent none;
+        steps [@subject];
+    }
+
+    oa_occurrence subject "Subject" id "00000000-0000-4000-8000-000000000003" {
+        body {
+            Exchange {
+                exchange none;
+                message_kind Asynchronous;
+                receiver none;
+                reply_to none;
+                sender none;
+                values [];
+            };
+        };
+        description "";
+        parent @owner;
+        postcondition "";
+        precondition "";
+    }
+
+}

harness/experiments/constructor-defaults-20260911/results/OA-Exchange-omit-exchange.arcadia

@@ -0,0 +1,7 @@
+arcadia 7;
+project defaults "Constructor defaults" id "00000000-0000-4000-8000-000000000001" {
+  oa_process owner "Owner" id "00000000-0000-4000-8000-000000000002" {  steps [@subject]; }
+  
+  // Authored omissions must stay omitted through no-op and a name edit.
+  oa_occurrence subject "Subject" id "00000000-0000-4000-8000-000000000003" { parent @owner; body { Exchange { sender none; receiver none; message_kind Asynchronous; reply_to none; values []; operation none; }; }; }
+}

harness/experiments/constructor-defaults-20260911/results/OA-Exchange-omit-exchange.canonical.arcadia

@@ -0,0 +1,28 @@
+arcadia 7;
+project defaults "Constructor defaults" id "00000000-0000-4000-8000-000000000001" {
+    description "";
+
+    oa_process owner "Owner" id "00000000-0000-4000-8000-000000000002" {
+        description "";
+        parent none;
+        steps [@subject];
+    }
+
+    oa_occurrence subject "Subject" id "00000000-0000-4000-8000-000000000003" {
+        body {
+            Exchange {
+                exchange none;
+                message_kind Asynchronous;
+                receiver none;
+                reply_to none;
+                sender none;
+                values [];
+            };
+        };
+        description "";
+        parent @owner;
+        postcondition "";
+        precondition "";
+    }
+
+}

harness/experiments/constructor-defaults-20260911/results/OA-Exchange-omit-message_kind.arcadia

@@ -0,0 +1,7 @@
+arcadia 7;
+project defaults "Constructor defaults" id "00000000-0000-4000-8000-000000000001" {
+  oa_process owner "Owner" id "00000000-0000-4000-8000-000000000002" {  steps [@subject]; }
+  
+  // Authored omissions must stay omitted through no-op and a name edit.
+  oa_occurrence subject "Subject" id "00000000-0000-4000-8000-000000000003" { parent @owner; body { Exchange { exchange none; sender none; receiver none; reply_to none; values []; operation none; }; }; }
+}

harness/experiments/constructor-defaults-20260911/results/OA-Exchange-omit-message_kind.canonical.arcadia

@@ -0,0 +1,28 @@
+arcadia 7;
+project defaults "Constructor defaults" id "00000000-0000-4000-8000-000000000001" {
+    description "";
+
+    oa_process owner "Owner" id "00000000-0000-4000-8000-000000000002" {
+        description "";
+        parent none;
+        steps [@subject];
+    }
+
+    oa_occurrence subject "Subject" id "00000000-0000-4000-8000-000000000003" {
+        body {
+            Exchange {
+                exchange none;
+                message_kind Asynchronous;
+                receiver none;
+                reply_to none;
+                sender none;
+                values [];
+            };
+        };
+        description "";
+        parent @owner;
+        postcondition "";
+        precondition "";
+    }
+
+}

harness/experiments/constructor-defaults-20260911/results/OA-Exchange-omit-operation.arcadia

@@ -0,0 +1,7 @@
+arcadia 7;
+project defaults "Constructor defaults" id "00000000-0000-4000-8000-000000000001" {
+  oa_process owner "Owner" id "00000000-0000-4000-8000-000000000002" {  steps [@subject]; }
+  
+  // Authored omissions must stay omitted through no-op and a name edit.
+  oa_occurrence subject "Subject" id "00000000-0000-4000-8000-000000000003" { parent @owner; body { Exchange { exchange none; sender none; receiver none; message_kind Asynchronous; reply_to none; values []; }; }; }
+}

harness/experiments/constructor-defaults-20260911/results/OA-Exchange-omit-operation.canonical.arcadia

@@ -0,0 +1,28 @@
+arcadia 7;
+project defaults "Constructor defaults" id "00000000-0000-4000-8000-000000000001" {
+    description "";
+
+    oa_process owner "Owner" id "00000000-0000-4000-8000-000000000002" {
+        description "";
+        parent none;
+        steps [@subject];
+    }
+
+    oa_occurrence subject "Subject" id "00000000-0000-4000-8000-000000000003" {
+        body {
+            Exchange {
+                exchange none;
+                message_kind Asynchronous;
+                receiver none;
+                reply_to none;
+                sender none;
+                values [];
+            };
+        };
+        description "";
+        parent @owner;
+        postcondition "";
+        precondition "";
+    }
+
+}

harness/experiments/constructor-defaults-20260911/results/OA-Exchange-omit-receiver.arcadia

@@ -0,0 +1,7 @@
+arcadia 7;
+project defaults "Constructor defaults" id "00000000-0000-4000-8000-000000000001" {
+  oa_process owner "Owner" id "00000000-0000-4000-8000-000000000002" {  steps [@subject]; }
+  
+  // Authored omissions must stay omitted through no-op and a name edit.
+  oa_occurrence subject "Subject" id "00000000-0000-4000-8000-000000000003" { parent @owner; body { Exchange { exchange none; sender none; message_kind Asynchronous; reply_to none; values []; operation none; }; }; }
+}

harness/experiments/constructor-defaults-20260911/results/OA-Exchange-omit-receiver.canonical.arcadia

@@ -0,0 +1,28 @@
+arcadia 7;
+project defaults "Constructor defaults" id "00000000-0000-4000-8000-000000000001" {
+    description "";
+
+    oa_process owner "Owner" id "00000000-0000-4000-8000-000000000002" {
+        description "";
+        parent none;
+        steps [@subject];
+    }
+
+    oa_occurrence subject "Subject" id "00000000-0000-4000-8000-000000000003" {
+        body {
+            Exchange {
+                exchange none;
+                message_kind Asynchronous;
+                receiver none;
+                reply_to none;
+                sender none;
+                values [];
+            };
+        };
+        description "";
+        parent @owner;
+        postcondition "";
+        precondition "";
+    }
+
+}

harness/experiments/constructor-defaults-20260911/results/OA-Exchange-omit-reply_to.arcadia

@@ -0,0 +1,7 @@
+arcadia 7;
+project defaults "Constructor defaults" id "00000000-0000-4000-8000-000000000001" {
+  oa_process owner "Owner" id "00000000-0000-4000-8000-000000000002" {  steps [@subject]; }
+  
+  // Authored omissions must stay omitted through no-op and a name edit.
+  oa_occurrence subject "Subject" id "00000000-0000-4000-8000-000000000003" { parent @owner; body { Exchange { exchange none; sender none; receiver none; message_kind Asynchronous; values []; operation none; }; }; }
+}

harness/experiments/constructor-defaults-20260911/results/OA-Exchange-omit-reply_to.canonical.arcadia

@@ -0,0 +1,28 @@
+arcadia 7;
+project defaults "Constructor defaults" id "00000000-0000-4000-8000-000000000001" {
+    description "";
+
+    oa_process owner "Owner" id "00000000-0000-4000-8000-000000000002" {
+        description "";
+        parent none;
+        steps [@subject];
+    }
+
+    oa_occurrence subject "Subject" id "00000000-0000-4000-8000-000000000003" {
+        body {
+            Exchange {
+                exchange none;
+                message_kind Asynchronous;
+                receiver none;
+                reply_to none;
+                sender none;
+                values [];
+            };
+        };
+        description "";
+        parent @owner;
+        postcondition "";
+        precondition "";
+    }
+
+}

harness/experiments/constructor-defaults-20260911/results/OA-Exchange-omit-sender.arcadia

@@ -0,0 +1,7 @@
+arcadia 7;
+project defaults "Constructor defaults" id "00000000-0000-4000-8000-000000000001" {
+  oa_process owner "Owner" id "00000000-0000-4000-8000-000000000002" {  steps [@subject]; }
+  
+  // Authored omissions must stay omitted through no-op and a name edit.
+  oa_occurrence subject "Subject" id "00000000-0000-4000-8000-000000000003" { parent @owner; body { Exchange { exchange none; receiver none; message_kind Asynchronous; reply_to none; values []; operation none; }; }; }
+}

harness/experiments/constructor-defaults-20260911/results/OA-Exchange-omit-sender.canonical.arcadia

@@ -0,0 +1,28 @@
+arcadia 7;
+project defaults "Constructor defaults" id "00000000-0000-4000-8000-000000000001" {
+    description "";
+
+    oa_process owner "Owner" id "00000000-0000-4000-8000-000000000002" {
+        description "";
+        parent none;
+        steps [@subject];
+    }
+
+    oa_occurrence subject "Subject" id "00000000-0000-4000-8000-000000000003" {
+        body {
+            Exchange {
+                exchange none;
+                message_kind Asynchronous;
+                receiver none;
+                reply_to none;
+                sender none;
+                values [];
+            };
+        };
+        description "";
+        parent @owner;
+        postcondition "";
+        precondition "";
+    }
+
+}

harness/experiments/constructor-defaults-20260911/results/OA-Exchange-omit-values.arcadia

@@ -0,0 +1,7 @@
+arcadia 7;
+project defaults "Constructor defaults" id "00000000-0000-4000-8000-000000000001" {
+  oa_process owner "Owner" id "00000000-0000-4000-8000-000000000002" {  steps [@subject]; }
+  
+  // Authored omissions must stay omitted through no-op and a name edit.
+  oa_occurrence subject "Subject" id "00000000-0000-4000-8000-000000000003" { parent @owner; body { Exchange { exchange none; sender none; receiver none; message_kind Asynchronous; reply_to none; operation none; }; }; }
+}

harness/experiments/constructor-defaults-20260911/results/OA-Exchange-omit-values.canonical.arcadia

@@ -0,0 +1,28 @@
+arcadia 7;
+project defaults "Constructor defaults" id "00000000-0000-4000-8000-000000000001" {
+    description "";
+
+    oa_process owner "Owner" id "00000000-0000-4000-8000-000000000002" {
+        description "";
+        parent none;
+        steps [@subject];
+    }
+
+    oa_occurrence subject "Subject" id "00000000-0000-4000-8000-000000000003" {
+        body {
+            Exchange {
+                exchange none;
+                message_kind Asynchronous;
+                receiver none;
+                reply_to none;
+                sender none;
+                values [];
+            };
+        };
+        description "";
+        parent @owner;
+        postcondition "";
+        precondition "";
+    }
+
+}

harness/experiments/constructor-defaults-20260911/results/OA-Fragment-explicit.arcadia

@@ -0,0 +1,7 @@
+arcadia 7;
+project defaults "Constructor defaults" id "00000000-0000-4000-8000-000000000001" {
+  oa_scenario owner "Owner" id "00000000-0000-4000-8000-000000000002" { viewpoint OperationalActivity; steps [@subject]; }
+  
+  // Authored omissions must stay omitted through no-op and a name edit.
+  oa_occurrence subject "Subject" id "00000000-0000-4000-8000-000000000003" { parent @owner; body { Fragment { operator Alternative; branches []; }; }; }
+}

harness/experiments/constructor-defaults-20260911/results/OA-Fragment-explicit.canonical.arcadia

@@ -0,0 +1,28 @@
+arcadia 7;
+project defaults "Constructor defaults" id "00000000-0000-4000-8000-000000000001" {
+    description "";
+
+    oa_scenario owner "Owner" id "00000000-0000-4000-8000-000000000002" {
+        context none;
+        description "";
+        parent none;
+        postcondition "";
+        precondition "";
+        steps [@subject];
+        viewpoint OperationalActivity;
+    }
+
+    oa_occurrence subject "Subject" id "00000000-0000-4000-8000-000000000003" {
+        body {
+            Fragment {
+                branches [];
+                operator Alternative;
+            };
+        };
+        description "";
+        parent @owner;
+        postcondition "";
+        precondition "";
+    }
+
+}

harness/experiments/constructor-defaults-20260911/results/OA-Fragment-omit-branches.arcadia

@@ -0,0 +1,7 @@
+arcadia 7;
+project defaults "Constructor defaults" id "00000000-0000-4000-8000-000000000001" {
+  oa_scenario owner "Owner" id "00000000-0000-4000-8000-000000000002" { viewpoint OperationalActivity; steps [@subject]; }
+  
+  // Authored omissions must stay omitted through no-op and a name edit.
+  oa_occurrence subject "Subject" id "00000000-0000-4000-8000-000000000003" { parent @owner; body { Fragment { operator Alternative; }; }; }
+}

harness/experiments/constructor-defaults-20260911/results/OA-Fragment-omit-operator.arcadia

@@ -0,0 +1,7 @@
+arcadia 7;
+project defaults "Constructor defaults" id "00000000-0000-4000-8000-000000000001" {
+  oa_scenario owner "Owner" id "00000000-0000-4000-8000-000000000002" { viewpoint OperationalActivity; steps [@subject]; }
+  
+  // Authored omissions must stay omitted through no-op and a name edit.
+  oa_occurrence subject "Subject" id "00000000-0000-4000-8000-000000000003" { parent @owner; body { Fragment { branches []; }; }; }
+}

harness/experiments/constructor-defaults-20260911/results/OA-ScenarioUse-explicit.arcadia

@@ -0,0 +1,7 @@
+arcadia 7;
+project defaults "Constructor defaults" id "00000000-0000-4000-8000-000000000001" {
+  oa_scenario owner "Owner" id "00000000-0000-4000-8000-000000000002" { viewpoint OperationalActivity; steps [@subject]; }
+  
+  // Authored omissions must stay omitted through no-op and a name edit.
+  oa_occurrence subject "Subject" id "00000000-0000-4000-8000-000000000003" { parent @owner; body { ScenarioUse { scenario none; bindings []; }; }; }
+}

harness/experiments/constructor-defaults-20260911/results/OA-ScenarioUse-explicit.canonical.arcadia

@@ -0,0 +1,28 @@
+arcadia 7;
+project defaults "Constructor defaults" id "00000000-0000-4000-8000-000000000001" {
+    description "";
+
+    oa_scenario owner "Owner" id "00000000-0000-4000-8000-000000000002" {
+        context none;
+        description "";
+        parent none;
+        postcondition "";
+        precondition "";
+        steps [@subject];
+        viewpoint OperationalActivity;
+    }
+
+    oa_occurrence subject "Subject" id "00000000-0000-4000-8000-000000000003" {
+        body {
+            ScenarioUse {
+                bindings [];
+                scenario none;
+            };
+        };
+        description "";
+        parent @owner;
+        postcondition "";
+        precondition "";
+    }
+
+}

harness/experiments/constructor-defaults-20260911/results/OA-ScenarioUse-omit-all-optional.arcadia

@@ -0,0 +1,7 @@
+arcadia 7;
+project defaults "Constructor defaults" id "00000000-0000-4000-8000-000000000001" {
+  oa_scenario owner "Owner" id "00000000-0000-4000-8000-000000000002" { viewpoint OperationalActivity; steps [@subject]; }
+  
+  // Authored omissions must stay omitted through no-op and a name edit.
+  oa_occurrence subject "Subject" id "00000000-0000-4000-8000-000000000003" { parent @owner; body { ScenarioUse { bindings []; }; }; }
+}

harness/experiments/constructor-defaults-20260911/results/OA-ScenarioUse-omit-all-optional.canonical.arcadia

@@ -0,0 +1,28 @@
+arcadia 7;
+project defaults "Constructor defaults" id "00000000-0000-4000-8000-000000000001" {
+    description "";
+
+    oa_scenario owner "Owner" id "00000000-0000-4000-8000-000000000002" {
+        context none;
+        description "";
+        parent none;
+        postcondition "";
+        precondition "";
+        steps [@subject];
+        viewpoint OperationalActivity;
+    }
+
+    oa_occurrence subject "Subject" id "00000000-0000-4000-8000-000000000003" {
+        body {
+            ScenarioUse {
+                bindings [];
+                scenario none;
+            };
+        };
+        description "";
+        parent @owner;
+        postcondition "";
+        precondition "";
+    }
+
+}

harness/experiments/constructor-defaults-20260911/results/OA-ScenarioUse-omit-bindings.arcadia

@@ -0,0 +1,7 @@
+arcadia 7;
+project defaults "Constructor defaults" id "00000000-0000-4000-8000-000000000001" {
+  oa_scenario owner "Owner" id "00000000-0000-4000-8000-000000000002" { viewpoint OperationalActivity; steps [@subject]; }
+  
+  // Authored omissions must stay omitted through no-op and a name edit.
+  oa_occurrence subject "Subject" id "00000000-0000-4000-8000-000000000003" { parent @owner; body { ScenarioUse { scenario none; }; }; }
+}

harness/experiments/constructor-defaults-20260911/results/OA-ScenarioUse-omit-scenario.arcadia

@@ -0,0 +1,7 @@
+arcadia 7;
+project defaults "Constructor defaults" id "00000000-0000-4000-8000-000000000001" {
+  oa_scenario owner "Owner" id "00000000-0000-4000-8000-000000000002" { viewpoint OperationalActivity; steps [@subject]; }
+  
+  // Authored omissions must stay omitted through no-op and a name edit.
+  oa_occurrence subject "Subject" id "00000000-0000-4000-8000-000000000003" { parent @owner; body { ScenarioUse { bindings []; }; }; }
+}

harness/experiments/constructor-defaults-20260911/results/OA-ScenarioUse-omit-scenario.canonical.arcadia

@@ -0,0 +1,28 @@
+arcadia 7;
+project defaults "Constructor defaults" id "00000000-0000-4000-8000-000000000001" {
+    description "";
+
+    oa_scenario owner "Owner" id "00000000-0000-4000-8000-000000000002" {
+        context none;
+        description "";
+        parent none;
+        postcondition "";
+        precondition "";
+        steps [@subject];
+        viewpoint OperationalActivity;
+    }
+
+    oa_occurrence subject "Subject" id "00000000-0000-4000-8000-000000000003" {
+        body {
+            ScenarioUse {
+                bindings [];
+                scenario none;
+            };
+        };
+        description "";
+        parent @owner;
+        postcondition "";
+        precondition "";
+    }
+
+}

harness/experiments/constructor-defaults-20260911/results/OA-SequenceReference-explicit.arcadia

@@ -0,0 +1,7 @@
+arcadia 7;
+project defaults "Constructor defaults" id "00000000-0000-4000-8000-000000000001" {
+  oa_process owner "Owner" id "00000000-0000-4000-8000-000000000002" {  steps [@subject]; }
+  
+  // Authored omissions must stay omitted through no-op and a name edit.
+  oa_occurrence subject "Subject" id "00000000-0000-4000-8000-000000000003" { parent @owner; body { SequenceReference { sequence none; }; }; }
+}

harness/experiments/constructor-defaults-20260911/results/OA-SequenceReference-explicit.canonical.arcadia

@@ -0,0 +1,23 @@
+arcadia 7;
+project defaults "Constructor defaults" id "00000000-0000-4000-8000-000000000001" {
+    description "";
+
+    oa_process owner "Owner" id "00000000-0000-4000-8000-000000000002" {
+        description "";
+        parent none;
+        steps [@subject];
+    }
+
+    oa_occurrence subject "Subject" id "00000000-0000-4000-8000-000000000003" {
+        body {
+            SequenceReference {
+                sequence none;
+            };
+        };
+        description "";
+        parent @owner;
+        postcondition "";
+        precondition "";
+    }
+
+}

harness/experiments/constructor-defaults-20260911/results/OA-SequenceReference-omit-all-optional.arcadia

@@ -0,0 +1,7 @@
+arcadia 7;
+project defaults "Constructor defaults" id "00000000-0000-4000-8000-000000000001" {
+  oa_process owner "Owner" id "00000000-0000-4000-8000-000000000002" {  steps [@subject]; }
+  
+  // Authored omissions must stay omitted through no-op and a name edit.
+  oa_occurrence subject "Subject" id "00000000-0000-4000-8000-000000000003" { parent @owner; body { SequenceReference {  }; }; }
+}

harness/experiments/constructor-defaults-20260911/results/OA-SequenceReference-omit-all-optional.canonical.arcadia

@@ -0,0 +1,23 @@
+arcadia 7;
+project defaults "Constructor defaults" id "00000000-0000-4000-8000-000000000001" {
+    description "";
+
+    oa_process owner "Owner" id "00000000-0000-4000-8000-000000000002" {
+        description "";
+        parent none;
+        steps [@subject];
+    }
+
+    oa_occurrence subject "Subject" id "00000000-0000-4000-8000-000000000003" {
+        body {
+            SequenceReference {
+                sequence none;
+            };
+        };
+        description "";
+        parent @owner;
+        postcondition "";
+        precondition "";
+    }
+
+}

harness/experiments/constructor-defaults-20260911/results/OA-SequenceReference-omit-sequence.arcadia

@@ -0,0 +1,7 @@
+arcadia 7;
+project defaults "Constructor defaults" id "00000000-0000-4000-8000-000000000001" {
+  oa_process owner "Owner" id "00000000-0000-4000-8000-000000000002" {  steps [@subject]; }
+  
+  // Authored omissions must stay omitted through no-op and a name edit.
+  oa_occurrence subject "Subject" id "00000000-0000-4000-8000-000000000003" { parent @owner; body { SequenceReference {  }; }; }
+}

harness/experiments/constructor-defaults-20260911/results/OA-SequenceReference-omit-sequence.canonical.arcadia

@@ -0,0 +1,23 @@
+arcadia 7;
+project defaults "Constructor defaults" id "00000000-0000-4000-8000-000000000001" {
+    description "";
+
+    oa_process owner "Owner" id "00000000-0000-4000-8000-000000000002" {
+        description "";
+        parent none;
+        steps [@subject];
+    }
+
+    oa_occurrence subject "Subject" id "00000000-0000-4000-8000-000000000003" {
+        body {
+            SequenceReference {
+                sequence none;
+            };
+        };
+        description "";
+        parent @owner;
+        postcondition "";
+        precondition "";
+    }
+
+}

harness/experiments/constructor-defaults-20260911/results/OA-State-explicit.arcadia

@@ -0,0 +1,7 @@
+arcadia 7;
+project defaults "Constructor defaults" id "00000000-0000-4000-8000-000000000001" {
+  oa_scenario owner "Owner" id "00000000-0000-4000-8000-000000000002" { viewpoint OperationalActivity; steps [@subject]; }
+  
+  // Authored omissions must stay omitted through no-op and a name edit.
+  oa_occurrence subject "Subject" id "00000000-0000-4000-8000-000000000003" { parent @owner; body { State { state none; lifeline none; }; }; }
+}

harness/experiments/constructor-defaults-20260911/results/OA-State-explicit.canonical.arcadia

@@ -0,0 +1,28 @@
+arcadia 7;
+project defaults "Constructor defaults" id "00000000-0000-4000-8000-000000000001" {
+    description "";
+
+    oa_scenario owner "Owner" id "00000000-0000-4000-8000-000000000002" {
+        context none;
+        description "";
+        parent none;
+        postcondition "";
+        precondition "";
+        steps [@subject];
+        viewpoint OperationalActivity;
+    }
+
+    oa_occurrence subject "Subject" id "00000000-0000-4000-8000-000000000003" {
+        body {
+            State {
+                lifeline none;
+                state none;
+            };
+        };
+        description "";
+        parent @owner;
+        postcondition "";
+        precondition "";
+    }
+
+}

harness/experiments/constructor-defaults-20260911/results/OA-State-omit-all-optional.arcadia

@@ -0,0 +1,7 @@
+arcadia 7;
+project defaults "Constructor defaults" id "00000000-0000-4000-8000-000000000001" {
+  oa_scenario owner "Owner" id "00000000-0000-4000-8000-000000000002" { viewpoint OperationalActivity; steps [@subject]; }
+  
+  // Authored omissions must stay omitted through no-op and a name edit.
+  oa_occurrence subject "Subject" id "00000000-0000-4000-8000-000000000003" { parent @owner; body { State {  }; }; }
+}

harness/experiments/constructor-defaults-20260911/results/OA-State-omit-all-optional.canonical.arcadia

@@ -0,0 +1,28 @@
+arcadia 7;
+project defaults "Constructor defaults" id "00000000-0000-4000-8000-000000000001" {
+    description "";
+
+    oa_scenario owner "Owner" id "00000000-0000-4000-8000-000000000002" {
+        context none;
+        description "";
+        parent none;
+        postcondition "";
+        precondition "";
+        steps [@subject];
+        viewpoint OperationalActivity;
+    }
+
+    oa_occurrence subject "Subject" id "00000000-0000-4000-8000-000000000003" {
+        body {
+            State {
+                lifeline none;
+                state none;
+            };
+        };
+        description "";
+        parent @owner;
+        postcondition "";
+        precondition "";
+    }
+
+}

harness/experiments/constructor-defaults-20260911/results/OA-State-omit-lifeline.arcadia

@@ -0,0 +1,7 @@
+arcadia 7;
+project defaults "Constructor defaults" id "00000000-0000-4000-8000-000000000001" {
+  oa_scenario owner "Owner" id "00000000-0000-4000-8000-000000000002" { viewpoint OperationalActivity; steps [@subject]; }
+  
+  // Authored omissions must stay omitted through no-op and a name edit.
+  oa_occurrence subject "Subject" id "00000000-0000-4000-8000-000000000003" { parent @owner; body { State { state none; }; }; }
+}

harness/experiments/constructor-defaults-20260911/results/OA-State-omit-lifeline.canonical.arcadia

@@ -0,0 +1,28 @@
+arcadia 7;
+project defaults "Constructor defaults" id "00000000-0000-4000-8000-000000000001" {
+    description "";
+
+    oa_scenario owner "Owner" id "00000000-0000-4000-8000-000000000002" {
+        context none;
+        description "";
+        parent none;
+        postcondition "";
+        precondition "";
+        steps [@subject];
+        viewpoint OperationalActivity;
+    }
+
+    oa_occurrence subject "Subject" id "00000000-0000-4000-8000-000000000003" {
+        body {
+            State {
+                lifeline none;
+                state none;
+            };
+        };
+        description "";
+        parent @owner;
+        postcondition "";
+        precondition "";
+    }
+
+}

harness/experiments/constructor-defaults-20260911/results/OA-State-omit-state.arcadia

@@ -0,0 +1,7 @@
+arcadia 7;
+project defaults "Constructor defaults" id "00000000-0000-4000-8000-000000000001" {
+  oa_scenario owner "Owner" id "00000000-0000-4000-8000-000000000002" { viewpoint OperationalActivity; steps [@subject]; }
+  
+  // Authored omissions must stay omitted through no-op and a name edit.
+  oa_occurrence subject "Subject" id "00000000-0000-4000-8000-000000000003" { parent @owner; body { State { lifeline none; }; }; }
+}

harness/experiments/constructor-defaults-20260911/results/OA-State-omit-state.canonical.arcadia

@@ -0,0 +1,28 @@
+arcadia 7;
+project defaults "Constructor defaults" id "00000000-0000-4000-8000-000000000001" {
+    description "";
+
+    oa_scenario owner "Owner" id "00000000-0000-4000-8000-000000000002" {
+        context none;
+        description "";
+        parent none;
+        postcondition "";
+        precondition "";
+        steps [@subject];
+        viewpoint OperationalActivity;
+    }
+
+    oa_occurrence subject "Subject" id "00000000-0000-4000-8000-000000000003" {
+        body {
+            State {
+                lifeline none;
+                state none;
+            };
+        };
+        description "";
+        parent @owner;
+        postcondition "";
+        precondition "";
+    }
+
+}

harness/experiments/constructor-defaults-20260911/results/OA-scenario-viewpoint-explicit.arcadia

@@ -0,0 +1,2 @@
+arcadia 7;
+project defaults "Defaults" id "00000000-0000-4000-8000-000000000001" { oa_scenario scene "Scene" id "00000000-0000-4000-8000-000000000002" { viewpoint MixedLegacy; } }

harness/experiments/constructor-defaults-20260911/results/OA-scenario-viewpoint-omitted.arcadia

@@ -0,0 +1,2 @@
+arcadia 7;
+project defaults "Defaults" id "00000000-0000-4000-8000-000000000001" { oa_scenario scene "Scene" id "00000000-0000-4000-8000-000000000002" { } }

harness/experiments/constructor-defaults-20260911/results/SA-Action-explicit.arcadia

@@ -0,0 +1,7 @@
+arcadia 7;
+project defaults "Constructor defaults" id "00000000-0000-4000-8000-000000000001" {
+  sa_functional_chain owner "Owner" id "00000000-0000-4000-8000-000000000002" {  steps [@subject]; }
+  
+  // Authored omissions must stay omitted through no-op and a name edit.
+  sa_occurrence subject "Subject" id "00000000-0000-4000-8000-000000000003" { parent @owner; body { Action { action none; lifeline none; }; }; }
+}

harness/experiments/constructor-defaults-20260911/results/SA-Action-explicit.canonical.arcadia

@@ -0,0 +1,24 @@
+arcadia 7;
+project defaults "Constructor defaults" id "00000000-0000-4000-8000-000000000001" {
+    description "";
+
+    sa_functional_chain owner "Owner" id "00000000-0000-4000-8000-000000000002" {
+        description "";
+        parent none;
+        steps [@subject];
+    }
+
+    sa_occurrence subject "Subject" id "00000000-0000-4000-8000-000000000003" {
+        body {
+            Action {
+                action none;
+                lifeline none;
+            };
+        };
+        description "";
+        parent @owner;
+        postcondition "";
+        precondition "";
+    }
+
+}

harness/experiments/constructor-defaults-20260911/results/SA-Action-omit-action.arcadia

@@ -0,0 +1,7 @@
+arcadia 7;
+project defaults "Constructor defaults" id "00000000-0000-4000-8000-000000000001" {
+  sa_functional_chain owner "Owner" id "00000000-0000-4000-8000-000000000002" {  steps [@subject]; }
+  
+  // Authored omissions must stay omitted through no-op and a name edit.
+  sa_occurrence subject "Subject" id "00000000-0000-4000-8000-000000000003" { parent @owner; body { Action { lifeline none; }; }; }
+}

harness/experiments/constructor-defaults-20260911/results/SA-Action-omit-action.canonical.arcadia

@@ -0,0 +1,24 @@
+arcadia 7;
+project defaults "Constructor defaults" id "00000000-0000-4000-8000-000000000001" {
+    description "";
+
+    sa_functional_chain owner "Owner" id "00000000-0000-4000-8000-000000000002" {
+        description "";
+        parent none;
+        steps [@subject];
+    }
+
+    sa_occurrence subject "Subject" id "00000000-0000-4000-8000-000000000003" {
+        body {
+            Action {
+                action none;
+                lifeline none;
+            };
+        };
+        description "";
+        parent @owner;
+        postcondition "";
+        precondition "";
+    }
+
+}

harness/experiments/constructor-defaults-20260911/results/SA-Action-omit-all-optional.arcadia

@@ -0,0 +1,7 @@
+arcadia 7;
+project defaults "Constructor defaults" id "00000000-0000-4000-8000-000000000001" {
+  sa_functional_chain owner "Owner" id "00000000-0000-4000-8000-000000000002" {  steps [@subject]; }
+  
+  // Authored omissions must stay omitted through no-op and a name edit.
+  sa_occurrence subject "Subject" id "00000000-0000-4000-8000-000000000003" { parent @owner; body { Action {  }; }; }
+}

harness/experiments/constructor-defaults-20260911/results/SA-Action-omit-all-optional.canonical.arcadia

@@ -0,0 +1,24 @@
+arcadia 7;
+project defaults "Constructor defaults" id "00000000-0000-4000-8000-000000000001" {
+    description "";
+
+    sa_functional_chain owner "Owner" id "00000000-0000-4000-8000-000000000002" {
+        description "";
+        parent none;
+        steps [@subject];
+    }
+
+    sa_occurrence subject "Subject" id "00000000-0000-4000-8000-000000000003" {
+        body {
+            Action {
+                action none;
+                lifeline none;
+            };
+        };
+        description "";
+        parent @owner;
+        postcondition "";
+        precondition "";
+    }
+
+}

harness/experiments/constructor-defaults-20260911/results/SA-Action-omit-lifeline.arcadia

@@ -0,0 +1,7 @@
+arcadia 7;
+project defaults "Constructor defaults" id "00000000-0000-4000-8000-000000000001" {
+  sa_functional_chain owner "Owner" id "00000000-0000-4000-8000-000000000002" {  steps [@subject]; }
+  
+  // Authored omissions must stay omitted through no-op and a name edit.
+  sa_occurrence subject "Subject" id "00000000-0000-4000-8000-000000000003" { parent @owner; body { Action { action none; }; }; }
+}

harness/experiments/constructor-defaults-20260911/results/SA-Action-omit-lifeline.canonical.arcadia

@@ -0,0 +1,24 @@
+arcadia 7;
+project defaults "Constructor defaults" id "00000000-0000-4000-8000-000000000001" {
+    description "";
+
+    sa_functional_chain owner "Owner" id "00000000-0000-4000-8000-000000000002" {
+        description "";
+        parent none;
+        steps [@subject];
+    }
+
+    sa_occurrence subject "Subject" id "00000000-0000-4000-8000-000000000003" {
+        body {
+            Action {
+                action none;
+                lifeline none;
+            };
+        };
+        description "";
+        parent @owner;
+        postcondition "";
+        precondition "";
+    }
+
+}

harness/experiments/constructor-defaults-20260911/results/SA-Branch-explicit.arcadia

@@ -0,0 +1,7 @@
+arcadia 7;
+project defaults "Constructor defaults" id "00000000-0000-4000-8000-000000000001" {
+  sa_scenario owner "Owner" id "00000000-0000-4000-8000-000000000002" { viewpoint Functional; steps [@holder]; }
+  sa_occurrence holder "Fragment owner" id "00000000-0000-4000-8000-000000000004" { parent @owner; body { Fragment { operator Alternative; branches [@subject]; }; }; }
+  // Authored omissions must stay omitted through no-op and a name edit.
+  sa_occurrence subject "Subject" id "00000000-0000-4000-8000-000000000003" { parent @holder; body { Branch { guard ""; occurrences []; }; }; }
+}

harness/experiments/constructor-defaults-20260911/results/SA-Branch-explicit.canonical.arcadia

@@ -0,0 +1,41 @@
+arcadia 7;
+project defaults "Constructor defaults" id "00000000-0000-4000-8000-000000000001" {
+    description "";
+
+    sa_scenario owner "Owner" id "00000000-0000-4000-8000-000000000002" {
+        context none;
+        description "";
+        parent none;
+        postcondition "";
+        precondition "";
+        steps [@holder];
+        viewpoint Functional;
+    }
+
+    sa_occurrence subject "Subject" id "00000000-0000-4000-8000-000000000003" {
+        body {
+            Branch {
+                guard "";
+                occurrences [];
+            };
+        };
+        description "";
+        parent @holder;
+        postcondition "";
+        precondition "";
+    }
+
+    sa_occurrence holder "Fragment owner" id "00000000-0000-4000-8000-000000000004" {
+        body {
+            Fragment {
+                branches [@subject];
+                operator Alternative;
+            };
+        };
+        description "";
+        parent @owner;
+        postcondition "";
+        precondition "";
+    }
+
+}

harness/experiments/constructor-defaults-20260911/results/SA-Branch-omit-guard.arcadia

@@ -0,0 +1,7 @@
+arcadia 7;
+project defaults "Constructor defaults" id "00000000-0000-4000-8000-000000000001" {
+  sa_scenario owner "Owner" id "00000000-0000-4000-8000-000000000002" { viewpoint Functional; steps [@holder]; }
+  sa_occurrence holder "Fragment owner" id "00000000-0000-4000-8000-000000000004" { parent @owner; body { Fragment { operator Alternative; branches [@subject]; }; }; }
+  // Authored omissions must stay omitted through no-op and a name edit.
+  sa_occurrence subject "Subject" id "00000000-0000-4000-8000-000000000003" { parent @holder; body { Branch { occurrences []; }; }; }
+}

harness/experiments/constructor-defaults-20260911/results/SA-Branch-omit-occurrences.arcadia

@@ -0,0 +1,7 @@
+arcadia 7;
+project defaults "Constructor defaults" id "00000000-0000-4000-8000-000000000001" {
+  sa_scenario owner "Owner" id "00000000-0000-4000-8000-000000000002" { viewpoint Functional; steps [@holder]; }
+  sa_occurrence holder "Fragment owner" id "00000000-0000-4000-8000-000000000004" { parent @owner; body { Fragment { operator Alternative; branches [@subject]; }; }; }
+  // Authored omissions must stay omitted through no-op and a name edit.
+  sa_occurrence subject "Subject" id "00000000-0000-4000-8000-000000000003" { parent @holder; body { Branch { guard ""; }; }; }
+}

harness/experiments/constructor-defaults-20260911/results/SA-Control-explicit.arcadia

@@ -0,0 +1,7 @@
+arcadia 7;
+project defaults "Constructor defaults" id "00000000-0000-4000-8000-000000000001" {
+  sa_functional_chain owner "Owner" id "00000000-0000-4000-8000-000000000002" {  steps [@subject]; }
+  
+  // Authored omissions must stay omitted through no-op and a name edit.
+  sa_occurrence subject "Subject" id "00000000-0000-4000-8000-000000000003" { parent @owner; body { Control { kind Choice; }; }; }
+}

harness/experiments/constructor-defaults-20260911/results/SA-Control-explicit.canonical.arcadia

@@ -0,0 +1,23 @@
+arcadia 7;
+project defaults "Constructor defaults" id "00000000-0000-4000-8000-000000000001" {
+    description "";
+
+    sa_functional_chain owner "Owner" id "00000000-0000-4000-8000-000000000002" {
+        description "";
+        parent none;
+        steps [@subject];
+    }
+
+    sa_occurrence subject "Subject" id "00000000-0000-4000-8000-000000000003" {
+        body {
+            Control {
+                kind Choice;
+            };
+        };
+        description "";
+        parent @owner;
+        postcondition "";
+        precondition "";
+    }
+
+}

harness/experiments/constructor-defaults-20260911/results/SA-Control-omit-kind.arcadia

@@ -0,0 +1,7 @@
+arcadia 7;
+project defaults "Constructor defaults" id "00000000-0000-4000-8000-000000000001" {
+  sa_functional_chain owner "Owner" id "00000000-0000-4000-8000-000000000002" {  steps [@subject]; }
+  
+  // Authored omissions must stay omitted through no-op and a name edit.
+  sa_occurrence subject "Subject" id "00000000-0000-4000-8000-000000000003" { parent @owner; body { Control {  }; }; }
+}

harness/experiments/constructor-defaults-20260911/results/SA-Exchange-explicit.arcadia

@@ -0,0 +1,7 @@
+arcadia 7;
+project defaults "Constructor defaults" id "00000000-0000-4000-8000-000000000001" {
+  sa_functional_chain owner "Owner" id "00000000-0000-4000-8000-000000000002" {  steps [@subject]; }
+  
+  // Authored omissions must stay omitted through no-op and a name edit.
+  sa_occurrence subject "Subject" id "00000000-0000-4000-8000-000000000003" { parent @owner; body { Exchange { exchange none; sender none; receiver none; message_kind Asynchronous; reply_to none; values []; operation none; }; }; }
+}

harness/experiments/constructor-defaults-20260911/results/SA-Exchange-explicit.canonical.arcadia

@@ -0,0 +1,28 @@
+arcadia 7;
+project defaults "Constructor defaults" id "00000000-0000-4000-8000-000000000001" {
+    description "";
+
+    sa_functional_chain owner "Owner" id "00000000-0000-4000-8000-000000000002" {
+        description "";
+        parent none;
+        steps [@subject];
+    }
+
+    sa_occurrence subject "Subject" id "00000000-0000-4000-8000-000000000003" {
+        body {
+            Exchange {
+                exchange none;
+                message_kind Asynchronous;
+                receiver none;
+                reply_to none;
+                sender none;
+                values [];
+            };
+        };
+        description "";
+        parent @owner;
+        postcondition "";
+        precondition "";
+    }
+
+}

harness/experiments/constructor-defaults-20260911/results/SA-Exchange-omit-all-optional.arcadia

@@ -0,0 +1,7 @@
+arcadia 7;
+project defaults "Constructor defaults" id "00000000-0000-4000-8000-000000000001" {
+  sa_functional_chain owner "Owner" id "00000000-0000-4000-8000-000000000002" {  steps [@subject]; }
+  
+  // Authored omissions must stay omitted through no-op and a name edit.
+  sa_occurrence subject "Subject" id "00000000-0000-4000-8000-000000000003" { parent @owner; body { Exchange {  }; }; }
+}

harness/experiments/constructor-defaults-20260911/results/SA-Exchange-omit-all-optional.canonical.arcadia

@@ -0,0 +1,28 @@
+arcadia 7;
+project defaults "Constructor defaults" id "00000000-0000-4000-8000-000000000001" {
+    description "";
+
+    sa_functional_chain owner "Owner" id "00000000-0000-4000-8000-000000000002" {
+        description "";
+        parent none;
+        steps [@subject];
+    }
+
+    sa_occurrence subject "Subject" id "00000000-0000-4000-8000-000000000003" {
+        body {
+            Exchange {
+                exchange none;
+                message_kind Asynchronous;
+                receiver none;
+                reply_to none;
+                sender none;
+                values [];
+            };
+        };
+        description "";
+        parent @owner;
+        postcondition "";
+        precondition "";
+    }
+
+}

harness/experiments/constructor-defaults-20260911/results/SA-Exchange-omit-exchange.arcadia

@@ -0,0 +1,7 @@
+arcadia 7;
+project defaults "Constructor defaults" id "00000000-0000-4000-8000-000000000001" {
+  sa_functional_chain owner "Owner" id "00000000-0000-4000-8000-000000000002" {  steps [@subject]; }
+  
+  // Authored omissions must stay omitted through no-op and a name edit.
+  sa_occurrence subject "Subject" id "00000000-0000-4000-8000-000000000003" { parent @owner; body { Exchange { sender none; receiver none; message_kind Asynchronous; reply_to none; values []; operation none; }; }; }
+}

harness/experiments/constructor-defaults-20260911/results/SA-Exchange-omit-exchange.canonical.arcadia

@@ -0,0 +1,28 @@
+arcadia 7;
+project defaults "Constructor defaults" id "00000000-0000-4000-8000-000000000001" {
+    description "";
+
+    sa_functional_chain owner "Owner" id "00000000-0000-4000-8000-000000000002" {
+        description "";
+        parent none;
+        steps [@subject];
+    }
+
+    sa_occurrence subject "Subject" id "00000000-0000-4000-8000-000000000003" {
+        body {
+            Exchange {
+                exchange none;
+                message_kind Asynchronous;
+                receiver none;
+                reply_to none;
+                sender none;
+                values [];
+            };
+        };
+        description "";
+        parent @owner;
+        postcondition "";
+        precondition "";
+    }
+
+}

harness/experiments/constructor-defaults-20260911/results/SA-Exchange-omit-message_kind.arcadia

@@ -0,0 +1,7 @@
+arcadia 7;
+project defaults "Constructor defaults" id "00000000-0000-4000-8000-000000000001" {
+  sa_functional_chain owner "Owner" id "00000000-0000-4000-8000-000000000002" {  steps [@subject]; }
+  
+  // Authored omissions must stay omitted through no-op and a name edit.
+  sa_occurrence subject "Subject" id "00000000-0000-4000-8000-000000000003" { parent @owner; body { Exchange { exchange none; sender none; receiver none; reply_to none; values []; operation none; }; }; }
+}

harness/experiments/constructor-defaults-20260911/results/SA-Exchange-omit-message_kind.canonical.arcadia

@@ -0,0 +1,28 @@
+arcadia 7;
+project defaults "Constructor defaults" id "00000000-0000-4000-8000-000000000001" {
+    description "";
+
+    sa_functional_chain owner "Owner" id "00000000-0000-4000-8000-000000000002" {
+        description "";
+        parent none;
+        steps [@subject];
+    }
+
+    sa_occurrence subject "Subject" id "00000000-0000-4000-8000-000000000003" {
+        body {
+            Exchange {
+                exchange none;
+                message_kind Asynchronous;
+                receiver none;
+                reply_to none;
+                sender none;
+                values [];
+            };
+        };
+        description "";
+        parent @owner;
+        postcondition "";
+        precondition "";
+    }
+
+}

harness/experiments/constructor-defaults-20260911/results/SA-Exchange-omit-operation.arcadia

@@ -0,0 +1,7 @@
+arcadia 7;
+project defaults "Constructor defaults" id "00000000-0000-4000-8000-000000000001" {
+  sa_functional_chain owner "Owner" id "00000000-0000-4000-8000-000000000002" {  steps [@subject]; }
+  
+  // Authored omissions must stay omitted through no-op and a name edit.
+  sa_occurrence subject "Subject" id "00000000-0000-4000-8000-000000000003" { parent @owner; body { Exchange { exchange none; sender none; receiver none; message_kind Asynchronous; reply_to none; values []; }; }; }
+}

harness/experiments/constructor-defaults-20260911/results/SA-Exchange-omit-operation.canonical.arcadia

@@ -0,0 +1,28 @@
+arcadia 7;
+project defaults "Constructor defaults" id "00000000-0000-4000-8000-000000000001" {
+    description "";
+
+    sa_functional_chain owner "Owner" id "00000000-0000-4000-8000-000000000002" {
+        description "";
+        parent none;
+        steps [@subject];
+    }
+
+    sa_occurrence subject "Subject" id "00000000-0000-4000-8000-000000000003" {
+        body {
+            Exchange {
+                exchange none;
+                message_kind Asynchronous;
+                receiver none;
+                reply_to none;
+                sender none;
+                values [];
+            };
+        };
+        description "";
+        parent @owner;
+        postcondition "";
+        precondition "";
+    }
+
+}

harness/experiments/constructor-defaults-20260911/results/SA-Exchange-omit-receiver.arcadia

@@ -0,0 +1,7 @@
+arcadia 7;
+project defaults "Constructor defaults" id "00000000-0000-4000-8000-000000000001" {
+  sa_functional_chain owner "Owner" id "00000000-0000-4000-8000-000000000002" {  steps [@subject]; }
+  
+  // Authored omissions must stay omitted through no-op and a name edit.
+  sa_occurrence subject "Subject" id "00000000-0000-4000-8000-000000000003" { parent @owner; body { Exchange { exchange none; sender none; message_kind Asynchronous; reply_to none; values []; operation none; }; }; }
+}

harness/experiments/constructor-defaults-20260911/results/SA-Exchange-omit-receiver.canonical.arcadia

@@ -0,0 +1,28 @@
+arcadia 7;
+project defaults "Constructor defaults" id "00000000-0000-4000-8000-000000000001" {
+    description "";
+
+    sa_functional_chain owner "Owner" id "00000000-0000-4000-8000-000000000002" {
+        description "";
+        parent none;
+        steps [@subject];
+    }
+
+    sa_occurrence subject "Subject" id "00000000-0000-4000-8000-000000000003" {
+        body {
+            Exchange {
+                exchange none;
+                message_kind Asynchronous;
+                receiver none;
+                reply_to none;
+                sender none;
+                values [];
+            };
+        };
+        description "";
+        parent @owner;
+        postcondition "";
+        precondition "";
+    }
+
+}

harness/experiments/constructor-defaults-20260911/results/SA-Exchange-omit-reply_to.arcadia

@@ -0,0 +1,7 @@
+arcadia 7;
+project defaults "Constructor defaults" id "00000000-0000-4000-8000-000000000001" {
+  sa_functional_chain owner "Owner" id "00000000-0000-4000-8000-000000000002" {  steps [@subject]; }
+  
+  // Authored omissions must stay omitted through no-op and a name edit.
+  sa_occurrence subject "Subject" id "00000000-0000-4000-8000-000000000003" { parent @owner; body { Exchange { exchange none; sender none; receiver none; message_kind Asynchronous; values []; operation none; }; }; }
+}

harness/experiments/constructor-defaults-20260911/results/SA-Exchange-omit-reply_to.canonical.arcadia

@@ -0,0 +1,28 @@
+arcadia 7;
+project defaults "Constructor defaults" id "00000000-0000-4000-8000-000000000001" {
+    description "";
+
+    sa_functional_chain owner "Owner" id "00000000-0000-4000-8000-000000000002" {
+        description "";
+        parent none;
+        steps [@subject];
+    }
+
+    sa_occurrence subject "Subject" id "00000000-0000-4000-8000-000000000003" {
+        body {
+            Exchange {
+                exchange none;
+                message_kind Asynchronous;
+                receiver none;
+                reply_to none;
+                sender none;
+                values [];
+            };
+        };
+        description "";
+        parent @owner;
+        postcondition "";
+        precondition "";
+    }
+
+}

harness/experiments/constructor-defaults-20260911/results/SA-Exchange-omit-sender.arcadia

@@ -0,0 +1,7 @@
+arcadia 7;
+project defaults "Constructor defaults" id "00000000-0000-4000-8000-000000000001" {
+  sa_functional_chain owner "Owner" id "00000000-0000-4000-8000-000000000002" {  steps [@subject]; }
+  
+  // Authored omissions must stay omitted through no-op and a name edit.
+  sa_occurrence subject "Subject" id "00000000-0000-4000-8000-000000000003" { parent @owner; body { Exchange { exchange none; receiver none; message_kind Asynchronous; reply_to none; values []; operation none; }; }; }
+}