Assistant: codex Assistant-Model: gpt-6-astra Assistant-Session: 01a0e241-8285-7a63-8c0c-51c9cb824dc3
210 lines
7.5 KiB
JSON
210 lines
7.5 KiB
JSON
{
|
|
"schema_version": 1,
|
|
"version": "0.1",
|
|
"status": "research-preview",
|
|
"corpus_revision": "8cc7016e1fbcb08b670091a174672fcdd8d07640",
|
|
"reviewer": {
|
|
"name": "Codex",
|
|
"role": "author-model",
|
|
"independent_human": false
|
|
},
|
|
"core": [
|
|
"CAND-0001",
|
|
"CAND-0002",
|
|
"CAND-0003",
|
|
"CAND-0004",
|
|
"CAND-0005",
|
|
"CAND-0006",
|
|
"CAND-0007",
|
|
"CAND-0008"
|
|
],
|
|
"extensions": [
|
|
"CAND-0009",
|
|
"CAND-0010",
|
|
"CAND-0011",
|
|
"CAND-0012",
|
|
"CAND-0013",
|
|
"CAND-0014",
|
|
"CAND-0015",
|
|
"CAND-0016",
|
|
"CAND-0017"
|
|
],
|
|
"inputs": {
|
|
"research/evolution/profiles.json": "46de3b9b2d3958aff00c339741a4418fb4b5110352975b6a2fe82400d1224ee1",
|
|
"research/catalog/ClassificationCoverage.json": "8abf11676fd67fc1e726795ebf4c424d5d6fe0a3ed1fa21ea747214306b8d879",
|
|
"canon/vocabulary.yaml": "527be0a9ee774a2c795c8c883a01b6721f16667b70a4c3c9c63746d0bfd8c0aa"
|
|
},
|
|
"entrypoints": {
|
|
"start": "START.md",
|
|
"transactional": "sequences/TransactionalApplication.md",
|
|
"offline": "sequences/LocalFirstApplication.md",
|
|
"transactional_mapping": "technologies/TransactionalRecovery.md",
|
|
"offline_mapping": "technologies/OfflineRecovery.md"
|
|
},
|
|
"relations": [
|
|
{
|
|
"source": "CAND-0002",
|
|
"type": "enables",
|
|
"target": "CAND-0003",
|
|
"status": "proposed",
|
|
"condition": "The local transaction records a revision and its pending propagation atomically.",
|
|
"rationale": "A recoverable origin allows pending work to resume after restart.",
|
|
"evidence_kind": "editorial-design-proposal",
|
|
"evidence_refs": [
|
|
"research/candidates/LocalCommitBoundary.md",
|
|
"research/candidates/PendingSynchronization.md"
|
|
],
|
|
"unknown": "No independent validation of this relation as a complete architectural contract."
|
|
},
|
|
{
|
|
"source": "CAND-0003",
|
|
"type": "creates-context-for",
|
|
"target": "CAND-0001",
|
|
"status": "proposed",
|
|
"condition": "Detected divergence requires retained alternatives and policy permits retention.",
|
|
"rationale": "Pending propagation can expose competing versions; not every synchronization needs a copy.",
|
|
"evidence_kind": "editorial-design-proposal",
|
|
"evidence_refs": [
|
|
"research/candidates/PendingSynchronization.md",
|
|
"research/candidates/ConflictCopy.md"
|
|
],
|
|
"unknown": "No independent validation of this relation as a complete architectural contract."
|
|
},
|
|
{
|
|
"source": "CAND-0001",
|
|
"type": "creates-context-for",
|
|
"target": "CAND-0004",
|
|
"status": "proposed",
|
|
"condition": "Preserved content remains semantically unresolved and a person must decide.",
|
|
"rationale": "Preservation supplies comparison material, not the resolution itself.",
|
|
"evidence_kind": "editorial-design-proposal",
|
|
"evidence_refs": [
|
|
"research/candidates/ConflictCopy.md",
|
|
"research/candidates/ExplicitReconciliation.md"
|
|
],
|
|
"unknown": "No independent validation of this relation as a complete architectural contract."
|
|
},
|
|
{
|
|
"source": "CAND-0004",
|
|
"type": "enables",
|
|
"target": "CAND-0002",
|
|
"status": "proposed",
|
|
"condition": "The resolution becomes a new locally accepted revision.",
|
|
"rationale": "A chosen result still needs the local commit and pending-work contract.",
|
|
"evidence_kind": "editorial-design-proposal",
|
|
"evidence_refs": [
|
|
"research/candidates/ExplicitReconciliation.md",
|
|
"research/candidates/LocalCommitBoundary.md"
|
|
],
|
|
"unknown": "No independent validation of this relation as a complete architectural contract."
|
|
},
|
|
{
|
|
"source": "CAND-0005",
|
|
"type": "complements",
|
|
"target": "CAND-0006",
|
|
"status": "proposed",
|
|
"condition": "An editable proposal uses a stale-base precondition.",
|
|
"rationale": "Keeping the proposal separate supports recovery from a rejected conditional write.",
|
|
"evidence_kind": "editorial-design-proposal",
|
|
"evidence_refs": [
|
|
"research/candidates/LocalDraftState.md",
|
|
"research/candidates/VersionCheckedMutation.md"
|
|
],
|
|
"unknown": "No independent validation of this relation as a complete architectural contract."
|
|
},
|
|
{
|
|
"source": "CAND-0006",
|
|
"type": "complements",
|
|
"target": "CAND-0007",
|
|
"status": "proposed",
|
|
"condition": "A conditional write may have an uncertain transport outcome.",
|
|
"rationale": "A version precondition and an operation identity answer different questions.",
|
|
"evidence_kind": "editorial-design-proposal",
|
|
"evidence_refs": [
|
|
"research/candidates/VersionCheckedMutation.md",
|
|
"research/candidates/MutationOutcomeTracking.md"
|
|
],
|
|
"unknown": "No independent validation of this relation as a complete architectural contract."
|
|
},
|
|
{
|
|
"source": "CAND-0007",
|
|
"type": "enables",
|
|
"target": "CAND-0008",
|
|
"status": "proposed",
|
|
"condition": "Acceptance is established and affected observations need refreshing.",
|
|
"rationale": "Domain acceptance can trigger refresh without treating its failure as rejected mutation.",
|
|
"evidence_kind": "editorial-design-proposal",
|
|
"evidence_refs": [
|
|
"research/candidates/MutationOutcomeTracking.md",
|
|
"research/candidates/InvalidateAndReproject.md"
|
|
],
|
|
"unknown": "No independent validation of this relation as a complete architectural contract."
|
|
},
|
|
{
|
|
"source": "CAND-0008",
|
|
"type": "complements",
|
|
"target": "CAND-0005",
|
|
"status": "proposed",
|
|
"condition": "Refreshing observations can arrive while newer input exists.",
|
|
"rationale": "Separate draft ownership prevents reprojected data from replacing unfinished intent.",
|
|
"evidence_kind": "editorial-design-proposal",
|
|
"evidence_refs": [
|
|
"research/candidates/InvalidateAndReproject.md",
|
|
"research/candidates/LocalDraftState.md"
|
|
],
|
|
"unknown": "No independent validation of this relation as a complete architectural contract."
|
|
},
|
|
{
|
|
"source": "CAND-0003",
|
|
"type": "complements",
|
|
"target": "CAND-0007",
|
|
"status": "proposed",
|
|
"condition": "Remote propagation acknowledgement may be lost.",
|
|
"rationale": "Locally accepted work and unknown remote receipt need separately scoped outcome evidence.",
|
|
"evidence_kind": "editorial-design-proposal",
|
|
"evidence_refs": [
|
|
"research/candidates/PendingSynchronization.md",
|
|
"research/candidates/MutationOutcomeTracking.md"
|
|
],
|
|
"unknown": "No independent validation of this relation as a complete architectural contract."
|
|
}
|
|
],
|
|
"open_work": [
|
|
{
|
|
"id": "FEP-WP-0002-T03",
|
|
"path": "workplans/FEP-WP-0002-seed-language-validation.md"
|
|
},
|
|
{
|
|
"id": "FEP-WP-0003-T01",
|
|
"path": "workplans/FEP-WP-0003-contrasting-schools.md"
|
|
},
|
|
{
|
|
"id": "FEP-WP-0003-T02",
|
|
"path": "workplans/FEP-WP-0003-contrasting-schools.md"
|
|
},
|
|
{
|
|
"id": "FEP-WP-0003-T03",
|
|
"path": "workplans/FEP-WP-0003-contrasting-schools.md"
|
|
},
|
|
{
|
|
"id": "FEP-WP-0003-T04",
|
|
"path": "workplans/FEP-WP-0003-contrasting-schools.md"
|
|
},
|
|
{
|
|
"id": "FEP-WP-0004-T01",
|
|
"path": "workplans/FEP-WP-0004-reference-surface.md"
|
|
},
|
|
{
|
|
"id": "FEP-WP-0004-T02",
|
|
"path": "workplans/FEP-WP-0004-reference-surface.md"
|
|
},
|
|
{
|
|
"id": "FEP-WP-0004-T03",
|
|
"path": "workplans/FEP-WP-0004-reference-surface.md"
|
|
},
|
|
{
|
|
"id": "FEP-WP-0006-T03",
|
|
"path": "workplans/FEP-WP-0006-language-evolution.md"
|
|
}
|
|
]
|
|
}
|