Repository navigation
Enforce canonical removal, prepared source replay and row-class masks - #408
Merged
Merged
Conversation
🚀 Deploying Preview to Cloudflare 🚀Preview URL: https://oct8-write-time-redaction.spec.contextful.work (commit 1f8e44f)This URL reflects your latest Preview deploymentPreview Deployments by commit
|
debuggingfuture
force-pushed
the
surface/console-combined-389
branch
from
October 8, 2026 18:39
6d8a772 to
dcc7979
Compare
debuggingfuture
force-pushed
the
oct8/write-time-redaction
branch
from
October 8, 2026 18:53
ea2b42d to
ebf3a0a
Compare
debuggingfuture
changed the base branch from
surface/console-combined-389
to
main
October 8, 2026 18:53
debuggingfuture
marked this pull request as ready for review
October 8, 2026 18:53
Declared removal rules rewrite leftmost-first spans under a matching work bound before direct or staged writes reach storage. Protected source runs record the rewritten batch and replay it without refetching. Row-selected masks drop unknown classes strictly. Addresses #98.
debuggingfuture
force-pushed
the
oct8/write-time-redaction
branch
from
October 8, 2026 19:00
ebf3a0a to
1f8e44f
Compare
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
What this changes
Declared removal rules erase selected text before direct or staged writes reach storage. Pattern removal rewrites leftmost-first spans, so no byte of a greedy match remains beside its substitute; forward matching over one value draws on a budget of 16 times its byte length, and a value past it refuses its write (
authority.redact.match-work). Unicode word boundaries refuse at declaration.Protected source runs record the rewritten batch, then resume without fetching that batch again or applying its shape, normalization or HMAC twice. Row-selected masks let one column drop prompts, hash completions and strictly drop unknown classes within the same admitted read.
Canonical manifests supply writer authority even when callers omit rules. Compatible static and producer declarations contribute ordered rules; conflicting types/classes/policies, duplicate or excessive rules and indexes over removed columns refuse. Parent and child identities derive from rewritten values. Explicit source-plan rules match complete canonical authority.
Protected recording binds plan, shape, declarations, normalization and pepper identities before execution. Protected monotonic clocks require complete typed shape lineage; protected relational clocks refuse without complete descendant lineage. Protected job body effects remain refused until typed effect-result recording exists.
Windows command containment (#298) and the test-first package rule (main's per-package stage) are outside this change.
Clauses
authority.redact,authority.maskandrun.journaldefine canonical rewrite, recording/replay and selector boundaries.authority.redact.in-valueandauthority.redact.match-workpin tocontextful_core::redactiontests. Addresses #98; full acceptance and protected body-effect recording remain open.Validation
contextful-spec lint: 0 violations afterstateandextract.cargo test -p contextful-core -p contextful-context -p contextful-policy -p contextful-engine: integration suites of 485, 353, 169 and 123 tests pass, 0 failed.cargo test -p contextful-cli: 356 + 5 passed, 0 failed.cargo test -p contextful-acceptance --test integration m05: 4 passed.contextful-ci gate --stage test-first --base origin/main: passed in 358.4 s; red against the base in cli, context, core, engine and policy.Boundary questions