Experiment formal simulator exposure registration red results 01 - kmosoti/FabricO11y GitHub Wiki

Separate simulator witness: actual source registration red 01

The C-089-admitted source-only command ran at clean trust-only dc4ceaea632a53d1c43f22bc438e1c2ff7747fb7: 16 methods, eight literal/static positives, exactly one named availability failure because simulator_exposure.py is absent, and seven explicit dependent skips. Exit 1 with confirmed resource-service stop. No import/setup error or unexpected positive failure occurred. This demonstrates admission-mechanism absence; it does not demonstrate a native Rust lifetime defect.

The two-second/two-identity receipts and publication flags are hand-written prospective controls, not actual native or filesystem observations. Rust/Cargo/config/vendor and canonical source/helper authority stayed unchanged against exact F8. No Cargo, simulator process, clock, browser, VM, smoke or FULL ran. The future checker is qualification-only; hosted CI currently does not execute these source controls, so hosted CI alone cannot satisfy them. C-089 requires the final local green to run all16 methods with zero skips/failures, after a separately committed implementation and exact new pre-flight.

The 1ms native begin bracket remains prospective/unmeasured. A future native implementation must change only examples/spindle_sim.rs compilation input and retain the original canonical helper manifest/graders. Cold build reservation, complete input census, loaded identity, actual begin publication/control and native conservative lifetime need separate concrete admission.

results/service-opening-candidate/simulator-exposure-registration-red-01.json

SHA-256 e6cea1bc44473d27955ad6c281c16ab78b599b765020f2fb16a67a5fd5181fdc, 1606 bytes.

{
  "label": "simulator-exposure-registration-red-01",
  "command": [
    "env",
    "PYTHONPATH=tools/qualification:tools",
    "python3",
    "-B",
    "-m",
    "unittest",
    "-v",
    "test_simulator_exposure"
  ],
  "delegated": false,
  "frozen": null,
  "scope": "harness controls only; no candidate acceptance evidence",
  "harness_revision": "dc4ceaea632a53d1c43f22bc438e1c2ff7747fb7",
  "source_status_before": "",
  "storage_root": "/run/media/kmosoti/data/FabricO11y",
  "admission_bytes": 32286251495,
  "admission_observation": {
    "data_bytes": 32286251495,
    "regular_path_bytes": 32286155483,
    "path_count": 383034,
    "uid": 0,
    "gid": 0,
    "attempt": 1
  },
  "reserved_bytes": 1073741824,
  "observations": [],
  "started_utc": "2026-10-13T05:30:41.819243+00:00",
  "state": "completed",
  "log": "/run/media/kmosoti/data/FabricO11y/results/service-opening-candidate/simulator-exposure-registration-red-01.log",
  "launcher_exit": 1,
  "exit": 1,
  "source_status_after": "",
  "finished_utc": "2026-10-13T05:30:42.825886+00:00",
  "log_sha256": "5f596708fc7b505988a3ad7ecd294c729bcffcc1d281a420c407be7409d48b8a",
  "resource_receipts": [
    {
      "path": "/run/media/kmosoti/data/FabricO11y/results/service-opening-candidate/resource-containment/fabric-work-f6aadfb70f394f99b73d546153afc529.json",
      "sha256": "e8cdf1244741de9e2c0421b96478ee207a4f0dc02f1682076abbe2a4fa9e1de8",
      "exit": 1,
      "stop_confirmed": true,
      "retained_failure_evidence": "/run/media/kmosoti/data/FabricO11y/evidence/fabric-work-f6aadfb70f394f99b73d546153afc529"
    }
  ]
}

results/service-opening-candidate/simulator-exposure-registration-red-01.log

SHA-256 5f596708fc7b505988a3ad7ecd294c729bcffcc1d281a420c407be7409d48b8a, 4656 bytes.

Running as unit: fabric-work-f6aadfb70f394f99b73d546153afc529.service
resource group: /user.slice/user-1000.slice/[email protected]/app.slice/fabric-work-f6aadfb70f394f99b73d546153afc529.service; memory.max=21474836480; swap.max=0
test_canonical_input_guard_remains_original (test_simulator_exposure.CanonicalSourceControls.test_canonical_input_guard_remains_original) ... ok
test_exact_native_boundary_and_one_ns_early_refusal (test_simulator_exposure.LiteralSimulatorControls.test_exact_native_boundary_and_one_ns_early_refusal) ... ok
test_missing_changed_and_nonexclusive_begin_refusals (test_simulator_exposure.LiteralSimulatorControls.test_missing_changed_and_nonexclusive_begin_refusals) ... ok
test_missing_worker_duplicate_and_final_second_offer_refusals (test_simulator_exposure.LiteralSimulatorControls.test_missing_worker_duplicate_and_final_second_offer_refusals) ... ok
test_only_one_changed_rust_compilation_input_is_admitted (test_simulator_exposure.LiteralSimulatorControls.test_only_one_changed_rust_compilation_input_is_admitted) ... ok
test_reversed_uncertain_and_invalid_clock_refusals (test_simulator_exposure.LiteralSimulatorControls.test_reversed_uncertain_and_invalid_clock_refusals) ... ok
test_separate_source_build_and_unchanged_canonical_authority (test_simulator_exposure.LiteralSimulatorControls.test_separate_source_build_and_unchanged_canonical_authority) ... ok
test_summary_witness_loaded_binary_source_and_build_refusals (test_simulator_exposure.LiteralSimulatorControls.test_summary_witness_loaded_binary_source_and_build_refusals) ... ok
test_separate_simulator_admission_mechanism_is_available (test_simulator_exposure.SimulatorMechanismAvailability.test_separate_simulator_admission_mechanism_is_available) ... FAIL
test_exact_native_boundary_and_one_ns_early_refusal (test_simulator_exposure.SimulatorMechanismControls.test_exact_native_boundary_and_one_ns_early_refusal) ... skipped 'admission mechanism absent; native runtime remains unrun'
test_missing_changed_and_nonexclusive_begin_refusals (test_simulator_exposure.SimulatorMechanismControls.test_missing_changed_and_nonexclusive_begin_refusals) ... skipped 'admission mechanism absent; native runtime remains unrun'
test_missing_worker_duplicate_and_final_second_offer_refusals (test_simulator_exposure.SimulatorMechanismControls.test_missing_worker_duplicate_and_final_second_offer_refusals) ... skipped 'admission mechanism absent; native runtime remains unrun'
test_only_one_changed_rust_compilation_input_is_admitted (test_simulator_exposure.SimulatorMechanismControls.test_only_one_changed_rust_compilation_input_is_admitted) ... skipped 'admission mechanism absent; native runtime remains unrun'
test_reversed_uncertain_and_invalid_clock_refusals (test_simulator_exposure.SimulatorMechanismControls.test_reversed_uncertain_and_invalid_clock_refusals) ... skipped 'admission mechanism absent; native runtime remains unrun'
test_separate_source_build_and_unchanged_canonical_authority (test_simulator_exposure.SimulatorMechanismControls.test_separate_source_build_and_unchanged_canonical_authority) ... skipped 'admission mechanism absent; native runtime remains unrun'
test_summary_witness_loaded_binary_source_and_build_refusals (test_simulator_exposure.SimulatorMechanismControls.test_summary_witness_loaded_binary_source_and_build_refusals) ... skipped 'admission mechanism absent; native runtime remains unrun'

======================================================================
FAIL: test_separate_simulator_admission_mechanism_is_available (test_simulator_exposure.SimulatorMechanismAvailability.test_separate_simulator_admission_mechanism_is_available)
----------------------------------------------------------------------
Traceback (most recent call last):
  File "/run/media/kmosoti/data/FabricO11y/scratch/simulator-exposure-witness/tools/qualification/test_simulator_exposure.py", line 221, in test_separate_simulator_admission_mechanism_is_available
    self.assertTrue(MECHANISM.is_file(), 'separate simulator_exposure.py unavailable; no native defect claimed')
    ~~~~~~~~~~~~~~~^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
AssertionError: False is not true : separate simulator_exposure.py unavailable; no native defect claimed

----------------------------------------------------------------------
Ran 16 tests in 0.004s

FAILED (failures=1, skipped=7)
          Finished with result: exit-code
Main processes terminated with: code=exited, status=1/FAILURE
               Service runtime: 110ms
             CPU time consumed: 91ms
                   Memory peak: 18.2M (swap: 0B)

results/service-opening-candidate/resource-containment/fabric-work-f6aadfb70f394f99b73d546153afc529.json

SHA-256 e8cdf1244741de9e2c0421b96478ee207a4f0dc02f1682076abbe2a4fa9e1de8, 1685 bytes.

{
  "unit": "fabric-work-f6aadfb70f394f99b73d546153afc529",
  "command": [
    "env",
    "PYTHONPATH=tools/qualification:tools",
    "python3",
    "-B",
    "-m",
    "unittest",
    "-v",
    "test_simulator_exposure"
  ],
  "exit": 1,
  "wrapper_exit": 1,
  "command_receipt": {
    "unit": "fabric-work-f6aadfb70f394f99b73d546153afc529",
    "command": [
      "env",
      "PYTHONPATH=tools/qualification:tools",
      "python3",
      "-B",
      "-m",
      "unittest",
      "-v",
      "test_simulator_exposure"
    ],
    "cgroup": "/sys/fs/cgroup/user.slice/user-1000.slice/[email protected]/app.slice/fabric-work-f6aadfb70f394f99b73d546153afc529.service",
    "state": "completed",
    "exit": 1,
    "resource_observation": "command_return_before_service_stop",
    "resources": {
      "memory.peak": "19144704",
      "memory.events": "low 0\nhigh 0\nmax 0\noom 0\noom_kill 0\noom_group_kill 0\nsock_throttled 0",
      "cpu.stat": "usage_usec 85806\nuser_usec 71880\nsystem_usec 13926\nnice_usec 0\ncore_sched.force_idle_usec 0\nnr_periods 0\nnr_throttled 0\nthrottled_usec 0\nnr_bursts 0\nburst_usec 0"
    }
  },
  "stop_confirmed": true,
  "stop_error": null,
  "started_unix": 1791869441.8487616,
  "elapsed_s": 0.12385725975036621,
  "storage_root": "/run/media/kmosoti/data/FabricO11y",
  "temporary": "/run/media/kmosoti/data/FabricO11y/scratch/work-x5thevdp",
  "temporary_removed": true,
  "retained_failure_evidence": "/run/media/kmosoti/data/FabricO11y/evidence/fabric-work-f6aadfb70f394f99b73d546153afc529",
  "memory_high_bytes": 17179869184,
  "memory_max_bytes": 21474836480,
  "swap_max_bytes": 0,
  "runtime_max_seconds": 1800,
  "delegated": false
}

Actual cleanup observation:

{
  "utc": "2026-10-13T05:34:07.235471+00:00",
  "temporary_absent": true,
  "failure_evidence_exists": true,
  "failure_evidence_files": [
    "evidence/fabric-work-f6aadfb70f394f99b73d546153afc529/.resource-command.json"
  ]
}