Repository navigation

Phase D: claim ledger and scientific provenance - #9

Merged

EmergentMonk merged 159 commits into

mainfrom

phase-d-claim-ledger-provenance

Sep 27, 2026

Commits on Sep 23, 2026

Add canonical Phase D claim ledger
EmergentMonk
committed
f034002
Add human-readable Phase D claim ledger
EmergentMonk
committed
a28f2a8
Add claim-ledger CI validator
EmergentMonk
committed
4e39077
Add Phase D provenance regressions
EmergentMonk
committed
d2bc641
Add Phase D evidence boundary to specification
EmergentMonk
committed
069639c
Separate scientific context from symbolic mappings
EmergentMonk
committed
1ca55f4
Correct seed and categorical claim strength
EmergentMonk
committed
8d80ff8
Demote category sketch to Phase E design targets
EmergentMonk
committed
d5809e0
Harden symbolic claim boundaries
EmergentMonk
committed
1000745
Make claim validator strict-type clean
EmergentMonk
committed
61bd52c
Make Phase D tests strict-type friendly
EmergentMonk
committed
337ea83
Enforce Phase D claim ledger in CI
EmergentMonk
committed
4b7cbae
Expose Phase D scientific source links
EmergentMonk
committed
ecaface
Document Phase D provenance contract
EmergentMonk
committed
63ec496
Make Phase D ledger the evidence authority
EmergentMonk
committed
1ba84ac
Record Phase D audit resolution
EmergentMonk
committed
94b0894
Fix Phase D ledger test loading
EmergentMonk
committed
c2aac76
Expose claim-validator failures in tests
EmergentMonk
committed
ce47dd7
Fail early on claim-ledger validation
EmergentMonk
committed
84a3d93
Bind HPV mechanism claim to stable ledger tag
EmergentMonk
committed
062aad6
Add structured symbolic evidence boundary
EmergentMonk
committed
283aa64
Harden Phase D claim ledger validation
EmergentMonk
committed
1d7da2a
Render canonical Markdown claim index
EmergentMonk
committed
2859c22
Cover Phase D validator hardening
EmergentMonk
committed
31794ff
Document hardened Phase D validation
EmergentMonk
committed
70b138a
Keep Phase D tests strict-type clean
EmergentMonk
committed
1689e70
Reject ambiguous and malformed claim provenance
EmergentMonk
committed
1a8336e
Bind p16 claim to its scoped passage
EmergentMonk
committed
19f96ed
Regenerate canonical claim index
EmergentMonk
committed
04242fa
Cover identifier and JSON ambiguity attacks
EmergentMonk
committed
f31d400

Commits on Sep 24, 2026

Enforce source and evidence provenance semantics
EmergentMonk
committed
170e479
Structure falsification and bind symbolic provenance
EmergentMonk
committed
fc1b299
Regenerate claim index after provenance hardening
EmergentMonk
committed
d404ec3
Cover source and evidence provenance hardening
EmergentMonk
committed
ceddf9e
Bind source domains and public claim coverage
EmergentMonk
committed
475d14e
Bind source accessions and scientific domains
EmergentMonk
committed
9f93dcc
Regenerate domain-bound claim index
EmergentMonk
committed
d221adc
Expose scientific domain validation
EmergentMonk
committed
89b811d
Cover domain and public claim governance
EmergentMonk
committed
61a735a
Limit public claim scan to prose
EmergentMonk
committed
9cd4bf3
Bind public six-step claim to ledger ID
EmergentMonk
committed
92bc038
Update identifier URL regression helper
EmergentMonk
committed
6feb7fe
Keep claim domain typing explicit
EmergentMonk
committed
e29e191
Fix claim ledger assertion and Lean anchor validation
EmergentMonk
committed
3d1e066
Add regressions for claim ledger bypasses
EmergentMonk
committed
ddb0304
Scope public claim domains to individual assertions
EmergentMonk
committed
c2e97d8
Cover unrelated multi-domain public prose
EmergentMonk
committed
cff9c65
Harden claim evidence validation
EmergentMonk
committed
caf22cc
Bind formal claims to exact theorem propositions
EmergentMonk
committed
bc2a2fc
Regenerate formal provenance anchors
EmergentMonk
committed
9cc47ee
Add regressions for evidence contract bypasses
EmergentMonk
committed
2372a11
Correct evidence validator regex boundaries
EmergentMonk
committed
7001466
Align Phase D tests with hardened validator
EmergentMonk
committed
8fa413a
Close Phase D provenance bypasses
EmergentMonk
committed
5696fc7
Enforce reviewed accession crosswalks
EmergentMonk
committed
ea01c7d
Add regressions for fresh Phase D bypasses
EmergentMonk
committed
5ee5a85
Fix public claim scanning edge cases
EmergentMonk
committed
180126b
Bind D-004 to supporting triality assertion
EmergentMonk
committed
b3657c6
Use claim-specific D-004 provenance anchor
EmergentMonk
committed
223dbc2
Regenerate D-004 provenance anchor
EmergentMonk
committed
04bbe3f
Add regressions for public claim scanner fixes
EmergentMonk
committed
388e599
Harden Phase D public and source validation
EmergentMonk
committed
105cddd
Bind D-005 to supporting crystallography assertion
EmergentMonk
committed
580645f
Regenerate D-005 provenance anchor
EmergentMonk
committed
3f222fd
Add regressions for current Codex findings
EmergentMonk
committed
4de5eaf
Update Markdown escaping regression expectation
EmergentMonk
committed
418fcc9
Expose executed Lean compile source inventory
EmergentMonk
committed
d89ddea
Bind Phase D evidence across claims and execution
EmergentMonk
committed
a26352a
Add regressions for linked Phase D evidence
EmergentMonk
committed
793c7a0
Normalize rendered claim text and provenance reachability
EmergentMonk
committed
1a5d21a
Enforce exact reviewed source records
EmergentMonk
committed
fe6ef80
Add claim-ledger rendered-text regressions
EmergentMonk
committed
50f1f6f
Fix remaining Phase D validator gaps
EmergentMonk
committed
b96cfcb
Add regressions for Phase D review findings
EmergentMonk
committed
ade43ee
Harden Phase D validator review invariants
EmergentMonk
committed
be8709d
Add regressions for latest Phase D review cases
EmergentMonk
committed
ce54ff3
Close remaining Phase D validator bypasses
EmergentMonk
committed
b4d626a
Add regressions for latest Phase D review findings
EmergentMonk
committed
7a84f66
Avoid Controls metadata false positive
EmergentMonk
committed
b5c2530
Disambiguate causal control verbs
EmergentMonk
committed
1ec72d9
Address Codex validator edge-case review
EmergentMonk
committed
f9c223f
Add regressions for Codex review novel
EmergentMonk
committed
ab36f38

Commits on Sep 27, 2026

Fix Phase D validator review findings
EmergentMonk
committed
cf79849
Add Phase D validator regression coverage
EmergentMonk
committed
f959652
Fix fresh Phase D validator review findings
EmergentMonk
committed
6e957af
Add regressions for fresh Phase D review findings
EmergentMonk
committed
25a190e
Fix latest Phase D evidence and rendering findings
EmergentMonk
committed
05f4afa
Add regressions for latest Phase D findings
EmergentMonk
committed
5a43e8a
Fix Phase D decorator regression test harness
EmergentMonk
committed
8cf2172
Fix latest Phase D execution and rendering findings
EmergentMonk
committed
77c78fe
Add regressions for latest Codex findings
EmergentMonk
committed
e7035b7
Fix latest Phase D execution binding findings
EmergentMonk
committed
cd16cab
Add regressions for latest Phase D findings
EmergentMonk
committed
22b6da3
Fix latest Phase D fixture and semantic review findings
EmergentMonk
committed
c1f47ae
Add regressions for latest Phase D review findings
EmergentMonk
committed
fc01184
Fix latest Phase D module and scope review findings
EmergentMonk
committed
a9f75eb
Add regressions for latest Phase D scope findings
EmergentMonk
committed
6e42f42
Fix latest Phase D claim-strength review findings
EmergentMonk
committed
c3e1bd0
Add regressions for latest claim-strength findings
EmergentMonk
committed
7afb1c5
Bind D-011 provenance to exact symbolic mapping
EmergentMonk
committed
85e950e
Regenerate D-011 provenance anchor in claim index
EmergentMonk
committed
5771f82
Fix latest Phase D rendering and mutation findings
EmergentMonk
committed
17ca138
Add regressions for latest Phase D mutation findings
EmergentMonk
committed
4f94d55
Fix latest Phase D mutation and reachability findings
EmergentMonk
committed
0d335e8
Add regressions for latest Phase D validator findings
EmergentMonk
committed
0ed5e38
Fix final Phase D alias and scope findings
EmergentMonk
committed
586636d
Add final boss Phase D regressions
EmergentMonk
committed
97fe7f5
Fix latest Phase D evidence completion findings
EmergentMonk
committed
db1543f
Add regressions for latest evidence completion findings
EmergentMonk
committed
60807d7
Fix latest Phase D helper and rendering findings
EmergentMonk
committed
1fdeed0
Add regressions for latest Phase D review findings
EmergentMonk
committed
c56c765
Fix latest Phase D snapshot and semantics findings
EmergentMonk
committed
3595f5f
Add regressions for latest Phase D findings
EmergentMonk
committed
dbebf00
Fix provenance snapshot typing
EmergentMonk
committed
b39b26d
Remove redundant provenance snapshot cast
EmergentMonk
committed
3a48819
Harden validator for deterministic Phase D regressions
EmergentMonk
committed
13df33b
Add deterministic regressions for validator edge cases
EmergentMonk
committed
247f356
Harden Phase D dependency and public claim regressions
EmergentMonk
committed
7089b9f
Add regressions for dependency and public HTML findings
EmergentMonk
committed
22481b0
Harden validator helper reachability and rendered scopes
EmergentMonk
committed
45ecd0b
Add deterministic regressions for latest validator findings
EmergentMonk
committed
5595860
Fix LaTeX macro expansion typing
EmergentMonk
committed
c8f5253
Harden evidence isolation and rendered claim regressions
EmergentMonk
committed
0a39ea5
Add deterministic regressions for latest Phase D findings
EmergentMonk
committed
0bb36b7
Fix isolated regression dispatch checks
EmergentMonk
committed
7f9f271
Fix isolation regression typing
EmergentMonk
committed
01d3fdb
Harden frozen evidence execution and transclusion scanning
EmergentMonk
committed
012cdba
Add deterministic regressions for courtroom evidence findings
EmergentMonk
committed
b684884
Tighten reviewed D-003 binding shape
EmergentMonk
committed
6312656
Fix assertion exits and exact canonical line endings
EmergentMonk
committed
028c2ca
Add deterministic exit and line-ending regressions
EmergentMonk
committed
a939cfa
Separate generic analyzer controls from D-003 semantics
EmergentMonk
committed
2af787f
Harden Phase D evidence validation against review bypasses
EmergentMonk
committed
6ba6f6c
Add regressions for Phase D review bypasses
EmergentMonk
committed
017c431
Fix validator syntax after consolidated hardening
EmergentMonk
committed
2b58060
Harden claim ledger runtime and public rendering guards
EmergentMonk
committed
6143918
Fix claim ledger snapshot function syntax
EmergentMonk
committed
0e920e1
Harden claim ledger evidence and rendering boundaries
EmergentMonk
committed
862a522
Fix strict mypy inference for LaTeX macro replacement
EmergentMonk
committed
3093f84
Close claim ledger evidence and rendering bypasses
EmergentMonk
committed
b2c0465
Fix isolated runner string delimiter
EmergentMonk
committed
9ab0d71
Harden claim ledger parsing and evidence guards
EmergentMonk
committed
42da2c2
Fix claim ledger helper traversal syntax
EmergentMonk
committed
d1f7321
Fix duplicate HTML parser declaration
EmergentMonk
committed
306edf6
Fix duplicated LaTeX branch helper declaration
EmergentMonk
committed
6f5fcd6
Fix quoted Markdown fence regression fixture
EmergentMonk
committed
cc69f9c
Harden TeX HTML and unittest claim guards
EmergentMonk
committed
e9380db
Scope generation predicate to governed entities
EmergentMonk
committed
c79c869
Clarify Phase E categorical claims
EmergentMonk
committed
2a116de
Classify Phase E morphisms as symbolic
EmergentMonk
committed
b63773f
Avoid causal wording in Phase E arrow definition
EmergentMonk
committed
ec9d4e3
Clarify claim-ledger scope for Phase E objects
EmergentMonk
committed
b702f90
Fix strict mypy macro name redeclaration
EmergentMonk
committed
a01695c
Close claim ledger alias and rendering bypasses
EmergentMonk
committed
5e2f63b
Preserve exact Markdown provenance anchors
EmergentMonk
committed
0cdd4b6
Preserve visible Markdown provenance anchors
EmergentMonk
committed
260305e
Harden Markdown provenance rendering
EmergentMonk
committed
f2ffbdc
Refine Markdown provenance rendering
EmergentMonk
committed
6b93f54
Fix duplicated rendered-block function header
EmergentMonk
committed
a3deeec