| .. |
|
agentdid_lifecycle_smt.py
|
Republished from a clean root: the compiled artifact is gone from history, and the local line of work joins the sanitized public line
|
2026-08-15 13:52:14 +03:00 |
|
agentdid_session_smt.py
|
Republished from a clean root: the compiled artifact is gone from history, and the local line of work joins the sanitized public line
|
2026-08-15 13:52:14 +03:00 |
|
anchor_blocking_quorum_smt.py
|
Dated corrections (2026-10-27): formal-consensus/RULEAZA-TOT.md translated into English and dated (it stated, without a date, facts of the chain of August 2026); the models print the chain facts of their time with the date, or the facts of today (labels and printed strings only, the logic and the verdicts unchanged: 37 of 37 models pass); README: 37 models counted on 2026-10-27 and the reproduction pointer to aere-docs REPRODUCE.md section 3b
|
2026-10-27 15:01:25 +02:00 |
|
anchor_rewrite_bound_roundfree_smt.py
|
formal-consensus, research: the rewrite bound under the round-free seal model (2026-10-07): the security argument and its z3 model, 13 proofs with 8 negative controls; 37 of 37 models in the suite
|
2026-10-07 13:43:13 +03:00 |
|
anchor_rewrite_bound_roundfree_smt.RESULT.txt
|
formal-consensus, research: the rewrite bound under the round-free seal model (2026-10-07): the security argument and its z3 model, 13 proofs with 8 negative controls; 37 of 37 models in the suite
|
2026-10-07 13:43:13 +03:00 |
|
anchor_viewchange_smt.py
|
Dated corrections (2026-10-27): README (a validator refuses an anchor below the threshold; the published follower lowers the count to one seal); formal-consensus models print the chain facts of today or date the ones of their time (ten validators, the anchor certificate enforced since 2026-08-14, votes attributed through post-quantum seals since block 24,300,000); verdicts unchanged (ALL MODELS PASS)
|
2026-10-27 06:48:09 +02:00 |
|
ap2_mandate_smt.py
|
Dated corrections (2026-10-27): README (a validator refuses an anchor below the threshold; the published follower lowers the count to one seal); formal-consensus models print the chain facts of today or date the ones of their time (ten validators, the anchor certificate enforced since 2026-08-14, votes attributed through post-quantum seals since block 24,300,000); verdicts unchanged (ALL MODELS PASS)
|
2026-10-27 06:48:09 +02:00 |
|
bitstring_status_smt.py
|
Dated corrections (2026-10-27): README (a validator refuses an anchor below the threshold; the published follower lowers the count to one seal); formal-consensus models print the chain facts of today or date the ones of their time (ten validators, the anchor certificate enforced since 2026-08-14, votes attributed through post-quantum seals since block 24,300,000); verdicts unchanged (ALL MODELS PASS)
|
2026-10-27 06:48:09 +02:00 |
|
computemarket_smt.py
|
Republished from a clean root: the compiled artifact is gone from history, and the local line of work joins the sanitized public line
|
2026-08-15 13:52:14 +03:00 |
|
CONSENSUS-VERIFICATION-2026-07-12.md
|
Dated correction 2026-11-04 (third pass) to vote attribution since block 24,300,000: the second client's proposal, prepare and round-change layers in AIP-20, AIP-22 and the AIP index carry the correction (one path of the second client until 2026-10-31 12:27Z; AIP-22 rule 3, correction of 2026-11-01); a dated note to the note of 2026-09-24 in seven documents outside aips/
|
2026-11-04 08:38:33 +02:00 |
|
credential_registry_smt.py
|
Republished from a clean root: the compiled artifact is gone from history, and the local line of work joins the sanitized public line
|
2026-08-15 13:52:14 +03:00 |
|
cryptoregistry_smt.py
|
Republished from a clean root: the compiled artifact is gone from history, and the local line of work joins the sanitized public line
|
2026-08-15 13:52:14 +03:00 |
|
destinationsettler_smt.py
|
Republished from a clean root: the compiled artifact is gone from history, and the local line of work joins the sanitized public line
|
2026-08-15 13:52:14 +03:00 |
|
falcon_blocking_smt.py
|
Dated corrections (2026-10-27): formal-consensus/RULEAZA-TOT.md translated into English and dated (it stated, without a date, facts of the chain of August 2026); the models print the chain facts of their time with the date, or the facts of today (labels and printed strings only, the logic and the verdicts unchanged: 37 of 37 models pass); README: 37 models counted on 2026-10-27 and the reproduction pointer to aere-docs REPRODUCE.md section 3b
|
2026-10-27 15:01:25 +02:00 |
|
falcon_hybrid_dualquorum_smt.py
|
Dated corrections (2026-10-27): formal-consensus/RULEAZA-TOT.md translated into English and dated (it stated, without a date, facts of the chain of August 2026); the models print the chain facts of their time with the date, or the facts of today (labels and printed strings only, the logic and the verdicts unchanged: 37 of 37 models pass); README: 37 models counted on 2026-10-27 and the reproduction pointer to aere-docs REPRODUCE.md section 3b
|
2026-10-27 15:01:25 +02:00 |
|
falcon_logonly_noop_smt.py
|
Dated corrections (2026-10-27): README (a validator refuses an anchor below the threshold; the published follower lowers the count to one seal); formal-consensus models print the chain facts of today or date the ones of their time (ten validators, the anchor certificate enforced since 2026-08-14, votes attributed through post-quantum seals since block 24,300,000); verdicts unchanged (ALL MODELS PASS)
|
2026-10-27 06:48:09 +02:00 |
|
FalconQuorum.qnt
|
Republished from a clean root: the compiled artifact is gone from history, and the local line of work joins the sanitized public line
|
2026-08-15 13:52:14 +03:00 |
|
hybridauthorizer_smt.py
|
Republished from a clean root: the compiled artifact is gone from history, and the local line of work joins the sanitized public line
|
2026-08-15 13:52:14 +03:00 |
|
lending_liquidation_smt.py
|
Republished from a clean root: the compiled artifact is gone from history, and the local line of work joins the sanitized public line
|
2026-08-15 13:52:14 +03:00 |
|
migrator_smt.py
|
Republished from a clean root: the compiled artifact is gone from history, and the local line of work joins the sanitized public line
|
2026-08-15 13:52:14 +03:00 |
|
partition_safety_smt.py
|
Dated corrections (2026-10-27): README (a validator refuses an anchor below the threshold; the published follower lowers the count to one seal); formal-consensus models print the chain facts of today or date the ones of their time (ten validators, the anchor certificate enforced since 2026-08-14, votes attributed through post-quantum seals since block 24,300,000); verdicts unchanged (ALL MODELS PASS)
|
2026-10-27 06:48:09 +02:00 |
|
pq_message_enforcement_smt.py
|
formal-consensus: the post-quantum message-enforcement model and the runner wiring all 36 models; bench: the local test key marked synthetic
|
2026-09-02 20:34:15 +03:00 |
|
pqaggregate_smt.py
|
Republished from a clean root: the compiled artifact is gone from history, and the local line of work joins the sanitized public line
|
2026-08-15 13:52:14 +03:00 |
|
pqanchor_ceiling_monotonicity_smt.py
|
Dated corrections (2026-10-27): formal-consensus/RULEAZA-TOT.md translated into English and dated (it stated, without a date, facts of the chain of August 2026); the models print the chain facts of their time with the date, or the facts of today (labels and printed strings only, the logic and the verdicts unchanged: 37 of 37 models pass); README: 37 models counted on 2026-10-27 and the reproduction pointer to aere-docs REPRODUCE.md section 3b
|
2026-10-27 15:01:25 +02:00 |
|
pqckeyregistry_smt.py
|
Republished from a clean root: the compiled artifact is gone from history, and the local line of work joins the sanitized public line
|
2026-08-15 13:52:14 +03:00 |
|
pqfinality_smt.py
|
Dated corrections (2026-10-27): README (a validator refuses an anchor below the threshold; the published follower lowers the count to one seal); formal-consensus models print the chain facts of today or date the ones of their time (ten validators, the anchor certificate enforced since 2026-08-14, votes attributed through post-quantum seals since block 24,300,000); verdicts unchanged (ALL MODELS PASS)
|
2026-10-27 06:48:09 +02:00 |
|
qbft_digest_keyed_smt.py
|
Republished from a clean root: the compiled artifact is gone from history, and the local line of work joins the sanitized public line
|
2026-08-15 13:52:14 +03:00 |
|
qbft_liveness_smt.py
|
Republished from a clean root: the compiled artifact is gone from history, and the local line of work joins the sanitized public line
|
2026-08-15 13:52:14 +03:00 |
|
qbft_locking_smt.py
|
Dated corrections (2026-10-27): README (a validator refuses an anchor below the threshold; the published follower lowers the count to one seal); formal-consensus models print the chain facts of today or date the ones of their time (ten validators, the anchor certificate enforced since 2026-08-14, votes attributed through post-quantum seals since block 24,300,000); verdicts unchanged (ALL MODELS PASS)
|
2026-10-27 06:48:09 +02:00 |
|
qbft_pqc_activation_smt.py
|
Dated corrections (2026-10-27): README (a validator refuses an anchor below the threshold; the published follower lowers the count to one seal); formal-consensus models print the chain facts of today or date the ones of their time (ten validators, the anchor certificate enforced since 2026-08-14, votes attributed through post-quantum seals since block 24,300,000); verdicts unchanged (ALL MODELS PASS)
|
2026-10-27 06:48:09 +02:00 |
|
qbft_prepare_counting_smt.py
|
Republished from a clean root: the compiled artifact is gone from history, and the local line of work joins the sanitized public line
|
2026-08-15 13:52:14 +03:00 |
|
qbft_safety_smt.py
|
Dated corrections (2026-10-27): README (a validator refuses an anchor below the threshold; the published follower lowers the count to one seal); formal-consensus models print the chain facts of today or date the ones of their time (ten validators, the anchor certificate enforced since 2026-08-14, votes attributed through post-quantum seals since block 24,300,000); verdicts unchanged (ALL MODELS PASS)
|
2026-10-27 06:48:09 +02:00 |
|
recovery_registry_smt.py
|
Dated corrections (2026-10-27): README (a validator refuses an anchor below the threshold; the published follower lowers the count to one seal); formal-consensus models print the chain facts of today or date the ones of their time (ten validators, the anchor certificate enforced since 2026-08-14, votes attributed through post-quantum seals since block 24,300,000); verdicts unchanged (ALL MODELS PASS)
|
2026-10-27 06:48:09 +02:00 |
|
registry_index_binding_smt.py
|
SMT: registry index binding, the loader and the seal rule must read ONE mapping
|
2026-08-15 22:52:13 +03:00 |
|
registry_rotation_coverage_smt.py
|
Dated corrections (2026-10-27): formal-consensus/RULEAZA-TOT.md translated into English and dated (it stated, without a date, facts of the chain of August 2026); the models print the chain facts of their time with the date, or the facts of today (labels and printed strings only, the logic and the verdicts unchanged: 37 of 37 models pass); README: 37 models counted on 2026-10-27 and the reproduction pointer to aere-docs REPRODUCE.md section 3b
|
2026-10-27 15:01:25 +02:00 |
|
reputation_gate_smt.py
|
Dated corrections (2026-10-27): README (a validator refuses an anchor below the threshold; the published follower lowers the count to one seal); formal-consensus models print the chain facts of today or date the ones of their time (ten validators, the anchor certificate enforced since 2026-08-14, votes attributed through post-quantum seals since block 24,300,000); verdicts unchanged (ALL MODELS PASS)
|
2026-10-27 06:48:09 +02:00 |
|
RULEAZA-TOT.md
|
formal-consensus/RULEAZA-TOT.md: SMT suite re-measured 2026-11-04 (37/37 models, 301 PROVED, 159 CEX-FOUND, 0 FAILED); the 2026-10-07 counts kept as history
|
2026-11-04 06:19:21 +02:00 |
|
run_consensus_verification.py
|
Dated corrections (2026-10-27): formal-consensus/RULEAZA-TOT.md translated into English and dated (it stated, without a date, facts of the chain of August 2026); the models print the chain facts of their time with the date, or the facts of today (labels and printed strings only, the logic and the verdicts unchanged: 37 of 37 models pass); README: 37 models counted on 2026-10-27 and the reproduction pointer to aere-docs REPRODUCE.md section 3b
|
2026-10-27 15:01:25 +02:00 |
|
settlementhub_smt.py
|
Republished from a clean root: the compiled artifact is gone from history, and the local line of work joins the sanitized public line
|
2026-08-15 13:52:14 +03:00 |
|
spokepool_smt.py
|
Republished from a clean root: the compiled artifact is gone from history, and the local line of work joins the sanitized public line
|
2026-08-15 13:52:14 +03:00 |
|
threshold_account_smt.py
|
Republished from a clean root: the compiled artifact is gone from history, and the local line of work joins the sanitized public line
|
2026-08-15 13:52:14 +03:00 |
|
vectorstore_smt.py
|
Republished from a clean root: the compiled artifact is gone from history, and the local line of work joins the sanitized public line
|
2026-08-15 13:52:14 +03:00 |
