| .. |
|
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 corrections (2026-10-28) from the tenth review round: AIP-7, AIP-10, AIP-13, AIP-15, AIP-16, AIP-20 and AIP-22 and seven research documents; each change states its date in the text (what the anchor certificate is bound by, the consensus note after AIP-22 stage 4, and the denial-of-service paragraph of AIP-20, which no longer claims per-peer limits on pool admission)
|
2026-10-28 12:47:00 +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
|
Dated corrections (2026-10-27): AIP-7 and AIP-13 carry a note that their statements that AERE consensus is classical describe chain 2800 before AIP-22 stage 4 (block 24,300,000); AIP-22 gains three dated notes (section 3.3, the clause on the envelope's recovered address no longer applies from stage 4; the correction of 2026-10-25 to section 5, every consensus message still carries the ECDSA envelope, whose form both clients judge; Security Considerations, 'Denial of service by seals': no per-peer bound in the consensus layer of either client, and a forged proposal can cost about 1,025 Falcon-512 verifications) and an Errata entry; execution-kernel/MACHINE-INTERFACE-CONTRACT.md no longer says it was written the day a consensus milestone went live at block 14,050,000 (withdrawn 2026-08-19) and names what the block hash covers; formal-consensus/RULEAZA-TOT.md dated.
|
2026-10-28 00:07:07 +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 |
