bingshuo/hololake-system-architecture
Watch
1
0
Fork
You've already forked hololake-system-architecture
 0
Code Issues Pull requests 1 Projects Releases Packages Wiki Activity

Record JD hosted Guanghu supervisor bridge

Browse source
This commit is contained in:
冰朔 2026-08-15 22:46:41 +08:00
commit 0a39761bed
3 changed files with 91 additions and 5 deletions
Download patch file Download diff file Expand all files Collapse all files

19
routing/guanghu-os-control-architecture.test.mjs
View file

@ -32,7 +32,10 @@ test("final topology makes Guanghu the master while preserving Linux as on-deman
});
test("current JD state stays transitional and cannot impersonate final master control", () => {
assert.equal(contract.jd_fd_primary.observed_state, "LANGUAGE_PRIMARY_ON_LINUX_HOSTED_TRANSITION");
assert.equal(
contract.jd_fd_primary.observed_state,
"LANGUAGE_PRIMARY_ON_LINUX_HOSTED_GUANGHU_SUPERVISOR_BRIDGE",
);
assert.equal(contract.jd_fd_primary.guanghu_semantic_service_control, 100);
assert.equal(contract.jd_fd_primary.guanghu_final_boot_control, 0);
assert.equal(contract.jd_fd_primary.linux_on_demand_subcontrol, 0);
@ -41,7 +44,7 @@ test("current JD state stays transitional and cannot impersonate final master co
});
test("the physical shadow and host QEMU cycles are registered without impersonating Guanghu-owned boot control", () => {
assert.equal(contract.version, "2026-08-15.8");
assert.equal(contract.version, "2026-08-15.9");
assert.equal(contract.implementation.guanghu_supervisor_lifecycle_contract_source, 100);
assert.equal(contract.implementation.target_readback_and_mandatory_reclaim_state_machine, 100);
assert.equal(contract.implementation.declared_supervisor_core_line_and_function_coverage, 100);
@ -67,6 +70,8 @@ test("the physical shadow and host QEMU cycles are registered without impersonat
assert.equal(contract.implementation.public_native_anchor_equivalence, 0);
assert.equal(contract.implementation.public_native_code_channel_equivalence, 0);
assert.equal(contract.implementation.full_forgejo_equivalence, 0);
assert.equal(contract.implementation.independent_guanghu_hosted_supervisor_bridge, 100);
assert.equal(contract.implementation.linux_code_bridge_under_guanghu_supervisor, 100);
assert.equal(contract.implementation.independent_guanghu_first_boot_supervisor, 0);
assert.equal(contract.implementation.jd_physical_deployment, 0);
assert.equal(contract.current_target_evidence.final_state, "DORMANT");
@ -85,6 +90,16 @@ test("the physical shadow and host QEMU cycles are registered without impersonat
assert.equal(contract.guard_cleanup_evidence.public_code_http_after, 200);
assert.equal(contract.guard_cleanup_evidence.data_deleted, false);
assert.match(contract.guard_cleanup_evidence.server_receipt_sha256, /^[0-9a-f]{64}$/);
assert.equal(contract.hosted_supervisor_bridge_evidence.guanghu_supervisor_service_active, 100);
assert.equal(contract.hosted_supervisor_bridge_evidence.repository_bridge_dependency_bound, 100);
assert.equal(contract.hosted_supervisor_bridge_evidence.repository_process_preserved, 100);
assert.equal(contract.hosted_supervisor_bridge_evidence.public_code_http, 200);
assert.equal(contract.hosted_supervisor_bridge_evidence.public_anchor_http, 200);
assert.equal(contract.hosted_supervisor_bridge_evidence.linux_shadow_backend_post_state, "DORMANT");
assert.equal(contract.hosted_supervisor_bridge_evidence.linux_rescue_preserved, 100);
assert.equal(contract.hosted_supervisor_bridge_evidence.independent_guanghu_boot_control, 0);
assert.equal(contract.hosted_supervisor_bridge_evidence.final_guanghu_os_master, 0);
assert.match(contract.hosted_supervisor_bridge_evidence.server_receipt_sha256, /^[0-9a-f]{64}$/);
});
test("full Forgejo continuity remains separate from the read-only native code snapshot", () => {