AUTONOMOUS DEFENSE / AUTHORITY KERNEL / RUNTIME REFERENCE MONITOR
CAPABILITY NEVER CREATES AUTHORITY.
Inspect a deterministic Python chain that binds every synthetic defensive action to workload identity, declared purpose, current authority, policy, evidence, uncertainty, attestation, compartment state, and recovery lineage.
SYNTHETIC OBSERVATION → EVIDENCE → UNCERTAINTY → POLICY → AUTHORITY → NOMINAL REQUEST → RUNTIME ASSURANCE → APPLIED DEFENSIVE ACTION → HISTORY → RECOVERY
CONTROLLED SYNTHETIC DEFENSIVE RANGE
No customer content, arbitrary files, real credentials, real coordinates, targeting, weapon functions, vehicle control, force authorization, offensive cyber, public persistence, or external command path.
REFERENCE MONITOR: INDEPENDENT
DETERMINISTIC KERNEL RUN
Valid authority baseline
d64f093c50c26ff17087c8…
AUTHORITYCURRENT
NOMINALCONTINUE_OBSERVATION
APPLIEDCONTINUE_OBSERVATION
FAILED GATES0
REFERENCE-MONITOR TOPOLOGY
Authority enforced before action.
APPLIED DEFENSIVE ACTIONCONTINUE_OBSERVATION
REFERENCE_MONITOR_PERMITTED_BOUNDED_REQUEST
290ba842c0eb4c49d39c56bb…
Conjunctive reference-monitor gates
| Gate | State | Reason |
|---|---|---|
| identity | PASS | WORKLOAD_IDENTITY_VALID |
| credential | PASS | CREDENTIAL_CURRENT |
| threshold authorization | PASS | THRESHOLD_AUTHORIZATION_PRESENT |
| authority state | PASS | AUTHORITY_CURRENT |
| authority time | PASS | AUTHORITY_TIME_BOUND |
| purpose | PASS | PURPOSE_MATCH |
| action permitted | PASS | ACTION_PERMITTED |
| action not prohibited | PASS | ACTION_NOT_PROHIBITED |
| use permitted | PASS | USE_PERMITTED |
| resource bound | PASS | RESOURCE_BOUND |
| policy known | PASS | POLICY_KNOWN |
| software attested | PASS | SOFTWARE_ATTESTED |
| model attested | PASS | MODEL_ATTESTED |
| policy attested | PASS | POLICY_ATTESTED |
| configuration attested | PASS | CONFIGURATION_ATTESTED |
| evidence fresh | PASS | EVIDENCE_FRESH |
| evidence consistent | PASS | EVIDENCE_CONSISTENT |
| evidence independent | PASS | EVIDENCE_INDEPENDENT |
| uncertainty bounded | PASS | EPISTEMIC_UNCERTAINTY_BOUNDED |
| compartment attested | PASS | COMPARTMENT_ATTESTED |
| reconciliation current | PASS | RECONCILIATION_CURRENT |
| recovery baseline attested | PASS | RECOVERY_BASELINE_ATTESTED |
Authority artifact
Compiled policy and declared purpose
Evidence, provenance, and correlation
Uncertainty remains multidimensional
Nominal request versus applied action
Compartment, communications, reconciliation, and recovery
Append-oriented event ledger
- KERNEL-VALID_AUTHORITY_BASELINE-000SYNTHETIC OBSERVATION RECEIVED
Valid authority baseline
09e6710d1b3cc57c… - KERNEL-VALID_AUTHORITY_BASELINE-001EVIDENCE PROVENANCE BOUND
3 evidence records
1b983cb12ebcf7e5… - KERNEL-VALID_AUTHORITY_BASELINE-002UNCERTAINTY EVALUATED
900
63c0e32de4209dcf… - KERNEL-VALID_AUTHORITY_BASELINE-003POLICY PURPOSE COMPILED
POLICY-SYNTH-DEFENSE-0001
9681b3587e4b37fb… - KERNEL-VALID_AUTHORITY_BASELINE-004AUTHORITY ARTIFACT VERIFIED
CURRENT
6bcf012b017a5538… - KERNEL-VALID_AUTHORITY_BASELINE-005NOMINAL REQUEST RECORDED
CONTINUE_OBSERVATION
e41bbc10c1f77c84… - KERNEL-VALID_AUTHORITY_BASELINE-006REFERENCE MONITOR EVALUATED
PASS
5744e2f8d916b8ff… - KERNEL-VALID_AUTHORITY_BASELINE-007APPLIED DEFENSIVE ACTION
CONTINUE_OBSERVATION
17372490600ab985… - KERNEL-VALID_AUTHORITY_BASELINE-008CLAIM READINESS IMPACT RECORDED
SYNTHETIC_ONLY
16e89f0567886bc8… - KERNEL-VALID_AUTHORITY_BASELINE-009RECOVERY STATE RECORDED
ATTESTED
f435f4a3e944d7f9… - KERNEL-VALID_AUTHORITY_BASELINE-010PUBLIC BOUNDARY VERIFIED
SYNTHETIC_NULL_SINK
22e3a7bf72e190b3… - KERNEL-VALID_AUTHORITY_BASELINE-011RUN COMPLETE
CONTINUE_OBSERVATION
290ba842c0eb4c49…
Proof Inspector
- KRN-01Public boundary is explicit and synthetic.
- KRN-02Every derived action terminates at SYNTHETIC_NULL_SINK.
- KRN-03Nominal request is preserved separately from applied action.
- KRN-04Reference monitor evaluates every request independently.
- KRN-05Authority is conjunctive rather than weighted.
- KRN-06No composite authority score exists.
- KRN-07Uncertainty is not collapsed into one confidence score.
- KRN-08Canonical history is not deleted.
- KRN-09Public runs are ephemeral.
- KRN-10No force authorization exists.
- KRN-11No external command leaves the synthetic range.
- KRN-12Append-oriented event chain verifies.
- KRN-13Evidence and provenance remain inspectable.
- KRN-14Reference monitor exposes independent enforcement gates.
- KRN-15Technical evidence does not manufacture legal approval.
- KRN-16Synthetic evidence does not establish operational readiness.
- KRN-17Recovery preserves the predecessor state.
- KRN-18Recovery never restores authority automatically.
- KRN-19Copies and derivatives do not become independent corroboration.
- KRN-20Subdelegation attenuates rather than expands authority.
Claim and readiness impact
Raw synthetic evidence
{
"applied_action": {
"action": "CONTINUE_OBSERVATION",
"authoritative": true,
"external_effect": false,
"nominal_action_applied": true,
"reversible_within_synthetic_range": true,
"terminal": "SYNTHETIC_NULL_SINK"
},
"assumptions": [
"synthetic state only",
"virtual deterministic time",
"no external command path"
],
"authority": {
"assumptions": [
"synthetic inputs only",
"no external command path",
"deterministic virtual time"
],
"authority_id": "AUTH-SYNTH-DEFENSE-0001",
"authority_sha256": "141f6a0174df97b0ca7dc3656ad45d94a15135f86f2c4d8280abd3850a8f9a5a",
"communications_partition_bounds": [
"local authority must remain current",
"no new objective",
"reconciliation before restoration"
],
"configuration_digest": "ab7e068567f64aec7364e46c1ede5bf55d4d78d8836c88b477df981e6937de0c",
"conjunctive": true,
"data_scope": [
"synthetic_identity",
"synthetic_attestation",
"synthetic_evidence",
"synthetic_compartment_state"
],
"declared_purpose": "protect synthetic service integrity and continuity",
"degraded_operation_bounds": [
"observation",
"evidence collection",
"integrity hold"
],
"evidence_requirements": [
"workload_identity",
"attestation_bundle",
"evidence_freshness",
"authority_lineage"
],
"institutional_owner": "SYNTHETIC_SOVEREIGN_PRINCIPAL",
"issuing_institution": "EVULGARE_SYNTHETIC_AUTHORITY_KERNEL",
"model_version": "bounded-monitor-1.0.0",
"permitted_actions": [
"CONTINUE_OBSERVATION",
"COLLECT_MORE_EVIDENCE",
"DENY_REQUEST",
"REQUIRE_REAUTHENTICATION",
"REVOKE_AUTHORITY",
"INTEGRITY_HOLD",
"ISOLATE_WORKLOAD",
"SEVER_SYNTHETIC_COMPARTMENT",
"QUARANTINE_SYNTHETIC_SERVICE",
"FREEZE_SYNTHETIC_RELEASE_CHANNEL",
"REKEY",
"RECONCILE",
"RESTORE_ATTESTED_BASELINE",
"ABSTAIN"
],
"permitted_objective": "maintain evidence-locked defensive operation",
"permitted_use": [
"defensive_assurance",
"continuity_review",
"attested_recovery"
],
"policy_version": "policy-synth-1.0.0",
"prohibited_actions": [
"TARGET_SELECTION",
"WEAPON_COMMAND",
"PAYLOAD_ACTION",
"VEHICLE_CONTROL",
"FORCE_AUTHORIZATION"
],
"prohibited_reuse": [
"targeting",
"weaponization",
"external_command",
"customer_data_training"
],
"recipient_workload": "WORKLOAD-DEFENSE-MONITOR-01",
"reconciliation_requirements": [
"event-chain comparison",
"key-epoch comparison",
"authority comparison",
"evidence conflict review"
],
"resource_bounds": [
[
"compute_units",
1000
],
[
"evidence_records",
128
],
[
"event_records",
128
]
],
"review_requirements": [
"independent runtime assurance",
"proof inspection",
"append-oriented evidence export"
],
"revocation_mechanism": "append revocation event and deny subsequent use",
"software_version": "kernel-synth-1.0.0",
"state": "CURRENT",
"subdelegation_expands_authority": false,
"subdelegation_limits": [
"no action expansion",
"no purpose expansion",
"no time extension"
],
"synthetic_attestation": "f21b48ea05c9f65f56b5dc73868c5e5b6b5efdf5a639507cf0067114c5633d12",
"valid_from_tick": 100,
"valid_until_tick": 1000
},
"authority_artifact": {
"assumptions": [
"synthetic inputs only",
"no external command path",
"deterministic virtual time"
],
"authority_id": "AUTH-SYNTH-DEFENSE-0001",
"authority_sha256": "141f6a0174df97b0ca7dc3656ad45d94a15135f86f2c4d8280abd3850a8f9a5a",
"communications_partition_bounds": [
"local authority must remain current",
"no new objective",
"reconciliation before restoration"
],
"configuration_digest": "ab7e068567f64aec7364e46c1ede5bf55d4d78d8836c88b477df981e6937de0c",
"conjunctive": true,
"data_scope": [
"synthetic_identity",
"synthetic_attestation",
"synthetic_evidence",
"synthetic_compartment_state"
],
"declared_purpose": "protect synthetic service integrity and continuity",
"degraded_operation_bounds": [
"observation",
"evidence collection",
"integrity hold"
],
"evidence_requirements": [
"workload_identity",
"attestation_bundle",
"evidence_freshness",
"authority_lineage"
],
"institutional_owner": "SYNTHETIC_SOVEREIGN_PRINCIPAL",
"issuing_institution": "EVULGARE_SYNTHETIC_AUTHORITY_KERNEL",
"model_version": "bounded-monitor-1.0.0",
"permitted_actions": [
"CONTINUE_OBSERVATION",
"COLLECT_MORE_EVIDENCE",
"DENY_REQUEST",
"REQUIRE_REAUTHENTICATION",
"REVOKE_AUTHORITY",
"INTEGRITY_HOLD",
"ISOLATE_WORKLOAD",
"SEVER_SYNTHETIC_COMPARTMENT",
"QUARANTINE_SYNTHETIC_SERVICE",
"FREEZE_SYNTHETIC_RELEASE_CHANNEL",
"REKEY",
"RECONCILE",
"RESTORE_ATTESTED_BASELINE",
"ABSTAIN"
],
"permitted_objective": "maintain evidence-locked defensive operation",
"permitted_use": [
"defensive_assurance",
"continuity_review",
"attested_recovery"
],
"policy_version": "policy-synth-1.0.0",
"prohibited_actions": [
"TARGET_SELECTION",
"WEAPON_COMMAND",
"PAYLOAD_ACTION",
"VEHICLE_CONTROL",
"FORCE_AUTHORIZATION"
],
"prohibited_reuse": [
"targeting",
"weaponization",
"external_command",
"customer_data_training"
],
"recipient_workload": "WORKLOAD-DEFENSE-MONITOR-01",
"reconciliation_requirements": [
"event-chain comparison",
"key-epoch comparison",
"authority comparison",
"evidence conflict review"
],
"resource_bounds": [
[
"compute_units",
1000
],
[
"evidence_records",
128
],
[
"event_records",
128
]
],
"review_requirements": [
"independent runtime assurance",
"proof inspection",
"append-oriented evidence export"
],
"revocation_mechanism": "append revocation event and deny subsequent use",
"software_version": "kernel-synth-1.0.0",
"state": "CURRENT",
"subdelegation_expands_authority": false,
"subdelegation_limits": [
"no action expansion",
"no purpose expansion",
"no time extension"
],
"synthetic_attestation": "f21b48ea05c9f65f56b5dc73868c5e5b6b5efdf5a639507cf0067114c5633d12",
"valid_from_tick": 100,
"valid_until_tick": 1000
},
"authority_conjunctive": true,
"canonical_history_mutated": false,
"claim_impact": {
"certification": "NOT_ESTABLISHED",
"certification_established": false,
"claim_state": "SUPPORTED_WITHIN_DECLARED_SYNTHETIC_BOUNDS",
"customer_system_performance_established": false,
"deployment_evidence": "NOT_ESTABLISHED",
"failed_gates": [],
"legal_approval_established": false,
"legal_authority": "NOT_ESTABLISHED",
"operational_readiness_established": false,
"physical_customer_system_validation": "NOT_ESTABLISHED",
"readiness_state": "SYNTHETIC_EVIDENCE_ONLY"
},
"claim_readiness_impact": {
"certification": "NOT_ESTABLISHED",
"certification_established": false,
"claim_state": "SUPPORTED_WITHIN_DECLARED_SYNTHETIC_BOUNDS",
"customer_system_performance_established": false,
"deployment_evidence": "NOT_ESTABLISHED",
"failed_gates": [],
"legal_approval_established": false,
"legal_authority": "NOT_ESTABLISHED",
"operational_readiness_established": false,
"physical_customer_system_validation": "NOT_ESTABLISHED",
"readiness_state": "SYNTHETIC_EVIDENCE_ONLY"
},
"compartment": {
"communications_state": "CONNECTED",
"local_authority_state": "CURRENT",
"reconciliation_state": "CURRENT",
"state": "ATTESTED"
},
"compartment_state": {
"communications_state": "CONNECTED",
"local_authority_state": "CURRENT",
"reconciliation_state": "CURRENT",
"state": "ATTESTED"
},
"composite_authority_score": null,
"composite_confidence_score": null,
"conditions": {
"communications_state": "CONNECTED",
"compartment_state": "ATTESTED",
"configuration_attested": true,
"credential_current": true,
"epistemic_basis_points": 900,
"evidence_consistent": true,
"evidence_fresh": true,
"evidence_independent": true,
"identity_valid": true,
"local_authority_state": "CURRENT",
"model_attested": true,
"policy_attested": true,
"reconciliation_state": "CURRENT",
"recovery_baseline_state": "ATTESTED",
"recovery_requested": false,
"rekey_required": false,
"requested_action": "CONTINUE_OBSERVATION",
"requested_purpose": "protect synthetic service integrity and continuity",
"requested_resource_units": 250,
"requested_use": "defensive_assurance",
"scenario_id": "valid-authority-baseline",
"software_attested": true,
"threshold_authorization_present": true,
"tick": 200,
"workload_identity": "WORKLOAD-DEFENSE-MONITOR-01"
},
"correlation_analysis": {
"distinct_group_count": 3,
"groups": {
"attestation-root-a": [
"EVID-ATTEST-01"
],
"context-root-a": [
"EVID-CONTEXT-01"
],
"identity-root-a": [
"EVID-IDENTITY-01"
]
},
"independence_established": true,
"record_count": 3,
"record_count_treated_as_independence": false
},
"engine_version": "1.0.0",
"event_chain_sha256": "290ba842c0eb4c49d39c56bbc6a9928c06f2b311c5a517cd57a12e29cff74468",
"event_chain_valid": true,
"events": [
{
"detail": "Valid authority baseline",
"event_id": "KERNEL-VALID_AUTHORITY_BASELINE-000",
"event_sha256": "09e6710d1b3cc57ca923d5f4941491604b616fe47d0d0184ae20d1044beb0229",
"index": 0,
"previous_event_sha256": "0000000000000000000000000000000000000000000000000000000000000000",
"sequence": 1,
"tick": 189,
"type": "SYNTHETIC_OBSERVATION_RECEIVED"
},
{
"detail": "3 evidence records",
"event_id": "KERNEL-VALID_AUTHORITY_BASELINE-001",
"event_sha256": "1b983cb12ebcf7e5006507b1ef13a36f0ea3cf04c93dd64f10cbf7f38fb7fdc8",
"index": 1,
"previous_event_sha256": "09e6710d1b3cc57ca923d5f4941491604b616fe47d0d0184ae20d1044beb0229",
"sequence": 2,
"tick": 190,
"type": "EVIDENCE_PROVENANCE_BOUND"
},
{
"detail": "900",
"event_id": "KERNEL-VALID_AUTHORITY_BASELINE-002",
"event_sha256": "63c0e32de4209dcfa8888ee8ebbca6eb1322d17c2b77f02bbaacf9d9d6fcd896",
"index": 2,
"previous_event_sha256": "1b983cb12ebcf7e5006507b1ef13a36f0ea3cf04c93dd64f10cbf7f38fb7fdc8",
"sequence": 3,
"tick": 191,
"type": "UNCERTAINTY_EVALUATED"
},
{
"detail": "POLICY-SYNTH-DEFENSE-0001",
"event_id": "KERNEL-VALID_AUTHORITY_BASELINE-003",
"event_sha256": "9681b3587e4b37fb9bfb2edc1d160b611d5207763f9c60092c3a6ffc9434b01e",
"index": 3,
"previous_event_sha256": "63c0e32de4209dcfa8888ee8ebbca6eb1322d17c2b77f02bbaacf9d9d6fcd896",
"sequence": 4,
"tick": 192,
"type": "POLICY_PURPOSE_COMPILED"
},
{
"detail": "CURRENT",
"event_id": "KERNEL-VALID_AUTHORITY_BASELINE-004",
"event_sha256": "6bcf012b017a55380ce8b0aed2bad1166e3cea3e523ff1e156797bd2ddac84e3",
"index": 4,
"previous_event_sha256": "9681b3587e4b37fb9bfb2edc1d160b611d5207763f9c60092c3a6ffc9434b01e",
"sequence": 5,
"tick": 193,
"type": "AUTHORITY_ARTIFACT_VERIFIED"
},
{
"detail": "CONTINUE_OBSERVATION",
"event_id": "KERNEL-VALID_AUTHORITY_BASELINE-005",
"event_sha256": "e41bbc10c1f77c849b0106e6b939e1ae2f84aa1d557158f5ded5de8f9d5761ea",
"index": 5,
"previous_event_sha256": "6bcf012b017a55380ce8b0aed2bad1166e3cea3e523ff1e156797bd2ddac84e3",
"sequence": 6,
"tick": 194,
"type": "NOMINAL_REQUEST_RECORDED"
},
{
"detail": "PASS",
"event_id": "KERNEL-VALID_AUTHORITY_BASELINE-006",
"event_sha256": "5744e2f8d916b8ffeccfb421a980baec9580af4d38398df4ee56451edf59285a",
"index": 6,
"previous_event_sha256": "e41bbc10c1f77c849b0106e6b939e1ae2f84aa1d557158f5ded5de8f9d5761ea",
"sequence": 7,
"tick": 195,
"type": "REFERENCE_MONITOR_EVALUATED"
},
{
"detail": "CONTINUE_OBSERVATION",
"event_id": "KERNEL-VALID_AUTHORITY_BASELINE-007",
"event_sha256": "17372490600ab985c9b98c59f285a02f10eb74e272f18ec45af5b7911734620d",
"index": 7,
"previous_event_sha256": "5744e2f8d916b8ffeccfb421a980baec9580af4d38398df4ee56451edf59285a",
"sequence": 8,
"tick": 196,
"type": "APPLIED_DEFENSIVE_ACTION"
},
{
"detail": "SYNTHETIC_ONLY",
"event_id": "KERNEL-VALID_AUTHORITY_BASELINE-008",
"event_sha256": "16e89f0567886bc8710ab4365dde9531c7fce570f53a1f5a1a20ec4639c1e7ce",
"index": 8,
"previous_event_sha256": "17372490600ab985c9b98c59f285a02f10eb74e272f18ec45af5b7911734620d",
"sequence": 9,
"tick": 197,
"type": "CLAIM_READINESS_IMPACT_RECORDED"
},
{
"detail": "ATTESTED",
"event_id": "KERNEL-VALID_AUTHORITY_BASELINE-009",
"event_sha256": "f435f4a3e944d7f9c9f09f39e676d27a2d4ad9243bf7aeddd6e8459e7e29c699",
"index": 9,
"previous_event_sha256": "16e89f0567886bc8710ab4365dde9531c7fce570f53a1f5a1a20ec4639c1e7ce",
"sequence": 10,
"tick": 198,
"type": "RECOVERY_STATE_RECORDED"
},
{
"detail": "SYNTHETIC_NULL_SINK",
"event_id": "KERNEL-VALID_AUTHORITY_BASELINE-010",
"event_sha256": "22e3a7bf72e190b3a318b83dfa013f44c26e8b8c8d809c2c5f57f82e376854bb",
"index": 10,
"previous_event_sha256": "f435f4a3e944d7f9c9f09f39e676d27a2d4ad9243bf7aeddd6e8459e7e29c699",
"sequence": 11,
"tick": 199,
"type": "PUBLIC_BOUNDARY_VERIFIED"
},
{
"detail": "CONTINUE_OBSERVATION",
"event_id": "KERNEL-VALID_AUTHORITY_BASELINE-011",
"event_sha256": "290ba842c0eb4c49d39c56bbc6a9928c06f2b311c5a517cd57a12e29cff74468",
"index": 11,
"previous_event_sha256": "22e3a7bf72e190b3a318b83dfa013f44c26e8b8c8d809c2c5f57f82e376854bb",
"sequence": 12,
"tick": 200,
"type": "RUN_COMPLETE"
}
],
"evidence": [
{
"aleatoric_basis_points": 800,
"authority_reference": "AUTH-SYNTH-DEFENSE-0001",
"challenges": [],
"collection_tick": 195,
"completeness_basis_points": 9500,
"configuration_digest": "ab7e068567f64aec7364e46c1ede5bf55d4d78d8836c88b477df981e6937de0c",
"contradiction": false,
"correlation_group": "identity-root-a",
"custody": [
"SYNTHETIC_SOURCE",
"EVIDENCE_SERVICE",
"REFERENCE_MONITOR"
],
"epistemic_basis_points": 900,
"evidence_id": "EVID-IDENTITY-01",
"evidence_sha256": "dc57def9771af359d625c722c83f8b0ba1e62756ef0fd80435460f7b9c0d9d0b",
"freshness_ticks": 5,
"invalidated": false,
"model_version": "bounded-monitor-1.0.0",
"permitted_use": [
"defensive_assurance"
],
"policy_version": "policy-synth-1.0.0",
"reliability_basis_points": 9800,
"retention_until_tick": 5000,
"shared_failure_mode": "identity-provider",
"software_version": "kernel-synth-1.0.0",
"source_identity": "SYNTHETIC_IDENTITY_PROVIDER",
"superseded": false,
"supports": [
"workload_identity_valid"
],
"transformation_history": [
"CANONICALIZE",
"HASH",
"VERIFY"
]
},
{
"aleatoric_basis_points": 800,
"authority_reference": "AUTH-SYNTH-DEFENSE-0001",
"challenges": [],
"collection_tick": 195,
"completeness_basis_points": 9500,
"configuration_digest": "ab7e068567f64aec7364e46c1ede5bf55d4d78d8836c88b477df981e6937de0c",
"contradiction": false,
"correlation_group": "attestation-root-a",
"custody": [
"SYNTHETIC_SOURCE",
"EVIDENCE_SERVICE",
"REFERENCE_MONITOR"
],
"epistemic_basis_points": 900,
"evidence_id": "EVID-ATTEST-01",
"evidence_sha256": "e4b501852c62868abada55731df8a44f6f98b5b549baed40cc88e64054325687",
"freshness_ticks": 5,
"invalidated": false,
"model_version": "bounded-monitor-1.0.0",
"permitted_use": [
"defensive_assurance"
],
"policy_version": "policy-synth-1.0.0",
"reliability_basis_points": 9700,
"retention_until_tick": 5000,
"shared_failure_mode": "attestation-service",
"software_version": "kernel-synth-1.0.0",
"source_identity": "SYNTHETIC_ATTESTATION_SERVICE",
"superseded": false,
"supports": [
"runtime_attested"
],
"transformation_history": [
"CANONICALIZE",
"HASH",
"VERIFY"
]
},
{
"aleatoric_basis_points": 800,
"authority_reference": "AUTH-SYNTH-DEFENSE-0001",
"challenges": [],
"collection_tick": 195,
"completeness_basis_points": 9500,
"configuration_digest": "ab7e068567f64aec7364e46c1ede5bf55d4d78d8836c88b477df981e6937de0c",
"contradiction": false,
"correlation_group": "context-root-a",
"custody": [
"SYNTHETIC_SOURCE",
"EVIDENCE_SERVICE",
"REFERENCE_MONITOR"
],
"epistemic_basis_points": 900,
"evidence_id": "EVID-CONTEXT-01",
"evidence_sha256": "19a2e4b54f67a7c06a3c5986de653e82a0bae77d8f97b84319ee3172a69c069a",
"freshness_ticks": 5,
"invalidated": false,
"model_version": "bounded-monitor-1.0.0",
"permitted_use": [
"defensive_assurance"
],
"policy_version": "policy-synth-1.0.0",
"reliability_basis_points": 9300,
"retention_until_tick": 5000,
"shared_failure_mode": "none",
"software_version": "kernel-synth-1.0.0",
"source_identity": "SYNTHETIC_CONTEXT_SERVICE",
"superseded": false,
"supports": [
"context_consistent"
],
"transformation_history": [
"CANONICALIZE",
"HASH",
"VERIFY"
]
}
],
"external_command_sent": false,
"force_authorized": false,
"history_deleted": false,
"input": {
"communications_state": "CONNECTED",
"compartment_state": "ATTESTED",
"configuration_attested": true,
"credential_current": true,
"epistemic_basis_points": 900,
"evidence_consistent": true,
"evidence_fresh": true,
"evidence_independent": true,
"identity_valid": true,
"local_authority_state": "CURRENT",
"model_attested": true,
"policy_attested": true,
"reconciliation_state": "CURRENT",
"recovery_baseline_state": "ATTESTED",
"recovery_requested": false,
"rekey_required": false,
"requested_action": "CONTINUE_OBSERVATION",
"requested_purpose": "protect synthetic service integrity and continuity",
"requested_resource_units": 250,
"requested_use": "defensive_assurance",
"scenario_id": "valid-authority-baseline",
"software_attested": true,
"threshold_authorization_present": true,
"tick": 200,
"workload_identity": "WORKLOAD-DEFENSE-MONITOR-01"
},
"limitations": [
"simulation is not certification",
"hashing is not factual truth",
"repository evidence is not operational readiness"
],
"narrative": "The synthetic workload requested CONTINUE_OBSERVATION. The independent reference monitor evaluated 22 conjunctive gates and applied CONTINUE_OBSERVATION. The run remains ephemeral, non-operational, and terminates at SYNTHETIC_NULL_SINK.",
"nominal_request": {
"action": "CONTINUE_OBSERVATION",
"authoritative": false,
"purpose": "protect synthetic service integrity and continuity",
"requested_action": "CONTINUE_OBSERVATION",
"resource_units": 250,
"use": "defensive_assurance"
},
"policy": {
"declared_purpose": "protect synthetic service integrity and continuity",
"digest": "6594e94a831cd7d6796fb0df3579214da616883e16635dbdfbc6c6f060e01c8a",
"known": true,
"maximum_resource_units": 1000,
"partition_operation_permitted": true,
"permitted_actions": [
"CONTINUE_OBSERVATION",
"COLLECT_MORE_EVIDENCE",
"DENY_REQUEST",
"REQUIRE_REAUTHENTICATION",
"REVOKE_AUTHORITY",
"INTEGRITY_HOLD",
"ISOLATE_WORKLOAD",
"SEVER_SYNTHETIC_COMPARTMENT",
"QUARANTINE_SYNTHETIC_SERVICE",
"FREEZE_SYNTHETIC_RELEASE_CHANNEL",
"REKEY",
"RECONCILE",
"RESTORE_ATTESTED_BASELINE",
"ABSTAIN"
],
"policy_id": "POLICY-SYNTH-DEFENSE-0001",
"policy_sha256": "a44c410041f54023ffec3171484de10324e18e8008a9cb74ea57f021796692cf",
"prohibited_actions": [
"TARGET_SELECTION",
"WEAPON_COMMAND",
"PAYLOAD_ACTION",
"VEHICLE_CONTROL",
"FORCE_AUTHORIZATION"
],
"required_attestations": [
"software",
"model",
"policy",
"configuration"
],
"required_evidence": [
"identity",
"freshness",
"consistency",
"independence"
],
"subdelegation_must_attenuate": true,
"version": "policy-synth-1.0.0"
},
"policy_evaluation": {
"declared_purpose": "protect synthetic service integrity and continuity",
"digest": "6594e94a831cd7d6796fb0df3579214da616883e16635dbdfbc6c6f060e01c8a",
"known": true,
"maximum_resource_units": 1000,
"partition_operation_permitted": true,
"permitted_actions": [
"CONTINUE_OBSERVATION",
"COLLECT_MORE_EVIDENCE",
"DENY_REQUEST",
"REQUIRE_REAUTHENTICATION",
"REVOKE_AUTHORITY",
"INTEGRITY_HOLD",
"ISOLATE_WORKLOAD",
"SEVER_SYNTHETIC_COMPARTMENT",
"QUARANTINE_SYNTHETIC_SERVICE",
"FREEZE_SYNTHETIC_RELEASE_CHANNEL",
"REKEY",
"RECONCILE",
"RESTORE_ATTESTED_BASELINE",
"ABSTAIN"
],
"policy_id": "POLICY-SYNTH-DEFENSE-0001",
"policy_sha256": "a44c410041f54023ffec3171484de10324e18e8008a9cb74ea57f021796692cf",
"prohibited_actions": [
"TARGET_SELECTION",
"WEAPON_COMMAND",
"PAYLOAD_ACTION",
"VEHICLE_CONTROL",
"FORCE_AUTHORIZATION"
],
"required_attestations": [
"software",
"model",
"policy",
"configuration"
],
"required_evidence": [
"identity",
"freshness",
"consistency",
"independence"
],
"subdelegation_must_attenuate": true,
"version": "policy-synth-1.0.0"
},
"proof": [
{
"id": "KRN-01",
"passed": true,
"statement": "Public boundary is explicit and synthetic."
},
{
"id": "KRN-02",
"passed": true,
"statement": "Every derived action terminates at SYNTHETIC_NULL_SINK."
},
{
"id": "KRN-03",
"passed": true,
"statement": "Nominal request is preserved separately from applied action."
},
{
"id": "KRN-04",
"passed": true,
"statement": "Reference monitor evaluates every request independently."
},
{
"id": "KRN-05",
"passed": true,
"statement": "Authority is conjunctive rather than weighted."
},
{
"id": "KRN-06",
"passed": true,
"statement": "No composite authority score exists."
},
{
"id": "KRN-07",
"passed": true,
"statement": "Uncertainty is not collapsed into one confidence score."
},
{
"id": "KRN-08",
"passed": true,
"statement": "Canonical history is not deleted."
},
{
"id": "KRN-09",
"passed": true,
"statement": "Public runs are ephemeral."
},
{
"id": "KRN-10",
"passed": true,
"statement": "No force authorization exists."
},
{
"id": "KRN-11",
"passed": true,
"statement": "No external command leaves the synthetic range."
},
{
"id": "KRN-12",
"passed": true,
"statement": "Append-oriented event chain verifies."
},
{
"id": "KRN-13",
"passed": true,
"statement": "Evidence and provenance remain inspectable."
},
{
"id": "KRN-14",
"passed": true,
"statement": "Reference monitor exposes independent enforcement gates."
},
{
"id": "KRN-15",
"passed": true,
"statement": "Technical evidence does not manufacture legal approval."
},
{
"id": "KRN-16",
"passed": true,
"statement": "Synthetic evidence does not establish operational readiness."
},
{
"id": "KRN-17",
"passed": true,
"statement": "Recovery preserves the predecessor state."
},
{
"id": "KRN-18",
"passed": true,
"statement": "Recovery never restores authority automatically."
},
{
"id": "KRN-19",
"passed": true,
"statement": "Copies and derivatives do not become independent corroboration."
},
{
"id": "KRN-20",
"passed": true,
"statement": "Subdelegation attenuates rather than expands authority."
}
],
"proof_conditions": [
{
"id": "KRN-01",
"passed": true,
"statement": "Public boundary is explicit and synthetic."
},
{
"id": "KRN-02",
"passed": true,
"statement": "Every derived action terminates at SYNTHETIC_NULL_SINK."
},
{
"id": "KRN-03",
"passed": true,
"statement": "Nominal request is preserved separately from applied action."
},
{
"id": "KRN-04",
"passed": true,
"statement": "Reference monitor evaluates every request independently."
},
{
"id": "KRN-05",
"passed": true,
"statement": "Authority is conjunctive rather than weighted."
},
{
"id": "KRN-06",
"passed": true,
"statement": "No composite authority score exists."
},
{
"id": "KRN-07",
"passed": true,
"statement": "Uncertainty is not collapsed into one confidence score."
},
{
"id": "KRN-08",
"passed": true,
"statement": "Canonical history is not deleted."
},
{
"id": "KRN-09",
"passed": true,
"statement": "Public runs are ephemeral."
},
{
"id": "KRN-10",
"passed": true,
"statement": "No force authorization exists."
},
{
"id": "KRN-11",
"passed": true,
"statement": "No external command leaves the synthetic range."
},
{
"id": "KRN-12",
"passed": true,
"statement": "Append-oriented event chain verifies."
},
{
"id": "KRN-13",
"passed": true,
"statement": "Evidence and provenance remain inspectable."
},
{
"id": "KRN-14",
"passed": true,
"statement": "Reference monitor exposes independent enforcement gates."
},
{
"id": "KRN-15",
"passed": true,
"statement": "Technical evidence does not manufacture legal approval."
},
{
"id": "KRN-16",
"passed": true,
"statement": "Synthetic evidence does not establish operational readiness."
},
{
"id": "KRN-17",
"passed": true,
"statement": "Recovery preserves the predecessor state."
},
{
"id": "KRN-18",
"passed": true,
"statement": "Recovery never restores authority automatically."
},
{
"id": "KRN-19",
"passed": true,
"statement": "Copies and derivatives do not become independent corroboration."
},
{
"id": "KRN-20",
"passed": true,
"statement": "Subdelegation attenuates rather than expands authority."
}
],
"proof_passed": true,
"public_boundary": {
"accepts_arbitrary_files": false,
"accepts_arbitrary_urls": false,
"accepts_customer_content": false,
"automatic_baseline_activation": false,
"automatic_release_promotion": false,
"external_command_channel": false,
"force_authorization": false,
"offensive_cyber": false,
"operational": false,
"payload_control": false,
"public_persistence": false,
"real_coordinates": false,
"real_credentials": false,
"real_keys": false,
"real_topology": false,
"synthetic": true,
"target_ranking": false,
"target_search": false,
"target_selection": false,
"terminal": "SYNTHETIC_NULL_SINK",
"terminal_guidance": false,
"vehicle_control": false,
"weapon_functions": false,
"weapon_target_pairing": false
},
"public_persistence": false,
"real_system_changed": false,
"recovery": {
"authority_reissue_required": false,
"automatic_authority_restoration": false,
"baseline_state": "ATTESTED",
"predecessor_preserved": true,
"reconciliation_required": false,
"requested": false
},
"recovery_plan": {
"authority_reissue_required": false,
"automatic_authority_restoration": false,
"baseline_state": "ATTESTED",
"predecessor_preserved": true,
"reconciliation_required": false,
"requested": false
},
"reference_monitor": {
"all_gates_passed": true,
"decision": "PERMIT",
"evaluated_independently": true,
"failed_gates": [],
"gates": [
{
"id": "identity",
"passed": true,
"reason": "WORKLOAD_IDENTITY_VALID"
},
{
"id": "credential",
"passed": true,
"reason": "CREDENTIAL_CURRENT"
},
{
"id": "threshold_authorization",
"passed": true,
"reason": "THRESHOLD_AUTHORIZATION_PRESENT"
},
{
"id": "authority_state",
"passed": true,
"reason": "AUTHORITY_CURRENT"
},
{
"id": "authority_time",
"passed": true,
"reason": "AUTHORITY_TIME_BOUND"
},
{
"id": "purpose",
"passed": true,
"reason": "PURPOSE_MATCH"
},
{
"id": "action_permitted",
"passed": true,
"reason": "ACTION_PERMITTED"
},
{
"id": "action_not_prohibited",
"passed": true,
"reason": "ACTION_NOT_PROHIBITED"
},
{
"id": "use_permitted",
"passed": true,
"reason": "USE_PERMITTED"
},
{
"id": "resource_bound",
"passed": true,
"reason": "RESOURCE_BOUND"
},
{
"id": "policy_known",
"passed": true,
"reason": "POLICY_KNOWN"
},
{
"id": "software_attested",
"passed": true,
"reason": "SOFTWARE_ATTESTED"
},
{
"id": "model_attested",
"passed": true,
"reason": "MODEL_ATTESTED"
},
{
"id": "policy_attested",
"passed": true,
"reason": "POLICY_ATTESTED"
},
{
"id": "configuration_attested",
"passed": true,
"reason": "CONFIGURATION_ATTESTED"
},
{
"id": "evidence_fresh",
"passed": true,
"reason": "EVIDENCE_FRESH"
},
{
"id": "evidence_consistent",
"passed": true,
"reason": "EVIDENCE_CONSISTENT"
},
{
"id": "evidence_independent",
"passed": true,
"reason": "EVIDENCE_INDEPENDENT"
},
{
"id": "uncertainty_bounded",
"passed": true,
"reason": "EPISTEMIC_UNCERTAINTY_BOUNDED"
},
{
"id": "compartment_attested",
"passed": true,
"reason": "COMPARTMENT_ATTESTED"
},
{
"id": "reconciliation_current",
"passed": true,
"reason": "RECONCILIATION_CURRENT"
},
{
"id": "recovery_baseline_attested",
"passed": true,
"reason": "RECOVERY_BASELINE_ATTESTED"
}
],
"independent": true,
"reason_codes": [
"REFERENCE_MONITOR_PERMITTED_BOUNDED_REQUEST"
]
},
"release": "2.0.0-rc.24-WIP",
"residual_unknowns": [
"physical-system behavior",
"customer deployment context",
"actual hardware attestation"
],
"run_sha256": "d64f093c50c26ff17087c8af3567b4389b11296500b026e8f2e41c41f0d2a23f",
"scenario": {
"id": "valid-authority-baseline",
"label": "Valid authority baseline"
},
"schema": "evulgare.autonomous-defense-kernel.v1",
"semantic_table": [
{
"detail": "AUTH-SYNTH-DEFENSE-0001",
"stage": "Authority",
"state": "CURRENT"
},
{
"detail": "POLICY-SYNTH-DEFENSE-0001",
"stage": "Policy",
"state": "KNOWN"
},
{
"detail": "3 records / 3 roots",
"stage": "Evidence",
"state": "CURRENT"
},
{
"detail": "protect synthetic service integrity and continuity",
"stage": "Nominal request",
"state": "CONTINUE_OBSERVATION"
},
{
"detail": "REFERENCE_MONITOR_PERMITTED_BOUNDED_REQUEST",
"stage": "Applied action",
"state": "CONTINUE_OBSERVATION"
},
{
"detail": "synthetic scope only",
"stage": "Claim impact",
"state": "SUPPORTED_WITHIN_DECLARED_SYNTHETIC_BOUNDS"
}
],
"source_release": "2.0.0-rc.23-WIP",
"terminal": "SYNTHETIC_NULL_SINK",
"uncertainty": {
"abstention_threshold_basis_points": 5000,
"aleatoric_basis_points": 800,
"epistemic_basis_points": 900,
"evidence_completeness_basis_points": 9500,
"one_generic_confidence_score": null
}
}WHAT THIS WORKBENCH ESTABLISHES
Deterministic enforcement inside a declared synthetic scope.
It demonstrates that identity, purpose, current authority, policy, attestation, evidence, uncertainty, compartment state, reconciliation, and recovery can be evaluated as separate conjunctive conditions before a bounded defensive action is applied.
It does not establish factual truth, legal approval, certification, operational readiness, customer-system performance, or permission to use force.
INDUSTRIAL READINESS REVIEW
Verify the fleet before the baseline moves.
Inspect exact maintenance packages, evidence dependence, fleet capacity, spares, tools, materials, repair quality, configuration reconciliation, and separately scoped return-to-service authority.
Open Industrial Resilience Review