xoonya 3.0.1 → 3.1.0
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/.env.example +2 -2
- package/CARRIED_HANDOFF_DEMO.md +60 -60
- package/COMPATIBILITY_NOTE.md +27 -27
- package/CROSS_RUNTIME_POSTURE.md +77 -77
- package/EXAMPLE_PATHS.md +53 -53
- package/FINAL_CONTRACT.md +445 -445
- package/LICENSE +201 -201
- package/NOTICE +3 -3
- package/OPERATIONS_RUNBOOK.md +50 -0
- package/OPERATOR_START_HERE.md +67 -0
- package/PARTNER_READY_PATH.md +67 -67
- package/PROGRAM_COMPLETE_RELEASE.md +52 -0
- package/PROGRAM_STATUS.md +57 -0
- package/PUBLIC_DEMO_SCRIPT.md +79 -79
- package/PUBLISH_PLAN.md +25 -0
- package/README.md +807 -732
- package/RELEASE_CHECKLIST.md +16 -0
- package/RELEASE_NOTES.md +15 -15
- package/SERVICE_CONTRACT.md +207 -195
- package/START_HERE.md +159 -150
- package/TERMINOLOGY.md +55 -55
- package/WHY_XYTARA_XOONYA.md +43 -43
- package/XNYA_CONFORMANCE_MARK.md +78 -78
- package/XNYA_REFERENCE_IMPLEMENTATIONS.md +157 -157
- package/XOONYA_DEFAULT_PATH_MODEL.md +63 -63
- package/XOONYA_FOLLOWTHROUGH_TRUTH_MODEL.md +63 -63
- package/XOONYA_NATIVE_ATOM_SPEC.md +184 -184
- package/XOONYA_NATIVE_PROOF_FORMAT.md +527 -527
- package/XOONYA_NATIVE_STANDARD_GOVERNANCE.md +119 -119
- package/XOONYA_PROOF_TRUTH_MODEL.md +58 -58
- package/bin/xoonya-first-run.js +184 -184
- package/bin/xoonya-release.js +1367 -1367
- package/bin/xoonya-review.js +70 -70
- package/bin/xoonya.js +82 -82
- package/examples/integration_boundary_walkthrough.js +37 -37
- package/examples/package_quickstart.js +1007 -1007
- package/examples/partner_proof_walkthrough.js +68 -68
- package/examples/proof_review_walkthrough.js +66 -66
- package/examples/review_carried_handoff.js +72 -72
- package/index.js +31 -22
- package/integrations/PROOF_INTEGRATION_PROCESS.md +45 -45
- package/integrations/examples/example-third-party-verifier-registration.record.json +22 -22
- package/integrations/registration-record.schema.json +99 -99
- package/integrations/registry-snapshot.schema.json +36 -36
- package/integrations/registry.js +636 -636
- package/integrations/views.js +36 -36
- package/lib/adapter_certification_contract.js +90 -0
- package/lib/announcement_pack.js +61 -61
- package/lib/artifact_distribution_lane_contract.js +54 -54
- package/lib/asyncapi_contract.js +135 -135
- package/lib/auth_interop_contract.js +69 -69
- package/lib/authority_binding_lifecycle_contract.js +182 -0
- package/lib/bridge_intelligence.js +102 -102
- package/lib/cloudevents_contract.js +79 -79
- package/lib/crypto_agility_matrix.js +125 -0
- package/lib/default_path_contract.js +380 -380
- package/lib/ecosystem_entry.js +64 -64
- package/lib/erc8004_proof_lane_contract.js +64 -64
- package/lib/event_system_lane_contract.js +76 -76
- package/lib/external_proof_import_lane_contract.js +87 -87
- package/lib/feature_control_lane_contract.js +54 -54
- package/lib/followthrough_truth_contract.js +214 -214
- package/lib/framework_lane_contract.js +76 -76
- package/lib/governance_disputes_summary.js +36 -36
- package/lib/governance_intelligence.js +108 -108
- package/lib/identity_interop_contract.js +83 -83
- package/lib/integration_matrix_contract.js +81 -81
- package/lib/launch_narrative.js +53 -53
- package/lib/machine_identity_registry_contract.js +199 -0
- package/lib/major_rails_proof_lane_contract.js +87 -87
- package/lib/offline_verifiability_recovery_contract.js +155 -0
- package/lib/openapi_contract.js +227 -227
- package/lib/operational_receipt_contract.js +165 -0
- package/lib/outreach_proof.js +71 -71
- package/lib/phase_10_closeout_pack.js +45 -45
- package/lib/phase_10_completion_pack.js +76 -76
- package/lib/phase_10_decision_record_pack.js +54 -54
- package/lib/phase_10_decision_resolution_pack.js +53 -53
- package/lib/phase_10_demand_signal_adapters_proof_pack.js +74 -74
- package/lib/phase_10_ecosystem_backlog_triage_proof_pack.js +74 -74
- package/lib/phase_10_freeze_baseline_pack.js +67 -67
- package/lib/phase_10_freeze_review_pack.js +64 -64
- package/lib/phase_10_gate_pack.js +57 -57
- package/lib/phase_10_long_tail_continuity_pack.js +80 -80
- package/lib/phase_10_long_tail_ecosystem_pack.js +68 -68
- package/lib/phase_10_niche_extension_registry_proof_pack.js +74 -74
- package/lib/phase_1_claude_mcp_pack.js +60 -60
- package/lib/phase_1_claude_mcp_proof_pack.js +57 -57
- package/lib/phase_1_ecosystem_pack.js +51 -51
- package/lib/phase_1_openai_codex_pack.js +60 -60
- package/lib/phase_1_openai_codex_proof_pack.js +57 -57
- package/lib/phase_2_base_proof_pack.js +71 -71
- package/lib/phase_2_base_usdc_proof_pack.js +72 -72
- package/lib/phase_2_closeout_pack.js +65 -65
- package/lib/phase_2_completion_pack.js +113 -113
- package/lib/phase_2_decision_record_pack.js +66 -66
- package/lib/phase_2_decision_resolution_pack.js +69 -69
- package/lib/phase_2_eth_proof_pack.js +70 -70
- package/lib/phase_2_evm_base_proof_pack.js +73 -73
- package/lib/phase_2_evm_proof_pack.js +71 -71
- package/lib/phase_2_flip_preview_pack.js +60 -60
- package/lib/phase_2_freeze_review_pack.js +99 -99
- package/lib/phase_2_gate_pack.js +77 -77
- package/lib/phase_2_payment_rails_pack.js +71 -71
- package/lib/phase_2_usdc_proof_pack.js +71 -71
- package/lib/phase_3_brc_proof_pack.js +81 -81
- package/lib/phase_3_bsv_teranode_proof_pack.js +81 -81
- package/lib/phase_3_closeout_pack.js +62 -62
- package/lib/phase_3_completion_pack.js +92 -92
- package/lib/phase_3_decision_record_pack.js +64 -64
- package/lib/phase_3_decision_resolution_pack.js +69 -69
- package/lib/phase_3_freeze_baseline_pack.js +67 -67
- package/lib/phase_3_freeze_review_pack.js +80 -80
- package/lib/phase_3_gate_pack.js +76 -76
- package/lib/phase_3_metanet_proof_pack.js +81 -81
- package/lib/phase_3_native_bsv_pack.js +89 -89
- package/lib/phase_3_native_continuity_pack.js +82 -82
- package/lib/phase_4_attestation_proof_pack.js +75 -75
- package/lib/phase_4_closeout_pack.js +45 -45
- package/lib/phase_4_completion_pack.js +82 -82
- package/lib/phase_4_decision_record_pack.js +54 -54
- package/lib/phase_4_decision_resolution_pack.js +45 -45
- package/lib/phase_4_erc8004_proof_pack.js +76 -76
- package/lib/phase_4_freeze_baseline_pack.js +67 -67
- package/lib/phase_4_freeze_review_pack.js +68 -68
- package/lib/phase_4_gate_pack.js +58 -58
- package/lib/phase_4_identity_registry_proof_pack.js +75 -75
- package/lib/phase_4_identity_trust_pack.js +73 -73
- package/lib/phase_4_trust_continuity_pack.js +86 -86
- package/lib/phase_5_antelope_proof_pack.js +76 -76
- package/lib/phase_5_closeout_pack.js +44 -44
- package/lib/phase_5_completion_pack.js +82 -82
- package/lib/phase_5_decision_record_pack.js +54 -54
- package/lib/phase_5_decision_resolution_pack.js +45 -45
- package/lib/phase_5_freeze_baseline_pack.js +67 -67
- package/lib/phase_5_freeze_review_pack.js +68 -68
- package/lib/phase_5_gate_pack.js +58 -58
- package/lib/phase_5_major_rails_continuity_pack.js +86 -86
- package/lib/phase_5_major_rails_pack.js +74 -74
- package/lib/phase_5_proton_xpr_proof_pack.js +76 -76
- package/lib/phase_5_solana_proof_pack.js +76 -76
- package/lib/phase_6_autogen_proof_pack.js +74 -74
- package/lib/phase_6_closeout_pack.js +46 -46
- package/lib/phase_6_completion_pack.js +77 -77
- package/lib/phase_6_decision_record_pack.js +54 -54
- package/lib/phase_6_decision_resolution_pack.js +53 -53
- package/lib/phase_6_framework_continuity_pack.js +81 -81
- package/lib/phase_6_framework_runtime_pack.js +68 -68
- package/lib/phase_6_freeze_baseline_pack.js +68 -68
- package/lib/phase_6_freeze_review_pack.js +65 -65
- package/lib/phase_6_gate_pack.js +59 -59
- package/lib/phase_6_langchain_proof_pack.js +74 -74
- package/lib/phase_6_langgraph_proof_pack.js +74 -74
- package/lib/phase_6_semantic_kernel_proof_pack.js +74 -74
- package/lib/phase_7_closeout_pack.js +45 -45
- package/lib/phase_7_completion_pack.js +85 -85
- package/lib/phase_7_decision_record_pack.js +53 -53
- package/lib/phase_7_decision_resolution_pack.js +53 -53
- package/lib/phase_7_event_system_continuity_pack.js +89 -89
- package/lib/phase_7_event_system_pack.js +76 -76
- package/lib/phase_7_freeze_baseline_pack.js +74 -74
- package/lib/phase_7_freeze_review_pack.js +65 -65
- package/lib/phase_7_gate_pack.js +58 -58
- package/lib/phase_7_kafka_proof_pack.js +76 -76
- package/lib/phase_7_mqtt_proof_pack.js +76 -76
- package/lib/phase_7_nats_proof_pack.js +76 -76
- package/lib/phase_7_webhook_event_bus_proof_pack.js +76 -76
- package/lib/phase_8_closeout_pack.js +46 -46
- package/lib/phase_8_completion_pack.js +82 -82
- package/lib/phase_8_decision_record_pack.js +54 -54
- package/lib/phase_8_decision_resolution_pack.js +53 -53
- package/lib/phase_8_external_receipt_import_proof_pack.js +74 -74
- package/lib/phase_8_external_result_import_proof_pack.js +74 -74
- package/lib/phase_8_freeze_baseline_pack.js +71 -71
- package/lib/phase_8_freeze_review_pack.js +64 -64
- package/lib/phase_8_gate_pack.js +58 -58
- package/lib/phase_8_proof_bridge_continuity_pack.js +86 -86
- package/lib/phase_8_proof_bridges_pack.js +72 -72
- package/lib/phase_8_proof_bundle_normalization_proof_pack.js +74 -74
- package/lib/phase_9_closeout_pack.js +46 -46
- package/lib/phase_9_completion_pack.js +82 -82
- package/lib/phase_9_custody_refs_proof_pack.js +74 -74
- package/lib/phase_9_decision_record_pack.js +54 -54
- package/lib/phase_9_decision_resolution_pack.js +53 -53
- package/lib/phase_9_freeze_baseline_pack.js +71 -71
- package/lib/phase_9_freeze_review_pack.js +64 -64
- package/lib/phase_9_gate_pack.js +58 -58
- package/lib/phase_9_operator_accounting_bridges_proof_pack.js +74 -74
- package/lib/phase_9_treasury_connectivity_pack.js +72 -72
- package/lib/phase_9_treasury_continuity_pack.js +86 -86
- package/lib/phase_9_treasury_destinations_proof_pack.js +74 -74
- package/lib/phase_program_pack.js +47 -47
- package/lib/proof_bridge_lane_contract.js +82 -82
- package/lib/proof_truth_contract.js +224 -224
- package/lib/provenance_lane_contract.js +54 -54
- package/lib/provider_lane_contract.js +67 -67
- package/lib/public_surface_policy_contract.js +111 -0
- package/lib/publish_plan.js +51 -51
- package/lib/release_candidate.js +50 -50
- package/lib/release_center.js +1037 -1037
- package/lib/release_history.js +206 -206
- package/lib/release_manifest.js +114 -114
- package/lib/release_pack.js +391 -391
- package/lib/result_package_trust_lane_contract.js +74 -74
- package/lib/review_intelligence.js +100 -100
- package/lib/role_freeze.js +436 -436
- package/lib/shared_signals_lane_contract.js +54 -54
- package/lib/signed_audit_provenance_contract.js +93 -0
- package/lib/telemetry_lane_contract.js +54 -54
- package/lib/treasury_proof_lane_contract.js +83 -83
- package/lib/trust_intelligence.js +106 -106
- package/lib/trust_portability_boundary_contract.js +66 -0
- package/lib/trust_portability_pack.js +224 -224
- package/lib/verification_service_pack.js +149 -149
- package/package.json +97 -95
- package/proof_sdk.js +6265 -6265
- package/reference/python/README.md +35 -35
- package/reference/python/requirements-optional.txt +1 -1
- package/reference/python/verify_vectors.py +223 -223
- package/reference/python/xnya_reference.py +810 -810
- package/reference/rust/Cargo.toml +11 -11
- package/reference/rust/README.md +28 -28
- package/reference/rust/src/lib.rs +87 -87
- package/scripts/registry_cli.js +157 -157
- package/scripts/verify_all.js +603 -603
- package/scripts/verify_control_plane_contracts.js +34 -0
- package/scripts/verify_control_plane_routes.js +70 -0
- package/scripts/verify_examples.js +19 -19
- package/scripts/verify_external_proof_import_gate.js +84 -84
- package/scripts/verify_integrations.js +170 -170
- package/scripts/verify_native_hybrid_design_gate.js +114 -114
- package/scripts/verify_reference_promotion_gate.js +74 -74
- package/scripts/verify_reference_python.js +49 -49
- package/scripts/verify_reference_python_crypto.js +87 -87
- package/scripts/verify_reference_rust_scaffold.js +50 -50
- package/scripts/verify_release_candidate.js +131 -131
- package/scripts/verify_service.js +2940 -2940
- package/scripts/verify_tooling.js +1251 -1251
- package/scripts/verify_trust_portability.js +56 -56
- package/scripts/verify_vectors.js +192 -192
- package/scripts/verify_verification_services.js +56 -56
- package/server.js +4099 -3997
- package/vectors/adversarial-vectors.json +552 -552
- package/vectors/conformance-vectors.json +446 -446
- package/vectors/native-atom-vectors.json +101 -101
- package/vectors/native-payload-profile-vectors.json +50 -50
package/.env.example
CHANGED
|
@@ -1,2 +1,2 @@
|
|
|
1
|
-
XOONYA_HOST=127.0.0.1
|
|
2
|
-
XOONYA_PORT=4310
|
|
1
|
+
XOONYA_HOST=127.0.0.1
|
|
2
|
+
XOONYA_PORT=4310
|
package/CARRIED_HANDOFF_DEMO.md
CHANGED
|
@@ -1,60 +1,60 @@
|
|
|
1
|
-
# xoonya Carried Handoff Demo
|
|
2
|
-
|
|
3
|
-
This is the shortest proof-side adoption story after the program closed.
|
|
4
|
-
|
|
5
|
-
The goal is to take a carried result-package handoff from `xytara`, inspect it, and prove it.
|
|
6
|
-
|
|
7
|
-
## 1. Generate The Handoff In xytara
|
|
8
|
-
|
|
9
|
-
From the `xytara` repo root, run:
|
|
10
|
-
|
|
11
|
-
```bash
|
|
12
|
-
node examples/export_carried_handoff.js
|
|
13
|
-
```
|
|
14
|
-
|
|
15
|
-
That writes:
|
|
16
|
-
|
|
17
|
-
```text
|
|
18
|
-
examples/generated.carried-handoff.json
|
|
19
|
-
```
|
|
20
|
-
|
|
21
|
-
## 2. Review It In xoonya
|
|
22
|
-
|
|
23
|
-
From the `xoonya` repo root, run:
|
|
24
|
-
|
|
25
|
-
```bash
|
|
26
|
-
xoonya-review --file ../xytara/examples/generated.carried-handoff.json --summary
|
|
27
|
-
```
|
|
28
|
-
|
|
29
|
-
This is the compact operator review path.
|
|
30
|
-
|
|
31
|
-
## 3. Run The Proof-Side Example
|
|
32
|
-
|
|
33
|
-
To run the same carried handoff through the proof SDK:
|
|
34
|
-
|
|
35
|
-
```bash
|
|
36
|
-
node examples/review_carried_handoff.js --file ../xytara/examples/generated.carried-handoff.json
|
|
37
|
-
```
|
|
38
|
-
|
|
39
|
-
## 4. Why This Matters
|
|
40
|
-
|
|
41
|
-
This is the highest-signal end-to-end adoption path now:
|
|
42
|
-
|
|
43
|
-
- runtime-side work ends in a portable handoff bundle
|
|
44
|
-
- proof-side review is explicit and inspectable
|
|
45
|
-
- proof-side continuation is deterministic instead of implicit
|
|
46
|
-
|
|
47
|
-
## 5. Related Surfaces
|
|
48
|
-
|
|
49
|
-
Review:
|
|
50
|
-
|
|
51
|
-
- `POST /v1/proof-center/result-package-handoff/review`
|
|
52
|
-
- `POST /v1/proof-center/result-package-handoff/review/summary`
|
|
53
|
-
|
|
54
|
-
Run:
|
|
55
|
-
|
|
56
|
-
- `POST /v1/proof-center/result-package-handoff/run`
|
|
57
|
-
|
|
58
|
-
Guided CLI:
|
|
59
|
-
|
|
60
|
-
- `xoonya-review --file ./handoff.json --summary`
|
|
1
|
+
# xoonya Carried Handoff Demo
|
|
2
|
+
|
|
3
|
+
This is the shortest proof-side adoption story after the program closed.
|
|
4
|
+
|
|
5
|
+
The goal is to take a carried result-package handoff from `xytara`, inspect it, and prove it.
|
|
6
|
+
|
|
7
|
+
## 1. Generate The Handoff In xytara
|
|
8
|
+
|
|
9
|
+
From the `xytara` repo root, run:
|
|
10
|
+
|
|
11
|
+
```bash
|
|
12
|
+
node examples/export_carried_handoff.js
|
|
13
|
+
```
|
|
14
|
+
|
|
15
|
+
That writes:
|
|
16
|
+
|
|
17
|
+
```text
|
|
18
|
+
examples/generated.carried-handoff.json
|
|
19
|
+
```
|
|
20
|
+
|
|
21
|
+
## 2. Review It In xoonya
|
|
22
|
+
|
|
23
|
+
From the `xoonya` repo root, run:
|
|
24
|
+
|
|
25
|
+
```bash
|
|
26
|
+
xoonya-review --file ../xytara/examples/generated.carried-handoff.json --summary
|
|
27
|
+
```
|
|
28
|
+
|
|
29
|
+
This is the compact operator review path.
|
|
30
|
+
|
|
31
|
+
## 3. Run The Proof-Side Example
|
|
32
|
+
|
|
33
|
+
To run the same carried handoff through the proof SDK:
|
|
34
|
+
|
|
35
|
+
```bash
|
|
36
|
+
node examples/review_carried_handoff.js --file ../xytara/examples/generated.carried-handoff.json
|
|
37
|
+
```
|
|
38
|
+
|
|
39
|
+
## 4. Why This Matters
|
|
40
|
+
|
|
41
|
+
This is the highest-signal end-to-end adoption path now:
|
|
42
|
+
|
|
43
|
+
- runtime-side work ends in a portable handoff bundle
|
|
44
|
+
- proof-side review is explicit and inspectable
|
|
45
|
+
- proof-side continuation is deterministic instead of implicit
|
|
46
|
+
|
|
47
|
+
## 5. Related Surfaces
|
|
48
|
+
|
|
49
|
+
Review:
|
|
50
|
+
|
|
51
|
+
- `POST /v1/proof-center/result-package-handoff/review`
|
|
52
|
+
- `POST /v1/proof-center/result-package-handoff/review/summary`
|
|
53
|
+
|
|
54
|
+
Run:
|
|
55
|
+
|
|
56
|
+
- `POST /v1/proof-center/result-package-handoff/run`
|
|
57
|
+
|
|
58
|
+
Guided CLI:
|
|
59
|
+
|
|
60
|
+
- `xoonya-review --file ./handoff.json --summary`
|
package/COMPATIBILITY_NOTE.md
CHANGED
|
@@ -1,27 +1,27 @@
|
|
|
1
|
-
# xoonya Compatibility Note
|
|
2
|
-
|
|
3
|
-
`xoonya` is a first public contract built from private lineage.
|
|
4
|
-
|
|
5
|
-
That means the current public center of gravity is:
|
|
6
|
-
|
|
7
|
-
- `Canonical Event Bundle`
|
|
8
|
-
- `Receipt`
|
|
9
|
-
- `Proof Bundle`
|
|
10
|
-
|
|
11
|
-
Older compact receipt and profile helpers remain available because they are useful support breadth, not because the public contract is required to center on them.
|
|
12
|
-
|
|
13
|
-
Current retained compatibility helpers include:
|
|
14
|
-
|
|
15
|
-
- `createReceipt(...)`
|
|
16
|
-
- `verifyReceipt(...)`
|
|
17
|
-
- `createReceiptV2(...)`
|
|
18
|
-
- `verifyReceiptV2(...)`
|
|
19
|
-
- `createProofEnvelopeV1(...)`
|
|
20
|
-
- `verifyProofEnvelopeV1(...)`
|
|
21
|
-
- profile verification helpers
|
|
22
|
-
|
|
23
|
-
Public guidance:
|
|
24
|
-
|
|
25
|
-
- use the canonical event and proof-bundle flow first
|
|
26
|
-
- treat retained compact helpers as compatibility/support utilities
|
|
27
|
-
- do not model new integrations as if the older helper lineage were the only public proof contract
|
|
1
|
+
# xoonya Compatibility Note
|
|
2
|
+
|
|
3
|
+
`xoonya` is a first public contract built from private lineage.
|
|
4
|
+
|
|
5
|
+
That means the current public center of gravity is:
|
|
6
|
+
|
|
7
|
+
- `Canonical Event Bundle`
|
|
8
|
+
- `Receipt`
|
|
9
|
+
- `Proof Bundle`
|
|
10
|
+
|
|
11
|
+
Older compact receipt and profile helpers remain available because they are useful support breadth, not because the public contract is required to center on them.
|
|
12
|
+
|
|
13
|
+
Current retained compatibility helpers include:
|
|
14
|
+
|
|
15
|
+
- `createReceipt(...)`
|
|
16
|
+
- `verifyReceipt(...)`
|
|
17
|
+
- `createReceiptV2(...)`
|
|
18
|
+
- `verifyReceiptV2(...)`
|
|
19
|
+
- `createProofEnvelopeV1(...)`
|
|
20
|
+
- `verifyProofEnvelopeV1(...)`
|
|
21
|
+
- profile verification helpers
|
|
22
|
+
|
|
23
|
+
Public guidance:
|
|
24
|
+
|
|
25
|
+
- use the canonical event and proof-bundle flow first
|
|
26
|
+
- treat retained compact helpers as compatibility/support utilities
|
|
27
|
+
- do not model new integrations as if the older helper lineage were the only public proof contract
|
package/CROSS_RUNTIME_POSTURE.md
CHANGED
|
@@ -1,77 +1,77 @@
|
|
|
1
|
-
# xoonya Cross-Runtime Posture
|
|
2
|
-
|
|
3
|
-
`xoonya` is intended to be reproducible across runtimes.
|
|
4
|
-
|
|
5
|
-
The current reference implementation is Node.js, but the proof contract is designed so that:
|
|
6
|
-
|
|
7
|
-
- canonical event normalization is explicit
|
|
8
|
-
- hashing is deterministic
|
|
9
|
-
- receipt derivation is deterministic
|
|
10
|
-
- proof-bundle verification is deterministic
|
|
11
|
-
|
|
12
|
-
## Current reference runtime
|
|
13
|
-
|
|
14
|
-
- Node.js `>=18`
|
|
15
|
-
|
|
16
|
-
## What is already explicit
|
|
17
|
-
|
|
18
|
-
- canonical object ordering is defined by the proof implementation
|
|
19
|
-
- event commitment is derived from canonical serialized event content
|
|
20
|
-
- receipt IDs are derived from canonical receipt-signing material
|
|
21
|
-
- proof-bundle verification checks deterministic structural invariants
|
|
22
|
-
|
|
23
|
-
## Current publication artifacts
|
|
24
|
-
|
|
25
|
-
- `vectors/conformance-vectors.json`
|
|
26
|
-
- `vectors/adversarial-vectors.json`
|
|
27
|
-
|
|
28
|
-
These vectors are intended to be reusable by future implementations in other runtimes.
|
|
29
|
-
|
|
30
|
-
## Python candidate scaffold
|
|
31
|
-
|
|
32
|
-
This repo now ships a Python candidate scaffold in `reference/python`.
|
|
33
|
-
|
|
34
|
-
It is independent from the JavaScript implementation and can replay the XNYA atom, native atom adversarial, native payload profile, line-rate frame, canonical event, receipt, and non-signed proof-bundle vectors:
|
|
35
|
-
|
|
36
|
-
```bash
|
|
37
|
-
npm run verify:reference-python
|
|
38
|
-
```
|
|
39
|
-
|
|
40
|
-
This is not yet a full second reference implementation. It can verify Ed25519 native signed vectors when Python's optional `cryptography` package is installed; otherwise it proves the deterministic `native_signature_crypto_dependency_missing` boundary. It does not claim always-on native signature-suite cryptographic verification, secp256k1/P-256 parity, external proof import, or all native signed proof-bundle round-trip behavior.
|
|
41
|
-
|
|
42
|
-
The crypto-enabled optional check is:
|
|
43
|
-
|
|
44
|
-
```bash
|
|
45
|
-
npm run verify:reference-python-crypto
|
|
46
|
-
```
|
|
47
|
-
|
|
48
|
-
That command creates a temporary isolated Python virtual environment, installs `reference/python/requirements-optional.txt`, and requires the Ed25519 native signed vector to verify.
|
|
49
|
-
|
|
50
|
-
## Rust candidate scaffold
|
|
51
|
-
|
|
52
|
-
This repo also ships a source-only Rust candidate scaffold in `reference/rust`.
|
|
53
|
-
|
|
54
|
-
```bash
|
|
55
|
-
npm run verify:reference-rust-scaffold
|
|
56
|
-
```
|
|
57
|
-
|
|
58
|
-
That check verifies packaged scaffold files, XNYA atom constants, deterministic parser error-code names, and the `publish = false` boundary. It does not compile Rust or claim vector parity yet.
|
|
59
|
-
|
|
60
|
-
## Current limitation
|
|
61
|
-
|
|
62
|
-
So the current cross-runtime posture is:
|
|
63
|
-
|
|
64
|
-
- contract and vectors are published
|
|
65
|
-
- Node.js reference behavior is enforced
|
|
66
|
-
- Python atom/payload/frame, non-signed proof-bundle vector parity, and optional Ed25519 crypto-gated verification are implemented as a candidate scaffold
|
|
67
|
-
- Rust source scaffold is packaged and boundary-checked, but not vector-verified
|
|
68
|
-
- additional runtime implementations can now target the same vector sets
|
|
69
|
-
|
|
70
|
-
## Final release expectation
|
|
71
|
-
|
|
72
|
-
Before calling the proof product fully closed, future implementations should be able to replay the published vectors and reach the same outcomes for:
|
|
73
|
-
|
|
74
|
-
- canonical event commitments
|
|
75
|
-
- receipt IDs
|
|
76
|
-
- proof-bundle verification
|
|
77
|
-
- adversarial rejection reasons where contractually stable
|
|
1
|
+
# xoonya Cross-Runtime Posture
|
|
2
|
+
|
|
3
|
+
`xoonya` is intended to be reproducible across runtimes.
|
|
4
|
+
|
|
5
|
+
The current reference implementation is Node.js, but the proof contract is designed so that:
|
|
6
|
+
|
|
7
|
+
- canonical event normalization is explicit
|
|
8
|
+
- hashing is deterministic
|
|
9
|
+
- receipt derivation is deterministic
|
|
10
|
+
- proof-bundle verification is deterministic
|
|
11
|
+
|
|
12
|
+
## Current reference runtime
|
|
13
|
+
|
|
14
|
+
- Node.js `>=18`
|
|
15
|
+
|
|
16
|
+
## What is already explicit
|
|
17
|
+
|
|
18
|
+
- canonical object ordering is defined by the proof implementation
|
|
19
|
+
- event commitment is derived from canonical serialized event content
|
|
20
|
+
- receipt IDs are derived from canonical receipt-signing material
|
|
21
|
+
- proof-bundle verification checks deterministic structural invariants
|
|
22
|
+
|
|
23
|
+
## Current publication artifacts
|
|
24
|
+
|
|
25
|
+
- `vectors/conformance-vectors.json`
|
|
26
|
+
- `vectors/adversarial-vectors.json`
|
|
27
|
+
|
|
28
|
+
These vectors are intended to be reusable by future implementations in other runtimes.
|
|
29
|
+
|
|
30
|
+
## Python candidate scaffold
|
|
31
|
+
|
|
32
|
+
This repo now ships a Python candidate scaffold in `reference/python`.
|
|
33
|
+
|
|
34
|
+
It is independent from the JavaScript implementation and can replay the XNYA atom, native atom adversarial, native payload profile, line-rate frame, canonical event, receipt, and non-signed proof-bundle vectors:
|
|
35
|
+
|
|
36
|
+
```bash
|
|
37
|
+
npm run verify:reference-python
|
|
38
|
+
```
|
|
39
|
+
|
|
40
|
+
This is not yet a full second reference implementation. It can verify Ed25519 native signed vectors when Python's optional `cryptography` package is installed; otherwise it proves the deterministic `native_signature_crypto_dependency_missing` boundary. It does not claim always-on native signature-suite cryptographic verification, secp256k1/P-256 parity, external proof import, or all native signed proof-bundle round-trip behavior.
|
|
41
|
+
|
|
42
|
+
The crypto-enabled optional check is:
|
|
43
|
+
|
|
44
|
+
```bash
|
|
45
|
+
npm run verify:reference-python-crypto
|
|
46
|
+
```
|
|
47
|
+
|
|
48
|
+
That command creates a temporary isolated Python virtual environment, installs `reference/python/requirements-optional.txt`, and requires the Ed25519 native signed vector to verify.
|
|
49
|
+
|
|
50
|
+
## Rust candidate scaffold
|
|
51
|
+
|
|
52
|
+
This repo also ships a source-only Rust candidate scaffold in `reference/rust`.
|
|
53
|
+
|
|
54
|
+
```bash
|
|
55
|
+
npm run verify:reference-rust-scaffold
|
|
56
|
+
```
|
|
57
|
+
|
|
58
|
+
That check verifies packaged scaffold files, XNYA atom constants, deterministic parser error-code names, and the `publish = false` boundary. It does not compile Rust or claim vector parity yet.
|
|
59
|
+
|
|
60
|
+
## Current limitation
|
|
61
|
+
|
|
62
|
+
So the current cross-runtime posture is:
|
|
63
|
+
|
|
64
|
+
- contract and vectors are published
|
|
65
|
+
- Node.js reference behavior is enforced
|
|
66
|
+
- Python atom/payload/frame, non-signed proof-bundle vector parity, and optional Ed25519 crypto-gated verification are implemented as a candidate scaffold
|
|
67
|
+
- Rust source scaffold is packaged and boundary-checked, but not vector-verified
|
|
68
|
+
- additional runtime implementations can now target the same vector sets
|
|
69
|
+
|
|
70
|
+
## Final release expectation
|
|
71
|
+
|
|
72
|
+
Before calling the proof product fully closed, future implementations should be able to replay the published vectors and reach the same outcomes for:
|
|
73
|
+
|
|
74
|
+
- canonical event commitments
|
|
75
|
+
- receipt IDs
|
|
76
|
+
- proof-bundle verification
|
|
77
|
+
- adversarial rejection reasons where contractually stable
|
package/EXAMPLE_PATHS.md
CHANGED
|
@@ -1,53 +1,53 @@
|
|
|
1
|
-
# xoonya Example Paths
|
|
2
|
-
|
|
3
|
-
These are the recommended public examples for `xoonya`.
|
|
4
|
-
|
|
5
|
-
## Broad package tour
|
|
6
|
-
|
|
7
|
-
Run:
|
|
8
|
-
|
|
9
|
-
```bash
|
|
10
|
-
node examples/package_quickstart.js
|
|
11
|
-
```
|
|
12
|
-
|
|
13
|
-
Use this when you want the widest proof-package walkthrough.
|
|
14
|
-
|
|
15
|
-
## Cross-repo carried handoff review
|
|
16
|
-
|
|
17
|
-
Run:
|
|
18
|
-
|
|
19
|
-
```bash
|
|
20
|
-
node examples/review_carried_handoff.js
|
|
21
|
-
```
|
|
22
|
-
|
|
23
|
-
Use this when you want the clearest carried runtime-to-proof path.
|
|
24
|
-
|
|
25
|
-
## Partner proof walkthrough
|
|
26
|
-
|
|
27
|
-
Run:
|
|
28
|
-
|
|
29
|
-
```bash
|
|
30
|
-
node examples/partner_proof_walkthrough.js
|
|
31
|
-
```
|
|
32
|
-
|
|
33
|
-
Use this when you want the shortest launch oriented proof story.
|
|
34
|
-
|
|
35
|
-
## Proof review walkthrough
|
|
36
|
-
|
|
37
|
-
Run:
|
|
38
|
-
|
|
39
|
-
```bash
|
|
40
|
-
node examples/proof_review_walkthrough.js
|
|
41
|
-
```
|
|
42
|
-
|
|
43
|
-
Use this when you want the compact result-package review path.
|
|
44
|
-
|
|
45
|
-
## Integration boundary walkthrough
|
|
46
|
-
|
|
47
|
-
Run:
|
|
48
|
-
|
|
49
|
-
```bash
|
|
50
|
-
node examples/integration_boundary_walkthrough.js
|
|
51
|
-
```
|
|
52
|
-
|
|
53
|
-
Use this when you want the narrow proof-integration boundary rather than the full package tour.
|
|
1
|
+
# xoonya Example Paths
|
|
2
|
+
|
|
3
|
+
These are the recommended public examples for `xoonya`.
|
|
4
|
+
|
|
5
|
+
## Broad package tour
|
|
6
|
+
|
|
7
|
+
Run:
|
|
8
|
+
|
|
9
|
+
```bash
|
|
10
|
+
node examples/package_quickstart.js
|
|
11
|
+
```
|
|
12
|
+
|
|
13
|
+
Use this when you want the widest proof-package walkthrough.
|
|
14
|
+
|
|
15
|
+
## Cross-repo carried handoff review
|
|
16
|
+
|
|
17
|
+
Run:
|
|
18
|
+
|
|
19
|
+
```bash
|
|
20
|
+
node examples/review_carried_handoff.js
|
|
21
|
+
```
|
|
22
|
+
|
|
23
|
+
Use this when you want the clearest carried runtime-to-proof path.
|
|
24
|
+
|
|
25
|
+
## Partner proof walkthrough
|
|
26
|
+
|
|
27
|
+
Run:
|
|
28
|
+
|
|
29
|
+
```bash
|
|
30
|
+
node examples/partner_proof_walkthrough.js
|
|
31
|
+
```
|
|
32
|
+
|
|
33
|
+
Use this when you want the shortest launch oriented proof story.
|
|
34
|
+
|
|
35
|
+
## Proof review walkthrough
|
|
36
|
+
|
|
37
|
+
Run:
|
|
38
|
+
|
|
39
|
+
```bash
|
|
40
|
+
node examples/proof_review_walkthrough.js
|
|
41
|
+
```
|
|
42
|
+
|
|
43
|
+
Use this when you want the compact result-package review path.
|
|
44
|
+
|
|
45
|
+
## Integration boundary walkthrough
|
|
46
|
+
|
|
47
|
+
Run:
|
|
48
|
+
|
|
49
|
+
```bash
|
|
50
|
+
node examples/integration_boundary_walkthrough.js
|
|
51
|
+
```
|
|
52
|
+
|
|
53
|
+
Use this when you want the narrow proof-integration boundary rather than the full package tour.
|