File size: 2,493 Bytes
224e773 | 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 | /*
* constraints.h — Constraint Evaluation Engine interface
*
* The validity predicate gates all routing decisions.
* No output propagates unless all constraints are satisfied.
*
* V(message) = 1 ⟺ accounting_balance ∧ invariant_preserved ∧ entropy ≤ 0.20 ∧ proof_exists
*
* If V(message) = 0, the message is blocked (fail-closed).
*/
#pragma once
#include <stdint.h>
#ifdef __cplusplus
extern "C" {
#endif
/* Accounting ledger: δ_A + δ_E = δ_L + δ_R */
typedef struct {
double asset;
double equity;
double liability;
double revenue;
} AccountingLedger;
/* Invariant tracking */
typedef struct {
double *current; /* I(X_t) */
double *next; /* I(X_{t+1}) */
int dimension;
} InvariantPair;
/* Proof certificate with cryptographic seal */
typedef struct {
uint8_t hash[32];
uint8_t signature[64];
uint64_t timestamp;
int valid;
} ProofCertificate;
/* Full constraint context */
typedef struct {
AccountingLedger ledger; /* Balance equation */
InvariantPair invariant; /* I(X_t) = I(X_{t+1}) */
double entropy; /* H(X) in nats */
ProofCertificate proof; /* Proof certificate */
} hk_constraint_context;
/**
* hk_constraint_check_all — Evaluate all constraints
*
* Returns 1 if all constraints pass (message propagates):
* 1. Accounting balance: δ_A + δ_E = δ_L + δ_R
* 2. Invariant preservation: I(X_t) = I(X_{t+1})
* 3. Entropy bound: H(X) ≤ 0.20 nats
* 4. Proof certificate: exists and valid
*
* Returns 0 if any constraint fails (message blocked).
*
* @param ctx Constraint context
* @return 1 if all constraints satisfied, 0 otherwise
*/
int hk_constraint_check_all(const hk_constraint_context *ctx);
/**
* hk_constraint_report — Print detailed constraint validation report
*
* Outputs human-readable summary of each constraint check.
*
* @param ctx Constraint context
*/
void hk_constraint_report(const hk_constraint_context *ctx);
/**
* hk_constraint_context_alloc — Create constraint context
*
* @param invariant_dim Dimension of invariant vectors
* @return Allocated context, or NULL on error
*/
hk_constraint_context *hk_constraint_context_alloc(int invariant_dim);
/**
* hk_constraint_context_free — Free constraint context
*/
void hk_constraint_context_free(hk_constraint_context *ctx);
#ifdef __cplusplus
}
#endif
|